 = 26*g**2 - 201*g + 26. Let z be k(8). Which is bigger: z or 166?
166
Let k = -24185 - -24135. Is -51 < k?
True
Let i be 1*-841*(-1)/3. Let g = i + -287. Is g at most as big as -6?
True
Let j be (-1 - -21)*(-8)/(-16). Suppose 8*r - j*r = 0. Is r smaller than 2/465?
True
Let h = -67153 - -940679/14. Which is smaller: h or 37?
37
Let l(n) = n**3 + 8*n**2 + 15*n + 22. Let m be l(-6). Which is smaller: m or 29?
m
Let m = -2.6195 - -2.4195. Is m < -58?
False
Suppose -5*k - 2 = 38. Let u = 2 - k. Let q be 504/(-40) - 4/u. Is -13 less than q?
False
Let a = 355.506 + 0.494. Let i = 415 - a. Is 2/7 greater than i?
False
Let i = 4950 + -4984.6. Is 4 < i?
False
Let g = -197.36 + 197. Let p = 9.54 - g. Is 0.4 at most as big as p?
True
Let h = -12260 - -12412.9. Is -1 >= h?
False
Let d = -307.37 - -306. Let r = d + 1.32. Is 2/15 at most r?
False
Let q(y) = 2*y**2 + 259*y + 1645. Let z be q(-135). Is z at least as big as 3131?
False
Let v = 12378.1814 + -12379. Is v < 1?
True
Suppose -2*c - 306 = -8*c. Let g be ((-9)/c)/3*(-1)/2. Which is greater: 0 or g?
g
Let y = 10 + -7. Let t be (96/(-52) - -2) + 2529/39. Suppose -y*m - 59 = -t. Is m smaller than 17?
True
Let m(c) be the third derivative of -c**6/120 - c**5/10 - c**4/6 - 2*c**3 + 31*c**2 - c. Let s be m(-6). Which is bigger: s or 9?
s
Let c be (-18)/(-1044)*29*(-4)/45. Which is smaller: 80 or c?
c
Let k(z) be the third derivative of 0 - 5/3*z**3 - 2*z**2 + 11/24*z**4 + 0*z. Let u be k(2). Is 14 greater than u?
True
Let f = -1660 + 1661. Which is smaller: f or 72/71?
f
Let w be (-851)/((-7)/((-70)/(-5))). Suppose 14*j - w = 1378. Which is bigger: 221 or j?
221
Let m = 37029 + -5295149/143. Suppose r - 3 = -2*p + 6, 2*p + 5*r = 13. Let y be (-1)/(-2) + 2/p. Is m less than or equal to y?
True
Suppose -6*q + 44*q = 3*q + 20*q. Let f be (-6)/531*(-1)/2. Let o = -99/118 + f. Which is smaller: o or q?
o
Let j = -9911 - -8453. Is -1458 < j?
False
Suppose -7*p = 498 + 825. Let x = -202 - p. Is x greater than or equal to -72/5?
True
Let n = 97.6 + -98. Let k = n + -46.6. Let h = k + 47. Is h at most -2/67?
False
Suppose 22 = -w + 106. Let v = w - 82. Suppose -2*b + v = 2*s, -1 + 0 = -5*s - 3*b. Is s less than 26?
True
Let r = -1606 - -33734/21. Let x = 19 + -19. Which is greater: x or r?
r
Let n(t) = t - 3. Suppose -5*h + 2*h = -9. Let r be n(h). Let a be 27*182/(-378) + (-2)/612*-3974. Which is greater: r or a?
r
Suppose 0 = 2*h - 24, 2*h = 2*t + 20794 - 20748. Let i(g) = -4*g - 1. Let m be i(3). Let l = m + 3. Which is smaller: t or l?
t
Let q be 3/(6 - 7)*(1 - 2 - 52). Which is smaller: 158 or q?
158
Let z = -1575 + 1577. Let h = 173 + -50. Is h >= z?
True
Let p(f) = 21*f**2 + 556*f + 37. Let r be p(-22). Which is smaller: r or -2028?
r
Let c = -26.5 - 1.5. Let l = -29.49 - -0.49. Let s = c - l. Is s > 4.2?
False
Let a(b) = 24*b + 8545. Let i be a(-138). Which is smaller: 5232 or i?
5232
Let l = -8908775117/12329 + 722587. Is 0 at most as big as l?
True
Let i = 13.262 - 11.242. Does 17/3 = i?
False
Let j = 9.827 - -5709.173. Which is smaller: j or 1/3?
1/3
Suppose -3*f = -5*f + s + 13, -3*f = -5*s - 30. Let m be 9*(-2)/4*2*f. Let h be 4/18 + ((-8030)/m)/(-11). Is h >= -15?
False
Let h = 67174/21 + -3198. Is 2 less than or equal to h?
False
Let y(n) = 287*n - 3653. Let h be y(9). Which is smaller: 2 or h?
h
Let v = 5.7123 - 61.7123. Let y = -2 - -1. Do v and y have different values?
True
Let g be (-2)/16 - (-18050)/400. Let o be (18/g)/((-332)/5 - 1). Which is smaller: 1 or o?
o
Let p = -38477 + 58222. Which is greater: 19744 or p?
p
Suppose -32*s + 36*s = -m + 9, -2*m + 15 = 5*s. Which is smaller: 69/79 or s?
69/79
Let b(s) = 5*s**2 + 5*s - 4. Let q be b(1). Let w be q/(-26)*(-9)/((-945)/(-10)). Which is smaller: 1 or w?
w
Let x = -4 - -7. Let t = -7338 + 7348. Is t <= x?
False
Let n = 11.972 + -0.272. Let a = 2188 - 2200. Let l = a + n. Is -2/7 bigger than l?
True
Let i be (-497 - -551)*2/(4/3). Let u = 11 + -3. Let r be (-6)/(-24) - (-638)/u. Which is bigger: r or i?
i
Let w = -198 + 277. Let r = w - 75. Suppose -4*u + 57 = 3*c, -4*c + 75 = r*u + 15. Is u at most as big as 9?
False
Suppose -4*n + 2*b = -6, 7*n + b = 8*n - 1. Let a = -13331/10 - -1336. Which is greater: n or a?
a
Let y(a) = -2*a + 28. Suppose 51 = -7*t - 75. Let l be (t/4)/((-60)/16)*5. Let s be y(l). Which is smaller: 11 or s?
11
Suppose -5*g - 20 = 2*n, 7*n + 5*g - 30 = 10*n. Which is smaller: 16 or n?
n
Let k = 10 - -8. Suppose 0 = -k*m + 2135 + 3121. Which is greater: -1 or m?
m
Let i(d) = 17*d**2 + 3*d - 12. Let l be i(2). Suppose -l + 56 = -p. Is p < 0.13?
False
Let g = -27096 - -27095. Is g not equal to -6/1655?
True
Let s = 30 - 1831/61. Let p = 17 - 15. Suppose -8 = -g - p*f, 0 = 5*f - 19 - 1. Which is smaller: g or s?
s
Suppose 0 + 6 = 2*d. Suppose d*v + v + 12 = 0. Suppose 4*r - 3*k = 43, 2*k + 17 = 11*r - 10*r. Which is greater: r or v?
r
Suppose 11604 = -9*l + 4206. Is l greater than -824?
True
Let t(s) = -134*s**2 + 11125*s - 286. Let h be t(83). Suppose r - 3*m + 50 = 0, -3*r - 3*m - 90 = -0*m. Which is bigger: r or h?
r
Let l = 1/9607 - 2392171/268996. Is l less than -9?
False
Let a = -5 + 13. Let h = a + -6. Suppose 3*k = 14*p - 9*p + 6, 4*p = -5*k + 47. Which is bigger: h or p?
p
Let n be 22/8 + (-26)/(-104). Suppose n*i + 7*u = 3*u + 60, -80 = -4*i - 5*u. Let v = 43 - 22. Do i and v have different values?
True
Let o be (2949/6)/(((-6)/9)/((-6)/(-6))). Which is smaller: -2 or o?
o
Let l = 0.08 + 0.17. Let j = l - -0.75. Is j greater than or equal to -98?
True
Let f = 376/7 - 54. Let j = 4102 + -4102.5. Which is smaller: j or f?
j
Suppose 456 = -4*k - 4*n, 3*n - 132 = k - 2*n. Let g = 579/5 + k. Which is greater: 1/15 or g?
1/15
Let m be -1 - 1/(1*(-5 - -4)). Suppose 4*h + 1142 = 4*j + 366, -5*h + 218 = j. Suppose j*b - 193*b = m. Is b at least as big as -3/8?
True
Let k = 3574 + -25016/7. Which is bigger: k or -5.88?
k
Let m = 5283 - 58161/11. Let y(q) = -q**3 - 5*q**2 - 8*q - 9. Let b be y(-4). Let z = 2 - b. Which is smaller: z or m?
z
Let i be 140/25 - 10/(-25). Suppose -m - 14 = i*m. Which is greater: 58 or m?
58
Let b be 786*(-602)/78848 - -6. Is b > -1?
True
Suppose -4*u = 5*f + 166, -u = -4*f - 26 + 99. Is 100 != u?
True
Let n = -69 + -76. Let v = n - -145.015. Which is smaller: v or -1?
-1
Let o = 14596.358 + -14596. Which is greater: -1 or o?
o
Suppose 5*u + 19 = 2*i + 20, -7 = -4*i + u. Suppose -3 = 3*b, -i*b = 4*k - 6*b + 32. Let g(v) = -3*v + 3. Let h be g(4). Is h != k?
False
Suppose 94*j + 7353 = 103*j. Suppose 0 = 5*b - 4*d + j - 29, -3*b = -2*d + 474. Which is bigger: b or -158?
-158
Let y be 8/42 + 6*6/(-27). Let l be 2/(2 + 0) - 2. Let c be (l/8)/((-3)/(-6)). Is y less than or equal to c?
True
Suppose 0 = 3*i - 3*j - 2958, 2*i + 3*i - 4910 = j. Let s be (i/5)/(-3) - (-26)/65. Let q = s - -66. Is q at most -5/17?
False
Suppose 16*p - 8*p + 12*p = 210580. Is 10529 less than p?
False
Let n = 9360 + -9349. Is 58 <= n?
False
Let i be -3328 + (70/15)/((-18)/27). Which is bigger: -3334 or i?
-3334
Let z = -1927 - -2005.9. Let i = z + -85. Let p = 6.2 + i. Which is smaller: p or -0.024?
-0.024
Let c be 3 + (-78)/(-18)*3. Suppose c*g - 15*g = 9. Let p = 695/2 + -340. Does p = g?
False
Let s = -1.082 - 42.118. Let q = 55 - 98. Let y = s - q. Which is bigger: y or 2/9?
2/9
Let v be -7*((35 - -1) + -1). Let d = 7716 - 7962. Which is bigger: d or v?
v
Let a be -3 + 1 + (-230)/(-2). Let k = 123 - a. Let o be (-2)/(-5) - (-6)/k. Which is greater: o or 1/60?
o
Let v = 4597 + -7591. Which is smaller: -1 or v?
v
Let n = 132 - 108. Suppose -25*r + n*r = 0. Which is greater: -3/77 or r?
r
Let u be 3/(-2)*(3 + (-9 - -4)). Let v(h) = 4*h**3 - 10*h**2 - 3*h. Let q be v(u). Let d be (194/(-66) + 3)*162. Is q at most as big as d?
True
Suppose -7 = c - 16. Suppose -5*y = -c*y + 20. Suppose 3*m + y = -2*m. Which is smaller: 3/34 or m?
m
Let h = 10 + 25. Let n(l) = -874*l + 1781. Let k be n(2). Is h less than k?
False
Let c = -425.614 + 425.6. Which is smaller: c or 0.04?
c
Suppose 2*s - 3*s - 981 = -9188. Is 8207 bigger than s?
False
Let f = -537 + 547. Suppose 3*s = -f*s. Let u be (3 + -2)/(0 + 102). Which is bigger: s or u?
u
Suppose 2*l + 5*s = 37, -3*s + 9 = -5*l - s. Does l = 1/3226?
False
Let t be -4 - ((-24)/6 + 8 + -3)*