Let i be d(3). Let l be (i/4 - 2)/1. Which is smaller: 0 or l?
0
Let i(w) = w**3 - 6*w**2 + 6*w - 3. Let v be i(5). Let d = -3 + v. Let j = -59 - -59. Which is bigger: j or d?
j
Suppose 10 = 2*h - r, h - 6 = -r + 2*r. Suppose -2*s + 3*z = 7, -6 - 4 = -2*z. Suppose 3*p - 13 - 7 = s*g, h*p - 2*g = 10. Is -3/4 at most as big as p?
True
Let u = 84 + -84.045. Which is greater: 1 or u?
1
Suppose -385 = -66*b + 71*b. Is b at least as big as -76?
False
Suppose 2*p + 16 = -4*n, -2*n - p = 3*n + 26. Let s be (n/(-7))/((-4)/28). Is 1 greater than or equal to s?
True
Let y = 1/6 - 2/3. Let n = 61/3 + -293/15. Which is bigger: y or n?
n
Let u be (-8)/(-6)*3/14. Let f = 0.016 - -0.084. Which is smaller: u or f?
f
Let q = -4 - -8. Suppose -m + 3*a + 5 = -2, -5*a = -2*m + 13. Let k = q - m. Is 3 > k?
True
Let d = 11601079/69 + -168126. Let s = 17/3 - d. Is s <= -1?
False
Let j be (-4)/8*(8 + 2). Which is greater: 3 or j?
3
Let q be (-10)/(-3) - (-4)/6. Let c = 19 + -17. Suppose 0 = c*v + q. Which is smaller: -3 or v?
-3
Let a = 4 - 6. Let y = -146 - -146.2. Which is greater: y or a?
y
Let l = -281/3 - -1943/21. Which is smaller: l or -2?
-2
Let y = 0 + 0.6. Let f = 1.6 - 2. Let u = f - y. Is -0.3 >= u?
True
Let j = 197 - 1973/10. Which is smaller: 1 or j?
j
Let d(a) = -a**2 + 3*a - 2. Let s be d(2). Let p = -198731/6 - -33210. Let u = 88 - p. Is s greater than u?
True
Suppose 3*f = a + 13, f - 2*a - 2*a = 8. Is f > -0.07?
True
Let x(z) = -z**3 + 5*z**2 + 25*z - 9. Let r be x(8). Which is bigger: r or -0.06?
-0.06
Let k be (0 - -1)*-1*0. Suppose 5*j - 312 = -3*s, -2*j + 112 = -2*s - 0*s. Let o = j + -293/5. Is o at least as big as k?
True
Let d(x) = -x**3 + x**2 + 2*x + 4. Let z be d(0). Suppose 0 = -z*p + 2*p - 8. Do -5 and p have different values?
True
Let h(t) = 2*t - 54. Let f be h(27). Let n be -2*((-12)/(-11) - 1). Is f greater than or equal to n?
True
Suppose -36 = -3*l - 9. Let q be (l/6)/((-2)/(-4)). Which is smaller: q or 2?
2
Let m = 1757/9 - 195. Let b(z) = z**3 - z**2. Let w(v) = 2*v**3 - 2*v**2 + v + 2. Let y(f) = -3*b(f) + w(f). Let d be y(2). Which is smaller: d or m?
d
Let v = -26 + 17. Are v and -9 non-equal?
False
Let a be (-10 + 11)*2/5. Which is smaller: 1 or a?
a
Let b(y) = y**2 + 8*y + 2. Suppose 5*l + 0*l + 35 = 0. Let c be b(l). Let i be (2/5)/((-7)/c). Which is bigger: -2/7 or i?
i
Let y = 3.5 - 0.4. Let d = -2.4 + -0.6. Let a = d + y. Is a greater than 2?
False
Let d = -105 - -311/3. Which is bigger: 2 or d?
2
Let a = -5.9 + 6. Let y = a + 4.9. Let o = -3 + y. Is o at most as big as 4/9?
False
Let o be 3 - 10/2 - -6. Suppose -2*b + o = 3*x, 36 = -2*b + 6*b - x. Suppose -2*m = -3*y - 18, 2*m + 3*y - 2 + b = 0. Which is bigger: 2 or m?
m
Let n be (-2)/(-7) + (-57)/(-21). Suppose -3*s - 18 = -3*b, -n*b + 0*b + 6 = 0. Does -4 = s?
True
Let p(j) = j + 6. Let r be p(-5). Let o(a) = a**2 + 2*a + 2. Let q be o(-2). Let b be 0/((-2 - -1) + q). Is b greater than r?
False
Let q = 18 - 13. Is q greater than -4?
True
Let c be (-2)/(2 + (-42)/20). Suppose 2*v + 4*w = -w - 11, 4*w + c = 4*v. Let l be v/(-10) - (-2)/(-15). Which is smaller: 0 or l?
l
Let a = -2 + 2. Let c = 6 - 7. Let l = a + c. Is l greater than or equal to -5?
True
Let s = 527/910 + -1/130. Which is bigger: 1/3 or s?
s
Let u = -0.45 - 0.55. Let p = 5 - 1. Is u at least as big as p?
False
Let s = 1 + 1. Let u be (s/5)/((-57)/15). Is 0 greater than u?
True
Suppose x - 5*i + 11 = 0, 5*i = 3*x + x + 14. Let o be 82/26 - (2 - x). Which is greater: 1 or o?
1
Let i = -3/2 - -2. Is i bigger than 0?
True
Let z = -8/45 - -17/180. Is z smaller than -1?
False
Let f = 0.19 - 0.09. Is -10 less than f?
True
Let f = 5 + -7. Let a(d) = d + 1. Let v be a(-1). Is v greater than or equal to f?
True
Let a be ((-2)/(-42))/((-6)/(-36)). Is -6 bigger than a?
False
Suppose 0*n = 5*n + 20, -2*x + 16 = -2*n. Which is smaller: -3 or x?
-3
Let w = -4.9 - -4. Let q = -229/52 - -54/13. Which is bigger: q or w?
q
Suppose -5*i = -w - 11, -5*w = i + i - 26. Let x be 1/w + 27/4. Which is smaller: 8 or x?
x
Let i = -0.2 - -0.1. Let l(z) = z**2 + 3*z - 7. Let a be l(-5). Let o be (-2*a/6)/(-1). Is o at least i?
True
Let n be 22/6 + 4/(-6). Let u = -4 + n. Which is smaller: -2/5 or u?
u
Let m = -0.1 - -0.54. Let n = m + -0.4. Let v = n - -5.96. Which is bigger: -0.1 or v?
v
Let n be ((-111)/19)/(3/249). Let d = n - -485. Does d = 1?
False
Suppose 4*j - 45 = -j. Let v = j - 16. Is v at least -7?
True
Let l = 1342/7 + -192. Which is smaller: 29 or l?
l
Let x = -8.3 + 8. Let q be 1/((-4)/10*200/(-32)). Is q at most as big as x?
False
Let r = 0 - 0. Let h = -0.1 - r. Are -3 and h equal?
False
Let a = -22 - -26. Suppose 0 = 2*y - 0*y + a. Is y <= -3?
False
Let x = 1587/8 + -198. Is 1 < x?
False
Suppose 3*x - 9 = -0, 4*j = 2*x + 58. Suppose -2*w + 4 = 3*n - 3, -n + 3*w - j = 0. Is -2 greater than or equal to n?
False
Let c be -2 - -1 - (0 + -9). Let l(x) be the first derivative of -x**4/4 + 7*x**3/3 + 7*x**2/2 + 8*x - 1. Let h be l(c). Which is bigger: -1 or h?
h
Suppose -8 = -0*p - 3*p + 5*u, 0 = 2*p - 2*u - 4. Let f = 1 + -1. Which is smaller: f or p?
f
Let l(z) = -z + 5. Let n be l(0). Do n and 4 have the same value?
False
Let s be (-30)/(-9)*(-24)/(-10). Suppose -3*v = -j - j + 31, 28 = j - 4*v. Is s less than j?
False
Let r(p) = -3*p + 24. Let i be r(5). Is i greater than or equal to 9?
True
Let j(m) = m**2 - 3*m - 6. Let q be j(6). Suppose 2*g + 4 = 6*g + 2*z, 0 = 3*g - 3*z - q. Is -0.1 at most as big as g?
True
Let o(d) = d**2 - 2*d + 2. Let x be o(2). Let u(c) = c + 2. Let j be u(0). Suppose l + 2*l - 9 = 3*k, j*l - 12 = 4*k. Which is smaller: x or l?
l
Suppose -4*s + f = 4, -f - 2*f - 12 = 0. Is s < -24/7?
False
Let f be (-2 - (-8)/5)/2. Let h = 24 + -24.2. Are f and h unequal?
False
Suppose 2*y - 4 - 2 = 0. Suppose -b + 1 = -2*b, 3*g + 45 = -y*b. Which is smaller: -13 or g?
g
Let c be 70/9 + 2/9. Let w = 7 - c. Which is smaller: w or 1/6?
w
Let p = -12/17 + 104/51. Is p smaller than 2/7?
False
Let h = -43 - -263/6. Suppose 6 + 3 = 3*n. Let y be (1/n)/(3/9). Which is smaller: y or h?
h
Suppose 3*k + 4*j = -3 - 16, 4*j - 21 = 5*k. Suppose 0 = -4*q - 4*m - 16, m = -2*q - 2*m - 7. Is q greater than k?
False
Let t = -2164/9 + 240. Is t not equal to 0?
True
Let t = 0.7 - 1. Let i = t - -0.4. Let w = 17.8 - 18. Is w not equal to i?
True
Let o = 4 - 3.95. Let t = 0.45 - o. Let a = t - 0.4. Is a equal to 0?
True
Suppose 0 = 3*d + 2*d - 70. Suppose d = -5*t - 6. Do t and -3 have different values?
True
Suppose -2*a = 2*p + 10, 5*p - 4*a - 4 = p. Let v(t) = -t**2 + 6*t - 4. Let r be v(6). Let n = 1 + r. Is n at least p?
False
Suppose 4*z - 2*o - 18 = 0, -z + 5*o + 35 = 4*z. Suppose -3*r - 2*r + 20 = z*c, 3*r - 5*c = -19. Let g be ((-4)/(-2))/(17 + r). Is g equal to -1?
False
Suppose 0 = 2*d + 2*j + 14, -5*d - 5 = -4*j + 3. Let h be (-3)/8*d/6. Let f = 0.1 + 1.9. Which is bigger: h or f?
f
Suppose -43 = 5*y + z + 8, 31 = -y + 5*z. Is y > 1?
False
Let v be (-6)/(-20)*-2 + 22/70. Is -54 smaller than v?
True
Let o(p) = 0*p - p**2 - 4*p + 4*p - 5*p. Let x be o(-5). Let q = -119/3 - -39. Are x and q nonequal?
True
Let y be (-52)/7 + (-24)/(-56). Let d = -8 - y. Let q = -0.6 + -0.4. Do q and d have the same value?
True
Suppose 2*g = 3*c + 3, 3*g - 5*c = -c + 5. Are 3/2 and g nonequal?
True
Let t = -3 + 10. Let g = t - 5. Which is smaller: g or 1/3?
1/3
Let t = 18 + 2. Let u = t + -19. Which is bigger: u or -1/19?
u
Let b = -251/7 + 36. Let f(j) = -j**2 + j. Let y be f(1). Which is greater: y or b?
b
Let n = 78 + -78. Are n and -2/187 unequal?
True
Let z be 2*(-2 - -1) + -2. Let v be 2 - (-2 - (-24)/3). Is z bigger than v?
False
Let k(m) = m**2 + 2*m - 1. Let h be k(1). Let d = 0 - h. Which is bigger: 1/3 or d?
1/3
Suppose b + 12 = -u, -4*b + 4*u - 31 = -15. Let c(y) = -8*y**2 + 1. Let o be c(-1). Which is smaller: b or o?
b
Let c be -3 - (2 - (-3 - -1)). Let n = -12 - c. Which is smaller: n or -6?
-6
Suppose 0 = -3*g + 15, 4*n + 35 = -5*g + 4. Is n equal to -14?
True
Suppose -y = 3*y. Suppose 4*r - 4 + 8 = y. Is -0.12 less than r?
False
Let p be 1/(-7) + 8/7. Which is greater: p or 2/87?
p
Let o = 12 + 10. Is 18 bigger than o?
False
Let l(m) = -m - 5. Let c be l(-11). Let o be c/(-189)*3 + 0. Which is smaller: o or -1?
-1
Let m