 -472. Let m(l) = l**3 - 6*l**2 - 8*l + 9. Let x be m(7). Let y(h) = 11*h. Let a be y(x). Which is smaller: a or s?
s
Let d = -0.08 + 0.43. Let o = d - -0.02. Let u = 0.4 - o. Is 1 at most as big as u?
False
Suppose 175*o = 165*o + 10. Which is smaller: o or -43/7?
-43/7
Suppose -m - 30 = 89. Is -119 greater than or equal to m?
True
Let j = -13 - -11. Let p be (-6)/(-16)*j*-28. Let m be (-3)/(p/(-22))*7. Is m > 22?
False
Let v = 3516 - 1738. Let u = v + -23128/13. Is u < -2?
False
Let z(i) = -i - 41. Let u be z(-46). Which is bigger: 6 or u?
6
Suppose -10*o = -11*o - 5*o. Let t(h) = h - 4. Let l be t(5). Which is smaller: l or o?
o
Let v be (47 + 0 + -2)/(3/(-9)). Is -267/2 greater than or equal to v?
True
Let r(q) = -8*q**2 + 3*q - 6. Let p(t) = 15*t**2 - 5*t + 11. Let o(m) = 4*p(m) + 7*r(m). Let l be o(-2). Let w = l + -15. Which is smaller: w or -2/27?
-2/27
Let i(l) = -l**3 + 5*l**2 + 5*l - 9. Let b be i(6). Let w be b/5*(1 + 0). Let m be 30/8 + w/1. Which is smaller: m or 0.1?
0.1
Let g = 983 + -36369/37. Let q(b) = -b**3 - 5*b**2 + 26*b + 17. Let c be q(-8). Does g = c?
False
Suppose 5*m + 12 = h, -m + 0*m - 18 = 5*h. Let w be (-1 - (-3)/m) + 6. Let u be w/((14/4)/(-7)). Which is smaller: u or 0.1?
u
Suppose -5*k - 284210 = i, -142646 = 3*k + 2*i + 27887. Let l = 398547/7 + k. Let a = l - 94. Is a at most as big as 1?
True
Let m(a) be the first derivative of -a**2/2 + 6*a - 1. Let w be m(5). Let d = 2130 + -2131. Which is bigger: w or d?
w
Let y be -3 + (3 + -1)*3. Suppose 3*i = y + 6. Suppose i = -0*q - 3*q. Which is greater: -2 or q?
q
Let f = 121 - 119. Is f greater than or equal to 15?
False
Let a be 45 - ((-4)/(-2) - 0). Let h = 49 - a. Suppose g + 3 = 2*g. Which is smaller: h or g?
g
Let r(x) = 8*x - 109. Let g be r(-5). Which is bigger: -147 or g?
-147
Let r = 49 - 46. Let p be (0/4)/r - -1. Which is bigger: -2 or p?
p
Let u = 9/251 + -2717/5773. Which is smaller: 1 or u?
u
Suppose 22 = 6*b - 8. Suppose 5*m - 2*d - 76 = 0, -5*d + 33 = -b*m + 103. Which is smaller: m or 15?
15
Let h = -6707/464 + 566/29. Which is greater: 5 or h?
h
Suppose 4*g - 7*c + 2*c = 16, -2*g + 2*c + 8 = 0. Let p be -1 - (-3)/(6/g). Let j be -11*(p - (-1 - -1)). Is j at least as big as -12?
True
Let q = -68 - -70. Let g be (-13)/(-11) + q/(-11). Which is smaller: g or 0?
0
Let f = -65 + 79. Let d be f/24 + (-3 - 22/(-8)). Which is greater: 0.08 or d?
d
Suppose 7*y + 12 = 4*y. Let r(c) = -c**3 - 2*c**2 + 5*c - 3. Let j be r(-4). Suppose -5*a = 2*u + 3*u - 5, -2*u = -5*a - j. Which is smaller: y or a?
y
Let m = -31 - -36. Let u(o) = -o**3 + 6*o**2 - 6*o + 2. Let x be u(m). Let v(z) = 4*z**2 + 6*z + 3. Let h be v(x). Is h greater than 21?
False
Let d = 0.063 + -0.014. Let l = d - -12.351. Let t = -12 + l. Is t at least as big as 0?
True
Let a(b) = b**2 - 13*b - 29. Let s be a(15). Are -9 and s equal?
False
Let l = 17 + -17. Let b be 566/5*2/740. Let h = 9/25 - b. Which is greater: l or h?
h
Let c(r) = -8*r + 11. Let m be c(-7). Let u be (0 + 2 + -1)*m. Let a = u + -870/13. Is a bigger than -1?
True
Let d = -25.168 + 0.168. Let z = d + 24. Let h = 0 + -1. Is h equal to z?
True
Let z be (-1 - -8)/((-1)/4). Let x be (-1)/2*(-16)/z. Let a = -110 + 134. Is x >= a?
False
Let t = 801/85 - 48/5. Let c be ((-2)/510)/((-20)/(-1750)). Let r = c - t. Are r and -1/2 equal?
False
Let r = -24.11 + 20.11. Let z = 9 - 3. Is z greater than or equal to r?
True
Let y(z) = z**2 + 3*z - 4. Let m be y(-3). Let i be -2*((-6)/(-3))/m. Let r be (-2)/5 + 66/55. Which is bigger: r or i?
i
Let f be (8*(-7)/42)/((-2)/(-33)). Suppose -3*m = -4*m - 18. Let s = f - m. Which is smaller: -2 or s?
s
Let i = 41 + -41. Which is bigger: 3 or i?
3
Let g(v) = -5*v - 48. Let f be g(-11). Let a(p) = -p**3 + 5*p**2 - 3*p + 1. Let q be a(4). Are f and q equal?
False
Suppose 0 = 2*h + 5*c - 4, h + 2 = 5*c - 11. Let o be ((-3)/(-5))/(h/(-45)). Let w = o + -6. Which is bigger: w or 0?
w
Let q be (-100)/20 - (756/(-50))/3. Let u be 2 + (-4)/(-2)*1. Let p = -4 + u. Which is greater: p or q?
q
Suppose 546 = -8*f + 5*f. Let i be 4/90*13/f. Let b = i + -607/7245. Is 1 != b?
True
Let a = -305/693 - -40/77. Is a less than 0?
False
Let h = 167 + -333/2. Which is bigger: h or 2/161?
h
Let b(z) = -z**2 + 13*z - 13. Let i be b(12). Let w be i/2 - (-387)/846. Let u be (12/(-36))/((-2)/(-6)). Is w at most u?
False
Let m be 0 + (9 - 0) + (-280)/40. Let c be -3*2/(-4)*-2. Is c less than m?
True
Let b = -542 - -591. Is b bigger than 49?
False
Let y be (-1*2)/(1 + 0). Suppose 2*d = 6*d - 2*d. Which is smaller: y or d?
y
Let d be -5 - ((-124)/24 + 0). Let b = d + -7/18. Let k(c) = 3*c - 3. Let u be k(3). Which is bigger: b or u?
u
Let r(h) = h**2 - 5*h - 25. Suppose -8*v - 8 = -9*v. Let l be r(v). Is -7/6 less than l?
True
Let i be (-702)/(-585)*10/6. Suppose -5 - 7 = -4*k. Suppose 2*y - 2*l = l - 1, k*y - 2*l - 1 = 0. Which is smaller: y or i?
y
Let k = 76 - 76. Is 57 less than or equal to k?
False
Let t(d) = -19 - d**2 + 19 + d**3 + 2*d**2. Let x be t(-1). Is x at most -3/10?
False
Suppose -17*j - 4*o = -12*j - 6024, 0 = -2*j - 2*o + 2408. Is 1207 equal to j?
False
Let k = -40037/9535 + -2/1907. Let m = 137/35 + k. Let l = 802 - 802.2. Are m and l nonequal?
True
Let m = 3267354302/861 + -3794837. Let s = m + -2/123. Let b = -2 - -1. Which is smaller: b or s?
b
Suppose 5*j + 3*m - 146 = 0, -2*m + 0*m - 6 = 0. Which is smaller: 0 or j?
0
Suppose 3*r = 6*r + 5*d - 101, -5*d = 5*r - 155. Let n = 25 - r. Is n greater than or equal to -2?
True
Let q be (-3)/2 - 4/(-8). Let m be 22/(-4)*(5 - 3). Let w = m - -17. Which is greater: q or w?
w
Let a = 145.089 + -0.089. Let k = a - 145.2. Which is bigger: k or 2/11?
2/11
Let f = 394306/506043 - -4/8577. Which is greater: 1 or f?
1
Let c(s) be the first derivative of s**3 + 5*s**2/2 + 2*s - 2. Let n be c(4). Suppose -n = -4*y - y. Which is smaller: 15 or y?
y
Let d be (-7803)/(-273) + (-4)/26. Let j = d - 4989/175. Let h be 6/4 - 8/16. Is j < h?
True
Suppose 19 = 4*t + o, 6*o = 2*o - 4. Is t at most 86/23?
False
Suppose -3*m = -4*i - 34 - 38, -72 = 4*i - 5*m. Let z(h) = -h**2 - 11*h - 12. Let a be z(-11). Let k = i - a. Does k = -6?
True
Suppose -1 = -m + 3*m + 5*o, 4*o + 10 = 3*m. Let a = m + -12. Let k be (6/a)/((-26)/(-10)). Is k bigger than -1?
True
Let m = 4 + -2. Let q(i) = -1 + i + i**2 + 3*i**2 - 3*i**m - i**3. Let v be q(0). Is 1/4 greater than v?
True
Let b be -7 + 6 + (2 - -1). Which is greater: b or 12/17?
b
Let k = 528 - 526. Does 13 = k?
False
Let i = 70.9 - 71. Let k = 0.27 + -0.27. Which is smaller: k or i?
i
Let o = 2 - 2. Let p = 132 + -122.1. Let c = p - 10. Is c less than or equal to o?
True
Let r(o) = 7*o**2 + 12*o + 14. Let t(w) = -6*w**2 - 12*w - 13. Let v(g) = 5*r(g) + 6*t(g). Let f be v(-5). Let n be (18/f)/((-4)/(-6)). Is -1/3 smaller than n?
True
Let n be 3/(-10)*4*-160. Which is bigger: n or 193?
193
Let h = -2 - -2. Let u = -8117387107/2002 + 4054639. Let g = u + 1/182. Which is bigger: g or h?
g
Let c = -36 + 66. Let r be (-7)/2 - c/20. Let o be (4/5)/(4/(-20)). Is o at least as big as r?
True
Let s(f) = 9*f + 7*f - 3*f + 5 + f**2. Let q be s(-13). Let g be q + -5 - -8*2. Which is greater: g or 17?
17
Suppose u + 16 = -3*u. Let w be 2/u*(-1)/(-3). Let m = -12 - -13. Is m at most w?
False
Suppose 0 = -4*c - 15 + 31. Suppose -14 = -c*u - 18. Which is smaller: -2 or u?
-2
Let h = -289 - -288. Let v = -12 + 5. Is h greater than v?
True
Suppose -28 - 11 = -2*g - 5*a, -4*a = -5*g + 147. Suppose 0 = -5*s + 28 + g. Suppose 0 = 4*o + s - 3. Which is smaller: -5 or o?
-5
Suppose 2*j - 8 = 2*y, -4*y = j + j - 8. Suppose -2*b - 3*w + 2 = 0, 3*b = -y*w + 2*w + 3. Which is bigger: -4/11 or b?
b
Let f = -1.285 + 1.11. Let c = f - -0.165. Which is greater: c or -3?
c
Let z = -1.252 + -0.148. Is 3/20 equal to z?
False
Let y be (1/2)/(-2 + (-42)/(-24)). Suppose 0 = -3*c - 2*t - 1390, 4*t + 25 = 5. Let o be y/3*(-30)/c. Is o > 0?
False
Let i = 677 - 680. Let m = 11 + -20. Which is greater: i or m?
i
Let o be 5/(4/4*-4). Let t = o - -23/12. Let s(i) = 6*i - 5. Let g be s(2). Is t at most as big as g?
True
Let x = 15 - 21. Let a be x - -2 - 90/(-22). Is 1 at most as big as a?
False
Let p = -9 - -4. Let i be -18*((-16)/(-10))/(4026/610). Which is bigger: p or i?
i
Suppose 0