Let m(z) = -2*z**3 + 4*z**2 + 1. Let o(a) = -2*a**3 + 3*a**2 + 1. Let k(j) = 5*m(j) - 6*o(j). Let n be k(-1). Let d be 1 + n + 0 + 2. Is d bigger than 1/2?
True
Let b = 21 - 29. Which is greater: 1/2 or b?
1/2
Let k(z) be the third derivative of z**6/120 + 2*z**5/15 + 7*z**4/24 - 4*z**3/3 + 8*z**2. Let w be k(-7). Is -7 > w?
True
Let x(o) = 2*o - 4*o - o + 3. Let w be x(4). Is -9 less than w?
False
Let y be (16/10)/((-6)/(-15)). Suppose 3*x - 2*a = 31, -y*x + 22 + 11 = -a. Are x and 6 nonequal?
True
Suppose -14*d = -11*d - 3. Which is smaller: d or -1?
-1
Suppose -5*n + 27 = -8. Which is smaller: n or -3?
-3
Let f be (4 + 2)*(-2)/(-3). Let u = f + -5. Let q be (-1)/3*(1 - u). Which is smaller: q or -2?
-2
Suppose 4 = -18*t + 14*t. Let d be 2/(-3) - (-16)/26. Which is bigger: t or d?
d
Let r = 3 + -3.4. Let g = 0.5 + r. Let b = -0.2 + g. Is 2 less than b?
False
Let r be -1 + -2 + (-40)/(-12). Is -3/7 greater than or equal to r?
False
Let q(a) = a**3 - 3*a**2 + 2*a + 1. Let g = 12 + -10. Let d be q(g). Does d = -2?
False
Let p(d) = d + 1. Let b be p(-2). Let j = -0.14 - -0.08. Let t = 0.16 + j. Which is smaller: t or b?
b
Let o be (-10)/25 - 21/(-15). Which is smaller: o or 3?
o
Let x(o) = o + 4. Let w be x(-4). Let r be (-1)/4 + 18/8. Let u be (r/8)/((-1)/(-4)). Which is greater: u or w?
u
Let i be ((-12)/(-8))/((-7)/6). Is -2 <= i?
True
Let s = 29 + -29.3. Which is smaller: -7 or s?
-7
Let c = 40 + -37. Are c and 5/3 non-equal?
True
Suppose 5*h + 14 = 3*b, 5 = -5*b + 5*h + 15. Is -2 at least b?
True
Let b be -2 - (-142)/154*-16. Let h = b + 116/7. Which is smaller: 1 or h?
h
Let x(t) = t**2 - 5*t + 4. Let w be x(4). Let h be ((-6)/27)/(-1 + 1 + -2). Which is bigger: h or w?
h
Let t be 1 + (4 - 12) + 3. Suppose -5*g = v + 12, 2*g = 5*g + 4*v + 14. Is t bigger than g?
False
Let h(c) = -c**3 + 8*c**2 - 5*c - 12. Let i be h(7). Is 5 <= i?
False
Let w be ((-1)/3)/(1/(-3)). Let b = -1412 - -9907/7. Let y = b - 145/42. Which is smaller: w or y?
y
Let v be (-1)/(-3) - 130/570. Which is smaller: v or -1?
-1
Let k be (-1 + (-2)/10)/(12/(-160)). Is k greater than or equal to 16?
True
Let h be ((-40)/(-25))/4 + 8/30. Is 0.3 less than h?
True
Let x be ((1 - -2)/3)/17. Are x and -0.2 equal?
False
Suppose 3 = -3*n + 4*n. Let f be -3 + 18/21 + n. Do 2 and f have different values?
True
Suppose 0 = -2*d - 0*d. Is 1 greater than or equal to d?
True
Let v = 651/16 + 2167/48. Suppose -4*u = -2*i - 188, -4*u = -3*i + u - 278. Let s = v + i. Is 1 at least s?
True
Let q = 8 + -6. Let h = -12 + q. Let n be (-8)/h*(-3 - -8). Is 4 smaller than n?
False
Let q be -8 + 6 + 8/3. Is q not equal to 0?
True
Let a = 26024/273 - 286/3. Let n be (-7678)/(-45045) + (-4)/10. Let y = a - n. Which is smaller: y or -0.1?
-0.1
Let i(b) = b**3 + 5*b**2 - 2*b - 4. Suppose 3*f = 6*f + 15. Let j be i(f). Let l be (-2)/j + 6/72. Are l and 0.01 nonequal?
True
Let a = -2 - -1. Let m = -2425 + 143079/59. Let s = 154/531 - m. Is a bigger than s?
False
Let w = 3.8 - 4. Let y = 0.25 + w. Let i = y - 0.09. Which is bigger: i or -1?
i
Let i(n) = n**3 - n**2 - n - 1. Let g be i(2). Are g and 1/6 unequal?
True
Let g = -2 - 13. Let d be (8/(-10))/1*g. Suppose -t = v, v + d = 5*t - 0*t. Is 1 bigger than v?
True
Suppose 2*u - 4*u = -6. Suppose 4*o - u = o. Let n be 0/((5 - o) + -2). Is 0 >= n?
True
Let d(i) = -2*i - 21. Let l be d(-12). Which is greater: l or 0?
l
Let x = -1.1 + -144.9. Do x and 1 have the same value?
False
Let v = 3 + -19. Let i = 19.08 + v. Let j = -0.08 + i. Is j equal to 0?
False
Let q be 2/(22/6 - 3). Suppose q*g = -g + 4. Suppose -4*w = g + 3. Is w less than or equal to 1/3?
True
Let a = 4/33 + -5/11. Let p = -1.6 + -0.4. Which is greater: p or a?
a
Suppose 5*z = -5*b + 40, 0 = 2*b + 3*b - 3*z - 32. Is b != 7?
False
Let z be 40/18 + (-30)/135. Suppose z*u - 7 = -1. Which is greater: u or -2/9?
u
Suppose -858 = 5*i - u, 0*u = -u + 3. Let d be (-2)/(-4) - i/(-198). Is 0 >= d?
True
Suppose 4*r + 6 - 18 = 0. Let v(d) = -d + 3. Let m be v(r). Let h = 76/585 - -6/65. Is m != h?
True
Suppose 2*d - u - 1 = 0, -3*d - u - 3 = -7*d. Let s = -75 - -599/8. Which is smaller: s or d?
s
Let d = 1 + -2. Let i = d - -0.7. Which is bigger: -2 or i?
i
Let y be (252/(-15))/((-4)/20). Let r be 3*-1 + y/30. Is r greater than or equal to -1/5?
True
Let o = -2.92 - 0.08. Which is greater: o or -1/5?
-1/5
Let j(f) = 6*f**3 - f**2 - 2*f**3 - 3*f**3. Let r(o) = -o + 5. Let p be r(4). Let z be j(p). Which is smaller: z or -2/7?
-2/7
Let g = 18 + -12. Suppose 4*h + k - g*k + 1 = 0, 2*h = 2*k. Let l = -6 + 5.7. Which is smaller: h or l?
l
Suppose v - 4*v + 12 = 0. Suppose 1 - 10 = v*t + 5*g, 2*t = 2*g + 18. Let p(n) = -n**3 + 3*n**2 + 3*n + 2. Let b be p(t). Is -2 <= b?
True
Suppose -3*m = -6*q + 4*q + 122, 3*m + 94 = -5*q. Which is smaller: -37 or m?
m
Suppose 3*g = 15 + 6. Suppose -4*u + g*u = m + 1, m - 4*u = -4. Suppose 3*c = 7*c - m. Which is smaller: c or 1?
1
Suppose 2*i - 12 - 4 = 0. Let g = 20 + -11. Which is smaller: i or g?
i
Suppose 3*f = 8 + 1. Suppose 2*u = -2*j, j - f = -2*u - 2*u. Let l be -2*(j + 3/(-6)). Is 1 smaller than l?
True
Suppose -2*s + 2*k = -4, -3*s - 8 = -2*s + k. Which is bigger: -4 or s?
s
Let j be (4/(-10))/((-39)/(-45)). Which is smaller: -1 or j?
-1
Let x be (3 - 6)*(0 - -1). Suppose -j = -5*j - 8. Let k be (-8*j/4)/(-2). Is k at most x?
False
Suppose 5*j = 8*j - 3. Let g be (-2)/(-1)*(-2)/(-6). Is j not equal to g?
True
Let p = -0.29 - -0.39. Let s = 15/22 + -1139/1606. Let x = 77/146 + s. Which is bigger: x or p?
x
Suppose -6*g + 223 = 7. Which is smaller: g or 1?
1
Let k = -0.28 + -0.72. Suppose 6 = -3*r + 4*r. Is r greater than or equal to k?
True
Let w = -3.82 + 0.22. Let j = w + 0.6. Is 1/4 at most j?
False
Let z = -62 - -64. Which is smaller: 13/9 or z?
13/9
Suppose 3*l = -2*s - 8, -3*l - 4 = 3*s - 2*s. Is -4 at most as big as s?
True
Let v be (2 - 1)*(-14)/217. Let h = 48/217 - v. Which is smaller: h or -0.3?
-0.3
Let t = -8.4 + 1.4. Let x = t + 12. Which is smaller: 0 or x?
0
Let h = -40/11 + 178/55. Let c = 0.216 + -0.516. Which is bigger: c or h?
c
Let f = 1.02 + -1.9. Let d = -0.12 + f. Is -2 less than or equal to d?
True
Suppose 3*s + 1 = 4*s. Suppose n = 5*w - 20, 0 = n + w - 3 - s. Is n at least as big as 5?
False
Suppose x = 2*f + 1, -4*x = -6*x + 5*f + 1. Suppose 2*t - t = -x. Which is greater: -2 or t?
-2
Let o = 171/2 - 84. Is 3 not equal to o?
True
Suppose 5*w + 31 + 8 = -4*s, s = 3*w + 3. Let k be (1 + 12/(-14))*s. Is 0 bigger than k?
True
Let q(x) be the second derivative of x + 1/6*x**3 + 0 + 5/2*x**2. Let j be q(-6). Which is smaller: 5 or j?
j
Let y be 3 - (19 + -3)/(-2). Do y and 11 have the same value?
True
Let a = -0.02 + 7.02. Let t = 1.4 - 4.4. Let o = t + a. Is 0.1 > o?
False
Let r = 22 - 21. Let p = 397/7 + -57. Is r greater than p?
True
Suppose n + 12 = 3. Let v = n - -15. Suppose -3*m + v = -5*o, -2*m + 0*o + 4 = o. Is 4 less than or equal to m?
False
Let h = -15 - -8. Let d = -6.8 - h. Is d at most 1/4?
True
Let d = -0.05 - -0.03. Do d and 1/4 have the same value?
False
Let c(y) = y**2 + 3*y - 2. Let m be c(1). Let w = 1 - 2. Let j = 1 - w. Is m equal to j?
True
Let r(l) = -l**3 - l. Let z(a) = 3*a**3 + a**2 + 2*a - 1. Let o(c) = 5*r(c) + 2*z(c). Let w = 3 + -5. Let n be o(w). Are n and 0 nonequal?
False
Suppose -v - 5*o + 36 = 0, v + 2*o = -0*v + 45. Let x = -34 + v. Which is smaller: 18 or x?
x
Let u = 5.03 - 0.03. Let l = 3 - u. Is 0 at least l?
True
Suppose -s - 13 = -3*w - w, -3*w + 4*s = -13. Suppose 1 = u + w. Which is bigger: -0.3 or u?
-0.3
Let t = 9 + -12. Is t at most as big as 3/2?
True
Suppose -x = -r - 3, -3 = -5*r - 3*x - 26. Suppose 0 = 3*m + 3*c - 4*c - 14, 0 = -2*c - 10. Let o = m + r. Is o < -1/7?
True
Let v be 1/(-3) - 2/(-12). Let b = 8 + -9. Is b bigger than v?
False
Let o(c) = -c**3 - 3*c**2 - c + 2. Let f be o(3). Are f and -54 equal?
False
Let t(m) = 33*m - 1. Let h = 0 + 1. Let i be t(h). Suppose 4*x - 5*d - i = 0, 3*d - 8 = -4*x + 2*d. Which is smaller: 2 or x?
2
Let l(v) = v**3 + 7*v**2 + 2*v - 2. Let g be l(-3). Suppose -m = -5*m - g. Is -7 less than or equal to m?
True
Suppose -3*c = -2*c - 8. Let g be 14/(-18) + c/(-36). Is -1/5 at most g?
False
Let w(g) = -g**2 + 2*g + 3. Let h be w(3). Let c be (3 - (-12)/