be the first derivative of t**3/3 + 9*t**2/2 - 2*t + 1. Let p be n(-9). Is p at most -2?
True
Let p be (-12)/8 + 1 + (-3)/1. Let w = 0.1 - 0.2. Is p at most as big as w?
True
Suppose -3*b = -b + 2*k + 16, -2*b + 5*k - 2 = 0. Which is bigger: -7 or b?
b
Let x = 4.6 + -5. Is 2/3 equal to x?
False
Let o = 8 - 9. Is 1 smaller than o?
False
Suppose 168 = -4*b + 172. Which is smaller: b or -1/4?
-1/4
Let x be (-2 - 64/(-20))/((-6)/(-135)). Is -2/7 at least as big as x?
False
Suppose -2*j = -4*j + 60. Suppose 0 = 2*z + z - j. Suppose -r - 2*a = -3*a + 2, -5*r - 5*a = z. Is r <= -3?
False
Suppose -13*n = 18 - 5. Suppose 0 = 4*j - 1 + 17. Which is smaller: j or n?
j
Let m be 0/(-2 - (-2 - -2)). Suppose -210 = 5*z - m*z. Let h be -2*9/z + 0. Are h and -1 unequal?
True
Let x(t) = t**3 + 2*t**2 - 2*t - 1. Let b be x(-2). Is 2 less than b?
True
Let m(a) = a - 3. Let k be m(3). Let o = k - -2. Is 2 at most o?
True
Let r = -28 + 27. Which is smaller: 1/24 or r?
r
Let r = 2.91 - -0.09. Let h = r - 2.9. Is -2 > h?
False
Suppose 4*q - 3*y = -8, -5*q - 5*y = -3*y + 10. Let x be q - (-1)/((-3)/9). Is -5 > x?
False
Let k = -1.3 - -0.3. Is k less than or equal to 5?
True
Let o(i) = -i**3 + 7*i**2 - i + 10. Let d be o(7). Suppose 0 = p + 2*p + d*z + 27, -4*z = -p + 16. Let f be ((-2)/(-30))/(p/(-10)). Is f > -1?
True
Let u = 0.5 - -0.7. Let n = u - 0.2. Is n < 0.3?
False
Let x = 9.5 - 8. Let r = -1.7 + x. Which is smaller: 6 or r?
r
Let l = -38 - -20. Let b = l + 5. Do -14 and b have different values?
True
Let g(k) = -25*k - 26. Let w be g(-1). Let p = 14632/27 + -542. Which is smaller: p or w?
w
Let b(p) = 2*p - 2. Let t be b(1). Suppose l = 1 - t. Which is smaller: 1/16 or l?
1/16
Let v be (0 - -1) + (-1 - -3). Let f(a) = v*a - 2 + 4*a**2 - 3*a**2 + a**3 - 2*a. Let c be f(0). Which is greater: -4 or c?
c
Suppose 0 = -4*a + 5*a - 6. Which is smaller: 5 or a?
5
Let p be ((-39)/(-15) - 3) + (-318)/30. Does -12 = p?
False
Let a be 8/(-3)*2/(-24). Let w = -0.43 - -1.49. Let h = w - 0.06. Is h less than a?
False
Let m = -2 - -2.04. Let f = 1.96 + m. Is 1 equal to f?
False
Let l = 1 - 0. Let j = 5 + -6. Is j smaller than l?
True
Suppose 9*s = 5*s. Is s less than -1/23?
False
Let p be 2 - (-2 - -1*1). Let q = 7 + -3. Suppose -5*o = -q - 6. Is o less than or equal to p?
True
Let b = -8/503 + -4327/12575. Let f = 6/25 - b. Suppose -3*a + 5*k = -0*k - 11, 0 = -4*a + 3*k + 11. Is a at most f?
False
Suppose 4*o - 48 = -184. Which is smaller: o or -2?
o
Let a = 19.17 + -0.17. Let s = a - 13. Is 1 >= s?
False
Let d = -5 - -6. Let i(u) = u - 2. Let t be i(4). Is d greater than or equal to t?
False
Let g be ((-112)/20)/((-2)/20). Let m be (-26)/117 + g/(-18). Is -3 <= m?
False
Let n = 18 + -8. Suppose -b = -2*r + 3 - 0, 2*b = -3*r + 8. Suppose r*h - 4 = i, h = -h + 4*i + n. Is 1/4 less than or equal to h?
True
Suppose 0 = -4*s + 7*s - 12. Suppose m = -3*m + s. Is 7/5 >= m?
True
Let h = -0.03 + 0.63. Let q = -1 + h. Which is smaller: q or -1/2?
-1/2
Let s(h) = h**2 - 4*h + 1. Let l be s(3). Let c be -4*(-4)/(-5) - (-73)/365. Is c < l?
True
Let o = -0.16 + -1.84. Does o = -1?
False
Let f = -135 - -87. Which is smaller: -47 or f?
f
Let n = -11.9 - -12. Which is smaller: 0.04 or n?
0.04
Suppose 2*w - 3*w - 4 = 0, 4*b + w = -20. Let i be (-14)/(-8)*(b - -8). Which is greater: 5 or i?
i
Let c = 0 + 1. Let o = c - -6. Let s be (1 - 0)/(o - 2). Is s equal to 1?
False
Suppose -3*l + 8*l = c + 12, -2*l - 6 = 5*c. Which is smaller: c or -5?
-5
Let t = -0.1 - -0.2. Let v be (-2)/8 - (-33)/(-44). Is v less than t?
True
Let d be 1/(0/1 + 1). Are -1/4 and d nonequal?
True
Let d be ((-1)/(-5) - 1)*-5. Let g = -57 + 61. Is g >= d?
True
Let f be (-1 - 2) + 3 + 12. Let z = 11 - f. Is z at most -6/7?
True
Let y = 19.91 + -20. Let c = -0.01 + y. Which is bigger: 2/3 or c?
2/3
Let y = 2 + 3. Suppose -g = y*v - 26, -5*g + 26 = -2*v + v. Is g > 6?
False
Let w(i) = 2*i + 1. Let n be w(-2). Let u = n + 18/5. Does -2/5 = u?
False
Let d be ((-1)/(-6))/(10/15). Is 0 at most as big as d?
True
Let q(b) = -6*b + 7. Let n be q(7). Is n at least -34?
False
Let p(n) = 8*n**3 + n. Let o be p(-2). Let h be (-2)/5 - o/15. Suppose -3*u - 1 = -h*u. Which is greater: u or -1?
u
Let j be 0 + 1/(-1) - 2. Let s(r) = 2*r + 7. Let u be s(-7). Let d(b) = -b**3 - 6*b**2 + 9*b + 10. Let c be d(u). Is c bigger than j?
False
Let n = -22 - -9. Let j = n - -9. Let q(t) = -t**2 - 4*t. Let a be q(j). Are a and 1/4 equal?
False
Let p(v) = -v**2 - 6*v - 5. Let l be p(-4). Let x be 0/l - (-2)/19. Suppose -3 = -3*h - 3*w, h - 1 = 4*w - 10. Is h at most x?
True
Let n be (-16)/(-36)*9/(-6). Is n at least as big as 5?
False
Let s(m) = -m**3 + 2*m**2 + m + 4. Let h be s(3). Which is bigger: h or -6?
h
Let c(z) = -z**3 + 2*z**2 + z - 1. Let v be c(2). Let r be 4/24 + (-1)/6. Is r at most v?
True
Let f = 1 + 2. Suppose 0*g = f*g - 9. Suppose -1 = g*t - 10. Which is smaller: 2 or t?
2
Let z(q) be the first derivative of q**3/3 + 3*q**2 - 6. Let a be z(-6). Which is smaller: a or 2/3?
a
Let j = -15 - -17. Is 0 greater than j?
False
Let n = 29.8 + -30. Are -15 and n equal?
False
Suppose 5*r = 10*r. Suppose m + 5*a + 24 = r, -2*m + 7*m - 25 = 4*a. Which is greater: 4/9 or m?
m
Let r = 1708 - 13685/8. Let x = -19/8 - r. Is -1 greater than x?
False
Let y = 1/8095 - -3246088/56665. Let t = -57 + y. Let k = -1.6 - -1.7. Which is smaller: k or t?
k
Let c = -54 - -53. Which is bigger: c or -2/3?
-2/3
Let q = -1.03 + 0.33. Is 1 <= q?
False
Let i = 0 - 0.1. Let l = i + 1.1. Let y = 19 + -16. Is l less than y?
True
Let k be (-2)/(1*(-3)/174). Let d = -929/8 + k. Let q(i) = -i**3 - 3*i**2 + 5*i + 3. Let o be q(-4). Does o = d?
False
Let c(x) = x**2 - 7*x - 1. Suppose 0 = 5*t + 2*z - 23 - 6, -4*z + 16 = 4*t. Let h be c(t). Which is bigger: 2/9 or h?
2/9
Let i be (-1)/1 - (1 - -1). Suppose 3*j - 60 = -2*j. Suppose 7*t - j*t - 25 = 0. Which is smaller: t or i?
t
Suppose 4*n - 12 = -0*n. Let o = -16 + 10. Let h = o - -10. Is h >= n?
True
Let i(n) = -2*n + 25. Let m(a) = -a + 13. Let x(j) = 3*i(j) - 5*m(j). Let v(c) = -6*c + 39. Let w be v(5). Let k be x(w). Is k equal to -4/11?
False
Let r = 2 - 9. Which is bigger: r or -0.09?
-0.09
Let r(m) = -m**3 - 4*m**2 + 6*m - 4. Let v be r(-5). Let y be v/(-3) + 0/(-1). Suppose -g - 6 = -2*b, -5*b + 4*b = 4*g + 6. Which is greater: b or y?
y
Let y be 0 + -2 + 1*2. Let r be (2/(-10))/(-5*(-5)/75). Which is greater: y or r?
y
Suppose -5*f + 3 = -2. Let i be (-4)/8*(80/(-36) - -2). Which is greater: f or i?
f
Let u = -60 + 59. Is -3/7 less than or equal to u?
False
Let t(o) = -o - 9. Let i be t(-10). Let u = -1 - 2. Let k = u - -3. Which is bigger: i or k?
i
Let p(f) = -f + 8. Let o be p(0). Suppose h = 2*h - o. Suppose 0 = 3*r + h - 5. Which is smaller: -2 or r?
-2
Let s = -49 - -50. Is s bigger than 0.14?
True
Let c be -1 - (-1 - -1)/(-3). Let y = c + 4. Is y less than or equal to 2?
False
Let a = 46 + -41. Which is smaller: -1/4 or a?
-1/4
Let c(l) = 2*l - 27. Let v be c(13). Which is smaller: -2/51 or v?
v
Let x be 2*3/18*(6 - 3). Let t = -466 - -5130/11. Which is smaller: x or t?
t
Let c = -2503/30 - -167/2. Suppose -5*s + 5 = 10. Is s smaller than c?
True
Let y = -8.19 - -0.19. Let m = y + 6. Which is smaller: m or 3?
m
Let z be ((-388)/(-198) + -2)*(-6)/(-44). Which is greater: 1 or z?
1
Let l = -0.38 + 23.38. Let z = -19 + l. Is 2 at most z?
True
Let f(i) = i + 11. Let t be f(-5). Let m be 4/12 - (-2)/t. Is 0 smaller than m?
True
Let z = 6.4 + -4.4. Let x = 0.2 + -0.2. Which is smaller: z or x?
x
Let n = -45894/13 + 9223108/2613. Let x = n - 4/67. Is x at least -1?
True
Let p(b) = -b**3 - 15*b**2 + 17*b + 11. Let c be p(-16). Is -8 bigger than c?
False
Let t = 20 + -23. Is t greater than or equal to -4.1?
True
Let s(g) = 2*g - 15. Let v be s(7). Is v bigger than -1/5?
False
Let y = 2 - 1. Suppose -l = -6 + 14. Let d be l/(-5) + -1 + 0. Which is bigger: d or y?
y
Let y be (-140)/72 + -1 + 3. Which is smaller: y or 0?
0
Let u(y) = y**3 - 6*y**2 + 7*y - 3. Let v be u(5). Let k = -10 + v. Which is smaller: k or -2?
k
Let u be (-5 - 20)*-2*1. Let t be 4/18 - u/(-18). Suppose g = a - 6, -2*g - t = 3*a - 1. Is g at least -4?
True
Suppose -3*w = -5*x + 56, 4*w + 11 - 43 = -4*x. Is x less than 10?
False
Let r = 1 + -1. L