 = r**3 - 7*r**2 + 8*r + 3. Let c be s(5). Is 3 smaller than c?
False
Let k(i) = i**2 - 7*i + 5. Suppose 0 = 4*l + 9 - 33. Let z be k(l). Let x be z/2*(1 - 1). Is -3 < x?
True
Suppose -7*r + 2*q + 34 = -4*r, 3*q = -3*r + 24. Let u be (-60)/4*r/(-25). Let m(y) = -y**2 + 8*y - 5. Let d be m(6). Which is bigger: u or d?
d
Let q = 76 - 47. Let x = 31 - q. Which is smaller: -2/11 or x?
-2/11
Let a = 0.14 + -1.74. Let z = 0.001 + -2.001. Is z greater than a?
False
Let b(t) = 2*t - 20. Let d be b(10). Suppose -6 = 3*n - 6*q + 3*q, 0 = -n + 5*q - 18. Suppose y + 2*i = 7, y + i - 1 = -n*y. Does d = y?
False
Let c be -3*1/(-2)*2. Let m be (3 - -2) + -1*c. Suppose -m*u - 40 = -16. Is u not equal to -11?
True
Suppose -f - 8 + 50 = 0. Let b = 70 - f. Does b = 27?
False
Let h(f) = -f**3 + 4*f**2 - 2*f - 1. Let w be h(3). Suppose -q - g = -2*g - 2, q + w*g = -4. Let i = -1277/21 + 61. Is q greater than or equal to i?
False
Suppose 66*m + 64 = 65*m. Let w = 64 + m. Is w at most -3?
False
Let q = -0.1782 + 0.0782. Which is smaller: 1207 or q?
q
Let k = -79 - -12. Let r = k + 338/5. Is r at most -5/3?
False
Suppose -3*k - 5*x + 29 = 0, -2*k + 3*x - 59 = -7*k. Suppose 1 = 2*w + 5*t + 2, -3*w + 56 = -4*t. Is w <= k?
True
Let c be -2 + (451355/(-306))/5. Let g = c - -297. Let f = 509/306 - g. Is 3 >= f?
True
Let j = -2672 + 1926510/721. Which is smaller: j or 1?
j
Let r be (-40)/(-25)*(-840)/48*(-2 - -1). Let p = 61 + -33. Is p < r?
False
Let s = -31 + -59. Let w = s - -130. Is -1 greater than or equal to w?
False
Let z = -87.01 + 86. Let i = z - -0.91. Is i at least -28?
True
Let z(x) = -6*x + x + 4*x + 8 + 0*x. Let h = 21 + -15. Let j be z(h). Which is greater: 3 or j?
3
Let s = -36 - -36.1. Let m = 22 - 17.4. Let c = -1.4 - m. Which is bigger: c or s?
s
Let a be 6*(12/(-9) + 1 + 2). Let w be 215/(-25)*a/4. Is w at least -21?
False
Suppose -3332 = 50*o + 3318. Is o <= -1?
True
Let x be (-266)/(-6) - (-3 + 14/6). Are -3 and x unequal?
True
Let r(p) = 6*p - 109. Let v be r(18). Which is smaller: v or -2/103?
v
Suppose -5*r - 12 - 3 = 0. Let z be (-2 + 10 - 3) + r. Suppose 4 = 4*d - z*d. Which is smaller: 4 or d?
d
Suppose 4*g = 4*c - 0*c - 412, -4*c - 533 = 5*g. Let n = g + 71. Is -33 greater than or equal to n?
True
Suppose -5*p - 2*a + 8 = -6, -4*p + 4*a = 0. Suppose 3*v - g - 12 = 0, -4*v + 16 = -10*g + 8*g. Suppose 0 = -v*x + 2 + p. Is -1/4 smaller than x?
True
Let l(v) = -32*v + 340. Let y be l(5). Which is bigger: y or 183?
183
Let a(z) = 3*z**3 - 2*z + 2. Let v be a(1). Suppose 0*u - 15 = -2*u - v*o, 3*u - 4*o = 14. Suppose u*t - 120 = -6. Is 19 > t?
False
Let w = 498 - 497.02. Which is greater: w or -0.3?
w
Let p = -33 - -32. Let y be ((-2)/p)/((-2)/(-18)). Let i = y - 16. Is i at least -0.2?
True
Let r = -50.3 - -40.3. Is -3/16 bigger than r?
True
Let t = -1066 + 1100. Is t > 8?
True
Let u = -192.0884 - -0.0884. Which is smaller: 1/2 or u?
u
Let v = 380 - 378. Which is smaller: 105 or v?
v
Let f = 762 - 761. Which is greater: -365 or f?
f
Let t(n) = -8*n**2 - 3*n - 10. Let q be t(5). Which is greater: -226 or q?
q
Let c(s) = -3*s**2 + 22*s - 58. Let r be c(13). Is -279 smaller than r?
False
Suppose 5*z - 7 = 2*b, 0*z + 5 = -z + 2*b. Suppose -z*o = 2*o. Let f = -53/4 + 697/52. Is f not equal to o?
True
Suppose b = 4*m + 5, -9 = -4*b + 104*m - 99*m. Let z be 0 + (0 - 12/26). Which is bigger: b or z?
b
Let a = -1556 + 1557.949. Let w = 0.051 + a. Is -3/2 greater than w?
False
Suppose -4*y - 107 = 5*z - 2*z, -5*y = -3*z - 143. Let i = z + 122/3. Which is smaller: i or 0?
i
Suppose 0 = 5*d - 3*o - 2120, -12*o = -d - 17*o + 396. Is d at least as big as 422?
False
Let x be 160/(-18) - 0 - 34/(-153). Which is smaller: -9 or x?
-9
Suppose 1422 = 3*j - 4*b, 7*j + 8*b - 5*b - 3355 = 0. Is 0.1 at least j?
False
Let y be 10*4/((-32)/(-132)). Let g = y + -2474/15. Is -1 at least g?
False
Let k(a) = -a**2 - 7*a - 54. Let p be k(19). Which is smaller: -549 or p?
-549
Let m(x) = -2*x**2 + 7*x + 47. Let a be m(11). Is -116 smaller than a?
False
Let n(m) = -m - 8. Let t be n(-16). Suppose 4*o + t = 8*o. Is o >= 9?
False
Suppose -4*c = c - 170. Suppose -5*l - c - 71 = 5*z, 0 = 4*l - 16. Let o be (5/z)/(1/(-5)). Which is greater: -1/4 or o?
o
Let a = -6/59 + 464/5723. Which is bigger: 0 or a?
0
Let l = 219 + -219. Which is greater: l or -17/14?
l
Let z = 167/5 - 401/15. Let p be (-3)/27 + (-192)/(-27). Is z equal to p?
False
Let g = -735 - -172726/235. Which is smaller: 1 or g?
g
Let l = -4 + 11. Let z be l/22 + 2/11. Let y be (-1*(1 - 2))/1. Is y smaller than z?
False
Suppose 2*k - 4*k = -4*k. Let r(a) = a**2 - 12*a + 14. Let h be r(11). Let x be 13/27*h - 2. Which is bigger: x or k?
k
Let u be 2*8 + 2/1 + -5. Suppose -z + 7 - u = 0. Do -8 and z have different values?
True
Let l = -261 - -236. Which is smaller: 4 or l?
l
Let b be 26/(-2) - (-18)/9. Is b at most -43/4?
True
Let n = -0.67 + 0.48. Which is greater: 6 or n?
6
Let b = 15 + -4. Let x be (228/266)/(12/147). Is b less than x?
False
Let v = 972 + -331. Does v = 642?
False
Let d = -211.15 + 235. Let n = 132 - 156. Let q = d + n. Which is greater: -1/2 or q?
q
Let q = 42.68 - -8.02. Which is bigger: q or -0.1?
q
Let l = 19/3 + -11/3. Let v = -1.41 + 0.41. Is v smaller than l?
True
Let b(k) be the third derivative of -k**4/24 - k**3/3 - 9*k**2. Let h be b(14). Let c be 12/h + (-2)/8. Which is bigger: c or 1?
1
Let l = 76.9 - 6.9. Let b = l - 72. Are b and 30 unequal?
True
Let u be (-9)/10 + 2/4. Let c = 3 + -11. Let d = 8 - c. Which is bigger: u or d?
d
Let u = 16 - 32. Let k = 20 + u. Suppose -5*f + k*j - 27 = 0, -2*f - 9 = 4*j - 5*j. Is f at least -3?
True
Suppose 6*w + 61 = 463. Let m = w + -95. Which is greater: -27 or m?
-27
Suppose -14*t + 0 + 518 = 0. Which is smaller: 27 or t?
27
Let y = -28 + 19. Suppose 0 = -u - 4 - 8. Let m = y - u. Is 3 at least m?
True
Suppose -137*p + 130*p = -616. Which is greater: 89 or p?
89
Let n(i) = 4*i + 8. Let l be n(-5). Let o be (-2)/12 + l/9. Is o at least -0.1?
False
Suppose -3*k + 132 = k. Let h = k - 27. Is 5 not equal to h?
True
Let f(h) = 5*h**3 + 29*h**2 - 38*h + 5. Let l(v) = 2*v**3 + 15*v**2 - 19*v + 3. Let c(z) = -3*f(z) + 7*l(z). Let w be c(17). Is w > -28?
False
Let b = 17270 + -17279. Suppose -6 + 26 = -2*r. Which is smaller: b or r?
r
Suppose 4*r + 4 = 8*r + 4*a, -5*r + 3 = 3*a. Let y be 144/(-1008)*42/16. Are r and y nonequal?
True
Let c = -471/1505 + 11/43. Suppose -3 = -15*m - 78. Let o be 4/6 + (5/(-3))/m. Does c = o?
False
Suppose -15 + 3 = -2*w. Suppose v = -3 + 8. Suppose 0*u = -v*u. Is w < u?
False
Suppose -2*l + 2*w = 6*w - 4, 5*w = -4*l + 8. Suppose -3*a - 5 = 5*p, -3*p = a + 1 + l. Is p at least as big as -2/95?
False
Suppose -2*z - 3*z = 4*j + 5, 3*z + 1 = -2*j. Let d = z - 0. Let l(r) = 10*r + 62. Let g be l(-6). Are g and d equal?
False
Let l be (-3)/45 + (-1 - -1). Let m = 251 - 250. Which is greater: l or m?
m
Let o = -14/73 - -6101/219. Let s = o + -28. Let g be 0*(3 + -2) - 0. Which is bigger: g or s?
g
Let g = 76 + -127. Let b = -50 - g. Which is smaller: b or -9?
-9
Suppose -109*r - 231 = 1295. Let f be (-4)/(-14) + (-114)/7. Which is bigger: r or f?
r
Suppose d = 4*w - 1414, -2*d = -3*d - 4*w - 1382. Is d less than -1398?
False
Let t be (-1)/6 - (-3 + 10/12). Suppose 3*c - 5 + 1 = -4*u, -t*u = -3*c - 2. Let w be (1/(-6))/(13/4). Is c != w?
True
Let b = -867 - -866.9. Is b greater than 187?
False
Let w be -1 + 1 - 2 - 49913/(-24985). Let n = 64453/7890 + w. Is 7 bigger than n?
False
Let b(p) = 13*p - 30. Let n be b(9). Let s = 76 - n. Is 3 smaller than s?
False
Let u be (-18)/12*(-3 + 5). Which is bigger: 140 or u?
140
Let p = 48 - 51. Let o = -13/5 - p. Suppose m + 1 = -0*m. Which is smaller: m or o?
m
Suppose 2*z = 13 - 3. Suppose 2 + z = -y. Let k = -10 - y. Which is smaller: k or 1?
k
Let q = 13 + -9. Let h be 24/(-15) - q*(-3)/(-30). Which is greater: h or 5?
5
Suppose 0*d + 3342 = -3*n + 4*d, 4*n + 4456 = -6*d. Which is greater: -0.1 or n?
-0.1
Suppose 792 = 2*o + 2*i, -4*o + 1592 = -2*i + 4*i. Does 2/5 = o?
False
Let j be (-1)/(-7) + 7260/140. Let d be (-24 + j)*(-2)/(-2). Is 28 < d?
False
Let u = 159/4 - 783/20. Is 0.028 smaller than u?
True
Let u = -194 + 109. Which is smaller: u or -83?
u
Let g = 2.5 + -0.5. Let f = -3 - -2. Let n 