. Which is greater: a or -2?
a
Suppose 0 = -2*a - 2*a - r - 7, -4*r + 32 = -4*a. Let j(v) = -v**3 - 3*v**2 + 2*v + 6. Let l be j(a). Suppose l = -3*p + 9*p - 6. Which is smaller: 2/15 or p?
2/15
Let t = 603 + -534. Is t less than or equal to 0?
False
Let b be 0 + ((-12045)/3408 - 0). Let w = b - -57/16. Let j = 136/213 + w. Is -0.4 < j?
True
Suppose -53*g + 58*g = -110. Let s be 5 + -2 + 4/(8/g). Is s smaller than 0?
True
Let i = -429 - -337. Is -91 at most i?
False
Let s = 4 + -74. Let g = -67 - s. Which is greater: -12 or g?
g
Let n = -11 - -15. Let k = 141 + -231. Let r = k - -91. Which is greater: n or r?
n
Let m = 8.6 + 1.4. Let t = 218 - 212. Let n = t - m. Are -1 and n non-equal?
True
Suppose 28*x = 30*x + 134. Are -63 and x equal?
False
Let q(x) = 3*x - 9. Let o be q(3). Suppose 4*s + 19 = 5*l, 5*s + 26 = 4*l - o*l. Suppose -3*w + 4*g = 6, w - 6*w = 2*g + 36. Are s and w equal?
True
Let j be 1*(-20)/5*5/20. Let m = -755 - -9806/13. Are m and j non-equal?
True
Let z(l) = l**3 - 8*l**2 + 2*l - 5. Suppose 0 = -r - 5 + 1, 5*m + 4*r - 24 = 0. Let a be z(m). Let g = a + -3. Do g and 7 have the same value?
False
Suppose 2*f = -4*s - 0 + 108, -191 = -4*f - 3*s. Are f and 40 non-equal?
True
Suppose -4*k - 44416 = -r, -2*r - 22198 = 5*k - 3*k. Let v = k + 5162897/465. Is 0 less than or equal to v?
True
Let c = -240 + 280. Is 37 smaller than c?
True
Let t(g) = 23*g - 300. Let a be t(13). Which is bigger: 3/104 or a?
3/104
Suppose -20 + 81 = -4*n - 3*m, -5*n - 2*m - 85 = 0. Let j be (-8 + (2 - -2))/(n - 2). Are 1 and j nonequal?
True
Let b(g) = -2*g**2 - 5*g - 4. Let u be b(-3). Let z be (4 - 6)/(u/1). Which is greater: z or -2?
z
Suppose 15 = x + 4*x. Suppose 2*u + 4*w + 29 = -w, -3*u - x*w = 21. Let f be -2 - ((2 - 2) + u). Which is smaller: 1/5 or f?
f
Let d = 312/5 + 51/10. Let g = 65 - d. Which is smaller: g or -4?
-4
Suppose -3*l + 15 = 4*q - 4*l, 2*q = 4*l - 10. Suppose -2*c = -5*w - 15, 3*w - q = -c - 3. Which is greater: 0.1 or w?
0.1
Let g = 0.138 + -0.078. Which is smaller: g or 2/5?
g
Let l(n) = n**3 + 6*n**2 + n + 7. Let z be l(-6). Suppose -7*t - 106 = 118. Let v be 1 + (t/28)/2. Is z bigger than v?
True
Let q = -0.002 - 0.738. Let m = 0.06 - q. Let s(v) = -v**2 + 11*v + 2. Let j be s(11). Which is smaller: j or m?
m
Let j(r) = r**2 + 5*r - 15. Let g be j(4). Let b be (-77)/(-22)*108/g. Which is smaller: 19 or b?
b
Let p(o) = 4*o**2 - 3*o - 7. Let a(c) = -11*c**2 + 8*c + 20. Let q(f) = -3*a(f) - 8*p(f). Let j be q(-3). Let m = 8 + -10. Is j smaller than m?
False
Let l(y) = y**3 + 5*y**2 + 2*y - 5. Let m be l(-4). Let r(g) = 5*g**3 - 1 + 0 + m*g**2 - 4*g**2 + 2. Let i be r(-1). Which is smaller: i or -23/5?
i
Let b = -8/493 - 15704/4437. Suppose 0 = 2*h - 9*i + 12*i + 15, h = 3*i + 6. Do h and b have the same value?
False
Let k(l) = 4*l**3 - 53*l**2 + 7*l + 23*l**2 - 3*l**3 + 21*l**2 + 8. Let y be k(8). Suppose 2*d + 2 = t - y, d = 5*t - 10. Which is bigger: 3/5 or d?
3/5
Let n = 3008 - 3296. Which is bigger: 0 or n?
0
Let l be (-170)/42 - (-30)/50. Let m = l - -26/15. Let j = 0.4 + 0.6. Is j greater than or equal to m?
True
Let w = 1693 + -1692.2. Which is smaller: 1.07 or w?
w
Suppose -3*n = -4*y + 2*n - 4, -4*n = -2*y - 8. Let c(i) = 0*i**2 + i**2 - 6*i + 6 + 4. Let d be c(y). Is 3 bigger than d?
True
Let s be ((-8)/(-20))/(4/(-260)). Which is bigger: -21 or s?
-21
Suppose -88 = -3*g - 4*x, g + 9*x - 22 = 4*x. Are 35 and g nonequal?
True
Suppose 3*m + 5*i = 242 - 1038, -3*m + 3*i = 804. Let j = m + 1075/4. Which is smaller: 2 or j?
j
Suppose 4*v - o = 96 - 1627, 0 = o + 5. Is -383 not equal to v?
True
Suppose 10*r - 72 = 4*r. Let m be 1/r*(-27)/18. Let z(i) = -i**3 - i**2 - i - 1. Let q be z(-1). Is m greater than or equal to q?
False
Let b(c) = 2*c**2 + 44*c + 180. Let n be b(-17). Which is smaller: 14 or n?
n
Suppose r + y = 15, -r - 3*y = 17 - 26. Which is smaller: r or 39?
r
Suppose 52*a + 70575 = 24763. Which is bigger: a or -880?
-880
Let h = -32 + 8. Let r be (h + 6)*1/(-1). Is 21 greater than r?
True
Let w = 476 - 897. Is -421 equal to w?
True
Let l = 8206/19 + -432. Which is smaller: 5 or l?
l
Suppose -q + 3*n = -318, -n - 2*n = -3*q + 972. Which is smaller: 326 or q?
326
Let r = -107 + 129. Which is smaller: r or 17?
17
Suppose 2*x - 19 = -0*x + 3*i, -5 = i. Let a = x + -2. Suppose a*s - 6 = -3*s - 3*v, s + 4*v - 17 = 0. Which is bigger: 1 or s?
1
Let j(f) = -f**3 + 11*f**2 + 6*f + 5. Suppose l = -3*l + 44. Let h be j(l). Suppose -5*q - 4*w + h = 0, 5*q + 0*q - 2*w = 47. Is 11 >= q?
True
Let o = -193 - -144. Is o greater than -52?
True
Let k = 83.66 + -84. Which is smaller: k or -1.8?
-1.8
Let l be 7 + (-1 - (-11767)/(-1960)). Is -1 <= l?
True
Let f = -22866/11275 + 83/41. Which is greater: 0 or f?
0
Let h = -974 - -1069. Is h less than 96?
True
Let b = 1 + 2. Let n = 116 + -180. Let f = n + 71. Which is smaller: b or f?
b
Let j = 35 + -34. Let o = -19 + 135/7. Which is smaller: j or o?
o
Let k = -17 - -21. Suppose -27*i = -26*i - k. Are 8/3 and i nonequal?
True
Let g = -63/8 - -457/56. Which is smaller: g or 1?
g
Let d = 45.2 - 45.2. Which is smaller: d or -233?
-233
Let i(m) = m**3 - 9*m**2 - 24*m + 23. Let c be i(11). Let n(z) be the second derivative of z**3/2 - z**2 + z. Let u be n(c). Are u and 3 equal?
False
Let s = 32859542740/247 - 133036087. Let d = s - -1501. Is d bigger than -1?
True
Let z = 17 + -7. Let m = -47/5 + 193/20. Is z at most as big as m?
False
Let o(q) = q**2 + 25*q - 1177. Let p be o(-49). Let a = -17/460 + -1/20. Which is smaller: p or a?
p
Let w(n) = -5*n**2 - 4*n - 1. Let y be w(-4). Are y and -65 unequal?
False
Let g be (-2)/(-3)*(2 - -16). Let a be g/30 - (-2)/(-5). Is 2/35 smaller than a?
False
Let w = 175 + -164. Is w less than 192/19?
False
Let r = -7 - -10. Suppose 0 = 4*c + v - 2, 3*c + c = -r*v + 6. Suppose -5*m = -c*m + 40. Is -8 >= m?
True
Let x = -445 - -435. Which is greater: x or -95/11?
-95/11
Let g(s) = s**3 - 2*s**2 + 3*s - 10. Let k be g(0). Is k not equal to -2/13?
True
Let u = 408.8 + -490. Let d = 81 + u. Is d > 23?
False
Let d = 15/2 + -111/14. Is -1 less than or equal to d?
True
Let y be -1 + 2 + 1 + 2. Suppose -h + y*h + 8 = 2*s, s = -4*h + 4. Let r = 3 - s. Is r < 2/37?
True
Let w = 70.86 - 60. Let l = w - -0.14. Let a = 30 - l. Which is smaller: a or -1?
-1
Let l = 3 - -9. Let f = 229 + -228. Let s be (-51)/(-2) + -9 - 4/f. Is s less than or equal to l?
False
Let a(s) = -7*s**2 + 23*s + 3. Let t(c) = 3*c**2 - 11*c - 2. Let q(x) = -4*a(x) - 9*t(x). Let v be q(-4). Is -5 < v?
False
Let f = 18.96 + 4.02. Let r = 23 - f. Which is greater: 0.2 or r?
0.2
Let j be 4 + -2 + -2 + 5. Let u be (14/(-35))/(12/10). Which is smaller: j or u?
u
Suppose 4*v = -5*g - 17, v - 29*g - 22 = -25*g. Let b = 290/483 - 16/23. Which is greater: b or v?
v
Suppose -5*w = 5*w + 230. Let m be 6/(-21) - 0 - 1494/63. Are m and w equal?
False
Let x = 0.94 + -43.94. Let v = x + 30. Let a = 12.7 + v. Do -4 and a have the same value?
False
Let w = -16 - -71. Let n = 22 - w. Is n greater than -34?
True
Suppose 13 = -4*l + g, 0*l - 4*l - 5*g + 17 = 0. Let j be (-2 + 4729)*l/22. Let q = j - -430. Which is greater: q or -1?
q
Let x be (-2)/((-5)/(25/2)). Suppose x*w = -i + 8, 2*i - 1 = w - 7. Let a = -3.38 + 3.28. Is i > a?
False
Let b = 112.062 + -0.062. Let t = 111 - b. Is 44 greater than t?
True
Let h(y) = -4*y + 2*y - 6*y + 8*y**2 - y**3 - 5. Let q be h(7). Let a = q + 29. Is a <= 16?
False
Let x = 0.092 - 0.1277. Which is smaller: -1 or x?
-1
Suppose 4 = -k + 2*k. Suppose 2*i = j + 9, -5*i + 0 = -4*j - 24. Suppose -k = i*f + 4. Which is smaller: -4/7 or f?
f
Let i be 173/(-3)*8/(-12)*9. Is 347 less than i?
False
Suppose -4*i = -5*o + 11 + 30, 0 = -3*i + 5*o - 32. Let u be (-1)/(-3)*i/13. Is u smaller than 1?
True
Let o = -7.7 - -78.7. Let n = o - 70.5. Let u = 0.1 - 0.1. Is n greater than or equal to u?
True
Let r = 1045/3 - 4177/12. Which is smaller: r or 5/32?
5/32
Let p = -240 - -94. Let f be (-81)/(-15) - 5 - p/10. Suppose 9 = 3*y, 2*m + m = -2*y + 57. Which is smaller: m or f?
f
Let w(a) = a**2 + 5*a + 3. Let b be w(-4). Let z be (b - -2)*(1 - -2). Suppose -z*o + 21 + 15 = 0. Is o bigger than 12?
False
Let t(a) = -a**3 - a**2 - a + 2. Let v be t(-2). Suppose v*d - 98 = 14. Which is bigger: d or