841414609 - -5292497901333/6290. Let n = 23/1110 + h. Let o = 5/3 - n. Do 0 and o have the same value?
False
Suppose -5*y + 154 = -151. Let u = y - 63. Which is smaller: u or -6?
-6
Suppose 13*o - 15 - 258 = 0. Is o equal to 17?
False
Let x = 7 - 0. Let w = -393 - -399. Is w != x?
True
Let m = -50.5 + 68. Let u = 24.56 - m. Let t = -0.06 + u. Which is smaller: t or -1/4?
-1/4
Let s = 13.1 + -13. Which is greater: 4 or s?
4
Let q = 0.161 - -0.839. Which is smaller: q or 13?
q
Let j = -24 - -26. Suppose -16 - 4 = -5*f. Let w(v) = v - 4. Let m be w(f). Is m less than j?
True
Let v(u) = -u + 12. Let f be v(20). Let r be -5 - -7 - (-13)/f. Let k be 3 + (-2)/3*3. Is r smaller than k?
True
Let u be ((-9)/(-42))/((-213)/12 + 5). Which is bigger: u or 3/5?
3/5
Let z = 5 - 25. Let w = 52 + -48. Let k be ((-5)/z)/(1/w). Which is greater: -2/5 or k?
k
Suppose t = 14*t - 39. Let n(y) be the third derivative of y**5/60 + 5*y**4/24 - 2*y**3/3 + 2*y**2. Let g be n(-6). Is t > g?
True
Let f = -23 + 26. Let h be -3*(-1)/f*1. Is h > -21?
True
Let u = 71.7 + -76. Let r = 12.3 + u. Does 1 = r?
False
Let u be 2/11 - (-72)/88. Let v = 8 - 6. Which is smaller: u or v?
u
Let t = 77.94 + -79. Let b = t + 0.06. Is -1 greater than b?
False
Let w be (-2)/(-42)*(-24)/1060. Is w bigger than -1?
True
Suppose 627 = 5*q - 20*t + 24*t, -498 = -4*q - 2*t. Which is smaller: q or 130?
q
Let u = -532 - -980. Is -1 > u?
False
Let b be 140/(-32) - -4 - -1. Let n = b - 31/24. Suppose 0 = 2*v - 0*v + 2. Is v less than n?
True
Let q = 8762 + -166522/19. Which is bigger: q or -3?
q
Let p = -6 + 17. Suppose m - 14 = -m. Suppose q = -3*u + 2*q + m, -2*q - 8 = 0. Which is smaller: p or u?
u
Suppose -n - 38 + 35 = 0. Which is bigger: n or 2/31?
2/31
Let d = 474.62 + -473. Which is greater: d or -1/4?
d
Let t = 2.1 - 5.3. Let p = t - -3. Let j = -1101 - -1106. Is p bigger than j?
False
Let i = -871 + 864. Is 11 equal to i?
False
Let z = 456 + -481. Is -322/13 > z?
True
Suppose 5*p - 4*p - 5 = 0. Suppose 5*y = p*q - 10, -6*q - 7 = 2*y - 9*q. Suppose 0 = -3*v + v. Is y >= v?
True
Let f(m) = m**3 - 3*m**2 + m + 2. Let v be f(4). Suppose v*s - 12 = 20*s. Which is greater: s or 72/11?
72/11
Let u be (2/3)/((-1)/(27/(-6))). Suppose -3*z + 348 = u*k, -2*z - 3*k + 0*k = -228. Which is smaller: 119 or z?
119
Let w be (-3)/(387*(-9)/54). Which is smaller: 2/7 or w?
w
Let v = 3 - 2. Let t(p) = -p + 11. Let m be t(10). Let z be m/1 - (-40)/8. Is z != v?
True
Suppose -3*n + 55 = -19*r + 24*r, -5*r - 20 = -2*n. Is n < 15?
False
Let w = -683 + 299. Is 0 > w?
True
Let p be (-250)/(-100)*(-10 - 8). Suppose -2*d - 90 = -m, 0 = -3*d + 5*m - 131 + 3. Is p at least d?
True
Let y = 5.2 - 5.7. Let b = y + 0.4. Suppose 3*n - 8 + 2 = 0. Is n <= b?
False
Suppose -9*z + 15*z = -552. Let i be 6392/70 - (-4)/10. Let h = i + z. Is -1 < h?
True
Suppose -5*h - 16 = -6. Let g be (h - 87/(-45))/((-6)/12). Which is smaller: -1 or g?
-1
Let v = 443.99 + -448. Let m = 8.2 + -8.19. Let z = m + v. Does z = 2/5?
False
Let a be 43 - 45 - (-1)/(26/277). Which is smaller: a or 9?
a
Suppose -3*o - 78 = 4*j - 397, 3*o - 4*j - 359 = 0. Is o less than or equal to 113?
True
Let d = 19 - 9. Let h = d - 8. Let w be (-5)/h*6/150. Which is bigger: w or -1?
w
Suppose -d + 32 = 3*d. Let t = d - 12. Let m be 0/(1 + t/1). Which is greater: -3 or m?
m
Let o = 1636 - 1858. Which is smaller: -224 or o?
-224
Let h = -0.2139 + 335.2139. Which is bigger: h or 1?
h
Let r = -37 - -45. Let j be -1 + (7*r)/(-4). Is j < -14?
True
Suppose -17*c + 20*c + u + 8 = 0, 3*c + 2*u = -13. Which is greater: c or -6/23?
-6/23
Let z = 1.18 + -0.45. Let n = z - 0.55. Is n at most -2?
False
Let s = -877/8989 - 23814673/14067785. Let l = 3/313 - s. Is 1 at most l?
True
Suppose -j = -13 - 44. Let n = j - 58. Which is bigger: 4 or n?
4
Suppose -5*w + 4*f + 4 - 18 = 0, 0 = -5*f + 5. Are w and 0.11 equal?
False
Suppose 2*j = 6, 13*w - 2*j + 21 = 10*w. Suppose 3*n = -2*n - 25. Is w >= n?
True
Let r be 5/(-3)*(-7 + 19 + 6). Which is smaller: r or -26?
r
Suppose -20 = 3*u + u. Let g be -18 + -215 - (1 - 0). Let c = 232 + g. Which is smaller: c or u?
u
Let q be 12/15 - 0 - (-476544)/(-594880). Does q = -0.1?
False
Let t = -639 + 641. Which is greater: -2 or t?
t
Let r be (4/14)/((-2)/(-14)). Suppose 0 = -r*w - 3 + 11. Let b be 4/(-8)*w/(-3). Is b greater than 0?
True
Let d(v) = -15*v + 4. Let g be d(-11). Suppose -5*f + 34 = g. Let x be (-9)/f*(-3)/4. Is x less than 0.2?
True
Let o = 42 - 23. Is o less than -14?
False
Let k = -9 + 2. Let a(z) = z**2 + 6*z + 2. Let j be a(-3). Are k and j equal?
True
Let o = -7/152 - 31/5928. Let a be 1 + -4*(-1)/2 - 4. Is a < o?
True
Let t = 24/13 - 109/52. Let d(x) = -2*x - 16. Let a be d(-7). Let n = 1 + a. Which is smaller: t or n?
n
Let i be 39/60 - (-2)/(-5). Let t = 23 - 277/12. Is i < t?
False
Let l = -0.41 + 0.51. Let u = -8 + 14. Let q = 5.8 - u. Does q = l?
False
Let a = 60.63 - 61. Let i = a + 49.37. Is -1 <= i?
True
Let o = -60764397/23380 - -72881/28. Let q = o - 2/835. Let f = q - 33/10. Does f = -3?
False
Let h = -1540 + 1534. Which is smaller: -32 or h?
-32
Let r(a) = -3*a**2 + 7*a - 4. Let p be r(4). Let o be (-6)/15 - (-686)/(-35) - 4. Is o < p?
False
Let z be ((-86)/10 - -5) + 4. Let p = -6 + 2. Which is smaller: z or p?
p
Let p be 3*2/9 + 693/(-1080). Which is smaller: p or 2?
p
Let l = 188 + -194. Is -13 bigger than l?
False
Let i = 2 + -1. Let k be (1/9)/((-2)/(12/(-11))). Are k and i equal?
False
Let q be 9/12 - 3997/5292. Let g = 107/189 - q. Do 0 and g have different values?
True
Let l = -7 - -22/5. Let x(o) = 5*o + 5. Let n be x(1). Suppose n - 18 = 2*p. Is l equal to p?
False
Let n be 87/15*(-20)/(-2). Is n >= 59?
False
Let z = 22.33 - 5.33. Are 21 and z unequal?
True
Let w(n) = 5*n**3 + 5*n**2 - 6*n + 3. Let q be w(-5). Let g = q - -7469/16. Which is smaller: -1 or g?
-1
Let c(b) = -b**2 + 6*b + 15. Let l be c(7). Suppose -l*m - 7*m = -45. Is m <= 4?
True
Let k be ((-60)/18)/((-2)/69). Suppose -2*r + 4*o = 16, 5*o = 4*r - 9*r - k. Is r less than 1?
True
Let b be (-5)/((-23)/28 + (-87)/203) + 1. Let c(y) = y**2 + 4*y + 3. Let a be c(-3). Which is bigger: b or a?
b
Let v(n) = 2*n**2 - 3. Let a(m) = -4*m**2 - m + 6. Let q(c) = 3*a(c) + 7*v(c). Let h be q(-1). Which is greater: -1/10 or h?
h
Suppose 0 = -v - 3*v + 216. Let n = 47 - v. Which is bigger: n or -5?
-5
Let u = -3 - 11. Let k be 12/42 - 276/u. Let p be (-5)/(-3)*4/k. Which is smaller: -2/15 or p?
-2/15
Let u(q) = 47*q + 4. Let n(d) = -12*d - 1. Let a(r) = -9*n(r) - 2*u(r). Let y be a(-1). Let t = y + 23. Which is smaller: -1 or t?
-1
Let h be (3/(-30))/(16/88). Is -1 at most h?
True
Let p be (-44)/(-154)*7/(-1). Which is smaller: -6 or p?
-6
Suppose 0*q + 9*q = 27. Suppose 3*c = q*i - 48, -46 = 3*c + c + 2*i. Which is smaller: c or 0?
c
Let m = 15.62 - 16. Let b = m - -0.3. Is b at most 1?
True
Let k = -972 - -109825/113. Which is smaller: -1 or k?
-1
Let h = -8/1487 + 3030/10409. Let l = -0.3 + 0.28. Let y = 2.02 + l. Is h greater than y?
False
Suppose -5*j + 4*u = 4, -2*j - 2 - 3 = -5*u. Let y be (-1)/(-3) - 25544/(-1020). Let i = y + -126/5. Is j at most as big as i?
True
Let s(z) be the third derivative of -z**6/120 + z**5/12 + z**4/8 + 2*z**3 + 7*z**2. Let x be s(6). Are -2/3 and x equal?
False
Let r = -126507/7225 + 438/25. Is 1 less than r?
False
Let l(j) = 10 - 2*j - j + j + 3*j. Let a be l(-9). Suppose 2*m + 0*q = -3*q - 11, -q = -a. Are m and -8 equal?
False
Let m(f) = -2*f**2 + 5*f - 2. Let d be m(7). Let i = -66 - d. Let x = -101/6 - -17. Is i at most x?
True
Let i be 10/25 - (-51)/(-90). Let c = i + -4/3. Is -2/9 at least as big as c?
True
Let p = 1700/97681 - 2/713. Which is smaller: p or -2/7?
-2/7
Suppose 288 = -4*h + 3*y - 403, -2*y = -4*h - 690. Is -172 smaller than h?
False
Let w = -0.2 + 0.3. Let u(z) = -37 + 6*z**2 - 7*z**2 + 6*z + 31. Let n be u(7). Is n <= w?
True
Let b be (-682)/280 - 6/(-21). Let y = b - -12/5. Suppose 19*f + 0 + 8 = 8. Does f = y?
False
Let k = -90 - -148. Is 58 less than k?
False
Let o(f) = f**2 + 68*f + 15. Let q be o(-68). Let x = 0.1 - 0.2. Is q < x?
False
Let u = 1.55 + -1.45. Suppose 3*z = -0*z + 123. Which is bigger: u or z?
z
Let j be 20*(9 + 1236/(-138)). Are 0 and j equal?
False
Let l(p) = p**2 - 1. Let t b