-2/11 greater than a?
False
Suppose 0 = -6*x + x. Let z = -2207/6 + 367. Which is smaller: x or z?
z
Suppose -2*m - 3*q + 7*q = 0, 0 = 2*m + q. Let o(x) = 2*x**2 + 5*x - 5. Let f be o(-3). Is f greater than or equal to m?
False
Let j(c) = c**3 - 4*c**2 + 2*c + 4. Let z be j(3). Let u be 0/((-3 + 2)/z). Let w = 67/180 - 3/20. Is w less than or equal to u?
False
Let v be 7/14 + 3/(-6). Is 1/3 not equal to v?
True
Let j(z) = -z**2 + 10*z + 23. Let t be j(12). Let u = -2/79 - 144/553. Which is smaller: t or u?
t
Let a be 2/(-5)*(-12 - -7). Let t = a - 3. Are t and 2/13 equal?
False
Suppose 2*i + 3 - 7 = 0. Let j be (i/(-3))/(10/(-6)). Let b = 2.01 + -0.01. Which is smaller: j or b?
j
Let d be (-2)/4*(-6)/(-3). Suppose -4*f = 3*i + 19, -2*i - 3*f + 12 = -5*i. Let w be (-14)/(-30) + i/15. Which is greater: d or w?
w
Let t(d) = d**3 - 12*d**2 - 14*d + 14. Let p be t(13). Which is greater: -2/65 or p?
p
Suppose -3*c = 5*t - 32, 3*t = -3*c + 25 + 11. Let y be ((-6)/c)/((-3)/6). Let x(k) = 3*k**3 + k**2 - 3*k + 1. Let a be x(1). Which is greater: a or y?
a
Suppose -5 - 3 = 4*r. Which is smaller: -6 or r?
-6
Suppose k + 4 = 0, -5*j + 2*j - 2*k = -4. Which is smaller: j or 7?
j
Suppose 0*m + 5*m + 10 = 0. Let y = -5/2 - m. Which is smaller: y or -0.05?
y
Let p(t) = t**3 + 2*t**2 - 3*t + 4. Suppose -4*z - 15 = z. Let a be p(z). Is a at least 5?
False
Let i = 1/315 - -16063/630. Is 26 >= i?
True
Let v = 107.3 - 104. Are 0 and v equal?
False
Suppose -9*x + 4*x = -10. Suppose 2 = -x*z + z. Let b = -9 - -6. Is b > z?
False
Let u(o) = -o**2 - 4*o + 7. Let n be u(-5). Let w(r) be the second derivative of r**3/6 - 4*r. Let t be w(n). Is -1 greater than t?
False
Let t(r) = -3*r**3 - r**2 + r - 1. Let w be t(1). Let h = -3 - 1. Is h < w?
False
Let r be (-1 - (-3)/6)*-12. Is r equal to 3?
False
Let g = -37 + 23. Let r be 4/g - 80/14. Which is greater: r or -5?
-5
Let g(i) = -i**2 + 5*i + 8. Let t(m) = -m**3 + 10*m**2 - 9*m + 6. Let o be t(9). Let j be g(o). Suppose 0 = -q - 1 - j. Is q < -2?
True
Let f be (-3)/4 - 33/36. Do -1 and f have the same value?
False
Let u = 1.9 - 2. Let a = 6 - 3. Suppose -3*n - 6 = -a*k - 0, -3*n = k - 2. Are u and n unequal?
True
Let w(n) = -n**2 - n. Let y be w(-5). Let f = 14 + y. Let m(l) = l + 5. Let p be m(f). Which is greater: p or -3?
p
Let y = -88.9 - -81. Let u = -8 - y. Is u greater than or equal to 0.03?
False
Suppose 0 = -2*a + 10 - 8. Suppose 0 = 4*n + z - 6, -n - 4*z - a + 10 = 0. Which is smaller: n or -0.01?
-0.01
Suppose -3*c = -6*c. Which is greater: c or 8/7?
8/7
Let b = -121 + 169. Let d be (-4)/6*(-27)/b. Suppose -2*j + j + 1 = 0. Which is greater: d or j?
j
Suppose -2*y + 4*l + 18 = -0*y, -y - 4*l - 21 = 0. Suppose 14 = -2*b + 2*k, -4*k + 43 = -3*b + 17. Let w be -2 - (b - 9/21). Is w smaller than y?
False
Suppose -2*a = -v - 22, -2*a = -3*v + a - 51. Let c be 2/(-8) + 9/v. Let x be ((48/(-10))/6)/2. Is x bigger than c?
True
Suppose -5*r + 31 - 1 = 0. Let u be r/3 - 6/3. Are u and -1/12 non-equal?
True
Suppose 10 = 8*z - 3*z. Suppose -5*g - 5*b = -9 - 1, 5*b - z = -g. Is 2 > g?
False
Let v = -8 + 10. Suppose -16 + 2 = v*x. Let u = x + 7. Is -2/3 greater than u?
False
Let r be -1*(0 - 0) - -4. Let y be (-2)/(-6) - (-8)/3. Suppose -4*o - r = -y*o. Which is bigger: o or -3?
-3
Let m = 4.89 - -0.11. Which is smaller: m or -1/2?
-1/2
Suppose 0*t - 3 = 3*t. Let s be (-5)/(-10)*(t + 3). Is s >= 1?
True
Let x(i) = -i - 1. Suppose 3 = 4*g + 3*h, 3*g + 2*g - 4*h = -4. Let j be x(g). Let c be (-1*2 - -4)/8. Which is smaller: c or j?
j
Suppose 3*j - 3*r - 6 = 0, 3*j - j - 3*r = 7. Let b = j - -5. Is 4 greater than b?
False
Let l be 4/18 - 110/90. Which is smaller: l or -4/11?
l
Let x(p) = 2 + 1 - 2*p + p. Let b be x(3). Is b equal to 0?
True
Suppose -3*p = -2*m + 6 - 3, -m = 3*p + 12. Is p < -6?
False
Let x = 1/151 - 766/1661. Which is greater: x or 2/5?
2/5
Let d be 7/(-14) - 1483/18. Let m = 83 + d. Which is smaller: m or 0?
0
Let r = 19.9 + -20. Which is smaller: r or 2.5?
r
Let s be 1/6*(-9)/(-2). Which is greater: 0 or s?
s
Let c = 5.1 - -33.9. Which is bigger: -2/9 or c?
c
Let u be 4/6 - 115/15. Let a = u + 8. Is a greater than or equal to 1?
True
Let k = 1525 - 68621/45. Let t = 2/135 - k. Is -1 smaller than t?
True
Let m be (1/2)/(2/(-4)). Which is bigger: m or -2?
m
Let o be 70/(-6) + 1/(-3). Let u = -4 - o. Let g = 453 + -446. Which is bigger: g or u?
u
Suppose -2*h + 0*a + 4*a = 8, 0 = -5*h + 2*a - 4. Which is smaller: h or -5/8?
-5/8
Let s = 38/11 - 548/165. Suppose 5*o = -2*q - 2 - 14, -18 = q + 5*o. Suppose -q*g = -0*g. Are s and g nonequal?
True
Let f(x) = -x - 3. Let v be f(-5). Suppose 3*a = -3*g + 3, 0 = a + v*a + 2*g - 5. Suppose -4*t + 10 = -3*h - 1, 5*h + a*t = 30. Which is greater: h or 1?
h
Let a be 8/(-4) - -3 - -4. Is a at least 2?
True
Suppose a + a - 6 = 0. Suppose -a*h + 2*h - 1 = 0. Suppose 0 = -4*g + 6*g + 2. Is g not equal to h?
False
Let m(s) = s**2 + 2*s + 1. Let g be m(-3). Suppose -g*b = -b - 6. Which is smaller: 0 or b?
0
Let m = -230 - -130. Let k = 1499/15 + m. Is -1 at least k?
False
Suppose 0*j = 5*j + 5. Let z(s) = s - 6. Let q be z(6). Which is smaller: q or j?
j
Let d be 0 + -1 + (-8)/(-8). Let b be (4 - 3) + 2 + d. Which is greater: b or 6?
6
Let g = 0 + -1. Let p = -135372 - -4737456/35. Let b = -82/5 - p. Which is smaller: b or g?
g
Let w = -9.5 + 8. Let o = w + 8.5. Is o not equal to 1?
True
Let g(d) = 3*d + d**2 + d - d**3 - 2*d. Let h be g(2). Let l = 3 - h. Which is greater: l or 2?
l
Let g be (8/10)/(26/65). Suppose 0 = -2*v + 3*s - 35, -v - 4*s - 10 = g*v. Does v = -9?
False
Let q = -4 - -5. Let z = q + -1. Is 0.3 less than or equal to z?
False
Let l = 19 - 18. Which is smaller: l or 3/8?
3/8
Let n = 4/1859 + -146873/5577. Let d = n - -544/21. Suppose 0*o + 3*o = 3. Which is greater: o or d?
o
Let n = -373/6 + 62. Let s = -13 + 12. Which is bigger: s or n?
n
Suppose 15 = -0*v - 3*v. Let d = -1 - v. Suppose -d*m = -13 + 5. Which is greater: 3 or m?
3
Let t(r) = r**3 + 4*r**2 - r. Let o be t(-4). Let p(a) = 4*a**2 - 1. Let u be p(1). Suppose 4*x + g + 20 = 0, -2*x - 2*x - o = -u*g. Is x bigger than -4?
False
Suppose -3 = o + 2*o. Let j be (21 + 1 - 2)*2. Let k = -119/3 + j. Are o and k non-equal?
True
Let j(q) = -2*q - 58. Let u be j(-14). Which is smaller: u or -31?
-31
Let a be ((-148)/(-40) - 3)*4. Which is bigger: a or 2?
a
Let f(c) be the first derivative of c**4/4 + 2*c**3 - 3*c**2/2 + 5*c + 9. Let t be f(-7). Do -22 and t have the same value?
False
Let j = 7.15 + -7. Let u = j - -0.05. Which is smaller: u or -0.2?
-0.2
Suppose 0 = 3*o + i - 6, -3*o + 4*i + 3 = 12. Is 2/109 equal to o?
False
Let o(v) = v**3 - v**2 - 4*v + 2. Let x be o(3). Let d = x + -5. Suppose 1 = -2*h + d*h + 3*c, -2*h = -2*c + 6. Which is greater: h or -2/3?
-2/3
Let s = 7.2 - 7. Let i = 1.8 + s. Is i at most as big as -0.1?
False
Let d be 8/(-18)*6/4. Let q = 0.5 + -3.4. Let t = -3 - q. Which is smaller: t or d?
d
Let j = -140 - -140.1. Is -129 greater than j?
False
Let a = -0.03 + -3.97. Let q = 6 - 3. Let c = a + q. Is c less than 0?
True
Let f = 6 - 29/5. Which is smaller: 0 or f?
0
Let j = -1 + 7. Which is bigger: 7 or j?
7
Let k = 311/4 + -78. Let w = -5 + 3. Let s = 1.94 + w. Which is smaller: k or s?
k
Let c(q) = q - 3. Let p be c(-3). Let y be (1 + -4)*(-4)/p. Let t be (-1)/y*4 + 1. Do 3 and t have different values?
False
Suppose 2*t - 16 = -2*t. Let z be (-4)/3*(-18)/t. Suppose -4*c = -c + z. Is c smaller than 0?
True
Suppose 0 = 5*v + 5*d - 10, 2*v = -8*d + 3*d + 7. Let u = 2 + -3. Let y be 1 + u + (-1 - -1). Is v greater than y?
True
Suppose -a = -2*a - 7. Let r = a + 7. Which is bigger: -2/7 or r?
r
Let d = -111 - -102. Is d less than 0.2?
True
Let t = -21 + 1. Is t at most as big as -20?
True
Let d be 1/(-5) - 48/(-15). Is 4 less than or equal to d?
False
Let q = -164/11 - -1739/110. Let a = -2/5 + q. Let l(v) = -v**2 - 5*v - 4. Let j be l(-3). Is j at least as big as a?
True
Let u = 1 + 4. Let i = -17 + u. Let a be (2 + 1)*i/90. Which is greater: -1 or a?
a
Let q be 4 + -8 + 0 + 12. Which is smaller: 0 or q?
0
Let c(h) = 8*h**2 + h - 13. Let o be c(9). Let x = 4500/7 - o. Which is bigger: x or -2?
x
Let t = -0.14 - -2.04. Let c = t + -1.99. Is -1 > c?
False
Suppose -m = 2*m + 3. Le