86. Let o = 346/1295 - h. Which is smaller: o or b?
o
Let b(g) = -5*g**3 + 2*g**2 - g. Let n be b(1). Which is smaller: n or -46/15?
n
Let c = -24 - -27. Suppose o + 10 = c. Which is smaller: -9 or o?
-9
Let o be -7 - -144 - (3 - 2)*-3. Let l be 22/(-8) - -2 - 275/o. Is l at most as big as -4?
False
Let p = -2.8 - 0.2. Let m = 22 + -19. Let z = -2.8 + m. Which is smaller: z or p?
p
Suppose 0 = 4*p - 5*h, 2 = -h + 6. Suppose -6*s = -s + p. Let t be 70/(-45) + 1 + 1. Is t < s?
False
Let z be -9*(-1 + 2/6). Suppose -6*l = -4*l - z. Suppose 2*m - 2*h = l*h - 17, 12 = 3*m + 5*h. Is m != -5/8?
True
Let w be (-3)/(-3)*-4 + (41 - -61). Which is smaller: 97 or w?
97
Let n = -0.21 + 0.61. Let w = -19 + 18.6. Is n greater than or equal to w?
True
Let v be 5/25 - (1 + 224/(-180)). Is v > 0?
True
Suppose 19 - 119 = -10*i. Which is greater: 3 or i?
i
Let l = 42.1 + -42.1. Which is greater: 1/10 or l?
1/10
Let f(j) = 2*j**3 + 12*j**2 - j - 2. Let c be f(-6). Suppose 5*d - c*m = 15, -5 = -d + 5*m - 2. Is d at most -3?
False
Let v = 162 - 163. Let k = 0 + 1. Is k <= v?
False
Let b = 3.56 - 0.06. Let c = 45 - 41.6. Let t = b - c. Is t < 0.01?
False
Let v = -31 + 63. Let h = v + -38. Let z(d) = -d**2 + 12*d - 6. Let a be z(12). Is a less than or equal to h?
True
Let w(h) = h**3 + 103*h**2 + h + 3 - 103*h**2. Let p be (-3)/6 - (-4)/8. Let b be w(p). Is b equal to 4?
False
Suppose 16 = 4*f - 4. Suppose -3*d - 2*b + 11 = 0, 0*b - 2*b = f*d - 13. Let a be d + 27/15 - 3. Which is greater: 0.1 or a?
0.1
Let p be (-12 - -1)*(-1)/(-1). Let x = -12 - p. Which is bigger: 1 or x?
1
Suppose -8 = 4*o - 2*p, 0 = -5*o + 9*p - 7*p - 9. Which is smaller: -3/226 or o?
o
Let v(x) = -x**3 + 10*x**2 + 12*x - 9. Let m be v(11). Suppose -2*s = 2*w - 45 - 13, -m*s = 5*w - 73. Which is smaller: 23 or s?
23
Let o be 45/(-10)*(-30)/9. Suppose -5*k = o, 7*j = 2*j + 5*k + 105. Is j not equal to 19?
True
Let m(a) be the second derivative of 4*a**3/3 + 11*a**2/2 + 15*a. Let s be m(5). Is 51 smaller than s?
False
Let j = 1687 + -1688. Is j greater than 7?
False
Let o be (-3)/(-9)*-1*2/(-3). Let l be (15/6 - 2)*2. Let c be l - 3*(-6)/(-14). Which is greater: o or c?
o
Let y be (-2)/6*-1*0. Suppose y = -4*t + 6*t. Which is smaller: 1/9 or t?
t
Let k be 2/(-11) - 8246/385. Let f = k + 22. Which is greater: f or 1?
1
Let u = -175 + 175.0489. Is u at most as big as 0.1?
True
Let n = -443 + 451. Let p be (-5)/7 - (-1 - 0). Which is bigger: p or n?
n
Let t = -6.18 - -0.18. Let f(i) = 6*i + 11. Let q be f(-2). Is t smaller than q?
True
Let l = -7.06 - -7. Let y = l + 0.02. Let p = y - 0.96. Which is bigger: p or -1/13?
-1/13
Let n be 186/(-6)*1/(-1). Suppose 4*x - n = 3*x. Let o = x + -123/4. Which is greater: -1 or o?
o
Let h(w) = w**2 - 45*w + 27. Let j be h(45). Which is smaller: j or 0.1?
0.1
Suppose 0 = -8*a + a + 1428. Is a at most 203?
False
Let w = -2.848 - -1.848. Suppose 2*k - 80 = -2*k. Which is smaller: w or k?
w
Suppose -1 - 3 = 4*z. Let q be -1*(z + -2 + 2). Suppose -19*n + 7*n + 12 = 0. Is n <= q?
True
Suppose 0 = -7*a + 7 + 7. Let r be (0 - 1)*(-2)/2. Which is smaller: r or a?
r
Suppose 0 = 4*d - 50 + 14. Suppose -d*z + 6*z = 21. Is -7 not equal to z?
False
Let h(g) be the first derivative of -3*g**2 + 21*g - 11. Let s be h(-3). Is 38 at most as big as s?
True
Let l = -26.89 - -28.3. Let i = l - -0.59. Is i <= -1/17?
False
Let b = -1571.971 + 1571. Let g = b - 0.029. Are -0.3 and g equal?
False
Let c = 712 + -711. Let n = 3326 - 422400/127. Which is smaller: n or c?
n
Suppose 2*i = 3*c - 4, -2*i = 118*c - 120*c + 2. Which is smaller: 5/86 or i?
5/86
Let q be 58 + (-3)/((-18)/30). Is q != 62?
True
Let q = 5 + -6. Let n = -0.0167 + 19.0167. Is n greater than q?
True
Let m = 541624/10551 - 2/3517. Which is greater: 52 or m?
52
Let m = -582 + 581. Is -1/29 greater than or equal to m?
True
Let t be (2 - -1) + 57/(-3). Let m = -24 + 9. Is m at most t?
False
Suppose 4*x - 40 = -0*x. Let i = 17 - x. Suppose 26 = -9*f + i*f. Is f less than or equal to -14?
False
Let c = -148/11 - -307/22. Which is smaller: c or -21/25?
-21/25
Let r = -3502 + 3512. Let t be 2/5 - (-46)/10. Suppose 32 = 2*z - 5*y, t*z + 2*y = 3*y + 57. Which is smaller: r or z?
r
Let f = 12.3 + -1.3. Let t = -9 + f. Which is smaller: t or -8?
-8
Let a = 581 - 1026. Which is greater: -444 or a?
-444
Let j = 45.3 - 39.3. Let h be (-8)/(-6) - 1/1. Which is greater: j or h?
j
Suppose 410 = 19*m - 179. Which is smaller: 33 or m?
m
Let c = -106.799 + 107. Let u = -0.101 + c. Which is smaller: -3/5 or u?
-3/5
Let j = 6.34 + 0.56. Let x = 1.3 - j. Let u = 3.6 + x. Is u bigger than -2/5?
False
Suppose 175*g = 173*g - 6. Which is smaller: -119 or g?
-119
Let c = -2464.5 + 2460. Let j = -0.1 + 0.2. Which is bigger: c or j?
j
Let u(p) = 2*p**2 - 3*p + 2. Let o be u(3). Let a(r) = -r**3 + 10*r**2 + 5*r + 14. Let q be a(o). Is q smaller than -51?
True
Suppose v - 65 = 6*v. Suppose -u - t + 5*t + 78 = 0, 2*u + 4*t = 120. Suppose 2*b + 4*y - 9 + 41 = 0, 5*b + 3*y + u = 0. Is v bigger than b?
False
Let p = -17 - 40. Let t = p + 59. Does t = 1?
False
Let k = -15/667337 - 412121/4987466. Let x = -4/71 - k. Let c(y) = y**2 - 9*y + 15. Let z be c(7). Which is smaller: z or x?
x
Let k be 4/18 - 880/396 - -25. Is k <= 23?
True
Let h(f) = -f**3 + 18*f**2 - 24*f - 114. Let c be h(16). Let y = 7 + -7. Is y bigger than c?
False
Let k be ((-18)/(-105))/(9*3/63). Let w = -10.12 - -0.12. Is w less than k?
True
Let t = 512/3 + -170. Let f = 8 + -10. Is t greater than or equal to f?
True
Let r = 0.022 + -5.022. Which is smaller: r or -122?
-122
Let p = 486 - 491. Let j = -0.3 - 0.7. Is p less than j?
True
Let j be 4/(-14) - 736/(-2772). Let x = j - 14/33. Which is smaller: x or 1?
x
Let n(f) = f**2 - 14*f - 15. Let h be n(15). Suppose -4*t - r + 2 = r, h = 2*t - 2*r - 4. Is t bigger than 2/15?
True
Let q be (40/(-130))/(-4)*(-2)/3. Which is bigger: q or -0.3?
q
Suppose 725 - 732 = -7*j. Let s be 33/(-15) - 0 - -2. Which is greater: j or s?
j
Let j = 74 - 163. Let u = -69 - j. Which is smaller: 0.3 or u?
0.3
Let m = 2 - 3. Let a(x) = x + 1. Let d be a(-5). Let q(h) = h**2 + 4*h - 1. Let y be q(d). Is y equal to m?
True
Suppose 0 = -60*u - 141 - 39. Let z be (-2)/(-3)*6*1. Suppose 2*j = c - 0*j + 5, -8 = 4*c + z*j. Is c less than u?
False
Suppose 12 = -2*c - 2*l, -l + 22 = -2*c - 5*l. Let a be -2 - (-14 + -1 + c). Let g be 7/a*(-1 - -1). Which is greater: g or -1?
g
Let c be (260/(-90) - -3)/((-2)/(-24)). Is -4.4 less than or equal to c?
True
Let l(n) = 3*n + 45. Let g be l(-15). Suppose 0 = s + 3*m - 13, 10 = -3*m + 5*m. Let t be (s/(-27))/(2/(-12)). Which is smaller: g or t?
t
Let z be (3*3)/(16 - 15). Let g = z + -46/5. Are -1 and g non-equal?
True
Let p = 91 - 153. Let t be -2 - ((-512)/p)/(-4). Which is smaller: -1 or t?
-1
Let u be 2 - -71 - (-22 + 9). Is 93 at least u?
True
Let s(x) = -8*x - 55. Let m be s(-7). Let n = 60 - 31. Is n less than m?
False
Let z = -226 - -274. Which is greater: 50 or z?
50
Suppose -2*b + 3*h + 56 = h, -4*h = 4*b - 112. Let t be ((-80)/(-100))/(b/10). Is t > -11/4?
True
Let q = -467 + 466. Is q <= 15?
True
Let m be (0 + 1)/(((-3)/390)/(-1)). Suppose m = 9*v - 113. Is 28 bigger than v?
True
Let f be (-8)/12*18/(-4). Suppose -f*j = 5*n - 26, j - 2*n = -4 - 2. Which is greater: 2/9 or j?
j
Let a be 2/(16/6)*(15 + -11). Suppose -a*c + 17 = -5*q, -4*q - 21 = 3*c - 2. Which is smaller: 12/25 or c?
c
Let j be (-1 + (-7)/(-5))*45. Suppose -4*z + j = -2. Suppose 2*q - z*q - 12 = 0. Is q at most as big as -3?
True
Let d = -791 - -790. Is -315 smaller than d?
True
Suppose -140*t + 1608 = -4*c - 145*t, 3*t - 1973 = 5*c. Is c smaller than -396?
True
Let u = -51 - -59. Let w(y) be the third derivative of -y**4/24 + y**3/2 - y**2. Let o be w(u). Is -5 at most o?
True
Suppose 0 = 4*j - 6*j - 14. Let z = j - -14. Let d(u) = -u**3 + 7*u**2 - u + 8. Let a be d(z). Which is smaller: -2 or a?
-2
Let j = 6 - 2. Suppose 0 = j*c + 46 - 118. Let t be 2385/1431 + 98/6. Is t not equal to c?
False
Let q = -1153 + 1057. Which is smaller: 3 or q?
q
Let d be -3*1/(-6) + 499/(-2). Let i = -5479/22 - d. Suppose -4*w = -3 - 1. Which is smaller: i or w?
i
Let a be 2/((-56)/12) + (-6)/(-14). Which is smaller: a or 2?
a
Let k(p) = 7*p + 14. Let m be k(-15). Is