1/8 - -916. Which is smaller: n or a?
a
Let a(d) = d**3 - 68*d**2 + 164*d - 2116. Let m be a(66). Is m smaller than -218/61?
True
Let l = 18634/5 - 58441/20. Which is greater: 805 or l?
805
Let s = 1293/5 - 1757167/6795. Which is bigger: s or 0?
s
Let a(w) = 18*w + 54. Let x be a(-3). Suppose -b = -x*b + 4*c + 13, c + 10 = 2*b. Is b less than or equal to 12/5?
False
Suppose -4 = n + 5*b, 2*b = -n - b. Let m be (-1)/(-76)*-2*n. Let d = -41 - -40. Is m greater than or equal to d?
True
Let i be 2 + 2/(-4) + 56/(13390272/(-358812)). Which is greater: -0.2 or i?
i
Let f be (-438)/(-10) - 11/(-55). Let p = f + -42. Suppose 3*t = -3*x - 24, p*x + 3*t + 26 = -t. Are x and -18/5 equal?
False
Let s = -5 - -5.3. Let j = -5.709 - -5.7. Let c = j - -0.109. Is c at least s?
False
Let o = -7.1618 - -7.16. Let k = o - 2.9982. Which is smaller: 10 or k?
k
Let n be (-550)/((15 + (-1221)/81)/(-1 + 2)). Does n = 7423?
False
Let v = -12088 + 12091. Which is bigger: v or -0.0939?
v
Let f be ((-4)/10)/((-13)/65). Suppose -2*v + 20 = 2*v - 5*o, 4*v - 20 = -f*o. Suppose 4*i = -2*n - 6, -i + 6*i = -v*n - 10. Is n != -3/43?
True
Let z be 273/(-259)*1/41*(-6)/(-9). Which is bigger: z or 0?
0
Let q = -7.1 - -9.28. Let n = q + -2.1. Let v = 0.19 - n. Which is smaller: 2/3 or v?
v
Let z(s) = -s - 5. Let w be z(0). Let x be (-285)/45 + (-6)/(-27) + 6. Is w smaller than x?
True
Let b(k) be the third derivative of 3*k**4/8 - 3*k**3/2 + 8*k**2. Let c be b(4). Let y(n) = n**2 - 3*n + 8. Let z be y(6). Which is smaller: c or z?
z
Let s(v) be the second derivative of -v**3/6 + 10*v**2 + 2*v + 88. Let n be s(14). Which is greater: 19/3 or n?
19/3
Let a = -11429 + 399454/35. Let k = -51/35 - a. Which is smaller: k or 15?
k
Let g be (-18)/(-20) + (-4)/8. Suppose 4*z - 4*m = 4, 5*m - 2 = -7. Suppose x + 5*p - 14 + 15 = z, -2*x - 5*p - 2 = 0. Which is greater: g or x?
g
Let t = -0.12305 + 0.15305. Let z be (-3)/(-5)*(-20)/(-8). Which is smaller: t or z?
t
Let w = 637143183391/2088 - 305145197. Let q = w - 52/9. Is q greater than 1?
False
Let r be (-3)/(-2)*50/(-30) - -80. Let d = r + -700/9. Which is smaller: d or -1/2?
-1/2
Suppose 4*z = -28, 0 = -334*r + 331*r + 3*z - 81. Let t = 1/3427 - 822487/23989. Which is greater: r or t?
r
Let w(d) = 31*d + 330. Let g be w(-10). Is g at least as big as 30?
False
Suppose -3*h = -18, 4*d + 7*h - 14568 = 5*h. Which is greater: d or 3638?
d
Suppose 143*q - 147*q = -3*a - 13698, -2*a - 9136 = -4*q. Which is smaller: a or -4561?
a
Let j = -4 - 170. Let c = j + 165. Is c at least as big as -4/3?
False
Suppose 2*r + 2 - 4 = 0. Suppose -p = 3, 3*p - 8 = 2*c + r. Suppose 5*x = -j - 35, -j + 3*x - 35 = 4*j. Which is smaller: j or c?
j
Suppose -5 = -4*h + 5*i, h - 1 = 5*i - 4*i. Are h and 12/155 unequal?
True
Let j = -2580122/11 - -234930. Is j bigger than 373?
True
Let z = 0.5726 - 0.5726. Which is smaller: -164/13 or z?
-164/13
Let x be 3 + (-3430*3/(-2168) - 4)*-4. Is x bigger than -1?
True
Let y = -1266/5 + 2127/10. Let i be 82/(-6)*15/5. Is i < y?
True
Suppose -4*j = -5*v, 31 = -2*j - 5*v + 1. Let k be (124/(-12) - -10)/(j/14). Let y be (0 - (-1 + 0))*1. Which is smaller: y or k?
k
Let u = -2102 + 3956. Is 2 less than or equal to u?
True
Let y(t) = -14*t**3 + t**2 + 2*t + 4. Let u be y(-2). Let p = u + -91. Is p greater than 27?
False
Let h = 3140.68 - 3143.68. Let l = 1.62 + -165.62. Is h greater than or equal to l?
True
Suppose -14485 + 97029 = 14*v. Which is greater: 5895 or v?
v
Let o(j) = 517*j + 5684. Let f be o(-11). Let n be 5/50*(1 + -4). Is f greater than n?
False
Suppose -17*t + 5113 - 6065 = 0. Let f be 1*2/(-8)*-1. Which is greater: t or f?
f
Let c(o) = 12*o**2 - 27*o - 122. Let f be c(7). Which is smaller: f or -7?
-7
Suppose -27*w - 2*b + 726 = -23*w, w - 5*b - 198 = 0. Are w and 183 unequal?
False
Let g(p) = -137*p - 78. Let t be g(-3). Let u = 312 - t. Which is smaller: u or -18?
u
Suppose -x - 6*q + q - 143 = 0, 4*x + 5*q + 542 = 0. Let z = x - -174. Which is greater: 39 or z?
z
Let g(v) = 2*v + 20. Let w be (-5)/5*-1 - 10. Let n be g(w). Let q be (n/(-35))/(40/(-150)). Is q not equal to 0?
True
Let q = 1.84 - 191.84. Let n = q + 152. Which is bigger: n or -1/4?
-1/4
Let o = -2097 + 2079. Is o greater than or equal to -16?
False
Let o = 1.72 - 5.72. Which is bigger: o or 1/232?
1/232
Suppose 4*s = 2*y + 6, 2*s - 20 = -5*y + 1. Suppose y*q + 2 = 8. Let j be q*-3*(5 + 35/(-15)). Is -17 greater than j?
False
Let x = -8378 - -8378. Is -2/21487 bigger than x?
False
Let g = -1.776 - -2.076. Is g at most -8.85?
False
Let z = -2125 - -6373/3. Which is smaller: z or -1574?
-1574
Let n be 6/15 + (-3511)/190. Let r = n + 18. Suppose 0 = -36*t - 140 + 140. Are t and r nonequal?
True
Let y = 34420 - 33704.04. Let a = y + -716. Which is greater: a or 7?
7
Let c be 133/9 + 42/189. Let m(x) = -2*x**2 - x + x**3 - 307 + 309 + 6*x + 10*x**2. Let v be m(-7). Which is smaller: c or v?
c
Let u be (-605)/28*-2*6/(-18). Let h = u + 85/6. Which is smaller: h or -1?
-1
Let b be (9 + -3)/(-2) + -25. Let d be 4/32 + 418/(-16). Let w be (-4 - -1) + d + 1 + 2. Is b less than w?
True
Suppose 0 = 297*w + 225*w + 67*w + 4123. Let z(b) = -b**3 + 2. Let n be z(2). Is w at most n?
True
Let m be 4 + -7 - 14 - 3/(-12). Let k = -343/20 - m. Is -0.118 greater than k?
True
Let c be 498/4*(-24 - -22). Let r = 249 + c. Is r <= -3/17?
False
Let b be 10/6 - 4638/18. Let k = -248 - b. Is 10 equal to k?
False
Let v(k) = 2*k**3 - 16*k**2 + k - 4. Let s be v(8). Let y be (16/(-28))/(-2 - s/1). Is y equal to 1?
False
Let n be (-4)/14 - (-32552)/(-8372). Is -4 greater than n?
True
Suppose 2*u + 5*o + 139 = 0, -u + o = 6*o + 72. Let q be 0 - -2 - -1 - u. Let t = q + -10. Which is bigger: 61 or t?
61
Let i = -2.6 + 23.5. Let q = -24 + i. Which is smaller: 0.2 or q?
q
Let p(x) = -5*x**2 - 14*x - 13. Let c(r) = r**2 + r. Let s(n) = 4*c(n) + p(n). Let u be s(-9). Let d = u - -10. Is d smaller than 7?
True
Let j = 16009/8 + -2007. Which is smaller: j or -6?
-6
Let g = 561 + -816. Let x be (-1)/(-6) + g/(-90). Let c be 590/(-70) + x/7. Is -8 < c?
False
Let v = 15.079 - 0.079. Let d = v - 22. Let n = d + 7. Is n greater than 10/17?
False
Let p = 93 + -57. Suppose -p = -h + 81. Which is bigger: 1/2 or h?
h
Suppose 6 - 16 = -s. Let o = s - -10. Suppose -15 = 5*j - o. Which is smaller: j or -1/43?
-1/43
Let v = -263802/13 - -20282. Which is smaller: v or -10?
v
Let o be (4 - 3)/(5/100). Suppose -o*i = -22*i - 54. Which is smaller: i or -288/11?
i
Let l be -7 + 3 + 1 - (-7 + 0). Suppose -4 = q + 4*q + 3*m, 0 = l*q - m + 10. Let t = 36742/17 - 2162. Which is greater: q or t?
t
Suppose -2 = -182*p + 181*p. Let l be -3 + (p/(-10))/((-26)/650). Let q be (-2)/(-4 + 0) - -1. Is l < q?
False
Suppose -552 = -71*r + 63*r. Which is smaller: 27 or r?
27
Suppose -50 = 12*z - 62. Which is bigger: z or 1/843?
z
Let m(r) be the first derivative of 2*r**2 - 12*r - 57. Let g be m(3). Which is greater: -5/6 or g?
g
Let z(p) be the second derivative of -p**4/12 - p**3/3 + 3*p**2/2 - p. Let r be z(-3). Let c = -725/277 + 6973/2770. Is r less than or equal to c?
False
Let f = 7.6 - 72. Let g = 413 - 349. Let d = g + f. Is d > 9?
False
Suppose 19*p - 22*p - 180 = 3*i, 4*i + 236 = -2*p. Let c be i/(-117) - (224/72 + -3). Let j = 2 - 1. Which is greater: c or j?
j
Let a = 296927/953457 + -83/267. Which is greater: a or 1?
1
Suppose -t + 5*n + 42 = 0, 3*t - 7 = 5*n + 79. Suppose -75*d + t*d + 424 = 0. Let g = -5 - -14. Which is greater: d or g?
g
Let a be (2 + 12/(-4))*30/(-1). Suppose 3*g + n = 13, 5*g = 3*n + a + 1. Suppose -4*q = -g*q - 1. Is 3/7 > q?
True
Let z(b) = 5*b**2 - 38*b - 11. Let g be z(8). Suppose -3*p + 41 = 5*j, -g*p + j = -2*p - 17. Are -8 and p equal?
False
Let w be (-11 - (-456)/40) + (-1245)/925 + 1. Which is bigger: -311 or w?
w
Suppose 1 = -5*w - 14. Let f = -0.53 - 84.47. Let m = 83 + f. Which is smaller: w or m?
w
Let l be (-278)/(-728) + 2/(-8). Let x = 131860 - 131861. Is l not equal to x?
True
Let r = 6444 - 5446. Do 1000 and r have the same value?
False
Suppose -714*y - 9760 = -554*y. Which is bigger: -81 or y?
y
Suppose -15 = 3*m, -5*v + 8 = -4*m - 42. Let h(j) = j**3 - 9*j**2 + 6*j + 13. Let q be h(v). Let d = q - -72. Does 13 = d?
True
Let a(j) = -64*j**3 + 6*j**2 + 12*j. Let w be 