*2 + d - 2. Let f be m(-4). Let z(x) = 0 - 10*x**2 + 3*x**2 - x**3 - 5 - 7*x. Let i be z(f). Are 0.1 and i equal?
False
Let s = -1521/20 + 76. Which is smaller: s or -0.2?
-0.2
Let i = 101/436 + 2/109. Let o = -2 + 2. Which is smaller: i or o?
o
Let k be (-1 - 5/(-3))*-3. Let c be ((-18)/15)/(4/(-10)). Let b = -6 + c. Which is greater: k or b?
k
Let w(u) = u**3 - 6*u**2 + 12. Let h be w(6). Are 11 and h equal?
False
Let z = 0 + -0.1. Let q = z - -0.2. Suppose 2*g + 2 = 6. Is q at most g?
True
Let y = 7 - 8. Let s = -3 - -2.8. Is y greater than s?
False
Let k(m) = -m**2 - m - 6. Let c be k(0). Let v = c - -2. Let f be (2/4)/((-1)/6). Which is smaller: f or v?
v
Let x(q) = q**3 + 7*q**2 + 5*q - 7. Let h be x(-6). Which is bigger: -1/2 or h?
-1/2
Let a be 130/100 - 4/10. Let c = a - 7/30. Let r be (-1)/3*-1*3. Which is greater: r or c?
r
Let q be (2 - 1 - -1) + 1. Let l = -2 + q. Which is smaller: l or 0?
0
Suppose -2*h = -0*h + 2. Let u be 42/15 + -2 + h. Is u at most -0.2?
True
Let l = 22 - 22. Suppose 23 = j - 0*j + 5*p, -3*j - 31 = -5*p. Do l and j have the same value?
False
Suppose 3*f + 2*f + 15 = 0. Let c(k) = -4*k**2 - 4*k - 4. Let s be c(f). Let w be 2*-2*2/s. Is w at least as big as 0?
True
Let d = 3 - 2. Let n = -0.05 + -4.95. Are d and n nonequal?
True
Let w = -29977/371 - -566/7. Is w at least 0?
True
Let r = -1.1 - 0.9. Let v = -2 + 3. Is v < r?
False
Let n be (10/1)/(-3 - -2). Let s be (-5)/(n/4) + 3. Suppose -4*c = c - s. Which is smaller: -2/15 or c?
-2/15
Let a be 50/(-60)*(-2)/25. Which is smaller: 1 or a?
a
Suppose 3 - 7 = -2*b. Let o be (-3)/2*4/6. Let f = b + o. Is 2/11 < f?
True
Let w be -1 - (2/(-6) + -1). Let y = 6 - 5. Let s be 4/3*y/(-2). Is s bigger than w?
False
Let f = 5 + -6. Let t = 0.2 - -0.8. Let j = -2 + t. Is j > f?
False
Let l(w) = w + 12. Let y be l(-12). Suppose y = 3*j - 2*j + 1. Is -1 less than j?
False
Let b = 0 - -3. Suppose b*z + 4*s - 18 = s, -z + 4*s = 19. Suppose l = 2 - z. Which is bigger: l or 2/3?
l
Suppose 8 = 9*o - 5*o. Is -3 > o?
False
Suppose -2*f + 1 + 3 = 0. Let p be (3 - (f + 0))*-3. Which is smaller: p or -1?
p
Let m = -0.2 + 2.2. Let x = 2 + m. Let b = x + -8. Is -1 != b?
True
Let l(a) = a - 6. Let o be l(7). Let n = o - 2. Let p be -1 - 0 - (-3)/(-3). Which is bigger: p or n?
n
Let m(h) = -h**2 - h + 7. Let r be m(0). Let z = -6 + r. Let g be (3 - 2)/(-2 + z). Which is smaller: 1/3 or g?
g
Let n = -68 - -48. Let f be (3/n)/(2/8). Let j be 6*2/(-5 - 1). Which is smaller: f or j?
j
Let d = 0.5 + -0.7. Let n = 4 + -4.1. Let j = n - d. Is -2 >= j?
False
Let k be (-1 - 2) + (8 - (-11)/(-2)). Is k != 41?
True
Let f(b) = -b**3 + 9*b**2 + 11*b + 8. Let v be f(9). Which is bigger: 108 or v?
108
Let o be 1 + (12/18 - 142/78). Let j = -1.1 + 1. Let q = 0.1 + j. Which is smaller: q or o?
o
Let b be (-3 + (-1428)/(-260))*-75. Let m = b + 187. Which is smaller: m or 1?
m
Let g(s) = -s**3 - 3*s**2 + s + 2. Let j be g(-3). Which is smaller: j or -15?
-15
Let h(n) be the first derivative of -22*n**3/3 + n**2 + 2*n - 2. Let v be h(-2). Let r be 4/(-20) - (-2)/v. Which is greater: r or 1?
1
Let u be (-1)/4 + 746/(-24). Let t = u - -2144/69. Let n = -47/92 - t. Which is smaller: -1 or n?
-1
Let k = -57 + 33. Let i be k/21*(-1)/4. Which is greater: 0 or i?
i
Suppose -4*v - 5*y = 31, 5*v - 2*y - 3*y = -5. Let n(l) = l**3 + 7*l**2 + 7*l + 3. Let p be n(-6). Is p at least as big as v?
True
Let a = 2.9 + -3. Is 2 at most as big as a?
False
Let o be (16/(-24))/(10/108*-2). Which is bigger: o or -3?
o
Let j = -100 + 99.9. Is j >= 1/3?
False
Let c = 411/2975 + 2/425. Suppose -1 = -4*f + y, -f + 2*y + 6 = 3*f. Is f > c?
False
Let d = -48 - -78. Let j be (-100)/d*12/(-10). Let l be (-10)/j*3/90. Is l smaller than -1?
False
Let v be 0*(0 - (-3)/(-6)). Suppose 21 = -4*u + 4*b - 3*b, v = -b + 1. Let g be (28/(-35))/((-1)/u). Is -4 at least g?
True
Suppose 5*a + 2 + 38 = 0. Is -5 < a?
False
Suppose -2*b = -2*u - b - 501, -4*b = 20. Let t be (208/(-42))/((-6)/306). Let s = u + t. Is s less than -1/2?
False
Let z = -1 + 3. Let o be (1*z)/(12/(-6)). Is 3/11 < o?
False
Let i = 0.89 - 0.9. Let j = i - -0.11. Is 6 greater than or equal to j?
True
Let p = -3 + 4. Let u be 0*(0 + 1)*p. Let b be u - 15/(-12) - 1. Does 1/5 = b?
False
Let j = -1/674 + 195/17861. Is j <= 1?
True
Suppose -3*g + 10 = -2*f, -f - 3*f + 4*g - 16 = 0. Let w = 0.04 - -0.16. Is w != f?
True
Let a(s) = -s**2 - 2*s - 3. Let y be a(-2). Let h be (-5)/y - (-1)/3. Suppose -h*v + 4 = -4*v. Is v > -1?
False
Let i = -12 + 11. Which is smaller: i or -3?
-3
Let v be (1/(-3))/((-2)/12). Suppose -2*b - v = -d, -d - 5*b - 5 = 3*d. Is 1 > d?
True
Suppose 5*w - 1 = 4. Suppose -4*t - 3*a = 15 - 0, -t = -a + 9. Let u be (-6)/12 + (-7)/t. Which is smaller: w or u?
u
Let d(z) = -2*z - 6. Let u = -11 + 9. Let x be d(u). Are x and -3 equal?
False
Let j(q) = -q**3 + q**2 + 5*q - 4. Let k be j(3). Let b = k + 6. Let i be (-6)/(-4 - b) + -2. Is 2 at least i?
True
Let y be (1 - 4)*(-4)/3. Let b be 8706/y*(-6)/(-39). Let j = 335 - b. Which is smaller: j or -1?
-1
Suppose -4*m - 9 + 25 = 0, 0 = -3*v + 5*m - 35. Let p be v/26*(-12)/15. Which is bigger: p or 0?
p
Let n = 85 + -85.06. Let c = 22.94 + -24. Let v = c - n. Which is bigger: 0.5 or v?
0.5
Suppose -7*l = -2*l - 35. Let t = l + -8. Is t > 2?
False
Let z be (-4)/((-8)/(-14)) - 2. Let i(h) = h**2 + 8*h - 9. Let j be i(z). Is 1/7 greater than or equal to j?
True
Let f be 0/(0 - 1)*-1. Let m = f - -2. Suppose 0 = -m*v + 5*p - 18, -v - 1 + 18 = 4*p. Is 3/8 not equal to v?
True
Let l = 20 + -17. Which is greater: 0 or l?
l
Let n be 48/4*1/2. Let b = -5 + n. Let t be 1/(-6)*(2 - 1). Is b not equal to t?
True
Let o = -3.3 + 2.3. Is o greater than 4?
False
Let i = 0.12 - 8.12. Let j = -8.9 - i. Let a = j - 0.1. Which is smaller: 2/5 or a?
a
Let q be 1 + 3/(-12) - (-135)/(-132). Do 1 and q have the same value?
False
Let o(z) = z**2 + 2*z + 4. Let h(p) = 3*p**2 + 5*p + 12. Let r(b) = -2*h(b) + 7*o(b). Let j be r(-3). Which is bigger: -1 or j?
j
Suppose 2*s + 3*s - 5 = 0. Suppose 3*z = 4*t - z, s = 5*t - 4*z. Let v be (-1)/(-54)*3*4. Is t not equal to v?
True
Suppose 0 = 2*y + 2, -y - 1 = 5*f - f. Let g = 0 + -3. Let v be g/(1 - f/2). Is -4 >= v?
False
Let y = -8 - -12. Let j be y + (-1)/((-2)/(-4)). Is 2 less than j?
False
Let k be (5/2 + -2)/(5/(-5)). Which is smaller: k or -31?
-31
Let b(v) = -3*v + 2. Let z be 2/4*(3 - -1). Let m be b(z). Which is smaller: m or -6?
-6
Suppose m + 4*j = 24, -4*m + 3*j - 4 = -5. Is 24/7 greater than or equal to m?
False
Let a(i) = -i**3 - 5*i**2 - 6*i - 2. Let j be a(-3). Let k(z) = z**3 - 4*z**2 + 2*z + 4. Let s be k(3). Let r be 6/2*(0 - s). Which is smaller: r or j?
r
Suppose -5*d = -7 - 3. Which is greater: d or 4/5?
d
Let v(z) = -z - 3. Let p be v(-8). Suppose 0 = -y - 5*s - 4, 3*s + 10 = p*y + 2. Let o(c) = -c**2 - 3*c. Let f be o(-3). Is y at least as big as f?
True
Suppose 5*l = 5*j + 37 - 2, -22 = 3*j - 4*l. Let v be 17/2 - (-9)/j. Let t = v - 9. Is -3 at most as big as t?
True
Let b be (-2)/3 - 46/(-6). Which is greater: b or 8?
8
Let j = -3/782 - 99/782. Let k = 0 + 1. Which is bigger: k or j?
k
Suppose 0 = -2*i - 2*i - 5*c - 13, 4*i - 22 = 2*c. Is i at least 4/9?
True
Let f = -4 + 8. Suppose -z - f = -0. Let d be 1/21 - z/14. Which is smaller: d or 1?
d
Let q = 3 + 6. Let c = q - 8.5. Let b = c + -0.5. Which is smaller: b or -4?
-4
Let w = -231/172 - -4/43. Which is greater: 0 or w?
0
Let j = 0 + 0. Suppose 4*i = 4*u - 20, j = -3*i + 4*i. Suppose -5 = u*f + 5. Which is smaller: -4/3 or f?
f
Let b(y) = -y + 8. Suppose 5*m - 2*m = 0. Suppose 2*g - 16 = 2*h, -5*g - 3*h + 19 + 21 = m. Let j be b(g). Is -2/11 equal to j?
False
Let n = -8/11 - -35/33. Let x(k) = 4*k**2 - k - 4 + 0*k**2 + 0*k + k**3. Let r be x(-4). Which is greater: r or n?
n
Let i = -4 + 6. Suppose -3 + 17 = i*n. Suppose 5*m + n*l + 10 = 2*l, -3 = 3*m + 2*l. Is 0 less than m?
True
Suppose 0 = -10*k + 42 + 148. Is k greater than 18?
True
Let y(d) = d**2 + 4*d + 5. Let b be y(-4). Suppose b*j = 28 - 8. Which is smaller: j or 0?
0
Let b be 1/3*(7 + -7). Let i = -62/15 - -2527/615. Which is greater: b or i?
b
Let q(x) = x**2 + 5*x + 3. Let c be q(-5). Which is bigger: 8 or c?
8
Suppose 12 = -0*u - 2*u. Let b be 4/3*(1 - 4). Let 