2). Let j = -328 - -4266/13. Which is smaller: l or j?
l
Let m = -304 - -2132/7. Which is greater: 9 or m?
9
Let o = 2 - 8. Let r be o/21 + 0 + 0. Let n be -5 - 2*6/(-3). Which is bigger: r or n?
r
Suppose 6*p + 45 = 15*p. Suppose 0*u + p*z = -4*u + 52, 3*z - 4 = u. Which is bigger: 2 or u?
u
Let x = 1743 + -1753.99. Let m = x - -11. Let v = m - 0.31. Is -0.1 >= v?
True
Let n(u) = u**2 - u - 4. Let k be n(3). Let v be k/6 - 8/(-3). Suppose 5*g - 14 = -v*y, -5*y + 0*g + 14 = -g. Which is smaller: 8/3 or y?
8/3
Suppose -2*n - 2*x + 22 = 0, 0*x + 12 = 2*n - 3*x. Suppose 209 = 4*y + n. Suppose -8*o = -3*o + y. Which is bigger: o or -11?
o
Let d = -5 - -3. Let a = 1.6 - 8.6. Let t = 6 + a. Which is bigger: t or d?
t
Let b = -130 + 129. Let v be 4/10 + 36/(-20). Is b < v?
False
Let g be (-34)/10 + -1 - (-270)/(-450). Is g at most as big as 136?
True
Let s = -3.801 + -0.599. Which is greater: 0 or s?
0
Let i = -0.6738 + 0.7438. Let o = -0.7 - -7.7. Do i and o have different values?
True
Let x = -1378 - -1379. Is x >= 2/379?
True
Let a = 0.004 - -3.296. Let f = a + -3. Let c = f - -0.7. Which is bigger: c or 0?
c
Let q = -217 - -136. Is q <= 2?
True
Let i(t) = t**3 + 2*t**2 - t. Let v be i(1). Suppose v*u - 5 = -2*m + m, 4*u = 5*m - 25. Suppose u = -j - 5 - 3. Do j and -9 have different values?
True
Let k be 2/(-4)*(-10)/5. Are -2/563 and k unequal?
True
Let y = -4/487 + -195/35551. Let n = 62 + -62. Is y at most n?
True
Suppose 4*c - u = -87, -2*c - u = 2*u + 33. Is c bigger than -486/23?
True
Suppose 3*y = c - 18, 0*c - 124 = -3*c - 5*y. Let b = c - 31. Which is smaller: 8/9 or b?
8/9
Let m(h) = h**2 + 25*h + 17. Let f be m(0). Let i be (-1)/(-1*(-2)/(-34)). Is f smaller than i?
False
Suppose -h = k - 14, 15 = 2*h - 2*k + 3. Which is smaller: h or 49/5?
49/5
Let j = 33.6 - 36. Let q = j - -3.5. Let l = -1.2 + q. Which is smaller: -6 or l?
-6
Suppose 3*w + 3 - 5 = -5*d, 3*d + 3*w - 6 = 0. Suppose 4*r + 4*v + 4 = 0, -8*v + 6*v - 2 = -4*r. Is d less than or equal to r?
True
Suppose -n = 3*q - 3, 4*n - 36 - 2 = q. Suppose 65 = -22*x + n*x. Which is smaller: -6 or x?
-6
Let w(f) = f**3 + 8*f**2 - 13*f + 17. Let u be w(-10). Which is bigger: u or -51?
-51
Suppose 20 = 7*h - 2*h, 0 = -2*w - 2*h - 12. Let q(m) = m**3 - 54*m**2 - 63*m - 8. Let u be q(-1). Which is smaller: u or w?
w
Let t(u) = -2*u**2 + 35*u - 14. Let b be t(17). Which is smaller: b or 16/9?
16/9
Let w be (4/(-3) + 1)*-6. Suppose -2*l = w*p + 46, -l = -3*p + 2*p + 13. Is -17 greater than or equal to l?
True
Let v = 0.3 - -2.7. Let c = 9 - v. Is c bigger than 1?
True
Let u(s) = s**3 + 6*s**2 - 6*s + 7. Let z be u(-7). Let c = -1/19 + 101/114. Which is bigger: c or z?
c
Let d(y) = -y - 14. Let q be d(-9). Let o be ((-22)/(-5) - 4)*q. Let a be o/(1 + 33/(-27)). Is 11 at most a?
False
Let r = -3.731 - 0.769. Which is smaller: -2 or r?
r
Let v = -1167 + 1167. Which is greater: v or 2.65?
2.65
Let h(a) = -2*a - 59. Let u be h(-26). Let q be 5*2/(-4)*2. Is u >= q?
False
Suppose -4*m - 105 = -p, 13 = -4*m - p - 82. Let f = 14 - m. Is f smaller than 38?
False
Let z(f) = f + 5. Let j be z(-9). Let k be (5 - 3)/(j/1). Are -1/5 and k non-equal?
True
Let c be (-19 + 21)/(((-8)/180)/(-1)). Which is smaller: c or 53?
c
Let q be (-2)/(-26) + 2/650. Which is bigger: -13 or q?
q
Let q(p) = 3*p**3 - 34*p**2 + 9*p + 12. Let u be q(11). Let x(t) = -t**2 + t + 3. Let w be x(-3). Which is greater: u or w?
w
Let h(y) be the second derivative of -y**4/12 + y**3 - 2*y**2 + 33*y. Let g be h(6). Which is greater: -2 or g?
-2
Let r(f) = -f + 8. Let q be r(0). Suppose -4*c = -q*c + 12. Let a be 6/(2 + -5)*(-34)/20. Which is smaller: c or a?
c
Let b = -421/4873 + -2/443. Which is greater: b or 111?
111
Let f = 5 - -15. Let o = 21 - f. Which is bigger: o or -2/17?
o
Suppose -105 = -5*i + 100. Let z = -30 + i. Does 11 = z?
True
Let x = 17 + -17. Suppose 40 = 5*o - x*o. Let p = -12 + 19. Is o > p?
True
Let j = 34 + 13. Suppose -4*q + 5*r = 29, -2*r - j = 4*q - r. Let n be ((-9)/6)/((-3)/(-20)). Which is bigger: q or n?
n
Let m(p) be the first derivative of -p**3 + 17*p**2/2 - 2*p + 8. Let v be m(3). Is 18 at least as big as v?
False
Suppose -3*t + 7 = -8. Let n = 2.03 + 0.17. Let y = -2 + n. Which is smaller: y or t?
y
Let c = 0.03 + -0.03. Let d = 0.755 - 0.755. Are d and c nonequal?
False
Let k(h) = 10 + h**2 - 3*h + 3*h. Let w be k(-5). Let r be (-2)/w*(-3)/(-3). Are -1 and r nonequal?
True
Let n = 52311/20 - 30500533/11660. Let z = 5/53 + n. Which is smaller: 1 or z?
z
Let n = 0.45 + -2.15. Let z = n - -3.7. Is -0.2 less than z?
True
Let n(r) = r**2 - 5*r + 8. Let w be n(4). Suppose -w*j + 8 = 5*u, -4*u = j - 3*j + 4. Is 3/25 < u?
False
Suppose -5*z + 20 = 5*s, 3*s - 28 + 10 = -5*z. Which is bigger: 1/224 or s?
s
Let m be 26/13*30/4. Let x(r) = 15*r**2 - 2*r - 1. Let u be x(-1). Is m at least u?
False
Suppose -784 = 4*x - 2*q, -3*x + 4*q - 640 + 47 = 0. Is x equal to -196?
False
Let i(f) = -2*f - 40. Let n be i(-20). Suppose 6 = -2*o + 2*h, 3*o + 3 = -n*o + h. Let y = 52 - 674/13. Is o less than y?
True
Let l be (-135)/129 + 62/1333. Suppose 3*i + 6 = -3, -5*i - 31 = 4*j. Let n = j + 2. Do n and l have different values?
True
Let b = -4613/4 + 1189. Let z = -2719/76 + b. Is z >= 0?
False
Let o(b) = b**3 + 9*b**2 + 7*b + 3. Let z be o(-8). Let w = -10 + z. Let v = -3 + 3.4. Is v equal to w?
False
Let g(d) = d - 13. Let o be g(13). Suppose 4*r = -t - o*r - 9, -95 = 5*t - 5*r. Is -17 greater than or equal to t?
True
Suppose 9*y - 61 - 2 = 0. Let s(q) = -q**2 + 9*q - 13. Let v be s(y). Is v at most as big as 5/12?
False
Let j(g) = g + 10. Let v be j(8). Let d be -3*(12/3 + 5). Let y = d + 45. Are y and v unequal?
False
Suppose -17*i - 2 = -16*i. Let y be 0/i + 2 - 1. Which is bigger: y or 2/31?
y
Suppose -2*z - z = 0. Suppose -7*n + 10*n = z. Let t be n + 6/16*2. Which is smaller: 1 or t?
t
Let u = -406/13 - -101042/3237. Is u at most as big as 1?
True
Let s = -33.078 - -0.078. Let v = s + 32.87. Let c = 0.43 + v. Which is smaller: -2/5 or c?
-2/5
Let m(g) = 4*g**2 - 4*g + 10. Let y be m(5). Which is bigger: y or 92?
92
Let s = 2 + -1. Let b be (-6)/(s + (-14)/8). Let r = 1637 - 1630. Does b = r?
False
Suppose 2*f = -3*v + 2*v + 10, 2*v = -3*f + 16. Let x be 2/(-6) + (-176)/12. Let h be 12/x*15/(-6). Is h greater than f?
False
Let p = 0.46 + 0.27. Let n = 0.27 + p. Let q = -0.45 - -0.27. Are n and q unequal?
True
Let p(y) = 20*y**2 + y - 1. Let j(v) = -3*v - 16. Let f be j(-8). Let m be (-11)/33 + f/6. Let i be p(m). Is i != 20?
False
Let z = 433/4 - 217/2. Let v be (3/3)/((-29)/(-1)). Is z equal to v?
False
Let g be (-10)/8*(-37)/(-185)*12. Are -12 and g equal?
False
Suppose -8 = 16*n - 8*n. Is 2/621 < n?
False
Let x = -3424 - -150555/44. Let r = x + 6/11. Which is greater: r or -1?
-1
Let l = 25 + -16. Suppose 4*t - l*t = -55. Which is greater: 10 or t?
t
Suppose 0 = -5*v - x + 3, 3 + 3 = -3*v + 2*x. Suppose v = -3*l - 6*l - 9. Let d be (-4)/(-6) - (-114)/(-117). Are d and l non-equal?
True
Let g = 27 - 45. Let x be ((-4)/12)/((-3)/g). Which is bigger: -1 or x?
-1
Suppose 0*n - 6 = 5*z - n, -4*z - 8 = -4*n. Let q = 180/19 - 2284/209. Which is greater: z or q?
z
Let i = 10.84 - 10.64. Let c(o) = 5*o**2 - o - 1. Let z be c(-1). Which is smaller: i or z?
i
Suppose -576*v = -567*v + 18. Which is bigger: v or -22/25?
-22/25
Let o = -3.62 - -4.62. Which is smaller: o or -1.14?
-1.14
Let p = 32 + -18. Let q = p - 4. Let s be (1 + 37)*q/(-80). Is -4 bigger than s?
True
Let s = 116 + -112. Let k be (-265)/300 + s/5. Which is smaller: k or 0?
k
Let o(q) = 3*q**3 - 2*q**2 + 2*q - 1. Let t be o(1). Suppose -876 = 5*y + n, -t*n = 4*y + 720 - 24. Let s = y - -1411/8. Which is bigger: s or 1?
1
Let d(m) = -2*m**2 - 15*m + 19. Let k be d(-10). Is -31 <= k?
True
Suppose -4*v + v = -2*d - 78, -5*d + 5*v = 185. Let o be (-70)/22 - 6/d. Let w be o + -1 - (-2 + -3). Which is greater: w or -10?
w
Let o(v) be the first derivative of -v**3/3 + 4*v**2 + 6*v - 7. Let l be o(8). Suppose r - 2*k + l = -r, 4 = 4*k. Is -7/5 at most as big as r?
False
Suppose 15 = 5*b - 5*g, 0 = 3*b - 4*g - g - 9. Let q = -4 - -7. Let c be (-7)/(-3) - q/9. Which is bigger: c or b?
b
Let s(q) = -3*q**3 + 6*q**2 + 11*q + 5. Let j(b) = -2*b**3 + 6*b**2 + 10*b + 6. Let 