 = -w**3 + 6*w**2 + 6*w + 6. Let g(y) = y**3 - 3*y**2 - 3*y + 3. Let n be g(4). Let d be f(n). Is d >= t?
False
Let w be (-4)/(4/(-5)) - 1. Let b be (-2)/w - 7/(-2). Let a = 6 - 4. Are a and b unequal?
True
Let a be 98/(-96) - (2 + -3). Which is smaller: a or -1?
-1
Suppose 5*t = 4*t. Is t < -1/29?
False
Suppose 0*o = 2*o + 2. Which is smaller: o or -2/21?
o
Suppose 0 = -2*r + 6*r. Which is smaller: 9/10 or r?
r
Suppose 3*i = 2*y + 5 - 69, 2*y - i = 60. Which is bigger: y or 30?
30
Let v = -0.06 - 2.94. Let k = -2.9 - v. Which is greater: -2 or k?
k
Let y = -95 + 84. Let h = 16.1 - 1.1. Let q = y + h. Is -1/3 < q?
True
Let c = -17 + 18. Which is bigger: c or 0?
c
Let w = -8 + 7.92. Let d = 0.4 - 0.5. Is w less than or equal to d?
False
Let l be ((-1 - -36) + -3)*1. Let o be 8/l + (-9)/4. Which is smaller: o or -3?
-3
Suppose 1 + 2 = v. Let a be (-2 - -1)*(-2 + v). Let s be a/3*7 + 2. Which is smaller: s or 0?
s
Let j = -7770 + 38623/5. Let i = 45 + j. Let w be (1/2)/1*0. Which is greater: i or w?
w
Let u(z) = -z + 1. Let a(n) = -n**3 + 6*n**2 + n + 5. Let f(s) = -a(s) + 6*u(s). Let v be f(7). Let r = -133/2 - -67. Is v smaller than r?
False
Let k = -10.015 - 0.065. Let s = k + 10. Let g = -0.38 - s. Which is smaller: g or -1/4?
g
Let v(c) = 2*c**2 - 9*c + 2. Let r be v(4). Which is greater: r or 0?
0
Let i = -185 - -2032/11. Suppose -2 = 2*v - 0. Which is smaller: v or i?
v
Let u = -7.94 + 8. Let n = 0.04 + u. Suppose 0 = -4*c - 2*m - 10, 0*c = 2*c - 4*m. Is n < c?
False
Suppose -3*p - 4*x = -2, -2*p + x + 2*x = 10. Let s = -1 - p. Suppose 2 = 4*q - l, 3*q - 4*l = -0*q + 8. Which is smaller: s or q?
q
Let c = -46/9 + 295/63. Which is smaller: -1/3 or c?
c
Let h = -354/7 + 50. Let r(p) = -p**3 - 7*p**2 - 1. Let o be r(-7). Is o >= h?
False
Suppose -1 = -m - 0. Suppose -5*g + 1 - 5 = -2*b, -2*g = b - 2. Which is greater: b or m?
b
Let v = 1.4 + -1. Let q = v - -0.6. Which is smaller: q or -3?
-3
Let k(z) = -3*z - 20. Let h be k(-7). Let s be (6/(-20))/(6/(-8)). Which is smaller: s or h?
s
Let q = 5.01 + -5. Let u = q - -1.99. Is 1 > u?
False
Let c = 1 - 0.8. Do c and -1/31 have different values?
True
Let a(j) = 6*j - 7. Let c(f) = -f + 1. Let t(s) = a(s) + 5*c(s). Let v be t(3). Are 2/7 and v equal?
False
Let i = 245 + -2693/11. Let s(x) = -x**2 + 5*x + 4. Let z be s(3). Suppose -t + 5*d = 21, 2*t - 5*d + z + 12 = 0. Is t bigger than i?
False
Let w = 0.012 + 0.358. Let l = w + -0.07. Do 0 and l have the same value?
False
Suppose 5*v + 2 = -0*l + l, v = 4*l - 8. Suppose 4*a - 3*u + v - 20 = 0, 0 = -a + 4*u + 18. Which is smaller: 1 or a?
1
Let f = 1.29 - -15.61. Let n = -17 + f. Is n >= 9?
False
Let y be (1175/(-390) - -3) + 0. Is y at least 0?
False
Let p = 6 - 8. Let r be (-1)/(-1) - (-1 + p). Suppose -2*m = -2*t - 8, r*m + 3 - 1 = -2*t. Which is greater: m or -4?
m
Suppose -4*h + 5*h + 1 = 5*o, 5*o - 3 = 3*h. Let s(x) = -x**3 - 3*x**2 - x + 2. Let u be s(-3). Let q be (2/u)/(11/5). Which is bigger: o or q?
q
Let p(a) be the first derivative of -5*a**2 - 5*a - 2. Let z be p(4). Let m = z - -181/4. Which is bigger: 1 or m?
1
Let c = -11 + 12. Which is greater: c or 0?
c
Let y(f) = -f**3 + 4*f**2 - f + 4. Let u be y(4). Suppose 4*i + 5*r = 32, u*r = 4*i - r - 8. Suppose -2*a - z = -4*a - 4, -8 = 2*a - i*z. Is a at most -3/4?
True
Let g = -27 + 21. Is g at most -7?
False
Let h(s) = 4*s**3 - 2*s**2 + s. Let a be h(1). Which is smaller: 4 or a?
a
Let x = 52 - 207/4. Are x and 1/4 unequal?
False
Suppose -4*m - 4 = -3*m. Which is bigger: -24/5 or m?
m
Let p = 0.2 + 0.6. Let x = p - 0.7. Which is greater: 2/5 or x?
2/5
Let z = 7 - 5. Let k = 4 + -2. Suppose -k*r - 2 = -3*r. Are z and r equal?
True
Let m be (2 + 0)/(2 - 0). Let z = -129/100 + 5/4. Let i = 28/75 + z. Is i less than m?
True
Suppose 0 = -3*y + 5*w + 217, -2*w + 7*w + 59 = y. Suppose -5*a - y = -3*p, -4*p = -2*a + 9 - 49. Let c be (-2)/a + -4 + 4. Is 1 greater than or equal to c?
True
Suppose -30*s + 26*s = -64. Is s greater than 16?
False
Let h be (1*-4)/(-2) - -4. Let u(f) = f. Let x be u(2). Suppose -2*t = -x*k - 1 + 7, 23 = 3*k + 4*t. Which is greater: k or h?
h
Let c(v) = v**3 + 3*v**2 - 18*v + 2. Let d be c(-6). Which is greater: -2 or d?
d
Let x(b) = 3*b**3 - 1. Let t be x(1). Let p be 0 - 0 - (0 - t). Is p less than 1?
False
Let j(u) = -5*u - 15. Let w(v) = 2*v + 8. Let g(y) = 4*j(y) + 9*w(y). Let t be g(7). Suppose -5*b + 2 = -3*o - 3, 0 = o - 4*b + 4. Is t less than o?
True
Let q be ((-3 - -2) + 0)*0. Let i = -25 - -15. Let c be (-9 + 1)*(-1)/i. Which is greater: q or c?
q
Let j(w) = w**2 + 2*w - 3. Let n be j(-3). Let p be (-2)/7 - (-24)/(-14). Let i be p/(-6)*(-12)/(-30). Which is greater: i or n?
i
Let u(z) be the third derivative of z**5/60 - z**4/8 - z**3/6 - 2*z**2. Let w be u(3). Suppose -5 - 2 = 5*q - 3*m, 0 = 5*q - 2*m + 3. Which is smaller: w or q?
w
Suppose l = 2*l - 31. Suppose -5*s = -2*w - 6, -w - 5*s = -l + 4. Let v = -5 + w. Is -2 at least as big as v?
False
Suppose 4*x = 5*c + 7, -5*c + 4*c = 4*x + 11. Let b be (18/3 - 3) + c. Which is smaller: b or -1?
-1
Suppose 2*y + 0*y + 3*m - 1 = 0, -4*y + 6 = 2*m. Suppose -5*c + 10 = 0, 0 = -2*h - 3*h - y*c + 9. Let j be 4/6*(-63)/(-28). Is j greater than h?
True
Let i = -23 + 22. Suppose 0 = -0*l + 5*l - 2*o + 70, -5*o + 37 = -l. Let n be (-14)/8 + 3/l. Is i <= n?
False
Let r = 17.2 - 17.3. Which is smaller: r or -2/11?
-2/11
Let z = -17 + 7. Let r be 6/15*z/12. Do r and -1 have different values?
True
Let a(g) be the second derivative of -g**5/120 - 5*g**4/24 + g**3/6 + 2*g. Let r(h) be the second derivative of a(h). Let y be r(-3). Is 1 > y?
True
Let x = 0.35 - 0.4. Let f = 0.15 - x. Which is greater: f or -3/5?
f
Let a = 533.09 - 527. Let x = -0.09 + a. Do 0 and x have different values?
True
Suppose 2*f - s + 9 = 0, s + 23 + 17 = -5*f. Let u = -8 + 3. Which is greater: f or u?
u
Let b = 68 + -69. Which is smaller: b or -2/149?
b
Suppose 3*s + 2*s = 0. Let b(i) = -i**3 - 5*i**2 + 7*i + 5. Let g be b(-5). Let t be (-4)/g - (-62)/(-15). Which is smaller: s or t?
t
Suppose 2*b = -3*b + 15. Suppose 5*s - b = 4*s. Suppose -s*h + 8*h = 0. Is h less than or equal to 1?
True
Suppose -c + 2*j = 4*j - 11, -2*c - 3*j + 18 = 0. Suppose 5*r = 6*r + c. Is -2 > r?
True
Let h be -1*(-5 + 4)/1. Suppose -2*z + 9 = 3. Suppose z*y - 7 - 1 = -5*u, 2*u - 7 = -5*y. Is y greater than h?
False
Let v(l) = -413*l**2 + 2*l - 3. Let i be v(-6). Let a = 520862/35 + i. Let j = a - -10/7. Is 0 less than or equal to j?
True
Let r(f) = f**2 - 7*f + 5. Let p be r(6). Suppose 0 = -3*x - x - 48. Let g be 2/(-10)*20/x. Which is bigger: g or p?
g
Suppose -4*s + 20 = -4*r, r + 3 + 2 = -2*s. Let c be -18 + 0 + s + 0. Let h = c + 128/7. Are -1 and h equal?
False
Let v be (-6)/(-15) + 12/(-5). Let c = 0 - v. Is c bigger than 2?
False
Suppose -4*a = -5*h - 13, 2*h + 5*a = 4*a. Do h and -1 have different values?
False
Let m = 15 + -13. Suppose 0 = -m*d - b + 4, -4*d - 2*b = -8*d - 8. Is -5 equal to d?
False
Let t be (-8)/(-6)*6/26. Suppose x = m + 4 - 2, -2*m + x = 2. Which is smaller: t or m?
m
Suppose 0 = -0*g + 4*g. Let m be (-3)/15 + (-14)/(-20). Which is bigger: g or m?
m
Suppose 0 = -4*f + 27 - 75. Let t = 13 + f. Let j = 883/42 + -121/6. Do t and j have different values?
True
Suppose -3*u = 4*f - 27, -7*f = -2*u - 2*f - 5. Let r = -3 + u. Suppose 3 = 5*g - r*w, 0*w - w = -1. Is 2/17 not equal to g?
True
Let n be (8/16)/((-3)/48). Is n < -42/5?
False
Let c = 0.113 + 30.887. Which is smaller: 2/7 or c?
2/7
Let h = -94/21 + 13/3. Suppose 0 = 2*q + 4*f + 8, 3*f = 5*q - 3 - 3. Which is smaller: h or q?
h
Let i(d) = 3*d - 3. Let p(h) = h + 8. Let f be p(-6). Let u be i(f). Suppose -k - u*k = 8. Is -2 less than k?
False
Let t(b) be the third derivative of -b**6/720 - b**5/30 + b**4/24 + b**2. Let m(z) be the second derivative of t(z). Let i be m(-5). Which is smaller: i or 5/3?
i
Let y(w) = w**3 - 5*w**2 - w + 5. Let a be y(5). Let t(b) = b**3 - b - 4. Let h be t(a). Let k be ((-4)/((-12)/9))/(-1). Which is smaller: h or k?
h
Suppose 3 + 17 = 4*l. Suppose 4*k - l*k - 1 = 0. Is 3 at most k?
False
Let r(t) = -t**2 + 9*t + 22. Suppose -52 = -5*z - 3*i, -2*z = -2*i - 25 + 1. Let l be r(z). Is -2/9 bigger than l?
False
Let x = -2.2 - -2. Let w = 24.06 + -24. Which i