)). Suppose 0 = -2*d - s*b + 1, b = -d - b + 1. Is -1 bigger than d?
False
Let b = 36 - 109/3. Is -1 bigger than b?
False
Let j be (2/3)/((-12)/18). Let s be 0 + -2 + 80/36. Is s less than j?
False
Suppose 3*k - 8*k = -2*n - 10, -k = 2*n - 2. Suppose 3*i + 2*p + 724 = 0, -5*i + k*p + 2*p - 1214 = 0. Let r = i - -3144/13. Is 0 > r?
True
Let l(g) = g - 2. Let a be l(4). Let d be (-11)/9 - (-6)/27. Let u be (-2)/8*a*d. Is u < -1/2?
False
Let c be (-2)/(-6) + 22/(-30). Let s = -70 - -70. Which is bigger: s or c?
s
Suppose 3*n - 2 = 3*a + 4, 4*a = 5*n - 9. Is a smaller than -1?
False
Let t(d) = -d**3 + 10*d**2 - 8*d - 10. Let g be (7 - 1)*2/3. Suppose w = -2*o + 16, -g*o - 17 = -5*o + 4*w. Let s be t(o). Is 1 > s?
True
Let b = 3 - -1. Let d = 5 - b. Let r = -1.1 + d. Is 2 <= r?
False
Let q = 20 + -10. Do 10 and q have the same value?
True
Suppose 5*r + 133 = -2*w, -2*r - 5*w = -4*r - 30. Which is greater: -1 or r?
-1
Let n(h) = h**3 + 8*h**2 + h - 5. Let f be n(-8). Is f less than -14?
False
Let b = 10 - 9. Let q = -0.9 + b. Which is bigger: 4/5 or q?
4/5
Let f = 4 - 2. Let z(c) = -c - 1. Let i be z(f). Which is greater: i or 0?
0
Let p = 10 - 8. Which is smaller: p or 3?
p
Let w = -5 - -2. Let j = 1 - 0. Let z = -3 + j. Is w greater than z?
False
Let x(s) = -s**3 - 8*s**2 - 7*s. Let t be x(-7). Is -1 at most as big as t?
True
Let r be 15/(-54) - (1 + (-3)/2). Is 6/11 less than r?
False
Suppose -x - 3*m - 18 = m, -4*m = 3*x + 62. Which is smaller: x or -21?
x
Suppose 2*d - 9 = -4*w + 11, w + 9 = 3*d. Let h be (-5)/((-15)/18) + -2. Suppose 4*q - 1 = -w*j + 4, -h*j - 14 = -5*q. Do 3/2 and q have the same value?
False
Suppose 5 + 7 = -6*j. Which is greater: j or -5/6?
-5/6
Let a = 500 + -6504/13. Is 3 not equal to a?
True
Let y(c) be the first derivative of -c**4/4 + 8*c**3/3 - 7*c**2/2 - 3*c + 1. Let b be y(7). Suppose 2*s - 5*s - 4*w = -11, -2*s = -2*w + 16. Are s and b equal?
True
Let i = 30 + -151/5. Which is greater: -1 or i?
i
Let q = 2.33 - 0.13. Let w = 0.8 + q. Which is smaller: 2/7 or w?
2/7
Let u = 5 - 16. Let z(f) = -f**2 - 12*f - 13. Let l be z(u). Let k be 2 + 3 - l/(-1). Is k at most as big as 3?
True
Let l(u) = -13*u - 6. Let x be l(-5). Suppose 2*t - 4*i - 44 = -2*t, -5*t + 3*i + x = 0. Suppose 4*v = t - 5. Which is greater: 1 or v?
v
Let a = 2 - 3. Which is greater: a or 1/7?
1/7
Suppose 0*t - 4*t = 2*x - 8, -t = -3*x - 16. Suppose -2*c - 4 = -3*c. Is t at most as big as c?
True
Suppose -47 = 3*g - 53. Is -1 > g?
False
Let p = 0.108 - 54.108. Let g = p - -57.9. Let v = g + -4. Are v and -0.1 unequal?
False
Let x = 1 - 0. Let s be (-12)/(-9) - (0 + x). Let u = 2/49 + 43/147. Is s smaller than u?
False
Let d = 1.9 + -0.4. Is d bigger than 1?
True
Suppose -3*u + 42 = -u. Which is smaller: u or 20?
20
Let w = 10 - 10. Suppose -4 = -2*m + 4*m. Is w < m?
False
Suppose -54 = 5*f - l, -2 = 3*f - l + 30. Is f <= -11?
True
Let a = 31 + -30. Suppose n + 8 = -3*n. Is a greater than or equal to n?
True
Suppose -q = -3 - 5. Let u = q + -6. Which is greater: -2/3 or u?
u
Let f(r) = r. Let b(j) = 4*j - 5. Let v(q) = b(q) - 3*f(q). Let u be v(6). Is u greater than -1/4?
True
Let c = 6 - 2. Suppose 0 = -3*g + 8*g + 20, -c*g = -2*d - 2. Which is greater: 1/4 or d?
1/4
Let v = -0.043 + 0.143. Is v less than or equal to -0.1?
False
Let i = 3.97 - -0.03. Which is greater: i or -0.1?
i
Let p be 2/(-6) + 13/3. Let f be (p + -3)*(-3 - 0). Let j be (-2)/f*(-9)/(-33). Which is bigger: j or 0?
j
Suppose 0*t = -t - 6. Let f(k) = 2*k - 1. Let c be f(t). Let s = 7 + c. Which is bigger: s or -5?
-5
Suppose 4*o - 2*o - 10 = 4*f, -5*f + 3*o - 15 = 0. Suppose a - 1 = -f. Suppose -q = s - 5, q - s + 7 = s. Is a smaller than q?
False
Let b = 1.98 - 0.03. Let h = b - -0.05. Is 1 < h?
True
Let d = -25 + 25.1. Let n = -14 - -22. Is n equal to d?
False
Let m = -12 + 4. Let b = -4 - m. Which is greater: -1 or b?
b
Let s = 1.8 - 0.4. Is s <= -0.1?
False
Suppose q = -q + 14. Let b = 4 - q. Suppose 20 = -4*g + 4. Which is greater: g or b?
b
Let l(c) = c + 2. Let v be l(0). Is v < 3?
True
Let r be (3 - 0 - -1) + 0. Suppose -17 = -0*a + 5*a - 3*w, -2*a + 4*w = r. Is a equal to -3?
False
Suppose -15 - 30 = 5*v. Is v equal to -8?
False
Let u = 0 - -2. Suppose 0 = 5*k - 1 - 4. Suppose u*t = 2*w + 8, 0 = -w - t + k + 1. Which is bigger: w or 1/3?
1/3
Let x(n) = n**3 + 5*n**2 - n - 16. Let g be x(-4). Is 4 less than g?
False
Let h = -23/2 + 947/82. Is 1 > h?
True
Suppose 8*d = 3*d - 10. Let g be (-1)/d + 35/(-30). Which is smaller: g or -1?
-1
Let i be 1565/1185 + (-12)/9. Is 0 greater than or equal to i?
True
Suppose 0 = b - 4*b - 6. Let u be (7 - 7)*1/b. Which is smaller: u or 3/8?
u
Let b(h) = 2*h - 4. Suppose 0 = z - 6*z + 5*j + 55, 3*j = 5*z - 51. Suppose 4*a = a + z. Let d be b(a). Is 2 at most d?
True
Suppose 2*m = -2*h + 3*m - 7, -2*h = -3*m + 13. Which is smaller: -4 or h?
-4
Let t = 2 + 1. Let r = 54 - 386/7. Let k = r - -10/21. Is t at most k?
False
Suppose -23 = -t - 5*a - 9, 3*a = 6. Suppose -w - 14 = -t*n, 7*w = 2*w + 5*n - 10. Is w at most as big as 2?
True
Suppose 2*z - 5*n - 9 = 0, 3*z + 6*n = n + 76. Suppose -4*u = -u - 9. Suppose -4*s + z = -m, u*m - m - 2*s + 4 = 0. Is m at most as big as 0?
False
Suppose 0 = 2*c + 2*c - 20. Suppose -5*j + c = -5*q, -j - 11 = 2*q + q. Is j equal to -2?
True
Let d be (-4)/2*25/2. Which is smaller: 2 or d?
d
Suppose -m = -0*b + 2*b + 1, 2*b + 7 = 5*m. Suppose -2*g - 5 = 5*r + m, 5*g = -15. Is 4 at most as big as r?
False
Let i(w) = w**3 - 4*w**2 - 4*w. Let c be i(5). Suppose c*g = 3 + 7. Let n be (-5)/g*1/(-5). Is 0 equal to n?
False
Let y = -123 - -143. Which is smaller: y or 21?
y
Let x(j) = j**3 - 10*j**2 - 11*j + 15. Let b be x(11). Is b equal to 14?
False
Suppose -7 = 4*o + 4*f + 9, 0 = f - 2. Which is greater: -4 or o?
-4
Let r = 48/175 - 3/50. Which is greater: -1 or r?
r
Let j be (2 + 133/(-66))/(7/28). Which is smaller: -1 or j?
-1
Suppose -y = 3*y. Suppose 2*k - q + 29 = 7*k, -2*k + 5*q + 17 = y. Suppose d = k*d - 10. Which is smaller: d or 3?
d
Let a(f) = -f**3 - 11*f**2 - 9*f + 12. Let l be a(-10). Suppose -l*j + 7*j = 0. Is j at least -2/7?
True
Let c = 2/37 - 105/1258. Let u = -15/68 + c. Is -1 less than u?
True
Let x = 5.4 - 5. Let m be 0 - ((-2)/(-4) + -2). Are x and m equal?
False
Let y(a) = -2*a + 6 - 1 + 5*a + 3*a**2 - a**3. Let t be y(4). Let p be (2 - (6 + -2)) + 4. Which is greater: p or t?
p
Let c be (0 + 0)*(-8)/(9 + -1). Are c and 3/97 unequal?
True
Suppose -3*m + 15 = 3*d, 0 = 4*m - 3*m + 3*d - 13. Let u = 41/115 - -1/23. Is m at most as big as u?
False
Suppose 4*b - 21 = -d, -b - 6 = -4*d + 10. Suppose -b*x = -0 + 4. Which is smaller: x or -4?
-4
Suppose 4*m + 0*m - 20 = 0. Suppose -6 = m*c + 4. Let j = -2 + -1. Which is bigger: c or j?
c
Let b be (-2)/(-8) + 5/(-4). Let h = 20/3 + -203/30. Is b <= h?
True
Suppose -z = 5*h - 3, z + 0*z = -2*h + 6. Suppose z = 3*a + 2. Suppose -a*f = -0*f. Which is smaller: 2 or f?
f
Let j = 34 + -32. Let h = -3 + 2.9. Which is bigger: j or h?
j
Suppose 9 - 14 = -5*l. Which is bigger: l or 3/128?
l
Suppose -2*s - 210 = 3*o + 830, -4*s = 3*o + 1030. Let n be 72/o + 2/7. Let u be ((-1)/3)/(2/6). Which is smaller: n or u?
u
Let h(t) = t**3 + 2*t**2 + 3*t + 3. Let v be h(-2). Let a = 7 + v. Let s = -3 + a. Is -1/5 less than s?
True
Let p be (-8)/(-20) + 54/(-10). Let o be (-1)/(((-15)/6)/p). Is o at most -6/5?
True
Let p be 1 + 0 + 3 - 0. Let s be 1 + p/(-2) + 6. Suppose -4*r + s = 17. Is r less than -4?
False
Let p = 11 - 7. Is p less than -0.1?
False
Suppose -g - 2*b + 11 = 0, -3*g + 3*b + 3 = -b. Let r be (-31)/g + (-5)/(-25). Let m = 0 - r. Is m smaller than 6?
False
Let p(j) = j**2 + 2. Let x be p(-4). Suppose -x = 4*k + g, 0 = -2*k - 4*g - 9 - 7. Is k at most -5?
False
Let a = -0.78 + 1. Are a and -1/4 nonequal?
True
Let s be 6/4*(-98)/(-21). Is s greater than 9?
False
Let n = -9 - -9. Let p be 2 - (n + (2 - 0)). Is p at least as big as 0?
True
Let y be (-8)/(-16)*(-11 + 1). Let a be 1/(-1) - (5 + y). Does -2/9 = a?
False
Let m(c) = c**2 - 15*c. Let k be m(15). Suppose -4*u - 5*g + 13 + 0 = k, 0 = -2*u + 4*g. Is 4 less than u?
False
Let j = -15 + 13. Is j equal to -3?
False
Let n = 13 + -32. Let t = n + 19. Which is smaller: t or -16?
-16
Let g be (-1)/(1 + 24/(-42)).