6. Let r(o) = -2*o**3 + o - 1. Let g be r(f). Suppose 4*k - g = -y, 4*k + 9*y = 4*y + 58. Which is smaller: k or 14?
k
Let s(x) be the first derivative of x**3/3 - x**2/2 - 2*x - 7. Let f be s(2). Let d = -48 + 242/5. Is f at least d?
False
Let d = 1/8542 + -153793/316054. Is d at most 1?
True
Let w be 10/3*54/(-15). Let n be w/(5 - 108/21). Does n = 86?
False
Let v(q) = q**2 - 18*q + 59. Let s be v(15). Let u be -4 - ((-688)/7 + s/49). Let b = 95 - u. Is b < -3/49?
False
Let p be (9 - 3)/(12/(-1362)). Which is greater: p or -684?
p
Let i be 1 - (5 + (-12)/4 + -6). Suppose 12*h + i = 17*h. Are h and -2/471 equal?
False
Let k be 6 + 3 + (-16)/8. Let t(o) = -o**2 + 9*o + 5. Let x be t(k). Is 19 >= x?
True
Let w = 137 - 124. Suppose -6 = w*n + 33. Which is bigger: n or -33/8?
n
Let y = 104/165 - -2/55. Let t = 17205.87 - 17136. Let g = -70.2 + t. Is g >= y?
False
Let s = -0.02694 + -0.07306. Is -1173 less than s?
True
Let k = -1957 + 127208/65. Let s = -20 + 19. Which is smaller: k or s?
s
Let x = 126.37 - 126.47. Which is bigger: 11605 or x?
11605
Let r(f) = -f**3 + 4*f**2 - 33*f + 112. Let h be r(3). Is 9 at least as big as h?
False
Let g = -41 - -55. Let y(j) = -j**2 + 4 - g*j + 3*j**2 + 5. Let b be y(5). Is -10 > b?
True
Suppose 707*h = 714*h - 14. Is h <= 115?
True
Suppose -3*c + 12 = 3*u + 2*u, 5*c - 20 = u. Let b = -17 + u. Let k = b + 16. Is k greater than -1?
False
Let c = -5271 - -4915. Which is smaller: -353 or c?
c
Let a be ((3/(42/(-10)))/774)/((-4)/8). Which is smaller: a or 1?
a
Let x = -272 + 343. Let z = -144 - -72. Let c = x + z. Which is smaller: c or -2/11?
c
Let g = 19082 + -19081. Which is smaller: g or -3/6091?
-3/6091
Suppose -n = w + 2, 2*n + 4*w = 4*n + 28. Is 22 bigger than n?
True
Let v(c) = c**3 + 16*c**2 + 32*c + 7. Let k be v(-13). Suppose 8*o - 4*o = -5*d + 403, -d = 2*o - 203. Which is smaller: o or k?
k
Let y be (8 - 9)/(2 - 245/125). Is 1/7 not equal to y?
True
Suppose 20 = 5*m - 2*r, r + 16 = -2*m - 3*r. Suppose -5*b = -0*b, -m = a + 4*b. Let y be -4 - (1460/(-735) + a). Are y and 0 nonequal?
True
Let p = 99 - 32. Suppose -j = 1, -d - 3*d - j = -p. Let z be (-2)/16*(-21 + d). Which is smaller: z or 0.8?
z
Let f = 1410 + -739. Let s = f + -677. Is -0.24 >= s?
True
Let s be (-102)/(-90) + -1 - (2422/(-120))/(-7). Which is smaller: 181 or s?
s
Suppose 0*u - 74*u = 25*u + 99. Which is bigger: u or -3136?
u
Suppose 76 + 111 = -17*s, -212 = -n - 3*s. Let z = 549 - 302. Is n > z?
False
Let k = 28591948/2276425 + -2/91057. Which is smaller: k or 14?
k
Let d(r) = r**2 + 14*r - 28. Let s(c) = -4*c**2 + 1. Let i(z) = -d(z) - 3*s(z). Let n be i(8). Is n at least 618?
False
Suppose -2250 + 21 = -21*i + 669. Which is bigger: 135 or i?
i
Let q(f) = -2*f**3 - 54*f**2 - f + 16. Let p be q(-27). Let m be (4/(-1198))/(p/43). Which is greater: 1 or m?
1
Suppose 5*z - 3*l - 22 = -6*l, 3*z - 3*l = -6. Suppose 0 = -3*m + z*g + 22, -16 = -2*m - 2*m - 4*g. Suppose 3*r + m*r - 3*r = 0. Which is bigger: r or 7/5?
7/5
Let c(a) = -145*a + 3357. Let g be c(28). Is -3 >= g?
True
Let r be (-7*(-20)/1925)/(34/10). Let m be 7 + -8 - ((2 - 1) + -2). Is r at least as big as m?
True
Let v = 3287.623 - 3286. Is -2 at least as big as v?
False
Let h = 599/15489389 - -50505882799/9342006761847. Let a = h - -8/1583. Does -1 = a?
False
Let y = 2235479/23982 + -1305/14. Are 1 and y equal?
False
Let y = 2479 + -3545. Is y at most 2?
True
Suppose -f + 6*f - 15 = 0. Suppose 0*v = -f*v. Let l be (2/3)/(152/(-57)). Which is smaller: v or l?
l
Let y = -58332 + 58331. Let r be 2*19 + -1 + 0. Which is greater: r or y?
r
Let u = 0.6 + -1.6. Let s = -0.8 - u. Let i = -40.2 + 43.5. Is s > i?
False
Suppose 3*y - 4410 = -3*w, -126*w + 125*w + 7362 = 5*y. Are y and 1473 equal?
True
Let x be (4/(-3))/((-6)/9). Suppose 0 = -5*q - 13*i + 16*i - 1581, 1278 = -4*q - 2*i. Let j be (1/9)/((-2)/q) + x. Which is greater: j or -0.2?
j
Let o be (-6)/(-21) + (-144)/406. Let b = 29232 - 29231. Is b not equal to o?
True
Let z = 0.18059 + 0.01941. Do -590 and z have the same value?
False
Suppose -4*o - 3 = 5*c, 19*c - 16*c + 3*o = -3. Let n(l) = -2*l - 15. Let i be n(-7). Which is greater: i or c?
c
Let l(p) = -p**3 - 41*p**2 - 121*p + 26. Let u be l(-38). Which is smaller: 291 or u?
291
Let u be 1 + (6 - 4) - -2. Let t be (-22)/(-8) - (9/12 + -1). Let v be 0 + (-4 - -5) + t. Is u at most as big as v?
False
Let u be 93/31 + 16/(-5). Let m be -11*(0 + (-1)/45). Let c = u - m. Is c equal to 1?
False
Suppose 8*a + 6*a - 616 = 0. Suppose -a*b = -34*b - 130. Is b at least 6?
True
Let w(l) = 2*l**2 + 6*l + 4. Let o be w(-4). Suppose -23*q + 65 + 160 = 22*q. Which is smaller: o or q?
q
Let g = -219 - -223. Which is smaller: 249/86 or g?
249/86
Let y = -74554 - -265635900/3563. Let d = y + 7148/39193. Is d > 98?
False
Suppose -5 = 22*h + 39. Is h <= 1.2?
True
Let g be (-26)/(-39)*(20 + 1). Let n(d) = d**3 - 14*d**2 - d + 23. Let z be n(g). Let k be z/6 - 3/(-12). Which is smaller: k or 1?
1
Let i(b) be the second derivative of -b**4/12 - b**3/2 + 5*b**2/2 + 274*b. Let c be i(0). Is -32 > c?
False
Let c = 179.34 + 5.66. Let h = -184.945 + c. Which is bigger: 2/7 or h?
2/7
Let i = 3718 + -3717. Which is smaller: i or -1871?
-1871
Let k(z) = 371*z + 225. Let x be k(-1). Which is smaller: x or -143?
x
Let m = -426 + 427.199. Let x = m - 0.199. Are -10 and x unequal?
True
Let w(y) be the second derivative of 0 - 5/12*y**4 + 2/3*y**3 + 20*y + 1/20*y**5 + 3*y**2. Let j be w(3). Is j greater than or equal to 2/17?
False
Let h = 89 + -18. Let q = -75 + h. Let r(w) = -4*w - 1. Let j be r(1). Which is greater: q or j?
q
Let c = 924944802/8767 + -105503. Do 0 and c have different values?
True
Let i = -11508 - -11510. Which is bigger: 0.88 or i?
i
Let z = 167 - 141. Suppose z*o - 40 = 18*o. Which is smaller: -1/2 or o?
-1/2
Let b = -255 - -259. Suppose 17 = -9*v + 53. Is v greater than b?
False
Suppose -5*f + 2*b + 563 = 0, 5*f - 2*f + 2*b - 341 = 0. Suppose -f + 1 = -7*t. Which is smaller: 6 or t?
6
Let t(j) = 7*j**2 - 4*j - 9. Let o be t(-3). Suppose 0 = 7*s - s + o. Let q be (-93)/(-33) - 2 - 6/(-33). Which is smaller: q or s?
s
Suppose -2*i - 9 = 5*u, 5*i + 3 = -u - 8. Suppose -2*v + 0*v = -5*x - 15, -3*v - 9 = 3*x. Suppose v = -4*d + 3*d + 1. Which is greater: u or d?
d
Suppose 2*d + 12 = -6. Let s(j) = -2*j**3 - 19*j**2 - 6*j + 13. Let i be s(d). Suppose -3*n = 3*f + 63, -n = -4*n - 15. Which is smaller: i or f?
f
Let z be (-2033)/(-57) + (38 - 18). Is 57 less than or equal to z?
False
Let o = 3 - 5. Let w be (78*5)/((-72)/(-16)). Let x = w + -2095/24. Is o at least as big as x?
False
Suppose 34*b - 30420 = 268*b. Is -66 at least as big as b?
True
Suppose -t = -235 + 193. Let x be t/35*25/2. Let l(k) = k**3 - 8*k**2 + 12*k - 17. Let b be l(7). Is x at least as big as b?
False
Let n = -2 + 2.31. Let p = -448 + 449.31. Let y = p - n. Is -1 at most y?
True
Let y(m) = -8*m**3 - 3*m**2 + 31*m - 6. Let c be y(5). Which is greater: -928 or c?
c
Let u be 8/5 - 9/15. Let g = -119387/31 + 3851. Is g less than u?
True
Suppose -5*y - 20234 = 23*u - 26*u, u = -4*y - 16194. Let l be (y/(-1155))/(-16) + 2/7. Which is smaller: 1 or l?
l
Let s = -13555 - -13556. Is -2/3481 less than s?
True
Let h = -36 - -41. Suppose u + 12 = h*u. Which is bigger: u or 0?
u
Let x = -32 - -60. Let y = 1833 - 1833. Suppose -4*w + w - 5*o - x = 0, y = -w - o - 6. Does 3/7 = w?
False
Let w(g) be the second derivative of -4/3*g**3 + 0 + 7/2*g**2 - 28*g + 1/20*g**5 + 0*g**4. Let m be w(2). Which is greater: m or -74?
m
Let i = 2389587/646228 - 175/3092. Let g = -45/19 + i. Is 0 smaller than g?
True
Let l = -866637 + 19937535/23. Which is smaller: l or 212?
212
Suppose -k = -3*q + 4*k - 208, 4*q = 2*k - 296. Let o be 2122/392 + 19/q - 5. Is -1 >= o?
False
Let j(c) = 3*c - 51. Let r be j(46). Let l be (-30)/(-9)*72/(-4). Let h be 5/(l/344)*-3. Which is bigger: r or h?
r
Let n = -600 + 882. Let q = n + -282.04. Which is smaller: q or 2/3?
q
Suppose -2 = b - d, -4*b + 9 - 2 = d. Let n be -3*(-14)/204*-190 + -3. Let z = 42 + n. Which is greater: z or b?
b
Let s = 0 - 1. Suppose -5*h + 22 = 27, 0 = -2*k - 5*h - 189. Let c be ((-48)/(-336))/(k/(-14)). Which is bigger: c or s?
c
Let t(i) = 8*i - 22. Let l be t(10). Let u = 63 - l. Suppose 