8.39. Let h = y + -92. Which is bigger: 2/7 or h?
h
Suppose 0 = 2*f + 27 - 33. Suppose -5*t + 5*a = -0*a - 15, -f*t - 4*a - 26 = 0. Let l be (5/20)/(t/18). Which is greater: -3 or l?
l
Let k(u) = -u**3 - u**2 + 10*u + 19. Let l be k(-3). Let a be -9 + l - (-47)/26. Which is smaller: 0 or a?
a
Suppose -5*x + 10*x = -55. Let n be (-2 - (-204)/9)/((-2)/(-6)). Let p = 51 - n. Is x greater than or equal to p?
True
Suppose 5*q + 332*t - 328*t - 30387 = 0, 2*q - 12156 = -t. Do q and 6080 have different values?
True
Suppose 10*l + 16460 = x, -4*l - 4226 = 2*x + 2358. Is l at most as big as -1646?
True
Let s be 30460/70 - (-1)/(-7). Is 2169/5 <= s?
True
Let s be 5 - (6 - 399/(-3)). Let d = -136 - s. Is 6 > d?
True
Let t = -53978855/8012 - -26949/4. Which is bigger: 0 or t?
0
Let s(l) = -96975*l - 388536. Let w be s(-4). Suppose r + 10 + 627 = 0. Which is greater: r or w?
w
Let g(k) = k**3 - 8*k**2 + 2*k - 16. Let y be ((-40)/(-5)*1)/1. Let x be -4*(y/(-4) + 0). Let f be g(x). Which is smaller: f or -1/5?
-1/5
Let w be ((-10)/50)/(7/(-14)). Let f be (0 - 1)/4 - (-60)/112. Which is smaller: f or w?
f
Let s = -14831/286923 + 3/7357. Which is smaller: s or 0.079?
s
Let u(b) = -2*b**3 + 2*b**2 + b - 2. Let f be u(-1). Let q be (6/9)/(f - (-20)/(-12)). Which is bigger: q or -4/41?
-4/41
Suppose 12739 = -11*l + 12750. Which is bigger: -4/1775 or l?
l
Suppose 0 = -c - 0*c + 4*y - 26, -2*c - 47 = -3*y. Let d(u) = 15*u + 306. Let a be d(-22). Are a and c non-equal?
True
Let f = -7260.696 - -7262. Which is bigger: -0.4 or f?
f
Let k = -200 + 199.62. Suppose 4*a = -5*j - 7 - 12, 5*a + 4*j = -17. Let r be 3*(-3)/9 - a. Which is bigger: r or k?
r
Let m be 88 + (-77)/(-22)*10/(-7). Which is smaller: m or 919/11?
m
Let z = -32093 + 32267. Let g(f) = -34*f + 5. Let j be g(-5). Is j smaller than z?
False
Let g be 0*(2/(-8) + (-20)/80). Let j(l) = l**2 - 2*l - 30. Let i be j(g). Let m be (-33)/4 + i/(-24). Which is bigger: -6 or m?
-6
Let u be 4/(-26) + (-275964)/(-7605). Which is smaller: 36 or u?
36
Let w = 2878.685 + -2879. Which is bigger: w or 0.1?
0.1
Let h = 288.35 - 283.35. Is h less than -2579?
False
Let x(y) = -279*y - 7532. Let t be x(-27). Is t at most as big as -6/9937?
False
Let w = 33 - 98. Let z = 154228 + -154291. Which is smaller: w or z?
w
Let j = 1251 + -1218.12. Let z = j - 32.7. Which is smaller: z or 3/4?
z
Suppose 4*j - 48 = 2*b, 6*b + 42 = 4*j + b. Let c(s) = -8*s + 54. Let f be c(j). Let o be f*(-5)/25*3. Is 30 at least o?
True
Let d be 24*52/(-16)*-1. Suppose -198968*k + 198982*k - 1106 = 0. Are d and k unequal?
True
Let n = -22 - -20. Suppose 3*v - 20 = -5. Suppose -2*w + 10 = 5*u, v*w + 2*u + 3*u - 25 = 0. Is n <= w?
True
Let m be ((-1659)/(-63))/(1/6). Let z = 128 - m. Let n be ((-63)/(-39) + -2)*(-18)/z. Is 1 greater than or equal to n?
True
Let c = 135 - 525. Let p = c - -390.5. Are 8 and p nonequal?
True
Let y be ((-30)/9)/((-2)/48). Suppose -136 + 448 = 3*v + 5*x, -286 = -4*v + 2*x. Is v smaller than y?
True
Let g = -446 - -158. Which is greater: g or -0.1?
-0.1
Let x be -8 + (-15456)/25944*(66/(-4) - 0). Which is smaller: 3 or x?
x
Let o = -5088547/18105 - -4216/15. Let w = o + -128063/13277. Which is bigger: -11 or w?
w
Suppose 4*l + 20 = 0, -5*p - 9510 - 4855 = -l. Is p bigger than -2875?
True
Suppose 69 - 1205 - 688 = -12*b. Are -6 and b non-equal?
True
Suppose 719 = 3*i + 737. Let d = i + -79. Is d >= -86?
True
Let x(u) = -u**3 - 25*u**2 - 30*u + 18. Let k be x(-23). Let o = k - -349. Is 3/313 at most as big as o?
False
Let d = 346.261 - 346. Let h = 1.261 - d. Is h smaller than 1/8?
False
Let y be ((-1269)/(-36))/(-2*3/(-4)). Suppose 0 = -3*p + 2*u + 214, -3*p + 3*u + 75 = -144. Let m = 92 - p. Which is smaller: y or m?
y
Suppose -7*n - 42 = -21*n. Let t be (-270)/60*8/n. Which is greater: 0.7 or t?
0.7
Let n = -0.48 + 0.252. Let r = n + 0.458. Which is smaller: r or 1?
r
Suppose t - 1375 = -v, v - 2909 + 157 = -2*t. Do t and 1377 have the same value?
True
Let k be (-2)/1 + -4 + 4 + 17. Let i = -14 + k. Let f be (24/130)/(3/50*5). Which is greater: f or i?
i
Let s = -1688 - 4393. Is s greater than or equal to -6082?
True
Let x = -214 + 190.4. Let h = 23.5 + x. Which is greater: -131 or h?
h
Let b = 2.427 + 0.045. Let j = -0.128 - b. Which is greater: j or -1?
-1
Suppose 0 = 371*x - 375*x + 396. Is x <= -6?
False
Let a = -1 - 28. Let k = 29.05 + a. Let f = -1.95 - k. Do -3/14 and f have the same value?
False
Let w = 253 - 204. Let f = 14 + 33. Is w smaller than f?
False
Let j = -0.88 + 6.18. Let a = j - 5.32. Let k = 3.93 - 3.9. Which is greater: k or a?
k
Let j = 1.83037 + -113.94937. Let u = j + 112. Which is greater: u or 1/3?
1/3
Let l = -1038 + 1192. Is l less than 154?
False
Suppose 31*d - 432 = 19*d. Which is greater: 17 or d?
d
Let z = 270 - 215. Let w = 317/6 - z. Which is greater: w or -1?
-1
Suppose -3*i - 740 = -4*u, -4*i + 4*u - 46 = 938. Which is greater: -237 or i?
-237
Let v(h) = h**2 + 5*h - 2. Let x be v(-6). Let r = -1195 + 1218. Suppose p + 4*p - r = -s, -x*s + 7 = 3*p. Is -2/9 <= p?
True
Let s = -51.51 + -1.09. Let j = s - -5.6. Let b = -91 - j. Is b != 0?
True
Let r(f) = -2*f**2 - 85*f - 8. Let b be r(-2). Is b at least as big as 151?
True
Let w(d) = -d**2 + 38*d - 214. Let q be w(7). Is q at most 307?
True
Let q(a) = -2*a - 6. Let m be 42/10 - 7/35. Suppose -m*s = -4*l - 9 + 1, 5*l + 4*s = 17. Let y be q(l). Which is smaller: -7 or y?
y
Suppose -h = -6 + 17. Let a(d) = -5*d - 13. Let n(l) = 36*l + 90. Let m(y) = -44*a(y) - 6*n(y). Let j be m(h). Are j and 0.1 equal?
False
Let d = 16 - 16.04. Let g = 15 + -14.59. Let r = g + -0.11. Is r <= d?
False
Let d be (-2*3/(-372))/(-2). Let v(y) = -16*y + 97. Let u be v(6). Which is greater: d or u?
u
Let h = 3200 - 3329. Are -25 and h equal?
False
Let o(h) = 3*h**2 + 6*h - 9. Let c be o(2). Let g be (c/12 - 349/20) + 2. Is g <= 3?
True
Suppose -33*m + 53*m + 146260 = 0. Which is smaller: m or -7314?
-7314
Let d(l) = 2*l**3 + 20*l**2 + 29*l + 156. Let g be d(-6). Which is smaller: -3 or g?
-3
Let c = 3 + -1. Let p = 889 + -885. Suppose -4*v + v = 3, -p*l = -v + 3. Is c <= l?
False
Suppose 2*x = q - 28, -5*q + 5*x + 115 = -0*q. Let v be (-78)/260*5/q. Which is smaller: -1 or v?
-1
Suppose -5*j - 3*c - 101 = 0, 4*c + c = 3*j + 47. Let m(h) = h**2 - 2*h + 10. Let b be m(0). Let o = j + b. Which is greater: -33/4 or o?
-33/4
Suppose -4*s + 54 = k, -3*k + 12*s + 87 = 9*s. Suppose -7*u - k = 204. Which is smaller: u or -32?
u
Let f(t) = -78*t**2 - 67*t + 34. Let c be f(-10). Let k = -3916993/552 - c. Which is smaller: -1 or k?
-1
Let u = -34.11 - -38.169. Let g = u - 0.059. Let y = 1.96 + 0.04. Which is smaller: g or y?
y
Let j = 86.1 + -6.4. Let g = -79 + j. Let b = -3 + 11. Is g bigger than b?
False
Suppose -5*o + 3*d = -571, -d - 107 = -o + 2*d. Let z(r) = -36*r + 7. Let g be (-1)/3 - 80/30. Let f be z(g). Which is bigger: o or f?
o
Let o(g) = 90*g**3 - 2*g**2 + 3*g - 1. Let y be o(1). Let d be ((-130)/y*-3)/(4/(-3)). Which is smaller: d or -3?
d
Suppose 7*k = -12*k - 38. Let s be 1/4*k + (-133)/2. Do s and -67 have the same value?
True
Suppose -76*n + 1173 = -7*n. Is -7 at least as big as n?
False
Let o = -185.5 + 186.5. Let w = 35 + -36.9. Is w >= o?
False
Let x(k) = -1779*k**3 - 27*k**2 + 28*k - 1. Let y be x(1). Which is greater: y or -1777?
-1777
Let c = -10 + 68. Let a = -29.3 - -19.6. Let z = -9.8 - a. Is c at most as big as z?
False
Let d be 12/(-22) + (-345)/(-330). Which is smaller: 65.4 or d?
d
Let c = -352 + 133. Let y = c + 277. Does y = 59?
False
Let z = -48229/321 - -276/107. Which is smaller: -147 or z?
z
Let s(x) = 352*x - 2529. Let j be s(7). Is j greater than -63?
False
Let q = -40 + 16. Let j = 1.1 + 29.9. Let n = -31.1 + j. Which is bigger: q or n?
n
Let f(x) = -6*x - 28. Let v be f(-5). Let r be -4*1 + (3 - 5 - v). Let k be r/12*1*(-6)/(-248). Which is smaller: 1 or k?
k
Let y = 1323 - 1318. Let p be (-285)/(-12) - 1/(-4). Suppose -2*q - 67 = r, r = q + p + y. Which is greater: q or -30?
-30
Suppose 2*a - 34 = 50. Suppose -5*l - 4*r - 89 = -987, 5*l = -5*r + 900. Let g = -135 + l. Which is greater: a or g?
g
Let k(a) = -2 - 1 - 1 + a. Let j be (-9)/(-15) - 2747/(-205) - 9. Let d be k(j). Which is smaller: -1/97 or d?
-1/97
Let l = -1566 + 1654. Le