r than t?
False
Let n = 1388/7 - 198. Let o(s) = s**3 - s. Let t(j) = j**3 + 5*j**2 - j - 4. Let g be t(-5). Let u be o(g). Is u greater than or equal to n?
False
Let r = -7 - -9. Do 2 and r have different values?
False
Let u = -1 - -15. Let w be (2 - -3)*4/(-10) + 1. Is w > u?
False
Let l(t) = -t**3 + 8*t**2 + 9*t - 5. Let z(b) = -b**3 - 8*b**2 + 9*b + 9. Let p be z(-9). Let v be l(p). Which is greater: v or -4?
-4
Let k = 14 + -10. Suppose -2*s = -4 - k. Suppose -3*b + s*b = -1. Is b < -3/8?
True
Suppose 0 = -0*g + 3*g. Suppose 4*t = 7*t. Is g greater than t?
False
Let c = -1 - 0. Is c >= -1/40?
False
Suppose -3*m - 4*q - 3 = 0, -27 = -5*m + 6*q - 2*q. Let d be (15/3 + -3)*5. Suppose 2*a - 10 = -o, a + 4 = -o + d. Which is smaller: a or m?
m
Let a = -2 + 4. Suppose a*c - 4*x = -10, -2 - 6 = -4*c + x. Which is greater: c or 4?
4
Let q(c) = c**2 - 4*c - 1. Suppose -2*h - h = -6. Let f be q(h). Which is smaller: f or -2?
f
Let y(a) = 2*a**2 + a. Let d be y(1). Suppose -d*i + 8 + 4 = 0. Is i less than or equal to 2?
False
Let h(x) = 3*x**3 + 2*x**2 - 2*x + 1. Let k be h(1). Suppose s + 3 = k*s. Let u be 1 - (2 - (-1)/s). Is -3 at least as big as u?
False
Let a = -107/350 - -1/50. Which is greater: a or 5/2?
5/2
Let m = 18 - 18.2. Let a = -1 + 1. Is a equal to m?
False
Let r = 497 - 481.04. Let v = -16 + r. Is v > 0.2?
False
Suppose -5*y = -2*p - 9, -4*y - 5*p + 3 - 9 = 0. Suppose n = 2*n + 2. Let k be (2 - y) + n - -1. Which is smaller: k or 2?
k
Let q be 7/6 + (-6)/36. Is -1/15 smaller than q?
True
Let q be ((-5)/25)/(0 - 1). Which is bigger: q or 1?
1
Suppose n = -3*n. Suppose 0 = -3*u - 5*h + 17, n*h + 3*h = 12. Let v = 1/63 + -137/693. Is v > u?
True
Let q = -1.9 - -2. Let x = 0.03 - 0.23. Let a = q + x. Which is smaller: 1/5 or a?
a
Suppose 6*b + 0*b + 1380 = 0. Let p be (-16)/(-20) + 204/b. Which is smaller: p or -1?
-1
Let w = 1 - 1.1. Are w and 6 unequal?
True
Let b = -0.02 - 3.98. Which is greater: 3 or b?
3
Let h = 9 + -19. Is h greater than -11?
True
Let c = 189/2000 - 4/125. Let m be 68/448 + (-2)/4. Let x = m + c. Which is smaller: 0 or x?
x
Suppose -3*y = l - 6, -4*l = -2*l. Let u be (-3)/(-1) - (-3 - -4). Suppose -c + y = 5*j - 4*c, -4*j + u*c + 2 = 0. Is j < 2?
True
Let f = 3535/426 + 5/142. Let y = f + -97/12. Which is smaller: y or 6?
y
Suppose g - 4 + 5 = 0. Let d = -20 - -10. Let f = 8 + d. Which is bigger: g or f?
g
Let w = 0.4 + 1.6. Which is greater: -5 or w?
w
Suppose 5*t = 5*f + 65, 0*f = f - 2*t + 15. Let m(q) = q + 12. Let l be m(f). Which is smaller: l or 2/5?
2/5
Let r = -13 - -41/3. Let u = 1 - -3. Let b = 6 - u. Which is smaller: r or b?
r
Suppose -28 = 3*m + 2. Let d = 3 - m. Is 13 greater than or equal to d?
True
Let i = 13 - 12. Is i less than or equal to -1/40?
False
Let y(d) = d + 6. Suppose 0 = -3*r - 14 - 4. Let b be y(r). Let q be (-45)/21 - (-2 - b). Are -1 and q nonequal?
True
Let i(n) = n - 2. Let k be i(4). Suppose -3*w + 3*x = 18, -w + 5*x - 18 = k*w. Let y be w/(2*(0 - 1)). Which is smaller: 2 or y?
2
Let s = -31.9 + 32. Which is smaller: 3.6 or s?
s
Let i = 2 - 3. Let t(h) = -2*h - 1. Let k be t(i). Let o(q) = -q**2 - 8*q - 12. Let j be o(-6). Does j = k?
False
Suppose 8*u - 8 = 3*u - 3*m, 0 = -u - 2*m - 4. Let t(d) = -2*d - 4. Let l(a) = -a + 1. Let i(o) = -l(o) + t(o). Let v be i(-8). Which is greater: u or v?
u
Let c be (-6)/8 - 63/(-180). Which is smaller: c or 0?
c
Suppose -3*j + 0*j - 12 = 3*d, 0 = d - j. Which is smaller: -7/9 or d?
d
Let a be (3 + 16/(-12))*2/10. Are 51 and a equal?
False
Let s(p) = p + 9. Suppose -3*q + 10 + 2 = -3*m, 0 = -m + 3*q - 2. Let t be s(m). Let n = 124 - 119. Is t >= n?
False
Let p = 15388 - 76674/5. Let s = p - 55. Let i be 1 + (-2)/(-1) + -4. Is s < i?
True
Let d = -2.1 - -2. Let q = 3.05 - 3. Let i = 0.25 - q. Is d at least as big as i?
False
Suppose 5*d = 3*f + 99, -d + 20 + 7 = 3*f. Suppose 0 = -2*j + 5*l + d, -l - 13 = -4*j + 2. Let y = 3 + 1. Which is smaller: y or j?
j
Let c = -7 - -8. Let v = 53/141 + -2/47. Which is greater: c or v?
c
Let k be 2/9 + 2448/(-81). Let a be k/12*(-1)/5. Let s = -1 + 1. Which is smaller: s or a?
s
Let w = 15 + -15.08. Let c = w - 0.02. Which is bigger: c or 2/3?
2/3
Let g be 42/18 - (-1 - -3). Which is greater: -0.7 or g?
g
Let f be 2*(-2)/(-8)*-2. Suppose -90 = -0*l - 3*l. Let s be 2/l - (-1)/3. Which is greater: s or f?
s
Let b = 1 + -1. Let h be (-1)/((-3)/(-42)*-10). Which is smaller: b or h?
b
Let h = -71 + 71. Do h and 7/10 have the same value?
False
Let i be -15 - -13 - ((-2)/1 - 1). Is i < 18/13?
True
Let w = -14233 - -46001/3. Let b = 1111 - w. Let x = b + -47/6. Which is greater: 4 or x?
4
Let j = -26 - -25. Which is bigger: j or -2/31?
-2/31
Suppose 0 = -3*t - 4*j - 104, 46 - 5 = -t + 5*j. Let r be 10/(-15) + 3/t. Is 0 greater than or equal to r?
True
Let c = 0.2 - 5.2. Let d = -7 - c. Is d greater than -0.1?
False
Let a = 319 + -317. Let y = 3 - 2. Which is bigger: y or a?
a
Suppose -4*o + 10 = -26. Let h be (-15)/o + 4/(-12). Let v be (-4)/10 - 26/10. Which is greater: v or h?
h
Let r(h) = -h**3 + 3*h**2 + 0*h**3 - 112*h - 5 + 115*h. Let t be r(3). Suppose 25 = 5*d + 5. Is d greater than t?
False
Let k be 2 + 1 + -1 + -23. Let a = 15 + k. Are -5 and a nonequal?
True
Let m = 82 + -90. Which is smaller: m or -0.3?
m
Let n be (-2)/(-8)*-1*-4. Suppose 0 = 2*q - 4*v + 34, 3*q - 6*v + 49 = -2*v. Let m be ((-72)/q)/4 + -1. Which is smaller: m or n?
m
Let h = -12 + -56. Which is smaller: h or -69?
-69
Suppose 3*a + a = x - 13, -5*a = 4*x - 10. Let t be -15*(-4 - -3)*-1. Let b be x/t - (-4)/21. Are 0 and b unequal?
True
Let w = 28 + -28. Which is smaller: -11 or w?
-11
Let r(v) = v**3 + 4*v**2 + 1. Let i be r(-4). Suppose 5*q - 2*h - h - 25 = 0, -4*q = 5*h + 17. Is q < i?
False
Let u(v) = -3*v - v + 5*v + 6. Let q be u(-5). Let b = 7/8 - 33/56. Is b equal to q?
False
Let t(x) = x**2 - 8*x + 12. Let z be t(6). Which is smaller: 1/17 or z?
z
Suppose -74 = 5*b - 24. Let h be -2*(0 - (-14)/(-4)). Let g = b + h. Which is greater: g or -1?
-1
Let y = 11 - 11.2. Which is bigger: 5 or y?
5
Suppose -5*p - f + 4*f = 303, 0 = 3*f + 12. Is -62 at least as big as p?
True
Let h = 0.97 - -0.03. Let f = h - 0.9. Is -3 not equal to f?
True
Suppose -p = -0*p - 10. Are p and 11 nonequal?
True
Let r(z) = -z - 4. Let t be r(-7). Suppose -m - 3*u - 21 = 2*m, t*m + 2*u + 17 = 0. Let a be 2 + (6 - (m - -6)). Which is bigger: a or 4?
a
Let t = -9 - -8. Let j(v) = v**2 + 4*v. Let l be j(-6). Let b be (9/(-6))/(l/1). Which is greater: b or t?
b
Suppose v - 16 = 3*v. Let y be ((-4)/v)/(2/4). Are y and -2/21 unequal?
True
Let p be -5*-3*4/(-20). Is -3 greater than p?
False
Let r = -7 + 11. Let l(q) be the first derivative of q**4/2 - 4*q**3/3 + q**2 + q - 1. Let y be l(2). Is y equal to r?
False
Let r be (-1)/2*-2 + 76/(-57). Let h(o) = -o - 4. Let j be h(-5). Are r and j equal?
False
Let s(b) = b**3 + 6*b**2 - 6*b - 6. Suppose -26 - 5 = 3*q + 5*r, 22 = -4*q + 3*r. Let m be s(q). Let w = -27/2 - m. Which is greater: w or -2?
w
Let n be 7/(-35) - 22/(-10). Suppose 0 = h - n*h - 5. Let m = 5 + h. Is 2/19 greater than m?
True
Let a = 113 - 905/8. Is a not equal to 0?
True
Suppose -2*c - 128 = -14. Let m = -33 - c. Let u be (-20)/m - 2/12. Which is greater: -3/7 or u?
-3/7
Let z be (-66)/75 - (-16)/20. Let f(n) = -n - 8. Let x be f(-7). Which is bigger: x or z?
z
Suppose -2*t + 12 = -4*h, 2*t - 6*t = -5*h - 27. Let d = 21 - 12. Which is smaller: d or t?
t
Let d = -1 + 0. Is 10 greater than d?
True
Let i be 0/((4 - -2)/3). Suppose i = -3*x - 3, 3*o - 14 = 3*x - 2. Is o greater than 3?
False
Let z be (-2 + 7)*24/(-20). Let r be z/(-2)*3/(-15). Which is smaller: r or 1/3?
r
Suppose -3*j = 6*v - v + 4, 2*j - 4 = 0. Let g(y) = -y**2 + y + 3. Let q be g(4). Let b be (-6)/q - (-7)/(-6). Is v greater than b?
False
Let t = 11 + -7. Suppose -3*w + 4 = -2*i, t*w - 4 = 4*i - 0*i. Suppose w*n + 10 = 2*l, 13 = -l - 4*n - n. Is l at most as big as 3?
True
Suppose -12*m + 7*m + 60 = 0. Suppose 5*k - k = -m. Which is greater: k or -4?
k
Suppose 3*z = -5*l + 40, 2*l + 6*z = 3*z + 7. Is 11 less than or equal to l?
True
Let y = -8 + 2. Let m be (138/135)/(4/y). Let c = m - -6/5. Which is smaller: 0 or c?
c
Let v be 1/((2/21)/2). Let i be 84*(v/12 - 1). Let k be 2 + (i/6