2)/(-1 - 0). Let s(x) = -27*x - 107. Let h be s(-4). Is b less than or equal to h?
True
Suppose -3*k = 3*l - 18, l - 3 - 12 = -4*k. Let c = k - 3. Which is smaller: c or -1?
-1
Let j be (-1)/2*(-4)/(-6). Is -3 greater than or equal to j?
False
Let k = 135/19 + -7. Let w be (-1 + 3)/(1 + 1). Do w and k have different values?
True
Let b = -24 - -47/2. Let a = 0.3 - 0.6. Let w = 0.1 + a. Which is greater: b or w?
w
Suppose -2*c + 4*n = 48 - 10, 3*c = -5*n - 46. Which is smaller: -18 or c?
-18
Suppose 0 = -f + 2*x - 5*x - 9, 3*f = -5*x - 19. Suppose -p - 5*a - 9 = 0, -17*p + 21*p + 14 = 2*a. Is p less than or equal to f?
True
Let u = -86/21 - -24/7. Which is greater: u or -0.2?
-0.2
Let w be 1*(-3 - 0/(-2)). Suppose 5*o - 89 = i + 15, -4*i = -5*o + 116. Suppose -3*c - o = 2*c. Is w smaller than c?
False
Let o = -0.8 - 2. Let w = o + 3. Suppose 0 = 3*p + 5*x - 20, -5*p = -2*x - 2*x + 16. Is w not equal to p?
True
Let u = 158 + -160. Let f be 0 + 0/(-1) + -3. Is u at most as big as f?
False
Let f = -3.95 + 0.08. Let s = 0.18 - f. Let r = -0.05 + s. Is r bigger than -2/7?
True
Let s = -16 + 17.8. Let d = s + 0.2. Let p = -3 + d. Which is greater: p or 2?
2
Let y(o) = 2*o. Let l(b) = b. Let x(s) = 5*l(s) - 2*y(s). Let q be x(0). Suppose -5*v = -i - 4, -5*v = -q*v - 4*i - 16. Is 1 < v?
False
Let r = 6 - -3. Suppose 4*g - 2*b - 43 = -7, 5*b = -g + r. Is g at most as big as 8?
False
Let x = 0.25 + -0.35. Which is bigger: x or 1/20?
1/20
Let d = 6 + -4. Let q = 0.7 - -2.3. Which is smaller: q or d?
d
Let f = -9673 - -116165/12. Let s = -27/4 + f. Is -2/3 not equal to s?
True
Let p be (12/10)/(4/10). Suppose 3*o = -2*r - p, -13 = -2*r - r - o. Is 5 at most as big as r?
True
Let m(t) = -t + 6. Let l be m(8). Let o be (-6)/(-46)*l/3. Is -1 equal to o?
False
Let p(y) = 2*y - 11. Let u be 2/3 - (-14)/(-21). Suppose u*t + 8 = t. Let g be p(t). Are g and 5 equal?
True
Let o be (-2323)/(-3)*(-6)/(-23306). Let s = o + 9/271. Let f = -16/301 - s. Is f bigger than 0?
False
Suppose 0*s - 4*s + 14 = -2*t, -3*t = 4*s + 1. Suppose 3*v - v = 4*u - 2, -3*v = -5*u + s. Which is greater: 3/8 or u?
u
Suppose -f + l - 15 = 0, -5*l = -4*f - 35 - 20. Is f at least as big as -22?
True
Let u = 59 - 25. Suppose 32 = 4*j + 4*c, 4*j - u = -c - 11. Let f = 4 - j. Is f != -2/7?
True
Suppose -3*m + 3*r = 0, 0*m - r = 2*m. Which is smaller: 2 or m?
m
Let l = -86 - -32. Which is smaller: l or -55?
-55
Let h = 4.79 + -0.39. Let b = h + 0.6. Which is smaller: 1 or b?
1
Suppose -2*f - f + 14 = p, 5*f = 3*p + 14. Suppose -4*j = -7*j + 6. Suppose -p*s = j*s. Is s at most as big as -2?
False
Let p = 0.7 + -0.76. Let r = -0.46 - p. Which is smaller: 1 or r?
r
Let z = 93 - 87. Which is bigger: z or 2?
z
Let b = -4 - -3. Let d be (-3)/(-6)*b/3. Which is smaller: -1/4 or d?
-1/4
Let u be (-105)/(-564) + (-11)/44. Which is greater: u or 1?
1
Let l(m) = 3*m + 22. Let i be l(-7). Is 9/4 at least i?
True
Suppose m = -3*y - 0*y - 2, -3*y - 3*m = 0. Suppose 3*j + 3*u = -3, -3*u + 14 - 2 = -2*j. Let x be (1/j)/(y/(-3)). Which is greater: 2/11 or x?
2/11
Let d = -4 - -6. Let k = 6 - 4. Suppose k*a = 3*j - 2 - 0, 3*j + d*a + 2 = 0. Is j bigger than 0?
False
Let r = 1/226 - 457/1130. Suppose -5*j = -x - 4, 2*j - 5*x + 1 = -2*j. Let z = j - 1. Which is bigger: r or z?
z
Let b = 7 - 3. Suppose -44 = -3*q + b*q. Let u be 12/(-9)*(-2)/q. Which is greater: -1 or u?
u
Let m be ((-3)/(-9))/(2/(-18)). Let a be 2/6 + (-11)/m. Suppose 0 = -4*j - 0*j - 4*u - 4, a*u = -8. Which is bigger: -1/6 or j?
j
Let l = -216/35 + 33/5. Which is bigger: 0 or l?
l
Let c be 8/(-24)*(-1)/((-1)/2). Which is smaller: c or -4?
-4
Let y be ((-4)/(-10))/(16/20). Which is greater: 0 or y?
y
Let g = 8 + -4. Suppose w + 9 = -2*o, -2*w + w - g*o = 19. Suppose 5 + 5 = 4*r - 3*d, 4*d = -8. Is w != r?
False
Let o = 758/7 - 108. Let h(k) = -k**2 + 2*k + 1. Let m be h(0). Which is smaller: o or m?
o
Let o be (-1 - 0) + 2/5. Let q = 0.75 - 0.55. Which is smaller: q or o?
o
Let v be 4 - ((2 - 0) + 0). Is v at least as big as 4?
False
Suppose -r = 8*r - 9. Which is greater: r or 8?
8
Suppose 2 + 7 = p. Let b be (-1)/(2 + (-21)/p). Let x be b/2*(-2)/3. Which is smaller: x or 1/3?
x
Let l(v) = v**2 + v - 4. Let k be l(-3). Let n be 24/14 + k/7. Let d be (-48)/9*n/(-8). Is 2 bigger than d?
True
Let h(n) = -n**3 + 6*n**2 - 2*n - 1. Let q be h(3). Suppose -u + 4*c = -16, -5*u + 5*c = -3*u - q. Suppose u*p = -p. Which is smaller: p or -2/9?
-2/9
Suppose -f - 30 = -4*f - 4*d, -4*f = 4*d - 36. Is 6 less than f?
False
Suppose 0 = -3*d - 3*u + 6, 2*u + 0 = d + 4. Is d <= -2/95?
False
Let y = 10 - 38. Which is smaller: -29 or y?
-29
Suppose -2*v + 1 = p, 5*v - 5 = -2*p - 3*p. Is -0.5 at least p?
False
Let j be 3/((-7)/(-4) - 1). Suppose -j*m - m = -20. Suppose 4*z - 5*z = -2*x - 1, -4*x + 4 = 0. Is z smaller than m?
True
Suppose 9*y = -s + 4*y - 16, 0 = -y - 1. Let n = s - -18. Suppose -2*o + 2*m - n*m = 11, 2*o = -3*m - 9. Which is bigger: o or -1?
-1
Let m(q) = -q + 4. Let r be m(-6). Let i = -6 + r. Which is smaller: i or 3?
3
Let m = 3 + 10. Is m >= 14?
False
Suppose -5*g = 2*m + 17, 4*m + g = 2*g - 1. Let t = m + -1. Which is smaller: -1 or t?
t
Let m = 1.3 + 0.7. Let o = m - 1.6. Let j = o + -2.4. Which is greater: j or -2/9?
-2/9
Let x = 192.7 - 209.56. Let h = x - -17. Let s = h - 0.04. Which is smaller: 3 or s?
s
Let c(y) = y**2 - 1. Let u be c(-1). Are u and 1/4 unequal?
True
Suppose 0*k + 100 = -4*k. Let v be ((-8)/(-290))/((-10)/k). Which is smaller: 1 or v?
v
Let x(k) = 4*k**2 - 3*k**2 - 3*k + 2*k + 3*k. Suppose 2*u - 2*t - 1 = 5, 5*u + 2*t = -20. Let g be x(u). Which is greater: 1 or g?
1
Let c = -37 + 22. Are 0 and c equal?
False
Let q = 8 - 6. Let f = q - 7. Let v be 1/f + (-6)/(-15). Are 1 and v unequal?
True
Let r = -14 + 15. Do r and -1/3 have different values?
True
Let d = 2434/3055 + 2/611. Which is greater: d or 2?
2
Let a(n) = 2*n**2 - 9*n. Let w(z) = -3*z**2 + 17*z. Let y be (-2)/((-6)/27*3). Let t(g) = y*w(g) + 5*a(g). Let s be t(-6). Which is smaller: -1/3 or s?
-1/3
Let d = 12 - 10. Suppose -j - d = -1. Which is bigger: j or 1?
1
Suppose 6*l + 28 = -l. Which is smaller: -1 or l?
l
Let f be 14 + -18 - 30/(-7). Which is bigger: 0.3 or f?
0.3
Suppose -4*h - s = -9*h + 111, -h + 5*s = -3. Which is smaller: 22 or h?
22
Suppose 10 + 25 = 5*u. Let f = u - 4. Which is greater: f or -1?
f
Let q = 32.8 + -30. Let r = -3 + q. Let u = r + 0.4. Which is greater: 0 or u?
u
Let b be 1/(9/6 - 2). Let y = 3 - 5. Is b > y?
False
Suppose -3*s - 76 = -4*b, -3*s - 27 + 65 = 2*b. Let a = 21 - b. Let w(n) = -n**3 - 6*n**2 - 4*n + 7. Let x be w(-5). Are x and a non-equal?
False
Let t = 1 - 1.1. Let j = -302 - -2105/7. Let x = j - -131/91. Is x bigger than t?
True
Let s = -3.1 - -3.1. Is -0.02 less than s?
True
Let b be (-3)/(-45)*18/(-4). Does 1 = b?
False
Let p = -976/1425 - -18/25. Does p = 0?
False
Let r(b) = b**3 - 4*b**2 + 5*b - 2. Let m be r(4). Let z be (152/m)/(15/(-693)). Let c = 390 + z. Is c greater than 1?
False
Let d be 2/8 + (-4)/16. Let g(n) = -n + 11. Let l be g(8). Suppose u - l = -d. Is 2 at least u?
False
Suppose 0 = -2*s - 0*s. Suppose -5*z - 3*f = 18, s*z + 5*z = -f - 16. Let i = -1 - z. Which is greater: i or 1/4?
i
Let i = 5600 + -22137/4. Suppose -2*a + 390 = -8*a. Let q = a + i. Which is smaller: q or 2?
q
Suppose -5*v + 4*b - 3 = -19, 3*v - 5*b = 7. Let x be 3/(-2)*v/(-6). Let q be (9/105)/((-5)/(-25)). Is x less than q?
False
Let t(o) = -5*o**2 - 9*o - 3. Let w be t(-6). Let q be w/484 + (-3)/(-12). Let z = -133/726 - q. Which is smaller: -1 or z?
-1
Suppose 0 = g + 3 - 2. Let v be 0 + ((-2)/(-7) - 0). Which is bigger: v or g?
v
Suppose 0 = -7*g + 3*g. Let c = -50839 - -2287849/45. Let a = -28/15 + c. Do a and g have different values?
True
Let c = 28 + -59/2. Let n = -0.04 - 0.86. Let m = -0.7 - n. Which is greater: c or m?
m
Suppose 45 = -325*f + 328*f. Which is greater: -2 or f?
f
Let i be 65/15 - (-2)/3. Let v = -51 + 88. Suppose -13 = -4*a - u + 4, -5*a = -4*u - v. Is i greater than a?
False
Suppose 5*z + 6*z = -132. Suppose 0 = 3*j + 20 + 13. Is z equal to j?
False
Suppose 0*y = -5*y - 40. Let z(p) = -p - 6. Let n be z(y). Suppose 1 = n*s - 7. Which is greater: 2 or s?
s
Let a = -0.019 - -38.019. Let h = a + -28.9. Let u 