 to 0?
False
Let d be ((-8)/10)/(-2) + (-54)/360. Is 22 at least as big as d?
True
Let r = -30/19 - -172/133. Is 1 smaller than r?
False
Let s be 3 + -3 + -2 + 16. Which is greater: 12 or s?
s
Suppose x = -x - 2660. Let n = x - -4024/3. Let z = n + -11. Which is smaller: z or 1?
z
Let z be ((-172)/8 + 5)/((-3)/4). Is z >= 20?
True
Let p = 2.1 - 1.1. Is p at most as big as -0.26?
False
Let n = 2 + 8. Let r be ((-4)/n)/((-8)/10). Which is smaller: -0.1 or r?
-0.1
Let b(u) be the third derivative of 1/12*u**4 - u**2 + 0 - 1/6*u**3 + 0*u. Let o be b(1). Is o at most 2?
True
Suppose 0*x = -5*x. Let b be (-2)/8 - 22/8. Let g be (-1 - b)*(-5)/(-5). Is x at least as big as g?
False
Suppose q = 5*a - 9, -a - 5 = 4*a. Is q bigger than 0?
False
Suppose -18 = -3*o - 3. Let f = 7 - o. Suppose -19 = -4*p + 3*l, -f*l = -0*p + p + 9. Is 1 > p?
False
Let d = -17 - -11. Let i = 6 + d. Which is bigger: i or 1?
1
Let t be ((-192)/(-30))/8*(-2)/4. Which is bigger: t or -0.6?
t
Let t = -30636/381679 - -4/3779. Let a = -402/2525 - t. Is 1 greater than a?
True
Let o = -0.05 - -0.35. Let v = 36 - 37. Do o and v have different values?
True
Suppose -14*r = -16*r - 2. Which is smaller: 3/8 or r?
r
Suppose r + r = 0. Which is smaller: r or -3/23?
-3/23
Let k(s) = -s + 12. Let u be k(18). Let i = u - -6. Let o = -26 + 128/5. Which is greater: o or i?
i
Let l(f) = -f. Let r be l(-8). Suppose -4*i + 13 = 3*o, -3*o + 15 = -6*o. Is i at least as big as r?
False
Let c be 679/(-603) - (-6)/9. Let y be (3 + (-812)/268)/(-2). Let x = c + y. Are x and 0 unequal?
True
Suppose 31 + 25 = 4*s. Let h be 2/((s/(-8))/7). Let p be (-10)/(-15)*(-6)/h. Which is greater: 0 or p?
p
Let u = 10 - 7. Let y = u + -2.9. Let z = 1 - 2. Which is bigger: y or z?
y
Let j(f) = -2*f + 7. Let z be j(10). Is z less than 2?
True
Let y(n) = n**3 + 9*n**2 - 12*n - 5. Let k be y(-10). Let u be 10/k + 88/(-78). Is 0 > u?
True
Let k = 5 - 14. Let d = k + 9. Which is smaller: 1 or d?
d
Let u = 12 + -1. Are u and 10 non-equal?
True
Let x(c) = -3*c - 31. Let j be x(-13). Is j not equal to 5?
True
Let z be (0 + -1)/(2/(-4)). Suppose z*c + 2 - 4 = 0. Which is smaller: -3 or c?
-3
Suppose 3*k - 27 = 7*k + x, 3*k + 16 = -5*x. Let s(h) = h**2 + 6*h - 2. Let p be s(k). Suppose -p*n + 5 = 15. Are -2 and n equal?
True
Suppose -4*f + 4*j - 4 = -0*f, -4*f - 2*j - 4 = 0. Which is smaller: 12 or f?
f
Suppose -60 = 2*r + r. Which is greater: r or -21?
r
Suppose 2*g = -4*t + 14, 5*g - t = 2*g + 49. Which is bigger: 16 or g?
16
Let c be (3 - -9)*2/3. Let h = 11 + -15. Let q = h + c. Is 2 bigger than q?
False
Let a = -1.12 - -0.12. Let y = -1 + a. Is y greater than -4?
True
Let x(y) = -y**3 - 2*y**2 - y. Let w be x(-1). Suppose 0 = 5*k - 0 - 10. Are w and k non-equal?
True
Suppose -m - 4*y - 2 = 0, 2*m + 0*m - y - 23 = 0. Suppose -z - 4*z - m = 0. Let k = -3 - z. Is k at least as big as -1?
True
Suppose 5*q - 26 = -h, -3*h = -7*h + 4*q - 16. Let k be 3/(-9) + 2/6. Let z = h - k. Which is smaller: z or 0?
0
Let i = 10 + -11. Let o = -1.2 - i. Which is bigger: o or 4?
4
Suppose -i = -0 - 8. Let s(w) = w**3 - 7*w**2 - 11*w + 10. Let k be s(i). Let u be (-12)/k*(-1)/(-2). Is -1 not equal to u?
True
Suppose -2 - 1 = 3*n. Let g = 2 + 0. Suppose 2*s = s - g. Is n <= s?
False
Let f be 6/15 + 6/20. Let b = -1/30 + f. Which is smaller: 2/7 or b?
2/7
Let q = -94/5 + 19. Let x = 25 + -18. Suppose u - 3*y = -9, 3*u - 4*y = -5 - x. Are q and u equal?
False
Let x(n) = -2*n - 1. Let q be x(1). Let b be (2 + 1)/(q - -14). Does -1 = b?
False
Let o = -1.6 + 2.5. Let m = -3.9 + o. Let q = -30 - -61/2. Is m greater than q?
False
Let r = 55.8 + -56. Is -0.2 at most r?
True
Let i(f) = -2*f - 3. Let p be i(-2). Is 0.3 bigger than p?
False
Suppose 0 = 4*w + 8 - 4, -3*j + 6 = -3*w. Is j < 1/28?
False
Let m be ((-12)/(-2))/(-2 + 3). Let x = -5 + m. Let g be ((-2 - 0)/(-2))/(-3). Is g less than x?
True
Let p be (-1)/7*1*-1. Let u be 1/1*(-2 + 1). Which is greater: p or u?
p
Let j = 0.11 + -0.1. Let g = 19.9 - 20. Do g and j have different values?
True
Let l(i) = -i**3 + 5*i**2 - 4*i - 3. Let t(u) = u + 11. Let r be t(-8). Suppose -m - 5*v + 4 = -r*v, m - 4 = 3*v. Let q be l(m). Is -4 at most q?
True
Let y(p) = -p**3 - 15*p**2 - 14*p - 8. Let q be y(-14). Are q and -8 non-equal?
False
Suppose 3*i - 12 = -0*i. Suppose -i*b - 3 = -7. Which is smaller: -2/11 or b?
-2/11
Let m(j) = j**3 - j**2 + j + 2. Let l be m(-1). Which is smaller: l or -1/4?
l
Let n = -0.01 - -0.41. Let q = n + -1.4. Let s = q - 2. Which is smaller: 1/3 or s?
s
Let q be (-10)/(-2) + -2 + -1. Let y(d) = 2*d**2 - 2*d + d - 3*d**2 + 1. Let b be y(0). Which is bigger: q or b?
q
Suppose 11 = -3*o + 14. Are o and 1/4 non-equal?
True
Suppose -45 = 3*l + 5*z, -l = -3*z + 2*z + 7. Let c be (4/(-130))/(2/l). Which is smaller: 1 or c?
c
Let b be 4 - 36/2 - 0. Is b smaller than -13?
True
Suppose -5*k = -4*t + 8, -4*k + 8 = 3*t + t. Suppose k = -3*l - l + r - 9, 5*l = 3*r - 20. Which is smaller: l or 1/3?
l
Let w be (42 - 1) + 1 + -2. Suppose -4*i - w = -0*i. Let c be 4/i - (-4)/10. Which is smaller: 2/13 or c?
c
Let m(l) = -2*l**3 - 4*l**2 + 2*l + 3. Let g be m(-3). Let n = -18 + g. Which is greater: n or -2?
-2
Let z(m) = 2*m**3 - 4*m**2 + 1. Let j be z(3). Which is bigger: 136/7 or j?
136/7
Let w be 4*(-3)/((-18)/(-3)). Which is smaller: 0.01 or w?
w
Suppose -l + 102 = 3*d, 4*d = -2*l + 3*l + 129. Suppose -31 = 3*y + 5*c, 5*y - c = -0*y - d. Is y bigger than -7?
False
Suppose -47 = -4*b + n, 4*b - 5*n - 19 = 2*b. Let c = -10 + b. Suppose -7 = -k + i, c*i = -4*k + 3*i + 13. Is k <= 4/7?
False
Let d = 33 - 17. Suppose -y - 19 = -2*r, 4*r - 1 + 18 = -3*y. Let i = d + y. Which is greater: 4 or i?
i
Suppose t + 1 = 5. Let y = t - 2. Let q be -1*y/10 - 0. Is -1 bigger than q?
False
Let m = 11 + -8. Suppose -2*w + 3*p = 35, 0 = 5*w - 0*p + 4*p + 76. Let u be w/18 - (-2)/m. Which is smaller: -1 or u?
-1
Let o = -21 - -28. Is o > 6?
True
Let m(y) = 3*y**3 - y**2 - 3*y - 1. Let h be m(-2). Do -21 and h have the same value?
False
Let o be (-2)/(-8) + 25/(-20). Let r be 7/3 - o/(-3). Suppose s - f = 2, 0*s + r*f - 10 = -5*s. Is 0.2 >= s?
False
Let g = -343/913 + 1/83. Let c be (0 - 2) + 1 - -2. Is g > c?
False
Suppose 12 = 2*k + 2*k. Let w(t) = t**3 + 5*t**2 + 3*t - 1. Let v = -10 + 6. Let a be w(v). Do k and a have different values?
False
Let o be 1 - (-2 - (-32)/20). Which is bigger: 2 or o?
2
Let h be (-2 - -1)/(5/(-2)). Is 15 bigger than h?
True
Suppose 4 = -f - 3*y - 11, 2*f = 3*y + 15. Let z = f - -2. Are 2 and z unequal?
False
Let g = 10191937/16 - 636796. Let j = 678 - 478. Let k = j - g. Which is smaller: -1 or k?
-1
Let f = 26.13 + -26. Is f at most as big as 2/5?
True
Let g = 15 - 17. Which is bigger: -8 or g?
g
Let j(a) = -3 + 2 - 1 + a**3 - 3*a - 3*a**2. Let s be j(4). Are s and 2 nonequal?
False
Suppose 0 = 2*z + n - 105 + 319, -2*n = 0. Is z >= -106?
False
Let g = -33 - -62. Let f = g + -18. Is f < 10?
False
Let p be ((-4)/6)/((-2)/(-3)). Which is bigger: -1/16 or p?
-1/16
Let b be (-13)/5 + 8/(-20). Let j be (-1)/b - (-6218)/21. Let f = 297 - j. Is f greater than or equal to 0?
True
Let z = 21 + -3. Let q be -2 + 1 + 22/z. Which is greater: -4 or q?
q
Let i(b) = -3*b**2 + 5*b - 2. Let p(w) = w**3 - w**2. Let j(o) = i(o) + p(o). Let l be j(3). Suppose 5 = -2*z + 3*f + l, 5*z + 2*f - 7 = 0. Is z at most 0?
False
Let l = 20 + -20. Is l greater than 1?
False
Let y = 2 + 1. Let n be y/((135/(-6))/(-5)). Which is bigger: n or 2?
2
Let j(s) = s**2 + 9*s + 5. Let q be j(-9). Suppose -3*n + q = -3*l - 7, 3*l + 10 = 5*n. Do 0.4 and n have the same value?
False
Let v = -2 + 5. Let j = -124 - -72. Let l be (-2)/8 + j/(-16). Is l greater than or equal to v?
True
Suppose 130 = 23*r + 498. Suppose -19 = 4*x + 41. Are x and r equal?
False
Let i = -415 - -11207/27. Let y(a) = a + 2. Let p be y(-2). Is p at least i?
False
Suppose -4*f - 4*p + 44 = 0, -2*f - 3*f + 4*p = -10. Let b be f/(-16)*(-20)/(-25). Do 1 and b have the same value?
False
Let w = 36 - 37.2. Let p = -0.8 + 1. Let t = p + w. Which is bigger: 1/4 or t?
1/4
Let o = -2/27 + 53/351. Suppose -b = -5*p - 5, 3 = 2*b - 0*b - 3*p. Which is smaller: b or o?
b
Let r be 0*(1/2)/(-1). Let y be (-563)/5 + (-6)/(-10). Let u = -562/5 - y. Which is smaller: u 