ual to t?
False
Let s = 2367 - 2372. Let k(r) be the first derivative of -9*r**2/2 - 3*r - 1. Let z be k(s). Which is greater: z or 41?
z
Suppose -304*v = -412574 - 569346. Which is smaller: 1 or v?
1
Let m be (-14)/(-2) + 0 + -12. Let a be 6/3 - (-4 - 1)/m. Let n be (-4)/7*2/(-4). Are n and a equal?
False
Let k = -6315 - -4549. Is k at least -1766?
True
Let u be 1/(3/((-162)/(-15)))*20. Let k = -48 + u. Let c be k/(-5) + 16/20*1. Which is bigger: c or -10/3?
-10/3
Suppose 29*c + 35 = -23*c + 17*c. Is 41/85 <= c?
False
Let x = -298 + 483. Let r(k) = -22*k**2 + 1127*k - 70. Let w be r(51). Is w at most as big as x?
True
Suppose -p = 4*a - 18, p = -2*a + 7*a - 18. Let x be (-102)/((135/10)/9). Let l be 1*3 + (-17)/x. Is p >= l?
False
Suppose 17*q + 50966 = -32164. Let y be 2/10*(-50)/q. Which is greater: 0 or y?
y
Let d = 72 + -34. Let h = 105 - d. Let y = h + -102. Which is smaller: y or 0?
y
Let u = 329.156 + -329. Let x = u - 0.056. Which is greater: x or -12.2?
x
Let z be (4/4 - 2)*1. Let u = 6095/433263 - -1/3117. Which is greater: u or z?
u
Suppose 2*o + 3*y - 67 = -72, -5*o + 16 = -2*y. Suppose -5*w - 20 = m + 9, 2*m = -w - 13. Which is smaller: m or o?
m
Let y(o) = 5*o**2 + 255*o - 1112. Let g be y(-55). Let i(t) = t**3 + 2*t**2 - 2*t + 2. Let n be i(-3). Does g = n?
False
Let o be (-6)/8 + 23850/(-72). Let f = o - -20243/61. Let j = f + -2361/122. Is -19 at least as big as j?
True
Let z = -221.88 - -195.88. Which is smaller: z or -416?
-416
Let l(x) = 11 + 5*x + 11 - 46 + 10. Let n be l(3). Let v be (n - -49) + (-28)/(-7). Is 54 <= v?
True
Suppose 3*l + j = 33, 0 = -l - 4*l - 3*j + 59. Let i(d) = 13*d - 121. Let z be i(l). Let m = 17 + -10. Is m >= z?
False
Suppose -15*g - 58 + 448 = 0. Let w = 27 - g. Is 26/25 > w?
True
Let b = -1132 - -12464/11. Which is bigger: 85/2 or b?
85/2
Let k(c) = -36 + 17*c + 3 - 67. Let t be k(5). Is t < -115/7?
False
Suppose -7*p - 7 + 140 = 0. Suppose 3*g = p*g - 0*g. Which is greater: g or -3/49?
g
Let m be (-378)/63 - 1052/(-8)*(-2)/(-47). Which is greater: m or 0?
0
Let r(y) = -2*y**2 + 21*y - 18. Let d be r(9). Let h be (0 - (-129)/d)*(-6)/2. Which is greater: -44 or h?
h
Suppose 0 = -43*z + 37*z + 18. Let l = -32 - -54. Suppose z*h = h - l. Does h = -1/2?
False
Suppose -4*v + 4*u = -176, 5*v + 0*u + u - 232 = 0. Let c be (-23)/((-2277)/(-270))*v/(-6). Is c < 22?
True
Let m be 4*30/680*(-18502)/33. Which is smaller: -100 or m?
-100
Suppose 31 = -10*x + 81. Let b be -2*x - 1 - (7 - 6). Suppose 0 = -2*c - 4*p + 12, -2*p + 18 + 0 = -5*c. Are c and b equal?
False
Let b = 26 + -72. Let u = b - -46.06. Let v be ((-10)/45 - 0)*3/2. Which is greater: v or u?
u
Let d = 143.2 + -143. Let n = -8.119 + -0.081. Let w = n + d. Which is greater: w or 0?
0
Suppose 4 = 3*x + t, -4*x - 4 + 18 = -3*t. Suppose -x*p = d - 70, d - 3*p = 6*d - 357. Which is bigger: d or -0.2?
d
Let z = 5.528 - 87.528. Which is smaller: z or 0.2?
z
Suppose -1665 = 67*j - 22*j. Which is smaller: j or -38?
-38
Suppose -29*i = -28*i + 754. Let h be (-28)/(-182) - (-168)/i. Let w(s) = s**3 - 5*s**2 + 3*s + 4. Let b be w(4). Do h and b have the same value?
False
Let f = 447979/724 + -2475/4. Which is smaller: f or -2?
-2
Let a = 26.098 + -388.098. Which is bigger: a or -0.028?
-0.028
Suppose 732*o + 395 = -337. Let x = -54599/84 + 650. Is o at most x?
True
Let h = 257 - 250. Let c be 33/(-48) + h/((-56)/(-6)). Is -0.2 bigger than c?
False
Let d = -1995.8 + 1995.8. Is d greater than or equal to 1.43?
False
Let z(u) = 12*u + 161. Let h be z(-13). Let s(t) = -9*t**2 + 24*t + 2. Let w be s(h). Does w = -517/5?
False
Let v be ((-852)/20)/((-6)/30). Suppose v*f = 224*f. Is f equal to -4/179?
False
Let u(j) = 5102*j + 29. Let x be u(0). Let l be 940/33 + (-4)/6. Which is greater: l or x?
x
Let i = -6754 + 6752. Which is smaller: i or -407?
-407
Let c = 1029 - 1013. Suppose t - 6*y = -5*y - c, 2*t + 4*y = -50. Is -21 < t?
True
Let j = 9741 + -9721. Let z(q) = -q + 11. Let a be z(0). Is j <= a?
False
Let k(y) = -2*y**3 - 63*y**2 - 29*y - 8. Let s = 314 + -345. Let p be k(s). Which is greater: p or -71?
p
Let h be ((-15)/(450/(-20)))/(1/(942/4)). Is h smaller than 152?
False
Let k be -3*((-2)/1047)/(-1). Let h = -2806/2443 - k. Let f = 35960.2 + -35960. Is h less than or equal to f?
True
Let k = 119 - 113. Suppose -17 = 5*b + 3*t, 0 = 3*b - k*b + 5*t + 17. Which is smaller: b or -1/82?
b
Suppose 448*x - 232*x - 12688 = 242*x. Is -460 greater than or equal to x?
True
Let m = -3244 - -4115. Which is smaller: m or 2617/3?
m
Let q = 27.1264 + -27.2. Which is smaller: q or -2/7?
-2/7
Let z be 660/(-24)*(-44)/495. Which is smaller: z or 2?
2
Let n be (8/32)/((-1)/(-4)). Suppose -4*i + 3*i = 3*i. Suppose i = 4*k + n - 13. Which is greater: k or 5?
5
Let u = -524 - -541. Suppose u*r - 5*r - 144 = 0. Do 17 and r have the same value?
False
Let d(i) be the first derivative of -i**2/2 - 15*i - 8. Let k be d(-13). Let w be (-4)/k - (-14)/7. Is 4 <= w?
True
Let l = 483 + -482.9468. Let k = 0.1532 - l. Which is greater: -3 or k?
k
Suppose 5*w - 3622 + 4887 = 0. Suppose 506 = 2*n - 4*n. Is n less than or equal to w?
True
Let o = 98 - 85.6. Let l = 19.1 - o. Let y = 8.7 - l. Is y equal to 0.2?
False
Let n = 370 + -538. Let u = n - -154. Which is greater: 0.08 or u?
0.08
Let l = 755 - 749.17. Let n = -6 + l. Is n < 2/11?
True
Suppose -83*m + 10237 + 28256 - 7036 = 0. Are m and 376 non-equal?
True
Let c be -3 + 135/6 - 3/(-6). Suppose -11*j = 3*f - 6*j + c, 0 = f - 3*j + 16. Does -10 = f?
True
Suppose -3*k = -i - 6 + 2, 0 = -4*k + i + 7. Suppose q - k*x = -180, q + 9*x = 7*x - 175. Which is smaller: 0 or q?
q
Let y = -57 + 71. Suppose -2*h - 10 = -3*i, -4*i - 14 = -7*i + h. Is y equal to i?
False
Suppose -3*v + 14111 = 2*y, 25*v + 3*y + 9390 = 27*v. Does -0.1 = v?
False
Suppose f + 1860 = -3*a + 6293, 0 = -4*a. Are f and 4433 unequal?
False
Let q = -21007/6355 - -135/41. Let u be 6/4 + 1/(-2). Is q equal to u?
False
Let j = -55.982 - -56. Let a = j - -0.572. Let z = -0.5 + a. Does z = -1?
False
Let l = 15454328/1751 - 8826. Is l bigger than -1?
True
Let w = -3.1864 - -86.4164. Which is smaller: 0.3 or w?
0.3
Suppose -2*q - 4*c = -28, -2*q = 3*q - 3*c - 57. Let l(h) = 2*h**2 + 4*h - 3. Let t be l(2). Suppose -2*d + 9 = -t. Which is smaller: d or q?
d
Let m = 12911/1608 - -91/134. Which is smaller: m or 8?
8
Let i be 1/5 - 1006/80. Suppose 0 = 4*o + 68*g - 64*g + 24, -3*o = 2*g + 25. Which is smaller: o or i?
o
Let x = 1/452 - 31649/4068. Let f be (1/(9/4))/(2585/(-24299)). Let y = f - x. Which is smaller: y or 4?
y
Suppose -18*q = 16*q + 7*q + 45182. Which is smaller: -1112 or q?
-1112
Let t = 15814 + -16511. Which is bigger: t or 2/5?
2/5
Let f be (50 - 38) + 5787/(-12). Which is smaller: f or -471?
-471
Let a = -79 - -194. Is a bigger than 1.8?
True
Suppose k - 11 = -8*o + 3*o, -4*o = 3*k. Let t be 32/k + (-16)/24. Do 1/4 and t have the same value?
False
Let q = 1879/1525 - -20/61. Is -0.2 greater than q?
False
Let j = 1 + -2. Let q be (-8 + 3942/498)/(-31). Let b = q + 2/249. Is b equal to j?
False
Let s(z) = -5*z**2 + z - 4. Let x be s(2). Let q = x + -100. Is q > 2/7?
False
Let c = -2044 + 2043.1. Let z(l) = 2*l**2 + 15*l - 21. Let x be z(-9). Which is smaller: x or c?
c
Suppose -203 = -k - s, -403 = 2*k - 4*k + s. Is 205 less than k?
False
Let h be 18/5*(3 + 12/(-9)). Let m be (-3900)/11565 + 2/h. Which is smaller: m or 0?
m
Let t = 0 - 0. Let c = 5872622 - 1151039261/196. Let p = 109/4 + c. Which is bigger: t or p?
t
Let i(r) = r**3 + 5*r**2 - 6*r + 3. Let p be i(-6). Let j(g) = g**3 - 3*g**2 - 4*g + 7. Let v be j(p). Let d be -2 + v/(-1) + 78/(-36). Is 2 != d?
True
Let y = -7334 - -7335. Which is bigger: y or 68/35?
68/35
Suppose -5*n + 697 = 2*j, -1244 + 1360 = n + 3*j. Is n bigger than 159?
False
Suppose -130*p + 242724 = -17*p. Which is bigger: p or -1?
p
Suppose -95 = -23*h - 3. Let u be (h/10)/(47/(-2350)). Which is smaller: u or 0?
u
Suppose -5*m - 917 = -3*h - 3153, 0 = 2*h + 7*m + 1408. Suppose 3*o + 1522 = -671. Is h equal to o?
False
Let k(h) = 3*h**2 + 81*h + 12. Let n be k(-22). Let j = n - -385. Which is bigger: 66 or j?
j
Let x = 422.3215 + -421.67. Is x < -1?
False
Let v be (-8)/(-2) - (-9 + 7). Let g be -27 - (1 + -2 + 1 + -3). Let l = g + 27. Whic