 and -2 unequal?
True
Let q be 867/(-171) - -2 - -3. Let v = -6/95 + q. Let u = 121/3 + -40. Is u less than v?
False
Suppose 5*r = 47 + 83. Which is bigger: 25 or r?
r
Let w = 1.36 - 1.5. Is 1/4 smaller than w?
False
Let z(a) be the third derivative of -a**5/60 + 11*a**4/24 - 11*a**3/6 - 4*a**2. Let f be z(10). Let u = -35/218 - 2/327. Is f > u?
False
Let u = -0.3 - -1.3. Let r = -14.2 + 14.18. Is u less than or equal to r?
False
Let m be 12/16 - 3/(-24)*26. Are m and 0 equal?
False
Let s = 6.4 + 57.6. Which is smaller: s or -1/4?
-1/4
Let y be 1 + (-2 - -4) + -1. Suppose -y*j - 2 + 6 = 0. Let z = -17/9 + 14/9. Which is smaller: z or j?
z
Let b = 7 + -6. Which is greater: b or 2/17?
b
Suppose 3*r + 2 = 5. Let p = 6 - 3. Is p < r?
False
Let k be 14/2 - (25 + -23). Which is smaller: k or 9?
k
Suppose 2*r + 4*d = 88 - 228, 4*r + 270 = -3*d. Is r greater than -66?
False
Let l = -814 + 809.09. Let q = l + -0.09. Is q greater than -1?
False
Let h = -447/2747 + 6/67. Let v = 9/13814 + -2142277/1699122. Let y = h + v. Is y not equal to 0?
True
Let l(o) = o**2 - o - 2. Let v be l(3). Which is smaller: v or 3?
3
Let y be 105/(-28) - (-5 + 1). Let c be (-2 - -1) + 0 + 2. Which is smaller: c or y?
y
Suppose 0*p = -2*p + 2. Is -2 at most as big as p?
True
Let m be (-1)/2*-4*2. Let b(x) = m*x**2 - 3*x**2 + 0*x**2 + x. Let q be b(0). Is q > 1/4?
False
Let p = 2 + -4. Let l = p + 1.9. Let n = -3 - -4. Which is bigger: l or n?
n
Let i = 4 + -3. Is i less than or equal to 0?
False
Suppose 2*k - 1 = 5. Suppose 0 = -k*b + 1 - 10. Which is greater: b or 0?
0
Suppose -5*j + 0 = 3*o - 28, -2*j + 14 = 4*o. Which is bigger: o or -5/11?
o
Suppose -3*r = -4*x - 7, 5*x - r + 3 = -3. Let c = x - -1. Let a = 301/4 + -895/12. Is c equal to a?
False
Suppose -3*n + 2*v + 65 = 16, 3*v - 88 = -4*n. Is n less than or equal to 18?
False
Let t(u) = u**2 + u. Let x(g) = -g + 3. Let v be x(3). Let k be t(v). Let p be (1/2)/(22/(-8)). Which is greater: p or k?
k
Suppose 2 = 3*s + 5. Let d = 8.36 + -0.36. Which is smaller: d or s?
s
Suppose j = 3*j - 4. Suppose -z - j = 2. Let c be (80/9)/z + 2. Which is smaller: c or -1?
-1
Let p = -98 - -979/10. Suppose w - 2*i = -0*w - 5, 3*i = 2*w + 7. Is p > w?
False
Let v be (-14)/28*2/4. Which is smaller: v or -2/7?
-2/7
Let c = -303 + 911/3. Let y = -3 - -2. Let t be -1 - (1*-1 + y). Which is smaller: c or t?
c
Suppose -5*q = -3*t + 28, -2*q - 2*q - 20 = 0. Let f = -10 - -6. Let z be (-1)/((-2)/(f/7)). Does t = z?
False
Suppose w - 4*i + 6 = -w, 2*w = -2*i. Let p = 571 - 6277/11. Which is greater: w or p?
p
Let i(t) = -t - 1. Let k be i(-5). Suppose -3*n = 6, h = -k*h + 5*n + 15. Which is smaller: h or 3?
h
Let s be (2 + -2 - 0) + 0. Let i = s + -1. Which is smaller: 1 or i?
i
Let g(v) = 2*v**2 - 4*v + 4. Suppose -2*y = -0*y - 6. Let u be g(y). Let n be (-2)/5 + 54/u. Is n equal to 6?
False
Suppose 3*l = -3*r + 6*r + 3, -3*r - 13 = 2*l. Is 0 equal to l?
False
Let l be 16/40 - (-424)/(-10). Let r be 12/l + 10/(-14). Which is greater: r or 0?
0
Suppose -b + 9 - 6 = 0. Which is bigger: b or -4?
b
Suppose 6*y = -6 - 12. Is y not equal to -0.04?
True
Suppose 4*y - 5*b = 14, -4*b + 3*b = 4*y - 26. Which is greater: -2/3 or y?
y
Suppose t - 5 = 0, 10 = i + 4*t - 0. Let y(q) = q - 4. Let n be y(-6). Are i and n non-equal?
False
Let i(c) = -c**2 + 5*c + 4. Let w be i(6). Suppose 4*n = 2*a, 3*a - n + 3 = -2. Is a >= w?
True
Suppose 2*u = 3*u + 2. Is -1 equal to u?
False
Suppose -2 = -0*c + c. Which is greater: 10 or c?
10
Let k(m) = -m - 4. Suppose 0 = -4*q - 0 - 12. Let w be k(q). Is w != -2/3?
True
Let b be 138/33 - 8/44. Suppose 3*j = b*j - 3. Suppose 5*r - j = 6*r. Is r <= -3?
True
Let g be 10/(-4)*(-24)/(-70). Let u = g + 17/28. Let k = -21 + 21.1. Is u smaller than k?
True
Let d be (6/8)/(1 + -6 + 2). Is 1 equal to d?
False
Let m = 21 - 38. Let u be -2 + (72/m)/(-2). Which is greater: -0.2 or u?
u
Let i = -24 - -25.3. Let y = -0.6 - i. Let d = y + 2. Is d at least -4/7?
True
Let y = -2.04 + 0.04. Which is smaller: -2/9 or y?
y
Let i be (-2)/(-5) + 180/(-375). Is i greater than 0.1?
False
Let m = 64 - 317/5. Let z = -13 - -29. Let t be (-4)/z*-2*0. Is m > t?
True
Let z(d) = d + 7. Let c(k) = -2*k**3 + 3*k**2 - 2*k + 2. Let s be c(2). Let l be z(s). Which is bigger: 3 or l?
3
Let u = -0.57 - -0.47. Which is smaller: u or 0.8?
u
Let u = 2 + 5. Suppose -u*s + 2*s + 10 = 0. Suppose k - 2 = 1. Which is smaller: k or s?
s
Let m = 10 - 6. Suppose -m*d = d + 195. Let y = -157/4 - d. Is 3 at most as big as y?
False
Let z be -2 + -6*1/4 - -3. Let r be (-2)/10 - 7/15. Which is smaller: z or r?
r
Let f = -8 - -11. Suppose -6*c = -2*c - 8. Suppose 22 - c = 5*j. Do j and f have the same value?
False
Suppose -4*z = -2*x - 8, -4*x + 8*z - 4*z - 12 = 0. Let c(f) be the third derivative of f**4/12 + f**3/3 + f**2. Let d be c(-2). Is d at most x?
True
Let j be 152/57*(-1)/2. Let d(h) = 4*h**2 + 6*h - h**3 - 7 - 2*h**2 + 2*h**2. Let u be d(5). Is j greater than or equal to u?
True
Let z = 11 + -10. Let q be (-2)/30*z + 0. Are 0 and q nonequal?
True
Let u(y) = 1. Let i(p) = -p - 2. Let l(a) = 2*i(a) + 5*u(a). Let v be l(3). Let f be -1*v/(5/(-2)). Which is smaller: f or 0?
f
Let a be (-6)/(-27) - (-34)/90. Suppose -4*d = -l - 13, 4*l = 5*d - 0*d - 30. Which is bigger: a or d?
d
Let w = 6 + -3. Suppose w*o = -3 + 6. Let c be o - (-3)/(6/(-8)). Is -5/2 >= c?
True
Let f be 2/(-84)*8/(-2)*-30. Is f < -4?
False
Let h(g) = g**3 + 7*g**2 + g + 7. Let u be h(-7). Is 2 less than u?
False
Let c(n) be the second derivative of n**3/6 - 13*n**2 + n. Let l be c(8). Are -0.1 and l equal?
False
Let z = 0.2 + -1.2. Let t = z - -5. Let y = 4.1 - t. Is y greater than or equal to 0.2?
False
Let a = 0.65 + -0.7. Let j = 0.15 + a. Which is greater: -2 or j?
j
Suppose 2*c = 4*c. Suppose -h + 3*i + i + 16 = 0, -4*h - 2*i = 8. Do h and c have the same value?
True
Let n be ((-429)/(-968))/(3/14). Let l = 20/11 - n. Is 1 < l?
False
Let g(a) = -9*a**3 - a**2 + a + 1. Let c be g(-1). Suppose -2 = -0*u - 5*u + 4*i, 2*u - 4*i = c. Is 2/11 < u?
False
Let j be -2 + 7 + -2 + 0. Suppose -6*h - 31 = -h - 4*b, j*h - b = -13. Is -4 greater than or equal to h?
False
Let a = 53/5 + -11. Let z be 3/2*-2*1. Let g = z - -2. Are g and a equal?
False
Suppose y = -y. Let p be -10 + (-2 - -2) + y. Let u be (-30)/(-32)*(-4)/p. Is u greater than or equal to 1?
False
Let j = 7 + -9. Let b be ((-4)/8)/(j/(-8)). Let m = -5 - -2. Which is bigger: m or b?
b
Suppose 4*h = -5*o + 31, -4*o + h + 1 + 7 = 0. Is 3 at least o?
True
Suppose -3 = -3*p - 6. Let v be (-2)/10*p/2. Let f = v - -7/30. Which is greater: -0.5 or f?
f
Let t = -4 - -9. Let x = t + -5.01. Let i = 0.21 + x. Is i equal to 2?
False
Let v be -10 + 7 + (1 - 22/(-17)). Is 0 at most as big as v?
False
Let b = -31 - -30. Which is smaller: -8 or b?
-8
Suppose -6*u = -9*u - 6. Which is smaller: -1 or u?
u
Let n be 35/3 - (-26)/(-39). Let o = -13 + n. Are 0 and o equal?
False
Suppose -4*a + 3*a = -8. Let l(p) = -p**3 + 9*p**2 - 7*p - 10. Let k be l(a). Is k at most as big as -2?
True
Let s = 20 - 20. Which is smaller: -5 or s?
-5
Suppose d + 0 - 4 = 0. Suppose -4*u + 2*g - 5 = 23, -d*g - 61 = 5*u. Let x be (-1)/(u/6 + 2). Which is smaller: -0.2 or x?
x
Let z = -51/182 + -15/26. Suppose 9 = -2*c - 5. Let m(y) = -2*y - 14. Let g be m(c). Which is smaller: z or g?
z
Suppose -4*z - 424 = 60. Let a = 481/4 + z. Let r be (-9)/18 + 2/(-4) + 1. Is a less than or equal to r?
True
Let d = 490/3 + -163. Is -25 equal to d?
False
Let b be (75/5 - 4)/4. Which is smaller: 3 or b?
b
Let x = 3.1 + -4.1. Which is greater: 13 or x?
13
Suppose -3*f - m + 10 = -3*m, -42 = -5*f - 3*m. Is f < 1?
False
Suppose -3*t + 2 = -1, 0 = 2*i - 3*t - 13. Let d be 6/9*4/i. Is 0 bigger than d?
False
Let w(b) = b**3 + b**2 + b + 3. Let c = -4 - -4. Let y be w(c). Is y equal to -1?
False
Let r = 0.4 - -0.6. Let d = -0.09 + -2.91. Is d greater than r?
False
Let g = 52 + -75. Let k = g - -25.06. Let c = -0.06 + k. Do c and 0.2 have the same value?
False
Suppose -5*g - 7 = 3*s - 22, 0 = -g - 3*s + 15. Suppose 4*f - 1 + 9 = g. Which is bigger: 2/3 or f?
2/3
Let i = 79 - 80. Which is smaller: -2/223 or i?
i
Let a be 1/1*(-8 - -9). Is a bigger than 2/27?
True
Let l = 18 - 5. Suppose 3 = 5*f - b, 0 = -4*f -