t n = 57 + -16. Let d = -42 + n. Suppose -3*v + 4*v = 0. Is v less than d?
False
Suppose 3*z - 17 + 23 = 0. Let a = 9 + -9.04. Let p = a - -0.03. Which is greater: z or p?
p
Let d(p) = -9*p - 1. Let o be d(-1). Let r be (-22)/(-121) + 464/(-11). Let z be (r/(-16))/(12/16)*2. Is z at least o?
False
Let r be 8 + (2 - 3)*3. Suppose 4*y - r = 3*x - 40, -4*x = 4*y. Suppose u - x*v - 7 = -29, 0 = 4*u - 3*v + 20. Which is greater: u or -7/6?
-7/6
Let m be ((-10)/6 - -1)*21. Suppose 108*i - 107*i - 71 = 0. Let x = -84 + i. Is m greater than or equal to x?
False
Let w = 113 - 112. Which is bigger: -64 or w?
w
Suppose -53*s + 62 = -786. Suppose 4*j - 68 = 2*z - z, -j + 36 = -5*z. Is j at least as big as s?
True
Let s = 13 + -12.9. Which is greater: s or 1?
1
Suppose -3*u + 0*u + 75 = 0. Suppose -w = -29 + u. Let o be (-18)/14 + w/3. Which is smaller: o or 0?
0
Let k = -727 + 750. Is k at most -0.09?
False
Let i(o) = -7*o + 50. Let k be i(6). Which is bigger: 2 or k?
k
Let b = -223 - -224. Is 7/12 smaller than b?
True
Let x(u) = -2*u**3 + 2*u**2 - 10*u + 15. Let k be x(2). Is k less than or equal to -25/2?
True
Let j be 3/2 + (-9)/2. Suppose -5*s - 235 = -210. Is j greater than s?
True
Let j = -160 + 159. Is j >= 2/35?
False
Let q = 1 + 0. Let b = 1193/9927 - 10/1103. Are b and q nonequal?
True
Suppose 33*m - 31*m - 176 = 0. Which is bigger: 434/5 or m?
m
Let i(m) = -m**3 + 49*m**2 - 147*m + 471. Let u be i(46). Let n = -1 - -1. Are u and n equal?
False
Suppose -3*t + j - 6 = 0, 4*j + 8 = t - 5*t. Let s(q) be the first derivative of -q**2/2 + 3*q - 15. Let f be s(5). Is f at least as big as t?
True
Let x be 1/(2/20*2). Suppose -5 = 4*q - x*q. Suppose -s - 1 = -w, -2*w - s + 2 = -q*s. Is 1 at most as big as w?
True
Suppose -5*p + 0*p = -10, 0 = -5*z + p - 7. Let h(x) = -x**3 - 2*x**2 + x + 3. Let o be h(3). Let q be (-12)/(-2)*((-192)/o - 5). Is q smaller than z?
False
Suppose -546 + 162 = -4*b + 3*d, -3*b + 288 = -5*d. Do 97 and b have the same value?
False
Let u be ((-6)/(-18))/((-3)/(-9) - 0). Is u greater than 29/22?
False
Let n = 23 + -23.02. Let p = 0.92 + n. Is 1/3 at least p?
False
Let u(n) = -n**2 - 24*n - 7. Suppose 0 = -4*w + 5*j - 95, 0 = -2*w - j - 0*j - 51. Let q be u(w). Is -30 at most q?
False
Suppose -2*j = 5*t - 76, -3*j - 66 = -4*t - 2*j. Let w(a) be the second derivative of -a**3/6 + 8*a**2 + 2*a. Let c be w(t). Are c and -5/4 equal?
False
Let i be 4543/(-7)*-2*1/(-2). Is i not equal to -649?
False
Let r = 10 + -2. Suppose -2*l = 6 + r. Let y = -7 - l. Is 1/6 > y?
True
Let k = -34 - -18. Let v be (k/24 - (-2)/3)/2. Is -1/2 bigger than v?
False
Let d(m) be the second derivative of -5*m**4/12 - m**3/3 - m**2/2 + 10*m. Let u be d(-1). Let x(g) = g**3 + 7*g**2 + 10*g + 5. Let c be x(u). Is 14 at most c?
False
Let p = -1.765 - -1.8. Let k = 12.15 + -13.15. Which is smaller: k or p?
k
Let o = 13 - 18. Which is bigger: o or -0.9?
-0.9
Let k = 32 + -28. Is k less than or equal to 46/9?
True
Suppose 10*l = -361 + 1441. Which is greater: l or 3?
l
Let n be (9/(-3) - -3)/3. Suppose -20 = -5*v + 3*v - 5*r, n = -4*r. Is v bigger than 17/2?
True
Let o = 2.5 - 2.5. Let h(a) = -2*a**3 + 5*a**2 - 2*a - 3. Let c be h(3). Let z be 14/(-21)*c/(-16). Which is smaller: z or o?
z
Let u(i) = 2*i**2 + 2*i - 11. Let t be u(-9). Let o = 2129/16 - t. Which is bigger: 0 or o?
o
Suppose 6 = -2*i - 2*r, -3*r + 41 = 4*i + 51. Is i smaller than -1/10?
True
Let k = -6 - -1. Let i(d) = d**3 + 4*d**2 - 2*d + 5. Let c be i(k). Let a be (3 + (-76)/20)/c. Is a at most 0?
False
Let p = -658.1 + 658. Let k = 45 - 65. Does p = k?
False
Suppose 3 = p - 2*p. Let t = p - -6. Suppose -8 = -t*a + 5*d, 2*a + 2*d - 2 = 7*d. Is a < 1?
False
Let q = 1051.1 - 1050. Is -2/9 < q?
True
Let t(l) = -4*l**3 - l**2 - 2*l + 1. Let j be t(-2). Let z = 164/5 - j. Let w = -3 - -7. Is w at most z?
False
Let z be ((-32)/(-1216))/(2/(-8)). Which is bigger: -0.032 or z?
-0.032
Let k be 10/28*5 - (-171)/(-114). Which is smaller: k or -63?
-63
Let f(z) = -z**2 + 11*z + 59. Let u be f(10). Are u and 71 nonequal?
True
Let w = 0.0935 - -0.2685. Is w > 2?
False
Let q = -818 + 1641/2. Suppose 3*a + 20 = -2*a. Which is greater: a or q?
q
Let x = -68 - -68. Are 0.356 and x equal?
False
Let m(s) = -7*s + 31 + 17*s**2 - 9*s**2 - 4*s**2 - 6*s**2. Let j be m(-6). Let t = 2/99 + 257/1980. Which is greater: t or j?
j
Let i(f) = -6*f**2 + 3*f + 3. Let s(d) = -d**2. Let t(z) = -i(z) + 5*s(z). Let c be t(3). Let k be (1 - -5)/c + 3. Is 1 > k?
False
Let q be 6/(-12)*(-1 + 0 - -23). Let l(j) = 3*j**2 - 18*j + 6. Let o be l(5). Do o and q have the same value?
False
Let n(y) = 21*y + 247. Let u be n(-12). Which is smaller: -20 or u?
-20
Let x = 3 + -3. Let n be x*(24/(-9) - -3). Suppose -h - 4*y = 1, 4*h = -n*h - 4*y + 8. Does h = 3?
True
Let b = 0.0353 + 0.0647. Which is smaller: -555 or b?
-555
Let k = -237 + 216. Which is greater: -4 or k?
-4
Let d = -6 - -2. Let g be (-1)/(7/d) - 1. Suppose -3*j + 5*t + 13 = 0, 0*t - 4*t - 3 = 5*j. Are g and j nonequal?
True
Let m be (-8)/(-60) + (-146)/(-30). Suppose 0 = -2*k - 3 + m. Which is greater: k or 2/121?
k
Let k = 9 + -10. Let c be (2 - (-64)/(-68)) + k. Let i = -40 + 39.9. Which is smaller: i or c?
i
Let p = -10 + 20. Suppose 4*d - 10*d - 420 = 0. Let g be (-1141)/d - 7 - 2/(-10). Which is greater: g or p?
p
Suppose -44*i = -53*i - 1080. Is -115 <= i?
False
Suppose -1065 = 49*d - 54*d. Is d equal to 213?
True
Let w = -1 + 0. Let i = w + 3. Let j = 1625 + -1624. Which is smaller: j or i?
j
Let d = 300 + -192. Let r = d + -970/9. Is -2 != r?
True
Let t = 21507/137 - 157. Which is bigger: t or -5/4?
t
Let f = 20 - 15. Suppose -6 + 2 = y - 3*c, -2*c = 0. Let v = y + f. Is 1/6 != v?
True
Let z be 202/(-6)*(-25 - -22). Which is bigger: z or 100?
z
Suppose 2*f = 4*k + 1138, 4*k = 3*f - 4*f - 1141. Let r be (2/6)/(5/k). Let h = -24 + 6. Which is greater: h or r?
h
Let c = -394 + 392. Is -25/16 not equal to c?
True
Suppose 5*i = -0*i. Let k be (1 - i) + 6/2. Suppose -a - k*n = -1, 0 = 2*a - 2*n - 2. Which is greater: 2/9 or a?
a
Suppose 54 = -y + 2*z, -195 = 5*y + z + 4*z. Let c be (y/16 + 2)*-16. Which is bigger: c or 14?
14
Suppose -4 = 2*y, -5*s - 4*y = -s + 88. Let o be (20 + s)*(-1 + 2). Are -4/25 and o unequal?
True
Let u = -58 - -58. Suppose u = 5*x - 28 - 37. Is 13 at most as big as x?
True
Let f(u) = u**2 - 3*u + 11. Let b be f(11). Let d = b + -73. Which is bigger: d or 2?
d
Let s(n) = -2*n + 69. Let b be s(35). Let p = -177 - -3366/19. Are p and b equal?
False
Let u be 440/50 + -8 - (-1258)/190. Which is bigger: u or 6?
u
Let r = -67 + 59. Let j = 31 + r. Which is bigger: 0 or j?
j
Let z = 101 - 87. Which is greater: z or 13?
z
Let q = 3/634 + -13963/3170. Suppose 43*v = 49*v + 30. Is q bigger than v?
True
Let j(t) = 11*t**2 + t. Let i be j(-1). Let w = 264 + -253. Let o = i - w. Is o bigger than -2/15?
False
Let b be (2 + -12)/20 + (-194)/(-4). Which is smaller: 50 or b?
b
Let n(c) = -2*c**3 - 12*c**2 - 9*c + 8. Let f be n(-5). Is -16 < f?
True
Suppose 0 = 2*g + 11 + 11. Suppose -3*q = 67 - 34. Is g smaller than q?
False
Let g = -42 + 22. Let z be 8/g - (-32)/180. Which is smaller: z or 1?
z
Let o(i) = -i + 22. Let f be 4 - 3 - ((4 - 2) + -13). Let y be o(f). Which is smaller: y or 11?
y
Suppose 4*k - 272 + 36 = 0. Is 60 greater than k?
True
Let c = 111 + -112. Is 21/8 greater than c?
True
Let i(j) = -j**3 - 4*j**2 + 4*j - 1. Let f be 1*((-10 - -2) + 3). Let p be i(f). Suppose p*a - 3*o - 75 = 0, -5*a - 2*o + 6*o + 95 = 0. Is a bigger than 15?
False
Let s = 686 - 1369/2. Which is smaller: s or -6.1?
-6.1
Let o be 14 + -11 + 172/(-60). Which is greater: 16/3 or o?
16/3
Let s = 629 - 628.99. Which is smaller: -12 or s?
-12
Let g(q) = -q**3 + 4*q**2 + 6*q - 6. Let p be g(5). Suppose 0 = -3*y - 17 - 25. Let z be -6 + 3 + (-40)/y. Is z greater than or equal to p?
True
Let c = -32.1 + 32. Suppose -3*j - 88 = 5*y - 6*j, -5*y + j = 86. Which is smaller: c or y?
y
Let f = 0.508 - -0.092. Is f != -4?
True
Let c(u) = u - 3. Let w be c(9). Suppose -5*g = -3*m + w*m - 9, g + 15 = 5*m. Let i = 1 + -2. Which is greater: i or g?
g
Let y be (6 - (-160)/(-30))*6/(-4). Is y less than 2/319?
True
Let s(i) = 4*i**3 + 2*i**2 + 8*i + 6. Let k be s(-3). Which is smaller: k or -109?
-109
Su