1). Let y(z) = z**3 + z**2 + 2*z**2 - z**2 - z. Let w be y(u). Which is greater: 1 or w?
w
Let a = 94 + -92. Suppose 0 = -i - b, -4*i + 0 = 5*b - 3. Is i equal to a?
False
Let g = -8/77 + -2/11. Is g less than 0?
True
Let m be 2/1 - 3/(-3). Suppose 2*s + m*s = -5. Which is bigger: 1/4 or s?
1/4
Let z be (-2)/8 + (-30)/8. Let s = 3 + z. Is 4/11 at least s?
True
Let p = 3 + -3. Suppose 6 = 2*k + 2. Let a be (1/7)/(k/(-6)). Is a equal to p?
False
Let z = 0.76 + 0.14. Let d = 0.9 - z. Which is greater: d or 5?
5
Suppose 3*w - 8*w = -60. Suppose -2*t + 4*i = w, i - 5*i + 12 = -4*t. Which is smaller: -1/9 or t?
-1/9
Let f = 5/21 - 4/7. Which is smaller: 2 or f?
f
Suppose f + 3 - 2 = -2*t, f = 4*t + 5. Which is smaller: -6 or t?
-6
Suppose 4*z + 4*i = 4, -z + 1 = 4*i + 3. Let j be (-6)/3*-1 - z. Which is bigger: 1/5 or j?
1/5
Let w be 39/(-6) + 1/(-2). Let b = -8 - w. Is 2/5 < b?
False
Let i = -11 + 13. Is i smaller than 12?
True
Let q(s) = 4*s**2 - 8*s - 14. Let k be q(7). Let y be (-16)/54*k/(-24). Is 1 at least as big as y?
False
Suppose -6*g + g - 5 = 0, 2*i + g = -337. Let v be 2348/(-6)*3/7. Let d = i - v. Is 1 greater than d?
True
Let v(r) be the second derivative of r**3/3 - 17*r**2/2 - 6*r. Let h be v(8). Which is bigger: h or -2?
h
Let d = -0.49 + -0.01. Let y = 0.4 + d. Which is smaller: y or 2?
y
Suppose y = -4*y - 25. Suppose 11*x - 6*x + 20 = 0. Is y at least x?
False
Suppose 3*y + 3*a = 4*y + 6, -2*y + 28 = 4*a. Suppose -5*c + 13 = -12. Is y != c?
True
Let l(u) = -u**3 - 6*u**2 - 6*u - 5. Let m be l(-5). Suppose m*s + 2*s = 0. Which is smaller: s or 0.3?
s
Let t = -169 + 2365/14. Is t at most 0?
True
Let v = -0.54 - -0.5. Let q = 1.96 - v. Let t = 2 - q. Does t = -1?
False
Let r = 93 + -1021/11. Let q = -0.11 + -0.02. Let h = q - -0.33. Is h <= r?
False
Let x = -78 - -77.7. Which is smaller: 0.5 or x?
x
Let g = 2/27 - 359/108. Let w = g + 11/4. Let m be (1/2)/(2/(-4)). Which is smaller: m or w?
m
Let l(n) = -n**2 - 2*n - 5. Let u be l(3). Which is smaller: u or -19?
u
Let c = 1883/9 - 209. Let u(d) = d**2 + 7*d + 7. Let k be u(-6). Is c > k?
False
Let k(i) = -2*i + 10. Let q be k(-7). Let j be -2 + 2 - (-20)/q. Which is greater: j or 0?
j
Let w(l) = -l**3 + 8*l**2 - 10*l + 9. Let q be w(7). Let d = q - -7. Let u be 1*(1 - (9 - 2)). Which is bigger: d or u?
d
Let f(x) = 5*x**2 - 3*x - 3. Let l(s) = -s**2 - 1. Let d(q) = f(q) + 4*l(q). Let c be d(5). Let n be (4/10)/(2/10). Which is smaller: c or n?
n
Let w = 4 + -4. Let d be 6/(-4) + (3 - 1). Does d = w?
False
Let o be (-21)/9 + (-3)/(-9). Let l be (0/(-3 - -4))/o. Let m = 2 + -3. Which is smaller: l or m?
m
Let r = 7 - 26. Let u = r - -4. Is -15 < u?
False
Let s(w) = -2*w - 2. Let o be s(-3). Suppose 0 = -3*h + 37 + 26. Suppose -o*b + f - h = 0, 3*b - b = 3*f - 23. Is b at least -4?
True
Let b(o) = o**3 + 6*o - 6. Let p(k) = -2*k**3 - 13*k + 13. Let a(g) = -13*b(g) - 6*p(g). Let v be a(-1). Which is bigger: 2/9 or v?
v
Let p = -15 - -18. Suppose 0 = -b - 0*b + 2. Suppose 0 = a - b. Which is greater: p or a?
p
Let i = 19 - 12. Suppose -9*a + 4*a + 30 = 0. Is a at least i?
False
Let w = -371/1629 - -1/181. Is 0 at most as big as w?
False
Let g = 74 + -65. Which is smaller: g or 19/2?
g
Let b be 3/(-15) - 34/(-70). Let c = 0.894 + 0.106. Which is smaller: b or c?
b
Let z = 23 + -11. Suppose z = -4*i - 24. Let h be (-3*6/i)/(-2). Which is smaller: 2/29 or h?
h
Let c = -7 - 4. Is -1 at most as big as c?
False
Let p = -4319/18 - -240. Let k(w) = -15*w - 121. Let d be k(-8). Which is smaller: d or p?
d
Suppose 5 = -2*h - 3. Let u be ((-9)/(-30))/(h/(-10)). Let l = -42 - -42. Which is smaller: u or l?
l
Let z = -2 + 1. Let u = -902 - -901.96. Which is smaller: u or z?
z
Let c be ((-2)/10)/((-60)/200). Which is bigger: 2.5 or c?
2.5
Let n(l) = -l**3 - 6*l**2 + 8*l + 8. Let f be n(-7). Suppose -4*v = -u + 7, 4*v + 2 + 7 = -u. Let t be v/(-4) - (-1)/(-2). Which is greater: t or f?
f
Suppose 0 = -0*m - 6*m - 12. Which is smaller: m or -9/8?
m
Let v be 6 + -2 + (-1 - -2). Suppose -2*g + 3*a = -17, g + 0*a - 26 = v*a. Let q = 3 + g. Which is greater: q or 1?
q
Let o be 2/7 - 148/28. Let c = o + 6. Which is bigger: c or -1/5?
c
Let r be 2*(-3 + 2) - -2. Suppose 0 = 5*z - 3*q + 5*q - 2, -3*z - 5*q - 14 = r. Suppose 0 = -g + z*g + 5*v - 21, -4*g + v = 0. Are g and 3/4 equal?
False
Let o = 0 + 4. Let n = 62 + -56. Is o greater than n?
False
Let k be (6/(-4))/((-63)/(-12)). Suppose -4*q + 3 = -3*l, 0*l + 4*q - 18 = -2*l. Suppose 2*b = l*b. Is k less than or equal to b?
True
Let m be (-5)/10*(1 - 47). Is 23 less than m?
False
Let f = 2 - 1. Is 2/9 < f?
True
Let m = -0.024 + 0.124. Is m greater than -4/3?
True
Suppose 80*o = 77*o + 6. Let w(i) = i - 2. Let m be w(-5). Which is smaller: m or o?
m
Let n = -2.613 + 2.6. Which is smaller: n or 2?
n
Suppose 5*g = 3*d - 4 - 5, 3*d - 6 = 4*g. Let f be (-1 - d) + -4 + 2. Is f less than or equal to 1/8?
True
Suppose 4*l - 2 + 6 = 0. Let j be 7 - 11 - (-3 + 7/(-5)). Which is smaller: j or l?
l
Let b(l) = l - 1. Let j be b(1). Suppose j*i = 2*i - 4. Let u be 8/5 - (-10)/25. Is i smaller than u?
False
Let i = 4 - 0. Let k = 3 - i. Is k at most as big as 2?
True
Suppose -3*k = -6, -4*o = -5*k + 8 + 2. Which is smaller: o or 2/11?
o
Let c = -7 + 12. Let a = 6 - c. Which is smaller: -0.05 or a?
-0.05
Suppose 2 + 3 = 5*h. Let c(x) = x - 2. Let z be c(3). Let j = z - h. Which is greater: 3/8 or j?
3/8
Let c be (-4)/10 + 88/20. Let j be (6/c)/(-2 + 3). Is j greater than 1?
True
Let s be ((-3)/6*0)/(-2). Suppose s = 3*j + j - 16. Let u = j + -3. Is u less than or equal to 1?
True
Suppose 3*g + 4*z = -14, 5*g + 0*g - 20 = 2*z. Suppose -g*t = -0*t + 6. Which is smaller: -2 or t?
t
Let x(c) = c**2 + 6*c + 5. Let g(a) = a**3 - 9*a**2 - 9*a + 10. Let m be g(10). Suppose m = -3*w + q, -3*w - q - 14 = q. Let v be x(w). Is 4 less than v?
True
Let m = 14 - -2. Let u be 10/8 - 4/m. Is u less than 3?
True
Let l be 1 - (11 + 0 + -2). Let r be (2/l)/((-3)/(-4)). Let o = -9 - -6. Which is greater: o or r?
r
Let w be (-12)/15 - 1/5. Which is greater: w or -3/8?
-3/8
Suppose -j - 12 = l, -2*j - 4*l + 7 = -3*j. Which is smaller: j or -12?
-12
Suppose g + 2*g = 0. Suppose g = -5*o + o + 4. Which is bigger: -1 or o?
o
Let x = 109 + -57. Is 51 at least x?
False
Let n(t) = -t**3 + t**2 - 2. Let k be n(-2). Let c = -5 + k. Suppose -5*q + 5*m + c = 0, 0*m + m - 1 = 3*q. Is -1/7 at most q?
False
Let f be ((-6)/(-2))/3 - -14. Suppose f = 5*w, -5*h + 3*w = 11 - 2. Is -1/11 at least as big as h?
False
Let y be (1/(-3))/(2 + -3). Let p = -0.09 + 4.09. Is p >= y?
True
Let x = 229/90 + -2/45. Suppose -2 = 3*w - 8. Let i be (w/(-3))/(8/(-36)). Which is smaller: i or x?
x
Let f = -2 + 1. Let p = 1.2 + -1. Which is smaller: f or p?
f
Let q be 3*(3/108 - 0). Let o = 0 - 1. Which is bigger: o or q?
q
Let s(z) = -z - 5. Let m be s(-6). Let c = -16 + -6. Let f be 0 - -2 - c/(-12). Which is smaller: f or m?
f
Let t = -145/6 - -24. Is t less than 7?
True
Let a = 91653733108/191 - 479863590. Let q = a + 1113. Let r = q + -389/1337. Which is smaller: -4 or r?
-4
Let v be 2/((-1)/(-1)) + -2. Suppose -4*a = 4*a. Is a > v?
False
Let v = 0.95 + -1. Let i = 0.25 - v. Let b = 0.3 - i. Is 2 at least as big as b?
True
Let j be 3*4*(-2)/(-12). Let y(q) = q**3 + 5*q**2 + 2*q - 3. Let z be y(-4). Suppose z - 9 = -2*m. Does j = m?
True
Let w(t) = -t**2 + 7*t - 6. Let a be w(6). Suppose -d = -a*d. Suppose -3 + d = p. Is p != -3?
False
Let i be 1 + (551/2)/(-1). Let l = 247 + i. Let v = l + 27. Which is smaller: v or -0.1?
v
Suppose g = 3*g - 6. Suppose 2*b + b = -g. Let z be 11/(-9) - (6 - 7). Is b bigger than z?
False
Let i be (-37)/(-333) - ((-2)/9 + 0). Which is smaller: -0.7 or i?
-0.7
Let j = -10 + 15. Is -1/3 greater than j?
False
Let d = 0.09 - 0.24. Let x = -0.05 - d. Let o = -0.2 - 0.3. Which is greater: o or x?
x
Let u(h) = h**2 - 5*h - 6. Let z be u(7). Which is bigger: z or 7?
z
Let r = -4 - -6. Let c be (-3)/((-4)/r + 0). Is 2 < c?
False
Let v be (-2 + 3)/1*-1. Which is smaller: v or -1/19?
v
Let r = 28 - 9. Let i = r - 19. Is i > 0.2?
False
Suppose -3*a + 7*a - 4 = 0. Is -2/5 < a?
True
Suppose -12*h + 1 = -13*h. Which is greater: 0 or h?
0
Let n be (0*(-1)/(-2))/1. Let h = 0 - n. Let w = -2 + 1. Which is bigg