s big as -2/7?
True
Let q be 9 - 1 - 2*1. Suppose 2*s - o + 3 = 0, -2*o = -s - 0*s + q. Which is smaller: s or -8/3?
s
Suppose -3*t + 7*t = 2*q - 10, 0 = 4*q + 2*t. Let j = -192 + 1730/9. Which is greater: q or j?
q
Let r(c) = c**3 - 11*c**2 - 12*c + 2. Let w be r(12). Suppose -u = -w*u. Which is smaller: u or 7/5?
u
Let s = 138 + -134. Suppose 0 = d - 2*o - 11, -d + 2*o + 3*o + 23 = 0. Is d > s?
False
Let y = -32 + 30. Are y and -4 unequal?
True
Let i(n) = 2*n**2 + 19*n - 9. Let d be i(-9). Let f be 6/d*(-9)/(-6). Suppose 3*h - 2*q = 2*q - 38, -5*h - 60 = -5*q. Which is bigger: f or h?
f
Let i(c) = c**2 - 2*c - 1. Let q be i(-1). Suppose -q*k = 2*w - 0*k - 10, 3*w - k - 7 = 0. Let o be w/(-2)*(-2)/(-12). Is 1 bigger than o?
True
Let n be ((-3)/(-2))/((-42)/(-8)). Suppose l - 2*t = 4*l - 8, 18 = 4*l - t. Suppose -f - 2*o - 11 = 0, 0 = -2*f + f + o + l. Is f at most n?
True
Let z = 17 + -16.9. Is z less than or equal to -1?
False
Let q(s) = -s**3 - 10*s**2 - 9*s + 4. Let g be -1 - (-1 + 2) - -1. Let k be -9 + (2 + -3 - g). Let n be q(k). Is 4 at most n?
True
Suppose -4*c + 2*o = -4, 5*o - 12 = 2*o. Is 0 less than or equal to c?
True
Suppose 0 = 2*u + 10 + 38. Let k = -25 - u. Which is smaller: k or 0.2?
k
Suppose 36 = 9*q - 7*q. Let v = -27 + q. Is v greater than -8?
False
Let s = 1 - 1.5. Let w = s + 0.6. Does -0.4 = w?
False
Let i be 45/(-6)*(0 - 2). Suppose 5*d = -5*z - i, 0*d + 5*d + 3 = -z. Suppose -2*q - 3 - 1 = 0. Are z and q unequal?
True
Suppose 0 = 2*k - 2. Which is bigger: -1/32 or k?
k
Let v = -2903/7 - -414. Is v > -2?
True
Let u be ((-6)/(-54))/(1/(-3)). Is 0 < u?
False
Let n be (-15)/(-6) + (-2)/4. Let g(w) = w**3 - w**2 + w. Let c be g(n). Let m = -4 + c. Is m bigger than 2?
False
Let n(b) be the second derivative of b**4/12 - 2*b**3/3 - 3*b**2/2 + 2*b. Let t be n(5). Is t at least 1?
True
Let j(x) = -7*x + 21. Let y be j(9). Let k be 12/y + (-26)/(-42). Is k bigger than -0.4?
True
Let r(b) be the third derivative of b**4/24 + b**3/6 - 5*b**2. Let m be r(1). Is m bigger than 2?
False
Suppose 3*b + 2 = -b - 3*c, 2*b - 2*c + 8 = 0. Is b less than or equal to 11?
True
Let r = 0.133 - 0.033. Which is bigger: r or -0.2?
r
Let m(q) = -2*q**2 - 3*q + 2. Let u be m(2). Let b be (-8)/u - (-32)/6. Suppose -4*t = -b - 22. Which is smaller: t or 5?
5
Let i be (-1)/(-4)*(-2 - 2). Let h be (((-21)/(-12))/(-7))/i. Is 3/5 <= h?
False
Suppose 6 = 2*w + w. Let f(i) be the second derivative of -i**3/6 + i**2 - i. Let x be f(w). Is x equal to 0?
True
Suppose -2*j + 2 = -4*t + 2*t, -5 = -5*j - 3*t. Which is smaller: j or -4/85?
-4/85
Let r be 4/(-842)*(-3)/(-6). Let w = r - -1695/4631. Suppose -3*z + 3 - 19 = -4*c, -20 = -z - 5*c. Is w less than z?
False
Let u = -20 + 17.4. Let z = -1.6 - u. Are z and -0.2 equal?
False
Let k = -0.032 + -0.168. Let y = -38 - -34.8. Let x = 3 + y. Is k less than x?
False
Let s = 0.26 - 3.26. Which is greater: 2/5 or s?
2/5
Let k(b) be the first derivative of -b**4/2 - 2*b**3/3 + b**2 + 2*b - 2. Let y be k(-2). Suppose a - y = 2*u - 3*a, u = 4*a - 5. Which is bigger: 0 or u?
0
Suppose 8 = -2*t + 2. Let q = t + 4. Let z = -52 - -52. Is z greater than q?
False
Let p be 8*4/880*5/1. Let s = 2 + 2. Which is smaller: p or s?
p
Let q(w) = 2*w**2 + 2. Let g be q(-3). Let n be ((-8)/g)/(22/(-10)). Let m = 2.1 + -2. Is m at most as big as n?
True
Let j be 1 - -1*(-5 - 1). Suppose -5*g + 8 = -32. Let k be -6*(g/4)/4. Which is smaller: k or j?
j
Let r = 188/3 - 62. Let a = -0.1 + -0.8. Let j = 5.9 + a. Which is smaller: r or j?
r
Let w = -0.12 + 0.12. Let v = 0.02 + w. Is v >= 1?
False
Let s(m) = 14*m - 42. Let x be s(9). Is 84 less than or equal to x?
True
Let l(f) = f**3 - 3*f**2 - 3*f + 4. Let c be l(3). Let p(k) = k**3 + 3*k**2 - 12*k - 10. Let r be p(c). Which is smaller: -1/5 or r?
-1/5
Let q(z) = -z**2 - 10*z + 13. Let v be q(-11). Suppose -r = r + v. Let t be (0 + r)/(6*1). Which is smaller: 1 or t?
t
Let m = -0.7 + -1. Let a = 0.8 + m. Which is greater: a or 2?
2
Suppose z = 6*z - 10. Is z greater than 2?
False
Let y be ((-25)/(-10) + -4)*1*-26. Which is smaller: y or 40?
y
Suppose -8*a + 7*a = 0. Is a less than or equal to 9/8?
True
Let k = 9 - 7. Suppose -4*p + 14 = k. Is p smaller than 3?
False
Let n = -0.4 + 0.6. Let c = 13 - 39. Let z = c + 103/4. Is n > z?
True
Suppose 6*u - 4*u - 10 = 0. Is u at most as big as 11/3?
False
Let i(a) = a**3 - 3. Let c be i(0). Let u be (-3)/(18/4)*3. Is c less than u?
True
Let j = -19 + 17. Which is smaller: j or -6?
-6
Let u = -4 - -5. Let c = 5 - u. Let t be (-4 + c)/(1/1). Which is bigger: t or -1?
t
Let l(k) = k**2 + 7*k + 11. Let j be l(-6). Is 5 not equal to j?
False
Let z = -46 - -49. Does 3 = z?
True
Let v = 50 + -50.12. Which is smaller: v or -1?
-1
Suppose -19*v - 78 = -16*v. Let x = -23 - v. Is 2 greater than x?
False
Let y = -212 + 2330/11. Which is bigger: y or -1?
y
Let d = -0.1 - 1.7. Let x = -5.2 + d. Let n = 6.9 + x. Which is smaller: n or -0.2?
-0.2
Let x be 4/(-14) - (-2)/7. Suppose x = 2*r - 2. Let b be -1 + (-2)/6 + r. Which is smaller: b or 0?
b
Let i be (3 - -2)/15 - (-2)/(-6). Does i = -2/37?
False
Let j = -12 + 35/3. Is -3 smaller than j?
True
Let c = 3/847 - 927/847. Let j = -4 + 4. Which is bigger: c or j?
j
Let u be -6*((-3)/(-6) + -1). Suppose -5*a + 5 = -0*a, -4*o + 3*a - u = 0. Let i = 24 - 23. Is i < o?
False
Let q = -3/2 - -21/10. Is 2 smaller than q?
False
Let u = -153 - -154. Let j(b) = b**2 - 6*b + 6. Let w be j(4). Let h be w - -1 - 10/(-6). Do u and h have different values?
True
Let i be 2/6 - (-4)/24. Let w be (-6)/1*3/6. Are w and i non-equal?
True
Let r = 30 - 66. Let f = r + 26. Let a be (15/f)/((-27)/4). Is 1/2 >= a?
True
Let t = -26 - -26.1. Which is smaller: t or 5/8?
t
Let p = -3/1631 + -61/3029. Do 0 and p have the same value?
False
Let j = -67.2 - -47.3. Let i = j - -19. Let p = -0.1 + i. Which is smaller: 0 or p?
p
Let a be 2 - (-39)/27*-1. Is 2 at most a?
False
Suppose -z - 4 = z. Let l be z/(-5) + 8/(-15). Which is smaller: l or 1?
l
Let q = -2 - 0. Let f = -0.045 + 0.045. Let h = f + q. Are 2/5 and h equal?
False
Let g = 7 - 6.6. Is 1/9 greater than g?
False
Let t be (-1)/6 - (-20)/(-24). Let o be (t/3)/((-5)/135). Is 9 less than o?
False
Let m be (3/5)/((-1)/(-10)). Is 5 at most as big as m?
True
Let f = -2 + 6. Let k = 4.1 - f. Which is smaller: 1/6 or k?
k
Let d = -95/28 + 15/7. Let b = -3/2 - d. Is 1 not equal to b?
True
Let n be -2*(-2 - 0)/(-2). Let t = n + -3. Is t less than -4?
True
Suppose 2*c - 3*d = -33, -d + 24 = -5*c - 39. Let a be c/10 - (10 + -10). Is a <= 0?
True
Let o be 2*(-1 + (-84)/(-40)). Is 1 at most o?
True
Let a = -592/9 + 66. Which is bigger: 1 or a?
1
Suppose 4*p - 3*f = -8*f - 21, -2*f - 12 = -2*p. Which is smaller: p or -5/29?
-5/29
Let z = -18 - -19.4. Let o = z - 1.5. Let d = 4.8 - 4. Which is bigger: d or o?
d
Let r = -5.1 - -5.1. Which is smaller: 15 or r?
r
Let j = -51 + 50. Which is smaller: 32/5 or j?
j
Let i(d) = d**2 + d - 5. Let o be i(0). Let c(m) = -m - 4. Let g be c(o). Which is smaller: g or 3/4?
3/4
Let r be (2/24)/((-4)/(-16)). Let x = 6 + -6.2. Let n = 0.3 + x. Are r and n non-equal?
True
Let k = 107 + -74. Do 34 and k have different values?
True
Let b = -1 + 1.2. Let y be (18/3)/((-3)/(-3)). Let w be 5/15*y/(-8). Which is smaller: b or w?
w
Suppose 5*s + 10 = 0, -s - 122 + 18 = -2*l. Are 50 and l nonequal?
True
Suppose 3*z + 1 = -p, -2*z = -p + 2*p + 2. Let d be ((-30)/3)/(-2*z). Do d and 2 have the same value?
False
Let n = -8642 + 173131/20. Let d = 69/5 - n. Suppose 5*t = -2*g, 2*t - 10 = -5*g + 11. Are t and d unequal?
True
Let x be (6/(-4))/(6/(-12)). Suppose -l + r + 0*r = 19, -l - 3*r = x. Which is bigger: l or -16?
l
Let l = -13 - -9. Let c = 16 + -17. Is l < c?
True
Let q = -163 - -158. Is -13/3 != q?
True
Let m = -14 + 18. Let p(c) = 6*c - 9. Let g be p(m). Which is smaller: 16 or g?
g
Let m(o) = -2*o - 9. Let l be m(-6). Suppose 2 = -2*y + 3*s, 6*y + 3*s = l*y - 3. Which is smaller: 0.07 or y?
y
Suppose 0*c + 4*c = -2*h - 24, c - 12 = 4*h. Suppose 0 + 12 = -6*o. Let g be (-9)/o - (-2)/h. Are 3 and g equal?
False
Suppose 0 = 3*v + 16 - 61. Let o be (-10)/v + (-64)/(-6). Is 1 != o?
True
Let a be (-150)/24 + 2/(9 + -1). Suppose 6*j + 30 = j - 5*q, 5*j + 30 = -3*q. Is a great