
Let l(t) = t**3 - t**2 - 5*t + 3. Let m be l(3). Suppose s - 11 = -i + m*i, 5 = -s - 3*i. Which is bigger: 2/5 or s?
s
Let b = 0.016 - 0.016. Is b >= -0.2?
True
Suppose -7*r + 3 = 10. Which is greater: -2/21 or r?
-2/21
Let f = 58 - 57. Let y(i) = i**3 - 5*i**2 - 5*i + 2. Let p be y(6). Let j be p/6 + (-1)/3. Is f less than j?
False
Suppose 0 = -4*n + 4*t - 4, -3*t = -2*n + t - 12. Suppose -10 = -n*y - y. Suppose -3*u + 10 = -y, 5*p = -u + 4. Is p > 0?
False
Suppose -8 = m + 2*b - 0*b, -3*m - 14 = 4*b. Which is bigger: 0 or m?
m
Let f(n) = 3*n**2 - 26*n - 10. Let s be f(9). Let r = -45/2 + 1031/46. Which is bigger: r or s?
r
Let n = 1.1 - -2.9. Let f = n - 4.3. Is -2 less than f?
True
Let t = 0.3 - 0.3. Let j = t + -4. Let h = -3 - j. Which is smaller: h or -2?
-2
Let g(p) = -2*p**2 - 5*p - 3. Let f = -3 + 0. Let n be g(f). Let t(r) = -r**3 - 6*r**2 + r + 7. Let q be t(n). Is q at least 2/11?
True
Suppose 0 = 5*o + 2*k - k + 17, 3*k + 9 = -o. Let s = 0 + o. Let a be 2 + s + 2 + -6. Is -5 greater than a?
False
Let a be (-6 - -13) + 2 + -6. Suppose 4*t = a*p + 14, -2*t = 2*t + 4*p. Suppose 2*k - 7 - 3 = 4*i, -2*k - i = 0. Which is smaller: k or t?
k
Suppose s + 4 = p + 2*p, -s - 1 = -2*p. Suppose -y = -p*y. Is y <= -2?
False
Let n = 1593 - 14323/9. Is 1 at least n?
False
Suppose -4*j = -0*j + 8. Is -0.08 less than or equal to j?
False
Let f = -2.53 - 0.47. Let s = -0.1 + -0.9. Which is bigger: f or s?
s
Let r = -12 - -26. Let z be (-6)/(-9) - r/(-6). Is z less than or equal to -3?
False
Let l be (-2)/(-9) + (-6)/27. Do l and 0 have different values?
False
Suppose 3*t - 2*c = -2*t + 4, -c = t + 2. Suppose 3*m - 11 = 4. Suppose -5*d + m + 15 = t. Which is smaller: 3 or d?
3
Let y be 1 + 1 + 0 - 474/24. Is -18 <= y?
True
Suppose 0*u = 3*u + 18. Suppose 0 = -4*t + 1 - 5. Let v(a) = 4*a**3 - 2*a**2 + 1. Let s be v(t). Is u at most s?
True
Suppose -56 = -4*m + 2*m. Suppose -5*k + 5*y = 2*y + 26, 5*k = 4*y - m. Is k greater than -5?
True
Suppose -15 = -4*t + 5. Suppose c - 3*x = -4*c + 27, -4*x - 1 = t*c. Let d be ((-12)/(-9))/2*3. Which is smaller: c or d?
d
Let n = -25.6 - -22. Which is bigger: -1/3 or n?
-1/3
Let h be (5/10)/(15/12). Is -39 less than h?
True
Let a = -16 - -18. Which is smaller: 10 or a?
a
Let t be (-57 - 0/(-3)) + 3. Let o be ((-1)/3)/((-6)/t). Let w = -2.1 - -2. Which is greater: w or o?
w
Let d be -171*(-1)/310 + (-3)/5. Which is bigger: d or 1?
1
Let w be (-72)/20 + 0 - -4. Is -8 greater than w?
False
Let h = -11.93 - 0.07. Let w = -8 - h. Which is bigger: w or 2/3?
w
Let u = 2 - 5. Suppose -5*k + 50 + 20 = 0. Suppose 5 = -15*d + k*d. Which is smaller: d or u?
d
Let f(o) = o**2 - 13*o + 4. Let a be f(11). Which is bigger: -17 or a?
-17
Suppose 3*f = -2*f + 5. Let h be f/(-2) + (-9)/(-6). Let i be 8/114*6/4. Is h less than i?
False
Suppose 0 = -2*a + 1 - 3. Suppose 20 = -0*i + 4*i. Suppose 5*w + 9 + 14 = 2*f, 5*f + i*w + 30 = 0. Is a less than f?
False
Let h be 2 - (2 - (2 + -2)). Is -1/12 at most as big as h?
True
Let p = -0.89 + -0.11. Are 0.5 and p nonequal?
True
Let x = 3.3 + 9.7. Let c = -4 + x. Which is smaller: -1/3 or c?
-1/3
Let m(t) be the first derivative of t**4/4 - 2*t**3/3 - t**2 + 3*t + 1. Let y be m(2). Let l be (20/375)/((-4)/(-10)). Which is smaller: l or y?
y
Let r = -19.1 - -20. Let x = r - -0.1. Let m be (3/2 + -2)*-2. Is m at least as big as x?
True
Let f be (6/(-10))/((-2)/(-56)). Let z = f + 17. Let n = 9/20 - z. Which is smaller: -2 or n?
-2
Let f = -1 - -4. Let a(q) = -q - 3. Let y(c) = c + 4. Let h(z) = -5*a(z) - 4*y(z). Let n be h(f). Does 4/3 = n?
False
Suppose 0 = -4*a - 20, 0 = 2*l + 2*a - 2 - 8. Suppose 1 = -b + 3. Suppose 0*o - b*o = l. Which is smaller: o or -3?
o
Let p = 158.2 + -158. Which is smaller: p or -3/14?
-3/14
Suppose 3*g + 3*u + 7 = 2*u, 4*g - u + 7 = 0. Which is smaller: g or -5/2?
-5/2
Let b = 0.3 - 0.1. Let l = 0.3 + -0.28. Let n = l - 2.02. Is b bigger than n?
True
Suppose k - 4 = 6. Is 10 at least k?
True
Let u be 371/(-9) + ((-392)/(-63) - 6). Do u and -41 have the same value?
True
Let w be 234/27 - 2/3. Does 13 = w?
False
Let p be 0 - 1 - (-10)/10. Let j be 2 + (-11)/((-55)/(-6)). Which is smaller: p or j?
p
Let i = -22 - -22. Which is smaller: i or 2?
i
Let h = 5921/350 - 237/14. Which is smaller: h or 0?
h
Suppose 32*q - 36*q = -52. Which is smaller: q or 12?
12
Suppose -4*u + 2 = 2*y + 4, 4*y - 2*u + 4 = 0. Do y and -8 have different values?
True
Let p = 20.9 + -21. Is p < -38?
False
Let z(l) = l**2 + 6*l + 4. Let k be z(-4). Let s be (-21705)/(-18700) + 3/k. Let x = s - 2/187. Which is smaller: x or 1?
x
Suppose 4*z + 13 = 3*h - 2, -2*h + 4*z + 10 = 0. Let v = h - 5. Do 0 and v have different values?
False
Let d = 38 + -22. Which is greater: d or 15?
d
Suppose 4*s + h = -h - 86, 2*s - 2*h + 28 = 0. Which is greater: -17 or s?
-17
Let m be (-1 + (-21)/(-22))*(3 + 3). Which is smaller: m or 1?
m
Let s be (2/21)/((-4)/27). Let y = -1/14 - s. Suppose -4*z = 0, 7*x - 3*x = z. Which is smaller: x or y?
x
Let s = -3 + 5. Suppose 0*f + 4*m = 2*f, -2*m = -s*f. Is -1 at least f?
False
Let p = -44 + 30. Let a = p + 12. Is -2 equal to a?
True
Let c(x) = x**2 + 6*x + 1. Let n be c(-7). Let j be 290/(-75) - n/(-2). Is -2/9 < j?
True
Let d = -1 + 1. Let j = -87738923 - -473526962819/5397. Let t = j - 2/771. Which is greater: d or t?
d
Let y = 2/121 - 256/847. Let i = y + 17/35. Is -1 equal to i?
False
Let i = -10 + 7. Let t = 5 + i. Which is greater: 1 or t?
t
Let u = -14 + 13.7. Is u <= -2/71?
True
Let k = 19 + -17. Let o be (k/18)/(18/(-36)). Suppose i = 3*i - 2. Do o and i have the same value?
False
Suppose 0 = 4*y - 5*y + 1. Is y at most as big as 1?
True
Suppose -2*k + 4*p + 12 = 6*p, -3*p = 2*k - 16. Suppose 5*y + 5*b + k = -3, y = 2*b + 11. Which is smaller: 0 or y?
0
Let q = -2 + 6. Suppose -5*j = -7 + 2. Suppose 3*t + t + j = -5*r, 2*r = 4*t + 22. Which is smaller: q or r?
r
Let m be -57 - -52 - 1*-7. Let c be (-3 - -1) + 17/4. Which is smaller: m or c?
m
Let s = -2.7 - -2.8. Which is bigger: -1/2 or s?
s
Let b = -17 + 28. Which is smaller: 3 or b?
3
Let o be 2 - (-2 + 4 - -1). Let d = 1.6 + -0.8. Is d > o?
True
Let n = -1.4 + -5.6. Let v = 0.2 + 7. Let i = n + v. Which is smaller: i or 0?
0
Let g(x) = x**3 - 7*x**2 - x + 5. Let p be g(7). Let d be p/(-4) - (-9)/(-2). Which is smaller: -0.1 or d?
d
Let q = 14 + -10. Suppose -l - q*l - 5 = 0. Are -4/5 and l equal?
False
Let z be 1287/65*(-2)/3. Let y = z + 13. Suppose -5*a + 5*p + 25 = 0, -5*p = -3*a - p + 20. Is y equal to a?
False
Let f = 1.43 + 0.17. Let w = f + -1.7. Is w < 2/5?
True
Suppose 4*p - 60 = 92. Let d = p - 27. Is 11 at least d?
True
Let k be (-9)/(-12)*(-10)/345. Is k < 1?
True
Suppose 9*l + 423 = 396. Let t = 1 - 0.6. Let u = -0.2 + t. Which is smaller: l or u?
l
Let n = 12 + 3. Let x = n - 13. Is 2 at most as big as x?
True
Let j = -12 + 14. Let f = -24 + j. Are f and -22 unequal?
False
Let f = 144 + -143. Are f and 5/9 equal?
False
Let x = -13 + 12.6. Let k = x - -0.2. Let t = 0.07 + 3.93. Are k and t equal?
False
Let c = -24 + 26. Which is bigger: 1 or c?
c
Let x(g) = -g**3 + 6*g**2 + 4. Let c be x(6). Suppose -5*j = -j - c. Suppose j + 2 = -3*i. Is i <= 2/7?
True
Let i be (4/(-5))/((-8)/1340). Let j be (-2)/9 - i/450. Let r = j + 3/25. Is r equal to 1/2?
False
Let a = -28 + 86/3. Suppose -7*n + 8 = -3*n. Suppose 0 = f + f - n. Is f != a?
True
Let b be 12/72 - 799/18. Let x = -44 - b. Which is smaller: 0 or x?
0
Suppose -3*k - 10 = -6*k - 4*g, 0 = 2*g - 8. Is k != -4?
True
Let b be 3*(1 + 610/(-615)). Is 1 equal to b?
False
Let h = -15 - -20. Which is bigger: 6 or h?
6
Suppose -12*p + 7*p + 15 = 0. Let b be 11*p/(-3)*1. Is b not equal to 0?
True
Suppose 0 = -0*y - 3*y + 21. Suppose 3*i = y + 5. Suppose -3*b - 17 = -i*j, 4*b + 1 = -2*j + 3*j. Is b at least -2/11?
True
Let b(i) = -i. Let c be b(-2). Suppose -4 = c*d + 6. Which is smaller: -6 or d?
-6
Let a = -0.001 + 5.301. Let r = a - 5. Let n be 1*(1 - -1) + -2. Which is bigger: r or n?
r
Let j(b) = b + 3. Let m be j(-3). Suppose -5*u + u + 4 = m. Is u at least -3/8?
True
Let i be ((-2160)/196)/(-6) - 2. Which is greater: 1 or i?
1
Suppose -q = a + 82, 3*q = -2*q - 4*a - 410. Let u be (159 - -2)*4/8. Let d = q + u. Which is greater: -2 or d?
d
Suppose -3*u