*z. Is z less than -1/5?
True
Suppose -i = 2*w - 8, 12 = -0*i - 3*i. Let x = w + -4. Are x and 2 nonequal?
False
Let y be (882/(-44))/(-9) - 3. Let k = y - -3/11. Suppose c = 2*c + 1. Which is smaller: c or k?
c
Let i = -58 - -57. Which is bigger: i or -33?
i
Suppose 547 = -3*y - 4*f, 27 = y - 3*f + 231. Let r be (-2 - 1902/y) + -2. Let g = 52/9 - r. Which is greater: g or 1?
1
Let v = -61 - -60. Which is greater: -9 or v?
v
Let s be 30/(-9) + 2 + (-4)/(-12). Which is smaller: -3/4 or s?
s
Suppose -4*x + 2*x - 2*l = 18, 5*x - l = -15. Suppose -5*w - 25 + 0 = -5*y, 5*y = 3*w + 25. Let s = x + y. Which is greater: 2 or s?
2
Let v = 82/3 + -28. Let w(i) = -3*i**2 - 7*i - 4. Let z(s) = 16*s**2 + 36*s + 20. Let d(p) = 11*w(p) + 2*z(p). Let n be d(-3). Which is smaller: n or v?
v
Let x(n) = 5*n**2 - 5*n**2 - n**3. Let r be x(1). Is r > -1?
False
Let r = -9269/70 - -666/5. Let j = 113/126 - r. Is 1 less than j?
False
Suppose 7*n - 3*n + 20 = 4*p, -2*n + 18 = 5*p. Let u = 5 - 3. Suppose -u*k + 6*k = 0. Which is bigger: k or n?
k
Let m = 2 - -4. Let h = -9 + m. Is -3 at most h?
True
Let z be (-3)/4*(-33)/(-22). Which is smaller: 0 or z?
z
Let q be 1/(3/(-2) - -1). Let a be ((-3)/(-2))/(1/4). Let s be (-8)/a*(-6)/(-4). Is q bigger than s?
False
Suppose -8 = -3*r - 5. Suppose 3*z + z - 20 = 0. Suppose -4*x - 11 = -z*w, -2 = -w - 3*x + 4. Which is smaller: w or r?
r
Suppose 2*d = -3*h - 1, 0 = -h + 4*d + d - 23. Which is greater: -5 or h?
h
Let i = 15 + -14. Let d = 445 - 7567/17. Which is smaller: d or i?
d
Let v be 0 + (-6 - 0)*-1. Which is smaller: 0 or v?
0
Suppose -68*n + 48 = -64*n. Is -2 less than n?
True
Let k = 16 + -22. Let n be 3685/150 - 2/k. Let i = 25 - n. Is i bigger than -1?
True
Let n = -13 + 15. Is n < -11?
False
Let z = 28/533 - -1/41. Is 1 < z?
False
Let l be (-9)/(-3) - 63/24. Which is smaller: l or -1?
-1
Let j be ((-14)/21)/(8/6). Which is smaller: 7/5 or j?
j
Let h = 17 + -24. Let a = h - -6. Which is smaller: 1 or a?
a
Let q = 28 - 0. Which is bigger: q or -0.1?
q
Let q(x) = -2*x - 4. Let c(a) = -a - 3. Let r be c(0). Let w be q(r). Which is bigger: 0 or w?
w
Suppose 0 = -0*b - 2*b + 10. Is 5 greater than b?
False
Let h = -6299/4 - -1562. Which is smaller: -12 or h?
h
Let z be (-2)/5 + 22/(-20). Suppose -2*j = 4 - 12. Let a be j/(-8)*(-1 + 3). Are a and z equal?
False
Let i = -1 - -5. Let l = 7 - 5. Do i and l have different values?
True
Let k(q) = q**2 - 6*q + 6. Let z be k(4). Let y be (5 + -4)*z/(-3). Which is smaller: y or 0?
0
Suppose -x - 3*m = 1, 4*x - 5*m + 0 = -4. Let h(g) = g + 2. Let u be h(1). Suppose 0 = -u*p - 6. Which is smaller: x or p?
p
Let i(n) = -n + 0*n + 3*n**2 + 0*n**3 - n**3. Let m(a) = -a - 8. Let z be m(-9). Let s be i(z). Is 0.1 at least s?
False
Let n be 243/24*6 + -1. Let y = -60 + n. Which is smaller: y or -2/3?
-2/3
Let d = -8 - -5. Let y = d - -2.7. Let t be 3*((-34)/30 + 1). Which is greater: y or t?
y
Let w = -33.9 - -34. Does w = 5?
False
Let o = -44/67 - 2/201. Let b = -0.9 + 1. Are b and o non-equal?
True
Let o = -14 - -15. Which is bigger: o or -22/3?
o
Let p = -19 + 18. Let t be ((-8)/(-4))/(p/(-2)). Is -3 at least as big as t?
False
Let r = 0.8 + 1.2. Let u = -1.94 + r. Let t = -1.06 + u. Is 1 < t?
False
Let g = -1.9 + 1.94. Which is bigger: 0.1 or g?
0.1
Let w = 11 - 11. Suppose w = -m + 5*a + 6, -4*m = a - 6*a - 54. Are 0 and m equal?
False
Suppose 3*l - 12 = -3*l. Suppose -6*u - 3 = -u + 3*h, 3*u = -2*h - l. Which is smaller: u or -2/3?
-2/3
Let y = -2/1483247 + -2984292834/96411055. Let p = y + 154/5. Suppose 2*v + 0 = 2*b - 6, 2*v = 3*b - 6. Do b and p have the same value?
False
Let h = 21 + -20.89. Let l = -1.89 - h. Which is smaller: 1 or l?
l
Let f(y) = -y**3 - 5*y**2 + 4. Let i be f(-5). Suppose -5*n - 24 = -i. Is -2 less than or equal to n?
False
Let i(m) = -m**2 - 14*m. Let y be i(-14). Suppose g + y = 1. Suppose -3 = 4*q - 11. Is g at least q?
False
Let g be ((-3)/(-4))/((-1)/(-4)). Suppose 0 = 4*i - g - 1. Let w be ((-3)/(-14))/(6/(-8)). Is i greater than or equal to w?
True
Let s be -3*(1 - 10/15). Let n be 3/(-4)*57/9. Let u = 5 + n. Is s at least u?
False
Suppose -3*r - 2*r - 50 = 0. Let d be 2/r - (-84)/(-30). Which is smaller: 0.1 or d?
d
Let p = 7.4 - 7. Let a = p - -0.1. Is -1/4 equal to a?
False
Suppose 5*q = 2*q. Suppose q = 5*m - 13 - 2. Suppose -2 = -j - j. Which is bigger: j or m?
m
Suppose 37*j - 33*j + 96 = 0. Which is bigger: j or -22?
-22
Let u(b) = 2*b**2 - b + 10. Let t(l) = -l**2 + l - 5. Let y(z) = 9*t(z) + 4*u(z). Let s be y(4). Which is greater: -2/7 or s?
-2/7
Suppose 5*q = -3*r + 2*r + 14, 3*q - 8 = -r. Suppose -q*l = -2*k + 13, -4*l + 10 = 3*k - 1. Is 0 not equal to l?
True
Let c be 8 + (0/(-2))/1. Suppose -5*u = -5*h + 30, h + h + 3*u = -c. Suppose -5*l + 13 = q + 2*q, 0 = 2*q - l. Which is smaller: h or q?
q
Suppose 2*b = g - 44, -3*g + 111 = -0*b - 5*b. Is b < -20?
True
Let l = 7 - 4. Suppose 7*m - 4*m = -l. Which is smaller: -1/11 or m?
m
Let n = -54.1 - -54. Let c be (-2)/(-3)*12/(-20). Which is bigger: c or n?
n
Suppose -2*p + 2*h + 4 = 0, -4*p + 4*h = p - 7. Suppose -5*v - 5*w - 14 = -4, 2*w + 22 = 4*v. Let s be (-4*v/(-12))/(-1). Is p at most as big as s?
True
Let y(a) = a**2 - 6*a + 2. Let k be y(5). Let j be 0 + ((-2)/2 - k). Suppose r - j + 0 = 0. Which is greater: r or 1?
r
Let d(f) = f**3 + f**2 - 5*f - 3. Let g be d(-3). Let i = g + 1. Let a be (-32)/(-14) + 10/i. Is 0 < a?
True
Suppose -2*y - 20 = -2*i, -2*i - 14 = -3*i + 5*y. Let a(r) = -r**2 + 9*r + 6. Let g be a(i). Is g < 7?
True
Let w = -2 - -2. Let v = 0.1 - w. Which is smaller: -1/3 or v?
-1/3
Let t(d) = 8*d**2 - 4*d + 4. Let i(x) = 7*x**2 - 4*x + 3. Let v(r) = -7*i(r) + 6*t(r). Let g be v(6). Which is greater: -8 or g?
-8
Suppose -11 = v - 5. Let a(l) = -4*l - l + 4*l - 6. Let m be a(v). Which is smaller: 2 or m?
m
Let p(z) = -z**3 + 10*z**2 + 10*z + 13. Let o be (-6)/2*(-88)/24. Let g be p(o). Which is greater: 0 or g?
g
Let p = 5 - 5. Is p at least -2/51?
True
Suppose -r = r - 14. Let y = r - 7. Are y and 3/7 unequal?
True
Let c = -5 - -9. Suppose c*x = -3*o - o + 16, 2*x = -4*o + 14. Let m = x + -1. Is m smaller than 3?
True
Suppose -2*a + 7 = -a. Let d(l) = l**2 - 7*l + 3. Let q be d(a). Suppose t - q = 3. Which is greater: t or 2?
t
Let f = -696 - -493. Let w = f + 4465/22. Does 0 = w?
False
Suppose 0 = q + 2, 4*q + 18 = -o - o. Let l = o + 7. Suppose -l*u = -12 + 2. Is 2/5 greater than u?
False
Let w be 2/(-8) - (-1 + (-15)/(-36)). Is 0.2 > w?
False
Let h be 0 - (2 + -1 + -2). Let c(x) = x**3 - 6*x**2 + 7*x - 4. Let l be c(4). Let o be (-2)/l + (-6)/120. Does o = h?
False
Let c be (-4 + 0)*(-5)/30. Which is bigger: c or 1?
1
Let k(l) = 2*l - 2. Let j be k(0). Which is greater: j or 0.2?
0.2
Let m = -4/5 - 2/5. Does m = -2?
False
Let f = 145 + -144. Is f less than 4/3?
True
Let t be -3 + 5 + -2 + -4. Let b be 1/((-5)/t - 1). Let v be b/(-8) - 5/(-3). Is v greater than 1?
True
Let o(t) = t**2 + 5*t + 2. Let g be o(-4). Let s be 2/(-10) - g/(-5). Suppose -6*j + 2*j = 0. Is j less than or equal to s?
False
Let q be (-39)/(-15) + (-3)/5. Suppose -3*u + 2*v = -31, 3*u - 7 = 2*u + 4*v. Suppose -18 = -q*w - i - 3*i, 0 = 5*w - 4*i + u. Which is smaller: -1/4 or w?
-1/4
Let y = -46 - -231/5. Let p(a) = 4*a + 18. Let m(o) = 2*o + 9. Let h(q) = 13*m(q) - 6*p(q). Let s be h(-4). Which is bigger: y or s?
s
Let g be (-9)/(-2)*(-9 - -7). Let m be g/(-6)*(0 - -2). Let b be (-7)/(-6) + 1/3. Which is bigger: b or m?
m
Suppose b + 9 = 3. Let t = 5 + b. Let z = 1 + -1. Which is smaller: t or z?
t
Let o be 4/8 - 18/(-4). Suppose 17 = -o*z + 2. Are -3 and z non-equal?
False
Let x = -2.02 + 0.91. Let z = x + 1.1. Let k = z + -0.19. Is 0.3 greater than k?
True
Let q be -2 - -2 - (0 - 2). Suppose q*c - 4 = 4*c. Which is greater: c or -3?
c
Suppose 2*v - 12 = 6*v. Which is greater: v or -27?
v
Let h = -10.4 + 9. Let l = h + 0.5. Is -1 greater than or equal to l?
False
Suppose t + 57 = 3*f, 95 = 5*f - 2*t + t. Suppose -f = 3*x - 100. Suppose 3*s = -3*c - x, -2*c - 3*c + 4*s = 9. Is c >= -3?
False
Suppose t = l + 14, 0 = -l + t + t - 19. Let d be ((-3)/l)/(4/3). Which is greater: 1 or d?
1
Let s = 12 + -8. Suppose 0 = a - 1 + s. Is a greater than -1?
False
Let g = 8 - 11. Let l be (-4)/14 - (-62)/(-