 0 or x?
0
Let o = -0.08 - 0.12. Which is smaller: 0 or o?
o
Let l = 2 + 2. Suppose -3*m + 9 = 0, -l*r + m = 6*m - 3. Suppose 6*x = 5*x - 2. Are x and r unequal?
True
Let c(p) = -p**3 - 6*p**2 - 4*p + 4. Let l = 2 - -2. Suppose l*v + 21 = 1. Let d be c(v). Which is bigger: d or 0?
0
Let z be ((-1)/(-2) - (-3)/2) + -4. Which is smaller: -3 or z?
-3
Let s = 1.7 - 0.6. Let p = 1 - s. Let j = -1.3 - -0.3. Which is smaller: p or j?
j
Let w be 335/6 - 5/10. Let r = w - 56. Which is greater: r or 0?
0
Let t = -89 - -89.3. Which is smaller: t or 0?
0
Let t = 0.6 - -0.4. Which is greater: -4 or t?
t
Let b = 30 - 42. Let f = b - -22. Let d be (8/70)/(4/f). Which is smaller: d or 1?
d
Let u = 1.9 - 1.1. Let i = u - -2.2. Is i <= -2?
False
Let w be (-4)/(-8)*(-6)/15. Is w > 1?
False
Suppose 5*i = 152 + 78. Suppose 3*z = i - 7. Suppose -3*y + 2*p - 3 = 0, -z = -4*y - 4*p + 3. Is y bigger than 2?
False
Let d = 796 - 1561/2. Is d < 17?
True
Let n(d) = 2*d**2 + 5*d - 6. Let w(z) = 2*z**2 + 4*z - 5. Let p(o) = -5*n(o) + 6*w(o). Let y be p(-1). Let l = 5 - y. Is l bigger than -2/5?
True
Let v be (-4)/18 - (-32)/(-18). Let p(r) = -2*r - 8. Let h be p(-6). Let b = -7 + h. Which is bigger: b or v?
v
Let x be ((-10)/8)/((-13)/(-156)). Do x and -15 have different values?
False
Suppose y + 6 = 3. Let l(m) = -m**3 - 5*m**2 - 3*m + 4. Let t be l(y). Are t and -5 equal?
True
Let l be (6/9)/(6/63). Suppose l = b - 3. Let g be 18/(-20) + 4/b. Are g and -1 unequal?
True
Let l = 45 + -30. Is l <= 13?
False
Suppose -s + 5*c = -20, -4*s + 4*c - 7 = -23. Which is bigger: 3/44 or s?
3/44
Let w(d) = -3*d**3 + d + 1. Let u be w(-1). Suppose 6 = -u*q + 5*q. Suppose 6*n = q*n + 21. Is n greater than 6?
True
Let c = -3 + 6. Suppose -a - 5*z = -5, 2*z - 5 = 3*a - c*z. Let r = 19/3 - 35/6. Which is smaller: r or a?
a
Let j = 5.008 + -0.008. Is j at most as big as 10?
True
Let r(b) = -b**3 + 18*b**2 - 3*b + 4. Let u be r(18). Which is smaller: u or -49?
u
Suppose -3*k + 12 = -0*k. Suppose -4*y + 16 = 5*n - n, 2*y + k*n = 8. Which is smaller: -0.1 or y?
-0.1
Let f(w) = w**2 + 11*w + 7. Let n be f(-11). Let o = n - 4. Is 3 at most as big as o?
True
Let v be (-3)/6 - (-194)/204. Let u = 21/34 - 1/2. Let m = v - u. Is -1 >= m?
False
Suppose -4 - 6 = 5*x. Let a(b) = b**3 + 5*b**2 + 4*b - 2. Let y be a(-4). Is x bigger than y?
False
Let i be (-2 - -7) + (0 - -2). Let b(x) = x**3 - 7*x**2 - x + 6. Let u be b(i). Is 2/7 less than or equal to u?
False
Suppose 3 = 4*a + 11. Let x = -256/7 - -989/28. Which is bigger: a or x?
x
Let q = 7 + -11. Let j = -2 + -1. Is q smaller than j?
True
Suppose 5*y = -4*s + 20, 0*s - s + 5 = -5*y. Let b be 9/5*(-40)/(-12). Let n = 37/6 - b. Are y and n nonequal?
True
Suppose 4*g = -5*o - 10, -5*g - 30 = 3*o - 11. Let t(m) = 5*m + 2*m**2 - 6 - m - m**2. Let h be t(g). Is h < -1?
False
Suppose 131*r = 136*r. Which is bigger: 18 or r?
18
Let w = 2 - 1. Suppose 3*r = 5*h - 10, -2*h = 3*h - 25. Let a = -5 + r. Is w at least a?
True
Let u = 1.8 - 2. Let z = 4 + -4.1. Let o = z + 0.1. Which is bigger: u or o?
o
Let y(s) = -2*s. Let o be y(2). Let r be o + 4 + 0/(-2). Suppose 3*v + 4 - 7 = r. Which is greater: 0 or v?
v
Let y = -3 - -2.9. Let x = -0.1 - -1.1. Let c = -4 + x. Which is smaller: c or y?
c
Let b = 3 + -24. Let p be -3*(b/9 - -2). Let a = -1 + p. Are 3/8 and a equal?
False
Let o = 40 - 36. Which is smaller: o or -3?
-3
Let q = -0.16 + 0.06. Are q and 14 nonequal?
True
Let s = -75 + 75. Which is bigger: s or 3?
3
Suppose -5*n = -0*c + 4*c - 18, -5*n - c + 12 = 0. Which is bigger: 0 or n?
n
Let f(q) = q - 16. Let o be f(14). Is o bigger than -6/7?
False
Suppose 4*f + 33 = 49. Suppose 2*y + 6 = s, -f*s + 13 = 6*y - 3*y. Which is smaller: y or -6/17?
y
Suppose -8 = 44*n - 48*n. Do n and 8/13 have the same value?
False
Suppose 5*c - 3*n = 3*c - 6, c + 17 = -2*n. Let u = c + 10. Let h(x) = -x**3 - 8*x**2 - 8*x - 4. Let o be h(-7). Is o not equal to u?
True
Let g = -0.92 - -0.02. Let y = g - -0.7. Let q be 1/(-3) - (-1)/9. Is q at most as big as y?
True
Let d = 1.49 - 0.49. Are 0.1 and d equal?
False
Let l = -0.8 + -2.2. Suppose 5*t - 11 = 49. Let m = t - 37/3. Which is smaller: m or l?
l
Let i(z) = z + 5. Let k be i(0). Suppose w = -o + 1 + k, 0 = -5*w - 4*o + 30. Let p be ((-2)/(-6))/((-1)/w). Is -3 >= p?
False
Let y = 9004 - 62893/7. Let l = y - 19. Which is bigger: l or -1?
l
Let a = 3.6 + -3. Is 2/5 at least a?
False
Let y = 33 - 35. Which is smaller: y or -6/31?
y
Suppose 5*x - 44 = -o, 4*o + 22 - 63 = -5*x. Is x at most 9?
True
Let m(l) = -2*l + 1. Let y be m(-1). Suppose -4*j + 15 = -r + 3, -y*j + 9 = 3*r. Let w be ((r + -1)/(-1))/(-1). Are 0 and w equal?
False
Suppose 5*w - 28 = 52. Let u be (-36)/w + (-3)/(-12). Which is smaller: u or -1?
u
Let f(a) = -2*a + 9. Let v be f(6). Let r be (-2)/v - (-50)/15. Let m be 10/4*r/55. Which is greater: -0.1 or m?
m
Suppose 0 = -5*w - a + 16 + 12, 5*w - 3*a = 16. Suppose 5*j + 60 = w*z, -3*z - 3*j + 5 + 7 = 0. Which is bigger: 9 or z?
9
Let z be (1 + -1)/(7 + -4). Let l(f) = -2*f**2 - 2*f - 1. Let x be 2/(-8) - 6/8. Let o be l(x). Which is smaller: o or z?
o
Let j be 1 + -3 - (-24)/13. Let w = -5 - -5. Is w smaller than j?
False
Let c be 3 + 0 + (4 - 1). Let y = 4 - c. Which is smaller: y or -3?
-3
Let l(h) = -h**3 - 6*h**2 + h + 8. Let z be l(-6). Let p be (-1 - z)/((-6)/4). Suppose v - 6*v - 6 = -m, -6 = p*v - 4*m. Which is bigger: v or 0?
0
Suppose 19 = -2*x - 11. Let u be 2/6*18/x. Let h = 1 + -2. Which is smaller: u or h?
h
Let k be 10 - 5/((-15)/(-9)). Suppose -5*s = 3*r + 21, -3*s = -k*s - 3*r - 18. Let q = s - -6. Which is smaller: q or 0?
0
Let o be -1 + 2 + (-1)/1. Let d = -69/70 - 3/14. Which is smaller: o or d?
d
Suppose -m + 1 = -3*d + 4*d, 4*m + 6 = d. Which is smaller: d or 5?
d
Suppose -3*j + 4 - 28 = 0. Let h be ((-45)/j)/1 + -3. Let b = h + -163/56. Is b != 0?
True
Suppose -2*n + 13 = -4*l - n, -l = -5*n - 11. Which is smaller: -8 or l?
-8
Let p = 73 + -98. Is 1/5 > p?
True
Let t = -441/8 - -55. Let x(p) = 29*p - 1. Let f be x(-1). Let d be (-4)/(-6) + 35/f. Is d less than or equal to t?
True
Let o be (-5)/(-9)*15*12/150. Is o at most 50?
True
Let w(k) = -k**2 - 11*k - 18. Let u be w(-9). Which is smaller: -1/5 or u?
-1/5
Suppose 4*x + 5*v = 27, -2*v - 3 = 2*x - 5*x. Let f be x/((-2)/((-8)/(-6))). Which is smaller: f or -1?
f
Let h(c) = -2*c - 1. Suppose 2*k + 4*f = -26, -5*k = -k - f + 7. Let q be h(k). Suppose -4*m = 4*u, -q*m - 4*u = -2*m - 1. Which is bigger: -3/7 or m?
-3/7
Suppose 0 = 2*t + 2*t + 8. Is -4 not equal to t?
True
Let i be 2 - ((-3 - -6) + 0). Let b = -0.2 + 0.2. Is i smaller than b?
True
Let a = 15 - 16. Which is smaller: -1/4 or a?
a
Let k = -0.48 - -0.28. Is k smaller than -2/17?
True
Suppose -2*v - v = 306. Let w = v - -512/5. Which is greater: w or 1?
1
Let f(d) = -d + 12. Let g be f(9). Suppose 2*t = -g*t + 20. Is t greater than or equal to 4?
True
Suppose 3*p - 20 = -2*p. Let c be 4 - (-1 - -1)*-1. Is p >= c?
True
Let m = 0.4 - 0.3. Let l = -4.7 + -1.3. Let x = l - -4. Which is greater: m or x?
m
Let z(w) = w**3 - 7*w**2 + 2*w + 8. Suppose 4*y = -6 + 30. Let l be z(y). Is -15 greater than or equal to l?
True
Let x = -0.07 - 0.23. Let l = -62 - -184/3. Is x != l?
True
Let g = 10 + -10.2. Which is greater: 0.1 or g?
0.1
Let v = -1.01 + 1. Let p = -16 - -27. Let g = 10.9 - p. Is g less than v?
True
Let s be ((-3)/(-4))/((-63)/56). Does 11 = s?
False
Let r = 4.2 + -5.2. Do r and 1/3 have the same value?
False
Let d(h) = -h + 3. Let j be d(0). Let v = 8 - j. Let w(a) = -a**3 + 4*a**2 + 4*a + 4. Let i be w(v). Is i at least -1/4?
False
Let z = -108/301 + -3/43. Which is bigger: 0 or z?
0
Suppose -2*w - 3*w - h - 24 = 0, -3*w + 2*h = 4. Let x be ((-16)/22)/w - 0. Which is bigger: x or 0?
x
Let f = -6.08 + 6. Let r = 0.18 + f. Which is smaller: -1 or r?
-1
Let t be 8/(-110)*(-5)/2. Let f = 6 + -3. Suppose -f*d = -2*d. Is t bigger than d?
True
Suppose 2*h - h - 3*i + 5 = 0, 25 = 5*h - 5*i. Which is bigger: 2/5 or h?
h
Let l(u) = -6*u - u + 11 + u**2 + 4*u + 2*u - u**3. Let k be l(0). Which is greater: -1 or k?
k
Let g be 6/21 + (-1128)/273 + 4. Let p(b) = -b**2 + 9*b - 9. Let a(c) = -5*c**2 + 46*c - 46. Let r(x) = 2*a(x) - 11*p(x). Let y be r(6). Is g equal to y?
False
Suppose 4*y 