?
k
Let s = -49 - -36. Let c be (-5 - -9 - (-33)/(-6))*s. Is c at least 19?
True
Let h = -35.98 + 36. Let u = 0 + -0.06. Let k = u + h. Which is smaller: -0.3 or k?
-0.3
Let t be (-13 - 2)/((-3)/(-2)). Suppose 51*h = 52*h + 3. Which is greater: h or t?
h
Let o be -2 + 18/(-8)*540/(-81). Is 5 at most o?
True
Let o(x) be the third derivative of -x**5/12 - 19*x**3/6 + 2*x**2. Let i be o(-12). Let q = i - -21433/29. Is 1 greater than q?
True
Let f be 66/42*(-14)/(-24). Let i = f - 2/3. Let q = -5.09 + 0.09. Is q at least as big as i?
False
Suppose q = -4, -q = u - 4 + 11. Let f be -4 - (-3)/(6/8). Suppose w + f*w = 0. Which is smaller: u or w?
u
Suppose -q + 3*v = 7*v + 1, 3*v = -3*q + 24. Let y be 3 + q/33*(-6 + 0). Which is greater: y or 6/31?
y
Let v(p) = -5*p + 40. Let q be v(7). Suppose -2*s - q + 31 = 0. Is 13 >= s?
True
Let i be 2/2*(-1 + 12). Suppose 0 = 4*g + 3*a - 47, -2*g + 4*g - a = 11. Suppose -i = -y - g. Are y and 3 nonequal?
False
Let u be ((-638)/(-5))/((-14)/70). Which is bigger: u or -639?
u
Let v = 25 - 26.2. Let z = -4.2 - v. Let m(d) = d**2 - 3*d - 5. Let t be m(4). Which is greater: t or z?
t
Let b = -20 - -24. Suppose j = -0*j + i + b, -j = -2*i - 9. Is 2/13 smaller than j?
False
Let y = -21/10 - -34/15. Let v = 206 - 1852/9. Which is bigger: v or y?
v
Let z(a) = a**2 + 17*a - 29. Suppose -4*q = -p - 21, -80 = 5*p - 2*q + 7*q. Let l be z(p). Is -1 less than l?
False
Let f be (-9)/45 + (-3)/(-25). Suppose 2*u + 3*o = 2*o - 23, -4*o = 5*u + 65. Let c = 9 + u. Is f bigger than c?
False
Let c be (2 - 11/5)*(-14)/574. Which is smaller: -1 or c?
-1
Let u = -42/11 - -232/55. Which is greater: 363 or u?
363
Let i = -266 - -465. Which is smaller: i or 200?
i
Let u be 1 + -1 + 2/11. Let j = 505 - 496. Is j bigger than u?
True
Suppose -17*h - 220 = -6*h. Do h and -20 have the same value?
True
Let a(f) = -2*f**2 - 145*f - 963. Let g be a(-7). Is g less than 2/3?
True
Let a be 10/(-12) - (-105)/126. Which is greater: a or -0.027?
a
Let i = -253 - -254. Let t = -209 - -321. Let r be (2 - t/57)*1. Is i at most as big as r?
False
Let u be (-2303)/(-470)*(-24)/(-14). Which is smaller: u or 8?
8
Let j(p) = -p**3 - 5*p**2 - 5*p - 3. Let m be j(-4). Let d = -192/89 - -72206/33553. Are m and d non-equal?
True
Let i(w) = -w**3 - 4*w**2 - 5*w - 7. Let t be i(-5). Which is greater: t or 133/3?
133/3
Let l be ((-10)/8)/(35/(-42))*-2. Which is bigger: -34/9 or l?
l
Let x(b) = b**3 + 12*b**2 - 25*b - 149. Let j be x(-13). Let q = 2/567 + 6233/1134. Which is greater: q or j?
j
Suppose 0 = 25*l - 26*l - 31. Let h = -57 - -25. Is l equal to h?
False
Suppose 3*f - 3*z + 18 = 0, 386*f - 385*f - 4*z + 21 = 0. Which is bigger: -1/1402 or f?
-1/1402
Let p = -36.92 - -37. Which is smaller: -7 or p?
-7
Suppose 24*l - 23*l + 5*s = -27, -l = -3*s - 5. Let n(k) be the third derivative of k**5/60 + k**4/4 + 4*k**3/3 - 2*k**2. Let b be n(l). Is 16 less than b?
False
Suppose 0 = -z + 5*m - 8 + 34, -2*z = -2*m - 12. Let c be (5 - (-2 - -8))/(z*83). Which is smaller: c or 1?
c
Let l be (25/20)/(-3*(-9)/(-4)). Are -1 and l nonequal?
True
Let b be 4 + 4/2 + -4. Let l be -1 + 7 - (b - 3). Let i be (-22)/(-10) - (l - 4). Which is smaller: -2 or i?
-2
Let h = 2 + 25. Suppose q = 2*s + 3*q + 14, -4*s - 3*q = h. Let j = -5 - s. Are j and 2/9 nonequal?
True
Let d(z) = -z**2 + 9*z + 4. Suppose -6*b + 5*b = -8. Let g be d(b). Let i be (-4)/(-8) - 2/g. Is 1/2 bigger than i?
True
Suppose 3*f = b + 31, 3 = -5*b - 17. Is f less than 11?
True
Let p = -0.31 + 0.51. Let u = -4.7 + 4.68. Is u > p?
False
Let b = 45.64 - 46. Let n = b + 2.36. Is 1.9 greater than or equal to n?
False
Suppose 0 = -5*v - 4*n - 50, v + 2*n = -0*v - 10. Let w = v - -7. Let f be ((-4)/2)/((-11)/w). Is -2 <= f?
True
Let y = -837428/115 - -7282. Suppose -3*m + m = 0. Is m <= y?
True
Let l(w) = -w**3 + 11*w**2 + 18*w - 4. Let d be l(12). Let z = d + -269/4. Is z smaller than 2?
True
Let c = 95 + -24. Let k = -1.1 - -1. Is c greater than k?
True
Suppose -4*z + 9 - 61 = -4*d, d - 3*z - 9 = 0. Suppose -5*m = -5*o - d, -5*o + 17 = m - 4. Suppose 7*p - m*p = -9. Is -9 less than or equal to p?
True
Let x(a) = 28*a**3 - 2*a**2 + a - 1. Let l be x(3). Let j be 1/(-4) + 225/l. Is 1 less than or equal to j?
False
Let p = -51.4 - 15.6. Let x = -34 - p. Let o = x - 22. Which is smaller: 1 or o?
1
Suppose -8 = -3*q + 3*w - w, -2*q - w - 4 = 0. Suppose 0 = 5*v - 3*g + g - 103, q = 2*g + 8. Let j = v + -20. Which is bigger: j or -3?
j
Let m = 140123/113 - 1240. Is m less than 1?
True
Let t = 22.596 + -0.096. Let x = t - 11.5. Is 1/4 <= x?
True
Let n = -52 - -37. Let j = -23 - n. Which is smaller: j or 1/3?
j
Let o be 2 - ((-14)/6)/(-1). Let t(j) = -17*j**3 - j - 1. Let h be t(-1). Let m = -18 + h. Is o at most as big as m?
False
Let z be ((-9)/((-351)/13))/((-2)/(-3)). Which is smaller: 1/6 or z?
1/6
Let b be ((-1 + 1)/(-3))/1. Suppose -37*f + 150*f = 0. Are b and f nonequal?
False
Let u = 15 + -14. Let h = 1 - u. Suppose 2*w + h = -6. Which is greater: -2 or w?
-2
Let y be 3*2/6 + -16. Let u = 0.1647 + -0.6647. Which is bigger: u or y?
u
Suppose 0 = -5*d - 4 + 9. Let w(v) = -v**3 + 7*v**2 - v + 3. Let b be w(7). Let z be 4/(-32)*-10 - 2/b. Is d equal to z?
False
Let x(j) = 6*j. Suppose -5*m = -z + 4*z - 16, -5 = -5*z - 4*m. Let s be x(z). Let t = s + 22. Is 3 at most as big as t?
True
Suppose -4*y = -4*f + 6*f - 92, -3*y - 5*f = -83. Let p = 11 - 23. Let b = p + y. Which is smaller: 8 or b?
8
Let n = 137 - 57. Suppose 0 = -3*q - q + n. Let k(c) = 8*c - 4. Let a be k(3). Do q and a have the same value?
True
Let s(o) = -10*o + 8. Let n be s(2). Let u be (-26)/(-4) - (10 + n). Is 9 < u?
False
Let q = -70063/9 - -7905. Let r = -120 + q. Is -1 less than r?
True
Let f = -6.1 + 24.1. Let n = 0.03 + -0.03. Which is bigger: f or n?
f
Let b be ((-4)/(-18) - 75/(-27)) + -4. Let y = 21409/78 + -824/3. Which is smaller: y or b?
b
Let b be (-3)/(-5) - 51/(-15). Suppose -b*k + 16 = 0, 0*z + 2*z - 3*k - 18 = 0. Let u be (-1 - -5)*z/(-36). Which is bigger: -1 or u?
-1
Let q be (-7 + 3)*(-4)/2. Suppose q*f + 2 = 7*f. Let x be 6 + -2 + f/2. Is 0 <= x?
True
Let w(h) = h**3 + 4*h**2 + 5*h + 3. Let q be w(-3). Let s be q/7*10/(-105). Which is smaller: s or 1?
s
Let i = 12957 - 2293375/177. Which is smaller: i or 0?
0
Let t be (0/1 + 0)/2. Let i be t - 9*(-1)/(-3). Suppose 0*q - 3 = q. Is q at least as big as i?
True
Let n be 2 + (1/(-6))/((-3)/(-24)). Which is bigger: n or 28?
28
Let l be 0/(0 + (2 - 3)). Does l = 5?
False
Let z(u) = 2*u**3 + 3*u**2 - 2*u. Let x be z(2). Let a be 5/2*(60 + -50). Is a != x?
True
Suppose -3*w = -s - 2, 1 = -4*w - 2*s - 3. Is w at least as big as -9?
True
Let c = 1359 + -1871. Is -511 at least as big as c?
True
Let w = 2.937 + -2.3. Is 1 equal to w?
False
Let s = -0.4 + 10.4. Let y = s + -22. Which is bigger: y or 1?
1
Let d = -0.0216 + -0.0784. Which is greater: d or 14/45?
14/45
Suppose -3*q - 29 = -5*p, 2*q + 2*q = 4*p - 44. Let m be (-6)/(-2) + 8 + q. Let b(g) = g**2 + 2*g + 1. Let d be b(m). Is 3 greater than d?
True
Let d be (-3)/8 - (-2415)/6888. Which is bigger: d or 7?
7
Let u = -3/4 + 1/4. Let o = 0.31 + 0.21. Let k = 0.22 - o. Which is smaller: k or u?
u
Let a be (-1)/1*8 - 32. Is a not equal to -31?
True
Let r = 5.9 - 6. Suppose 78 = -3*x - 5*n, x + n = -4*n - 36. Let s = -85/4 - x. Are r and s unequal?
True
Let d = -1946 + 1945. Let n be 1/4 - 190/56. Let u = 20/7 + n. Which is smaller: d or u?
d
Let u = 28 - 25. Let g be 238/18 - (-8)/(-36). Let w = g - 11. Which is bigger: w or u?
u
Suppose 0 = 2*q - 5 - 3. Suppose -8 = -2*c + q. Let y be 2/6*2/c. Is y smaller than -1?
False
Suppose -2*m - 2*g = 10, 154 = -2*m - 5*g + 129. Let o be ((-2)/5)/((-1)/5). Suppose 3*w = -o*f + 3*f - 23, 4*w - 77 = -5*f. Is m equal to f?
False
Let q = 27 + -8. Suppose 5*u - 4*x + 26 = -8*x, 0 = -3*u + x - q. Is -7 less than or equal to u?
True
Let j = -36 + 24. Suppose -m - 48 = 3*h + m, 3*h = 3*m - 33. Let d = j - h. Is d at most 2?
True
Suppose 0*z = 2*z + 9014. Let m = z - -2824. Let h be 1292/m + (-2)/(-9). Is 0 equal to h?
False
Suppose 155 = -5*d + 5*g, -4*g + 97 = -4*d - 9*g. Let l = -867 + 838. Is l at least as big as d?
False
Suppose -4*t - 8 = -d, 4*d + 44 = -0*t - 3*t. Is d bigger than -90/13?
False
Let f be (-