k**3/3 - k**2. Let s be i(-5). Which is smaller: q or s?
s
Let s = -2 - -8. Suppose 2*r + 3*b + 7 = 0, -3*r + s*b = b - 18. Which is greater: r or -1?
r
Suppose 0*o = 3*o - 12. Let q = -1 + o. Is q > 3?
False
Let o be 0*1*(-3)/(-9). Suppose -4*u - 3 - 1 = o, 0 = 2*w - 4*u. Is w at least as big as -7?
True
Let g be 0*((-3)/6 + 1). Is -2/371 equal to g?
False
Let r = -5.059 + 0.059. Which is smaller: r or 1/7?
r
Let z(l) = l**3 + 9*l**2 - 9. Let p be z(-9). Suppose 3*c = -2*d - 11, -10*c + 6*c = -4. Which is bigger: p or d?
d
Let u = 18 + -14. Suppose n - u = -0*n. Are 2 and n equal?
False
Suppose -1 = 5*a + 2*s, -a + s - 5 = -s. Let o be a/1 - (-2)/(-6). Which is greater: o or 0?
0
Suppose -27*f + 23*f = -4. Are -2/33 and f equal?
False
Let g be (-80)/12 + (-4)/(-6). Let y be 3*1*4/g. Let o be 2 - (y + 18/4). Are o and -0.2 non-equal?
True
Let j = -17.9 - -10.2. Let i = j + -0.3. Which is smaller: -0.1 or i?
i
Let h = -3 + 5. Suppose 3*c - 5*c = -h. Are 1 and c equal?
True
Let j be -2 + 79/(-4) + 6/8. Is j at most as big as -22?
False
Let i(s) = s + 3. Suppose -13 = -2*g - 5. Suppose 0 = 2*k - 5*h + 16, -k + 7 = -6*k - g*h. Let z be i(k). Are 0 and z equal?
True
Let k = 6.9 - 7. Is 0.11 < k?
False
Suppose -3*m - 3*b - 12 = 0, 4*m = -3*b + b - 8. Let d = 0 - m. Let q = -31/46 + 4/23. Which is greater: d or q?
d
Let j = 22.09 - 22. Let y = -2.91 - j. Is y less than 1?
True
Let v = 0.18 - -0.02. Is 1/12 bigger than v?
False
Let g = -4 - -8. Let x = 9 - g. Suppose 5*v + x + 10 = 0. Is 2 at most v?
False
Suppose -3*q + 4*i + 11 = 36, -4*i = 2*q - 10. Is q at least as big as -3?
True
Let d be (1 - 2)*(0 + 0). Let z be 6/(-8)*2*-2. Let f be 3 - (-9)/(z + -6). Is f < d?
False
Suppose -3*i - 13 = -43. Is i greater than 8?
True
Let n = -13 - -8. Suppose 3*k + 45 = 6*k. Suppose k = -3*u + 3. Which is bigger: n or u?
u
Let m = 2.4 - 1.4. Is 1 greater than or equal to m?
True
Let z = 1597/10 - 160. Which is greater: z or 1?
1
Let o = 147 + -81. Let s be ((-3)/12)/(2/o). Let p = s + 8. Is -1 less than or equal to p?
True
Let b = 0.04 - 0.24. Let k = b - 0. Is k less than or equal to 0.2?
True
Let c = 0.03 - 11.03. Let m = -11.03 - c. Which is bigger: -1/2 or m?
m
Suppose -3*r + 136 - 142 = 0. Which is smaller: -9/11 or r?
r
Suppose 0 = -0*q - 3*q + 3*z - 6, 0 = q - 2*z + 7. Let u(b) = -b - 1. Let h(d) = -d**2 - 7*d - 2. Let y be h(-7). Let i be u(y). Is q at least as big as i?
True
Let i = 8.2 + -8. Let t be 30/(-9) + 1 - -2. Which is bigger: i or t?
i
Let q = -1 + 9. Suppose 32 = -f + 4*f - 5*b, 3*b = -5*f + q. Are 4 and f equal?
True
Let c(l) = -4*l - 9. Let g be c(-2). Which is smaller: 3/17 or g?
g
Let v be (2/(-38))/((-2)/(-104)). Let o = 2347/38 - v. Let w = o - 1931/30. Which is smaller: w or -1?
-1
Let a = -17 + 17.1. Is a < -2/3?
False
Suppose 4*x = 2*x - 2*s + 198, 2*s - 483 = -5*x. Let m = x + -663/7. Which is greater: -3 or m?
m
Let l(q) = -q**2 + 6*q - 8. Let o be l(6). Which is smaller: o or -9?
-9
Suppose 0 = -5*m - 2*y - 37, 5*m + 4*y - y = -33. Is -39/5 > m?
True
Let s be (3/(-9))/(1/(-3)). Suppose k = -3 + 5. Suppose 0 = o - 3*f + 14, o - k*f + 0*f = -9. Is o at least s?
True
Suppose -2*w = -11 - 3. Let v be 92/(-14)*w/(-3). Let d = v - 15. Which is smaller: d or -2?
-2
Let i be 1 + (-1)/(9/(-579)). Let l = i + -68. Is -1 at least as big as l?
True
Let s = 66 + -44. Is 18 > s?
False
Let s(o) = 2*o**2 - 9. Let g(t) = t**2 - 4. Let u(z) = 7*g(z) - 3*s(z). Let k be u(0). Which is smaller: k or 0?
k
Let f(y) = -3*y + 29. Let j be f(12). Is j not equal to -7?
False
Let o(k) = -k + 7. Suppose -5*f - 8 = -48. Let n be o(f). Which is smaller: -3/13 or n?
n
Let s be 2*(1 - 17/10). Let f = s - -1/15. Let l be 2/(-3) - (-5)/(-15). Are f and l unequal?
True
Suppose 2*k + i - 18 = 5*i, 0 = -4*k - 4*i - 12. Let v be (-12)/(-8)*56/(-12). Let h(o) = o + 8. Let t be h(v). Is k at most as big as t?
True
Let a = -1 + 0.9. Is a at most -0.1?
True
Let z = 1 + 0. Let w be z + -2 + 4/2. Let r be w*(2 - 4) + -1. Are r and -4 equal?
False
Suppose 4*g + g - 5*b - 80 = 0, 0 = -4*g - 4*b + 56. Let o be (1/3)/(19/912). Which is smaller: o or g?
g
Suppose -z + 5*z = -20. Let j = -4 - z. Let b(r) = -r**3 + 6*r**2 + r - 4. Let k be b(6). Which is greater: k or j?
k
Let y(s) = -s**2 - 2*s - 3. Let a be y(-2). Is a at most -8/5?
True
Let x = 6/61 - -2959/305. Let d = x - 48/5. Is -2 != d?
True
Let u = -0.24 + 0.34. Which is greater: u or -2?
u
Let h = 2.8 + -4.8. Is h smaller than 0.6?
True
Suppose 2*m - 2*a = -2, -6*m - 3*a = -5*m - 3. Let t(h) = -h**3 + 4*h**2 + 5*h + 1. Let i be t(5). Is m at most as big as i?
True
Let f = 1/66 - 35/132. Which is smaller: f or -12/13?
-12/13
Let v be (-415)/(-45) + 2/(-9). Let i = -11 + v. Which is greater: -6/11 or i?
-6/11
Let x = -0.055 - 9.945. Is 0.2 at most as big as x?
False
Let m(q) = -q**2 + 7*q. Let w be m(7). Is w bigger than -5/11?
True
Let t be 4/(-18) - 3514/63. Let c be -1*2*(-12)/t. Let g(b) = b**2 - 3*b - 1. Let z be g(3). Does c = z?
False
Let p(b) = 2*b**2 - b + 1. Let d be p(1). Let v(c) = c**2 + c + 1. Let o be v(0). Is o at least as big as d?
False
Let f be 1/(((-28)/(-8))/(-7)). Suppose 2*m - 4*m = 4. Is m > f?
False
Let c = 3 + -3. Suppose -8 + c = 4*u. Let z be (1/(-3))/((-4)/(-24)). Is u less than z?
False
Suppose 5*z + 2 - 7 = 0. Let n = z + -1. Let h(f) = f - 6. Let y be h(7). Do n and y have different values?
True
Let o = -85 - -149. Is o at most 65?
True
Let u = 1285/9 - 143. Suppose -f = -4*g - 15, -2*f = 4*g - g + 14. Which is smaller: u or f?
f
Let q(p) = -4*p + 23. Let o(g) = g - 6. Let r(m) = 22*o(m) + 6*q(m). Let j be r(4). Which is smaller: j or -5/3?
j
Suppose -2 = q, s + q + q + 4 = 0. Suppose s*v = 2*v - 6. Let j = 4 - v. Which is greater: 1/3 or j?
j
Let y be (4/(-2))/(4/40). Is y at most as big as -20?
True
Let m = -13 + 13.1. Are -32 and m equal?
False
Suppose -6*h + 0*h = 0. Are h and -1/7 non-equal?
True
Let h(u) = 3*u + 25. Let p(d) = d + 8. Let o(f) = -2*h(f) + 7*p(f). Let y be o(-5). Do -2/35 and y have the same value?
False
Let o = 9 - 5. Let i be 16/(-18) + o/18. Suppose m + 4 = -3*a, m + 3*a + 6 = -2*a. Which is greater: i or m?
i
Let l be 2 - 1 - 129/3. Let r = l + 167/4. Suppose 10 = -11*a + 9*a, -5*j + 10 = -2*a. Which is smaller: r or j?
r
Let d(q) = q + 15. Let v(y) = 1. Let x(c) = -d(c) + 2*v(c). Let i be x(0). Which is smaller: i or -12?
i
Let o be 2 - ((1 - -2) + -5). Let u be 20/(-15)*(-1)/o. Which is greater: u or 1?
1
Let n = 152/405 - -2/81. Let o = n - 16/15. Does o = -2/9?
False
Suppose 0 = 3*r - 2*r - 9. Which is smaller: r or 8?
8
Let u(p) = -p**2 + 7*p - 6. Let h be u(5). Let x be ((-9)/12)/((-6)/h). Is 0.02 less than x?
True
Let j(a) = a**3 + 9*a**2 - 2*a - 18. Let r be j(-9). Which is bigger: 12/23 or r?
12/23
Suppose -o + 0*o + 5 = 0. Let g be 2/(-6) + o/(-75). Is 2/9 equal to g?
False
Let q(y) = -y**2 - 12*y - 4. Let i be q(-12). Which is smaller: i or -2?
i
Let l(w) = w**2 - 4*w + 4. Let m be l(4). Let x be 2 + 0 - 0 - m. Is -5 <= x?
True
Suppose p - 5 = 0, 2*o - 3*p = o - 7. Suppose -2*d + o + 6 = 2*m, 2*m - 9 = -d. Suppose w = -4*w + d. Are w and 2 equal?
False
Let u(n) = n**3 + 5*n**2 - 4*n + 5. Let x be u(-6). Let t be 6/(-21)*x*1. Which is greater: 2/3 or t?
t
Let r = 1119/10 - 112. Which is bigger: 0 or r?
0
Let l be (2 - -4)*(1 + 2). Suppose 3*v - l = -0*v. Let b = 2 - v. Does -3 = b?
False
Let m = -0.1 + 0.4. Let y = 3 + -2.8. Let p = 0 + y. Which is bigger: m or p?
m
Let q be 6/(-75) - (-4576)/49075. Which is bigger: 1 or q?
1
Let v = 12502/15 + -834. Is v <= -1?
False
Let v(d) = d + 13. Let q be v(-6). Suppose 2*p - q*p - 15 = 0. Is p greater than or equal to 1?
False
Suppose -5*g = -6*g. Let r = 0 + 1. Let i be (r - 0)/1 - 0. Which is greater: g or i?
i
Suppose -6 + 3 = d. Let c = -1.2 + 6.2. Let q = c + -4. Which is bigger: q or d?
q
Let j = 1 + -2. Suppose 2*d = -4*h - d + 9, -4*d - 38 = -3*h. Let p(y) = -2*y + 9. Let b be p(h). Is b at least as big as j?
False
Let p = 9.01 - 9. Let k = p - -1.49. Let x = k - 0.5. Which is greater: x or 0?
x
Let w = -8 + 23. Suppose 0 = -0*a + 3*a + w. Is -5 at most as big as a?
True
Let u be 12/(-8)*2/3. Suppose 5*q - 6*v = -3*v - 11, -3*q + 3 = 3*v. Let o be (-46)/(-130) + q/5. Is u greater than o?
False
Let t = 