 = 2*x**2 - 41*x - 210. Let f be r(23). Is f at least as big as -287/3?
True
Suppose 0 = 17*s - 27*s + 130. Is s <= 19?
True
Let f(b) = -2*b**2 + 5*b - 4. Let p be f(3). Let d = -3 - p. Suppose 1 = -d*a - 35. Do a and -9 have the same value?
True
Suppose 17 = 2*g + 7. Suppose g*z - 3*z - 2 = 0. Let w be 1 + (1 - z/(-6)). Which is smaller: w or 1?
1
Let i = -9621/74 + 130. Is -1 at most as big as i?
True
Suppose 32*b = 33*b - 96. Is 94 >= b?
False
Let r(v) = -v - 1. Let c(h) = h + 2. Let b(q) = -2*c(q) - 5*r(q). Let p be b(-1). Let l be 10 - (-1 + (-8)/p). Which is smaller: l or 8?
l
Let j(h) = -h**3 - 8*h**2 - 5*h + 8. Let b be j(-7). Let c = -1 - b. Suppose -4*z - 18 = -3*m, -215*z + 12 = 2*m - 219*z. Is m at least as big as c?
True
Let n(z) = -2*z**3 + 9*z**2 + 4*z + 7. Suppose 3 = w - 2. Let h be n(w). Suppose t + 3*t = 5*y - 7, 0 = -t + h*y - 4. Which is smaller: t or -2?
-2
Let s(b) = b + 8. Let f be s(-8). Let a = -656 + 16402/25. Are a and f nonequal?
True
Let t = 601869/14230 + 6/1423. Let n = t - 42. Which is smaller: n or -1?
-1
Let t(m) = -14*m - 23. Let a be t(-11). Which is bigger: 129 or a?
a
Let v = -42.9 + 43. Let q = -7 - -25. Which is bigger: v or q?
q
Suppose 4*p + 175 = 227. Are p and 13 unequal?
False
Let r(v) be the second derivative of v**4/3 + 2*v**3/3 + 7*v**2/2 - 9*v. Let t be r(-2). Let z be (12/t)/((-8)/60). Which is smaller: z or -7?
-7
Let n(r) = r**3 - 5*r**2 - 7*r - 2. Let m be n(5). Let a = 25 + m. Let y = 10 + a. Is 1/2 bigger than y?
True
Suppose -4*d + 88 = 4*w, -3*d = -8*d + 15. Let s be 15 + (-1 + 0)*-2. Which is smaller: s or w?
s
Let p = -0.12 + 0.02. Let b = 112.22 + -138.3. Let o = -26 - b. Is o < p?
False
Let z = -748 - -1057. Which is smaller: 311 or z?
z
Suppose -3*m + z + 23 = 0, -m - 5*z + 17 = -10*z. Is 56/9 < m?
True
Let j be 8/(-12)*-1 + 242/6. Suppose -29 = 7*l + j. Which is bigger: -9 or l?
-9
Let k = -49 - -45. Let s be k/(-14) + (-16)/7. Is -8 less than s?
True
Let k(l) = -2*l + 6. Let f be k(2). Let i be f/(-1 + (-5)/(-15)). Is -8/3 bigger than i?
True
Let w = 151 - 152. Which is smaller: w or -7?
-7
Let k = -5 + 4.86. Let x = 108 - 106. Which is greater: k or x?
x
Suppose -5*r - 151 = 2*z, r - 5*r - 71 = z. Let l = z - -74. Is -8 at least l?
True
Suppose d + 1 = z, d = 39*z - 44*z - 7. Which is bigger: z or -1/2144?
-1/2144
Suppose 0 = 4*q - 27 + 11, -5*p + 4*q - 21 = 0. Does -1/2068 = p?
False
Let d = 99 - 78. Which is bigger: 22 or d?
22
Let o be -1*(2 - (0 - 1)). Let y = -5 - -13. Suppose 4 = -3*d - y. Is o less than d?
False
Let r be 16/(-6)*144/64. Let u be (r/(-180))/(2/3). Which is bigger: u or -1?
u
Let a = -18 + 12. Let v(x) = -x**2 - 11*x - 14. Let y be v(-9). Let u(h) = -h. Let n be u(y). Is n <= a?
False
Let l be (-1 - 0)*(11 + -2). Let i(o) = -o - 9. Let q be i(l). Suppose q = -y - 0 - 2. Is -5/4 at least y?
True
Let c(v) = v + 6. Let x be c(-6). Let d = 419 - 418. Suppose x = 7*p + d + 6. Which is bigger: p or 3?
3
Let q = 1181/215 - 27/5. Is 0 at most as big as q?
True
Let c = 1/8 - 15/8. Suppose 7 = 5*n - 18. Suppose -5*g - 5*u - n = 0, -6*u + 2*u + 3 = -3*g. Which is bigger: g or c?
g
Let b be (-7 - 11)*(-1)/3. Suppose -4*n - 2 = -b*n. Which is smaller: -2/65 or n?
-2/65
Suppose 1 - 8 = -7*f. Is f <= -4/67?
False
Suppose -3*a = -0*a - 3*b - 6, 0 = 2*a - 5*b - 7. Let l = 7099 - 7249.85. Let p = -151 - l. Which is smaller: p or a?
p
Suppose 8 = 4*k + 20. Let a = 7 - -10. Suppose -2*i + a = r + 4*r, 2*i - 12 = -4*r. Which is bigger: k or i?
k
Suppose 0 = -3*y - 1 + 13. Suppose q - y = -0. Suppose -20 = -4*h - q. Which is bigger: h or 3?
h
Let s(q) = q**3 - 13*q**2 + 14*q - 16. Let t be s(12). Let u(o) = -6*o - o**3 + 38 - t*o**2 - 68 + 37. Let k be u(-7). Which is bigger: k or 2?
2
Let l(b) = b**2. Let v be l(0). Suppose 6 + 4 = 5*s. Suppose -9*g + s = -10*g. Is g at most as big as v?
True
Suppose 5*n - 155 = 8*z - 12*z, 82 = 2*z - 2*n. Which is bigger: 39 or z?
z
Suppose -8*j + 166 = -154. Suppose -7*v + 2 = -j. Which is smaller: 2/9 or v?
2/9
Suppose 0 = 11*o + 7661 + 2195. Is o smaller than -897?
False
Let r be (2*(-3)/(-8))/((-630)/480). Suppose 5*o - 20 - 1 = -u, o = 3. Let f(v) = v - 6. Let c be f(u). Is r at most as big as c?
True
Let z be (-11)/(-66)*-51 - (-48)/6. Let x = 0.1 - 0.1. Which is smaller: x or z?
z
Let w be (-1 + 15/19)/(3/(-18)). Which is greater: 1 or w?
w
Let l = 5.1 + -5. Let k = 79.05 + -128.2. Let i = -49 - k. Which is smaller: i or l?
l
Let l = 3365577/1342144 + -3/20032. Let n = -6501/268 + l. Is -23 bigger than n?
False
Suppose -16875 = -28*o - 691. Do o and 579 have the same value?
False
Suppose 5*q = 2*m - 27, 3*m - 9*q = -14*q - 22. Which is greater: m or 6/13?
m
Suppose 27*p - 333 = -10*p. Is 67 <= p?
False
Suppose 3864 + 1210 = -86*w. Which is smaller: w or -57?
w
Suppose 5*d - q + 71 + 151 = 0, 5*d + 2*q = -216. Is d smaller than -44?
False
Let y = 26197/31 + -845. Suppose 8*r - 3*r + 8 = 2*d, r - 4 = 0. Let j be ((-2)/4)/(0 + 7/d). Which is greater: y or j?
y
Let b = 0.1 - 0.15. Let q = 1.55 - b. Let i = -2.6 + q. Is i <= 2/5?
True
Let a be ((-3)/(-6))/(3/(-2)). Let i = 56 - 44.5. Let w = -12 + i. Is a > w?
True
Suppose 3*l - 8 = 49. Let i be (87/(-9) - 3)/((-2)/21). Suppose 0 = 6*a - 13*a + i. Is l greater than a?
False
Let h(t) = 10*t + 270. Let p be h(-27). Which is smaller: p or 1/178?
p
Suppose -4 = -2*j - 2*w, w = 5*j + 5*w - 10. Let i(m) = -m**2 - 17*m - 26. Let s be i(-14). Suppose s*a = 3*a. Do a and j have the same value?
False
Suppose 9*m = 4*m - 20. Suppose -5*d - b = 20, 4*d - 5*b = 5*d + 4. Is m >= d?
True
Let l = -0.039 + -11.961. Which is greater: l or 0.07?
0.07
Let h be (10/(-75))/(2/10). Suppose 0 = 4*i - 29 - 31. Let q = i + -15. Which is greater: q or h?
q
Let p = -0.6 + 0.2. Let q = p + -0.1. Let w = -0.6 - q. Which is bigger: -1/4 or w?
w
Let l be 23/69*(1 - 1). Is l not equal to -28/25?
True
Let y = -0.25 + -0.02. Let q = y + -6.73. Let k = q + 6. Are 0 and k equal?
False
Let h = -235 - -264. Does h = 30?
False
Let r be (1/3*-3)/((-21)/6). Let s = -8.37 + -0.63. Which is smaller: r or s?
s
Suppose -4*y = -2*y - 14. Suppose 5*f = 10*f + y*f. Which is bigger: -4/7 or f?
f
Suppose -4*a = -45 + 9. Is a bigger than -2/25?
True
Let k be (-2)/(-2) - 36/18. Let o = -344/5 - -69. Do o and k have the same value?
False
Let s(w) = -w + 4. Let y be s(4). Suppose 2*l + 4*r - 30 = y, -r = -5*l + 3*r + 61. Let d = 13 - l. Is 0 less than or equal to d?
True
Let x be ((-14)/(-42))/(1/(-15)). Let h(c) = 9*c + 1. Let p be h(1). Suppose p = -10*q + 5*q. Which is bigger: x or q?
q
Suppose 6 = -3*s, 4*h = 4*s - 4 + 20. Suppose z = 3 - h. Which is smaller: -2 or z?
-2
Let s = 1053 - 1052. Is 53 smaller than s?
False
Let g(b) = b**3 + 6 + 8*b - 10 + 10*b**2 - 8. Let f(t) = 3*t**2 - 46*t + 6. Let u be f(15). Let z be g(u). Is -4 at least as big as z?
False
Let f(u) = -22*u + 25 + 12*u + 12*u. Let j be f(-12). Which is smaller: j or 4?
j
Let x = 2455417/94815 - -264/2107. Let q = x - 26. Is 1 smaller than q?
False
Let t be (-16)/96*14*27/12. Suppose -n - 2*n - 15 = 0. Is t >= n?
False
Suppose -5*i - 4*a + 22 = 0, 0 = -3*i + 4*a - 0*a - 6. Suppose 2 = -i*q - 10. Let f = 28 - 34. Is q equal to f?
True
Let m = -6 + 15. Suppose 3*d - 6*g + 54 = -2*g, 0 = 3*g + m. Let u = 13 + d. Is -9 less than u?
False
Let c be (-40)/70 + 2/7. Let n = -399.02 + 403. Let l = 0.02 + n. Is c equal to l?
False
Let k be (((-111)/(-12))/1 + -3)*4. Suppose 27*w - k*w = -26. Which is smaller: w or -14?
-14
Let g(b) = 2*b**3 - 2*b**2 + b - 1. Let d be g(2). Let u = d - 4. Let w = 0 + u. Is w at least 7?
False
Let c be 68/(-374) - 4/((-1628)/(-487)). Is c >= -1?
False
Let y be 22*(-2)/((-4)/(-29)). Let m be y/55 - 1/5. Let v = m + 7. Is -1/2 equal to v?
False
Let x be 58/4 - 0/2. Let t = 702 + -688. Which is smaller: t or x?
t
Let d(u) = -u**2 + 7*u + 17. Let s be d(9). Let g = -355/5451 - -4/79. Which is bigger: g or s?
g
Suppose -4 = -9*u + 7*u. Suppose -s + 8 = 6*t - u*t, 4*t - s - 8 = 0. Which is greater: 1 or t?
t
Suppose 4*o - 8 = 5*q, -23 = 6*o - o + 2*q. Let w be -2*o/(-6) + -1. Which is greater: w or -3?
w
Let f(w) = w. Let i be f(-1). Let n = -155/6 + 283/6. Let p = n + -21. Which is smaller: p or i?
i
Let m be 39 - 16/(-40)*-5. Which is greater: m or 40?
