86. Let b = r - -397/6. Which is smaller: 0 or b?
0
Suppose 168*i = -234*i + 118*i - 284. Is i at least as big as 4/11?
False
Suppose 11*t + 24 = 3*v, 0 = 4*v - 132 + 100. Which is smaller: 97/137 or t?
t
Let o = 105 - 111. Let j be (2/74)/(-2*o/(-72)). Is 1 < j?
False
Let w(g) = g + 1. Let o be w(-2). Let j be (-2 - -4)/o*-1. Suppose 0 = k + j. Which is smaller: -3/4 or k?
k
Let z = -12.57 + 4.77. Let t = z - -7. Let n = 0 - -0.3. Is t < n?
True
Let x = 11648 - 11655. Are x and 412 equal?
False
Let t(m) = -m**3 + 10*m**2 + 16*m - 18. Let h be t(11). Suppose -2*f = -2*w - 46, -f = 2*w - 0*f + h. Which is greater: w or -24?
w
Let v be -1 + (-20)/10 + 7 + -3 + 1. Are v and -884 nonequal?
True
Let n = 15919 - 14886. Which is smaller: n or 1032?
1032
Suppose -d - 7 = j, -2*d - 39*j = -34*j + 32. Let o = 489 + -9289/19. Which is greater: d or o?
o
Let i = 40962 + -31868421/778. Which is smaller: 1 or i?
i
Suppose 11 + 2 = 4*y - 3*o, -3*y + 3*o = -9. Let b = -38 - -37.37. Let v = 0.13 + b. Which is bigger: v or y?
y
Let n = 0.19 + 16.91. Let f = n - 17. Which is bigger: f or -37/3?
f
Let v = -213311387/11571 - -18435. Which is bigger: -1 or v?
v
Let x be ((-3)/(-1123))/((-35)/4 + 8). Which is smaller: 0 or x?
x
Let b = 566 - 568.5. Let l = b - -2. Is l equal to -42?
False
Let n = 532 + -540. Are -0.243 and n non-equal?
True
Let i(f) = -f**2 - 8*f - 29. Let u be i(-10). Which is smaller: u or -61?
-61
Let y(d) = -d**2 - 5*d + 106. Let i be y(-13). Suppose 0 = -i*u + 6*u + 56. Which is smaller: u or -94/7?
u
Let o = 15777/31 + -509. Let p = 83/155 - o. Let m = -14 + 20. Are m and p nonequal?
True
Let a = -35.3 - -35.258. Let r = a - 8.958. Is -8 greater than or equal to r?
True
Let a = 1075.00482 - 0.00482. Are a and -0.8 unequal?
True
Suppose 4*p = 3*k - 4078, 61 = 4*p + 41. Does k = 1371?
False
Suppose -5*r - 20 = 2*w + 3*w, -5*w - 26 = 3*r. Is 6/47 at least as big as w?
True
Let q be ((-4)/3)/(19 - 25). Suppose -5*i + 4 = -v, -3*v - 5*i + 1 = -7*v. Suppose 3*k - 4*n - v = 2, -1 = -k + 3*n. Is q bigger than k?
False
Let c(t) = 10*t + 2. Let n be c(0). Let h be (-4)/n*2*(-1)/(-2). Which is bigger: 74 or h?
74
Let i(y) = -10*y**2 + 2*y - 4. Let n be i(-4). Suppose -l - 32 = 3*z + 4*l, -6 = -2*l - 20. Which is smaller: z or n?
n
Let a = 40225 + -1810241/45. Is a < -3?
False
Let r(f) = f**3 - 9*f**2 - 10*f + 58. Let j be r(10). Let i = -325 + j. Are i and -266 nonequal?
True
Let w(d) = d + 47. Let h be w(18). Suppose h*u = 60*u - 25. Let g be 7 - (3/9)/(u/(-45)). Which is bigger: g or 17/6?
g
Let x = -38.882 + -0.118. Let j = x - -4. Let z = j - -35. Which is smaller: 3 or z?
z
Let n be 3/(-3) + 3 + -4. Suppose 0 = -11*v + 7*v - w + 120, -4*v + 3*w = -104. Let c = v + n. Which is bigger: -1 or c?
c
Let d be 2/(-16)*14 + 0. Let k(o) = o**3 - 26*o**2 - 3. Let h be 2 - (110/(-5) + -2). Let p be k(h). Is p at least as big as d?
False
Let k = -13624 - -15239. Which is smaller: k or -0.1?
-0.1
Let h(s) = s**3 + s. Let c be h(-1). Let j = -29749 + 208244/7. Is c at least j?
False
Suppose -35*b + 24*b = 2*b + 21*b. Which is greater: b or 10/1577?
10/1577
Let v = 112 - 110. Suppose 0 = v*o - 2 - 0. Which is smaller: -2/45 or o?
-2/45
Let i = -29577 + 29578. Is i at least as big as -2/5189?
True
Suppose -8*z - 42 = -15*z. Suppose 14 = 4*c - 2*u, 5*u = z*u + 5. Is c at least as big as 1/104?
True
Let q(z) = 267*z + 28. Let o be q(0). Suppose -5*i + 4*b = 2*b - 209, 0 = 5*i - b - 207. Let l = o - i. Which is bigger: -14 or l?
l
Suppose -h + 13 = -3*j, -7*h + 3*j + 17 = -2*h. Let f = -202/37 - -43945/8029. Is f > h?
False
Let p(b) = -391 + 166 - 5*b + 20*b**2 - 2*b**3 + 168. Let u be p(10). Is u > -108?
True
Let q be 5/(-4) - (-78)/(-52)*5/(-30). Is 7/130 greater than or equal to q?
True
Suppose f = -4*o - 111, -5*f - 406 = -f - 3*o. Let a = -106 - f. Let b be (-2)/6*a/(-4)*-2. Is b at most 46?
True
Suppose -q - 6 = -2*d - 4*q, 3*d = -4*q + 8. Let x = 556697/219 + -2542. Which is greater: d or x?
d
Suppose 4*f - 3*l - 9 = 0, 4*f = 4*l + 1 + 3. Let g be f/(-24) - (-834)/8. Suppose -2*c + 10*c - g = 0. Which is greater: 14 or c?
14
Let x = 8.1 - -53.7. Let p = -69 + x. Is p at least as big as -1?
False
Let a = 33 - 29. Let t be (a - 60/14) + (-4)/(-14). Suppose -2*k - 4*u - 79 = u, -4*k - 5*u - 163 = t. Which is smaller: -2/3 or k?
k
Let k = 2/11071 + 43922/2003851. Suppose 5*v - 3*m = -0*m + 2, 0 = 2*v + m - 3. Which is smaller: v or k?
k
Suppose -99 - 1725 = 456*z. Let l be -1 + (-2)/6*-2. Which is bigger: z or l?
l
Suppose -474*c = -510*c + 105912. Which is greater: c or 2944?
2944
Suppose -25 = -5*z, -j - 21 = -3*j - 3*z. Suppose -j*i - 2 + 2 = 0. Which is bigger: i or -1/44?
i
Let c be (-2)/35 + -2 + 6 + -4. Let f = c + 41/105. Let m = 87 - 93. Which is smaller: m or f?
m
Suppose 5*l = -0*l + 5. Let a = -12176 + 109700/9. Let g = 13 - a. Is g greater than l?
False
Suppose 0 = -24*y + 34*y - 30. Let v be 7 + (-153)/27 + 299/y. Is 101 at least v?
True
Suppose 96*l + 3 = 97*l. Suppose 0*g = 5*g + 5, l*g = -4*j + 29. Which is smaller: -1 or j?
-1
Suppose 11*o + 63 = 8*o. Let t = -2 + -66. Let u = 46 + t. Which is greater: o or u?
o
Suppose n + 3*g + 119 = -3*n, -3 = -g. Suppose 3*q = -177 - 183. Let t = q - -89. Is n <= t?
True
Let y be ((-2)/(-5))/(-9 + (-731)/(-85)). Are y and 1/2091 nonequal?
True
Let n be 64/10 - 2/5. Let s be (9/n)/(27/(-684)). Is s > -39?
True
Let c be 6/(-4)*(-152)/(-6) + 3. Let s be 2 + c/15 - 1070/(-15). Which is smaller: 70 or s?
70
Suppose -4*p - 20 = 0, 7*p + 701 = 3*n + 6*p. Let m be (-8)/6 + n/192. Is 5 bigger than m?
True
Let i = 85809/7 - 12258. Which is bigger: i or -171?
i
Let x(n) = -5*n + 3. Let y be x(9). Let r = y - -54. Suppose z + 29 = -5*u + 9*u, 3*z + 3*u = -r. Which is smaller: -11 or z?
-11
Let y be (-6 + 2)/(-6 + 2). Let m be (y + (-6)/10)/(64/7520). Is 0 at most as big as m?
True
Let b be -8706*(-16 + 1995/126). Is b at least as big as 1452?
False
Let g(w) = w**3 + 4*w**2 - w - 2. Let i be g(-4). Let z = 12.154 + -19.154. Is i greater than or equal to z?
True
Let p be ((-9564)/513)/((-44)/(-6)). Let g = p + 46/19. Suppose -2*r + 17 = -3*d, 0*d = 3*r + 4*d + 17. Which is greater: g or r?
r
Let d(u) = -292*u + 1169. Let n be d(4). Does 2/1971 = n?
False
Suppose 10578 - 43778 = -20*p. Which is smaller: 1659 or p?
1659
Let q = 4565 + -5103. Is q less than or equal to -539?
False
Let w(b) = -220*b**3 - b**2 - 1. Let f be w(-1). Let j = 218 - f. Which is bigger: j or 2?
2
Suppose -78*h - 4078 = -76*h - 4*k, 2*h + 5*k = -4069. Is -2037 smaller than h?
False
Suppose -2*p - k + 1 = 3, 2 = -2*p - 2*k. Let o be 290/(-115) - (-7 - -5). Are p and o nonequal?
True
Suppose -8*o = -13 + 29. Let i be (-13)/2730 - o/28. Which is greater: 0 or i?
i
Suppose -101*h + 12185 + 5254 = -21951. Is h bigger than 390?
False
Let w be (4365/(-50))/((-22)/44). Which is smaller: w or 174?
174
Let p = -10.1 + 9.923. Let g = p + 0.067. Let f = g + -6.89. Is f less than -5?
True
Suppose w + 3*z = 7, 4*w + 4*z = -0*z - 4. Let f(v) = v**3 + 4*v**2 - 4*v + 6. Let m be f(w). Let i = 21968 - 21978. Is m bigger than i?
True
Let a = -1/548795 - -3533142217/3841565. Which is smaller: 920 or a?
a
Let t be (4*7/48)/(1/(-75)). Let g = 410 - 454. Is t >= g?
True
Let w = -564/793 - -3152654/4430491. Let r = w - -1731964/16761. Is 104 greater than or equal to r?
True
Suppose -7 = -7*q + 14. Let l be (-88)/q + (-4 - -2 - 3). Which is greater: -1 or l?
-1
Let t = -7078 + 7160. Which is smaller: t or 6?
6
Let h = -854/2427 - -15/809. Let s = 203/374 - 10/17. Is s greater than h?
True
Suppose 37*s - 286179 - 126849 = -40*s. Which is smaller: 5365 or s?
s
Let s = -5682 + 5693. Is s smaller than 7.5?
False
Let b = -12 + 8.6. Let w = 4.4 + b. Let a = -6.9 - -1.9. Which is smaller: w or a?
a
Let y = 2815 - 2907. Which is smaller: -16 or y?
y
Let f be (-117 - -35)*(-1 - -2). Let h = 7 - 7. Is h greater than f?
True
Let w(t) = -t**2 + 4*t - 22. Let p be w(10). Let b = 199 + p. Suppose -2*a - 10 = 0, -2*s + b = -4*s + 3*a. Which is smaller: -65 or s?
s
Suppose 1943*x = 2040*x - 7469. Which is smaller: x or 9/5?
9/5
Let l = 0.283 + 10.637. Let c = 0.08 + l. Let a = 7/24 + 3/8. Is a less than or equal to c?
True
Let g = -5/16431 + 73889/26831823. Is 1 at most g?
False
Let r = 