er than a?
False
Suppose 13*o = o. Let l be (0 + -1 + o)/(300/(-16140)). Is 53 less than or equal to l?
True
Let n = 473 + -8037/17. Let y = n - 97/51. Is -2 at most y?
True
Let b(r) = 29 + 1318*r**2 - 12*r - 8*r - 1310*r**2. Let v be b(4). Is 77 equal to v?
True
Let g be 87*(60/9 + -3). Suppose 0 = 5*y - 3*m - g, 5*m + 263 = y + 3*y. Let l be y/(-20) - (-4 - (1 - 2)). Is l smaller than -1/6?
False
Let n(j) = -3*j**3 + 32*j**2 + 33*j - 62. Let p(k) = 10*k**3 - 96*k**2 - 98*k + 184. Let c(d) = 7*n(d) + 2*p(d). Let a be c(33). Which is smaller: a or -1?
-1
Let f = 629.592 - 5.592. Is 0.02 greater than f?
False
Let h = 16590 + -16195. Is 405 greater than or equal to h?
True
Suppose 0 = -5*n - 10, 124*n = 5*q + 128*n + 10418. Which is bigger: -2085 or q?
q
Let j = -0.7052 + -1.2948. Is j bigger than 111/32?
False
Let g be ((-298600)/15712)/25 - (-6)/8. Are g and 1 unequal?
True
Let j = -6074 + 6066. Which is greater: j or 68?
68
Let l = 33 - 37. Suppose -5*x - 4*j = -4, -x + 6*j + 12 = 4*j. Suppose 3*r - 5 = -x*p, -r + p - 4 = r. Which is greater: l or r?
r
Let d = 445 + -156. Suppose 4*c - d = -m, 0 = 4*m + c - 231 - 910. Is m smaller than 285?
False
Let j = 11.89 + -14. Let w = j + -1.89. Let y be (-4)/14*(-1 + 3). Is w less than y?
True
Let m = 129.89 + -129.9. Which is greater: m or -2.76?
m
Let b be (1/(-31))/(851/(-391)). Which is bigger: 1 or b?
1
Let w = 71 + -154. Let u = w - -29. Let r = u - -59. Is r < -1?
False
Suppose 0 = 137*n - 136*n - 4*y - 5561, -3*n + 16731 = 4*y. Which is greater: n or 5574?
5574
Let b be (8/(-30)*6 - -1)*17. Let s = b - -517/60. Are s and -1 non-equal?
True
Let x = 550566 - 550280.061. Let r = 286 - x. Is r at least -0.4?
True
Let w(v) = v**2 + 2*v - 23. Let d be w(-5). Let k(t) = t**3 + 9*t**2 + 8*t + 5. Let q be k(d). Suppose b - 6*b = q. Is b < -2/7?
True
Let k = -9 + 11. Suppose -14 = v - h, k*v = -v + h - 44. Let f be -1 + (-5)/(v/(-24)). Which is smaller: f or 1?
f
Let u be (-8)/(-3) + 126464/(-3306). Is u less than or equal to -37?
False
Let z be 1 + -3 + (-135)/220*-2. Let m = z - -3/11. Let q be 0/(6/3 - 0). Which is greater: m or q?
q
Let x = -210517677/303832 + 10/37979. Which is bigger: -692 or x?
-692
Let h = -29/7451 + 351447/86468855. Which is smaller: h or 1?
h
Let a be ((-2)/1)/((-10)/2). Let i = -952.72 + 952.42. Is i bigger than a?
False
Let o be (179 + -172)*4/56*-1382. Is -703 at most o?
True
Suppose 5*k - 102 = b, 0 = -4*b - 5*k + 34 - 267. Which is greater: b or 17?
17
Suppose 3*z + 29*z - 18127 = -20303. Which is smaller: -123 or z?
-123
Suppose -4*y = -f - 14, 5*f = -3*y - 61 + 83. Is y at least -372?
True
Let z = -1566 - -1550. Let j = -45 - -21. Let m be ((-2)/3)/((-1)/j). Is z > m?
False
Suppose 3*v = 2*v + 3*x - 4, v + 2*x = 21. Let u(i) = -i**3 + 12*i**2. Let g be u(v). Is 122 greater than or equal to g?
True
Let z = 983.7 - 949.065. Let p = -0.365 - z. Do -5 and p have different values?
True
Let u = 27 + -3. Suppose 0*m = 3*m - u. Suppose 28 = 3*l - 5*c, m*l - 14 = 4*l + 2*c. Is -2/257 <= l?
True
Let v be ((-20)/(-6))/(52/(-299)). Let k be ((-2)/18)/(8/1434). Let p = v - k. Which is greater: p or 3?
3
Suppose 4*z = 3*z + 8, -2*j = -2*z + 10. Which is smaller: 152/49 or j?
j
Let d be (-71)/((-5 - 7) + 11). Which is greater: d or 89?
89
Let v be (-4 - -1)/(-1) + -104 + 100. Is v >= -6/3769?
False
Let w(m) = 2*m**3 - 17*m**2 - 80. Let n be w(9). Are n and -11587 equal?
False
Let j = -168 + 176. Let l(v) = v**3 - 5*v**2 - 22*v + 26. Let i be l(j). Is i bigger than 42?
False
Suppose v + 12 = -0*v. Let n = v + 22. Let z be 5*(124/n + 6/15). Which is greater: z or 63?
z
Let t = 1 + 11. Suppose 0*z + t = -6*z. Let h = -14 + 10. Is h smaller than z?
True
Let f(k) = -k**3 + 11*k**2 - 13*k + 35. Let o be f(10). Let s be 206/(-102) + o/20*8. Is -1/2 > s?
False
Let d be (-1206)/2211 - (-1149)/(-11). Is -112 not equal to d?
True
Let f be 4/(-2) + 2 + 90. Let l(a) = -2*a**3 + 2*a**2 + 1259*a + 4965. Let n be l(-4). Is n equal to f?
False
Let q be -1*(2 - 0 - 1). Let b(i) = 5*i**2 - 3*i**2 - 3*i**2 - 41 + 24*i - 82. Let x be b(7). Is q smaller than x?
False
Let n = -35.8554 + 0.8554. Which is smaller: n or 2/83?
n
Suppose -2 = 15*k - 13*k. Let a be (-3)/1 - (-633)/3135. Let n = 2/1045 - a. Is n < k?
False
Let x = 18.87 + 10.1. Let u = -3 - -32. Let q = u - x. Is q equal to -4/5?
False
Suppose -z + 1 = -0*z. Let c be (-6)/4 + 1 - 8775/(-65). Let l = c - 13721/102. Which is bigger: l or z?
z
Let j = 7 - -125. Let v be j/(-9)*-4*9/12. Is 44 > v?
False
Let g = 196 + -560. Let q = 372 + g. Let l = 0.07 - 0.14. Which is smaller: q or l?
l
Let s(m) = m**3 - 19*m**2 - 8*m - 66. Let n be s(20). Suppose -y - 234 = -n. Is -62 at least as big as y?
False
Let h(g) = 4*g**2 + 39*g - 55. Let b be h(-24). Which is smaller: b or -0.3?
-0.3
Let m(p) = -2*p**2 + 18*p + 12. Let i be m(10). Let n be (2/i)/((-16)/(-128)). Which is smaller: n or -16/5?
-16/5
Let x(w) = -4*w - 48. Let r be x(-21). Let y(o) = 9 + 4 + 1 - 29*o + r*o. Let i be y(0). Which is smaller: i or 15?
i
Let z = 6/427 - -668/13237. Which is smaller: z or -1/159?
-1/159
Suppose -78 = d - 12. Let w be 4 - (-13)/(-3) - 106/d. Which is bigger: 2 or w?
2
Let s be -2 - (176/(-89))/1. Let a = 55 - 59. Let f be a*(1 + 21/(-12)) - 4. Which is greater: f or s?
s
Let b = -125 + 199. Let p = -95 + b. Let r be -1*((-188)/14 + (-9)/p). Is 2 smaller than r?
True
Suppose 4038 = -3*c + 5*y - 10342, -2*c + 2*y - 9588 = 0. Is -4797 at most as big as c?
True
Suppose -467*x + 353*x = 75582. Is -663 at least as big as x?
True
Suppose -4*c = 18 - 6. Let l = -13226309613/3380 + 15652423/4. Let i = l - -1/338. Which is bigger: c or i?
c
Let a = -573808 - -4583649/8. Which is greater: -851 or a?
-851
Let h = 1.79 + 239.21. Let l = -240 + h. Which is greater: -162 or l?
l
Let z = 396 + 3. Let u = z + -397.7. Suppose -3 = v + 2*v. Are u and v unequal?
True
Let q(g) be the third derivative of g**5/20 - 2*g**4/3 + g**3 - 320*g**2. Let c(x) = 4*x**2 + x. Let d be c(1). Let z be q(d). Which is smaller: z or 5/8?
5/8
Let o = -1754481/535 + 16397/5. Let c = 3 + -4. Are o and c equal?
False
Let i = 57 + -32. Let k(a) = 534*a + 3778. Let r be k(-7). Is i at most as big as r?
True
Suppose 9*n = 2486 - 47. Let f = -3259/12 + n. Which is greater: f or 0?
0
Let n be 7*(-130)/15240 + (-2)/(-24). Are 1 and n nonequal?
True
Suppose -b + 4*c = -39, 24 - 51 = -5*b - c. Which is bigger: -429 or b?
b
Suppose -10*b - 406 = -12*b + 3*g, -2*g - 202 = -b. Suppose 0 = -5*l - 5*i - 350, 3*l = -5*i + 6*i - b. Are -69 and l nonequal?
False
Let z = -2 - -2. Let g be (-10794)/(-1956) - 8/(-48)*-33. Which is smaller: g or z?
z
Let y = 255 - -41. Let x = 3254/11 - y. Is x at most 10.8?
True
Let d(a) be the first derivative of a**3/3 + 9*a**2/2 - 20*a - 15. Let p be d(-12). Let f be 4/p*4 - 34/10. Which is smaller: f or -2?
f
Let h = -109644 + 848315627/7737. Let m = -580283/61896 - h. Let z(p) = -p - 15. Let j be z(-5). Which is greater: j or m?
m
Let i be 472/(-130)*(-30)/(-1836) + 316/1422. Which is smaller: i or 0?
0
Let v(j) = -j**2 + 24*j - 5 + 2*j**2 - 8 + 0. Let z be v(-23). Let a be 44/360 + 8/z. Is 1 at least as big as a?
True
Let m be 1 - (-6 - -1)/(0 - (-209)/22). Which is greater: m or 3?
3
Let g = 2191 + -2239. Let i(u) = u**3 - 3*u**2 - u + 2. Let w be i(-3). Which is greater: w or g?
g
Let m = -0.8596 - -0.855. Let v = 106.0046 + m. Is 0 at least v?
False
Let l = 95.96 - 123. Let a = 27 + l. Let n = 13 - 15. Which is greater: n or a?
a
Suppose -h = 4*t + 123, 0 = 2*t - 5*t - h - 93. Let u = -20 - t. Suppose u + 30 = -5*j. Which is greater: j or -7?
-7
Suppose 5*s - 835*x + 839*x = -340, -3*s - 2*x - 204 = 0. Is -69 <= s?
True
Suppose 3*x = -24, -2*k + 1336 = 25*x - 23*x. Which is greater: 675 or k?
k
Suppose 15 = 6*l - l. Let h = 325 + -270. Let j = 33 - h. Which is greater: l or j?
l
Suppose 0 = -3*a - 8 + 11. Let k = 205/442 - 9/26. Is a greater than or equal to k?
True
Let u = -53 - -77. Let i(f) = -2*f - 3. Let t(n) = n + 2. Let x(m) = 4*i(m) + 3*t(m). Let k be x(-6). Is k < u?
False
Let a be 62 + -76 - (-6 + 19603). Are a and -19610 non-equal?
True
Let h = -2421 - -2425. Which is smaller: 93/17 or h?
h
Let h(l) = 112*l**3 + 10*l**2 + 91*l + 16. Let n be h(-5). Is -14189 bigger than 