-1 - t**2 - t + t. Let h(w) = w**3 + 3*w**2 - 3*w + 4. Let j be h(-4). Let f be q(j). Which is smaller: 1/3 or f?
f
Suppose 0 = -2*u + 4, -x + 23 = 5*u - 7. Let q = x - 21. Which is smaller: q or 1?
q
Suppose -n - 33 = 2*n + 2*f, -5*n = -3*f + 55. Do n and -12 have the same value?
False
Let r = -1013/5 - -957/5. Is r at least as big as -10?
False
Let l(f) = 2*f**3 + 22*f**2 - 4*f - 47. Let o be l(-11). Let m be (2/5)/((-1)/4). Which is greater: m or o?
m
Let k be 5/3*(-2)/(-5). Let o(u) = -6*u + 4*u + 4*u - u - 5. Let g be o(6). Is k not equal to g?
True
Let q(v) = 24*v**3 - v**2. Let i be q(1). Suppose -f - 2*z + 11 = 0, 2*f - 5*z = 3*f - i. Suppose -4*w - 2*g + 8 = 0, 2*w + 2*g = -w + 5. Is w < f?
False
Let o(r) = r**3 + 8*r**2 + 8*r + 4. Let q be o(-7). Let k be (-15)/q*(-3)/(-5). Is k bigger than -2?
True
Let w be (-14)/4 + (-5)/10. Is w not equal to -6?
True
Let b = 0.054 + 26.946. Let n = b + -19. Let t = -8 + n. Which is smaller: t or 0.1?
t
Let j = 13 - 7. Let c = 5 - j. Does 5 = c?
False
Let t = -23 + 60. Suppose -2*i - 9 - t = 0. Let w be 6/i*(-3)/9. Which is greater: w or 0?
w
Let m = -35064/31 - -1131. Let g = -97/279 + m. Is g < -1?
False
Let d = 1/260 + -29903/780. Let h = d + 38. Which is smaller: h or -1?
-1
Let c = -3 + 7. Let w be (-20)/35 + c/14. Which is smaller: w or -2/23?
w
Let a(w) = w**2 - 4*w - 7. Let r be a(7). Suppose -5*b = 1 + r. Let q be (b + (3 - 1))*-1. Do 2/9 and q have the same value?
False
Let l = -2 + 1. Do -1/59 and l have the same value?
False
Let d be 2/(-4) - 11/(-2). Let n be (1 - (-2)/(-1))*-1. Let v = n - -4. Is d < v?
False
Let c = -28 - -26.9. Which is smaller: 0.2 or c?
c
Let y be (0/7)/(1 - 3). Which is smaller: y or 2?
y
Suppose -4*k + 0*x - 3*x + 2 = 0, -4*x + 12 = -4*k. Is k != -10?
True
Suppose 0 = -0*r - 2*r - 4*v + 6, 7 = r - 2*v. Which is bigger: r or 3?
r
Let c(g) = -2*g**3 + 2*g**2 - g + 6. Let r be c(0). Is r less than 3?
False
Let t be 4/16*(-6)/(-5). Suppose 4*f + f + 10 = p, -f = -4*p + 2. Is t at least as big as p?
True
Let x = 2957/504 - 117/56. Let v = -4 + x. Is v not equal to 1?
True
Let r be 4 + -3 + 1/(-1). Which is smaller: r or -3?
-3
Let d = -1 + 4. Suppose 33 = -5*g - 3*f, d*f - 18 = 4*g + 30. Which is bigger: g or -7?
-7
Let z = 31 - 29. Is -3 at least as big as z?
False
Let l(f) be the second derivative of f**6/360 + 3*f**5/40 - f**4/4 - 3*f. Let n(y) be the third derivative of l(y). Let b be n(-6). Is -2 <= b?
False
Let i = 6 + -6.14. Let z = i - -0.04. Which is bigger: -2/5 or z?
z
Let y = -108 - -485/4. Let g = y - 13. Which is smaller: g or 0?
0
Let b(a) = a - 5. Let f be b(4). Which is greater: f or -4/13?
-4/13
Let u = 40059997/21 + -1907196. Let x = -423 + u. Which is smaller: 1 or x?
x
Suppose -3 = -t - 12. Do t and -8 have the same value?
False
Let a be 1 + (-120)/(-3) - -1. Let q be a/(-90) - 2/(-3). Are -1 and q non-equal?
True
Let j = -7 - -3. Suppose 0 = -3*f + 6*f + 15. Which is greater: j or f?
j
Let r(f) = -f**3 + 3*f**2 - f - 1. Let v(g) = -g**3 + 3*g**2 - g - 2. Let h(z) = 3*r(z) - 2*v(z). Let y be h(3). Which is greater: y or -4?
y
Let x(c) = -3*c**2 + c**2 + 3*c**2. Let v be x(-1). Let b be ((-11)/(-66))/(1/3*-1). Is b at least v?
False
Let o(l) = -l**2 - l. Let k be o(5). Is -28 less than k?
False
Suppose -6 = 5*z - 21. Suppose -p - 14 = -3*r, -8 = z*p + r + 14. Let b(i) = -i**2 - 9*i - 9. Let s be b(p). Which is bigger: s or 0?
0
Let g(p) = -2*p - 6. Let h be g(-5). Suppose 5*a + 0*a + 30 = 0. Let l be (a - -2 - -1)*-1. Is h >= l?
True
Let z be (5/10*-4)/(3 + 1). Let g = -4 - -3. Is g less than z?
True
Suppose 2*i = -3*u + 2, -5*i + 3*u = -2*u - 30. Is i smaller than -1?
False
Let a = 23 - 23.1. Which is bigger: 7 or a?
7
Let w = -0.0111 - -3.0411. Let c = 2 + -2.03. Let o = c + w. Is 0.1 > o?
False
Let n = -4/9 - 2/9. Let h be 5/(-20) + 1/(-28). Which is smaller: h or n?
n
Let h(a) be the second derivative of a**3/6 + a. Let x be h(-1). Does -2/7 = x?
False
Let l be 0/(1 - 0/2). Let h = 1 + 0. Which is smaller: l or h?
l
Let g(u) be the first derivative of -u**2/2 - 2. Let x be g(-2). Suppose -x*a + 1 = -4*r + 3*r, 0 = 5*a - r + 2. Which is greater: -4 or a?
a
Let m = -3 + 11. Let v be 0/(4*(-4)/m). Let z = -0.3 - -0.4. Which is smaller: z or v?
v
Let m = 3.6 + -2.6. Is m < -30?
False
Let w = 45 + -41.4. Let t = w + 0.4. Let j = t + -4.4. Which is smaller: j or -0.1?
j
Let v be 8 - 3/((-9)/(-6)). Is v smaller than 2?
False
Suppose 3*u = 7*u + 36. Let s = u + 8. Is -1/14 less than or equal to s?
False
Let p = -1/217 + 1521/434. Let w = 17 + -12. Do p and w have the same value?
False
Let o be ((-45)/21)/(-3)*-1. Let s = o - -74/35. Is s >= 0?
True
Let o(j) = j**2 + 5. Let a be o(-6). Let v be a/(-14) - 12/(-4). Is -1 at least v?
False
Let z = 2 - -8. Is 9 bigger than z?
False
Let g(r) = r**3 - 6*r**2 - 8*r + 10. Let m be g(7). Let h = 6 - m. Let n = -121/7 - -17. Which is smaller: n or h?
n
Let m be (-2)/(1551/9 - -3). Let g = 1593/1315 + m. Are g and 0 non-equal?
True
Let d = 0.02 - -1.98. Let s = 1912/165 + -126/11. Which is greater: s or d?
d
Suppose 0 = 4*s - 5*s - 4. Suppose 5*t - 5 = 2*b, 5*b + 4*t = b + 32. Suppose -5*q = b + 20. Which is smaller: s or q?
q
Let u = -92 - -92. Let b = 0.1 - 0.1. Is u <= b?
True
Let n = -2 + 2. Is 1 less than n?
False
Let l = 6 - 3. Suppose -l*d - 3*b = 3 - 12, 0 = 3*d - b + 3. Which is smaller: d or -6?
-6
Let u = -67 - -199/3. Is u less than -2.8?
False
Suppose -5*s = 4*r - 92, 4*s - 53 - 20 = -3*r. Which is bigger: 29/2 or s?
s
Let n(f) = f**2 + 7*f - 5. Let j be n(-8). Let l = -131/15 + 42/5. Is l smaller than j?
True
Suppose 149 = y + 155. Is -17/3 equal to y?
False
Let q be (-1 - -1)*1/2. Suppose 0 = 4*c - 0*c - 5*m - 52, c - 20 = 3*m. Suppose s + 8 = 5*i - i, -3*s = 4*i + c. Does i = q?
False
Suppose 8*f = 10*f + 2. Which is smaller: f or 2/337?
f
Let q = -11 + 15. Let r = q - 4. Let k = -0.2 + r. Is 0.1 not equal to k?
True
Suppose 4*d + 9 = g, 0 = 3*g - 0*g - 15. Let t be 18/12 - d/2. Let i be (-4 - 0) + 1 - t. Which is smaller: -6 or i?
-6
Let m(n) = n**2 - 8*n - 8. Let y be m(7). Let x = 21 + y. Which is smaller: x or 4?
4
Suppose 0 = 4*l - 5*w - 1, -17 = -0*l - 2*l - 3*w. Let v be (2 - l)/((-2)/(-1)). Which is smaller: v or -2?
-2
Let d be (8/6)/(6/(-9)). Let w(h) = -h**2 - 7*h - 3. Let i be w(-6). Suppose -l + 4*v + 1 = 5*v, 9 = -i*l + v. Is d greater than or equal to l?
True
Suppose z = 2*k - 31, -6 + 23 = k + z. Are 16 and k equal?
True
Suppose 0 = -3*j - 21. Is -10 smaller than j?
True
Let j(a) = 21*a**2 - a - 1. Let h be j(-1). Which is greater: h or 23?
23
Let g = -3 - -3.1. Let b = g + 0.9. Let o = 3/20 - 19/60. Which is smaller: o or b?
o
Let j be 1 + -1 + (-30)/(-9). Let k = j - 4. Suppose -2*u = u. Which is smaller: u or k?
k
Let r = 27 - 26. Let b be 0/(3 + -2) - r. Which is greater: b or 0?
0
Let w(b) = -b**2 - 8*b + 7. Let s be w(1). Let l(m) = m**3 + 7*m**2 - 2*m - 6. Let k be l(-7). Suppose -3*x = -k*x. Is x not equal to s?
True
Let p be (-10 + 4)*(-4)/6. Let o(s) = -s**3 + 5*s**2 - 2*s - 8. Let v be o(p). Let x be (3/14)/((-1)/(-2)). Which is bigger: x or v?
x
Let k = -137 + 41. Is k at least -95?
False
Let x = 7.9 + 4.1. Which is greater: x or -2?
x
Let l = -16.8 + 16. Let o = l - -0.8. Is o != -4/5?
True
Suppose m + 15 - 2 = 2*z, m + 5*z = 22. Let o(d) = d**3 + 8*d**2 + 7*d + 3. Let r be o(-7). Suppose -3*v = -c, -v + 10 = -2*v - r*c. Which is greater: v or m?
v
Suppose -2*v + 4 = -4*j, -3 = -4*j - 3*v + 13. Which is bigger: 19 or j?
19
Suppose 3*k = -6 - 3. Which is smaller: k or -5?
-5
Suppose 3*g + 14 = -2*p, g = -2*p + 6*p. Let n be (5 - 6) + (p - 2). Let y = -2 - n. Is y greater than 5/2?
False
Let z(w) be the third derivative of w**6/120 - 9*w**2. Let l be z(0). Does 4/5 = l?
False
Let h be -5*(2 + 26/(-10)). Let d(y) = 4*y + 5. Let i be d(5). Suppose 4*w + 5*o + i - h = 0, o = w + 1. Which is greater: -2 or w?
-2
Let a = -13 + 13. Let i be 9/6 + (-6)/(-4). Which is smaller: i or a?
a
Let o = -5 - 3. Let u(x) = x**2 + 9*x + 3. Let y be u(o). Which is greater: y or -6?
y
Let s(u) = -u**3 - 5*u**2 - 5*u - 3. Let n(h) = h - 4. Let q be n(0). Let m be s(q). Let k(v) = v. Let r be k(m). Is -2/7 > r?
False
Let a = -192 - -5185/27. Let h = -43/297 - a. Is h <= -1?
False
Let y = 