et h be l(21). Which is bigger: h or 27?
27
Let i(c) = c**3 - c**2 + c - 12. Let v be i(0). Let f = -13 - v. Let y be (-2 + 19/10)*(402 + -284). Is y equal to f?
False
Let c = -11881 + 7817. Is c less than or equal to 1/3?
True
Suppose -3*w = 4*v - 102, 8*v = 6*v + 4*w + 40. Let c be ((v/12)/(-44))/((-46)/4). Is c greater than -1?
True
Let k = 51/13 - 205/52. Suppose -4*n + 5 = -3*p + 31, 3*n - 18 = -4*p. Suppose 0 = 4*x - p*x. Is x less than k?
False
Let y = -14 + 18. Suppose d - 6 = -y*c + 3, -3*c + 2*d - 7 = 0. Is -2/1295 < c?
True
Suppose 4*p - l - 415 = 0, 2*l + 257 = 5*p - 261. Which is greater: p or 94?
p
Suppose -4*x - 10 = 5*w, -10 = 5*x + 60*w - 55*w. Let v(r) = -r + 8. Let n be v(7). Let u be ((-3)/33)/(1/n). Is u at least as big as x?
False
Suppose -423*f + 424*f = 4*j + 48, -j + 2 = 0. Is -6 != f?
True
Suppose 0 = 3*m + g - 7, -3*m + 21*g - 24*g - 3 = 0. Let b be ((-26)/39)/(m*4/1578). Is b at least -67?
True
Let y = -56 + 34. Let r be (37 + 1)*(-17)/34. Let f be (-7 - -2) + 3 + r. Which is greater: f or y?
f
Let k = 21074 + -25126. Which is bigger: k or -4050?
-4050
Suppose -64*c - 58*c = 3*c - 125. Is c greater than -4/77?
True
Let v(h) = 4*h - 9. Let i(a) = -11*a + 26. Let u(y) = -6*i(y) - 17*v(y). Let d be u(-1). Which is bigger: d or -0.84?
-0.84
Let g = 18025 - 23254. Which is smaller: -15683/3 or g?
g
Let t = 106.27 + -8612.27. Which is greater: 1 or t?
1
Let r = 36 + -50. Let w be (-46)/r - (-1 + 18/14). Let l be 1*w/((-12)/(-76))*2. Is l at most as big as 38?
True
Let f = 1214 - -1540. Let o be f/(-85) - (-2)/5. Let r be (-6)/((-35)/(-11) - (3 + 0)). Which is bigger: o or r?
o
Let p = 2.6698 + -4.1698. Which is greater: 815 or p?
815
Let s be 309 - (10/6)/(20/72). Suppose s*p + 10 = 293*p. Is -3/40 at most as big as p?
False
Let v = -1.2 - -0.2. Let z = v - 1. Let k be 20/(-6)*(33/3 - (-332)/(-30)). Are k and z unequal?
True
Let k = -11054 - -11053.95. Let i = -0.17 + 0.52. Let r = i - 0.4. Is r equal to k?
True
Let q = 675/62 + 55367/558. Suppose -2*f = 2*p + 224, f + 5*p + 21 = -99. Let t = q + f. Is -1 smaller than t?
True
Let l(m) = -m**3 - 11*m**2 - 38*m - 418. Let y be l(-11). Is 2.952 less than y?
False
Let s be -2*-4*4/(-32). Let i be 2/1*s*(-11)/2. Suppose -i = 2*y - 3. Which is smaller: -2 or y?
y
Let j = -955/4 + 62091/260. Let z = 1067/18395 - j. Let l = z - 1409/1698. Is -3 smaller than l?
True
Let h = -68629547/553836 - -3/46153. Let x be (-4*1953/294)/(6/(-28)). Let c = x + h. Which is bigger: c or -1?
c
Let u = -0.1 - -0.24. Let a = 0.34 - u. Suppose 14 = 13*l - 25. Which is greater: a or l?
l
Let r = 3.4 - 0.4. Let k be ((-35)/10 + 4)*(-2556)/(-270)*3. Which is smaller: r or k?
r
Suppose 21*p + 292 + 801 = -587. Is -0.7 smaller than p?
False
Let o = -6573 + 6567. Is o != 4/35?
True
Let n be -3*(-2 + (-7)/(-3)). Suppose -24 = 1421*p - 1420*p + 2*m, -2*m - 44 = 3*p. Do p and n have the same value?
False
Let y = 1440666149425986/238560088351 + 18/591960517. Let u = -6039 + y. Is u > -1?
True
Let z = -68506/17799 + 196/51. Let n = z - -1057/1745. Is -5 != n?
True
Suppose -1781*c = -1787*c - 1122. Is -751/4 smaller than c?
True
Let s(y) = y**3 + 39*y**2 - 225*y + 1. Let w be s(5). Is w != 47?
True
Suppose -318 + 65 = 23*q. Let s(t) = t. Let b(f) = 12*f + 33. Let o(y) = b(y) - 9*s(y). Let r be o(q). Which is smaller: r or -1/6?
-1/6
Let o be (225/189)/25*(4 + 1). Is o >= -0.11?
True
Let v(d) = d - 8. Let k be v(6). Let m = 831 - 726. Let g be (k/(-45))/((-5)/m). Which is smaller: -2 or g?
-2
Let j = 14.69113 - 0.69113. Let w be (1 + -3)/(5*1). Is w less than or equal to j?
True
Let q = -403 - -624. Let v be (-8 + q/26)*(1 + -15). Which is bigger: 2/3 or v?
2/3
Let m(v) = -v**3 - 21*v**2 + 21*v - 42. Let i(n) = -2*n**2 + 4*n + 26. Let g be i(-4). Let a be m(g). Which is bigger: -79/4 or a?
-79/4
Let u(k) = -k**2 + 16*k + 36. Suppose -3*t = -40 - 62. Let c = -16 + t. Let w be u(c). Are -5/8 and w nonequal?
True
Let n = 95442895/707 + -134997. Which is bigger: 1 or n?
1
Suppose -1548*i + 1488*i = 0. Which is bigger: i or 3/8744?
3/8744
Let r = 1352626049/456 - 2966284. Let h = -4/57 + r. Is h less than 1?
False
Let t = 12981706/323807 - -1/29437. Suppose -4*w - 155 = -y, 2*w + 15*y + 95 = 12*y. Let n = t + w. Is 1 != n?
True
Let o(m) = -m**2 + 8*m - 27. Let c(t) = 3*t**2 - 11*t - 16. Let h be c(5). Let v be o(h). Which is bigger: -10 or v?
-10
Suppose -24273 = -5*m - 27766 - 53387. Which is smaller: -11378 or m?
-11378
Let v be -4 + (7 - (2 - 223)). Let b be (-2 - (-13)/5) + v/(-140). Is b greater than 2/213?
False
Let g = -31 - -7. Let f be 5/20*-10*g/10. Suppose -y - 40 = -5*l, 4*l - 47 = 5*y + f. Is -1 greater than l?
False
Suppose -1213*u = -1193*u + 10480. Is -524 smaller than u?
False
Let l(s) = -s**2 + 24*s + 68. Let v be l(26). Suppose 0*f + v*f = 0. Which is bigger: 1/34 or f?
1/34
Let d be (-12872)/340 - 1/15*-12. Is -37 greater than d?
True
Let h = -172 - -168. Let c be 36/8*(-4)/6. Let f be ((-2)/c)/(34/(-51)). Which is bigger: f or h?
f
Suppose 37*k = 44*k - 84. Suppose -4*n = k - 8. Which is bigger: n or -0.092?
-0.092
Suppose -137*k = -140*k + 3. Let c be (-288)/(-32) - (-1 + -3*k). Let t = -6 + 7. Which is bigger: t or c?
c
Let a = -159 + 304. Suppose -j = -a + 95. Let g be (-1)/3*75/j. Which is greater: -1 or g?
g
Let j = -536 - -544.4. Let n = -0.02 - -8.02. Let p = n - j. Which is smaller: p or 0.07?
p
Let x = -2490 - -2478. Suppose 0 = 2*w - 5*w - p + 6, 3*w - 5*p = -12. Let c be (16/x - -1)/(w/3). Which is smaller: -3/50 or c?
c
Let r = -8526 - -8701. Is r < -22?
False
Let k(z) = z - 36. Let w(d) = -34. Let g(r) = 4*k(r) - 3*w(r). Let q be g(10). Is q greater than or equal to 26?
False
Let v = -11 - -21. Let g(m) = 7 + 6 - m**2 + 9*m - v*m. Let y be g(3). Which is bigger: y or -24?
y
Let a(o) = -o**3 + 4*o**2 - 2*o - 4. Let g be a(3). Let t be 2 + -1 - g - 2. Let p = -97578 + 487886/5. Is p less than t?
True
Let f be (-7)/14 + 3751/22. Let x be 0/(-2) + 900/f. Are 4 and x non-equal?
True
Suppose 3*o = -6383 + 5612. Which is smaller: -258 or o?
-258
Suppose -18*j - 5 + 20 = -21. Does 6/7 = j?
False
Let o be (3 + 30/10)*(2 - -39). Let t = 245 - o. Let j = -2/9 - -5/18. Is t >= j?
False
Let c = -40 - -46. Let t = 6.1 - c. Which is bigger: t or 5/3?
5/3
Let n = -31.8971 - 0.1029. Is n < 5?
True
Let j = -43298954/1261 - -34337. Are -1 and j equal?
False
Suppose n - y = 5*n + 182, 2*y = -2*n - 94. Let m be (-166)/18 + (-10)/n. Let v(p) = 2*p**3 + 35*p**2 + 16*p - 26. Let k be v(-17). Is m at least as big as k?
True
Let z = 219.409 + 4.591. Which is smaller: z or -0.01?
-0.01
Let o = -33 + 15. Let k be (4/(-4384))/(o/(-203784)). Let v = -1/274 + k. Is v less than -10?
True
Let g be ((-7)/(-82))/(68/(-408)). Which is greater: g or 0?
0
Let r = 154 + -178.7. Let d = r + 18. Let u = -3.3 + d. Which is greater: u or -0.2?
-0.2
Let b be 2*2 - (7 - 5). Suppose 4*v = 4*r - 68, -5*r + 31 - 86 = b*v. Let o be ((-3)/15)/(18/v). Does -2 = o?
False
Let z = -132 - -519/4. Suppose -3*p + 5*g = 51 - 137, 108 = 4*p - 5*g. Let b(m) = -m**2 + 20*m + 43. Let v be b(p). Is v bigger than z?
True
Suppose 730 = 9*k - 4*k. Suppose -3*w + 231 = 3*h, 0 = 3*h + w - k - 75. Let l = 77 - h. Which is smaller: 35/8 or l?
35/8
Suppose 0 = 2243*f - 2240*f. Which is bigger: 3/7909 or f?
3/7909
Let r = -96 - -96.9. Let x = r - 3.9. Is -2/5 at least x?
True
Let l be (0/(-1) + -1)*4. Let c = 108 - 86. Suppose c*u + 64 = 20. Is u > l?
True
Let p = -241 + 15184/63. Let q = 2/21 + p. Let h = 4 - 4. Do q and h have the same value?
False
Let m(b) = -b**2 - 21*b + 3. Let w be m(-21). Suppose 5*n = -8 + w. Which is smaller: n or -2/37?
n
Let f = -11459 - -11462. Is f <= -92?
False
Let w = -3018 - -12117/4. Which is smaller: w or -1?
-1
Let l(j) = 2*j**3 + 11*j**2 + 5*j. Let b be l(-5). Suppose b = 8*k - 11*k - 162. Let r = 56 + k. Which is bigger: r or 12/11?
r
Suppose i = 2*h + 18, 2*i + 7 = -1. Suppose 2*t - 27 = -7*t. Suppose 3*c + 36 = -t*o, 4*o - 5*c = -29 - 19. Is o greater than h?
False
Let q = -359194/67 + 5361. Which is smaller: 1 or q?
q
Let k(w) = 3356 - 14*w - 3262 - 7*w. Let g be k(6). Which is smaller: -27 or g?
g
Let d be -1*(1 - -4) + (-4 - -7). Let f be (0 - (-15)/d)/(-12). Let v = -3 + 2. Is v >= f?
False
Let o be 34839/