the third derivative of -g**6/120 - 7*g**5/60 - g**4/4 + 7*g**3/3 - 2*g**2 + 53*g. Let f be z(n). Is 68/5 less than f?
True
Let n = 498.2 + -71.2. Let i = -427 + n. Let g = 0.81 + -0.48. Is g at most as big as i?
False
Let t = 486 + -486. Let h = 4.2 + -4.193. Is h not equal to t?
True
Let s(x) = -3*x**3 - 4*x**2 + 13*x - 4. Let m be 1/(-6) - (-348)/(-72). Let h be s(m). Which is greater: h or 204?
h
Let r = 0.0438 + -1.3308. Let f = r + 1.4. Let n = 3.887 + f. Which is greater: 2 or n?
n
Let i(c) = -c**2 - 71*c + 1603. Let k be i(18). Which is smaller: k or -2/1379?
-2/1379
Let c(f) be the third derivative of -f**6/120 + f**5/60 + f**4/12 - 17*f**3/6 + f**2 - 9*f. Let w be c(5). Which is bigger: -108 or w?
w
Let y(r) = -r**2 - 5*r - 5. Suppose f = -9 + 4. Let m be y(f). Let j = 11331 - 11331.4. Which is bigger: m or j?
j
Let x be (-2)/(2*(-1)/18). Suppose n + 3*n + 2*l - 464 = 0, -234 = -2*n - 2*l. Let v = n - 95. Do x and v have the same value?
False
Let g = -759.56 - -747. Which is bigger: g or -1?
-1
Let d = 235 - 237.36. Let m = d + 18.76. Which is smaller: m or 1?
1
Let l be (46/253)/(9/891). Which is smaller: l or 664/37?
664/37
Let o(x) = 16*x + 8. Let j be o(4). Suppose -5*i - 2*h - 56 = -2*i, -5*i + 2*h = j. Let s(n) = -2*n - 38. Let w be s(i). Which is smaller: w or -29/4?
-29/4
Suppose 18105*t + 456 = 18093*t. Which is greater: t or -519/14?
-519/14
Suppose -t - 2*o = 182 + 780, t - 4*o + 926 = 0. Is t at least as big as -948?
False
Suppose -5*w - 1816 = 5*t + 79, 0 = -2*w - 5*t - 770. Is -374 equal to w?
False
Let q = 52/1143 + -171034/3910203. Which is greater: 1 or q?
1
Let f be (-2)/3*42*29/812. Which is bigger: -45/139 or f?
-45/139
Let d = 1/1039561599 - 11444880164849/961594479075. Let y = d + 298/25. Suppose 0*c + 468 = -7*c + 475. Is y at most c?
True
Let v = 262 - 182. Suppose x - v = 11*x. Let u = 0.04 - 0.34. Is x <= u?
True
Let t(m) = 3*m**2 - 14*m + 13. Let h be t(6). Let b = h + -98. Which is bigger: b or -59?
-59
Let s be 12/(-32)*-12*(-1 - -5). Suppose 0 = 3*k - 2*w - 15, 8*k + 2*w + s = 12*k. Which is smaller: k or -19?
-19
Let r be (8 - (-139590)/(-17448))/(5/(-80)). Is r equal to -2?
False
Let i(b) = -b**3 - 13*b**2 + 21*b + 442. Let z be i(-13). Is 167 != z?
True
Suppose -r = z + 3*r + 132, 4*z = -r - 513. Let j = -10112 + 29950/3. Are z and j equal?
False
Let j = 7278 - 2128. Is j < 5150?
False
Let d = -0.35104 + 0.10104. Is d at most -0.55?
False
Let q(j) = 3*j**2 + 13*j - 2. Let x be q(-10). Suppose x = -w + 9*w. Let a = -1 - -2. Are a and w nonequal?
True
Let g = -8639/2 + 4320. Is g at least -10/269?
True
Suppose v - 21 = -20. Let x be ((-243)/12)/(v/4). Let g = 100 + x. Is 39/2 less than or equal to g?
False
Suppose 5*x = -3*b + 1020, -5*b + 1700 = 20*x - 18*x. Are 342 and b unequal?
True
Let f = -3.6 - 47.8. Let s = f + 51.4. Which is bigger: 256 or s?
256
Let k = -208.4 + 208.5. Which is greater: k or 3422?
3422
Let u(w) = w**3 - 4*w**2 - 1. Let n be u(2). Let h be (n/(-2))/(3/4). Let m be 18 + (-23 - -20) + -11. Is h greater than m?
True
Let h = 6860 - 7253. Do 5 and h have the same value?
False
Let t be 3/(-15) - 196/(-230). Let b = -32857 - -32859. Is b greater than or equal to t?
True
Suppose 2666 = -5*x - 2*a, -8*a + 2674 = -5*x - 6*a. Let d be 2/(-11) - x/33. Let i be d/30 - 7/(-21)*-6. Which is greater: i or -2?
i
Let y = 1448/24115 + -2/689. Let b(k) = 5*k**2 - 6*k + 54. Let j be b(6). Let x be j/(-162) + (6 - 5). Which is smaller: y or x?
x
Let d(x) = -12 - 6 + 6 - 5*x - 17 + 2. Let i be d(-11). Is i > 29?
False
Let n = -73247 - -73255. Suppose -10 - 15 = -q. Which is greater: q or n?
q
Suppose 4*j = -13*o + 8*o + 55, 8 = 4*o - 4*j. Let u be 0*((-1)/o + (-12)/14). Is u bigger than 4/127?
False
Suppose 37*t = 657 - 805. Let f be 9 + -2*1 - 2. Suppose 20 = -3*l + f. Are l and t equal?
False
Let n = 2420 + -31456/13. Are 47 and n nonequal?
True
Suppose 0 = 2*j - 0*j + 5*y - 18, 4*y - 24 = -4*j. Suppose 3*n + j = 16. Suppose 55 = -6*v + 11*v + 5*i, -n*v = i - 53. Are 15 and v non-equal?
True
Let u = 302089/95358133 - 2/100061. Is -1 less than or equal to u?
True
Suppose 0 = 4*n - 81 + 541. Suppose 56 = -z - 60. Is n less than z?
False
Suppose -6*k + k + 698 = 3*o, 0 = -5*o + k + 1182. Let y = 237 - o. Which is bigger: 2/53 or y?
y
Let l(u) = u**2 + 9*u - 12. Suppose -2*m + 4*m = -5*s - 40, -2*s = -5*m + 45. Let t be l(s). Let o be 6/4 - 34/(408/30). Which is bigger: t or o?
o
Let i be 30/(-36) + 1 - (-5)/((-750)/(-42365)). Do i and 282 have different values?
True
Let v = 202 - 194. Let i be 3241/21 + v/(-24). Which is smaller: i or 155?
i
Let g = 4859 + -9961/2. Let y = g - -120. Is -1 at most as big as y?
False
Let x = 134 + -168. Let b be x/187 + 6382/(-110). Is -59 less than b?
True
Let h = 26 - 60. Let a = -23 - h. Suppose -d = -a*d - 70. Which is smaller: -9 or d?
-9
Suppose 0 = -5*p + 8 - 3. Let q = 57 - 51. Let f be (-3)/((-9)/q) - 24/13. Which is smaller: f or p?
f
Let z be ((-1)/(-44))/(1/3). Suppose 8804 = 6*u - 16*u + 8814. Are z and u equal?
False
Suppose -14*a = -334 - 478. Suppose 0 = -5*s - 2*l + 1141, -9 = -6*l + 3*l. Suppose -4*q - b = -s, -2*b + 7*b = -5. Are a and q non-equal?
True
Suppose 64*z + 2*l + 208 = 63*z, 2*z - 5*l + 452 = 0. Which is smaller: z or -213?
z
Suppose -6 = 8*t - 14. Let o = 2122 + -2120.3. Is o smaller than t?
False
Suppose 11*p + 52 + 65 = 183. Let c(l) = -l**3 + 5*l**2 - 5*l + 6. Let b be c(4). Suppose p*w = b*w + 36. Is -1 greater than w?
False
Let f(w) = -30*w**2 - w - 2. Let r be f(-1). Let d = -44 - -25. Let k = r - d. Is k != -10?
True
Let c(g) = 40*g**2 - 1. Let i be c(-1). Let l be 8/(i/(-26)*(-2)/9). Let z be l/30 - (-57)/(-40). Which is smaller: 0 or z?
z
Suppose 2*n + f - 78 - 117 = 0, -204 = -2*n - 4*f. Suppose 11*p = 9*p + n. Let h = p + -36. Are h and 13 non-equal?
True
Let q = 5287847 - 391310777/74. Let x be 2453/18 + (-6)/(-27). Let d = q + x. Is 1 <= d?
False
Let t be 98/(-4396)*(-20)/7. Which is greater: 0 or t?
t
Let w(b) = -b**3 - 9*b**2 + 15. Let a be w(-7). Suppose 4*z - 4*n + 166 = -162, -7*n = 5*z + 482. Does z = a?
False
Let a = 217979557/907686145 + -5178/16355. Let g = a - -10/127. Do g and 1 have the same value?
False
Let c be (-14063)/(-539) + 1/(-11). Let l be -2*((-1)/(-4) + (-222)/24). Is c < l?
False
Let i = 11808 - 12673. Is 1/3 not equal to i?
True
Let m = -787922/7 - -5915387/56. Let l = 6919 + m. Let f = 60 - 70. Is f bigger than l?
False
Let u = -4642 + 3346. Which is greater: u or 4?
4
Let l be (-10)/16 - 140/1568*-7. Are 2/59849 and l nonequal?
True
Suppose 4*k = -0*k + 4*u + 116, 0 = -k + 3*u + 39. Let i = -22 + k. Suppose -z + 3 - i = 0. Is -5/6 greater than z?
False
Suppose -45*y + 59*y - 131942 = -60*y. Is y less than or equal to 1783?
True
Let n be (-2)/(-7) - 15/77. Let i = n + -51/77. Let t be 0*((-36)/6 - -5). Which is greater: t or i?
t
Let h be (-48 + 1)/(-5 + (-17264)/(-3452)). Let s be 6/(-4) + h/(-26978). Which is greater: s or 0?
s
Let z = 5538024479/1794454200 - -1/5590200. Let b = 8/321 + z. Is -1/3 at most b?
True
Suppose -9 = 3*x + 3, 3*l - 6 = 3*x. Let j be (-3)/l - ((-9)/6 - -2). Let w be 4/j - (-6 - -11). Is -1/31 >= w?
True
Let c be (0 - (16 - 1))*178/267. Let g be 1258/(-255) + c/(-2). Which is greater: 8 or g?
8
Let p = -69/41 + 2179/369. Let f(y) = -14*y - 3. Let i be f(-1). Let h = i + -8. Which is bigger: p or h?
p
Let s(x) = 3*x**2 - 4*x + 6. Let k be s(0). Suppose -a = k*a + 4*a. Which is bigger: -1/128 or a?
a
Suppose 504 = 5*g + 5*w + 99, -4*g + 333 = w. Let o be (-8)/(-28) - (171/g - -3). Let j = o + 21/4. Is 20 at least as big as j?
True
Let j be (-9401)/(-280) + (-12)/32. Are -1/12 and j non-equal?
True
Let w(n) = 822*n**2 + 16*n + 102. Let a be w(4). Which is bigger: 13319 or a?
13319
Suppose j - 3*j - 88 = 2*l, -2*l = -j - 50. Suppose -q - 5*n = 62, -3*n + 126 = 4*q + 340. Which is bigger: q or j?
j
Let g be 70563/(-58149) + (-24)/14 + 2. Let o = g - -1/213. Is o < -1?
False
Let s be -5 + 7714/319 + 6/(-33). Which is greater: 690 or s?
690
Let v(z) = -z**3 - 23*z**2 - 28*z - 1. Let d be v(-8). Which is bigger: d or 1?
1
Let k be 1*(-1 + 5) - -18. Let g = 3019 - 20981/7. Which is smaller: g or k?
g
Let s = 326 + -276. Suppose 36*h + 22 = -s. Which is smaller: 0 or h?
h
Let w = 