 -0.317 + 0.29. Let b = 17880 + -17878.973. Let g = w + b. Is 0 not equal to g?
True
Let l(n) be the first derivative of -5*n**3/3 + 2*n + 32. Let x be l(-1). Which is smaller: 0.7 or x?
x
Let z = 746/5 + -719/5. Is 4 at least as big as z?
False
Let r = 149 + -150. Let v = r - -0.57. Does -1/3 = v?
False
Let k be (-9)/6*40/15. Let l(w) = 1. Let p(m) = -5*m + 44. Let f(q) = k*l(q) - p(q). Let n be f(20). Is 52 > n?
False
Let w be ((-5)/(-10) - 3/2)*(44 + -14). Is w > -147?
True
Let o = -112.51 + 72.51. Is o greater than -8?
False
Let l = -19278 + 18649. Which is smaller: l or -2515/4?
l
Let d be (50/(-15))/(4/9). Let h = d - -9. Let o = 333.06 - 313.06. Which is smaller: o or h?
h
Suppose -26*a + 6*a = -2420. Suppose 108 - a = 13*h. Is h smaller than -16?
False
Let k be (-6)/(-10) + (-396)/(-90). Suppose -15 - 10 = -k*v. Suppose -5 = -v*g + 25. Which is greater: 36/5 or g?
36/5
Let d = 49 - 11. Let u be 3 + 196 - (4 - (-2)/2). Suppose -342 = -u*h + 185*h. Is d less than h?
False
Suppose 130 = 9*n + 58. Let d be 12/(-18)*n/((-16)/45). Let z = 1 - 1. Which is smaller: d or z?
z
Let j = 1.066 - 0.944. Which is bigger: j or -10/3?
j
Suppose 283 = 4*y - 3*i + 5564, 5*y + 4*i = -6609. Which is bigger: -1320 or y?
-1320
Let y = -3223 + 3492. Which is bigger: y or 1888/7?
1888/7
Suppose -4*d = a + 7, 3*a + 3*d + 31 = d. Let t(k) = k**2 + 30*k + 34. Let u be t(a). Is -175 > u?
False
Let t(i) = i**3 - 2*i**2 - 32*i + 105. Let n be t(6). Suppose d + 8 = 4*o, -n*o + 55*o - 2 = d. Is -4/475 at most o?
True
Let x = -3339 + 3338. Is x smaller than -36/715?
True
Let l = 62.912 + -63.07. Which is smaller: l or 2/13?
l
Let q be 54/81*(-2)/12. Suppose 4*z - 20 = 5*y, y + 4*z - z = 15. Let w be (-2)/(4 + y + -2). Do w and q have the same value?
False
Suppose 0 = 3*i - 3*m - 17499, 2*i - 4*m - 15217 = -3547. Which is bigger: 5830 or i?
i
Let a(q) = -9*q**2 - 82*q - 6. Let j be a(-9). Suppose f = -4*v - 4, v - 4*v = 2*f + j. Is f bigger than -1/577?
True
Let n = 157/11 - 13615/957. Suppose -3*m = f - 2*f - 1, -3*f = 3. Which is smaller: n or m?
m
Let t(r) = -2 + 0 - 5 - r. Let q be t(5). Let m = -14 - q. Which is smaller: m or -1?
m
Let x(u) = -u**2 - 20*u + 73. Suppose 0 = -2*k - 56 + 10. Let f be x(k). Suppose -5*j + f*v - 68 = 0, 4*j = 2*j + v - 26. Which is bigger: -15 or j?
j
Suppose -p = r - 2, -2*p + 3*r = -493 + 499. Which is greater: 29/72 or p?
29/72
Let i(h) = 2*h**3 + 8*h**2 + 14*h - 6. Let j be i(-3). Let f be (66/4)/(25/j). Which is smaller: -19 or f?
f
Let y = -20089.2 + 20089. Is y bigger than -847?
True
Let i = -429 - -434. Let c be ((-60)/50)/((-2)/i). Let q be -2 + 3 + -1 - 5. Are q and c nonequal?
True
Let o be 40/(-12) - (-20)/15. Let j(u) = -u**2 + 45*u - 322. Let k be j(9). Is o at least k?
False
Let y(w) = -w**3 - 12*w**2 + 220*w - 22. Let m be y(-22). Is m at least as big as -19?
False
Let i = -595 + 727. Let f be (-38)/6 + (-22)/i. Which is greater: 0.04 or f?
0.04
Let x be ((-48861)/3489 + 14)*-1. Which is bigger: 0 or x?
x
Let v = -55.1 + 16.5. Let q = 0.6 + v. Let p = q + 28. Which is greater: p or -0.1?
-0.1
Suppose 0 = 6*s - 6450 - 744. Suppose 14*x = 3*x + s. Is x less than 107?
False
Let s be 8/(-3*(-1)/183). Is s < -1/4?
False
Let n = 2783 - 2776. Let t = -11433/5 + 2294. Which is greater: n or t?
t
Let g = 4933 - 4939. Which is greater: -143 or g?
g
Let v be -7 + ((-8)/(-10))/((-12)/480). Is -192/5 greater than or equal to v?
True
Suppose 4*g + 4*u = -4, 2*u = -0*g + 2*g - 14. Suppose -17 = -g*r + 79. Suppose -3*w + 0 = -4*a - 20, 4*a + r = 4*w. Are w and 11 equal?
False
Suppose 282*k - 45*k = -399582. Which is greater: k or -1684?
-1684
Let i be (-94)/305*1*(-239574)/12. Let c = i - 6153. Are 1 and c unequal?
True
Let k = -4270 + 4446. Is -0.1 bigger than k?
False
Let f be -77 + ((-50)/(-12) - (-17)/(-102)). Let o = f + 73. Let u be ((-4)/14)/(1/2). Is o > u?
True
Let m = 664005/2 - 339816. Let q = 7576 + m. Is q less than or equal to -238?
False
Suppose 0 = 5*f - 0*f + 10. Let g(n) = 4*n + 40. Suppose -14*d - 23 - 117 = 0. Let k be g(d). Is f at least as big as k?
False
Let f(p) = p - 7. Let m be f(9). Let u(i) = 5*i - 2*i - 2 - m*i - i**2 + 2*i. Let h be u(1). Is -0.9 >= h?
False
Let w be (2 + -3)/((-3)/138*-2). Suppose -4*o + 3*c + 8 = 0, -3*o + 24 = o + c. Suppose -3*g + 4*f = -0*f + 62, 0 = -o*g - 5*f - 115. Is w < g?
True
Let z = 74 - 71. Suppose 5*o + 23 = z. Is o less than -4?
False
Let k be (-1)/(2/12) - 4*(-26653)/88. Which is smaller: k or 1207?
k
Let z = 4149706/3 - 1639130419/1185. Let a = z - -5/237. Which is smaller: a or 3?
a
Let v be ((-28)/35)/((-92)/1965695). Which is greater: -1 or v?
v
Let z = 12338 + -24571/2. Is 52 equal to z?
False
Let r = -10300 - -2739795/266. Is 0 greater than r?
True
Let z = 27531 + -23213. Is z < 4316?
False
Let b = -86605/19 + 4561. Which is smaller: b or -1.3?
-1.3
Suppose 0 = 3*z - 8*z + 140. Suppose -5*p - 4*h + z = 0, -3*h = p - 0*h - 10. Suppose -3*w - 6 = 0, -2*w + 12 = -p*k + 40. Is k less than or equal to 6?
True
Let y = 0.645 + -11.445. Are y and -1 unequal?
True
Let b = -13 - -350. Let d = b + -337.07. Is d greater than or equal to 4/9?
False
Suppose s - 6106 = -4*x, -29*x + 28*x + 1521 = 3*s. Which is smaller: x or 1526?
1526
Let c(n) = -6*n + 57. Let m(r) = -9*r + 85. Let y(f) = -7*c(f) + 5*m(f). Let t be y(8). Suppose 18 = -t*k - 0. Which is smaller: -8 or k?
k
Let u(b) = -b**3 - 2*b**2 - 1. Let x be u(-2). Suppose -4*o + 5*w + 1973 = 0, 5*o + 45*w - 2450 = 48*w. Let m = 10229/21 - o. Is x smaller than m?
True
Let f be (0 + 3)*(-44)/(-33). Let j be ((-26)/(-10) - f)*1. Which is bigger: -2 or j?
j
Suppose 0 = -132*n + 136*n - 4*w - 4, 2*w + 2 = -5*n. Is 1/27 less than n?
False
Let k = -66545 + 18832212/283. Which is bigger: 1 or k?
1
Let w(c) = -c - 9. Let r be w(-8). Let a = -7.966 + 10.966. Which is bigger: r or a?
a
Let q = -2.481 + 1.521. Is q smaller than -4/9?
True
Let d(p) = 43*p + 2*p**2 - 20*p - 6 - 11*p. Let o be d(-6). Let a be 3/o*68/10. Which is smaller: a or -4?
-4
Suppose -5 = 5*o - 5*u, -o + 13 = -5*o + u. Let p be (o/(-5))/(8/280). Which is smaller: 29 or p?
p
Suppose 3*a - 88*g = -89*g - 3565, g = 4*a + 4744. Which is smaller: a or -1188?
-1188
Let r = 247283 + -2228546/9. Is -332 greater than r?
True
Let d = 450/11 + -91811/2244. Does 1 = d?
False
Let p = -32.59 + -0.41. Let d = -67 + 39. Let b = p - d. Is b >= -0.2?
False
Let x be 3470*7/21*-2*(-3)/(-2). Are x and -3469 unequal?
True
Suppose 4*l + 3*x + 7 = 3, 2*x = 0. Let k be -11*((-37)/(-12) + -3). Let h = k - -133/132. Is h less than l?
False
Let a(k) = -2*k - 18. Let v be a(-8). Let p(d) = -2*d**2 - 7*d - 2. Let j be p(v). Suppose -4*f - 10 = -2. Which is smaller: j or f?
f
Let h = -1.6 + 1.7. Let j = 847.27 + -847. Which is greater: j or h?
j
Suppose -4*c = 4*s - 224, -c + 55 = -2*s + 11. Do 55 and c have the same value?
False
Let z = -4333 - -4340. Let t be 108/5*(-2)/(-6). Are t and z non-equal?
True
Let o be (-10986)/(-7850) + -19 + (-88)/(-5). Which is smaller: o or 0?
o
Suppose -7*v = 7 + 21. Let t be v/((-88)/(-149)) - -7. Is 0 at least t?
False
Let z be (-668)/(-6)*3 - 10/5. Let g = 307 - z. Is -32 < g?
True
Let l(y) = 4*y**2 + 23*y - 6. Let z be l(-6). Is z <= -1/4522?
False
Let f = -7 - -76. Let i = -1036 + 1106. Is i at most as big as f?
False
Let m = 1320 + -754. Suppose 4*v + 2*p - 752 = 0, -2*v + m = 3*p + 198. Suppose 14*b + v = 4*b. Which is smaller: b or -20?
-20
Let c = 0.03271 + -250.03271. Is -1/4 <= c?
False
Let b = 1813.6061 - -2.3939. Are b and 1 unequal?
True
Let j = -377/315 + -1591447/1260. Which is greater: j or -1264?
-1264
Let p(g) = 528*g + 2242. Let o be p(-6). Which is greater: -933 or o?
o
Let i be (-2)/6*19755/(-15). Let s be i/12 + 8*(-10)/240. Which is smaller: 36 or s?
36
Let k = 1/3286 + -6875/995658. Let y = 3719 + -3718. Which is smaller: k or y?
k
Let p = -25147/3 - -8621. Which is smaller: 238 or p?
238
Let m = 10.348 + -10.248. Which is bigger: 864.4 or m?
864.4
Let q = 1272 - 6362/5. Is -2/13 at least q?
True
Suppose 4*p + 22 = 6*y, -3*p = -4*y + 4 + 12. Which is greater: y or 10/339?
y
Suppose -7*l + 8*l - 6 = 0. Suppose 2*b + 3*g - 77 = 0, -l*g + 3*g - 203 = -5*b. Are 0.2 and b nonequal?
True
Let v = -160 + 172. Let j be v/28 + (-1552)/28. Which is