n = -3.1 - -24.1. Let y = -32 + n. Which is smaller: 1 or y?
y
Let o be -7*-1*6/21. Let r(z) be the second derivative of z**5/20 + z**4/3 - z**3/6 - z**2/2 + 3*z. Let s be r(-4). Is s less than or equal to o?
False
Suppose 4*a - 3*t + 10 = 2*t, 2*t = 2*a + 6. Let o be (-11)/(1 + (5 - 3)). Is a > o?
False
Let a = -0.08 - -0.58. Let v = a + -0.7. Let o be ((-1)/(-2))/(-1 - 1). Which is smaller: v or o?
o
Suppose w = -4*w + 30. Let x be (-4)/w - 4/3. Which is smaller: x or -5?
-5
Let d = 15/28 - 1/4. Let v be (-3 - -2)*(-4 - -3). Is v bigger than d?
True
Let t be 101/3 - (-2)/(-3). Which is smaller: t or 34?
t
Suppose 1 - 13 = -5*w - 2*p, w + 2*p - 4 = 0. Suppose -n = -2*d + 2, 3*n + 7 = 5*d + w. Is 0 at least n?
True
Suppose 2*r + 9 = -1. Let a be (-2)/(-7) - 40/(-7). Let h = a + r. Which is smaller: h or 0?
0
Let j = 14 + -15. Which is smaller: -72 or j?
-72
Suppose 0 = -o - 3, -8*j + 4*o = -4*j - 16. Let f = 0 + j. Suppose 107*v = 102*v. Which is greater: v or f?
f
Suppose -5*i - 19 + 79 = 0. Suppose i = 4*g - d, 4*d = -2*g + 1 + 5. Let s = -1/61 - -185/122. Is g less than s?
False
Let i be (-3)/(-2)*(-4)/(-6). Let c = -6 - -7. Let m(g) = g**3 - g**2 + 2*g - 1. Let j be m(c). Are i and j nonequal?
False
Let i = 3 - 5. Let l be (-2)/5 - (-185)/25. Suppose 0 = -h - n - l, 3*h = 3*n + 3 + 6. Is i smaller than h?
False
Let i = 23 - 20. Suppose 3*v - 5*n + 3*n = -1, -i*v - 2*n = -7. Is 1 bigger than v?
False
Suppose 1 - 7 = -2*l. Which is smaller: l or 8/3?
8/3
Suppose 4*k = -5*g + 24, -3*k - 2*g = -1 - 10. Suppose 0 = -5*h + h - f + 28, 4*h - 3*f = 44. Suppose -u = -5*u - h. Which is bigger: u or k?
k
Suppose 3*u - 4*u - 1 = -2*z, -4*u - 4 = 2*z. Let y(w) = w**3 + 3*w**2 + 2*w + 3. Let g be y(-2). Let k be g + z + (-24)/7. Is k smaller than -1?
False
Let h(p) = p**2 - 12*p + 16. Let m be h(10). Is -23/6 at least as big as m?
True
Let q be -3 + ((-45)/(-3))/3. Suppose -q*g = 4*u, -4*u = -g + 5 + 1. Which is smaller: u or -2?
-2
Suppose 2*w + 4*l + 16 = 0, w + 3*w = -l - 4. Let v = 0 + w. Let r = -1 - 1. Does v = r?
False
Let l be (-12)/(-72) - 18/(-4). Let o(f) = f**2 + 8*f + 11. Let k be o(-7). Are k and l equal?
False
Let d(m) = -11*m**2 - 2*m + 1. Let r be d(3). Let u be (1/4)/((-65)/r). Which is smaller: u or 1?
u
Let u be 3/(-18) - (-238)/(-12). Let z be (-1)/5 - 4/u. Is -4/3 < z?
True
Suppose 0*w = -3*w - 36. Let z be 9/(6*3/w). Is z equal to -6?
True
Let f = 255 + -6119/24. Let i = f + -7/24. Do i and 1 have the same value?
False
Let y = -2 - -2. Let r = -1942/9 - -216. Is r at most y?
False
Let u = -3 + 5. Suppose 5*r - 10 = k, -2*k - 3*r = u*r - 10. Which is smaller: -1 or k?
-1
Suppose 2*u + 4 - 8 = 0. Suppose -3*h = u*h. Which is greater: h or 2/21?
2/21
Let j be (-2)/(-2) - (-1755)/(-175). Let p = j - -66/7. Which is smaller: -1.1 or p?
-1.1
Let c = -2.9 + -1.1. Let v = 4 + -10. Let w = v - c. Which is bigger: 1 or w?
1
Suppose j - 5*n - 22 = 0, -5*j = 2*n + 3*n + 10. Suppose -3*i - 3*o - 27 = -0*i, i + j*o + 14 = 0. Are i and -5 unequal?
True
Suppose -4*r = 2*m - 10, 6*r = -3*m + 3*r + 18. Let f = 5 - m. Let o be f + (0 + 0 - 0). Which is smaller: -4 or o?
-4
Suppose -3*i + 4*i = 4*z + 34, -2*i + 38 = -2*z. Let c be 4/(-14) + 46/i. Is c at least as big as 3?
True
Suppose -5*m + 34 = -3*x, -2*m - 27 = 4*x - 5*m. Suppose t - 5*f = -21, -3*f + 16 = 4*t + 2*f. Let j = -4 - t. Is j bigger than x?
False
Suppose u + 2 = 1, -2*u = 2*a + 6. Let j = -3 - a. Let t = 67/259 + 1/37. Which is greater: j or t?
t
Let n = -1 - -2. Let x = n - 2. Which is smaller: x or 0.1?
x
Suppose f - 2*f = 0. Let x = f + 0. Let j be (-1)/2 + (-13)/(-26). Is j > x?
False
Suppose -3*x = -5*h + 23, 3*x = 3*h - 7*h + 13. Let r = 1 - x. Suppose 2*m - 3*p = 8 + 7, 30 = 5*m - 5*p. Which is greater: m or r?
m
Let c = -3 - -4. Suppose 0*j = j + 7. Let r be ((-4)/(-10))/(j/(-10)). Does c = r?
False
Suppose -3*r + 4 = -2. Suppose -7*c = -r*c. Suppose -5*n + 7*n = 0. Does n = c?
True
Let o be (252/(-405))/(2/(-6) - 0). Which is smaller: o or 1?
1
Let u = -9960/19 + 524. Which is smaller: u or 0?
u
Let s be (8/6)/(2/18). Suppose 65 = p + 4*p. Are s and p non-equal?
True
Let v = 0.3 + -0.1. Let x = v - 0.3. Let i = 57 + -57. Are i and x unequal?
True
Let k be ((-1)/(-5))/((-4)/10). Suppose 0 = u + 3*s + 3, 2*u + 2*s + 2 = -2*u. Is u < k?
False
Let k be 44/252 - 4/14. Let f = 1984/9 - 220. Let s = f + k. Which is smaller: 0 or s?
0
Let c(v) = v**3 + 4*v**2 - 5*v + 5. Let g be c(-5). Are g and 4 equal?
False
Let w = 0.09 + -3.09. Let x = -0.7 + -0.3. Which is smaller: w or x?
w
Let j(x) = x**2 - 4*x + 2. Suppose -4*d + d + v = -6, -2*v + 6 = 0. Let z be j(d). Let s be z/(-1)*(-6)/(-6). Which is bigger: 0 or s?
s
Let i = 246 + -257. Let q be 4 - 2 - (11 + 0). Which is greater: q or i?
q
Suppose -1 = x - 2. Let f(l) = l + 0 - x + 10 + 2. Let t be f(-9). Is 2 > t?
False
Let t be 24/(-6) - 54/(-15). Is -58 <= t?
True
Let f = 1 - 0. Let g = f - -4. Suppose j - t = -4, -2*j - j = g*t - 12. Which is smaller: j or 2/5?
j
Let a be 1542/11 - (-16)/(-88). Which is smaller: 141 or a?
a
Let z(k) = k**3 - 6*k**2 - 6*k - 5. Let x be z(7). Suppose 0 = 3*j - 1 - x. Let w = 4.9 + -5. Is j at most as big as w?
False
Let x = -19 + 19. Let u(r) = r**3 - 3*r**2 - 4*r + 3. Let y be u(2). Is x less than or equal to y?
False
Let p be (-1)/((-2)/3 + 1). Let f be (-2)/(-3 + (-39)/p). Is f less than or equal to 0.2?
True
Suppose 17*b - 234 = 14*b. Which is bigger: b or 1?
b
Let l = 98 + -44. Suppose 4*w - 4*a - 40 + 16 = 0, 5*w + 3*a = l. Let m = w + -9. Does m = 0?
True
Let h = 0.13 + 0.15. Let m = -0.28 + h. Let y(t) = t**2 - t + 1. Let i be y(0). Is m at least as big as i?
False
Suppose 5*l = 5*b - 40, -3*b + 16 = -b + 3*l. Let q = -4 - -11. Is q > b?
False
Let c be 1/6 + 58/12. Suppose -6*g - c*n = -2*g - 12, 3*n = 0. Which is smaller: -1 or g?
-1
Let m = -114 - -911/8. Is -1 >= m?
False
Let n be (-1)/3 + (2 - 23/3). Is 1/4 equal to n?
False
Let u(r) = r**2 + 7*r - 10. Let l be u(-7). Is l at most -10?
True
Let i = -11.9 + 10. Let v = -2 - i. Let z = v - -0.1. Which is smaller: z or 2?
z
Let w = 26 - 26. Is w < 8/13?
True
Let g be (-1)/(-3) + ((-205)/(-15) - 2). Which is smaller: g or 9?
9
Let h(u) = -3*u - 9. Let f be h(-5). Let g be 17/(-5) - f/10. Is -4 > g?
False
Let f = 395 - 277. Let a = f - 475/4. Are 1 and a nonequal?
True
Let u = -17/54 + 4/27. Suppose -h + 2*h = 0. Is h at most as big as u?
False
Let l = -16.9 - -17. Which is greater: l or 5/7?
5/7
Let i be (1/3)/((-2)/(-60)). Let c be 28/3 + (-5)/15. Is i < c?
False
Suppose -2*f = -2 - 10. Let u = f - 1. Suppose 0*g + g + 3*k - 22 = 0, u*k - 46 = -3*g. Are 8 and g non-equal?
True
Let y(k) = k**2 + k + 2. Let w be (-2 - 18/(-3))/2. Let n be y(w). Suppose 0 = -s + 5*s - n. Is s at least 2?
True
Let f be 57/6 + 1/2. Let b be ((-3)/3)/((-1)/2). Suppose f = -5*n + b*h - 8, 4*h = -2*n - 12. Is -4 <= n?
True
Suppose 0*l = 5*l - 15, -j - 4*l + 16 = 0. Suppose -i = -j*i. Let z be (-32)/66 + 2/3. Which is greater: z or i?
z
Suppose 0 = 3*l + 90 - 6. Let r = -22 - l. Do 7 and r have the same value?
False
Let r = -35 + 13. Let s = -17.9 - r. Let i = s + -0.1. Which is smaller: 1 or i?
1
Let q(d) = -d**3 + 9*d**2 - 14*d - 6. Let b be q(7). Which is smaller: b or -5?
b
Let j(f) = -f**2 - 6*f - 4. Let i be j(-2). Is i less than or equal to 3?
False
Let d(l) be the second derivative of -l**5/20 + 5*l**4/12 + 7*l**3/6 - 7*l**2/2 - l. Let m be d(6). Let v = -1 - m. Is -1 at least v?
False
Let q = -139/4 + 35. Which is bigger: q or -4/7?
q
Let y be (4 + 6/36)*-2. Is -9 less than y?
True
Suppose 0 = 3*a - a - 22. Let d(f) = -f - 10. Let o be d(a). Let s be -1 + (-7)/(o/18). Is s at most 4?
False
Let s(n) = -n**3 + 5*n**2 + n - 1. Let o be s(5). Which is smaller: 3 or o?
3
Suppose -6*k - 4 = 146. Does k = -25?
True
Let f = -1/113 - -341/226. Suppose 14*g + 6 = 8*g. Which is smaller: f or g?
g
Let b(x) = 4*x - 8. Let o be b(-8). Let p be o/15 - (-2)/3. Is p < -2/3?
True
Let v(y) = y**2 - 2*y - 6. Let s(o) = 2*o**2 - 4*o - 12. Let r(t) = -4*s(t) + 9*v(t). Let m be r(6). Let z be 1*(3 - m/3). Is -4 > z?
False
Let w be (-6 - -6)*(-2)/(-6). Which is greater: w or -2?
w
Suppose 3*t + 0*t = 18. Let m = 4 - t. Let u(l) = l**2 + 12*l - 1. Let q be u(-12). Are m and q e