er than 0?
False
Let p = -116.05 - -116. Is p greater than or equal to -3/2?
True
Let r = 1.55 - 1.15. Is r smaller than 1/2?
True
Suppose -n - 2*r + 3*r + 6 = 0, -r = 2*n + 3. Which is smaller: 5/9 or n?
5/9
Let q(v) = -46*v**3 - 2*v**2 + v - 2. Let d be q(-2). Let p = d - 11746/33. Is p < 0?
False
Let q = -16.8 + 1.8. Let g = -14.9 - q. Is g not equal to 2?
True
Let r = 2/319 + -644/957. Which is greater: r or 0.02?
0.02
Let c be -6*3/6 - (-10)/(-6). Which is bigger: -6 or c?
c
Let u(i) = i**3 - 3*i**2 - 3*i - 3. Let g be u(4). Suppose 4 = 12*w + 16. Which is smaller: g or w?
w
Suppose 3*r - 3*s - 12 = -0*s, -2*s - 6 = -4*r. Let f be r/(7*(-3)/(-12)). Let q = f + 5/7. Which is bigger: 0 or q?
q
Let n be 0 + (1/(-4))/1. Suppose 0 = 4*r + 1 - 5. Is r greater than n?
True
Suppose 0 = -3*b + 3*p + 6, -5*p = 3*b + 10. Suppose b = -6*c + c + 20. Is 5 at least c?
True
Let i be (-3)/3*1/(-3). Is 1 greater than i?
True
Suppose 1 = 2*a - 5. Let m = 10/3 - a. Which is bigger: 0.3 or m?
m
Let l(m) = m**2 + m - 14. Let b be l(-4). Suppose -3*f = 2*f. Which is bigger: b or f?
f
Suppose 2*j + 0 = 2. Let x be j/((-1 - 0) + 2). Which is smaller: x or 0?
0
Let g(j) = 2*j**2 - 6*j + 12 - j**2 - 6*j. Let r be g(11). Which is smaller: r or -4/9?
-4/9
Suppose 3*h - 17 = -2. Let c = 7 - 5. Which is bigger: h or c?
h
Let g be ((-12)/22)/(-2)*1. Let u = -12 - -11. Is g equal to u?
False
Let z = 2/397 - 433/7146. Let f = z + 7/18. Which is smaller: f or 1?
f
Suppose 7 = 3*b - 2*k + 2, 4*k = -16. Does 0 = b?
False
Let j(f) = f**3 + 4*f**2 - f - 4. Let i be 10/3*(-6)/5. Let y be j(i). Is -4/3 >= y?
False
Let u(o) = o**2 + 14*o + 9. Let k be u(-13). Do -14/5 and k have the same value?
False
Let g be (0 + -1)/((-5)/(-35)). Is g > -6?
False
Let c be (-4)/(6 + -2)*-1. Let l = c - -3. Do 13/5 and l have the same value?
False
Let w(t) = -t**2 + 17*t + 19. Let m be w(18). Is 1/24 at most as big as m?
True
Suppose -6 = -0*u + 2*u. Let y(w) = -w**2 + 7*w - 3. Let s be y(5). Suppose -3*o + s*o = -8. Which is smaller: o or u?
u
Let k be (4 + -3)/1 + 2. Let v be (21/(-6) + k)*0. Let m be (-9)/132 + 2/(-11). Is m < v?
True
Suppose 4*c - 1 = -9. Let s be (-4 + c)/(-2) + -3. Suppose -5*i + i = s. Which is greater: i or 2?
2
Let t = 0.076 + 3.624. Let h = -12.7 - -12. Let r = h + t. Is r at least as big as -0.1?
True
Let p = 15 - 76/5. Let r(w) = -w - 5. Let z be r(-6). Which is smaller: z or p?
p
Let b = 28 - 28. Which is bigger: b or -1/2?
b
Let n = 74 - 153/2. Suppose -3*q = -2*p - 2 + 3, 6 = -3*p - 3*q. Let u be (3/(-9) - 0)/p. Is u at most as big as n?
False
Let b = 0.8 - -0.2. Let n be ((-1)/(-5))/(8/((-72)/(-9))). Are b and n non-equal?
True
Suppose 5*a - 15 = 2*a. Suppose -3*r + 85 = 2*r + k, a*k = -2*r + 57. Suppose 3*q = 5*b + r, -4*q = -0*q - 8. Are b and -2 unequal?
False
Let l = -5 - -7. Let x = 0 + 3. Let f = 4 - x. Is f <= l?
True
Let n(g) = g**2 + 7*g - 10. Let l be n(6). Suppose l = r + 3*r. Is r greater than 18?
False
Let r = 26 + 0. Is 27 less than r?
False
Let d = 21 - 26. Is d <= -6?
False
Let p be (4 - (-471)/(-117))/((-4)/24). Do -1 and p have the same value?
False
Suppose -4*r + 12 = -8. Which is greater: r or 3?
r
Suppose -28 = -4*q + 2*q. Let i be 1 - (43/q + -2). Is -1/4 not equal to i?
True
Let p(d) = 4*d**2 - 1. Let o be p(1). Let a be o*-2*(-2)/(-28). Let g = -1 + 0. Which is smaller: a or g?
g
Let d(a) = a - 9. Let s be d(9). Let t = 5 + s. Let u = -6 + t. Is u != -2/5?
True
Suppose 11*w - 15*w = -8. Let i be ((-4)/2)/(-1) + 1. Which is smaller: i or w?
w
Suppose -2*n + 14 = -0. Is 9 <= n?
False
Let g = -42 - -211/5. Let t = -1/20 - g. Which is bigger: -1 or t?
t
Let t = -0.08 + 0.18. Which is bigger: -55 or t?
t
Let m = 0.04 + 0.36. Suppose 0 = 2*h + 3*h. Is m at most as big as h?
False
Suppose -7*m + 0 = -56. Which is greater: 51/7 or m?
m
Let x(i) = 3*i**2 + 24*i. Let a be x(-9). Does 82/3 = a?
False
Let q = -6 - -5. Let i = -1 - q. Let f = 1.1 + -0.1. Which is smaller: f or i?
i
Suppose -2*r - 24 = v, -5*v + 3*r - 37 = 18. Which is smaller: -104/7 or v?
-104/7
Suppose 11 = a + 5*v + 3, 6 = 2*a + 5*v. Is 3/5 < a?
False
Suppose 0 = z + 3*r + 1, -2*r = 4*z + r + 4. Let g = -367/63 - -40/7. Let c = -5/9 + g. Which is bigger: c or z?
c
Let y = 0.13 - -0.87. Does y = -0.5?
False
Let v = -14 - -5. Do v and 1 have different values?
True
Suppose 0 = 2*q - 3*m - 9, 0 = -5*m - 16 + 1. Let g(k) = 5*k**3 + k**2 - k + 1. Let h be g(1). Let t be (-3)/9 - 4/h. Which is bigger: q or t?
q
Let x = 8 - 6. Suppose -5*p - 5 = -2*b, 7*b - 23 = -3*p + 3*b. Which is greater: p or x?
x
Suppose -2*h - 2*d - 2 = -4*h, -5 = -5*h - 4*d. Let l = 5.6 - 6. Let m = 0.6 - l. Is h != m?
False
Let i = 10 + -10.7. Let f = -0.7 + 0.2. Let o = i - f. Which is greater: -2 or o?
o
Suppose -5*q - 7 = -22. Which is bigger: q or 0?
q
Let t be -1 - -1 - 0 - 9. Which is greater: -10 or t?
t
Let d = -1/3 + 0. Is d at most as big as -1?
False
Suppose 0 = 2*u + 2*u. Suppose -2*t + 4*t - 6 = u. Is t at least 3?
True
Let i = 0.14 - -6.86. Let d = i - 5. Which is greater: -0.03 or d?
d
Let a = 0.3 + -1.3. Let c = 0 - a. Let z = 2 + -5/2. Is z < c?
True
Suppose 7 = -5*k - 4*w + 22, -3*w = 0. Suppose -2*i + 8 = 0, i - 12 = u - 2*i. Suppose 3*f + u = k. Which is bigger: 2 or f?
2
Let m(p) = -p**2 + 8*p - 9. Let g be (-4)/(-10) - 99/(-15). Let n be m(g). Let q be ((-6)/(-16))/(3/n). Do 1 and q have the same value?
False
Let i = -3.066 - 0.034. Let a = i - -0.1. Let u = 4 + a. Is -2 at least u?
False
Let r(m) = -m**3 - 11*m**2 - 10*m + 1. Let u be (3 - 0)/(9/(-30)). Let j be r(u). Do 0 and j have the same value?
False
Let f be (440/(-100))/((-1)/(-5)). Is -70/3 > f?
False
Suppose 0 = -k + 6*k. Suppose -4*q - 5*m - 9 = 9, -q + m = k. Is q at most -2?
True
Let o be 32/12 - (-4)/(-6). Let v be (2/(-30))/(o/(-6)). Let m(f) = -f**2 + 5*f - 5. Let c be m(4). Do v and c have the same value?
False
Suppose r = x + 2 + 1, 12 = 2*x + 4*r. Suppose -4*h + 3*v = -3*h - 72, 5*h - 4*v = 360. Let t be 16/(-234) - (-16)/h. Which is greater: t or x?
t
Let l = 0.2 - -0.4. Let z = l - 0.4. Let a = 0 + z. Which is smaller: a or 2/7?
a
Let j = 47/3 + -16. Let w = 5 + -13. Let z = -6 - w. Is z less than or equal to j?
False
Let c = -20 - -22. Which is greater: c or -4?
c
Let t = -0.4 - -0.2. Let n = 19 + -19. Is n < t?
False
Let s be 330/(-63) - (-6)/9. Which is greater: -4 or s?
-4
Let n be 5/(-2) + 2/4. Let z = 1.2 - 1.1. Which is greater: n or z?
z
Let s = -0.82 + 0.12. Let a = 7.2 - 7. Let l = -0.2 + a. Which is greater: l or s?
l
Suppose 6 = -2*m + 2*b + 2*b, 0 = -3*m - 2*b - 33. Is 0 <= m?
False
Let z = 130 - 267/2. Are -5 and z unequal?
True
Suppose 2*w = -2 - 6. Suppose d - 2*l = -2, -46 = 5*d + 2*l - 0*l. Let k(b) = -b**2 - 9*b - 11. Let g be k(d). Which is smaller: w or g?
w
Suppose -21 = 5*o - 1. Let i be (o - -6)*(1 + -5). Are i and -7 nonequal?
True
Let s = -19 + 135/7. Are 0.06 and s non-equal?
True
Let g = 18 + -16. Suppose -3*w = w - 8. Let b be (w/6)/(2/6). Which is greater: b or g?
g
Let l = 0 + -8. Let s = l + 7. Let c = -0.2 + 0. Which is greater: s or c?
c
Suppose -5*k - 3*p + 16 = -37, -55 = -5*k - 5*p. Suppose 5*m = 5 + k. Suppose -4*w + 8 + 0 = 0. Is m > w?
True
Let o(v) = -v**3 + 3*v**2 - 1. Let h be o(2). Suppose 0 - 3 = h*q. Which is bigger: q or 1/10?
1/10
Let r = -15 + 28. Let x(l) = l**3 - 13*l**2 - l + 14. Let q be x(r). Which is smaller: q or 4?
q
Let b = 38 - 26. Suppose -2*a + 4*a - b = 0. Is a bigger than 5?
True
Let g be 4*((-5)/(-4))/5. Let p be (-1)/(0 - g/2). Suppose 0 = -p*s - 2*s + 8. Is s < 1?
False
Suppose 0 = -2*p + 12 - 4. Let b be (-1)/p + (-638)/(-2520). Let q = -71/315 + b. Do q and 1 have different values?
True
Suppose 16 = 5*t - 24. Suppose t = -0*w + 4*w. Which is bigger: 3 or w?
3
Suppose -18 = 18*m - 12*m. Let j = -290 + 860/3. Which is bigger: m or j?
m
Suppose -6*p + 3*p = -18. Do p and 6 have the same value?
True
Let v(z) be the third derivative of z**6/120 - 7*z**5/60 + z**4/6 - 5*z**3/6 - 2*z**2. Let l be v(5). Let a be (4/(-70))/((-7)/l). Is -2 < a?
True
Let f be (22/(-4) - -3)*-2. Is 2 less than or equal to f?
True
Let r = 143 - 123. Is r smaller than 20?
False
Let f = 2.58 + -0.58. Is f <= -0.01?
False
Let r be (-29)/(-30) - 46/69. Is r bigger than 1?
False
Suppose 