**2 + 12*l + 6. Let u be a(1). Which is bigger: u or -1141?
-1141
Let l be 6*22764/(-12420) + 11. Is l greater than or equal to 1?
False
Let y be 51/2 + -26 + (-5)/2. Which is smaller: -0.2626 or y?
y
Let l = -215938 + 215836.401. Let n = l + 0.199. Let x = n + 102. Is x less than 1/7?
False
Suppose 2*y = y + 5, -2*y + 20 = -5*s. Suppose -4*k = 4*q - 4, -q = 3*q + 2*k - 2. Suppose 3*x = -2*z - 28, -28 = 2*z - q*x + 5*x. Which is bigger: z or s?
s
Let v(x) = x**3 + 17*x**2 + 38*x + 18. Let t(z) = -7*z**2 - 8*z - 3. Let n be t(-2). Let p be v(n). Is -102 at least as big as p?
True
Let n = -3196 + 22800/7. Suppose -1714 = 2*u - s - 1822, 2*u - 3*s - 76 = 0. Which is smaller: n or u?
n
Let g be (6/(-75))/(385/50 + -8). Which is greater: g or 0.004?
g
Let s be (2 - -838)/6 - 6. Suppose 4*h + 2 = -s. Let c = 34 - 69. Is c smaller than h?
True
Let k(n) = -n**2 + 37*n - 181. Let o be k(31). Suppose -134 = 3*m + o*s, -4*m - 4*s + 44 = 236. Is m greater than -52?
False
Let d(t) = -232*t**3 + t**2 - 2*t. Let r be d(1). Let w = 423 + r. Is 191 at most as big as w?
False
Let n = 198 - 194. Is n <= -345?
False
Suppose -11*p + 47 + 8 = 0. Suppose -8*m = -p*m - 7*m. Is m at least as big as 9/46?
False
Suppose -h + 15 = 2*k, -5*h = 5*k - 29 - 11. Suppose -60 = -13*x + k*x. Suppose -x*j - 10 = -15*j. Is j greater than or equal to -1?
True
Suppose 104*c - 117*c + 1053 = 0. Let a be (6/(-8))/(15/(-1610)). Let s = a - c. Is 0 at most s?
False
Let c = 870035/17004 + 1/5668. Let k = c - 143/3. Which is smaller: 0.1 or k?
0.1
Let h = 773.2 + -779.2. Is -930 < h?
True
Let y(z) = z**2 - 7*z + 2. Let s be y(7). Let u be 0 + (-15155)/(-3370) + -3. Let f = u - -1/337. Which is bigger: f or s?
s
Let n = -135 + 154. Let a be (-2)/n + 2610/21185. Which is greater: a or -1?
a
Let p(a) = 8*a - 485. Let i be p(60). Let d be (-221644)/37770 - (-2)/10. Let j = 2/1259 + d. Which is bigger: j or i?
i
Let m = 27406 - 26611. Does 798 = m?
False
Suppose 156*y + 70 = 159*y - 5*p, 2*y + 4*p - 54 = 0. Is y > 167?
False
Let d = -142 - -84. Let r = -57 - d. Is 5/51 at most as big as r?
True
Let w(j) = 2*j**2 - 37*j + 107. Let y = -755 + 770. Let o be w(y). Which is smaller: 29/19 or o?
29/19
Let o = 7042267/8 - 879090. Let k = o - 1206. Is -13 less than or equal to k?
True
Suppose 0 = 3*f - 2*b - 3, 0 = -4*f + 5*b - 210 + 221. Is 2/1777 at most as big as f?
False
Suppose -k + 2*h = 0, -5*k + 3 = -4*h + 9. Let r be (2/20)/(k/(-4)). Suppose -25*q - 54*q = 93*q. Are q and r non-equal?
True
Suppose 0 = 3*m + g - 10 - 4, 5*m - 3*g = 28. Suppose 201 - 61 = -5*o. Let k be -1 + (-204)/o*1. Is m bigger than k?
False
Let l be (-4)/(-22) + ((-300)/33)/(-5). Suppose 0 = -l*z + 19 + 71. Suppose 5*o + z = g - 6*g, 5*o = -4*g - 32. Which is bigger: -12 or g?
-12
Suppose 4*w = -4*w + 40. Suppose -906 = -w*d + d + 2*k, 4*d - 901 = k. Let n be (-1)/5 - d/(-70). Which is smaller: 7 or n?
n
Suppose -3*x = -2*u - 28, x + 0*u - 8 = 2*u. Let w be -183 + 118 + -1*3. Let n be w/(-22)*5/x - 1. Is 2 not equal to n?
True
Let w(n) = n**3 - 18*n**2 + 78*n - 6. Let h be w(11). Let l be (-4)/(-6)*(5 - 2). Suppose -2 = c - h*q + 2, -5*c + l*q = -3. Is -2/151 at least as big as c?
False
Let w = -0.0813 - 0.2187. Let j be (30/(-4))/(-5) - 3. Which is greater: w or j?
w
Let i = 1991/189 - 80/27. Suppose 0 = -2*m + 8 + 6. Which is smaller: m or i?
m
Let l be ((-10)/(-3))/(14/(-21)). Let c = l - -36. Which is greater: 30 or c?
c
Let w be 28/(-42)*-1*-411. Which is greater: -821/3 or w?
-821/3
Let v = 152 + -155. Let f(g) be the second derivative of -g**4/12 - g**3 + g**2 - 4*g. Let d be f(-7). Is v less than d?
False
Let u be ((-71418)/(-42894) - 2) + -3*(-5)/45. Is u smaller than -1?
False
Let w = 433298/5 + -881327747/10170. Let c = -2/113 - w. Let g = -17/11 - -57/44. Which is smaller: c or g?
g
Let o = -200 - -1802/9. Let g be -220*(-9)/(-126) + (-2)/7. Let v be (2/24)/(g/(-48)). Which is smaller: v or o?
o
Let u be (-18200)/(-156)*(-48)/(-40). Suppose -6*l - 20 = -l, 0 = -s - 3*l + 128. Is s != u?
False
Suppose 3*f = 5*n + 1269, -5*f + 3*n - 423 = -6*f. Are 0 and f non-equal?
True
Let x be (-7 - 13359/(-1908))*(-4)/60. Which is bigger: 1 or x?
1
Let f = 1139 - 92261/81. Let y(c) = 38*c - 1786. Let m be y(47). Is f smaller than m?
True
Suppose 7*s = -161 + 1001. Let t = -330 - -447. Which is greater: s or t?
s
Let k be 30/822*3/750*4. Suppose 0 = -i + 39*s - 34*s - 16, -2*i + 5*s - 17 = 0. Is i not equal to k?
True
Let p = -37 - -121. Suppose -b + p = x, 4*x + 131 = 2*b - 43. Let u = 137 - b. Which is smaller: 51 or u?
51
Suppose -11*m + 8*m - 3*d = 9, 0 = 3*m - 3*d - 27. Is 95/46 at least m?
False
Let l = -34 + 34. Suppose -5*r - 146 = 5*m - 106, -34 = 3*m + 5*r. Which is bigger: l or m?
l
Let b be 3/84 + 2/8. Let z = -1392 - -9721/7. Is z < b?
True
Suppose 330 = -186*p + 171*p. Let r(n) = -n**3 - 9*n**2 - 11*n - 7. Let x be r(-7). Which is bigger: p or x?
p
Suppose y - 5*z = -71, -2*z + 22 = 4*y + 20. Let w(t) = -t**2 - 2*t - 3. Let a be w(-4). Which is bigger: y or a?
y
Let n(t) = t**3 + 11*t**2 + t + 12. Let r be n(-11). Let s be 2*((-6)/5)/(16/(-340)). Let v be 0*(-1)/1 - (-9)/s. Is r less than v?
False
Let f = -225.69929 + 4.57629. Let d = -0.123 - f. Is 0.1 less than or equal to d?
True
Suppose -2308*u + 2304*u = -2*b - 65404, 5*u - 2*b - 81751 = 0. Which is smaller: u or 16348?
u
Suppose 0 = 13*y - 19*y + 282. Let m(h) = 6*h**3 - 54*h**2 - 2*h + 16. Let b be m(9). Which is bigger: b or y?
y
Let g be (10144/(-688) - -16)*385/(-7). Which is bigger: -69 or g?
-69
Suppose 2*p - 400*y + 396*y - 5230 = 0, -y + 4 = 0. Which is smaller: 2625 or p?
p
Let b be ((-3)/(-9))/(-1 + (-140)/(-141)). Let h = 55 + b. Suppose 6*w + 2 = h. Is -2/161 at most as big as w?
True
Let a be -5 + 41020/20515 + (6 - 3). Is a <= 0?
True
Let b(c) = c**2 - 22*c - 25. Suppose 3*k + 4*u = 39 + 46, -39 = -k - 4*u. Let a be b(k). Which is bigger: -22/23 or a?
-22/23
Let v = -26.81 + 27.81. Let l = -1.6 - -1.595. Which is smaller: v or l?
l
Suppose -3*d - 4*g = -28, 0 = -2*d + 7*d - 2*g - 64. Suppose -d*s = -451 - 161. Let y = 97 - 47. Which is smaller: s or y?
y
Let j be (38 - 22607/592)/((-2)/1 + 18). Which is bigger: 0 or j?
0
Let x = -7/14796 - 147911/103572. Suppose -4 = -2*c, -3*j - 10 = -7*j + 5*c. Suppose j*v + 25 = 4*q, -q - 10 = -3*q. Do x and v have the same value?
False
Let d = 775339/127 + -6105. Let t = 1208 - 1208. Which is greater: t or d?
d
Suppose -u - 4*t = -4*u - 12, -5*u = 4*t - 12. Let g = 10102091/61 - 165608. Which is smaller: u or g?
u
Let x(m) = -2*m**2 - 17*m - 10. Let g be x(-8). Let w be (805/(-138))/(g/9). Which is smaller: 2/5 or w?
2/5
Let l be 40/(-6) - 3/9. Let h(a) be the third derivative of -a**6/120 + a**5/15 - a**4/24 - 2*a**3/3 - 12*a**2. Let o be h(4). Which is greater: o or l?
l
Let w = 46.4 - 46.4362. Let x = 0.0362 + w. Which is smaller: x or -2/49?
-2/49
Let d be ((1/(-4))/((-3)/(-4)))/((-91)/234). Is d at least -699?
True
Let v = 488 - 492. Suppose 4*t + 2*y = -6 - 0, 0 = -3*y - 3. Let o be (-3 + 0 + 4)/t. Which is bigger: v or o?
o
Let j = 17.3 + 3.7. Let p = 0.0043 + -0.0343. Is j >= p?
True
Let j be 14*(2 - (-36)/(-21)). Let q(a) = a - 11. Let k be q(j). Is k greater than -6?
False
Suppose -47*k + 70308 = -98892. Is -2 bigger than k?
False
Suppose -3*h - 3*o - 133 = -o, 3*h = -5*o - 148. Let y = h - -43. Suppose 5*s - 3 - y = 0. Is -1/6 <= s?
True
Let v be 0 + -2*1/40. Let i(j) = -j**3 - j**2 + 292*j - 291. Let b be i(1). Are v and b equal?
False
Let z = -35390 + 94951371/2683. Is 0 not equal to z?
True
Let t = 132 + -124. Suppose -t*d - 32 = 32. Which is bigger: d or -31/4?
-31/4
Let i be 5/(-20) - 66/(-8). Suppose 0 = -3*u + u + i, u = -2*a + 30. Let s = a - 16. Are s and -3 nonequal?
False
Let y = -15990 - -2529. Is -13461 bigger than y?
False
Suppose 22*i - 39 - 22 = -17. Which is bigger: -1/124 or i?
i
Suppose -6*m + 2*m - 20 = 0. Let k be ((-3)/18)/((-16)/288). Suppose -2*y = -3*s + 4, -6*y + s - 6 = -k*y. Is m less than or equal to y?
True
Let i = 5/94 - -17/564. Let u = -18 + 9. Let p = u - -11. Which is smaller: i or p?
i
Let s = 8147 + -8146.9. Is 1030 at least s?
True
Let z = 2970 + -2734. Is z at most 2590/11?
False
Suppose 0 = -3*q - c + 11, 0 = 2*q + c - 0*c - 9. Suppose 6*o - q = 22. 