2)/(-3)). Let v = k - 37/80. Is x greater than or equal to v?
True
Suppose -3 = -m - 2. Is m bigger than 1?
False
Let q = -7 + 6.7. Let a = 0.1 - q. Which is smaller: -1 or a?
-1
Let z = 226 + -108. Are z and 118 equal?
True
Let k = -241 + 3131/13. Is k < 1?
True
Let j = 3 - -1. Suppose 3*y + 19 = -2*c, -c + 4 = -2*y - j. Let a = -43/2 + 21. Which is greater: c or a?
a
Let l = -44.9 + 45. Which is bigger: l or 3/5?
3/5
Let n be (2832/(-21))/4 + 0. Suppose -2*v + 53 = -5*q, -4*v - q = 2*q - 145. Let o = n + v. Is 1 less than o?
False
Suppose z - 4*z = -4*r + 265, 2*r - z = 135. Is r at most as big as 69?
False
Suppose 0 = -m - 5*y - 0*y - 283, 4*y = 2*m + 524. Let d = m - -1873/7. Does 1 = d?
False
Let n be 1 - (-30)/63*(-28)/16. Suppose -2*g + 6 + 2 = 0. Let h be ((-2)/g)/(2/(-4)). Is n not equal to h?
True
Let c be ((-2)/(-12)*-1)/3. Which is bigger: 1 or c?
1
Let s be -4 - (-16 + -1)*-1. Let m = 21 + s. Which is smaller: m or -2/5?
-2/5
Suppose 5*i + 50 = -0*i. Let x = -10 - -4. Let n be x/24*(-4)/i. Is n equal to 1?
False
Let m(n) = -2*n - 4*n**2 - 3 + 2*n**2 + 4. Let r be m(-2). Is r at most as big as -3?
True
Let s be (-551)/7 + 14/(-49). Let q = 710/9 + s. Is 1 <= q?
False
Let d = 0.01 + -0.04. Let s = -2.03 - d. Let c = -2 + 2.1. Which is bigger: c or s?
c
Let w = 4/573 + -991/5157. Which is bigger: w or 0?
0
Suppose 0 = -5*l + g, 4*g - 7*g - 10 = -5*l. Which is bigger: -3/41 or l?
-3/41
Suppose 11 = 2*j - 5. Let y = j + -4. Let t be (-2)/y + 1/(-2). Which is smaller: -2 or t?
-2
Let k = 0.55 - 0.3. Let u = 0.05 + k. Let z = 0.11 + 0.89. Which is greater: z or u?
z
Let r = -34 + 19. Let p = r + 15.3. Which is smaller: p or -2/7?
-2/7
Let r = -2 + 5. Suppose 9 = -r*v - 0. Let q be 3/(18/(-4))*3. Which is greater: q or v?
q
Let d = 3 - 4. Suppose -2*p - 3*p = -120. Suppose 0*r + 5*r = z + p, -3*z = 2*r - 13. Which is bigger: d or z?
z
Let r = 11 + -9. Suppose t = -r*t + 3. Which is bigger: t or 8/5?
8/5
Let v = 54/7 + -8. Let d be 1 - 1 - (-1 - -1). Is v equal to d?
False
Suppose 5*k = -5*u - 45, u = 5*k - 3*k + 6. Is 2 at least as big as u?
True
Let i(w) = -72*w + 72*w + 4 + w**2. Let d be i(0). Let b = 0.8 + 0.2. Is b <= d?
True
Let l(x) = 2*x - 1. Let p be l(2). Suppose v + 1 - p = 0. Is v != -2/5?
True
Let d(r) = -r**3 + 2*r**2 - r + 4. Let k be d(3). Suppose 0*z - 5*q - 125 = -4*z, -3*z - 3*q + 87 = 0. Let l be k/(-20) - 32/z. Which is smaller: l or -2?
-2
Let i be 6 + -8 - 132/(-62). Is i <= 0?
False
Let r be ((-1)/(-47))/(1/2). Is r at most as big as 0?
False
Let h be -6 - (0 + -1*2). Let w = 6 + h. Suppose w*j + 3 = -1. Do 0 and j have the same value?
False
Let p be (1 - 2)*(0 - -1). Suppose 0 = -3*s + 2*s - 3. Let t = s - -1. Is t at most as big as p?
True
Suppose -9*j - 2 - 16 = 0. Which is greater: -4/7 or j?
-4/7
Let m(p) = -20*p. Let u(k) = 10*k. Let q(o) = 2*m(o) + 5*u(o). Let h be q(1). Is h at least as big as 9?
True
Let n = -4.94 - 0.06. Let u = 0.08 + -3.08. Let y = n - u. Which is bigger: y or 2?
2
Let y be (-368)/120 - 3*-1. Are y and 0 non-equal?
True
Suppose -3 = 4*o - 3*u + 6, o - 2*u + 1 = 0. Let n be (-8)/(-3) - (2 - 0). Is n equal to o?
False
Let x = -391/11 + 36826/1045. Let t = 2/19 + x. Let p(z) = -z**2 + 1. Let h be p(0). Which is smaller: t or h?
t
Let c be -5 - 3/((-6)/4). Let f(n) = -6*n**3. Let s be f(-1). Let r be ((-2)/c)/((-4)/s). Is r bigger than 0?
False
Let z(i) = 3*i + 11. Let u be z(-5). Which is smaller: u or -1?
u
Let x = 7/65 - 2/65. Let f be (-2 - -2)/(-1 - 0). Are f and x unequal?
True
Let w(s) = s - 18. Let p be w(17). Are -3/70 and p nonequal?
True
Let p be (-4)/(-6) + (-13)/(-3). Suppose -5*a + 26 = 4*g, g - p*g = -a + 10. Let m be 0 - 2 - -4 - a. Which is greater: m or -3?
-3
Let c = 2 - -9. Let i = c + -11. Is -1 >= i?
False
Let l = -773383 + 600918355/777. Let p = -2339 + 259627/111. Let q = p - l. Which is greater: q or 0?
q
Let v = 1 - 1. Is 0.14 less than or equal to v?
False
Suppose 3*n - 32 - 4 = 0. Suppose 5*w - n = w. Let y be -2*((-10)/4 + 1). Is w >= y?
True
Let n be (-11)/(-2142) - 2/4. Let p = n - -6/119. Is p greater than 1?
False
Let u(o) = o**2 + o - 4. Let w(j) = j - 19. Let p be w(16). Let l be u(p). Is 3 bigger than l?
True
Let g be 0 + (1 - -1)*30/(-225). Is -1 greater than g?
False
Let c = -6 - -9. Suppose 5*t = -0*y - c*y + 12, 0 = t - y - 4. Is 1 != t?
True
Let c = 30 - -8. Is 37 less than c?
True
Let f = -0.7 - 9.3. Let s = f - -14. Let m = s - 3. Is -2/11 at most m?
True
Let q be (-2)/7 - (-64)/28. Let p be (20/(-14))/q + 1. Let h(n) = n**3 - 5*n**2 + 2*n + 5. Let b be h(4). Are p and b unequal?
True
Suppose 5*c - 3*j + 1 = -7, 3*c = -4*j + 1. Let q(m) = 7*m**3 - m - 1. Let o be q(c). Let r = o + 3. Do -5 and r have the same value?
False
Let t(m) = m**2 + 23*m - 32. Let y be t(-24). Let x(w) = w**2 - 5*w - 7. Let n be x(6). Let s be (1 + 5)*n/y. Is -2 >= s?
False
Let o = 8 + -8. Let l = -147/355 - -1/71. Is l < o?
True
Let l = -93/2 + 46. Is l bigger than 0?
False
Let b(c) = -c - 8. Let v be b(-6). Let o(f) = f - 2. Let s be o(0). Do s and v have the same value?
True
Let u(v) = v - 5. Let c be u(6). Let r be c/((-1)/(3 - 4)). Is r smaller than 9?
True
Let m = 0.01 - 0.06. Let t = -4.05 - m. Is t at least as big as 0?
False
Let i = -0.02 - -7.02. Let o = i - 8. Which is greater: o or 2/3?
2/3
Suppose 7*b - b = 12. Let w = 8 - 6. Let l = 3 - w. Which is greater: b or l?
b
Let o = -6 + 15. Is o less than 8?
False
Let x(h) = -h**3 + h**2 + h + 3. Let w be x(0). Which is smaller: -3 or w?
-3
Let v(o) = o**2 + 5*o + 5. Let a = 26 + -16. Suppose -a - 6 = 4*b. Let r be v(b). Is r at most 5/4?
True
Let p = -140 - -139. Are p and -3 unequal?
True
Let w be 1*12/(-5) + 2. Suppose 0 = -5*i + i + 20. Let x = i + -6. Which is smaller: w or x?
x
Let o be 15/(-20)*(-48)/81. Let t = o - 25/36. Which is bigger: -6 or t?
t
Let f = 0 + 6. Let l = f + -4. Is -2/3 greater than l?
False
Let a = 0.17 + -0.17. Which is smaller: a or -1?
-1
Suppose 0 = -2*w + 3 + 3. Which is smaller: w or 3/2?
3/2
Let r = 3 - 5. Let b = 0 + r. Is b >= 1?
False
Suppose 0 = -9*a + 4*a + 50. Let p be (2/(-5))/((-22)/a). Which is smaller: 0 or p?
0
Let z = 43.1 + -29. Let m = z - 13. Which is greater: -1 or m?
m
Let t = -195 + 3312/17. Suppose -2*j = -0*j. Is t at least j?
False
Let v be (2/(-4))/((-1)/8). Which is bigger: v or 10/3?
v
Let w be -4 + (0 - -1) - -2. Let m be 1*1*3/9. Is m less than w?
False
Suppose 0*t = -5*t - 5*y, 3*t = 5*y + 40. Suppose 0 = -5*x, 0 = t*u - 2*x - x. Suppose 4*m + 8*h - 4*h - 20 = 0, 4*h = -5*m + 20. Is u at most m?
True
Suppose 3*g - 16 = -5*m, 2*m - 10 - 4 = -5*g. Let h = 67 + -61. Are m and h equal?
False
Let n be (25 - -3) + 1 + 2. Let h be -3 - n/18*-2. Which is smaller: h or 0?
0
Let j = 1 - -3. Let v(u) = 6*u**2 - u**3 - 3*u**2 + 6*u + 6*u**2 + 3 - 4*u**2. Let a be v(6). Is a bigger than j?
False
Let h = 2.36 - 2.38. Let b(o) = -2*o - 3. Let f be b(-2). Which is smaller: f or h?
h
Let y = -11.81 + -0.19. Let i = y - -10. Is 3 smaller than i?
False
Let s be ((-3)/4)/((-3)/12). Let q be (-14)/24 - s/(-12). Which is smaller: q or 1/2?
q
Suppose -x - 3 = 4*h - 0*h, -5*h = -5*x + 35. Suppose 0 = 4*i - x*i. Suppose 3 = 4*f - f. Which is smaller: f or i?
i
Let f be (-15)/(-10)*1*(-4)/18. Which is greater: 52 or f?
52
Suppose -116*i = -119*i - 39. Which is smaller: 1/3 or i?
i
Let m be 68/(-12) + (-2)/6. Let k be (8/(-6))/(m/81). Suppose 2*s + 20 + 0 = -4*h, k = -s - 4*h. Which is greater: 0 or s?
0
Suppose 5*w = w - 4. Let b = -12 + 12. Which is smaller: b or w?
w
Let v = -7 + 4. Let f = -7 - -3. Let y = v - f. Are y and -3/4 equal?
False
Suppose 0 = -16*x + 14*x - 18. Which is greater: -11 or x?
x
Let u = 9 - 12. Let h be u/(-4) - (-475)/(-580). Which is smaller: 0 or h?
h
Let l be 1/(-3)*(-3)/(-4). Let d = -29/24 + 7/8. Which is greater: l or d?
l
Let a be ((-21)/(-6) - 3)*0. Suppose a = t - 5 - 8. Are 13 and t nonequal?
False
Let c(u) = -u + 1. Let l be c(-1). Suppose l*p = 10, 4*n - 2*n - 4*p + 18 = 0. Let q be 1/(-3) + 4/20. Which is greater: q or n?
n
Let z be (-8)/(-18) - 4/6. Let m = -1 + 3. Suppose m*t = t. Which is smaller: t or z?
z
Let t = -23 - -23.2. Which is smaller: t or 0.1?
0.1
Suppose -u - 1 = -5*i + 7, 0 = -2*i. Is -6 less than or equal to u?
False
Let q