 8. Let x be b(2). Let z = -674 + x. Is z >= f?
True
Let p be 41120/(-135) + (-28)/(-42). Let u = -304 - p. Suppose -4 = -4*h - 8. Is h at least u?
False
Suppose -7 = 4*k + 9. Let j be (k/(-14))/(12/21). Let y = -32033 - -128131/4. Which is smaller: j or y?
y
Let r(h) be the third derivative of 3*h**5/10 - h**4/12 - 4*h**2. Let n be r(2). Let u be 1/(-2) - ((-3645)/(-6))/(-9). Which is smaller: n or u?
u
Suppose -119 = 4*r + 3*r. Let u(j) = j - 8. Let k be u(r). Let p be (k/(-10))/(6/(-4)). Which is greater: p or -3?
p
Let f be 2/((-1332)/(-268) + -5). Which is smaller: f or -49?
f
Let b = 72 - 127. Let m be (-31616)/(-43680) + 4/(-70). Which is smaller: m or b?
b
Let j be 504/112 + 1/2. Suppose 2*r - 8*s + j*s = -101, 5*s - 54 = r. Which is greater: r or -50?
r
Suppose 3667*p = 3704*p - 616679. Are p and 16666 non-equal?
True
Let a = -12276 + 12275.9. Is 1802 >= a?
True
Let x = 22.59 - 19.59. Is x <= -296?
False
Suppose 0 = -3*b + 66 - 3. Let a be b/(-6)*16/(-28). Suppose -a*s + 28 = m, -3*s + 4*m - 6*m = -44. Which is greater: s or 10?
s
Let d be 6/150*5*10 - -1880. Suppose d = -40*p - 238. Do -2 and p have the same value?
False
Suppose -180 = -4*d + 4*j, -5*d + 38*j = 36*j - 210. Which is smaller: -80 or d?
-80
Let c(u) = -11*u - 46 + u**2 - 43 + 143 - 48. Let t be c(10). Which is smaller: 0 or t?
t
Let t(m) = 5*m - 4. Let y be t(4). Let c be 666/48 - (-1710)/(-912). Do y and c have the same value?
False
Let j(c) be the second derivative of c**3/3 + 21*c**2/2 + 8*c. Let o(a) = -a**2 + 10*a. Let z be o(11). Let m be j(z). Which is bigger: 1/68 or m?
1/68
Let c = 9984 + -10039. Which is smaller: c or 13?
c
Let g = 4068/5 + -813. Is 1367 bigger than g?
True
Suppose 2*g - m = 3*g + 168, 2*g - m = -330. Let c be 110/(-44)*(65 + 1). Which is smaller: c or g?
g
Let f = -1690 - -1690.039. Is -1 != f?
True
Let i(g) = 2*g**2 - 56*g - 50. Let z be i(29). Let b be -1 - (-13 + 10) - z/5. Which is bigger: 163 or b?
163
Let p(k) = 13*k - 19. Let n be p(2). Let z be (60/(-38))/((-2)/8). Is n > z?
True
Suppose 0 = 3*y - 4*p - 2877 + 355, 4*y - p - 3354 = 0. Which is smaller: 837 or y?
837
Suppose 172 = 5*a + 7. Let y = -39 + a. Let s be y/8 - (-34)/56. Are -2/5 and s equal?
False
Let m be (2/(-3))/((-6)/9). Let r be (((-27)/168)/((-27)/(-18)))/((-216)/(-21)). Which is smaller: m or r?
r
Let r = -169912/35 + 23556/5. Is r greater than -144?
True
Let r = -1 + 2. Let u = -18408 + 18405. Let b be r*(0 + u - -3). Is b > -0.075?
True
Suppose 3*f - 912 = 4*n + 2584, 0 = 3*n + f + 2622. Which is greater: -1749/2 or n?
n
Let q = -0.04 - -118.04. Let m = -102 + q. Is 0.1 equal to m?
False
Let x = -669157 - -469387. Let k be x/(-225) - (-2)/6. Let l = k + -885. Is 2 at most as big as l?
True
Let b = -50242/83559 - -296/483. Let l be (-2 - -5)*2/6. Is b at most l?
True
Suppose 14*t - 437 - 423 = 57*t. Which is bigger: t or -14?
-14
Suppose -3*b - 69 = -4*b - u, 4*u = 2*b - 174. Which is smaller: 145 or b?
b
Let d be (-8)/20 - 34/315. Let m = d + 2/9. Which is smaller: m or -4?
-4
Let i = 582 + -358. Let d be 1 + (-3)/6 + (-124)/i. Let t(j) = -j**2 - 6*j + 6. Let u be t(-7). Which is bigger: u or d?
d
Let s be 171/6*(-6)/15. Let z(l) = 13*l - 69. Let d(i) = -14*i + 67. Let u(n) = -6*d(n) - 7*z(n). Let j be u(13). Which is smaller: s or j?
s
Suppose -l - l = 2*o - 608, -1510 = -5*o + 5*l. Let g = o - 344. Which is smaller: g or -36?
g
Suppose -11*q = 8*q - 12*q. Suppose -4*v + 258 + 26 = q. Is v >= 69?
True
Suppose 0*h + 5*c = 3*h - 41, 4*h - 2*c = 50. Let z(g) = -g**3 + 7*g**2 + 16*g - 53. Let r(i) = -20*i - 52. Let n be r(-3). Let j be z(n). Is j >= h?
False
Let c be (-4)/62 - (-86400)/(-1395). Let s be 4/(-18) + 1668/(-27). Let n = c - s. Is 3 at most n?
False
Suppose -5*q + 121 = 4*m, -11*m + 59 = 3*q - 12*m. Suppose 2 = -q*j - 82. Which is greater: j or -11?
j
Suppose 5*y + 587 = -p - p, -2*y - 233 = -p. Let i = 95 + y. Let g be i/44 - (-2)/4. Which is smaller: 1/18 or g?
g
Let u = -36461/66 - -3211/6. Suppose -11*i = 15*i + 468. Which is smaller: i or u?
i
Let v be (-12 + (-312)/(-8))*2/(-159). Which is bigger: v or -1?
v
Let d = 653 + 75. Suppose 5*t + k - 3640 = 0, 9*k - 14*k + 2891 = 4*t. Which is smaller: d or t?
d
Suppose -3*x + n = -19, 3*x + 2*x - 21 = -n. Suppose -5*v + a - 13 = 0, 0*a = -x*v - 5*a - 25. Which is smaller: v or -1/20?
v
Let s(w) be the first derivative of w + 1/2*w**2 + 14. Let d be s(-1). Which is greater: -2/5 or d?
d
Suppose 0 = -5*a + 9 - 24, 98 = -5*s + 4*a. Let p be ((-27)/99 - 4/s)*1. Is 1 equal to p?
False
Suppose g + 7 = 3*s, -112 = -5*g - 132. Is s > -2/641?
True
Let v be (-7 - 4)*(196/22 - 9). Is -8/81 <= v?
True
Let i(k) = k**3 - 23*k**2 + 37*k + 51. Suppose -3*h + 48 = -5*f, f - 66 = -3*h - 0*f. Let x be i(h). Let a be 2*(0 + 212/(-8)). Which is smaller: x or a?
x
Let x = 1681 + -343. Let p = 1337 - x. Let y be ((-8)/10)/(0 - -34). Is p bigger than y?
False
Let f be 1*((-30)/(-76))/3. Let g(l) = 5 + 7*l - l - 8 + 4 - 20. Let s be g(3). Is s >= f?
False
Let r = -691 + 692. Let n = 92497/91740 + 7/8340. Let x = -9/22 + n. Is x greater than r?
False
Let v(i) = 51*i**3 + 3*i + 4. Let r be v(-3). Let n = r + 192099/139. Which is smaller: n or 1?
n
Let i be (-66)/4*(-2)/3. Let d = -185 - -187. Let u be 60/9*((-7)/(-2) - d). Is u at least as big as i?
False
Suppose -118*s - 68198 = -144*s. Which is smaller: s or 2622?
2622
Let a(x) = x**3 + 12*x**2 + 2*x + 23. Let k be a(-12). Let z be (1204/(-70))/(k/(-20)). Let f = z + 6541/19. Is f greater than -1?
True
Let i = -160383 + 1741117849/10856. Is i less than -1?
False
Suppose -k + 4 - 2 = 0, -3*g - 2*k = -739. Suppose -o - 75 = 5*t, -4*o - o = -t + g. Let f be ((-1)/9)/(4 + o/12). Does 4/9 = f?
False
Let u(a) = 17*a - 314. Let x be u(23). Suppose 14*g = 3*g + x. Let o = -1/20 - -17/20. Is o at most g?
True
Suppose 5*s + 5 = 0, -g - 106 = -4*g + 4*s. Suppose 5*f + 8 = 3. Let k be (f + 1 + -1)*(g - 32). Is k at least as big as 8/3?
False
Let c = 8866 - 8251.7. Let z = -615 + c. Which is bigger: -35 or z?
z
Let o = 73.991 - -0.009. Let k = 71.8 - o. Which is smaller: k or 4?
k
Suppose 4*f = 3*z + 5, z = -5*f + 2*z + 20. Let x be (-1562)/142 + (-2 - (273/(-12) - -4)). Is x != f?
True
Let y be (-10)/(-55) - (4074261/(-130779) + 0). Let m = -3/1321 + y. Is m greater than 32?
False
Let w = -7382 - -7381. Is -2/10699 greater than or equal to w?
True
Let x be (2/50)/((-2)/(-5)). Let q(u) = -u**2 - 1337*u + 9408. Let h be q(7). Which is smaller: h or x?
h
Let l(i) = i**2 - 12*i + 40. Let c be l(4). Let b be ((-86)/c + 1)*22/132. Is 2 bigger than b?
True
Let o(u) = 2*u**2 + 26*u - 9. Let y(l) = -l**2 - 13*l + 10. Let s(c) = 3*o(c) + 5*y(c). Let q be 0 + 0 + -1 - 10. Let k be s(q). Which is greater: -6/25 or k?
k
Let j = -3201 + 4287. Is j bigger than 1084?
True
Let o be (-325)/(-195)*(-114)/(-14). Which is bigger: o or 13?
o
Let i = -10846.7 - -10847. Are i and 527 non-equal?
True
Suppose 0 = -3*q - 3*c + 3138 - 1098, 32 = -4*c. Which is bigger: q or 689?
689
Let x = 0.1 + 0.1. Let u(j) be the first derivative of j**2/2 - 11*j + 56. Let z be u(5). Which is greater: x or z?
x
Suppose 2*p - 111 = 5*p. Let m = 2 - -63. Suppose 0 = m*s - 80*s - 15. Is s greater than p?
True
Let o(z) = -3*z + 21. Let w be o(6). Suppose -6 = -2*b - 16, w*f - 3*b = 33. Let q be -6 - -5 - (-4)/f. Which is smaller: q or -3?
-3
Suppose 3*b - 7 = -4*t, 5 = 2*t + 3*b - 0. Let n = -43079 - -1076978/25. Which is greater: n or t?
t
Let o(t) = 3*t + 5426. Let y be o(-90). Is 5153 < y?
True
Suppose 358 = -4*j - 9*m + 4*m, -5*j - 4*m - 452 = 0. Let a = 95 + j. Suppose a*l - 14 = -17. Do -3/7 and l have the same value?
False
Let b = -6/817 - -853/4902. Let g = -5/214 + -2095/1926. Is b at least g?
True
Suppose -3*z - 116 = 2*z - 376. Which is greater: z or 101/2?
z
Let v = -22890 - -22883. Let l = -0.4 + 0.2. Is l at least as big as v?
True
Let m = 492.52 + -468. Let o = -25.5 + m. Does o = -1?
False
Suppose 2*x - g + 4*g = -17, -3*x = g + 15. Let b be -5 - ((-8848)/(-444))/x. Is b greater than -0.05?
True
Suppose -5*k - 9 - 146 = -4*l, 5*l - 160 = -5*k. Let u = l + -223/6. Is u greater than -2?
False
Let j = 154 + -256. Suppose 7*q - 8*q + y = 106, 0 = q + 4*y + 91. Is q <= j?
True
Let w(h) = h**3 + 18*h**2 - 37*h + 36. Let y b