ich is greater: i or z?
i
Suppose -4*i - 2 = -3*r + r, 0 = r + 3. Is i at least 0?
False
Let p = -0.995 + -0.005. Is p < -0.2?
True
Suppose 2*q - 4*q = -5*b, -b + 5*q = 23. Suppose -10*k + 7*k + 6 = 0. Do b and k have different values?
False
Let c = -19.42 + 19. Let g = 13.98 - 14. Let u = c - g. Which is greater: -2/7 or u?
-2/7
Let z(l) = l**3 - 14*l**2 - 17*l + 29. Let f be z(15). Is f less than or equal to 1/24?
True
Let u be 1 - (-1 + 3)*2. Let r be (4/(-3))/(1/u). Is r not equal to 1?
True
Let h be -5*((-4)/2)/(-2). Let r = h - -4. Which is smaller: r or 1?
r
Let y be 1*2 + 4/3. Which is smaller: 4 or y?
y
Suppose 4*k + 52 = 196. Suppose 0 = 3*o - 3*z + k, 28 = -4*o + 5*z - 24. Let l be 2/o - (-18)/(-24). Which is bigger: l or -3/5?
-3/5
Suppose 5*y - 3*d = 15, d + 2 = 4*y - 3. Which is greater: y or -2/3?
y
Let y = 26.8 - 29. Let h = y + 1.9. Which is smaller: -0.2 or h?
h
Suppose -3*c + 43 = 1. Suppose -c = -p + 4*p + 4*m, -4*p - 5*m - 18 = 0. Which is bigger: -3 or p?
p
Let x = -11 + 8. Let s = 24 - 26. Which is smaller: x or s?
x
Suppose -6 = -3*f - 12. Which is greater: 0 or f?
0
Suppose 0*d + 3*d + 306 = -3*o, 2*d = -4*o - 204. Let g be (-56)/d*(-66)/(-48). Let j = g - 10/17. Which is smaller: j or 1?
j
Let q(m) = 2*m**3 - 2*m + 1. Suppose -17 = -2*n + 3*v, -3*v + 18 = -2*n - 7*v. Let x be q(n). Which is greater: 7/5 or x?
7/5
Let f = 64 - 323/5. Is 0.4 less than f?
False
Let r(k) = k - 1. Let j be (1/1 + -3)/(-2). Let i be r(j). Is 3/5 at least i?
True
Suppose 0*y + 3*o + 837 = 4*y, -3*y + 5*o = -636. Let g be (-120)/y + (-4)/(-6). Which is smaller: -1 or g?
-1
Let f = -42 - -32. Which is greater: -1/3 or f?
-1/3
Let c = -7.5 + 2.4. Let y = c - -5. Are 6 and y non-equal?
True
Let q = 13051/17 - 768. Which is smaller: 0 or q?
q
Let r be (-131)/7 + 10/(-35). Is -37/2 at least as big as r?
True
Let a = 15 + -16. Let x = 1.1 + 8.9. Is x less than or equal to a?
False
Let j = -81/91 + 6/13. Is j bigger than 4/9?
False
Suppose -2*b = -6*b + 3*c - 30, b + 15 = -3*c. Let s be (-47)/6 - (-18)/(-108). Is s at most b?
False
Let s = 1/328 + 317/3608. Which is smaller: -1 or s?
-1
Let o = 4 + -3. Let f be o/(-6)*(-18 - -3). Is 2 greater than or equal to f?
False
Suppose 0*d - 3*d + 3*c = 0, d + 3*c + 4 = 0. Suppose 7*b + 18 = -2*b. Let x = d - b. Which is greater: x or 2/9?
x
Suppose u + 3 = -2*u. Let t = -6 - -8. Suppose 6 - t = -5*d + 2*a, 2*d + 7 = -a. Which is smaller: u or d?
d
Let z be 2/(-3) + (-19 - -20). Let q = -3 - -3. Does q = z?
False
Suppose 2*b = -0*b + 4. Suppose -20 = b*k + 28. Let q be (-2)/8 - (-2)/k. Which is bigger: 1 or q?
1
Let g be (2 - (0 + 1))*4. Suppose 2*k + g = -2*k. Suppose -3*c - 3*b - 8 = -2*c, -4*c + 5*b = -2. Is c > k?
False
Let a = -0.14 - -0.14. Which is greater: 1 or a?
1
Suppose 3*f + 2*q - 9 + 0 = 0, 5*f = -5*q + 15. Suppose 0 = -f*t + t + 10. Suppose 0 = -7*c + 2*c + t. Which is bigger: c or 0?
c
Suppose -51 = -4*q - 0*q - 3*r, 2*q - 2*r = 22. Let o = 17 - q. Suppose o*u = -5, 2*u + 3 = -f - 0*u. Which is smaller: f or -3?
-3
Suppose 2*z = -0*j + 2*j - 40, 0 = -4*j - 4*z + 64. Suppose -2*a + 12 = -0*a - g, 0 = -3*a - 4*g + j. Suppose -49*t - 28*t = -308. Is a smaller than t?
False
Suppose -9 = 2*k + 3. Let b(d) = -3*d - 6. Let o be b(-4). Suppose -o - 9 = 3*a. Which is greater: a or k?
a
Let s(r) = -r + 2. Let f be s(2). Let p = -4 - -4. Suppose f = c - 4 - p. Which is bigger: 5 or c?
5
Let h = -3 + 6. Suppose -25*k = -24*k - 2. Is k smaller than h?
True
Suppose 7*y - 3*y = 4*t + 12, 2*t = -2*y + 10. Which is greater: t or 3?
3
Suppose 2*g + 0*g = -6, 2*g = 5*x - 21. Let i(b) = b - 2. Let c be i(x). Let p be 0/(-1 + -2 + c). Is p greater than 1?
False
Suppose -4*a + 7 + 65 = 4*l, -2*l + 78 = 5*a. Let b = a - 22. Does -9 = b?
False
Let n(t) = -3*t - 5. Let q be n(-2). Let p be 2/3 + 84/(-99). Which is greater: q or p?
q
Suppose 5*y = -0*y. Let b = y + 1. Let o be 1/(-13)*6/3. Does b = o?
False
Let u(q) = -2*q + 11. Let x be u(7). Let f be 4/(-3) + (-4)/6. Is f > x?
True
Let w = -206/3 + 616/9. Let z = -14 + 12.96. Let g = z + 0.04. Does w = g?
False
Let m be 2/5*(13 + -3). Suppose -m - 2 = -3*z. Are 6 and z non-equal?
True
Let z = -13/5 - -57/20. Let g = 0.58 - -0.02. Let p = g + -0.5. Are p and z unequal?
True
Suppose -4*u + 1 = 5. Let p be (-1*u/3)/1. Which is bigger: 1 or p?
1
Let a = 0.001 + 0.069. Which is smaller: -1 or a?
-1
Suppose m + 8 = -z, -z + m + 4 = 2. Let d = 31/12 + z. Let f = -3/4 - d. Is -1 at most f?
True
Let p(k) = k**3 - 4*k**2 - 4*k - 3. Let f be p(5). Let q = -71 - -120. Let i be f/(-8) - q/28. Is i > -2?
False
Let k(a) = a - 3. Suppose 0 = -3*g - 13 - 2. Let o(u) = 1. Let x(q) = g*o(q) + k(q). Let l be x(11). Which is smaller: 4 or l?
l
Let f(r) = r - 6. Let j be f(8). Suppose 0 = -2*k + 2*w - j, -3*w - 4 = -1. Is -2 bigger than k?
False
Let i be -3 + -2 + (-1 - -5). Let z = i + 3. Let v be (-3)/(-2)*z/(-6). Is 0 at least v?
True
Suppose -c - 2 = -3*c. Let f be c - 2 - (-16)/6. Which is smaller: 1 or f?
1
Let v be (9/102)/(6/8). Is v less than 1?
True
Let y = -4005 - -805007/201. Let b = -380/2211 - y. Which is smaller: 1 or b?
b
Let t = 102.789 + 0.211. Is t <= 2/3?
False
Let q = 0.07 - -6.93. Let d = q + -7.4. Suppose 3*x = -2*x. Is d smaller than x?
True
Suppose 2*y + 8 = -2*y + 3*p, -3*p = 4*y + 32. Is y <= -6?
False
Let r = 5 - 3. Suppose -1 - r = -3*i. Which is smaller: 2/15 or i?
2/15
Let o(a) = -a**3 + 2*a**2 + a. Suppose -z = -0*z - 2. Let f be o(z). Let g(x) = -x**3 + x + 3. Let v be g(0). Is f less than or equal to v?
True
Let q(v) = v**2 + 2*v + 5. Let p be q(-3). Which is smaller: p or -1?
-1
Suppose -5*a = -s + 82, 5*s + 3*a + 33 = 499. Let h be (3 - 1) + s/(-36). Which is smaller: -2 or h?
-2
Suppose -7*k = -2*k. Are k and 6/13 equal?
False
Let m = -2 - 1. Let f(s) = 4*s - 3*s**2 + 4*s**2 + 0 + 2. Let o be f(m). Which is smaller: o or 2/9?
o
Let f be (-4)/(-10)*15/3. Suppose 8 = -2*g - 2*t, 0*g - t - f = -g. Let q be (6/(-9))/((-16)/(-24)). Is q less than g?
False
Let j = 1252/11 - 114. Which is greater: j or 0?
0
Let n = -34/15 + 13/5. Let o = -2.156 + 0.216. Let v = o - -2. Are v and n non-equal?
True
Let x be ((-6)/(-228))/((-4)/(-24)). Which is smaller: x or 0?
0
Let i = 53.9 + -65. Let f = i - -11. Is f < 1?
True
Let b be 1/((0 - 0) + -3). Which is smaller: b or 0?
b
Let q = 135/8 - 17. Let b = -4604/3 - -1521. Let m = 13 + b. Which is smaller: m or q?
m
Suppose 0 = -2*w - 2*w. Let q = 1 - w. Is q > 0?
True
Let t = -31.6 + 38. Let o = 9 + -16. Let g = o + t. Which is bigger: g or -1/4?
-1/4
Suppose 3*a = -6 - 0. Let m be 3 + -6 + 0/a. Is 0.1 at most as big as m?
False
Let h(i) = 4*i. Let v be h(1). Let m = v + -3. Let z = m - 2. Is z greater than 0?
False
Suppose 4*g + 17 = -3*q, 3*q = 3*g + 10 + 8. Let s be ((-3)/4)/(-2 + -1). Which is smaller: s or q?
s
Let m = 0.1 - 0.1. Suppose 4*u + 20 - 76 = 0. Let g be (-4)/u + (-72)/(-105). Which is greater: g or m?
g
Let s be -3 + (4 + 1 - 0). Suppose h - 4*h - c = 2, s = -5*h - 3*c. Which is greater: -0.1 or h?
-0.1
Let u(h) = -h**3 - 6*h**2 + h + 5. Let v(j) = j**2 - 5*j. Let w be v(3). Let g be u(w). Which is smaller: 0 or g?
g
Let l = -27452/2781 - -266/27. Which is bigger: l or 0?
0
Suppose 0 = -3*s + 2 + 22. Let j = s - 3. Which is greater: j or 1/3?
j
Let x = 7 - 7. Let w = x + 2. Which is bigger: w or 2/3?
w
Suppose -3*w - 90 = 18. Is -36 at least w?
True
Let a = -60/161 - -2/23. Is -3 bigger than a?
False
Suppose 3*a - 28 = -4*f - a, 0 = -f - 3*a + 17. Which is bigger: 7 or f?
7
Let d(i) = -i**2 - i - 1. Let r be d(-1). Let q be (-1 + 4)/((-3)/(-2)). Let c be 0 + (2 - q/2). Is r < c?
True
Suppose -g - h + 1 + 1 = 0, 5*h - 2 = -g. Are -2 and g nonequal?
True
Suppose -16 = 4*w + 2*u, 4*w - 5*u + 32 = 2*w. Suppose -4*d + d = -18. Let g be (18/(-8))/(d/16). Is g > w?
False
Suppose -u = -2*u + 66. Suppose 0 = 4*c - 3*y - 0*y + 74, -3*c - 3*y - u = 0. Which is greater: c or -21?
c
Suppose 5*c - 15 + 0 = 0. Let j = c + -5. Let l be -2*(1 - 2) + -3. Is j < l?
True
Let c be (-1)/4 + (-39)/(-12). Let j be (-11)/15 + c/9. Let v = -2.9 + 3. Is j <= v?
True
Let m = 30 - 29.53. Let a = m - 0.17. Is a != -2/5?
True
Let k = 39 - 68. Is -30 smaller than k?
True
Let p = -0.8 + 0.71. Is p >= -0.1?
True
Let x(m) = -m + 5. Le