Let b be 2563/(-156) + (-2)/(-8). Let f be (-1)/(-3) - (-100)/(-6). Let d = b - f. Which is smaller: d or -1?
-1
Suppose 0 = -2*p - 8, 0 = 5*b - 0*b - 5*p. Let k be (8*1)/(2 + -5). Is k less than or equal to b?
False
Let s(w) be the second derivative of -2*w**3/3 - w**2/2 + w. Let p be s(-1). Let j be -6*1*(-10)/20. Is p smaller than j?
False
Let y(s) = s**3 + 12*s**2 - 3. Let x(j) = -j**3 - 11*j**2 + 2. Let v(o) = 3*x(o) + 2*y(o). Let w be v(-9). Is -3/4 not equal to w?
True
Let l = -17.1 - -17. Which is smaller: l or 0.3?
l
Let n(b) = b**3 - 9*b**2 + 10*b - 12. Let m be n(8). Suppose 0 = 2*k - 3*k + m*v + 10, -5*v = 5*k. Let p be k/1 - (-24)/(-11). Which is smaller: -1 or p?
-1
Let z = 2.2 - 0.2. Let p = 1.95 - z. Is 0.1 at least as big as p?
True
Let i = -3 - -5. Suppose -2*s = -6*s - c + 2, -3*s + i = c. Suppose 5*w + 7 = -2*u, -2*w - 4*u + 10 = -s*w. Is w < -3?
False
Let g be (1 - 2) + 22/18. Suppose 0 = 5*h - 0*h. Let p = -1 - h. Is p smaller than g?
True
Let v(p) = 4*p + 48. Let s be v(-12). Let b = -2756/7 - -393. Is b smaller than s?
True
Let f be (-1)/(-2)*(-1 - 3). Is f not equal to -3?
True
Let b be (3/(-2))/((-1)/(-2)). Let n = b - -3. Let r = n + -3. Is -3 < r?
False
Let x be 0 + (-1 - 44)*-1. Let l be (-76)/18 + 10/x. Let z be l/4*(-1 - -1). Is -3/5 < z?
True
Let t(p) = p + 38. Let j be t(-26). Let x = -2.1 + 2. Which is greater: j or x?
j
Suppose 4*w + w = -5. Is -4/21 < w?
False
Let d = 987/442 - 36/17. Which is smaller: -1 or d?
-1
Let g = 6 - 4. Suppose 0 = -2*a + g + 2. Suppose n = a*n. Is 0 smaller than n?
False
Let f = 34 + -69. Which is bigger: -36 or f?
f
Suppose 2*h = 6, 2*h + 14 = z + 3*h. Is z less than 14?
True
Let y = 0.08 + 0.12. Which is smaller: 3/7 or y?
y
Let a = -2.8 + 0. Let k = a + -0.2. Let l = k + 3.1. Which is greater: -1 or l?
l
Suppose 5*c - 3 = 2. Let s be (-2)/22*1/c. Which is bigger: s or 1?
1
Let l = -23 + 298/13. Which is greater: 1 or l?
1
Let r be (-29)/5*40/(-112). Let q = -11/7 + r. Let i = 0.9 - 1. Which is smaller: i or q?
i
Let g = -0.03 + -7.97. Let i = -1 + -5. Let u = g - i. Is 1 > u?
True
Suppose 9*h - 18*h + h = 0. Let q(z) = z - 5. Suppose 0 = -d + 9 - 2. Let k be q(d). Which is smaller: h or k?
h
Let r(l) = 2*l**2 - 5*l + 2. Let u be r(3). Let h = u + -8. Which is greater: h or -4?
h
Let x(f) = -f**2 - 6*f + 5. Let o be x(-6). Suppose -2*j + o = 3. Let r = -16 - -63/4. Which is smaller: r or j?
r
Let w = 1 - -4. Suppose -a + 2*a + w*h + 11 = 0, 0 = -5*a + 5*h - 55. Is a > -12?
True
Suppose 3*u - 23 + 1 = 4*o, 5*u + 3*o = 27. Let i be (-3)/(-9) - (-10)/u. Suppose 6*w + 16 = i*w. Is -4 greater than w?
False
Let h = -31 - -32. Which is bigger: 0 or h?
h
Suppose -3*g + 2 = 2*r - 3*r, 2*g + r = -7. Which is smaller: g or 2?
g
Suppose 5*y + 63 = 8. Is -11 not equal to y?
False
Suppose 5*g - 8*g = 48. Which is greater: g or 0.2?
0.2
Let i(c) = c**2 + 3*c - 8. Let u be i(-6). Which is smaller: u or -1?
-1
Let d(k) = -9*k - 7. Let r be d(-2). Which is greater: 12 or r?
12
Let r = 105 + -732/7. Which is smaller: r or -1?
-1
Suppose -b + 6 + 0 = 0. Suppose 0 = -u + 3*j - 18, 5*j - 7 - 8 = 0. Let o = -4 - u. Which is smaller: b or o?
o
Suppose 2*g + 4*a = 0, 2*g - 3*a = 4*g + 3. Let s be (-12)/9 - (-4)/g. Let i = 4 - 6. Does s = i?
True
Suppose a - 10 = 2*a - 3*i, 30 = 5*a + 5*i. Suppose 3*f + 3 = m, 4*m = a*m - 3*f - 12. Let v be 4/(-6) - 14/6. Is v smaller than m?
False
Let u(b) = -b**3 + 5*b**2 + 3. Let x be u(5). Suppose -1 + x = q. Let o be 3*q*3/6. Is 2 > o?
False
Suppose -5*o - 54 = 11. Do o and -13 have the same value?
True
Let w be ((-456)/(-39))/((-8)/(-76)). Let h = w + -111. Is -1 != h?
True
Let m = 7834/5 - 1574. Is m bigger than -7?
False
Suppose 0*u + 1 = -u. Let j be 2/1 + u - 0. Let c(o) = -o**3 - 9*o**2 + o + 10. Let b be c(-9). Is j less than b?
False
Let s(b) = -3*b + 2*b - 2*b - 2 + b**2 + b. Let j be s(3). Let q be 2/8*(-8)/14. Is q greater than or equal to j?
False
Let b be (-16)/(-10)*(-5)/1. Let l = -16 - -9. Which is smaller: b or l?
b
Let x = -5 - -5.15. Let u = x + -7.15. Let o = u - -6.8. Which is smaller: 0.3 or o?
o
Let v = 7 - 2. Let a = v - 9. Let m be (2/(-9))/(a/(-3)). Is 1 >= m?
True
Let u(z) = -z**2 + 9*z - 10. Let y be u(7). Let x(p) = p**3 + 5*p**2 - 4. Let t be x(-4). Suppose t = 3*s + 3. Does y = s?
False
Suppose -2*p = -0*p - 2. Let y = 1823/19 + -96. Which is smaller: y or p?
y
Let t = -0.83 - 0.17. Is t bigger than 5/4?
False
Let j be (36/405)/(2/6). Is -1 less than or equal to j?
True
Let r = 3 - 0. Suppose 0 = -r*c - 14 - 19. Which is smaller: c or -12?
-12
Let l(n) = -n**2 + 6*n - 5. Let f be l(6). Let x be (f/2)/(-5)*14. Suppose 0*z - 2*v = -z + x, -v = -4*z. Which is smaller: 1/3 or z?
z
Let y = 40 + -39. Let p = -71/2 + 24. Let s = 249/22 + p. Which is smaller: s or y?
s
Suppose -5*d = -3*j + 17, 2*j + 5*d = 7 - 29. Let l = -44554829 - -405671716861/9105. Let o = 2/607 - l. Which is smaller: o or j?
j
Let b be 0/(-2)*(-1)/1. Suppose 0 = -3*a - b*a + 3, 27 = -2*t - a. Is -13 <= t?
False
Suppose -2*x - 34 = -5*z - 4*x, 0 = -x + 2. Let j(b) = b**2 - 7*b + 4. Let k be j(z). Let y(n) = n**3 + 3*n**2 + n + 1. Let w be y(-3). Is k smaller than w?
False
Let b = 5 + -8. Let m(i) = i + 5. Let f be m(b). Is f not equal to 1?
True
Let c = -10 + 9. Let p = -3.05 + 0.05. Let f = p - c. Which is greater: 0 or f?
0
Let y = -33.4 - -29. Let r = -0.4 - y. Which is smaller: -0.2 or r?
-0.2
Suppose 2*p - 17 = 4*o - 45, 3*p = -12. Suppose -10 = -o*b - 0. Suppose 5*t - 25 = 3*x, -b*x = -5*x - t + 5. Is -2/7 bigger than x?
False
Let v be 2 - 2 - 30/12. Are -4 and v unequal?
True
Suppose 0 = 5*p - 0*p - 20. Suppose 0 = 3*y + p*b - 29, 4 = 3*y - 2*b + b. Is y less than 4?
True
Let q = 5 + -3. Suppose -4*x = -4*k, q*k = 6*k + 4. Let u(s) = -s**2 - 6*s + 8. Let i be u(-7). Is i greater than x?
True
Let h = 17 + -16.4. Let m = h - 0.8. Does m = -5/7?
False
Let g = -3 - -4. Suppose -b - 4 = -o, 4*o = -3*b + 3 - g. Let y be ((0 - 0)/(-1))/1. Is y bigger than b?
True
Let q = 1 + -4. Let u be 1 + 2 - (-6)/q. Which is bigger: -4 or u?
u
Suppose 5*f + 5*v = 0, 0 = 3*v - v. Is -1 > f?
False
Let a = -0.024 + 0.024. Let z(f) be the third derivative of f**6/120 + f**5/10 - f**4/4 + 5*f**3/3 - f**2. Let i be z(-7). Are i and a unequal?
True
Let k(x) = -5*x**2 - 25*x + 35. Let f(r) = 2*r**2 + 8*r - 12. Let t(l) = 8*f(l) + 3*k(l). Let y be t(10). Is -4 greater than y?
False
Let o = -7 + 12. Suppose -5*x = -0*x + o. Which is bigger: x or -3/4?
-3/4
Let r = 3 - -10. Let f = 15 - r. Is 1 < f?
True
Suppose -2*x - x = 12. Suppose -4*r + 0*r - 12 = 0. Is x smaller than r?
True
Let c be 1/(-2) - (44/40 - 2). Let h = 0 + 0. Let j = h - 2. Is c > j?
True
Suppose -i - 4*i = -5*q + 80, -58 = 3*i - q. Are -20 and i equal?
False
Let o be 8/(-4)*(2 + 5/2). Which is smaller: o or 0.5?
o
Let a = 15 - 24. Let i = -8.7 - a. Let h = 0.4 - i. Which is greater: 1/3 or h?
1/3
Let h = 1 + -1. Let u = -23/3 - -811/105. Do u and h have the same value?
False
Let j be -6*((-38)/(-12) - (-2)/(-4)). Which is greater: -14 or j?
-14
Let a(d) = -d - 3. Let g be a(-4). Let j be 1 + 1 + 0 + 1. Suppose -10 = -j*b - 2*b. Are g and b unequal?
True
Let i(z) = -z**2 - 6*z + 2. Let f be i(-6). Suppose -y = -0*y - 2. Suppose -y*u = 3*t - 4, 3 = -3*t + 4*t - u. Is f smaller than t?
False
Let z be 12/10*(-54)/81. Let v be (-2)/(-9)*(-6)/(-4). Is z bigger than v?
False
Suppose 4 = -4*i - 0. Let w be i/(-2)*(3 - 5). Let p be 3 + -2 - 3/2. Is w at most as big as p?
True
Let g = -3.6 + 4. Let f = 0.08 - 0.18. Are g and f unequal?
True
Let f(q) be the first derivative of q**4/4 - 2*q**3 + 3*q**2 - 6*q - 1. Let z be f(5). Let w be (2*1)/(3 - -2). Is z > w?
False
Let m be 1/9*-1*-2. Suppose 3*w - 5 = -5*v, v - 3*w - w = 1. Let u be (-2)/(-4)*(v - 3). Which is greater: u or m?
m
Suppose -5*m + 0 = -5. Let b be (-3)/(-4)*(-5)/((-1755)/24). Is m less than or equal to b?
False
Let x = 48 + -93/2. Let o(l) = l**3 - 7*l**2 + 6*l + 1. Let y(f) = 3*f**2 + 4*f + 2. Let u be y(-2). Let c be o(u). Is c <= x?
True
Let r = -4643/696 + 1/232. Let s = r + 7. Let n = -143 - -287/2. Which is bigger: n or s?
n
Suppose u + 3*w + 6 = 2*u, 5*w + 10 = -5*u. Is u smaller than -1/87?
False
Suppose 2*q - 2*l - 3 = 17, 4*q + 5*l - 49 = 0. Suppose -3*b - 12