least -7/20?
True
Let u = 0 - -1. Let l be (-5)/(-260)*-2*-3. Which is smaller: u or l?
l
Let h = 6 + 9. Let n be 0*(-5)/h - (-6)/21. Let q = -1 + 0.9. Is q greater than n?
False
Let f(p) = 29*p**2 + 3*p - 2. Suppose -2*u - 1 = -3. Let b be f(u). Suppose -9 = 3*v - b. Is v smaller than 4?
False
Let s(d) = 11 + 22 + 2*d + 9 - 8*d. Let u be s(8). Is -4 != u?
True
Let u = -1060/9 - -118. Which is smaller: u or 2/5?
u
Let y = 46 + -25. Suppose y*d - 24*d + 3 = 0. Which is smaller: -49 or d?
-49
Let c = -1.1 - -1.3. Let y = -13.3 + 12. Let v = 0.9 + y. Are c and v nonequal?
True
Let u(j) be the second derivative of -2*j**3/3 - 5*j**2/2 + 2*j. Let d be u(-4). Suppose 2*c = 3*b + d, -2*c - 18 = -5*c + 5*b. Is 2/33 at most as big as c?
True
Let y(w) = 3*w**2 + w - 4. Let q be y(-3). Let o = -118 + 59. Let n = o - -58. Is n != q?
True
Let o(j) = -j**3 - 25*j**2 - 23*j + 29. Let r be o(-24). Let c be 1 - (-5 + 2 - 2). Is r at most as big as c?
True
Let r = 0.71 + -4.41. Let g = -4.7 - r. Which is greater: g or -34?
g
Suppose -55 = 6*r + 257. Let p = r + 52. Are 1 and p unequal?
True
Let w(c) = c**3 - 6*c**2 - 2*c - 2. Let o be w(4). Suppose s + s - 5*j = -44, 5*s = j - 64. Let m be s/o - (-2)/7. Is m != -1?
True
Suppose 3 = 25*m - 22*m. Which is greater: m or -1/233?
m
Suppose -5*t - 79 = -3*x, -3*x + 89 = -0*x + 5*t. Let n = x + -54. Let b be (-3)/n - 1/2. Which is greater: 1 or b?
1
Let u(z) = 2*z**3 - 8*z**2 - 7*z - 17. Let t(o) = 3*o**3 - 7*o**2 - 6*o - 17. Let h(s) = 3*t(s) - 4*u(s). Let l be h(-10). Which is smaller: 18 or l?
l
Suppose -d + 6 = d. Suppose 0 = -d*b - 2*b + 10. Let x = 256 - 255. Which is bigger: x or b?
b
Let t be -1*(-1 - -2)*(-19)/(-19). Let v be (-2)/(-8) - (-17)/(-4). Which is smaller: t or v?
v
Suppose i - 3*j = -8*j + 14, 4*j = -3*i + 9. Is i at most as big as 63/5?
True
Let k(v) = -v + 4. Let n be k(6). Suppose -2*r + 2*a + 39 = -5, 3*r = 5*a + 58. Let o = r + -24. Which is smaller: o or n?
n
Let a be (12 - 354/30) + (-17)/10. Which is smaller: a or -34/7?
-34/7
Let t = -0.025 + 7.525. Let o = -6.8 + t. Is 0.1 > o?
False
Let i = 9/25 - -7/50. Is i less than or equal to -33?
False
Let v(l) = -l**3 - 2*l**2 + 3*l + 5. Let i be v(-2). Is -2/1947 != i?
True
Suppose 2 = 2*s + 2*y - 4, 0 = 2*s + 3*y - 8. Let l be 0 + (-1 + -29)/(-3). Suppose 3*r = -5*k + l, 20 = 5*r - r. Is s less than or equal to k?
False
Suppose -3*o + 56 = -3*f - 1, f + 15 = 5*o. Let s(q) = 2*q**3 - q**2 - 2*q - 3. Let j be s(-2). Let b = f - j. Is b greater than -5/7?
False
Let v be 24/(0 - (1 - 0)) + 3. Is v != -21?
False
Let y = 37 - 399/11. Let p = 8 - 6. Is p <= y?
False
Let g = 415/3 + -2935/21. Which is smaller: -0.06 or g?
g
Let s = 81/5 + -15. Let u = s - 38/15. Let n = 6 + -6.4. Is n > u?
True
Let y = -5/561 - -5251/1683. Let x = 219191/47538 + 2/7923. Let t = x - y. Which is bigger: 1/3 or t?
t
Suppose -2*f = -5*f + 12. Suppose -5*d - 9 + 0 = -q, -d = -f*q - 2. Do 1/11 and q have different values?
True
Let x(g) = g + 7. Let l(r) = r + 9. Let b(a) = 5*l(a) - 6*x(a). Let h be (30/25)/((-3)/(-10)). Let t be b(h). Is -8/5 < t?
True
Let u = 0.041 - 0.047. Let r = -2.994 + u. Which is greater: r or 0.02?
0.02
Let j(w) = 3*w + 2. Let p = -12 - -11. Let a be j(p). Is 13 equal to a?
False
Let f be ((-245)/(-28))/((-2)/8). Let b be f/84 + 2/4. Is b less than 1?
True
Let q(m) = 2*m + 4. Let f be q(-2). Let i(g) = -g**3 + g**2 + g - 1. Let j be i(f). Is -2/11 at most as big as j?
False
Let t be (4/(-2))/(10 + -8) - 1. Let g be (t - 4/(-4)) + 1*-2. Is g at most -3?
True
Let f = -0.62 - 0.08. Let w = f + 0.1. Let x = -1.4 + w. Is x <= 0.4?
True
Suppose -u + 3*u + 3*i - 35 = 0, -u - i + 16 = 0. Let w = u + -11. Let f(m) = m**3 - 3*m**2 + 4*m - 3. Let v be f(w). Are v and 7/3 unequal?
True
Suppose 0 = -10*o + 529 + 1431. Is 192 less than or equal to o?
True
Suppose 4 = 4*j - 16. Let y be (1/1)/(j/(-60)). Is -13 at least y?
False
Suppose 0*y = -3*y + 6060. Let u be (y/(-16) + -1)*1. Let c = 128 + u. Is 2 less than c?
False
Suppose 5*t = b + 7, 3*t + 3*b - 3 = 4*b. Let s be (-1)/t*(19 + 1). Let h = s + 21/2. Is -0.5 smaller than h?
True
Let s = -82/5 + 1143/70. Let p = -0.8 - -1.8. Which is smaller: p or s?
s
Suppose 0 = 6*u + 48*u - 17604. Which is smaller: -1 or u?
-1
Suppose 12*u + 12 = 18*u. Suppose k + 7 = 5*r, 3 = r - u*k - 2. Which is smaller: r or 12/13?
12/13
Let q(m) = m**3 + 8*m**2 - 5*m - 2. Let a be q(-8). Let r be (-3)/1 + 118/a. Is -1 greater than r?
False
Let p = 30 + -9. Let w = p + -17. Let i be -2 + 11 + (-6)/2. Which is greater: w or i?
i
Let n = 64 - 63.2. Let x = n + -0.5. Let t = 1 + -1. Which is greater: t or x?
x
Let k = 3 + -2. Let c = -29 - -84. Let u = c + -55.1. Is u less than k?
True
Let p(j) = j**3 + 16*j**2 + 2*j + 43. Let q be p(-16). Which is greater: 0.13 or q?
q
Let u = -155 - -134. Which is smaller: u or -22?
-22
Suppose 46*d - 36 = 43*d. Let i be 42/3 + (0 - 0). Let s = d - i. Which is smaller: s or 0?
s
Let y(i) = i**3 + 4*i**2 + 3*i. Let c be y(-3). Let g be 6/36 - (-23)/6. Let h be ((-7)/(-14))/((-30)/g). Which is smaller: c or h?
h
Let b(l) = -15*l**2 - 16*l - 58. Let j be b(-4). Is j at least -232?
False
Let p = -417 - 293. Which is greater: p or -709?
-709
Suppose 2*c = -t + 5*t - 14, 0 = -2*c - 2*t + 10. Do c and -3/106 have the same value?
False
Let h = -2866/15 + 405/2. Let i = 14/15 - h. Is -12 equal to i?
False
Let r be ((-3)/2)/(1/(-2)). Let a(j) = 2*j**3 - 2*j**2 + 4*j - 1. Let c be a(2). Let t = c + -9. Which is smaller: r or t?
r
Let r(p) = 3*p**3 + 2*p**2 - 2*p + 3. Let h be r(-3). Let i be ((-336)/h)/(-2 - 0). Let c be -1*((-17)/(-5) - (-8)/(-20)). Which is bigger: i or c?
c
Suppose 3*g = g. Let c = 23005 + -184769/8. Let l = 91 + c. Is g greater than or equal to l?
True
Suppose -404 = -2*i - 118. Let n be (-4 + 156/40)/(8/(-80)). Let l be (n + 0)/((-13)/i). Is -12 not equal to l?
True
Let u = -6.76 + 6. Let x = -2.34 + u. Let f = x + 2.9. Are f and 0.01 nonequal?
True
Let h = -27 + 25. Let w be (h/(-4))/(-2*(3 + -2)). Is -0.15 less than w?
False
Let w be (4/(-6))/(24/612). Let s be 265/(-20)*(-4)/w + 3. Which is smaller: s or 0?
s
Let h = 0.0245 + -116.0245. Which is smaller: h or -0.4?
h
Let c be (56/(-70))/(1/(-5)). Suppose -7 + 3 = c*x. Which is greater: x or -2/19?
-2/19
Let t = 0.13 - 1.13. Is t greater than 141?
False
Let k = -7/1098 - -14827/86742. Is 1 less than k?
False
Let q = 7/10 - 181/30. Let l(t) = -4*t + 15. Let v be l(5). Which is bigger: v or q?
v
Let y = 45.47 + 9.53. Is y < -2?
False
Let z be ((-3)/27)/((-7)/21). Which is greater: -50 or z?
z
Let n = 49 + -48.99. Which is bigger: 1/5 or n?
1/5
Let m = -102.7 - -78.7. Which is bigger: m or 0.3?
0.3
Let s(j) = -j**3 + 2*j**2 + 12. Let r be s(5). Which is greater: r or -64?
r
Let n be 4*(-3)/(-12)*-4. Let u = 5 + n. Suppose 2*q + 30 = -4*l + 10, 16 = -4*q - 2*l. Is u equal to q?
False
Suppose 21 = -8*d + 29. Is d > -6?
True
Suppose 0 = -5*k + 3*y - 163 + 557, -3*k + 230 = -5*y. Let f be ((-30)/4)/(60/k). Which is bigger: -12 or f?
f
Let u be (-679 + 1)/(-3) + -2. Which is greater: u or 223?
u
Let c be 1 - (-2506)/840 - 2/8. Which is bigger: c or 4?
4
Let a(b) = -2*b + 14. Let m be a(7). Suppose m*q = q. Suppose 2*k = -4*h, q = k + 2*h - h + 5. Which is bigger: -11 or k?
k
Let o(d) = -d**3 - 4*d**2 + 4*d. Let k be o(-5). Suppose -k*v + p = -14, 1 + 9 = 2*v + 4*p. Is v smaller than 0?
False
Let y = -562/9 + 62. Let j = 84 + -83. Do y and j have the same value?
False
Let r be 3 + (-13)/5 - (-92)/20. Suppose r*h - 3*f + 19 = -f, 5*f = -2*h - 25. Is -5 != h?
False
Let n(b) = -2*b**3 - 3*b**2 + b + 20. Let o be n(4). Let h be ((-6)/5)/(o/(-20)). Which is smaller: h or 1?
h
Let u = 30708/17 + -1807. Let f = -214/357 - u. Which is smaller: 1 or f?
f
Let o = -219 + 206. Which is smaller: o or -23?
-23
Let a = -14 + 11. Let b = a + 2.9. Let m = -1.9 + b. Is 1/2 at least m?
True
Let a = -10.44 + -2.56. Which is smaller: a or 0.6?
a
Let t = 1 - 1. Suppose t = -10*h + 7*h + 264. Let d be 10/h - 7/(-28). Is 1 smaller than d?
False
Let q = -2.68 - -0.08. Let j = q - -0.6. Let u = j - -1.7. Which is bigger: -0.2 or u?
-0.2
Let h(f) = -9 + 26 - 2*f + 6. Let y be h(12). Which is smaller: y or 12?
y
Suppose -28 - 42 = 3*k + 4*p, -4*p = -4*k - 56. Let b(u) = 3*u