 x**3 + 8*x**2 - 8*x - 9. Let n be t(-9). Let c be 3 + n/(-22) + -4. Which is greater: 0 or c?
0
Let v(n) = -11*n**3 + 1. Let t be v(-1). Let o be 4/10 + t/(-15). Let x = 42 - 42. Which is greater: x or o?
x
Suppose -3*j - 5*j = -528. Is 66 at least as big as j?
True
Let n be ((-1)/(-8))/(2/(-12)). Let r(i) = -i**3 + 5*i**2 + 3. Let b be r(5). Let a be ((-1)/b)/((-1)/(-3)). Which is smaller: n or a?
a
Let i(h) = -h**2 - h + 1. Let s(o) = -o**3 + 8*o**2 - 7*o + 15. Let q(k) = -5*i(k) + s(k). Let j be q(13). Is j smaller than -17?
False
Let r = -3144/86125 - 2/1625. Is r != 0?
True
Suppose 4*i - 5*p = -1, 3*p = 4*i - 4 + 3. Is 1 < i?
False
Let z = 4 - 2. Let f be 44/18513*(276 + 0). Let c = -2/187 - f. Is c greater than or equal to z?
False
Let j = -84 + 84.1. Which is bigger: 0.31 or j?
0.31
Let l be 3/(-6) - 4/(-8). Suppose -x + m + 5 = l, 5*x + m + m + 10 = 0. Which is greater: x or -2?
x
Let i = -0.02 + -0.02. Let s = -0.14 - i. Is -0.1 < s?
False
Let n = 9.27 + -0.27. Let g = -8 + n. Which is smaller: g or 1/3?
1/3
Let h = 1.4 + -0.4. Let g = h - 0.7. Let w = 0.4 - g. Do w and 0.4 have different values?
True
Let c be (12/(-10))/(9/(-30)). Suppose c*t = t. Which is greater: t or 2?
2
Let y be 20/(-4)*(-3)/5. Let r(f) = y*f + f + 0*f**2 + f**3 + 4*f**2. Let h be r(-3). Is h less than or equal to -1?
True
Let a = -139.34 + -1.66. Let j = a + 147.9. Let i = j + -7. Which is greater: -0.4 or i?
i
Let u = 11 - 12. Which is greater: u or -0.09?
-0.09
Suppose 42 = -3*u - 5*d, 3*u - 4*d + 33 = -2*u. Which is greater: u or -5?
-5
Let g = -59496/13 + 4572. Which is smaller: g or -5?
-5
Suppose -4*f - 5 = -37. Suppose 3 - f = -5*o. Let z be -1*(-63)/57 + -1. Which is smaller: o or z?
z
Let h = 108.7 + -114. Let a = h + 0.3. Are 0 and a unequal?
True
Let t be (3/(-12)*-4)/9. Which is smaller: t or -1?
-1
Suppose 0 = -5*h + h + 20. Suppose h*x = -1 - 4. Suppose -2*g - 4*o = -18, -4*g + 2 + 4 = 2*o. Is x < g?
False
Suppose 3*i + a - 9 = 0, 14 = 5*i + a - 3. Suppose -i = -2*q, -4*q + 3 + 0 = 5*g. Let r be (2/1 + 1)*g. Is -4 <= r?
True
Let w be (4 + 0)*-1 - -4. Which is bigger: w or 3?
3
Suppose -3*x = -3*b, 0 = -4*b - b + 5. Let o be ((-12)/80)/(6/(-4)). Which is greater: x or o?
x
Let b be ((-12)/54)/((-15)/(-9)). Is -0.5 at most b?
True
Let k(b) be the first derivative of b**4/2 - b**3 + b**2/2 + b - 7. Let j be k(2). Is j smaller than 7?
False
Let d = 124963/5 + -25074. Let i = d + 81. Suppose -3 = -w - 4. Which is greater: w or i?
i
Let t = -66 - -64. Which is smaller: -20 or t?
-20
Suppose 0 = -f + 2*f. Suppose 4 + f = -2*o. Let k be o/8 + 2/8. Which is smaller: k or 1/6?
k
Let n be 33/(-7) + 4/(-14). Let t = -8 - -2. Which is smaller: t or n?
t
Let z = -45 - -47. Let x be (-10)/(-12)*(-2)/(-5). Which is smaller: z or x?
x
Let l be 2 - (-5)/(-270)*109. Which is greater: 1 or l?
1
Let t(x) = 9*x**2 - 7*x - 10. Let o be t(-3). Do o and 92 have the same value?
True
Let f = -39 + 115/3. Let n = -10/7 - -12/7. Is n bigger than f?
True
Let n = -13 - -14. Suppose 3 = 5*q - 7. Let x be q - (21/11 - 0). Which is smaller: n or x?
x
Let h be ((-9)/(-2))/(5/(-10)). Is h bigger than -33/4?
False
Let t = -1.6 + 1.3. Which is smaller: t or 2/5?
t
Let h(f) = 0 - 1 - 5*f + 0. Let a be h(-1). Let g be (-1 + 2)*(-3 + a). Which is greater: g or 0?
g
Suppose 0 = -3*v + 72 + 36. Is 37 greater than v?
True
Suppose 2 = 6*u - 5*u. Let k = 10 - u. Let x = k + -11. Which is bigger: -2 or x?
-2
Let w = 4 + -1. Suppose 3*t + 5 = -5*p, -2*p - t = -w*p - 1. Which is greater: -1/5 or p?
-1/5
Let y = 0.12 + 0.15. Which is bigger: y or -1/2?
y
Suppose 4*r - 9*r = 0. Let l = 23/55 + -7/22. Which is bigger: r or l?
l
Let h = -25/27 - -935/864. Is h != 0?
True
Suppose 4*d + 97 + 51 = 0. Is -37 at least as big as d?
True
Suppose 4 = -5*k + 19. Let h be ((-24)/10)/(9/(-30)). Suppose -h*b = -k*b. Is -3/8 bigger than b?
False
Let v = 9 - 3. Suppose 0 = -5*z - 4*d - 32, -3*z = 2*d + 2*d + 24. Let s = v + z. Which is smaller: 1 or s?
1
Let q = 34.3 + -34. Let c be (-8)/6*(-6)/(-4). Which is greater: q or c?
q
Let b = -0.03 + 0.1. Let x = b + -0.17. Which is greater: x or 3/4?
3/4
Suppose -i + 5 = -2. Let q be (-12)/i*14/(-4). Is q at most as big as 5?
False
Let w(r) = 4*r. Let i be w(-1). Let n be 1 - (-2 - (i + 2)). Let u be (-2)/(-7) - 24/(-63). Do u and n have the same value?
False
Let v = 0.2 + -0.14. Let g = -0.46 + v. Which is bigger: g or 1?
1
Let m = 5.93 + -6.2. Let o = m + 0.07. Does o = 0?
False
Let j be 67/(-2) - 1/(-2). Let n be (-41)/15 + j/55. Is -3 not equal to n?
True
Suppose n + 9 = 4*u - u, -4*n + u + 8 = 0. Suppose 3*d - 4*o = 19, 8 = -n*d - d - 3*o. Let p = -2 + 2. Which is smaller: p or d?
p
Let g = -1096 + 23012/21. Is 0 smaller than g?
False
Suppose 17 = 3*c + 2. Suppose i + 8 = z + 2*z, c*z + 5 = -2*i. Which is greater: z or -1?
z
Let n be (-13)/(-20) + 2/(-5). Is n smaller than 15/7?
True
Let n(i) = -3*i**2 - 9*i - 11. Let q(o) = o**2 + o + 1. Let d(v) = -n(v) - 4*q(v). Let h be d(6). Is 1 at least as big as h?
True
Let r be 195/25 - (-1)/5. Let t be (-1)/(-4)*(-4 + r). Is 4/3 equal to t?
False
Let q be 3/(-1) + (1 - 1). Let w(o) = -o + 4. Let l be w(q). Let u(g) = g**3 - 10*g**2 - 13*g + 29. Let i be u(11). Is l != i?
False
Let u = 1.06 + -0.06. Let v = u - 1.2. Is v at most as big as -4/3?
False
Let a be (2/(-3))/((-4)/6). Let y be 4/(-26) - (-8)/52. Is y at most a?
True
Let t = 83 + -68. Which is smaller: t or -0.2?
-0.2
Let k(p) = -2*p**2 + 1 - 9*p + p**2 + 8*p. Let v be k(0). Is 1 != v?
False
Let i = -42.919 - 0.081. Is 0 less than or equal to i?
False
Let f = -26/33 - -5/11. Is f at least 1/6?
False
Let p = 2.7 + -0.3. Which is smaller: 4 or p?
p
Suppose 6*n = 3*n - 6. Let k be ((-1413)/8)/(6/4). Let v = k - -117. Are v and n non-equal?
True
Let p = -1 + 1. Suppose p = 9*i - 4*i - 710. Let d = i + -708/5. Which is smaller: d or -2?
-2
Let x = 62 + -311/5. Suppose -4*j + 8 = -3*o - 7, -3*j + 6 = 3*o. Are x and o unequal?
True
Let l = -26 - 13. Let w = -69 - l. Let k be (-1)/(3 + w/9). Which is bigger: k or -1?
k
Let a(y) = 2*y - 9. Let u be a(11). Do u and 13 have the same value?
True
Let b = 2/335 + -1358/3015. Is b less than 2?
True
Let q be ((-6)/10)/(2/(-110)). Let s be 3/12 - q/36. Which is bigger: 0 or s?
0
Let x(j) = j**2 + 7*j + 7. Let s be x(-6). Let f(w) = -w**2 + 5*w + 8. Let o(n) = -n**2 - 10*n - 3. Let a be o(-9). Let u be f(a). Does s = u?
False
Let o = 0.1 + -0.2. Suppose -3*i + 45 = -3. Let x be (1 - -1)*2/i. Do o and x have different values?
True
Let g = 49.9 - 50. Let p = -0.1 + 0.1. Let k = p - -0.1. Which is smaller: g or k?
g
Suppose 4*m = 2*r + 34, 5*m + 2*r + r - 26 = 0. Suppose -2*b = -m*b. Which is smaller: b or -3/10?
-3/10
Let j(f) = f - 3. Suppose -3*a + 4*r = -2, 0*r - 3*r + 12 = 0. Let x be j(a). Which is smaller: x or 1?
1
Let b = -42 + 40. Is -5/8 > b?
True
Suppose 0 = -3*s, -3*s - 16 = h + 26. Let d = -128/3 - h. Let g be (-4)/(-10) - (-34)/(-10). Are g and d unequal?
True
Let s = 29 + -28.89. Let b = 0.01 - s. Let i = 0.05 - -0.25. Is i less than or equal to b?
False
Let r be (-6)/(-27) - 58/18. Let d = r + 3. Suppose 0*l + 3 = 2*l - 3*c, d = 3*l - 3*c. Do l and -3 have the same value?
True
Let d(w) = -w**3 + 5*w**2 + 5*w + 7. Let m be d(6). Suppose 0 = -4*b + 3*x + 7, 0 = -b + x - 0*x + m. Which is smaller: 6 or b?
b
Let n = 1 - -11. Let q be (n/30)/((-2)/2). Are 0.2 and q unequal?
True
Let o be 8/4 + 14/(-8). Let l = 3 - -1. Let x = l + -5. Which is greater: o or x?
o
Let i = -4.6 - -4.5. Which is smaller: i or 5?
i
Let y = -2 + 4. Let j(q) = q**2 + 6*q + 2. Let w(r) = r**3 + 10*r**2 + r + 4. Let z be w(-10). Let i be j(z). Are y and i non-equal?
False
Let d = -16 - -17. Which is smaller: d or 2?
d
Let v = 10 + -7. Let i = 3.5 - v. Let u = 1.5 - i. Is -1/3 >= u?
False
Let p = 9 - 7. Is p >= 12/5?
False
Let d be ((-14)/4)/(75/(-2210)). Let l = d - 103. Which is bigger: l or 1?
1
Let s = -12259/6536 + 1/1634. Does -3 = s?
False
Let j = 0.24 - -0.76. Is 0.055 less than or equal to j?
True
Suppose 0*w + 8*w - 88 = 0. Which is greater: w or 56/5?
56/5
Let b = 54 + -53. Is b less than or equal to 11/6?
True
Let o = 4 + -5. Let p = -0.6 - o. Are 2/5 and p equal?
True
Suppose -3*j = -a - 8, j + 2 = -3*a - j. Let z(p) = -2*p**2 - p