 + 17 = -5*i, -5*i = -4*o + 32. Are f and o non-equal?
True
Let s(q) be the third derivative of q**6/120 - q**5/15 - q**4/4 - q**3/6 + q**2. Let h be s(5). Is h bigger than -6?
False
Let y be (12/(-8) + 1)*-4. Suppose 0 = 4*v - 0*v. Which is smaller: v or y?
v
Let f = -1.2 - -1. Let l = -0.8 + f. Let m = -0.1 + 1.1. Are m and l equal?
False
Suppose 9 - 3 = 2*t. Is t less than 2?
False
Let g(b) = 3*b - 1. Let p be g(0). Which is bigger: -6/5 or p?
p
Suppose 8*z - z - 35 = 0. Which is bigger: z or 1?
z
Suppose 10 = -2*v - 3*d, -v = 4*d + 5 + 10. Which is smaller: 89 or v?
v
Suppose -2*i + 0*q + 12 = -4*q, 3 = -q. Is i bigger than -1/2?
True
Let k be 26/8 - 2/8. Let a(u) = -u**2 + 7*u - 3. Let z be a(6). Let q = z - k. Is -2/5 at least q?
False
Let v = 0.06 + -0.05. Let x = -0.99 - v. Is x not equal to -1?
False
Suppose -4*l + 3*s = -25, 26 + 9 = 2*l + 3*s. Suppose 0*j - 3*c = -4*j + l, 0 = -5*j - c + 22. Suppose -z - 3 + j = 0. Are z and 1 nonequal?
False
Let s = 9 + -7. Let l(z) = z**3 + 11*z**2 + 9*z - 3. Let w be l(-10). Let v = w - 37/5. Is s != v?
True
Let o be (-40)/(-78) - 4/6. Let g(p) = 2*p + 6. Let n be g(-3). Let t be n/(-1 + 0 - 0). Which is smaller: t or o?
o
Let p = 25 + -30. Suppose -4 - 33 = -w. Suppose -13 + w = -4*y. Which is bigger: p or y?
p
Let w = 1.8 - 0.8. Is -2 < w?
True
Let h = 59 - 58. Is -12/29 less than h?
True
Let w = 18.2 + -18. Which is smaller: w or -0.5?
-0.5
Suppose 4*b = -4*d + 204, -46 = -b + 5*d + 5. Which is greater: b or 52?
52
Suppose -13*o + 11*o = 30. Are -17 and o unequal?
True
Let m = -4/15 + 194/615. Is m at most as big as 0?
False
Let j = 110 + -52. Is j at most 57?
False
Suppose 3*z - x = 1, 3*z - 24 = z - 4*x. Suppose v - 3 = -z*v. Let b be (-6)/33 + (-2)/(-11). Do b and v have the same value?
False
Let t(b) = b**3 - 3 - b**3 - b**3 + b + 4*b**2. Let o be t(4). Which is greater: 2/39 or o?
o
Let j be 0 + 5/((-5)/(-4)). Suppose j*f = -3 - 13. Let q = -15 + 11. Is q >= f?
True
Let j = 3653/9 - 407. Which is bigger: -2 or j?
j
Let i = -4 - -5. Let f = 7 - 9. Is f >= i?
False
Let z = 0 + -1. Let o = -195.8 - -196. Which is bigger: z or o?
o
Suppose -11*m = -7*m + 12. Suppose 0 = v + 4, -4*b = -b - 4*v - 7. Is b at most as big as m?
True
Suppose -4*g + 7 = -5. Let m = -3 - g. Let f be ((-2)/4)/(3/m). Which is smaller: 3/4 or f?
3/4
Let g(v) = v - 2. Let h be g(3). Let n be 14/(-10)*(-7)/(294/24). Is n bigger than h?
False
Let d(q) = q - 7. Let x be d(7). Suppose x = -0*a + 5*a - 20. Suppose -f = -t + 5*t + 2, -8 = 4*f - a*t. Is -3 at least f?
False
Let o = -0.488 + -39.412. Let l = o - -33. Let u = -7 - l. Which is greater: u or -0.5?
u
Let r = 10 - 0. Suppose 4 = -4*k - 2*d, -3*d - r = 2*k - 0*d. Which is smaller: -3 or k?
-3
Suppose 4*z = -4*y - 32, -2*z + 0*y = y + 19. Are -11 and z nonequal?
False
Let g(r) = -3*r. Let k be g(-4). Let d = 12 - k. Which is smaller: -1 or d?
-1
Suppose -m - 3*o = 2*o + 12, 5*m + o + 12 = 0. Let f = 2 + -1. Let n = f + -1. Is m greater than n?
False
Suppose 3*u = -5*y - 0*u - 45, 5*u = 2*y - 13. Which is bigger: -5 or y?
-5
Suppose -o + 629 = 5*s - 93, -4*o - 136 = -s. Let a be ((-1)/(-3))/(40/s). Which is greater: 1 or a?
a
Suppose -7*l = -8*l + 8. Which is greater: l or 22/3?
l
Suppose 3*g + g = 0. Suppose 3*d + 5*s + 21 = 4*d, -5*d + s + 9 = g. Let r = -4 + 6. Which is smaller: d or r?
d
Let g be 45/55 - 6/(-33). Is -24 at most g?
True
Let i(h) = 5*h**2 - h. Let s(t) = t - 7. Let w be s(6). Let m be i(w). Suppose g + g = -3*a + 26, 0 = 3*a - 4*g - 2. Is m greater than a?
False
Suppose k + 0*k = 4. Suppose k*p - p - 12 = 0. Which is smaller: 0.2 or p?
0.2
Let q = 19 - 15. Is 19/5 <= q?
True
Let w be 1 + 0 + (-1 - -3). Let t = 5 - w. Let h be 14/21*t/4. Which is bigger: h or -1?
h
Let z be 18/4*(-13)/3. Let m = 176/9 + z. Which is bigger: m or -1?
m
Let b(o) be the third derivative of -o**4/12 - o**3 - o**2. Let w be b(-5). Suppose -6 - w = -5*x. Which is greater: 7/5 or x?
x
Let n be (0 + 1/(-3))*-1. Let k = 6 + -6.5. Let j = 3.5 - k. Which is smaller: n or j?
n
Let s = 0.46 - -11.54. Is s less than -2/7?
False
Suppose 5*m - 5 = 5*q, q + 10 = 4*m - 0*q. Let g(i) be the second derivative of i**4/12 + 7*i**3/6 + i**2 + 2*i. Let k be g(-7). Is k greater than m?
False
Suppose 0*a + 3*a + 24 = 0. Let z be 3/(-18)*a - 0. Is z less than or equal to 1?
False
Let c be (-6)/(-36) - (-58)/12. Suppose 0*a = -a + 30. Suppose 5 = 4*u + 3*w, -a = -2*u + u + 5*w. Is u at most as big as c?
True
Let q be 3/(-9) - 32/(-6). Let a = q - 6. Suppose 3*h = 2*h + 3*o - 10, 2*h + 5*o - 13 = 0. Do a and h have the same value?
True
Let y be (1 + 1)*(-5)/(-2). Suppose y*n = -3*g + 4*g + 10, -2*n + 48 = 4*g. Suppose 2*t = -3*h - g, 0*t = 2*t + 10. Which is bigger: h or -2/3?
h
Let j be (1/(-3))/(-1)*9. Suppose 4*l + 2*a = -2*a, j*l - 16 = a. Suppose 0 = w + 2*q - l, w + w - q = -2. Is 0 at least w?
True
Let g(k) be the second derivative of 7/2*k**2 - 1/3*k**3 + 3*k + 0. Let n be g(5). Which is greater: n or -7/2?
n
Let t be 4/8*(7 + -1). Suppose -27 = a + 3*a + g, 4*a = -t*g - 33. Do -5 and a have the same value?
False
Suppose 0 = -4*z - 24 - 4. Which is smaller: z or -4?
z
Suppose f - 4*d = 1, 2*f - 2 = -d - 2*d. Let k be (-2)/4 + 2/6. Is f at most k?
False
Let f = -26 - -43. Is f at least as big as -2/5?
True
Let t = 3 + -5. Suppose 4*o + 1 = 9. Let u = o + t. Is u >= 1?
False
Let z(a) = -a**3 + 7*a**2 - 4*a - 10. Suppose 4*c = 7*c - 18. Let s be z(c). Which is bigger: s or 1/6?
s
Let b = 1.9 + -2. Let y = 0 + b. Let n = y - -0.2. Is 0.6 bigger than n?
True
Let f(x) = -x**3. Let u be f(-1). Let o(p) = -2*p - 12 + 12. Let k be o(u). Is -1 equal to k?
False
Let j = 7 + -6. Let x = j + -5. Which is greater: x or -3?
-3
Let q = 31 + 4. Suppose -3*y - 29 = -5*w, 0*y - q = 5*y - 5*w. Is y equal to -3?
True
Let i = 7.5 - -1.5. Let b = -22 + i. Let l = -8 - b. Is l at most -2/3?
False
Let a = -14 + 18. Is a greater than or equal to 2?
True
Let w(a) = a**3 - 8*a**2 - 12*a + 5. Suppose g = -g + 18. Let s be w(g). Let l = 108/5 + s. Is l > -4?
True
Let m be (-3)/(-9)*18/120. Which is greater: 1 or m?
1
Let w be 12/(-4) + 0 + 3. Is w at least 2?
False
Let b(r) = 6*r**2 - r - 6. Let l be b(5). Which is greater: 138 or l?
l
Let a = -0.02 + 0.08. Suppose -q = 47 - 48. Which is smaller: q or a?
a
Suppose 8*o - 3*o - 10 = 0. Suppose -o*u + 1 = g - 6*g, 16 = -3*u + 4*g. Does -13 = u?
False
Let o = 17 - 22. Suppose -4*q - 2*a = 20 - 6, -3*q + 2*a = 28. Is o smaller than q?
False
Let l(z) = 3*z + 1. Let y be l(-2). Which is smaller: 0 or y?
y
Let t = 16 - 16. Which is bigger: t or 1/9?
1/9
Let c = -0.2 + -0.4. Let u = -0.5 - c. Which is smaller: u or -0.1?
-0.1
Let w(t) = t + 10. Let p be w(-9). Let x be (-5)/(-2) - 6/4. Is x less than p?
False
Suppose 15 + 5 = -5*z + d, -d - 4 = z. Let b(a) = -a**3 + 7*a**2 - 8*a + 7. Let p be b(6). Which is smaller: p or z?
p
Suppose 0 = 5*i - 2*r + 7, 5*i + r + 3 + 1 = 0. Which is smaller: 2/5 or i?
i
Let d = 83 + -80. Is d at most as big as 22/9?
False
Let o(c) = -c + 8. Let u be o(0). Let d = -9 + u. Let p = 5.97 + -6. Is p at least d?
True
Let r = 8 + -10. Suppose 0 = -4*k - 0*k + 12. Suppose c - k + 4 = 0. Is c equal to r?
False
Let r(h) = 2*h**2 + 9*h - 10. Let u(k) = -k**2 - 5*k + 5. Let s(f) = -3*r(f) - 7*u(f). Let c be -9*-1*(-1 + 0). Let n be s(c). Which is greater: n or 2?
n
Let b(s) = -s**2 + 5*s + 2. Let x be b(3). Let v be 112/(-98)*2/x. Let w = -4 - -3. Does w = v?
False
Let m be (-12)/(-28) - 135/21. Let n(x) = x + 1. Let y be n(m). Is -5 less than y?
False
Let l = -5 + 1. Let u be (l/12)/(1/(-2)). Is 0 less than or equal to u?
True
Suppose -2*i - 3 + 1 = 0. Which is smaller: i or 3?
i
Let u = 54 + -111/2. Let s = -2 + -1. Which is greater: s or u?
u
Let r be -1 - (4 - 2) - -6. Suppose 0 = -5*j + r*m + m + 4, 2*j + 2*m = -2. Which is smaller: -2/15 or j?
-2/15
Let u(y) = -4*y + 40. Let r be u(10). Suppose 2 = -5*w - 4*z, -4*w + 6*z - 4*z = -14. Let a be (-4)/2 + 1*w. Is r at most a?
True
Let x(k) = -k**2 + 4*k - 3. Let o(f) = 2*f. Let t be o(1). Let g be x(t). Are g and 6 equal?
False
Suppose 5*t = 2*t. Is -1/2 equal to t?
False
Let w = -36 - -54. Suppose -3*g + 0*g = 5*o - w, 4*g + 2*o - 10 = 0. Is g equal to 1?
True
Let t be 4/(56/6) + 168/(-49). Are t and