?
-2
Suppose 0 = 3*a + 3*d - 33, 0 = 5*a - d - 0*d - 79. Which is greater: a or 14?
a
Suppose 2*z - 3*t - 2 - 4 = 0, -5*z = 5*t + 10. Suppose -2*w + 3*u + 7 - 66 = z, 0 = -4*w + 4*u - 108. Let s = w + 724/33. Which is bigger: s or -1?
s
Let p = 420 + -420. Which is bigger: 3/391 or p?
3/391
Suppose -14 = r + 3. Let m = r - -4. Is -12 at most m?
False
Suppose 0 = -4*j - l + 5, j - 2*j + 25 = 5*l. Let k = -13 - -12. Are k and j unequal?
True
Suppose 0 = -4*x + 3*q - 1469, -4*x + 2*q + 152 = 1618. Which is bigger: -2/9 or x?
-2/9
Suppose 17 = 4*n - g, -3*n - 24 = -6*n + 3*g. Suppose -2*z - 3 = n. Let d = 584/9 - 65. Which is bigger: z or d?
d
Let n = -1 - 71. Which is smaller: 0.1 or n?
n
Let i be -2*(-10 + 8) - 3/1. Let y = -11 - -18. Is i greater than y?
False
Let a be 3/2*(-4)/(-3). Let t = 6 - a. Let j(x) = -x**2 + x + 33. Let u be j(-5). Are u and t equal?
False
Let r be 5/(-2) + (-2 - (-36)/(-24)). Is r at least as big as -4?
False
Suppose -6 = -2*n - 2*i, 5*n = -0*n + 5*i + 5. Let d be (-28)/(n*20/(-8)). Which is smaller: d or 5?
5
Let z = -308 - -315. Is -0.2 less than z?
True
Let q(b) = -b**3 + 5*b**2 + 5. Let d be q(4). Let v be (-5 - (-75)/d)*-7. Which is bigger: v or 0?
v
Let n be (-40)/14*(-21)/168. Let p = 13 + -14. Is n greater than p?
True
Let k = 481 + -673. Which is greater: -191 or k?
-191
Let u be 32/(-6)*(-36)/(-8). Let r(a) = -98*a - 1175. Let y be r(-12). Which is bigger: y or u?
y
Let j be (2 + -3)/(5 - 2048/408). Is 249/5 greater than or equal to j?
False
Suppose -4*g + 69 = 5*i, 0*i = i - 5*g - 8. Let w(j) = -4*j + 52. Let l be w(i). Is l less than 2/17?
True
Let b = -9.449 - -9.5. Let k = b + 0.149. Which is bigger: k or -2/13?
k
Let f = -4.74 - 3.26. Which is smaller: f or 1/2?
f
Let w(t) = -9*t - 16. Let j be w(1). Is j less than or equal to -23?
True
Suppose -4*x + 2*m - 224 = x, -3*x + 5*m - 142 = 0. Is -40 >= x?
True
Suppose -f + 4*a + 12 = -a, -f - a = 6. Suppose 2*q + 4 = -2*c, -3 = -5*c + q + 11. Suppose t + 8 = 4*r - 5*r, c*t + 5*r = -25. Is f greater than t?
True
Let w = -10 + 5. Let j(v) = -v**3 - 10*v**2 + 10*v + 13. Let l be j(-11). Suppose -2*c = -4*y - l, -12 = y - 0*c - 2*c. Which is smaller: y or w?
w
Let c = 88/15 - -112/15. Let i = c + -13. Let d be -3*(-1)/(-6)*2. Is i at most as big as d?
False
Let g be 4/(-9) - (-563584)/(-2016). Is -281 at least as big as g?
False
Let k = -22 - -20. Let w = 17 - 19. Is k smaller than w?
False
Let d = 3.8 + -1.3. Let q be 13/39*(-9 - 1) - -3. Are q and d unequal?
True
Suppose 2*r - 36 = -2*r + 4*f, 4*f - 9 = -5*r. Suppose 0 = z - r*b - 11, 7 = 3*z - 3*b - 2. Is -2 less than z?
True
Let v = -14253 + 57973/4. Let k = -242 + v. Which is smaller: k or 2/3?
k
Let r = 1151 - 1175. Is r greater than 3/13?
False
Let z = -406 - -466. Is 5 > z?
False
Let b = 262 + -274. Is 8 equal to b?
False
Let s be ((-4)/6)/(13/3). Let w = 113 + -112. Which is bigger: s or w?
w
Let l(r) = -r**2 + 7*r + 6. Let s be l(7). Suppose -s*q + 69 = 3. Let k = 2 + 9. Is q less than or equal to k?
True
Let b = -0.072 - -2.172. Let j = 0.06 + 1.94. Let w = b - j. Which is smaller: w or -1/2?
-1/2
Suppose -3*g + 6 = -3*u, 0 = 3*g + 2*g + 2*u - 17. Let f = 54 - 48. Suppose -5*b + d + 8 = 0, b + b = -d + f. Which is bigger: b or g?
g
Let q = 576 + -822. Which is smaller: q or -243?
q
Let u be (-4)/34 + 2305/85. Suppose 0 = -2*y - u + 19. Let w = -9 - -5. Is w bigger than y?
False
Let t(v) = 3*v**3 + 3*v**2 - 9*v - 41. Let k be t(-4). Which is greater: k or -148?
-148
Let k(y) = y**2 - 12*y - 130. Let l be k(-7). Are 23/7 and l nonequal?
True
Let p(g) = -2*g**3 - 7*g**2 + 2*g - 28. Let y be p(-5). Which is bigger: 38 or y?
38
Let k = 390266/13 + -30044. Is k > -24?
True
Let l be (-7)/(-2)*(-40)/(-7). Let t be (l/15 + -1)/(3 + 1). Which is smaller: -1 or t?
-1
Let k = 764.38 + -764. Which is smaller: -0.1 or k?
-0.1
Let y(t) = -t + 5. Let b be y(3). Let m = -0.21 + -0.94. Let v = m - -0.15. Is v less than b?
True
Let i = 10354 - 414181/40. Which is smaller: 0 or i?
i
Let p be -2 + 80/2 + 4. Let l = p + -43. Which is greater: -54 or l?
l
Let r(m) = 2*m**2 + 20*m + 12. Let c be r(-9). Let u be (c/(-15))/(171/(-15)). Are u and 0 nonequal?
True
Suppose 0 = -14*w + 16*w - 2. Which is smaller: w or 1/231?
1/231
Let i = 909/5 + -183. Is i >= -2?
True
Let b = -1050 + -136. Which is smaller: b or -1187?
-1187
Let a be (270/693)/3*7. Which is bigger: 5/4 or a?
5/4
Let b(f) = -f + 40. Let k be b(6). Is k >= 106/3?
False
Suppose 3*f = -3*n - 67 - 38, -f + 4*n = 60. Is f smaller than -42?
False
Let y(j) = -13*j + 1266. Let t be y(50). Is 615 at most t?
True
Suppose -2*t + 39 - 33 = 0. Suppose 55*w - 52*w = t. Is w < 1/4?
False
Suppose 16 = 5*z - z. Let p be (-2)/z + (-10)/4. Is 1/5 less than or equal to p?
False
Let a = -29 + 25.2. Let v = -3.9 - a. Is 0.2 less than or equal to v?
False
Let c be 4/(120/(-18))*(-2 + -3). Which is bigger: 6 or c?
6
Let d be 0 - (-2 + 3)*-3. Let u = d - 4. Let y = -58/155 - -24/31. Is y at most as big as u?
False
Let x(q) = 9*q**3 - q**2 + 2*q - 1. Suppose n = -4*n + 5. Let j be x(n). Suppose -4*t + j*t - 5 = 0. Is -0.01 at most as big as t?
True
Suppose 5*c + 2*d - 38 = 0, -2*d = d + 3. Suppose -l - c + 5 = 4*r, 5*l = -5*r. Is r <= 5?
True
Let u(l) = l**2 - 25*l + 42. Let g be u(18). Is -85 at most g?
True
Let r be -5 + (-440)/(-12) - 1/(-3). Which is greater: r or 29?
r
Suppose 3*o + 16 = 7*o - 4*d, -5*o + 16 = -4*d. Suppose o = -22*k + 19*k. Is -11/8 > k?
False
Let c be (-222)/66 + ((-12)/(-3) - 0). Which is smaller: -0.1 or c?
-0.1
Let x = -877/4 - -225. Which is smaller: x or 5?
5
Let k = 17 - 13. Let b be (-1 - (-3 - -1)) + -1. Suppose b = -v - k*v. Is 1/11 at most as big as v?
False
Let v = -0.45 - 1.3. Let n = v + 0.05. Let q = -0.7 - n. Which is bigger: q or 1/5?
q
Suppose 237*g - 228*g - 198 = 0. Suppose 3*s - 2*s = 2, 3*s = 3*q - 60. Are q and g unequal?
False
Let g = 4 + 16. Suppose g = -4*l - l. Which is greater: l or -1?
-1
Suppose y + 13 = 17. Let t be y/(-3)*(-6 - -9). Suppose -3*r - 4 = 14. Which is bigger: t or r?
t
Suppose -9*k + 14*k = 290. Let p = k + -59. Let y = -1 + 4. Is p at most as big as y?
True
Let s = 53/140 + 1/20. Suppose 0 = 3*u + u - 4. Suppose 2*t = t - u. Which is bigger: t or s?
s
Let s = 4669150/161513 - -4/14683. Which is bigger: s or 29?
29
Let y = 13 - 14. Suppose 3*a + 22 = 2*a. Let p be ((-2)/a)/(1/(-3)). Which is smaller: p or y?
y
Let y(s) = -s**3 - 2*s**2 + 10. Let q(w) = -w**2 - w. Let k be q(-1). Let g be y(k). Is g >= 11?
False
Suppose -4*y + 2*p = 234 - 228, 5*y = -p + 10. Suppose 0 = 2*q - 2 - 0. Let x be ((-14)/(-4) - q)*2. Which is smaller: x or y?
y
Let k = -272656/39 + 21247/3. Let v = 91 - k. Is v at most 1?
True
Let h be (8 + 0)/((-170)/(-55)). Is 3 < h?
False
Let q = 2/5139 + -56581/133614. Which is bigger: q or -1?
q
Suppose 15*n + 4*s = 10*n - 46, -2*n - 15 = 5*s. Let i = -6 + -3. Which is bigger: i or n?
i
Suppose -d = -5*p + 3*d - 340, -p = -3*d + 79. Let g = 67 + p. Which is smaller: g or 5/3?
5/3
Let w(a) = -a**3 + 28*a + 43. Let q be w(6). Is q > -2/73?
False
Let m = -141 - -140.54. Let u = -0.554 - m. Which is smaller: u or 0?
u
Let r = 340 - 200. Suppose -5*g - 5*l = -r, -5*g - 2*l + 170 = 42. Which is greater: 23 or g?
g
Let z be ((-2)/(-6))/(9/27). Let s = 49 - 636/13. Is z at most s?
False
Let x be ((-6)/(-4))/((-6)/(-68)). Let s = x - 6. Is s less than 11?
False
Suppose -2*i + 649 = -13*i. Is -59 at least i?
True
Let b = -80 + 76. Let r be ((1/b)/(3/12))/1. Is -2/9 not equal to r?
True
Let u = -9 - -14. Let v = u - -8. Let q = 17 - v. Is -0.2 greater than or equal to q?
False
Let w = -50 - -47.8. Let y = w - -2.2. Let c(x) = x**2 + 7*x - 2. Let l be c(-8). Which is bigger: l or y?
l
Suppose 2 = -2*t + t, 0 = 5*h - 2*t + 241. Let x = 41 + h. Is 2/5 not equal to x?
True
Let t = -1295 + 827. Is -466 equal to t?
False
Let r = -14 - -15. Let a = -6.83 - 0.17. Let d = a - 0. Does r = d?
False
Suppose -4*q - 2*q - 108 = 0. Let h(w) = -2*w - 23. Let f be h(q). Which is smaller: 14 or f?
f
Let i = -0.33 - 9.67. Let u be (-52)/(-35) - 2/7. Let n = 29/20 - u. Is i less than or equal to n?
True
Let x = 73 - 153/2. Let o = x - -25/6. Which is bigger: -3 or o?
o
Suppose 0 = -5*y + 3*y - 40. Let o be ((-30)/y)/((-2)/(4/(-3))). 