 -1 + z**3 + 0*z**3 + 5 + 3*z**2 - z + z**2. Let o be s(-4). Let w = o + -5. Is 3 bigger than w?
False
Let u = 3470/9 - 386. Let g be 28/21*(-6)/(-8). Is u greater than or equal to g?
False
Suppose 24 = 3*i - 3*f, -108*i + 111*i = 2*f + 22. Is 0.13 greater than or equal to i?
False
Let z(g) = -g**3 - 8*g**2 - 6*g - 1. Let s be z(-8). Suppose s = -3*y - 4. Is y < -19?
False
Let z(x) be the first derivative of -x**3/3 - 2*x**2 - 5*x + 3. Let i be z(-4). Let y(n) = n**2 - 8*n + 3. Let g be y(7). Which is smaller: g or i?
i
Let i = -1.5 - -1.43. Let y = -0.27 - i. Let k = -8 + 8. Is y less than k?
True
Let x be (-230)/(-15) + (-1)/3. Suppose -12*w = -x*w. Which is smaller: w or -9/8?
-9/8
Let t = 5.7 - -1.3. Let g = -14 + t. Let x = -11.9 + 12. Which is greater: g or x?
x
Let h = -0.45 + -5.55. Let j be (-12)/(-6) - (-1 - -1). Suppose 3*d + 1 = -4*k - j, -k - 3 = 3*d. Which is smaller: h or k?
h
Let h be (-5)/3 - 4/(-6). Let w = -1252/5 - -1753/7. Is w <= h?
False
Let v be 7/(3/(-6 - -3)). Let o(y) = -y**2 - 6*y + 8. Let b be o(v). Suppose t - b = -7. Is -6 < t?
False
Let a be ((-414)/(-312))/((-13)/208). Which is bigger: a or -22?
a
Suppose 238 = 9*z - 2*z. Suppose 4*i = -z + 6. Is i greater than -7?
False
Let l = -58 - -90. Let m = 29 + 83. Let z be l/m + 86/(-56). Which is greater: -2 or z?
z
Let v(u) be the first derivative of -u**3/3 + 3*u**2 + 2*u - 3. Let k be v(6). Suppose 0*t - 3*n = t - k, -t - 2 = -n. Is t > 1/7?
False
Let m = 1 + -5. Let r = 43 - 38. Let o = r + m. Are 0 and o non-equal?
True
Let w = 1 - 23. Let s = 23.9 + w. Let d = -71.4 - -71.3. Is s < d?
False
Suppose 12*s = -215 + 35. Which is greater: -24 or s?
s
Suppose -2*k + 862 = -5*d, 4*k - 6*d + 10*d = 1724. Which is greater: 432 or k?
432
Let l be -2 - -4 - 38/12. Let o = 0 + -2. Which is smaller: o or l?
o
Let x = 95.2 - 95. Which is bigger: x or 1/268?
x
Suppose k + 3*t = 15, 4*k + t - 5 = k. Suppose 0*g + 3*g - 45 = k. Is 16 at most g?
False
Let x be (-2)/5*-10 - -2. Let b be -2 - (x + -2)*(-16)/28. Which is smaller: -7 or b?
-7
Let w be -16 + (-20 - 12240/(-342)). Suppose 0 = -0*f + 3*f. Do w and f have different values?
True
Suppose 0 = 15*t + 35*t - 50. Let g = 11044/21 - 526. Which is bigger: t or g?
t
Let g = -1729 - -89911/52. Is g at most as big as -1?
False
Suppose -3*w - 2*r = w + 52, 3*w + r = -38. Let s = 8 + w. Is -8 less than s?
True
Let m = -45/22 + 5311/2618. Let x = m - -264/1547. Which is greater: 1 or x?
1
Let h = -2.7 - -2.57. Let t = h - 0.07. Which is smaller: t or 5/4?
t
Let t(f) = f**3 - 6*f**2 + 5*f. Let h be t(5). Let m = -5567/11 - -507. Which is bigger: h or m?
m
Let b be 51/15 - 6*(-3)/(-45). Is b > 3?
False
Let k be ((-4)/48)/((-2)/(-184)). Which is greater: -7 or k?
-7
Let d(y) = 2*y**2 + y - 1. Let i be d(1). Let r(b) = 5*b - 32. Let u be r(6). Let m(k) = -6*k - 11. Let c be m(u). Which is smaller: c or i?
c
Let m = -131 + 193. Let q = 61.78 - m. Is q >= 1?
False
Suppose -41*s = -6*s + 8855. Is -1 bigger than s?
True
Let y = 1952/117 + -201/13. Is y at most as big as 2/15?
False
Let y = 21917 + -153679/7. Let h = y - -37. Suppose 2 = -5*m + 7. Are h and m equal?
False
Let c = -507152/161 - -3150. Which is smaller: c or -1?
-1
Let p be 24 + -1 + 12/(-4). Let z = -57 - -29. Let g be 8/(-20) - z/p. Which is bigger: 2 or g?
2
Let s = 10.91 + 0.09. Let p = s + -12. Let k = 0.2 + p. Is 1 >= k?
True
Let n = -5 + 4. Let w be 8/14 - (-8 - -10). Is n bigger than w?
True
Let t(u) = 83*u. Let b be t(-1). Let k = -417/5 - b. Is 1 at least k?
True
Let o be (-66)/(-9) + 2/3. Let n(g) = g + 3. Let p(k) = -k. Let x(i) = n(i) + 2*p(i). Let t be x(-5). Is t greater than o?
False
Let r be (-1)/(-1)*-2 - 0. Let h be r/7*(-2)/(-4). Are 1 and h non-equal?
True
Let p be (-6)/15 + (-162)/(-5). Let s(b) = 2*b**3 - 4*b**2 - 13*b + 20. Let u be s(4). Are u and p unequal?
False
Let j = 38617/2520 + -635/168. Let g = j - 111/10. Do 0 and g have the same value?
False
Let v = 207 - 191.1. Let h = v - 16. Is h != 2/9?
True
Let q be ((-25)/(-875))/(3/(-6)). Let o be (1/1 - 1)*-1. Which is bigger: o or q?
o
Let r = 19 - 17. Suppose -42 = 3*k - 4*k - h, 5*k - r*h - 196 = 0. Which is bigger: 41 or k?
41
Suppose -63 + 21 = 7*h. Let r be -5 - (h - (0 + -3)). Let o = -1 - 2. Is o < r?
True
Let a(y) = -8*y + 1. Let s be a(0). Let p be (-2)/1*s - (-16)/(-6). Which is smaller: p or -6?
-6
Let a be (-147)/(-120) - 6/(-30). Let y = a + 3/40. Suppose -3 = m - 4*m. Is m not equal to y?
True
Let k = 20/13 - 528/377. Suppose 3*r - 7*r = -a + 2, 0 = -a - 2. Which is smaller: r or k?
r
Suppose 0 = v - 1. Let s(o) = -14*o + 7. Let u be s(2). Let p be 12/u - 45/(-42). Is v <= p?
False
Let b = -763 + 763.14. Which is bigger: b or 0.09?
b
Let x = -9.4 + 9.97. Let d = -0.29 + x. Let u = d - 0.18. Is 2 equal to u?
False
Suppose -12*t - 13 = -829. Let y = 273/4 - t. Are -2/5 and y unequal?
True
Let l be ((-12)/(-5))/4 - 4168/(-72). Let v = -298/5 + l. Are v and -1 unequal?
True
Let u be (-6)/3 - 1*-3. Let c be -7 + 10/110*82. Is c less than or equal to u?
True
Let l(o) = -o - 4. Let h be l(-6). Suppose -6 + 2 = h*c. Which is smaller: c or -4/3?
c
Let v = 96 - 96. Let q be (-6)/10*(-4 - -5). Which is greater: q or v?
v
Let n be ((-48)/252)/(30/(-35)). Let m(u) = u**2 - 8*u + 4. Let g be m(6). Let f(k) = -k - 8. Let p be f(g). Which is smaller: p or n?
p
Let r(j) be the second derivative of j**5/20 + j**3/2 - 3*j**2/2 - 35*j. Let h be r(1). Which is greater: h or 2/57?
h
Let d(f) = 5*f**2 - 52*f + 4. Let k be d(10). Is -7 at least k?
True
Let a = -832 - -833. Are -24/65 and a equal?
False
Let o = 482 + -1450/3. Which is smaller: o or -25?
-25
Let c(u) be the first derivative of u**4/4 + 7*u**3/3 + 5*u**2 + 6*u + 15. Let i(n) = n + 2. Let o be i(-8). Let d be c(o). Do -18 and d have the same value?
True
Let j = 1138 - 1138. Which is smaller: -2/1439 or j?
-2/1439
Let j be (-5 + 11)/6*-5. Let h be 1 + 0 + 1 + -2. Suppose -5*k + 3*u - 12 = 7*u, -5*k + 3*u - 26 = h. Which is bigger: k or j?
k
Let f(a) = a - 11. Let d be f(-9). Suppose -24*b - 762 = -258. Which is bigger: d or b?
d
Suppose 0*u = -3*u. Suppose 5*j = -3*m + 49, u*j = j + m - 11. Suppose -3*y = x + 1, y = x - 3*x + 13. Are j and x non-equal?
False
Let l = 26 + -49. Let b(g) = g**2 + 3*g - 50. Let h be b(-7). Which is smaller: l or h?
l
Let k be 4 - 8/(-54)*(-4401)/162. Is k > 0?
False
Let k = 6 + 2. Let f be ((-10)/(-24))/(k/(-12)). Let q(x) = -x**2 - 6*x - 10. Let g be q(-4). Which is smaller: g or f?
g
Suppose -160 = -6*c + 4*c. Suppose 0 = 11*x - x - c. Is x at least as big as 7?
True
Let p = -0.05 - -2.35. Let j = 1.4 - p. Let z = 0.9 + j. Is 1.7 smaller than z?
False
Let j be 6 - ((-8)/28 - (-16)/7). Let o be (2/(-4))/(j/(-38 + -2)). Is o equal to 52/11?
False
Suppose -2*n - 16 = 2*n. Let j be (n - 0)/((-8)/6). Let g be (73 + j)/(-4) - 2. Is g at most -22?
False
Suppose -2*j - 3*j = 0. Suppose -2*s - 44 = -13*s. Which is smaller: j or s?
j
Suppose 2*r - 5200 = -4*p, 0 = -3*r - r - 2*p + 10376. Let f = -25220/9 + r. Let j = -210 - f. Which is smaller: j or -1?
-1
Suppose 0 = -13*s + 11*s + v - 5, -20 = -4*v. Which is smaller: s or 1/119?
s
Let o(z) = -z**3 - 7*z**2 - 4*z + 14. Let r be o(-6). Suppose r*a - 6*m + 53 = -m, -2*m = 4*a + 118. Let w = -30 - a. Which is greater: -1/43 or w?
-1/43
Let q = -3/595 + -1779/1190. Let c = 22 - 24.2. Let o = -2 - c. Is o greater than or equal to q?
True
Let p = 256 + -255. Is p <= -8/25?
False
Let h be (-19 - -1 - -2)*1. Suppose 96 = -5*d - 2*a, -4*d - 26*a + 22*a - 84 = 0. Which is bigger: d or h?
h
Let l be ((-7)/(-3) - 2)/((-5)/15). Let i = -21 + 21.05. Do l and i have different values?
True
Suppose 21*i - 1566 = -13977. Is i at most as big as -591?
True
Let h = 15 + -9. Suppose -h*j = -9*j - 24. Let r = 50 + -54. Is j at most as big as r?
True
Let u = 1 + -2. Suppose 0 = 4*q + 154 - 34. Let r be (-20)/(-50) - 2/q*-2. Which is bigger: u or r?
r
Let j = 161 + -161. Suppose 3*z + 2*z + d + 32 = j, -3*z - d - 20 = 0. Which is smaller: z or 1?
z
Let u(m) be the second derivative of -m**5/20 + m**4/2 + 7*m**3/6 - m**2/2 - m. Let n be u(7). Let q = 559/6 - 6137/66. Is n > q?
False
Suppose -r = -5*r. Let l = 2 + r. Suppose -2*t + 8 = 0, t + l = -2*p - 2*t. Do p and -7 have different values?
False
