Let y(l) = -l**3 + 6*l**2 + 5*l - 14. Let j be y(6). Suppose -2*u = -2*c + 8, -2*u = c + u + j. Is c at least w?
False
Let g be 30/(-50) - (-36)/10. Suppose 0*b - 4 = g*t + b, -5*t + b + 4 = 0. Which is smaller: t or 2/31?
t
Let s = -132 - -240. Which is bigger: s or 109?
109
Suppose -12*g + 9*g - 42 = 0. Let y be 10/g + 1 + 76/(-21). Which is bigger: y or -4?
y
Suppose -2*l + 1389 = -5*l. Let v = l - -17595/38. Is v not equal to 0?
True
Let f(b) = 7*b - 115. Let i be f(16). Let a = 4 - 1. Let q = a - 3. Which is smaller: i or q?
i
Suppose -2*j - 6 = 0, -r + 3*j = r + 43. Which is smaller: r or -29?
-29
Let b = 5 + 4. Suppose 0 = -10*n + b*n. Is n > 6/5?
False
Let n = 115/3 - 38. Let h = 430 + -429.4. Is h less than n?
False
Let f = 214.1153 - 0.1153. Which is smaller: 0.2 or f?
0.2
Let n(z) = -13*z + 3. Let t be n(-4). Suppose -42 = -4*s - 14. Suppose s*w - 2*w + t = 0. Is w less than -11?
False
Let r(x) = 3*x + 2. Let i be r(0). Let b(y) = -2*y**2 - 4*y - 3. Let f be b(-2). Which is smaller: f or i?
f
Suppose 8*d - 39 + 15 = 0. Let s be d - 0 - (5 + 80/(-45)). Is s > -1.8?
True
Let a(y) = 2*y**3 - 11*y**2 + 18*y - 6. Let u be a(6). Is 547/4 less than or equal to u?
True
Suppose 3*p = 8*p - 5. Let i(v) = -6*v - 24 + 13 + 14 + v. Let y be i(p). Is -3 greater than y?
False
Let x(z) be the second derivative of z**4/12 - 13*z**3/6 - 11*z**2 - z - 8. Let q be (-192)/(-14) - 8/(-28). Let n be x(q). Is n at most -11?
False
Let a(w) = w - 4. Let n be a(3). Let i be 4/n - (-3)/1. Let j = 5 - i. Are j and 6 equal?
True
Let b = -50823602/21 + 2421321. Let n = b + -1149. Is n at most 1?
True
Suppose -7*l + 802 = 3021. Which is smaller: -316 or l?
l
Let o(y) = y**2 + 4*y - 4. Let x be o(-4). Let v be 2/x - 5/(-10). Let i = 0.27 - -0.03. Is i less than or equal to v?
False
Let m = 0.0779 + 6.0121. Let j = -37 + 31. Let x = j + m. Are x and 1 unequal?
True
Let l(y) = y**2 + 32*y + 104. Let r be l(-11). Is -883/7 >= r?
True
Let m be (8/(-248))/((-3)/1). Let w = m - -86/651. Let s = w + 2/35. Are s and 0 equal?
False
Suppose -16463 = 55*i - 3868. Is -686/3 at least as big as i?
True
Let y = 13.64 - -0.36. Let c = y - 13.95. Let h = 0.35 - c. Which is smaller: -4/3 or h?
-4/3
Suppose -4*b = -4*z + 24, -4*z + 5*b + 18 = -z. Let a be (4/(-20))/(z/11314). Let r = a - -377. Which is smaller: 1 or r?
r
Let q(n) = 2*n**3 + 100*n**2 + 100*n + 98. Let s be q(-49). Which is smaller: s or 5/374?
s
Let y = 11 - 6. Let k = y - -4. Let s = -8.9 + k. Which is smaller: 3 or s?
s
Let c be (-2 + 11)/(66/4) - 0. Let f = -11 + 13. Suppose -f*v + 3 - 1 = 0. Which is greater: c or v?
v
Let f be (-30)/105 + (-12728)/(-7). Let z be 1*-4 + 7236/f. Do -1 and z have different values?
True
Let f = -12849 - -18296977/1424. Which is smaller: -1 or f?
-1
Let z be 276/52 + (-1 - 0). Let w = 4 - z. Are w and -1 nonequal?
True
Suppose -u + 22 = -4*a + 3*a, -3*u = -a - 18. Which is smaller: a or -2/7?
a
Let i be 12/8*2/240. Let p be (-8 - 9/9) + 9. Is i > p?
True
Let w(s) = -10*s**2 + s - 3. Let r be w(3). Let k = r - -62. Which is smaller: -27 or k?
k
Suppose -1012 = 3*p - 5*m, -4*p = -4*m + 729 + 615. Let y = 7347/22 + p. Which is bigger: y or 0?
0
Let r = -38 - -49. Suppose -3*q = -r*q + 48. Which is smaller: 5 or q?
5
Let w(f) = f**2 + 7*f + 37. Let a be w(-11). Is 84 != a?
True
Suppose 77*h + 1122 + 1496 = 0. Let b(u) = -36*u**2 - 2*u - 1. Let k be b(-1). Are k and h equal?
False
Let t(r) = r**3 + r**2 - 3*r + 41. Let f be t(0). Are f and 42 equal?
False
Suppose -8*r + 20 = -6*r. Suppose 3*l = r - 31. Is -8 at most l?
True
Let t = 86 - 57. Let z = t + -30. Do z and -38 have the same value?
False
Suppose -k + s = -6*k + 103, 2*k - 44 = s. Let d = 10 - k. Let j be (6*-1)/(d + 4). Which is greater: -0.1 or j?
j
Let b(h) = h**3 - 11*h**2 + 26*h - 19. Let m be b(9). Suppose 3*y + 25 = j, -j + 121 = 3*j - 5*y. Let n = m - j. Is n less than 19?
False
Suppose -4*l - c = -6*c + 769, -20 = -4*c. Is 2 > l?
True
Let x be (-4 - -4)/(0 + 1). Suppose 2*c + x*c + 2*s = -8, 3*c + 5*s = -20. Suppose 4*q + 7 = -5*j - 0*j, -4*j = -3*q + 18. Which is smaller: q or c?
c
Let b = -16 - -63/4. Suppose 3*o - 2*o = -17. Let u = o + 121/7. Which is smaller: b or u?
b
Let o(q) = q + 12. Let j be o(-9). Let k be 1*((-6)/(-3) - j). Let h be 4*(-4)/(-9) - 2/(-9). Are k and h nonequal?
True
Let i = 1759.21 - 1782. Let t = i - 0.21. Is 0 smaller than t?
False
Let w be 16/(-32) - 145/(-2). Suppose -w = 5*d + 38. Let l be 8/(-36) - d/18. Is -8 less than l?
True
Let q be 1/(-4)*6*(-8)/30. Is q less than 51?
True
Let i be (-6)/4*(-4)/5. Suppose -3*l + 5*b - 7 = 0, -7 = -4*b + 1. Which is smaller: l or i?
l
Let q be -2 + 2/(18/1739). Let j = 84 + 107. Let s = j - q. Is 0 at most as big as s?
False
Let u(v) = -5*v + 5. Let j be u(-3). Let a = 14 - j. Let i be (-28)/108*a/21. Is -1 < i?
True
Let g(d) = -d**3 - 9*d**2 - 3*d - 27. Let k(z) = 13*z + 4. Let t be k(-1). Let b be g(t). Which is smaller: -1/59 or b?
-1/59
Suppose -2*d - m + 4 = 0, -4*d + 4*m - 41 + 25 = 0. Is d smaller than -3/82?
False
Let n = 1/1477 - -10331/11816. Which is smaller: 0 or n?
0
Let o(a) = a**2 - 2. Let g(m) = -3*m - 1. Let q be g(1). Let w be o(q). Let h = w + -15. Which is smaller: h or -1/6?
h
Let w be (-19891)/(-416) + 46/299. Let p = w + -48. Let a = 0 - 0. Which is bigger: p or a?
a
Let b = -2.0787 - -0.0087. Let x = b + 0.07. Let d = -11 + 11. Is x <= d?
True
Let z = 22.1 - 23. Let v = z - -0.7. Let s = 3 + -3. Which is smaller: s or v?
v
Suppose -9*v = -57 + 75. Which is bigger: v or -16/27?
-16/27
Suppose 14 = -4*m + 2, -4*m = -5*s - 438. Which is bigger: s or -92?
s
Let s = 2/1421 - 9963/11368. Which is smaller: s or -2?
-2
Let s(k) = k**2 + 12*k + 9. Let q = -33 - -21. Let y be s(q). Let c be -5 + y + (-434)/108. Is c not equal to 0?
True
Let g = -110 - -110.074. Let w = -0.026 - g. Suppose -5*p + 5*j + 15 = 0, -10 = -3*p + 5*j + 7. Which is smaller: p or w?
p
Let l = 176 - 173. Which is greater: 0.014 or l?
l
Suppose 11*f + 125 = -7. Suppose 3*u = 15, 2*r - 2*u = -3*u - 19. Is f at least as big as r?
True
Let v = -427807/5 - -85862. Let y = v - 9203/30. Which is greater: y or -7?
y
Let h = -35.7 + 35.5. Let n = 0 + 0.04. Which is smaller: n or h?
h
Let d(w) = -w. Let m be d(-5). Suppose 3*c = m + 4. Suppose 3*i = -3 - c. Is -1 >= i?
True
Let w(r) = -r**2 + r. Let t be w(-1). Let s(b) = b**3 + 17*b - 18. Let o be s(1). Which is bigger: o or t?
o
Let h = -2.6 - -2.75. Let p = -0.05 - h. Does 4/11 = p?
False
Suppose 10*f + 38 = 38. Is f less than or equal to -1/325?
False
Let l = -544 + 2722/5. Which is smaller: l or -1?
-1
Let s(n) = 11*n**2 - 9 - 51*n - 52*n + n**3 + 120*n. Let m be s(-9). Let a be 21/14*(-4)/(-15). Is m at least a?
False
Let a = 9.9 - -0.1. Let h = a - 9.5. Let n = -0.3 + h. Which is smaller: n or 0.4?
n
Let j = 0.17 - 0.56. Let d = 1.61 - j. Is -0.17 greater than or equal to d?
False
Let s be 1/2 - 14/(-4). Suppose r - l = -5, -2*r + l + 4 = -s*r. Is r greater than -2?
False
Let y = 187.27 + -187. Let r = -0.01 + -0.06. Let s = y + r. Which is greater: s or -5?
s
Let g = -109 + 89.6. Is -0.1 greater than g?
True
Suppose 2*u + 23 = 3*u - 3*l, -4*u + 40 = l. Let g = u - 13. Is -6/11 equal to g?
False
Suppose -4*g - 44 = -2*j, 2*j + 3*g - 97 = -3*j. Let f be ((-4)/(-20))/(4/j). Let k be (-8)/42*(-3)/2. Which is smaller: f or k?
k
Let m be (14256/(-120))/(-1 + (-16)/(-20)). Is 594 > m?
False
Let z be -10 + -2 + (-1 - 1). Let o be (z/28)/(2/(-12)) + 48. Is 50 >= o?
False
Let y = 358/15 + -24. Is y smaller than 0?
True
Let i(r) = r**3 - 12*r**2 - r + 15. Let c be i(12). Suppose 0*n - 80 = 2*n - 2*m, c*n + m + 108 = 0. Which is smaller: -38 or n?
-38
Let z = -1 - 2. Let o = z - 7. Let c(w) = w + 11. Let n be c(o). Which is smaller: 1/7 or n?
1/7
Let k(t) = t**2 - 3*t - 2. Let j be k(4). Suppose 3*f = -5*i + 30, 6*f - 4*i - 8 = j*f. Let o be f/2*(-32)/(-60). Is 1 at most as big as o?
True
Let r be 4/(-885)*(-6)/(-1349476). Let h = -261150590786/235572964785 + r. Let i = 2/789 - h. Do 2 and i have different values?
True
Let b(f) = -f**3 - 82*f**2 - 185*f - 222. Let g be b(-80). Does g = 1779?
False
Let k(c) = -c**2 - 6*c - 67. Let i be k(-10). Is i greater than -109?
True
Let y = -1357 + 1357. Is 1/52 < y?
False
Let m = -27 - -