 a*r**2 + 3 - r**3 - 16*r + 2*r**2 + 15*r. Let m be i(4). Which is greater: 6/13 or m?
6/13
Let l(x) be the third derivative of x**6/120 - 2*x**5/15 + 5*x**4/24 - 2*x**3 + 10*x**2. Let q be l(9). Suppose q - 338 = -4*b. Is b at most as big as 55?
False
Let a = 2850 + -3039. Are a and -6 nonequal?
True
Let r be (-183)/(1 + (484/48)/(-11)). Is r greater than -2196?
False
Let n(i) = i**2 - 3767*i + 18808. Let f be n(5). Suppose -d + 5 = -2. Let c = d - 12. Is c equal to f?
False
Let u = -89.7 - -89.7306. Let z = u + 0.1694. Let v = -7/92 + -1253/460. Is z less than or equal to v?
False
Let x(v) = -5*v**3 - 41*v**2 + 41*v + 28. Let d(y) = 2*y**3 + 20*y**2 - 20*y - 14. Let a(h) = 7*d(h) + 3*x(h). Let c be a(15). Is c less than 180?
False
Let b(a) = -3*a + 24. Let t be b(8). Suppose t = -d - 5*d. Is d at most -9/11?
False
Let n(b) = b**2 - 2*b + 1. Let a be n(4). Let y be (35 - -1)/3 - 288/72. Suppose -a*r = -r - y. Which is bigger: 16/7 or r?
16/7
Let f be (5/3)/((-4)/(-6)). Let h(j) = j**2 + 3*j - 7. Let y be h(-6). Suppose 45 = -y*k + 26*k. Is k smaller than f?
False
Let w = -164 - -442. Suppose w = -11*u - 162. Which is bigger: u or -38?
-38
Let l = -24 - 12. Let p = 5.3 - -16.7. Let k = p + l. Which is smaller: -1/2 or k?
k
Let l = 67.6 - -8.4. Let r = 71.5 - l. Let i = r + 3.8. Do 0.1 and i have the same value?
False
Let y be 72/288 + 357/12. Let p = -10 + 41. Which is smaller: y or p?
y
Let x = 24445 - 23479. Do x and 6765/7 have the same value?
False
Let a = -7 - -13. Suppose y + 42 = -a*y. Let j(i) = 3*i + 19. Let p be j(y). Is p less than 4?
True
Suppose -4*h + 49 = n, -n - 61 = -5*h + 7. Are h and 136/11 nonequal?
True
Suppose 4*l - d + 4*d = 2679, 0 = -l - d + 671. Let i be l/54*1*9. Which is smaller: i or 110?
110
Let f(x) = -3*x**2 - 174*x + 134. Let j be f(-26). Is 2630 > j?
False
Let f(a) = -14*a - 249. Let z be f(-18). Suppose -x = -2*b + 45, 4*b + x + z*x - 72 = 0. Which is greater: b or -1?
b
Let q = 120 - 116. Let t be (-100)/180 - q/9. Is -3/37 >= t?
True
Let x = -31358/1239 + -10/413. Let j(y) = -641*y - 2589. Let s be j(-4). Is x greater than or equal to s?
False
Let h be (-528)/40*(-4)/(16/20). Let v = -934 + 1003. Is h equal to v?
False
Let n(i) = 140*i**2 - 102*i - 1. Let b be n(-4). Is 2647 <= b?
True
Suppose -s - 511 + 18 = -4*d, 3*s = -2*d + 243. Suppose -117*a = -d*a + 174. Is 2 >= a?
False
Suppose 261*h = 285*h - 1 + 1. Are -3921 and h equal?
False
Suppose 2*d = 5*q + 5, 18 - 48 = d + 4*q. Let j(m) = 2*m**3 + 10*m**2 + m - 5. Let t be j(-5). Is t bigger than d?
False
Let f = -56 - -144. Let i = 43 - f. Let h = i + 44. Which is smaller: -9 or h?
-9
Suppose -v + 10 = r - 106, -3*v + 313 = -4*r. Let i = -112 + v. Let d = -6637/7 - -951. Is d less than i?
False
Suppose 2262 = -477*k - 3813 + 1782. Are -50 and k unequal?
True
Let y be ((-15)/(-30))/(2/(-52)). Suppose 0 = -3*z - 4*i - 9 - 12, z + 6 = -i. Do y and z have the same value?
False
Let p(f) = -f**2 - 23*f - 133. Let n = 100 + -112. Let s be p(n). Let i be (-232)/78 - (-8)/12. Which is greater: i or s?
s
Let h = -1.326 + 2.326. Are -257 and h unequal?
True
Let s(w) = 87 - 99 - 3*w + 7*w. Let y be s(-9). Let z = 40 + y. Does -8 = z?
True
Let n = -2.4 - -0.4. Let w = -2.1 - n. Let a be 6/(-34)*(-29 - 3956/(-138)). Which is bigger: w or a?
a
Suppose -g = -0*g - 4*y - 22, 0 = -2*y - 10. Let o be 1040/180 - g/(-9). Is 20/3 greater than or equal to o?
True
Let b = 21984 + -21980. Are b and -11 unequal?
True
Let v be (-45)/6*400/500. Let s(d) = 2*d**3 - 2*d**2 - d. Let y be s(-1). Which is smaller: v or y?
v
Suppose 11*i - 24 = 53. Let q(o) = -o**3 + 5*o**2 + 12*o. Let p be q(i). Suppose -2*w + 0*w - 4*y - 46 = 0, -4*w = 3*y + 77. Do w and p have the same value?
False
Let o = -0.018 - -30.418. Which is smaller: o or -16?
-16
Suppose f + 40 = 2*w, -32*w + 35*w + 3*f = 87. Which is greater: -497 or w?
w
Let y(x) = -2*x**2 + 81*x + 299. Let l be y(-14). Which is bigger: -1233 or l?
l
Let x = 18751/2028 - -2/507. Let w = x + -101/20. Which is greater: w or -0.1?
w
Suppose 5*u - 4*f + 342 = 0, 1154*u - 2*f - 384 = 1159*u. Which is greater: u or -27?
-27
Let w = 127/2 + -65. Let k(p) = p - 1. Let b = 20 + -21. Let z be k(b). Which is smaller: z or w?
z
Let t = -139 + 108.4. Let x = -463 - -432. Let n = t - x. Is n > 10/9?
False
Let t = 413 + -431. Let l = -161675/9128 - 3/1304. Which is smaller: t or l?
t
Let c = 9146.1 + -2480.1. Is c > 3?
True
Let x be ((-1)/18)/((-1)/4). Let i be (3/(-6))/1*60/3. Let q be i/((-50)/(-35)) - -6. Which is smaller: x or q?
q
Suppose 880 = 304*n - 224*n. Is n != -73?
True
Let p(c) be the second derivative of -46*c**3/3 + c**2/2 + 42*c. Let v be p(-1). Suppose 6*x = -v + 393. Which is smaller: 49 or x?
49
Let r be ((-4)/4 - -1)/3. Suppose -4*l - 9*l + 325 = r. Is l greater than 25?
False
Let g = -0.17523 + -253.82477. Which is greater: 29 or g?
29
Suppose -r - 3*r = -3*k - 20, -2*r = -10. Let n be (6 + -3 + k)*-1. Let o be (n - 5/(-2))*2. Which is greater: 2/107 or o?
2/107
Let j = -1580 + 353919/224. Suppose 2*u + 4*u = 0. Which is greater: j or u?
u
Suppose -3*o - 33 = -3*y, 0*y - 5*y - 53 = 4*o. Let u be ((-58)/(-5))/(o/(-90)). Is u != 86?
True
Let t be 0 - 1 - (0 - -1)/(-1). Suppose 0 = 2*r + 4*b + 4, t*r + 2 = 4*r - 2*b. Suppose 5*k + r*k = 2*k. Which is bigger: k or -15/11?
k
Let l be -299*(-5 + 4)/(19/133). Is 2093 equal to l?
True
Let k(f) = -2*f**3 - 66*f**2 + 12*f + 255. Let y be k(-33). Which is smaller: y or 3?
y
Let p = 3496 - 3477. Let k(x) = -x. Let l be k(3). Let a(b) = -5*b + 3. Let f be a(l). Is f > p?
False
Let n be (34/(-255))/((-5)/(-3)). Let o be (-3)/(9/(-105))*-1. Let c = o + 35. Which is greater: n or c?
c
Let j = 0.1132 + 0.2586. Let z = -34.0318 + j. Let o = z - -0.66. Are o and -2 nonequal?
True
Let a = -2/7029 - -21097/35145. Which is smaller: a or 2/9?
2/9
Let q be 8 - 5 - 0*3/3 - 4. Suppose -86 = 3*c - c. Which is smaller: q or c?
c
Suppose 18*g = -9*g - 23*g. Is g at most -9/532?
False
Let y be (-856739 - 2) + (2 - 1) + 1. Let p = 5986986/7 + y. Let t = 1459 + p. Which is smaller: t or 5?
t
Suppose -207*k + 765 = -212*k. Let b = k - -154. Which is smaller: -1/73 or b?
-1/73
Suppose -3*w = -6*m + 2*m - 10, -6 = -w + 2*m. Let u be 1/(25/15)*w/3. Which is smaller: 0.041 or u?
u
Let s = -0.6 + 0.68. Let q = -158.2 - -153. Let a = q - -4.2. Does s = a?
False
Let o(t) = t - 17. Let a be o(0). Let j(n) = -n**3 - 15*n**2 + 14*n. Let m be j(-16). Suppose m*d - 22*d = -160. Which is smaller: d or a?
a
Suppose 0 = 11*n - 7*n. Suppose -i + 2*i - 3 = n. Let l be (48/(-18))/(2/i). Is l at most -5?
False
Let o(m) = m**3 + 7*m**2 + 7*m + 8. Let f be o(-6). Let s = 196 + 72. Let r = 273 - s. Which is smaller: r or f?
f
Let t(m) = 2*m**2 + 6*m - 26. Let o be t(4). Let b be 140/o*2/4. Which is bigger: b or 2?
b
Suppose 5*y - 131 = -26. Let v = 4582 + -22811/5. Which is smaller: y or v?
v
Let z = -6.66 + 1.52. Let s = z + 3.14. Which is bigger: 0.9 or s?
0.9
Let l be 52*(-2)/(-12)*294/(-28). Let s = -451/5 - l. Is s >= -2/9?
True
Suppose -2*x + 40 = -x. Let j be -80*(-12)/60*(-9 + -1). Let y be (j/(-14))/((-44)/(-154)). Is y < x?
False
Let p be (-6)/2 - (-2 + 26/(-13)). Which is smaller: p or 86?
p
Suppose -5*c = 3*c - 124*c + 2784. Which is smaller: c or 27?
c
Let z(o) = 15*o - 15. Let m be z(3). Let a = -33 + m. Let t be a - (-6 + -3)*6/(-36). Which is greater: t or -4?
-4
Let g = 448.1 + -449. Let a = -113.1 + 119. Let v = 6 - a. Are g and v non-equal?
True
Suppose 81 + 53 = -2*s + n, -n = -s - 69. Suppose 5*r - t - 45 = 355, 3*r = 5*t + 218. Let q = r + s. Is 17 > q?
True
Let h = 561 - 559. Let i be (-3)/h + 11/(-2) + 6. Let p = -25847/50 - -517. Are p and i equal?
False
Let k be ((-69)/319 - (600/(-33) - -18))*129. Are -5 and k equal?
False
Let c = 7 + -20/3. Let m = -2341.4 - -2658.4. Is m greater than or equal to c?
True
Let l = -39 - -94. Let v be (-10)/l*(-2 - (-102)/52). Which is smaller: -1 or v?
-1
Suppose 2*k - 2*p - 672 = 0, -6*k - 4*p = -4*k - 684. Let b = k - 177. Which is greater: 162 or b?
162
Let j be ((-18)/27 + 1)/((-1)/(-3))*1. Let x be (-1602)/168 - (-2)/7. Let c = 623/68 + x. Is j at least c?
True
Let s = 0.1 - 0.2. Let t = -0.2 - s. Let n be (-10 - 3440/(-340))/((-36)/(-51)). Which is bigger: t or n?
n
Let 