 n(i) = i**3 - i + 1. Let c be n(1). Suppose c + o = -j. Is -4 bigger than j?
False
Let v be (42/(-28))/(((-9)/(-16))/1). Is v greater than -4?
True
Suppose -3*b = 129 - 384. Which is smaller: b or -2/7?
-2/7
Suppose 11 + 1 = 3*a. Suppose 0 = -w + a - 0. Let q be (-3)/w + 19/36. Which is smaller: -1 or q?
-1
Let i(x) be the third derivative of x**6/40 - x**5/30 - x**4/12 - x**3/6 - 41*x**2. Let v = -3 + 2. Let p be i(v). Which is greater: -2 or p?
-2
Let j be (8 - 8)/(-2 + 0). Which is bigger: j or 4/17?
4/17
Let m = 0 + -0.2. Let p be 2 + 12 + (6 - 2). Let b be p + -18 - 4/14. Which is bigger: b or m?
m
Let y = -21073.98 - -21396. Let m = -319 + y. Let l = m - 0.02. Is 0.1 at most as big as l?
True
Let h(z) be the second derivative of -z**3/6 + 3*z**2 + 4*z. Let w be h(9). Is w at least -3?
True
Let u(n) = 22*n + 35. Let i be u(-4). Are -52 and i equal?
False
Let x = 56 - 33. Let j = x - -29. Let b be (-4)/(-10) - j/80. Which is smaller: -8 or b?
-8
Let k = 15/79 - 63/1580. Which is bigger: k or 0?
k
Let w(d) = -2*d**2 - 2*d + 24. Let x be w(-4). Which is smaller: x or 1/193?
x
Suppose -33 = -3*q + 5*s, -2*s + 35 + 35 = 4*q. Which is smaller: 1/4 or q?
1/4
Let r be (-54)/(-60) - (0 - (-3)/6). Which is greater: -6 or r?
r
Let k(z) = 0*z + 0 + 3 - z. Let g be k(5). Let w = g - -3. Is 1 != w?
False
Let f = 135 - 122. Is f at least 14?
False
Suppose 2*c + 0*c - 2*p = 0, -3*p = -2*c. Is c >= -7/15?
True
Let s = 153 + -285/2. Let u = -61/6 + s. Are u and 0 non-equal?
True
Suppose -3*c - j = -c + 23, -2*c - 21 = 3*j. Suppose 0*s + 3*s + 18 = 0. Let i be ((-4)/c)/(2/s). Is i bigger than 2/7?
False
Let i = 17/22 + -9/154. Is 0.1 <= i?
True
Let i = 45 - 45.1. Which is smaller: -5/8 or i?
-5/8
Let h(m) = m**3 - 5*m**2 + 4*m. Let g be h(4). Let i = 1 - 0. Which is bigger: i or g?
i
Let m be -2 + 3 + 0 + 0. Let w = -265 + 166. Let n = w + 991/10. Which is smaller: n or m?
n
Let d be ((-6)/4)/(-3)*10. Let c be -1 + -1 + (-5)/d. Let f = 2 - 5. Is c greater than f?
False
Let k be ((-1)/7)/((-8)/(-16)). Which is bigger: 4/5 or k?
4/5
Suppose 4*x = 5*h - 48, -24 = h - 3*h + 4*x. Suppose g - 5*g - h = 0. Let c = -371/4 - -92. Which is smaller: g or c?
g
Let k be (12/(-14))/(1/(-14)). Suppose k + 2 = -2*n. Which is greater: n or -6?
-6
Let w = 5 + -3. Suppose 2*x - 2 = w*z, 0 = -0*z - 4*z - 5*x + 41. Let y be (((-10)/z)/5)/1. Is y at least 1?
False
Let y(n) = -7*n + 13. Let w be y(2). Which is greater: -3 or w?
w
Let d = 2 - -2. Let r = d - 10. Let u be r/4*(-4)/(-3). Which is smaller: 1 or u?
u
Let o(u) = -2*u**3 - 2*u**2 - 2*u - 1. Let h be o(-2). Suppose -h = 5*c + 4. Are c and -2 equal?
False
Let h = 4 + -6. Let l be (-16)/8*h/(-4). Suppose -5 = 2*z - 1. Which is smaller: z or l?
z
Let b be -2 - (3/12 + 89/(-36)). Let c be -1 + (2 - (-2 + 2)). Let s = -1 + c. Are b and s equal?
False
Let v = 4.93 - 5. Let q = v - 0.13. Which is smaller: 0 or q?
q
Let l be -12 - -13 - 11/6. Which is greater: l or -4?
l
Let d(s) = s - 3. Suppose 3*u - 19 = 2. Let z be d(u). Is 1 at most z?
True
Suppose -3*v - 2 = -4*q - 0, 2*v + 4*q = 12. Which is smaller: v or 6/11?
6/11
Suppose 5*t = 8 + 2. Let o = 33/52 - -3/26. Is o smaller than t?
True
Let a(r) = 2*r**2 + 3*r + 4. Let y be a(-3). Let j = y - 21. Let c be j/(-10)*(-10)/(-4). Is c at least as big as 2?
True
Let g = 0.07 - 0.12. Let o = -0.15 - g. Are -0.1 and o equal?
True
Let i = -1 - 2. Suppose g + 4*j = 7, 3*g - 5*j + 20 = 2*g. Is i at most g?
False
Let u = 150 + -3601/24. Is 1 equal to u?
False
Let d = -1.44 - -1.4. Let h = -0.3 - -0.26. Let c = h - d. Which is bigger: 1/4 or c?
1/4
Let n = -10.4 + 10. Let h = 0 + n. Which is bigger: 2 or h?
2
Let f be 1 + -2 - 4/(-2). Is f at least -2/83?
True
Let k be (-1)/2*-14 - -1. Suppose -3*w + k = -13. Let u = w + -9. Is -1 less than u?
False
Let r = 1.9 + -1.4. Let i = -0.6 + -0.4. Which is greater: r or i?
r
Let y(b) = -b**2 + 8*b - 6. Let l be y(7). Let t = 41 - 19. Let k be 6/(-3) - (-48)/t. Is l at least as big as k?
True
Let l be 6 + -10 - (-9 - 0). Suppose l = -h - 4*h, 0 = 2*o - 2*h. Let a(i) = i**2 - 7*i + 6. Let w be a(6). Which is smaller: o or w?
o
Suppose 0*m + 3*m - 3 = 0. Is m > -2/31?
True
Let c = -3 - -1. Let s be (36/(-112))/9*c. Is s bigger than 1?
False
Let w = 0.02 - -0.18. Is w at least as big as -0.2?
True
Let x be (-70)/(-20)*(-16)/(-14). Let y(h) = -h**2 + 4*h + 2. Let n be y(x). Is n <= 4?
True
Suppose -4*b + 27 = m, -b = m - 4*m + 55. Which is smaller: 20 or m?
m
Let c = 4.1 + -5. Let l = c + -0.1. Which is bigger: l or -1/11?
-1/11
Let j = -2.5 + 2. Let u = j + 3.5. Let r = -41 - -165/4. Which is smaller: r or u?
r
Let g(y) = -y**3 + 12*y**2 + 2*y - 15. Let k be g(12). Is k at most as big as 7?
False
Let j be (-39)/(-12)*10/4. Let r = j - 8. Is r greater than 1?
False
Let k = -20.3 + 19.3. Which is smaller: 27 or k?
k
Let t = -1.2 + 0.2. Let a = -5.3 - -5. Let q = a - 0.1. Which is smaller: q or t?
t
Let t = -69 + 72. Suppose -2*u + y - 41 = 0, -3*u - 49 - 11 = -3*y. Let z be 2/t*u/28. Which is smaller: z or -2?
-2
Suppose -3*x = 27 - 84. Suppose -i = -4*b + x, b + i = -4*i - 11. Let d = -7 - -6. Is b at least d?
True
Let b = 5 + -2. Suppose -2*y + 3 = -b*p - 0, 4*y - 2*p = 2. Suppose -m - 2 = 3, -5*m - 22 = -3*k. Are y and k non-equal?
True
Let m = 2 - 2.05. Let r = -12.7 - -14.7. Which is greater: r or m?
r
Let t = -31 + 36. Which is smaller: 7/2 or t?
7/2
Let q(g) = -g**3 - 14*g**2 - 7. Let m be q(-14). Let x(o) = -2*o + 1. Let r be x(4). Is r greater than m?
False
Suppose -10 = -i + 5*t, 3*t = 2*i - 9 + 3. Let j(f) = f. Let q be j(2). Suppose z + q*z - 9 = i. Is z > 3?
False
Let g be ((-224)/78)/2 - 36/(-54). Which is smaller: -2 or g?
-2
Let d be (2 + 5/(-2))*1. Suppose 0*u = 5*u. Suppose u*g = 5*g. Which is smaller: g or d?
d
Suppose -2*d + 0 = 6. Let y be ((-1)/3)/(d/(-9)). Which is smaller: -1/4 or y?
y
Let y = -34 - -34.3. Which is greater: -0.15 or y?
y
Let h = -10 + 14. Suppose 0 = b - h*b. Is b equal to 0?
True
Let y be ((-3)/(-9))/(5 - 29/6). Is 3 at least as big as y?
True
Let b = -3 + 2. Let i(h) = h + 16. Let z be i(-11). Let j = -5 + z. Is b at most as big as j?
True
Suppose n - 16 = -3*n. Is 3 greater than or equal to n?
False
Suppose -4*z - z - 25 = 0. Let d be ((-6)/5)/((-1)/z). Let k = d + 6. Which is smaller: k or 2/7?
k
Let r(v) = 6*v. Let b be r(-1). Let t = b - -8. Suppose -2 = -t*x + 3*x. Is 0 != x?
True
Let t = -52 - -31. Is 2/9 smaller than t?
False
Suppose 0 = 4*k - 6*k - 10, 4*l - 5*k - 21 = 0. Let c be (4 + l)/3 + -1. Suppose 0*s + 5*s = 0. Is s smaller than c?
False
Let m be -11 + 5 - 567/(-96). Which is smaller: 0 or m?
m
Let u(o) = o**3 + 8*o**2 + 13*o + 7. Let n be u(-6). Which is greater: n or 2?
2
Suppose -13*f = -16*f - 3. Let o = 0.18 - 0.11. Which is smaller: o or f?
f
Suppose -c - 6 = -30. Which is smaller: c or 23?
23
Let j be (-4)/(-6)*90/168. Which is bigger: 0 or j?
j
Let b(a) = -a**3 - 4*a**2 + a - 2. Let c be b(-4). Let s(n) = -n**3 - 4*n**2 + 7*n + 6. Let v be s(c). Let p = 106/3 - v. Is -1 less than or equal to p?
True
Let h be 2/(-2) + 4 + -1. Let y be -4 + h - 5*-1. Let f = 3 - y. Which is smaller: f or 1?
f
Suppose -4*z - 1 = -9. Suppose -5*w - 13 + 38 = z*d, 0 = -3*w + 4*d - 11. Let t(r) = -r - 3. Let x be t(-5). Which is greater: x or w?
w
Suppose 2*r - 3 = -19. Let w be (20/16)/(6/r). Is -1 != w?
True
Let j = 14 + 28. Does 41 = j?
False
Let j(l) = l**3 - 3*l**2 + 3*l - 4. Let b be j(3). Suppose -5*f = b*x - 25, 10 = 4*f + 2*x - 2. Which is bigger: -1/6 or f?
f
Let o = 0.55 + 0.05. Let q = 0.7 - o. Are q and -2 unequal?
True
Suppose 5*q = -0*q. Let y = -52/3 - -16. Which is smaller: q or y?
y
Suppose 2*f = -q, 13*q - 8*q = -f. Is -6 equal to q?
False
Suppose 0 = 5*z + 16 + 39. Suppose -5*j - h = 59, -2*j + j - h = 15. Is z less than j?
False
Let k be (88/(-12))/(4/6). Is -12 < k?
True
Let z be 7/(-3)*10/35. Suppose -3*s = -3*l - 6*s + 3, -3*l - 5*s = -5. Suppose l = -6*y + y. Is y bigger than z?
True
Let o be (3 + -2 - 0) + -2. Does o = -2/21?
False
Let o = 21 - 15. Let d = o + -3. Which is smaller: d or 2?
2
Suppose -2*f = f. Suppose f*s = 4*s + 96. Let n be (6/4)/(18/s). Which is greater: n or -1/2?
-1/2
Let o(q) = q**3 + 7*q**2 + 5*q - 6. Let d be o(-6). Which is greater: d or -1/9?
d
Let f