 or s?
s
Let w = -536/1827 - -2/261. Let k = 0 - -0.2. Is k < w?
False
Let l be 1/3 - (-48)/18. Suppose -8 + l = -5*u. Let y(x) = x**3 + 3*x**2 - x - 2. Let d be y(-3). Is u >= d?
True
Let a be 20/70 - ((-16)/(-7) + -2). Is 4/15 bigger than a?
True
Suppose 0 = 2*m - 3 + 11, 0 = 5*g + 2*m - 32. Which is greater: g or 7?
g
Suppose 0 = x - 0*x - 3*x. Let k = -309/5 + 62. Is k bigger than x?
True
Suppose 3*v = 4*q + 12, 4*q + 3*v = -3 + 15. Let n = 5 + -2. Which is smaller: n or q?
q
Let i be (2 + 26/(-14))/(-1). Suppose 4*y - 5*y + 12 = 0. Let o = -12 + y. Is o != i?
True
Let p be 32/90 + (-3)/((-27)/(-2)). Let d be (-4 - -3)/(1 - 0). Which is smaller: d or p?
d
Let w be (((-2)/(-5))/(6/30))/(-5). Which is smaller: w or 0.029?
w
Let q = 112 - 111.86. Which is smaller: 0.1 or q?
0.1
Suppose 0 = t - 2 - 7. Let q be (6/t)/((-2)/(-12)). Suppose 0 = h - q*h + 3. Which is smaller: 5/6 or h?
5/6
Let b = -8640/11 + 786. Let z = -18 - -12. Let a = -5 - z. Which is greater: b or a?
a
Let n = -0.1 - -1. Let w = n + 0.1. Let b = w + 1. Which is bigger: b or -0.2?
b
Let q = 12.9 - 12. Is -1 at most as big as q?
True
Let t be (4/8)/(2/16). Suppose t*v - 7*v + 6 = 0. Which is bigger: v or -2?
v
Suppose 3*t = -3*x, -5*x + 0*x - 3*t = 0. Suppose x*u + 3*h - 17 = -2*u, 0 = -3*u + 4*h. Suppose 3*v - u*v = -5*j, -5*j - 5 = -2*v. Is 1/4 smaller than j?
True
Suppose 0 = 3*j - 7 - 2. Do 1 and j have different values?
True
Let u be -2 - 0 - 72/(-42). Which is greater: u or -5?
u
Let r = 817/8 - 307/3. Let u = r - -1/24. Let j be (0/(-3))/(0 - -1). Which is smaller: u or j?
u
Let b be ((-2)/7)/(18/117). Let o = 15/7 + b. Which is bigger: 0 or o?
o
Let f be 14/(-30) + 8/40. Are -1 and f nonequal?
True
Suppose -u + 2*g = 10, 5*g = 4*u - 0*u + 31. Let d = 11 + u. Suppose -2*j + d*j = 10. Which is smaller: j or 1/5?
1/5
Let z be (-6)/(-4)*6/3. Suppose -3*n + 3 = -z. Is 0 <= n?
True
Let n = 10 - 6. Let j be 48/42*(-1)/n. Suppose 0*i + 3*i = 5*c - 5, -4*i - 5*c = -5. Is j equal to i?
False
Suppose -5*x - x = 48. Suppose t + 7 = -0*t. Which is bigger: t or x?
t
Let r = -0.3 - 0.1. Let l = r - 0.6. Let v = -2 - l. Which is smaller: v or 3?
v
Suppose 5*q + 0*q - 95 = 0. Suppose a - v + 2*v + 2 = 0, 4*a - q = 5*v. Is a greater than 0?
True
Let g = -0.2 + 0. Let d = g + 1.2. Let c = 2 - 1. Is d < c?
False
Suppose -2*g = 4*y + 18, 0 = 3*g - 2*y + 3 - 0. Which is smaller: g or 3?
g
Let f = 107/30 + -17/5. Which is smaller: -1 or f?
-1
Let u be -2*(162/84 + (-1 - 1)). Suppose 0 = -5*k - 3 + 8. Which is smaller: u or k?
u
Let a = 5 - -10. Suppose 0 = u + 4*f + a, 21 = -u + 5*f + 6. Is u >= -14?
False
Let w = 1.2 + -0.2. Let p = -352/7 - -50. Which is smaller: p or w?
p
Let d be (-8)/(-4) - 24/14. Is d > 1/3?
False
Let y(m) = 5*m + 5. Let x be y(4). Suppose 1 = 2*n + x. Let h be (-1)/(-3) + 4/n. Is h at least -2/13?
True
Suppose -l - 92 = 4*h, 5*h + l + 86 = -29. Let n = h + 32. Which is smaller: 10 or n?
n
Suppose 0 = j, -4*j + 0 + 6 = d. Suppose -17 = -3*s + 2*q, 0*q = s - q - d. Is s < 5?
False
Let t = 2.4 + -1.1. Let k = t - 1. Is k at least as big as 1?
False
Let d = 112 + -67. Let x be (6/d)/((-2)/(-20)). Which is greater: 1 or x?
x
Let h be (2/30)/((-1)/(-3)). Suppose -5*v + 0*v + 45 = 0. Let b(q) = -q + 8. Let j be b(v). Is h at least j?
True
Suppose z - 3*o = 5, -26 = -3*z + 2*o - 4*o. Suppose z + 4 = 4*h. Let f = -135 - -275/2. Which is smaller: h or f?
f
Let c(m) = m**2 + 6*m - 1. Let s(j) = 5 - 4*j + 5*j - 16. Let a be s(5). Let d be c(a). Is -3 < d?
True
Let m be -2*1/2 - -4. Let r be (6 - 8)/(1 + -2). Let f be r*1/2*0. Are m and f nonequal?
True
Let s = -0.019 + -0.291. Let k = -0.01 - s. Let z = 0 + k. Which is greater: 2/7 or z?
z
Let u = 17 - -1. Is u greater than 33/2?
True
Let x be -33 + 2/(0 - 2). Let r = -13 - x. Let l be (7/r)/((-4)/(-3)). Which is greater: 1 or l?
1
Suppose -3*q = -s - 196, -3*s - s + 321 = 5*q. Suppose -5*a - 2*h + q = 3*h, 5*a = h + 41. Let f be 2/a + 100/36. Which is smaller: f or 4?
f
Suppose 2 = m + 5. Let p be (-2)/6 - (m - -3). Let q = 2.4 - -0.6. Which is greater: q or p?
q
Let f(k) = -k**3 + 3*k**2 + 2*k - 4. Suppose 5*x - 12 = 2*x. Let w be f(x). Let y be (-4)/w*12/2. Which is greater: 3 or y?
3
Suppose 0 = -4*k + 12 - 0. Let v = 4 - k. Suppose 3*f = -f. Which is greater: v or f?
v
Let j be (8/10)/(1 - (-34)/(-30)). Is j < -7?
False
Suppose 0 = -2*f + 4*l, f = -2*f + 5*l. Let x = -1459/860 + 33/20. Which is smaller: x or f?
x
Let c(b) = -b**2 + 4*b + 2. Let h be c(5). Let x = 0.09 - 1.09. Which is greater: h or x?
x
Let p be 1 + 0 + -3 - -17. Let y = -8 + p. Suppose -y + 2 = -5*f. Is -2/9 < f?
True
Suppose -4*k + 662 + 442 = 0. Suppose 4*y + 5*g - k = 2*g, -3*y = -2*g - 190. Let w be (-2)/11 - (-34)/y. Which is smaller: 1 or w?
w
Let q = -5.5 - -0.5. Let x = 5 + q. Which is smaller: x or -4?
-4
Let r(n) = n**3 + 6*n**2 + 6*n + 5. Let w(c) = -2*c**2 + 5*c - 2. Let o be w(3). Let f be r(o). Do 0 and f have the same value?
True
Let i = -3.07 - -0.07. Let g = 2.8 + i. Suppose z - 9 = -3*t, -9 = 2*z - 0*t - 3*t. Which is smaller: g or z?
g
Let g be (-2)/3*(-2 + 25/8). Which is greater: -2 or g?
g
Let q be (-3 + (-2)/(-1))*-3. Let u be ((-8)/q)/(4/(-6)). Is u at most as big as 4?
True
Suppose b = -3*p + 6*b - 26, -5*p = -4*b + 52. Which is smaller: -11 or p?
p
Suppose 0 = -5*v - 2*l - 2*l + 25, -l + 10 = 5*v. Let x be v + -1 + 12 - -4. Is 17 < x?
False
Let y be -2 - 28 - (1 + 1). Which is smaller: y or -1?
y
Let x = -0.18 + 0.23. Is 2/21 <= x?
False
Let d(w) be the second derivative of w**5/60 + 5*w**4/24 - w**3/2 - 2*w**2 - 4*w. Let p(u) be the first derivative of d(u). Let k be p(-5). Is -2 at least k?
True
Let i = 23038/5967 + -104/27. Which is bigger: -1 or i?
i
Suppose -8 = -5*j + j. Let t be ((-3)/j)/(3/4). Let s be t/6 + (-8)/12. Is s less than -2/3?
True
Suppose 2*x = 5*x. Let o be 60/29 + x + -2. Is 1 <= o?
False
Let c(j) = j**3 + 6*j**2 + 4*j - 4. Let d be c(-5). Is d > 2/27?
True
Let u = -356/143 + 30/13. Are u and 0 nonequal?
True
Let r be -2 + 146/5 - 1. Let d = r - 26. Do d and -0.1 have the same value?
False
Suppose 3*d + 3*a = 20 - 2, -2 = 5*d - 3*a. Suppose -4*w - d*c - 9 = -1, -2*w = -3*c + 12. Let n = -4 - w. Is 1 less than n?
False
Let f be 15/3 - (1 + 1). Suppose -5 = t, -4 - 12 = -f*z - t. Let o = 7 - z. Which is smaller: 4/5 or o?
o
Let y(u) = -u**2 + 2*u + 4. Let t be y(3). Let c be (-2)/(-6) - t/3. Let k = 2 + -3. Which is smaller: k or c?
k
Let a = -0.8 - 4.2. Let f = a + 1. Is -1 less than or equal to f?
False
Let g = 9 + -4. Let u(s) = -s**2 + 4*s - 4. Let t be u(g). Let j be (-3)/t*-1*0. Is -2/27 > j?
False
Let r = -8/5 + 29/15. Let p = 0.01 - -0.99. Which is greater: p or r?
p
Let i be (1630/8)/5 - 6/(-24). Does 40 = i?
False
Let x(o) = o**2 - 5*o - 3. Let w be x(6). Let g(h) = -8*h + 202. Let t be g(25). Is w at least t?
True
Let y(j) = -5*j**2 - j. Let l be y(-1). Is -3 at most as big as l?
False
Let g = 4.03 + -0.03. Let j = -2 + g. Which is smaller: j or -0.3?
-0.3
Let m = 0.01 + -0.61. Let x = m + 0.3. Which is bigger: x or 1?
1
Let m be (2/4)/((-4)/6). Let k = -2 - 0. Is m < k?
False
Suppose 5*o = 4*d + 11, -o + d + 1 = -d. Let h be (6/8)/(o/(-6)). Are h and -2 equal?
False
Let c be 6/160*(-4)/(-9). Is c greater than -1?
True
Let d be ((-4)/1)/((-1)/5). Let n be d/(-42) + (-3)/(-21). Is n bigger than 0?
False
Let x = 0.01 + -0.05. Let n = 0.04 + x. Let g = n + 2. Which is bigger: -2/3 or g?
g
Let u(w) = w**3 - 7*w**2 + 11*w + 3. Let l be u(5). Suppose k + 4*z + l = 6*z, -15 = -5*z. Is k smaller than -2?
False
Let d(l) = 3*l - 14. Let j be d(10). Suppose 8 = g - 2*o, 2*o + j = g - 2*o. Suppose g = -t - t - 2. Which is smaller: -0.1 or t?
t
Suppose 13 = -2*i - 2*i - 3*w, 0 = 3*i - w. Is -1 <= i?
True
Suppose 0 = 6*d - 10*d + 8. Suppose -o = o - d. Is o >= -1/5?
True
Let g = 15 + -39. Let o be g/36*(-6)/32. Which is bigger: o or 0?
o
Let m(u) = -u**3 - 8*u**2 - 6*u + 4. Let b be m(-7). Let x = 1 + b. Suppose 2*n + 3*j = 5*n - 6, 5*j = -25. Are n and x nonequal?
True
Suppose 13 = -2*j - 19. Let x be (3/j)/((-18)/12). Suppose -3*o = -o - 2*i - 8, -i = 5*o + 4. Which is greater: x or o?
x
Let d = 0.3 - 1.3. Let h be 3*1 + 23/(-8). Which is greater: h or d?
h
Suppose z + 3*m = 1, -2*m = -5*z - 6*m - 6. Let a =