b(d). Is -1 equal to l?
False
Let g(b) = -2*b**2 - 7*b - 1. Let o be g(-3). Is o smaller than -8?
False
Let j = -31 + 311/10. Which is smaller: 10 or j?
j
Let x = 6 + -3. Suppose -5*a = x - 13. Suppose 0*f + f = -a. Is -1 at least as big as f?
True
Let y = 2/715 + -262/715. Is 0 <= y?
False
Let y = 27 + -23. Let p(v) = -v**3 + 4*v**2 + 2*v - 7. Let t be p(y). Which is greater: -4 or t?
t
Let b = 0.3 - 1.3. Let k = 6.24 + -0.24. Let p = k + b. Which is smaller: -1 or p?
-1
Let k(m) = m + 12. Let i be k(-9). Suppose -3*r - 36 = -15. Let u be i/12 - r/(-60). Is u >= 0?
True
Let d be (-256)/(-18) + (-8)/36. Suppose 2*x + d = 2*o - 0*x, -5*o = 4*x + 10. Suppose q + 3*j = -13, -q - 4*j - 8 = -o*j. Which is smaller: q or 3?
q
Suppose 0*s - 4*s = 4*j + 12, -2*s + j + 9 = 0. Suppose -3*t + 2*p - 3 = -8, 0 = -s*p - 8. Let o = -15 - -11. Which is smaller: t or o?
o
Let a be ((-6)/(-21))/((-2)/(-250)). Let f = a - 4736/133. Let v(s) = -s**3 + s**2 + s. Let i be v(-1). Which is bigger: i or f?
i
Let g be -196 + -1 - (1 + 0). Let a = g + 359/2. Let x = 18 + a. Are 6 and x non-equal?
True
Suppose -d + 36 = 3*d. Let m = d + -3. Are 6 and m non-equal?
False
Suppose c + 3 = -4*m, -2*c - m + 2*m = -3. Which is bigger: c or 1/33?
c
Suppose 0*l = 3*l + 21. Which is greater: -0.3 or l?
-0.3
Let m = -0.6 + 0.6. Let p(y) = -y. Let n be p(2). Let v be 0*(n - (1 - 2)). Is m at least v?
True
Suppose 28 = 2*t - 2*i, -21 = -4*t + i + 32. Suppose 2*j = u - 7, -3*u + 4*u + t = -3*j. Is u at most 2/5?
True
Let z be 91/39*(-26)/7. Is -8 smaller than z?
False
Suppose 4*i + 5 - 17 = 0. Suppose 0 = -i*t + 4*d + 8, -2 = -t - 4*d - 10. Is -2 < t?
True
Let w = -0.05 - 2.45. Let m = 15.5 + w. Let g = 19 - m. Which is greater: -1 or g?
g
Let t(a) = -2*a - 1. Let u(y) = 2*y. Let i(x) = 5*t(x) + 6*u(x). Let z be i(5). Suppose f + 2*f - 6 = -4*v, f + z*v - 2 = 0. Which is smaller: f or 3?
f
Let x = 6 + 5. Let g = -8 + x. Suppose -9 = g*v, 4*v + 0*v + 11 = -a. Is 2 at most as big as a?
False
Let c(j) = -j - 3. Let l = -9 - -6. Let b be c(l). Let n be b - (-1 - 4/(-5)). Which is smaller: n or 1?
n
Suppose 0 = -33*o + 36*o - 12. Suppose 3*s + 4 - 52 = 0. Suppose a - s = -3*a. Is a >= o?
True
Let k = 3 + 0. Let m = 1 + 0. Suppose -2 = -p + m. Is k at most p?
True
Let o = -2 - -3. Let g(c) = -5 - 9 + 2*c + 2*c. Let y be g(4). Which is smaller: o or y?
o
Let u be -20 + (1 + -2 - -4). Let z = u + 35/2. Suppose -3*p - 2*j - 19 = -7*j, -2*j + 14 = 2*p. Is p equal to z?
False
Let l be ((-10)/165)/((-14)/18)*-7. Is 0 smaller than l?
False
Let z be 0/((-2)/(-2)) + 1. Let t = -1/14 + -23/70. Which is bigger: z or t?
z
Let z = 2 - 6. Let r be (-2)/4 + 27/18. Let a = r + -4. Is a smaller than z?
False
Let c(t) = t + 4. Let m be c(4). Suppose 2*l + m = -2*l + 4*u, -l = 2*u - 13. Let g = 5 + -2. Do g and l have the same value?
True
Let y = 148 - 141.1. Let l = y + -7. Do l and -2/7 have the same value?
False
Let o(q) = q**2 - 7*q + 1. Let j(d) = -d**2 + 6*d - 1. Let a(y) = 3*j(y) + 2*o(y). Let x be a(4). Let w be (x/1*4)/(-14). Are -7 and w non-equal?
True
Suppose -6*y + 155 - 5 = 0. Is 49/2 <= y?
True
Let l = -0.11 + -0.39. Let s = 0.7 + l. Is s bigger than -1/4?
True
Let b(f) = -6*f - 4. Let g be b(0). Is -5 less than g?
True
Suppose 0 = 5*p - 3*p + 230. Let w = p + 573/5. Is 1 at least as big as w?
True
Let d(u) = -5*u**2 - 7*u - 5. Let x be d(-2). Is x <= 3/8?
True
Let d = 338 + -337. Let f be (6/(-15))/((-9)/20). Which is greater: d or f?
d
Suppose 4*i + 4 = 4*v, 0 = i - 3*i + 3*v - 1. Let q be 1*2*(-2)/1. Is i > q?
True
Let f = 12 + -11. Let b be f/(-5) + (-20)/(-100). Is b >= 0?
True
Let i = 11 - 17. Let g = i + 2. Which is smaller: g or -6?
-6
Let f = 7/3 - 2. Is f less than or equal to 1?
True
Let f(s) = -s - 7. Let d be f(-6). Let v be 5 + -3 + -4 + 1. Let n = v - d. Are 0 and n equal?
True
Let p be 0 - (8/(-4) - 225). Let f = p + -4311/19. Which is greater: f or 0?
f
Let l = 289/72 - 33/8. Is l >= 0?
False
Let h(n) = n - 7. Let v be 4 - (1 - 0)*-2. Let b(w) = 2*w - 4. Let r be b(v). Let k be h(r). Which is smaller: -1/6 or k?
-1/6
Let n = -5 - -4. Let u be 0 + n/((-270)/128). Let b = u + -2/27. Are b and 1 unequal?
True
Let t be (-1)/(-11)*(-2)/11. Let g = t + 131/605. Suppose 0 = -o - 3*o. Is g less than or equal to o?
False
Suppose c = 3*c - 12. Let f = 10 - c. Does 3 = f?
False
Suppose -3*f = 2*n + 14, 0 = 2*n - 5*f + f - 14. Suppose 3*c + 2 + 4 = 0. Let j be c - ((-21)/3 - -3). Is j at least as big as n?
True
Let f be (-3)/1 - (5 - -8). Which is smaller: -1 or f?
f
Let i = -2.1 - -2. Let d be (-99)/(-36) - (-6)/(-8). Which is smaller: i or d?
i
Let m(x) = x + 3. Let o = -9 - -7. Let b be m(o). Let j = -3 + b. Is 0.3 < j?
False
Let d = 5 + -1. Suppose 3*o - 20 = -o. Suppose 2*x + 4*u - 11 + 1 = 0, 25 = o*x + 4*u. Is x less than or equal to d?
False
Let u = -5.3 + 5. Let r = u - 0.7. Let f = 1/7 - 19/35. Which is greater: f or r?
f
Suppose -5*h = -34 + 154. Let k be 0*(-3 + 2) - h. Suppose -3*q + 0*q = 5*t - 22, 0 = 5*q + 2*t - k. Do 4 and q have the same value?
True
Let l(n) = n**3 - 2*n - 1. Let x be l(2). Suppose -x*t = -5*g, 4*t - g + 8 + 9 = 0. Suppose 7*s - 8 = -36. Which is smaller: s or t?
t
Suppose -4*v + p = 5, 2*v + 0*v - 5*p + 25 = 0. Let g = -17/22 + 9/11. Let u = g - 6/11. Is v != u?
True
Let q = -9 + 1. Let h = q - -7.9. Does -1 = h?
False
Let q(y) = -y**3 + 4*y**2 - y. Let z be q(3). Let c be -55*1*3/z. Let l = 27 + c. Which is smaller: -1 or l?
-1
Suppose 4*c + 4*s + 16 = -0*c, -4 = c - 3*s. Let n be 16*(c + 6 - 3). Which is smaller: -0.1 or n?
n
Let p = -6 - -3. Let c be ((-1)/p)/((-2)/(-12)). Let m = 22 - 20. Is c less than m?
False
Let j(a) = -a**2 - 5*a + 5. Let p be j(-6). Let l be 2/p - (1 - 3). Suppose 0 = 5*r + 2*t - l*t - 20, 0 = -2*r - t + 8. Which is smaller: r or 3?
3
Suppose 0 = 3*j + 4*w + 48, -j - 16 = 2*w - 3*w. Let q = j - -15. Which is smaller: q or 0.8?
q
Suppose 2*a = -4 + 6. Is a equal to 0?
False
Suppose 2*n = p + 3*p + 8, -2*n = 5*p + 10. Let d = 3 - 6. Do d and p have different values?
True
Let l = -202 - -304. Let i be (-6)/(-27) - l/(-27). Suppose -4*u - 15 = -u + 5*s, 0 = -u - i*s - 12. Is u at most as big as -2/5?
False
Let o = -410/371 - 2/53. Suppose 5 + 2 = -3*x - c, 0 = -x + 5*c + 19. Which is bigger: o or x?
x
Suppose -4*l - 600 = u, -2*u = 4*l + l + 750. Let p = l + 746/5. Is -1 equal to p?
False
Let p = 0.05 - 6.45. Let o = p + 0.4. Is -1 != o?
True
Let p be ((-5)/20)/((-15)/24). Suppose 3*l - 7*l - 4 = 0. Which is greater: l or p?
p
Let h(c) = 4*c - 3*c - 1 - 7. Let s be h(7). Suppose 3*v + 5 = -y - 0, 3*v + 2*y + 10 = 0. Do s and v have different values?
True
Let d be 1 - (3 - 64/12). Which is smaller: d or 4?
d
Let r be (-12)/9*30/(-4). Let f = r + -8. Which is greater: -3 or f?
f
Let h be ((-1)/(-6))/(-4 - -3). Suppose 7*z - 4*z - 3*s = 0, 2*s = 8. Let l be (z - 1)*2/6. Is l greater than h?
True
Let t = -4 + 0. Let g = 2 + t. Let b be 3/(1 + g)*1. Which is greater: -4 or b?
b
Let j be 2/(1 + 2 + -1). Let o = -234 - -3976/17. Which is smaller: j or o?
o
Suppose 2*n + 3*p + 5 - 3 = 0, 3*p = 2*n + 2. Let u be -17 - 1/n*1. Let s = u + 50/3. Which is bigger: 2 or s?
2
Let f = -286.1 - -274. Let s = 10 + f. Let u = s + 0.1. Is u greater than or equal to 2/3?
False
Let f = 109 - 979/9. Is 6 at most f?
False
Let r = 2/41 + -45/82. Suppose -t + z + 5 = 0, -3*t + 4*z + 16 = -0*t. Suppose 2*c - 4 = -t*u, u - 6 = 4*c + 2*u. Is r > c?
True
Let s = 64.1 + -64. Which is greater: s or 4.2?
4.2
Suppose -2*k + 5 = -9. Let m = k + -6. Let u be ((-2)/(-14))/(0 + m). Which is smaller: 1 or u?
u
Suppose 5*h + 17 = -4*y - 43, y = 0. Let g be 3/(-6)*h/(-6). Is g greater than or equal to -1/2?
False
Let p(w) be the first derivative of 1/3*w**3 - 1 - 5/2*w**2 + 5*w. Let s be p(4). Do -2/9 and s have different values?
True
Let i = 53 - 53. Let b = -0.01 - -0.07. Which is smaller: b or i?
i
Suppose 5*i - 178 = -858. Let t = 1766/13 + i. Which is smaller: -1 or t?
-1
Let k be (-159)/2052 + (-2 - -2). Let m = 1/36 - k. Is 1 at most m?
False
Let o(t) = t**3 - t**2 - 5*t + 3. Let k be o(3). Let c = -6 + k. Let b be -5 + (-1 - 0) + c. Is -6 at least b?
True
Let g be (-2)/13 - (-2)/13. Let f(z) = -z**3 - z**2 - 1. Let x be f(0). Which is smaller: x or g?
x
Let j =