 derivative of -d**3/6 + 4*d**2 - 5*d. Let s be x(6). Is s != 4?
True
Let v = -14.137 - -0.137. Is v greater than 2?
False
Suppose -2*a + 1 = -0*a + 3*y, 3*a = 2*y + 8. Suppose a = -2*h - 5*p - 5, -3*h - 5*p = 8. Suppose 2*o = 10 - 2. Is h greater than or equal to o?
False
Let y = 0.8 - 0.6. Let o be (-36)/(-5470)*(-1800)/(-42). Let h = o - -2/547. Is h != y?
True
Suppose -1 = 3*u - 13. Let l be 1/1 - (-5 - -7) - -3. Let a be u/(-24)*l*-3. Is a > 3?
False
Suppose 3*p + 2*w - 6 - 7 = 0, -8 = 2*p - 2*w. Which is smaller: 1/108 or p?
1/108
Let c = -79 + 78. Suppose 6*d = 2*d - 12. Let o be (3/d)/(2/(-4)). Which is smaller: o or c?
c
Let j(h) = -2*h**2 + 8*h + 40. Let a be j(7). Is a smaller than -25/16?
True
Let m be (-39)/(-65) + 2217/105. Which is smaller: 21 or m?
21
Let v = 1275 - 1258.98. Let s = v + -0.02. Let y = 15 - s. Is y >= -1?
True
Let m = 412 + -409. Suppose 0 = 4*t - 8 - 0. Let a = m - t. Which is greater: a or -2/35?
a
Let a = -16 + 24. Let i be 2/10*a - 15/25. Is 1 <= i?
True
Let m = -1259/20 + 63. Suppose 2*k + 6 = 3*v, -2*v + 2 + 7 = -3*k. Which is smaller: m or v?
v
Let i = -8 - 9. Let f = i + 17. Suppose 5*p = -o - 3*o + 34, 3*p + 6 = f. Is 11 >= o?
True
Let u = -1959/7 - -30071/105. Is 7 at most u?
False
Let p(f) = -f**3 - 4*f**2 - 1. Let d be p(-4). Let t = -509/11628 + 10/171. Which is bigger: d or t?
t
Let s be (18/(-10))/(3/(-10)). Let z(l) = l**2 - 3*l - 6. Let g be z(s). Which is bigger: g or 11?
g
Let r = -1063 + 1985. Which is greater: -2/3 or r?
r
Let j be ((-43)/3)/(5/(-45)*3). Is 87/2 <= j?
False
Let v = -0.14 - 1.66. Let a = 0.5 - v. Let h = 2.5 - a. Is h not equal to -7?
True
Suppose 5*w + 2*q = -q - 15, -w - 15 = 3*q. Let u(v) = v**3 + 3*v**2 - 2*v - 3. Let t be u(-3). Which is smaller: w or t?
w
Let w = -70 + 62.8. Let q = w - -5.2. Which is smaller: q or -2/5?
q
Let b = 8 - 7. Suppose -526 = 3*s + 527. Let d be (-9)/s*(-12)/10. Which is smaller: d or b?
d
Let w = 272/1965 - 2/393. Let o = 0.29 + -11.29. Let d = o - -11. Which is smaller: d or w?
d
Let l be ((-25)/9135)/(15/(-18)). Which is smaller: l or 0?
0
Let r = -30 + 12. Let f = -5 - -25. Let j = r + f. Is -1 at most as big as j?
True
Let u(z) = 80 + z**2 + 81 - 159. Let g be u(1). Suppose 5 = -0*h + 5*h. Do h and g have the same value?
False
Let j be (-1)/2*(9 - 122/14). Which is greater: j or -2/69?
-2/69
Suppose -9*w + 5*w = -36. Let m be -1 - (w/(-4))/(6/16). Which is bigger: m or 6?
6
Suppose -3*h + 4*g - 1 - 4 = 0, -4*h + 2*g + 10 = 0. Suppose 4*x - h*x - 19 = 5*b, -4*x = -3*b + 53. Is x at most -14?
True
Let l be 4/(-14)*(-469)/(-402). Is -1.84 bigger than l?
False
Let a be -3 + (-10)/(-3) - 28/(-6). Suppose -a*u + 2*p = -p - 10, -3*u = 3*p - 30. Do u and 4 have the same value?
False
Let u(z) = 3*z + 4. Let s be u(0). Suppose -j + s = 138. Are -133 and j nonequal?
True
Suppose 0*m - 270 = -9*m. Do m and 27 have the same value?
False
Let f = 224 + -224. Are -2/9 and f equal?
False
Let q be (-57)/(-95) + 4/10 + 0. Is q < -1/3577?
False
Suppose 3*s + 11 = -2*i, -i - 5*s = 26 - 3. Let b be i*((-18)/(-4))/1. Let y be (4/(-6))/(129/b). Which is smaller: y or 1?
y
Let y = 12 + -11.94. Let s = 0.16 - y. Which is smaller: 17 or s?
s
Let d = -1591/96 - -19/96. Which is smaller: -15 or d?
d
Let y(x) be the first derivative of -x**4/4 - 5*x**3/3 - 3*x**2/2 - 8*x - 1. Let h be y(-4). Let k = -13 - h. Which is smaller: 3/7 or k?
k
Suppose -2*t + t + 4 = -4*v, 5*t - 4*v = -28. Suppose 2*n = -2*f - 28, 4*n + 24 = 4*f - 0*f. Is n equal to t?
False
Let s = -0.3 + 0.34. Suppose -8 = -7*k + 5*k. Let b be (-9)/12*k/6. Which is greater: s or b?
s
Suppose -1689 = -16*s - 4633. Let d be 2/(-11) - (s/44 + 4). Is d >= 0?
True
Let z = -14 + -3. Let j = z + 19. Suppose -2*r + 20 = -f + 2*r, f + j*r - 10 = 0. Is f at most 0?
True
Let m = -792 - -791. Let h = -25 - -26.7. Which is bigger: m or h?
h
Let f(l) = -27 + 31 - 3*l**2 + 2*l**2. Let y be f(0). Suppose -6*a - 18 = -y*a. Which is smaller: a or -8?
a
Let t(s) be the third derivative of -1/60*s**5 + 0*s + 0 + s**2 + 1/6*s**3 + 1/12*s**4. Let o be t(2). Which is bigger: o or 5/6?
o
Suppose -g - v - 59 + 2 = 0, 4*v = -2*g - 118. Which is smaller: g or -56?
-56
Let h = 4102/7163 + 80/247. Let g = h + -228/319. Which is greater: 1 or g?
1
Suppose 5 + 31 = -3*j. Let p = j - -5. Let a be (-7 - p) + -1*4. Is -4 at most a?
True
Suppose -29 = -2*o - 5*u, -5*o - 15 = -9*u + 4*u. Let y be 3*o/6 + -8. Suppose 0 = 5*d - 6*d - 6. Do y and d have the same value?
False
Let k = -20794 + 34164540/1643. Is -1 greater than k?
False
Suppose 24 = c + 3*c - 5*b, -5*c + 9 = -b. Let n be -6 - (-1)/(4/c - 3). Which is bigger: n or -4?
-4
Let o = -300 - -304. Is -4.2 less than o?
True
Let r = 27 + -47. Let o = r + 40. Let l be (1 - -3)*10/o. Which is greater: -2 or l?
l
Let m be 9/(-3) + (452/164)/1. Which is greater: 1 or m?
1
Let g = 305 + -278. Is 28 less than or equal to g?
False
Let r = -44 - -43.8. Let s = 49 - 41. Is r at most as big as s?
True
Let x be 3/(0 - 3) + (-2501)/(-6). Let u = -417 + x. Which is smaller: -2 or u?
-2
Let q = -1763 - -1728. Which is smaller: q or 12?
q
Let x = -1834 - -53192/29. Let p = -121/116 - x. Which is bigger: p or 0?
0
Let i(d) = d**2 + 9*d - 37. Let g be i(-10). Is -30 bigger than g?
False
Let t = 2509 + -2510. Is t greater than -0.081?
False
Let p(d) = d**3 - 13*d**2 + 4*d - 51. Let t be p(13). Which is bigger: t or 3/17?
t
Let j = -2.7 - 0.3. Let t = j - -2. Let o = t - -1.4. Is 2 less than o?
False
Let b be -6*313*30/(-6). Let d be (-2)/(-19)*b/4. Let h = 247 - d. Which is smaller: 1 or h?
h
Let k = -3 + 1. Let a be (k - 1) + 21/(-7). Let h be (-24)/16*2/a. Which is smaller: -7 or h?
-7
Let v = -877 + 850. Is 1 at most v?
False
Let o be (-20)/40 - (-9)/12. Which is smaller: o or 0.12?
0.12
Let n = -5 + 4. Suppose -252 - 3276 = 7*f. Let j = 21670/43 + f. Which is smaller: j or n?
n
Suppose -3*l = 2*j - 41 + 157, l + 264 = -5*j. Let n = j + 48. Which is bigger: -3 or n?
-3
Let x be 4/93*(-8 + -13 + 18). Which is smaller: -1 or x?
-1
Let r = 160 + -181. Suppose -4*m + 6*m + 44 = 0. Which is smaller: r or m?
m
Let x(s) = -9*s + 163. Let a be x(18). Let h = -14/25 + 76/225. Is h at most a?
True
Suppose j - 2*a - 3 = -8, 5*a - 6 = -4*j. Let k = 3 - 2. Are j and k unequal?
True
Let f = -39/2 - -19. Let h = -531.7 + 533. Is h < f?
False
Let d be -51*((-224)/(-54))/7. Which is smaller: -30 or d?
d
Let q be 1/(3/(-3)) - (5 - 1). Let r(y) = y**2 + 4*y - 6. Let o be r(q). Which is smaller: o or -2?
-2
Let v be ((-100)/150)/(2/27). Which is smaller: -1/4 or v?
v
Suppose 10*v = -k + 12*v + 156, -4*k = -5*v - 627. Does 156 = k?
False
Let s(c) = 3*c + 4. Let u = -23 + 21. Let m be s(u). Suppose 3*d + 30 = 3*g, d + 11 = 4*g - 14. Is m bigger than g?
False
Let h = -32 + 37. Suppose -3*x - 290 = h*r, x = -r - 40 - 20. Is r bigger than -55?
False
Let o(p) = -p**2 + 16*p - 54. Let x be o(5). Is x equal to 2/1983?
False
Let h be 57568/256 + -2*(-3)/48. Which is smaller: h or 222?
222
Let f(y) be the second derivative of y**5/20 + y**4/6 - y**3/3 - 3*y**2/2 - 9*y. Let k be f(-2). Is 1/54 greater than or equal to k?
False
Let k = -8.5 - -0.9. Let q = k - -9. Is 1/2 not equal to q?
True
Let d(y) be the first derivative of y**2/2 + 3*y - 3. Let b be d(3). Suppose -5*p + b = 11. Which is smaller: p or -4?
-4
Let u(w) = 4*w + 65. Let m be u(0). Which is smaller: 66 or m?
m
Let h = 18 - 11. Suppose 4*c + 40*s - 16 = 47*s, -3*s + 23 = c. Is h > c?
False
Let m = -74 + 78. Suppose 8*t = -5*p + m*t + 13, -4*p + 14 = 5*t. Do p and 0.029 have different values?
True
Let r(l) = -4*l**3 - 3*l**2 + 12*l + 9. Let d be r(4). Which is smaller: d or -246?
d
Let z = 29593/2398 - -5/218. Do z and 12 have the same value?
False
Let u = -1.3 + 11.3. Let v = u + -6. Let p = 195 - 195. Are p and v equal?
False
Let t = -12 + 15. Suppose -j - 2*r = j, 0 = t*j + 4*r. Suppose -8 = 4*h + 3*p, -5*h = -2*p + p + 10. Does j = h?
False
Suppose 0 = 51*x - 46*x - 40. Suppose -13*w + 50 = -x*w. Which is smaller: 37/4 or w?
37/4
Let a = 209 - 192. Suppose -2*x - 90 = -7*x. Is x != a?
True
Suppose -64*b - 9*b = -19*b. Which is greater: b or -51?
b
Suppose 7*t = -5*w + 3*t + 20, -4*t = -20. Let n = 2/5573 - 5685/312088. Which is smaller: w or n?
n
Let k = -4.74 + 4