86. Let l = a - -30. Let g = l + 46.1. Is 0.8 equal to g?
False
Suppose 20 = -2*f + 12*f. Suppose 4*m = -f*n - 2, 2*n + 5 = -0*m - 5*m. Let r be m/(((-147)/(-2))/1). Is 0 < r?
False
Let g = 32309908/305 - 105934. Which is smaller: g or 1?
g
Let f = -9.7 - 7.3. Let z = f - -36. Which is smaller: -1/2 or z?
-1/2
Let c = -11/222 - 1667/4440. Suppose 5*r = -20*y + 16*y + 4, -3*y + 3 = 2*r. Which is greater: c or y?
y
Suppose 4*t = -5*z - 110, 4 = -t + z - 28. Let x = 16 + t. Suppose -5*u + 3*r - 54 = 0, -u - r - 1 = 13. Which is smaller: u or x?
x
Let f be (-18)/45 - (-1101)/15. Let x = -68 - f. Is -141 equal to x?
True
Let b(w) = -w**3 + w**2 + w + 4. Suppose 0 = 3*l + 11*l + 3*l. Let t be b(l). Which is smaller: t or -38?
-38
Let j = -11 - -24. Let p = j + -7. Let t = -7349 + 7346. Which is greater: t or p?
p
Let a = 51527/11 + -4681. Suppose 3*m = -2*m + 5. Let p = 3 + m. Which is smaller: p or a?
a
Suppose 0 = c + 2, -k + 0*c + 705 = -4*c. Let d be (-4 + 46002)*2/(-132). Let g = d + k. Which is smaller: g or -1?
-1
Let m = -90 + 401. Let g(j) = -318*j + 18755. Let o be g(58). Is o less than m?
False
Let i = 1/23406 + 1917341/11703. Are 163 and i nonequal?
True
Let x be 17478/30513 - (-188)/(-329). Is x > 0?
True
Suppose 107*j - 26588 = 61*j. Which is smaller: 0.05 or j?
0.05
Let t = -231.9788 + -0.0212. Let h = 220 + t. Which is smaller: h or -1/12?
h
Suppose 1 = -o, -2*u - 2*o + 32 = -0. Suppose -5*d + u*d = 420. Which is bigger: 31 or d?
d
Let u be (-182)/(-26) + (-312804)/(-98). Let r = u + -3199. Is 0 at most r?
False
Suppose 6*j - 817 = -37*j. Suppose j*t = -7*t. Is 48.8 smaller than t?
False
Let q = 3003 - 15014/5. Which is greater: q or -0.055?
q
Let l = -3296.379 + -15.621. Is l greater than -0.3?
False
Suppose 11*g - 9711 - 7130 = 0. Suppose 318 = 1525*f - g*f. Is -48 greater than or equal to f?
True
Suppose -5 = 5*f, -4*o + 18*f + 3 = 15*f. Which is smaller: o or -153?
-153
Let f(x) = 6*x**2 - 22*x - 665. Let n be f(0). Which is bigger: -660 or n?
-660
Suppose -11*r + 9*r = -20. Let b be 4/r - 336/1540. Is -1 at least b?
False
Let z be 1222/13*2/(-7). Let p = -12761 - -12733. Are p and z non-equal?
True
Let o(v) = -v**3 + 12*v**2 + 5*v - 12. Let h be o(12). Suppose -h = 4*y - 0*y. Let i be 23/20 - (-9)/y. Which is smaller: i or -6?
-6
Let r = -11 + -1. Let k = r - -47/4. Let q be (6*(-52)/180 - -2)*-1. Which is bigger: k or q?
k
Let q(i) = 112*i - 1450. Let w be q(17). Which is greater: 450 or w?
w
Let f = 5962 + -2516. Suppose f - 40 = -26*r. Are -132 and r equal?
False
Let q be 1682/(-66) - 3/(198/12). Let u = q - -29497/1149. Is -1 > u?
False
Let f be ((-6)/21 - 0) + (-26435)/4032. Let u = f - -61/64. Let s = 76/9 - u. Is 14 at most as big as s?
True
Let j = 18.184 + -18.284. Which is smaller: -0.17876 or j?
-0.17876
Suppose 23 + 12 = -t. Let b(w) be the second derivative of w**4/6 - 17*w**3/2 - 11*w**2/2 + 40*w - 1. Let o be b(25). Is t less than o?
False
Let a = -53265/152 + 2715/8. Let d = -131160 - -131149. Are d and a equal?
False
Let r = -0.369 - 35.631. Suppose -18 + 3 = -3*p. Let c be (0 - 0)/(p + -4). Is c at most as big as r?
False
Let r = -4041.1 + 4041. Is r at most as big as -70/3?
False
Let o be ((-3774)/(-9))/(2/(1*12)). Which is bigger: 0 or o?
o
Let m = -734 + 398. Let f = -434 - m. Is -1 >= f?
True
Let o = 16 - 16. Let s(w) = w**2 + w + 22. Let k be s(o). Let d = -8 + k. Which is smaller: d or 15?
d
Let y be 32160/6400*(-10)/12. Are y and -3 unequal?
True
Let x = 2899 + -2911.37. Let p = x + 11.9. Let y = p - -0.17. Which is bigger: -0.6 or y?
y
Let x = -129 - -133. Suppose 0 = 2*v - 5*r + 16, -2*v - x*r + r = -16. Suppose v*d = 245 - 207. Is d equal to 16?
False
Let h = 4.6 - -47.4. Let j = 52.34 - 0.34. Let k = h - j. Which is smaller: -1/2 or k?
-1/2
Suppose 2*d = -32 + 20. Let c be 1615/(-3270) + d/(-12). Which is smaller: 0 or c?
0
Let j be (608790/1378)/(-21) - -21. Which is bigger: j or 1/314?
1/314
Let l = -724 + 196. Let z = l - -618. Is 89 less than z?
True
Let q be (-1)/(-3*(-1)/33). Let r(x) be the third derivative of x**4 - 85*x**3/6 + 41*x**2. Let s be r(3). Is s bigger than q?
False
Let u = 400 + -407. Let k be -3 - (0 + u - 71). Which is greater: k or 76?
76
Let j(g) = 144*g + 10. Let p be j(-1). Let w = -107 - p. Which is smaller: 31 or w?
w
Let r = -423 + 916. Suppose -r + 157 = -6*b. Which is bigger: b or 55?
b
Let w(k) = -3*k - 150. Let n be w(-21). Let h be -4 - 663/n - 3. Which is bigger: h or 2?
2
Let j = -2509 + 3439. Which is greater: 928 or j?
j
Let s(l) = -24 - 124*l + 59*l + 64*l. Let w = 25 - 35. Let p be s(w). Which is bigger: p or -12?
-12
Let j = 0.4 + 1.6. Let h = -149 + 149.204. Let s = -0.194 + h. Are s and j unequal?
True
Suppose -i + 133 = 5*u, 5*u + 173*i = 169*i + 142. Which is smaller: 35 or u?
u
Let f(d) = 8*d + 1. Let y be f(-6). Let p = -22.966 - -20.966. Which is greater: y or p?
p
Let c(a) = 22 + 24 + 2*a - 11*a. Let j be c(5). Which is smaller: j or -1/141?
-1/141
Let x = -3.3493 - -3.324. Is 0.2 bigger than x?
True
Let i be (9/12)/((-9)/717). Let f be 10 - (63/(-15))/((-6)/100). Which is bigger: f or i?
i
Suppose 2*t + 912 = 2*w - 5*w, t = 4*w + 1227. Let p = w - -305. Is -2/79 less than p?
False
Let k be (-52160)/(-5808) - 8 - (-2)/(-3). Which is smaller: k or -1?
-1
Suppose -18 = -c - 95. Let b be (-1408)/18 + 880/(-90) + 10. Is c at most as big as b?
False
Let a = 16837/474 + -107/79. Does a = 33?
False
Suppose -333 = 6*q - 11*q - 7*x, 4*x = 5*q - 289. Which is bigger: q or -32?
q
Let n be 10/34*1 - 0. Let a = 173 + -136. Suppose -2*d - a = -39. Which is smaller: d or n?
n
Let l = -59/52 - -5/13. Let w = 54.74 - 54. Let v = w - 0.34. Is v not equal to l?
True
Suppose 7*c - 44 = 51*c. Which is smaller: -1/15 or c?
c
Let u = 265 + -255. Is -16 bigger than u?
False
Let x(h) = 401*h**3 - h**2 + h + 1. Let z be x(-1). Is -405 >= z?
False
Suppose -32*v - 3*q = -27*v - 1845, 4*v = 3*q + 1449. Is v less than 362?
False
Let z be -1*(0 - 1) + (-44)/44. Let f be 54*4/52 + -4 + z. Which is greater: -1 or f?
f
Let g = -2 - -25. Let w(k) = -k**3 + 21*k**2 + 22 - 10*k**2 - k + 12*k**2 + 0. Let l be w(g). Is l not equal to -1/48?
True
Let u(k) = 3*k**2 + 27*k + 1. Let g be u(-9). Let v be (-8)/12 + (-24995)/(-165). Let x = v - 150. Is x smaller than g?
True
Let r be (6/(-12))/((27/(-6))/(-9)). Which is bigger: -4/373 or r?
-4/373
Let x be -15*(40/(-6))/1. Suppose -4*r + x = r. Let d be (-1980)/(-176)*(-2)/(2 + (-26)/8). Is d <= r?
True
Let d be 25/(-15)*(-117)/65. Let c(o) = o - 1. Let w be c(7). Suppose 3*x = w - d. Which is greater: x or 14?
14
Let o = -4453 - -1037545/233. Let x = o - 10457/1631. Suppose -5*i - 2*l = 30, 4*i + 24 = -108*l + 106*l. Is i not equal to x?
True
Let m(l) be the first derivative of l**4/4 - l**3/3 - 3*l**2 + l + 3. Let n = -144 + 147. Let g be m(n). Which is greater: g or 15?
15
Let m = -0.83 - -1. Let y = 0.07 - m. Let n = 481.82 + -482. Is n bigger than y?
False
Suppose 0 = a - 2. Suppose -r = -2*c + a*r - 10, -5*r - 10 = 0. Let l be 14/c*1*4. Which is smaller: l or -6?
l
Let p = 1.7397 + -1.538. Let u = -0.0317 + p. Is 2 > u?
True
Let s = 492 - 491. Is s less than -2/7975?
False
Let n(p) = 13*p**3 + 14*p**2 - 8*p + 20. Let r be n(4). Let x = 728 - r. Is -315 at least as big as x?
True
Let n = 128/3 + -42. Let w = 941 - 846.88. Let j = w - 94. Is j equal to n?
False
Let o = 4082 - 2319. Suppose -o - 1664 = -23*r. Which is smaller: r or 151?
r
Let p = -68725/123 - -1679/3. Let d be 24/8 - (1 - 0). Is p greater than or equal to d?
False
Let s = 0.199 - 14.899. Let u = -15.7 - s. Which is smaller: 6 or u?
u
Let a = 180 - 168. Suppose 5*u + 57 = a. Let p = 42 - 51. Is p at least as big as u?
True
Let a be ((168/(-36))/14)/((-30)/78066). Is a greater than 867?
True
Let k = 3061 - 3060. Is -5/531 greater than or equal to k?
False
Suppose 2*u + 5*c - 77 = 0, -4*c = 4*u - 2*u - 76. Let n be 1/(-2) - (-78)/u. Which is smaller: 3 or n?
n
Suppose 0 = 2*t - 106*u + 101*u + 3035, 0 = -3*t - 3*u - 4584. Let a = 1345359 + -14782186/11. Let h = t + a. Which is greater: 0 or h?
0
Let f be (-9)/(594/672) + 10 - 148183/(-11). Is f < 13471?
False
Let x(l) = 16006*l**2 - 2*l**3 - 15987*l**2 + 16*l + 3*l**3 - 34. Let s be x(-18). Which is smaller: s or 19/9?
s
Let 