23*i. Suppose 2*y - 10 = 3*a + 42, 2*a + i = 2*y. Which is greater: a or -10?
-10
Let j(r) = -8*r - 31. Let h be j(-7). Is h bigger than 29?
False
Let m(g) = -g**3 + 6*g**2 - 6*g + 4. Let w be m(5). Let d be (2/(-4) - -1) + (-287)/(-82). Suppose 5*p - 3*p = -d. Is p less than or equal to w?
True
Suppose 15 = 2*k - 57. Suppose -39*g - 6 = -k*g. Which is bigger: g or -4/3?
-4/3
Suppose 2*y - 2*m - 19 = -7*m, -50 = -4*y + 2*m. Suppose -4*o + y = -5*q - o, 2*o - 4 = 2*q. Is 2/3 greater than q?
True
Let h(u) = 12*u**2 - 37*u - 128. Let n be h(-4). Which is bigger: n or 209?
n
Let t = -7 + 0. Suppose -98 - 100 = 11*l. Let w be l*(-2 - 15/t). Is -2 greater than or equal to w?
True
Suppose 14*h = -14 - 0. Which is bigger: 4/99 or h?
4/99
Let s = 8 + -7.63. Let l = -0.07 + s. Do 0.01 and l have the same value?
False
Suppose -c = 2*c - 9. Suppose -c*s - 5*h = 35, -4*s - 2 = 2*h + 40. Let v be -4 - (46/s - 0). Are 5 and v equal?
False
Suppose 0 = -17*w - 5*w + 484. Let b(p) = -p**2 + 10*p + 1. Let a be b(7). Is a >= w?
True
Suppose 714 = 19*h - 5*h. Let w = h - 51. Is 1/20 at most w?
False
Suppose c - 10*d + 10 = -5*d, 3*c + 70 = -5*d. Is c >= 2/7?
False
Let h be 6 + -7*1085/1267. Is 1 not equal to h?
True
Let a = -455 + 456. Is a bigger than -1/905?
True
Let r = 321 - 2571/8. Suppose -25 = -5*u, 0 = -5*p - u + 3*u - 10. Let d be (-3 - p) + (-20)/(-6). Which is smaller: d or r?
r
Let q be ((-2)/(-4))/((-3)/(-24)). Suppose 55 = -q*s + 7. Let o = -11 - s. Which is bigger: 2 or o?
2
Suppose 6*r - 7*r + 5 = 0. Suppose r*q - 7*q - 4 = 0. Which is greater: q or -3?
q
Suppose 3*a + 5*w = 6*a + 26, 0 = -2*a - 4*w + 12. Suppose 0 = -2*u + 4*u. Suppose -4 = 4*n - u*n. Which is smaller: a or n?
a
Let g = -3/3605 + -6757/544355. Is g greater than or equal to 1?
False
Let v = -17 - -16. Let o be v - ((-14)/(-21) + (-13)/6). Is o != -18?
True
Let x = -217 - -330. Let s = -59 + x. Which is greater: s or 1?
s
Let j = -63 - -63.4. Let y = 1.6 + -1.5. Which is smaller: y or j?
y
Suppose 3*s - 42 + 24 = 0. Let p be (-14 + s - -2) + (0 - -1). Is p greater than -4?
False
Suppose -3*a - 9 = 2*i, -i + 13 = -2*a - 0. Let h be (-28)/(-13) + (-2)/13. Suppose i*b + 6 = f, h*f + 6 = -3*b + 6*f. Which is smaller: b or 5?
b
Let o(d) = -d**3 + 10*d**2 - 29*d + 32. Let j be o(6). Let m = -6 + 1. Let g = j - m. Which is smaller: g or 8?
g
Let f = -207 + 368. Let q = f - 163. Which is smaller: 0 or q?
q
Let y = 4/5 + -9/10. Suppose -3*b + 4*x = 11, b - 2 - 1 = 3*x. Let w(a) = a + 9. Let u be w(b). Is u equal to y?
False
Let q = -15/67 + -431/469. Are -1 and q equal?
False
Let r be -5*1 + (-270)/(-45). Which is smaller: r or -18/5?
-18/5
Let c = 37.2 + -35. Let z = c - -23.8. Let p = -26.3 + z. Which is bigger: -2/5 or p?
p
Let f = 11.48 - 155.48. Which is bigger: f or -5?
-5
Let z be -5 - (-11 - 18887/(-3146)). Is 1 greater than z?
True
Let h = -26.5 - -20. Let b = h + 5. Let p = -0.5 + b. Does -7 = p?
False
Let b be (-2)/(-7) + 92/(-126). Let k(v) = -v**3 + 8*v**2 - 4*v + 7. Let q be k(8). Let s = 24 + q. Which is smaller: s or b?
s
Let r(z) = 11*z + 10. Let b(k) = -32*k - 30. Let m(x) = -4*b(x) - 11*r(x). Let n be m(-4). Is -16 greater than n?
True
Let o be ((-11)/110)/((-9)/(-6)). Let k be 22/(-18) - (-4)/18. Is k != o?
True
Let j be (1 + 0)/(-1) + 0. Let h be 9/((-54)/24)*j/578. Is h greater than -1?
True
Let w = -470 - -469. Which is greater: w or -2/1005?
-2/1005
Let p = 115 - 115. Which is bigger: p or -1/22?
p
Suppose -w - q + 60 = 0, 5*w - 318 + 10 = -3*q. Is 65 less than w?
False
Let j = 2 + -2. Let i = -3266/3 + 1090. Is j greater than or equal to i?
False
Let r be (35/20)/((-4)/16). Which is greater: r or -18?
r
Let b be ((-24)/10 + 2)/(5/50). Let k be b/(-18)*(-3)/(-9). Let h be 9/12 + 14/(-8). Which is greater: k or h?
k
Let x = -0.1 - -4.1. Let m = 235.9 + -232. Let s = x - m. Which is bigger: s or -3?
s
Let i = 81 - 81. Suppose 4*q + 30 + 18 = -4*l, q + 4 = i. Which is bigger: l or 1?
1
Let i(o) = o**2 + 14*o - 4. Suppose -1 = -3*f + 11, 26 = -2*s + 3*f. Let x be i(s). Is x < -53?
False
Let b = -0.01 + 2.01. Let v be -34*18/(-12)*(-1)/3. Are v and b equal?
False
Let m be (4 + (-4 - 0))*7/(-28). Are -4/57 and m unequal?
True
Let a = 158 + -263. Let c = -104 - a. Let p = -0.24 - 9.76. Is p at least as big as c?
False
Let p(i) = i**2 - 27*i - 28. Let t be p(28). Suppose -k = -5*f, -5*k = -t*f - 5*f. Is f at least as big as 2/17?
False
Let m = 47 - 51. Let c(q) = q**2 + 5*q - 1. Let a(z) = -z**2 - 5*z + 2. Let t(s) = -4*a(s) - 5*c(s). Let n be t(m). Is n < -1/8?
False
Let l = -50.8 - -40.8. Are -38 and l equal?
False
Suppose 4*w - 5*r + 25 = 0, 5*w - 4 = 2*r - 14. Suppose w = -4*y - 3 - 5. Which is bigger: y or -18/11?
-18/11
Suppose -20 = 7*w - 27. Do -8 and w have different values?
True
Let l(i) = 3*i - 2. Let o be l(3). Let q be (9 - o)*(5 - 1). Let k = -9 + q. Is k not equal to 2/11?
True
Let a(o) = -63*o + 61. Let p be a(5). Are -250 and p equal?
False
Let b = 1/185 - 767/4995. Let m be (-4)/(-16) + (-142)/(-8). Suppose 14 - m = -4*q. Is b less than q?
True
Let i be (-4)/1 + (19 - 12). Let y be 1/(i - (-328)/(-108)). Let a = y + 43. Is 16 at least as big as a?
True
Let w be -4 + 2/(-32) + (-8911)/(-1520). Let d = 2 + 1. Are w and d nonequal?
True
Let x = -1.6 - -0.6. Let s = -2 - x. Is s less than -1.1?
False
Suppose 0 = -6*z + 2*z + 10*z. Let x = 0.7 + 4.3. Is z at least x?
False
Suppose 2*m + 2*f = m + 24, -2*m - f + 36 = 0. Let q be 12/16 - 684/m. Is -41 <= q?
False
Let y = 19.1 - 19. Let w = 17.3 + -18. Let d = w + -4.3. Is d != y?
True
Let f = -2/165 - -19/55. Do 228 and f have the same value?
False
Suppose 0 = -79*m + 7*m + 144. Is m >= 39?
False
Let r = 185 + -184. Let a = -4/35 - -81/1015. Is r greater than a?
True
Suppose 5*a - 20 = 0, -3*y + 18 = a + 50. Let m(x) = -x**2 - 9*x + 36. Let f be m(y). Does f = 0?
True
Let o(v) = -v**3 - 11*v**2 + 6. Let b be o(-11). Suppose -b*m + 11 = -121. Which is greater: m or 20?
m
Let t be 17/3 - 2/3. Let p be (-1 + t/2)*(-38)/(-1539). Does p = -1?
False
Let v = -0.9166 - 0.0834. Which is smaller: -182 or v?
-182
Let q be -2 - (-4)/(-2 - -4). Suppose -2*n - 18 = r - 3*r, q = n + r + 3. Which is bigger: n or 0?
0
Suppose -10*s + 12*s = -2. Let u be 4 + s/((-16)/(-12) + -1). Which is smaller: -2/77 or u?
-2/77
Suppose 0 = p - 0*o - 3*o + 10, 2*o = 4*p. Let r = -18 - -22. Suppose -5*g + 5*m + 30 = 0, 3*g + r*m = m. Is g <= p?
False
Let i = -1400 + 1400. Let n = -5 + -20. Is i at least as big as n?
True
Let o be (0 - 24)*1*(-9 - -11). Let s = o - -56. Is 7 greater than s?
False
Let l be 57/21 - (-10)/35. Suppose -2*p - l*i + 6 = 0, 5*i + 40 = p + 4*p. Is 6 greater than or equal to p?
True
Suppose -8*f - 6 + 22 = 0. Let j be (-2 + (-26)/(-15))*(-12 + f). Which is smaller: 2 or j?
2
Let n = -22 + 20. Let i(p) = 7*p**2 - 2*p - 2. Let t be i(n). Suppose 5*l + t = 3*u + 4, 4 = 2*u. Is -1/2 > l?
True
Let g = -21.973 - 0.027. Let k = 25 + g. Which is smaller: 2/13 or k?
2/13
Let p = -183078114850 + 5353021000901162/29239. Let y = 4/4177 - p. Let f = -28 - y. Which is smaller: 0 or f?
f
Let g be (5 - 25) + 3 + 1. Are g and 0 nonequal?
True
Let p = 0.0275 - -0.2725. Do p and -3/13 have the same value?
False
Let f = -18/665 + 528/166915. Which is bigger: -1 or f?
f
Let d = -426 - -347. Which is bigger: d or -394/5?
-394/5
Let l = -27 - 8. Let v be (-220)/l + 6/(-21). Let j = v + -5. Which is bigger: j or 6/5?
6/5
Let w(p) = -4*p + 136. Let q be w(0). Which is smaller: q or 135?
135
Let f = 11 + -14. Let v be -2*(f + 2) - 3. Let y be (1 + 2)*v/(-6). Is y >= 0.05?
True
Let d be 1/(0 + 1/1). Suppose 4*v - 1074 = 7*v. Let i = 6800/19 + v. Is i smaller than d?
True
Let l = 333/686 + 5/343. Is l at least -3.43?
True
Let r be 2/4 + (-4)/8. Suppose 10 = 2*f - 4*m, 5 = -2*f - r*m - m. Is -12/11 at least as big as f?
False
Let i = -48 - -47.8. Which is smaller: 0.01 or i?
i
Let v be (-2 - -1) + (-2 - -2). Let n(z) = -z + 9. Let g be n(7). Let p be 16/(-132)*-15 - g. Is p >= v?
True
Let s be -1 + 2 - (-4646262)/(-28378). Let r = 27/2027 + s. Let p = r - -163. Is -3/8 greater than or equal to p?
False
Let t be (-301)/(-14) + -9 - (-1 - -3). Which is smaller: 12 or t?
t
Let p(y) = -7*y**2 + 2*y. Let u be p(2). Let c be (-2)/(-9) + u/(-378). Let q(