 -0.6. Let x = o - -5. Let w = 1 + 0. Is w less than x?
False
Suppose -5*z + 6 = -2*z. Let n be 1 - z - (-1 - -1). Is n at least -1?
True
Let l = -40 + 56. Suppose -17 = -5*w + 3*p, -4*w + 3*p + 0*p = -l. Let k be (2/(4/(-2)))/7. Is w != k?
True
Let t be 68/(-66) - -2*7/21. Is -1 greater than t?
False
Let m be 4 + -1 + 3 + 1. Let o be 19/m + (-8)/(-28). Which is bigger: o or 4?
4
Suppose 2*l - 3*l - 3 = 0. Do l and -7/2 have the same value?
False
Let l = 0.1 - 0.7. Let z = l + 0.7. Is z <= 0?
False
Let i(v) = v**3 + 3*v**2 - 4. Let f(y) = y**2 + 7*y - 10. Let k be f(-8). Let g be i(k). Which is smaller: -1 or g?
-1
Let p(j) be the third derivative of -j**6/120 + 7*j**5/60 + 3*j**4/8 - 7*j**3/6 - j**2. Let d be p(8). Are d and -1/4 equal?
False
Let w = 36 - 37. Is w less than 1?
True
Let c = -40397/594 + 52/297. Let r(a) = -3*a**2 + 2*a - 3. Let x be r(5). Let g = x - c. Which is smaller: g or 0?
g
Let p(t) = t**3 + 8*t**2 - 9*t + 4. Let l be p(-9). Let c = -6 - -4. Let q = l + c. Which is smaller: 1 or q?
1
Let k = 4.5 - 3.5. Which is smaller: k or 2/39?
2/39
Suppose z - 3*z + 4*y - 16 = 0, 6 = 2*y. Let u be (6/12)/(z/1). Is 1/2 greater than or equal to u?
True
Let c = 2269/7 + -325. Is -1 less than c?
True
Let l be 20/6*18/(-15). Suppose 3*z - 4*b + 14 - 2 = 0, -12 = 3*z + 3*b. Are z and l non-equal?
False
Let t(v) = v**3 - 12*v**2 + v - 12. Suppose 4*l + 2*p = 50, 0 = -l - l + 2*p + 22. Let n be t(l). Which is bigger: n or -6/5?
n
Let a be (-8 - -10)*(1 - 0). Suppose 5*s = -2*t + a, s - 2 = -3*t + 1. Are 0 and s unequal?
False
Suppose 0 = -5*u + 4*v + 1 + 45, 0 = -2*u - 5*v - 8. Is u bigger than 2/5?
True
Let s = 179 + -179.1. Let y = 3/10 - 29/30. Which is smaller: y or s?
y
Let y(p) = -9*p**3 + p**2 + p + 1. Let x be y(-1). Let n(u) = -u**3 + 11*u**2 - 11*u + 13. Let m be n(x). Let o = 10 - 7. Is o < m?
False
Let s = 621/4 - 155. Does s = -1.4?
False
Let q(f) = -4*f + 4*f + f. Let a be q(5). Suppose -r + a = 4*r. Is r greater than 4/5?
True
Suppose 3*t = -0*t. Let d = 75 + -71.9. Let k = 3 - d. Which is smaller: k or t?
k
Let s = 310/7 + -316/7. Let y = -69 + 69. Which is smaller: s or y?
s
Let i(b) = b**2 + 3*b - 4. Let n be i(-4). Suppose v - 3*j = 5*v + 39, -4*v + 3*j - 33 = 0. Let m = v - -8. Which is bigger: m or n?
n
Let g be ((-3)/15)/(12/12176). Let f(a) = -68*a + 1. Let j be f(3). Let p = g - j. Is p bigger than 0?
True
Let p(u) = -3*u**3 + 2*u**2 - 1. Let a be p(-1). Which is greater: a or 2?
a
Let s = 37 + -41. Is -5 at most s?
True
Let u = 5 - 10. Let j = 0 + 3. Let o = j + u. Is o at least as big as -1?
False
Let s = 0.1 - -0.1. Let x = s - -2.8. Let n(m) = -m**3 + 3*m**2 + 53*m - 6. Let a be n(-6). Which is bigger: x or a?
x
Let q be (2/10)/(3/15). Let g be (q/(-3))/(9/6). Which is smaller: -2 or g?
-2
Suppose -5*n = -12 - 18. Suppose 2*x + 16 = -m, 4*m + n*x + 64 = x. Let s = m - -31/2. Does s = 0?
False
Suppose l = 4*x - 7, 5*l = -2*x + 1 + 8. Suppose x - 5 = 3*i. Is -3/2 greater than i?
False
Suppose 0 - 4 = -2*r. Suppose 2*u - 36 = -r*u. Let c be 7/u + (-4)/(-18). Which is bigger: c or -2/7?
c
Let s be 10/4*(-2)/(-5). Let i be (-1 + 1)*s/2. Let a be (-40)/51 - 6/(-9). Is a >= i?
False
Suppose -4*u + 40 = -3*t, -u - 44 = -5*u + 4*t. Which is smaller: u or 31/4?
u
Let c = -9 + 22. Is 12 at least c?
False
Let o(u) = u**3 + 5*u**2 - 5*u + 5. Let d be o(-6). Let l(k) = k**2 - k - 1. Let g(b) = b**2 + b - 3. Let f(j) = -g(j) + 2*l(j). Let r be f(2). Does d = r?
True
Let w = -1 - -6. Suppose -d - 4*d = w. Let u be 1/4 - (-5)/(-12). Is d equal to u?
False
Let i = -3.6 - 1.4. Let w = i + 6. Is w > -3?
True
Let c = -7 + 7. Suppose 4*x + 12 = c, 5*x = -4*p - 8 - 3. Which is smaller: p or 2/3?
2/3
Let f = 60 + -59. Is -0.44 less than f?
True
Let w(i) = -3*i + 1. Let v be w(2). Let a be 3/1 - v/(-2). Which is greater: -1/4 or a?
a
Let t be (-4)/(-10) + (-224)/460. Which is smaller: t or -1?
-1
Let r be (2 - 5)*(-1)/3. Let u be 18 + 3/3*2. Let c be 2*(1 + r)/u. Which is smaller: 2/9 or c?
c
Let c = 29 + -30. Let t = -1 + 1. Let v = 0 - t. Is v greater than c?
True
Suppose 0 = t + 4*c + c - 33, 3*t - c = 35. Let s be 2/(-1) + t/5. Which is smaller: s or 1?
s
Let w(c) = c + 4. Let x be w(-2). Let s be ((-3)/x + 3)/(-2). Which is smaller: -2 or s?
-2
Suppose 2*q - 7*v + 22 = -3*v, -4*v = -q - 21. Let j = 60 - 22. Let f = j + -151/4. Which is bigger: f or q?
f
Let o(t) = -3*t**2 - 9*t - 6. Let m(p) = 2*p**2 + 5*p + 3. Let s(a) = 5*m(a) + 3*o(a). Let w = 4 + -1. Let l be s(w). Is l <= 2/11?
True
Let t be (4/8)/(7/(-2)). Which is smaller: 1/2 or t?
t
Let r = 36 + 9. Is 0.1 equal to r?
False
Let w = 2 + 2. Let j = 4.3 - w. Let v = -0.2 + j. Is v at most as big as 0.1?
True
Let n = -106 + 953/9. Suppose -3*v = 3*b + 8 + 1, -4*v + 4*b + 28 = 0. Let m be 1*v/(-4)*-2. Do m and n have the same value?
False
Let n = -177 - -341/2. Which is smaller: n or -7?
-7
Suppose -60 = -3*z - 5*k - 12, -4*k = -4*z + 32. Suppose 13 = -4*m - z. Which is bigger: m or -7?
m
Let b(p) = p**2 - 3*p - 5. Let n be b(4). Let a be -5*(n - (-14)/10). Let h = -5 + 5. Which is smaller: a or h?
a
Let p = 487 - 12179/25. Is p greater than 0?
False
Let o = -536 + 6990/13. Which is bigger: o or 3?
3
Let n be ((-3)/210)/(14/105). Which is greater: 0.1 or n?
0.1
Let f(w) = -w**3 + 5*w**2 + 7*w - 3. Let c be f(6). Which is smaller: 24/7 or c?
c
Suppose 4*r - 4*h = 0, 3*r - 5*h - 1 + 5 = 0. Let k be (12/8)/(r/4). Which is smaller: k or 5?
k
Let k(j) = 2*j**2 - 2*j - 2. Let f be k(2). Is f <= 3/2?
False
Suppose 4*z = 2*q + 210, 224 = 3*z + 2*q + 77. Let a = -21 + z. Suppose -5*b = 4*o - 3*o - a, -4*o = -2*b - 10. Which is smaller: 4 or b?
4
Let r = 7 + -8. Let j(q) = 3*q**2 + 2*q + 1. Let n(x) = -3*x**2 - 2*x - 1. Let y(i) = 3*j(i) + 4*n(i). Let o be y(r). Are -3 and o nonequal?
True
Let t = 5.3 + -3. Let g = t + -2. Let o = g - -0.7. Is -0.3 greater than or equal to o?
False
Suppose 2*u + 3*u + 95 = 0. Let f = -11 - u. Let s be (-2)/f + (-18)/24. Which is bigger: -2 or s?
s
Suppose -12 = -r - 1. Which is smaller: r or 12?
r
Let q = -96 - -99. Which is greater: q or -0.6?
q
Let t be ((-12)/15)/((-4)/30). Let h(x) = x - 8. Let w be h(t). Let n = 3 + w. Which is bigger: 1/3 or n?
n
Let h be (-1 + 4 - 4)*3. Let o = 2 - h. Let s be (1/2)/(2/16). Which is smaller: o or s?
s
Let k be ((-4)/(-5))/((-4)/(-10)). Let b = 1/8 - -9/8. Which is smaller: k or b?
b
Let y be 159/((-4)/3*-501). Let b = 2/167 + y. Are -1 and b non-equal?
True
Let p(m) = m**3 + 8*m**2 - 8*m - 9. Let b be p(-9). Which is bigger: -17 or b?
-17
Suppose 5*y = -2*d - 11 - 13, 4*d = y - 4. Let r be (2 - 0)/(d/(-3)). Let h be (-1 + 1)/(2 - r). Is -2/5 at most h?
True
Let n be ((-9)/(-6)*-1)/((-84)/16). Let o(z) = 9*z - 1. Let c be o(-1). Which is smaller: n or c?
c
Let z be 12/(7 - 3) + -1. Suppose q - 4*t - 34 = -4*q, -4*q + 22 = z*t. Which is smaller: q or 1/3?
1/3
Let g be ((-9)/(-150))/((-27)/(-79)). Let k = g + -2/225. Which is bigger: k or 1?
1
Let z be 4/22 + (-106)/(-22). Let g(k) = k**3 - 6*k**2 + 4*k + 5. Let x be g(z). Which is smaller: -1/2 or x?
-1/2
Let i be (-1512)/(-357) + 4*-1. Which is smaller: i or 1?
i
Let g = 14 + -9. Suppose -5*b + 37 = -2*x, 3*b - 4 = g*x + 22. Is b greater than 7?
False
Let q be 193/6 - 4/(-12). Let w = q + -33. Which is smaller: w or 0?
w
Let u = 0 - 1. Let q be 1 + (0 - (u + 4)). Which is greater: q or 1/4?
1/4
Let g be (-37)/(-7) + 2/(-7). Suppose g = 2*k - 1. Suppose -2*f + 3*i - 2*i - 5 = 0, -10 = f - k*i. Is -2 <= f?
True
Suppose 5 = -0*d + d. Is 3 at most as big as d?
True
Let o = -16.1 + 17. Let b = o - -0.1. Let c = b + -0.9. Which is smaller: c or -1/2?
-1/2
Let h = 8 - -2. Let u = h - 7. Is 3 bigger than u?
False
Let l = 0.8 + 0.2. Let m = -6 + 2.1. Let n = -4 - m. Which is smaller: l or n?
n
Let k be 12/(-5)*(3/(-6) - 2). Let y be (0/1 - -6)/1. Are y and k non-equal?
False
Suppose 3*s + s - 12 = 0. Let j = -3 + s. Suppose -k + j - 1 = 0. Is -1 not equal to k?
False
Suppose -3*t + 40 = 2*t. Suppose -t = 2*i - 4*i. Is i at most as big as 5?
True
Suppose -3*d = -3*c + 7*c + 29, d + 3*c = -18. Let h be (0 - d) + (-3 - -1). Do h and 1/3 have the same value?
False
Let x = 32.067 - 32. Which is greater: 1 or x?
1
Let j = -16 - -14. Is 2/5 greater than j?
True
Suppose -3*v = -