-8.2. Are g and m equal?
False
Suppose 0 = -5*f + 5*u + 1030, -37*u - 20 = -42*u. Let o(i) = 12*i**2 - 5*i - 2. Let v be o(-4). Are f and v unequal?
False
Let j = 224 - 221.14. Let h = 3.86 - j. Is h >= 24?
False
Let f = -600 + 976. Let r = 226 - f. Are -150 and r equal?
True
Suppose -4*f - 16 = t, -5*t - 14 = f - 3*f. Let c be 7 + 1285*f/551. Is 1 at most c?
False
Suppose -28 + 8 = -5*b. Let l be b + -22 + 5 + 3. Let u be 4/l - 117/(-255). Which is bigger: u or -1?
u
Let x = 4/463 + -1405/1852. Is x at most as big as 48/47?
True
Suppose o = -4*q + 92, -2*q - 4*o = -7*q + 115. Let t = 314587/113 - 2784. Let j = t + 5095/226. Is j > q?
False
Suppose 0 = -135*f + 141*f - 1933 - 1565. Is 585 <= f?
False
Let p(b) be the first derivative of -b**4/4 + 20*b**3/3 - 19*b**2/2 - 2*b + 30. Let y be p(19). Let u be y*(27/2 - -2). Which is greater: u or -33?
u
Let a = 1777 - 1884. Let n = 0.27 + -1.27. Which is bigger: n or a?
n
Let j(h) = h**3 - h + 1. Let y(g) = 2*g**3 + 17*g**2 - 4*g + 21. Let x(k) = 3*j(k) - y(k). Let u be x(17). Let v = 783/8384 + -5/64. Are v and u non-equal?
True
Let l = -2 + 5. Let j(w) = -6*w**2 + 37*w - 85. Let x(r) = r**2 - 6*r + 13. Let b(a) = 2*j(a) + 13*x(a). Let p be b(l). Is p at most -4?
True
Suppose 2*x + 0 = -2*r - 4, 0 = -4*r - 5*x - 12. Suppose -r*v + 92 = 5*h + v, -2*v = 4*h - 74. Let l = 7 - 7. Which is smaller: h or l?
l
Let l be 6 + -1 - (6/4)/((-177)/472). Is 614/77 greater than l?
False
Let j be 26/(-286)*67/(-2)*4/(-52). Is 0 < j?
False
Let n be (-2)/7 + 38/(-14) - -9. Let d = 19 - 29. Let v = d + 16. Is n > v?
False
Suppose 3*g - 273 = 5*q - 2*q, -2*q = 3*g - 268. Suppose g*d - 86*d = 256. Is d greater than 62?
True
Let k be ((-4)/(-8))/(-2*2/544). Let o = k - -54. Let j be (-1)/2*(-60)/o. Which is smaller: -2 or j?
j
Let a be 256/(-3)*(-18 + 15). Suppose 3*n = a + 107. Is 121 at most as big as n?
True
Let p(r) = r**2 + 32*r + 138. Let y be p(-4). Which is greater: y or 181/7?
y
Let t be (122/28)/((-52)/2392). Which is bigger: t or -200?
-200
Let j = -31 - -34. Let c be ((-998)/(-4) - j)*-2. Let y = c + 8384/17. Which is bigger: y or 1?
1
Suppose -3*w + 502 = -4*m, 3*w - 173 = 11*m + 1218. Let q(d) = -124*d**2 - 1. Let f be q(-1). Is f at most m?
False
Suppose 45*b - 66*b + 462 = -43*b. Suppose v - 2*p = -29 + 7, p = -5*v - 154. Which is greater: b or v?
b
Suppose 3*u = -3*d - 9, -4*d + 0 = -4*u - 12. Suppose d = 2*i + i + 45. Let q = 144/365 - -2/365. Which is bigger: i or q?
q
Let d be ((-4)/(-6))/(((-98)/(-342795))/7). Let h = 16297 - d. Which is bigger: -26 or h?
-26
Let h = 275 - -1. Let d = 318 - h. Which is bigger: -1 or d?
d
Suppose -4*d - 20 = -a, -2*a - 2*d - 23 = -33. Let m(v) = 3*v - 4. Let p be m(3). Which is greater: a or p?
a
Let q be ((-14)/4)/((-60)/(-336)). Let k = -97 + 50. Let n = k - -46. Is q at least n?
False
Let n be (2/(-5))/((-426)/1065). Is 663 > n?
True
Let x(l) = 106*l + 2970. Let n be x(-28). Which is smaller: n or 53/16?
n
Let z(a) = 2*a**2 + a + 1. Let w be z(-1). Suppose -1 = w*d + o, -2*o - 12 + 1 = -5*d. Let c = -156764/105 - -1493. Which is greater: c or d?
d
Let i(n) = -n + 10. Let b be 24/(-18)*(-3)/2. Suppose 0 = -b*l - 3*l + 80. Let d be i(l). Is d > -6?
False
Let k be (0 - -3)*4/34. Suppose -18*v = -14*v - 12. Suppose 0 = 7*a - v*a + 2*a. Which is bigger: a or k?
k
Let x(b) = 5*b**3 + 23*b**2 + 45*b - 13. Let u(f) = 6*f**3 + 23*f**2 + 46*f - 11. Let q(n) = -4*u(n) + 5*x(n). Let s be q(-21). Is -5/12 smaller than s?
True
Let i(b) be the third derivative of b**4/4 - 8*b**3/3 + 20*b**2. Let a be i(12). Let q be 1 + -1 + a/231*-9. Which is smaller: q or -2?
q
Suppose -2*y = -0*y + 6. Let t be (-1)/(-2 - 7/y). Let s = 427.5 + -428. Is s <= t?
False
Let c(i) = -2*i - 8. Let r(m) = -m - 4. Let n(b) = 6*c(b) - 13*r(b). Let o be n(-10). Let q be -4 + (-26)/o + (-1)/3. Which is smaller: 6 or q?
q
Suppose -5*w - 4 = -4*h + 7, 3*w + 2*h = -11. Let x be (w*(-2)/5)/((-1722)/(-140)). Suppose 50*q = -19*q - 69. Is x at least q?
True
Let n be (-202)/(-6) + 26 + -28. Let w = -33 + n. Let u(x) = -x + 3. Let b be u(0). Is w bigger than b?
False
Let h = -5 + 5. Let k be (-289)/355 - (-24)/30. Which is greater: k or h?
h
Let i(x) = -88*x + 2895. Let o be i(17). Is o at most 1401?
True
Let d = -797382889/1186554831 - -2/2115071. Let f = d + 1/187. Is f less than -1/3?
True
Let c be (-6 - (-8 + (-25)/(-5)))*(-2)/1090. Is -1 smaller than c?
True
Let v be (47/(-28764))/((-2)/(-8)). Let y = 4 - 3. Which is bigger: v or y?
y
Let s = -569 + -908. Is s at most -1476?
True
Suppose -8*u + 19 = -5. Suppose 4*n + 8 = -3*q, 2*n = u*q - n + 15. Let g be 1*(0 + 1 + -1). Do g and q have the same value?
False
Let w be (-2)/5 + 9/(-15). Let j be (-2)/25 - ((-370)/14985)/((-200)/(-1698)). Which is smaller: j or w?
w
Let g = -18 + 11. Suppose -5*v - 4*n = -n - 154, -160 = -5*v - 5*n. Let u be (-27)/21 + 29/v. Which is greater: u or g?
u
Let v = -15.016106 - -0.016106. Let a = -5 + 2. Which is smaller: v or a?
v
Suppose -13*l = 11*l - 72. Suppose -5*v + 0*k - 37 = -4*k, v + l = 3*k. Suppose -4*o - 41 = -9. Which is bigger: v or o?
o
Let j = -304 - -635/2. Let i(u) = 2*u**3 + 38*u**2 + 33*u - 16. Let p be i(-18). Let f = p - 23. Which is bigger: f or j?
f
Let c(s) = -s**2 + 3*s + 3. Suppose 10*w + 16 = 14*w. Let y be 1 + (w + -4 - 6/(-2)). Let u be c(y). Which is greater: -4/11 or u?
-4/11
Suppose 3*s + 148 = 14*g - 9*g, g = -3*s - 154. Is s != -51?
False
Let m = -0.3 - -19.3. Let n = -249 - -171. Let h = 78.1 + n. Which is smaller: m or h?
h
Let y = 60 + 313. Let i = 372 - y. Is 53/2 at least i?
True
Let w(y) = -5*y**2 - 5*y + 7. Let o(n) = 24*n**2 + 26*n - 36. Let d(u) = 3*o(u) + 14*w(u). Let j(p) be the first derivative of d(p). Let f be j(3). Is f >= 20?
True
Suppose 0*d + 5*d - b = 12, -2*b - 19 = -5*d. Are d and -5/513 unequal?
True
Suppose -341*t = -3*u - 339*t + 22, -4*u - t + 33 = 0. Which is smaller: 199 or u?
u
Let x = -2099 + 316948/151. Let s(u) = 2*u**3 + 18*u**2 + 2*u - 5. Let p(h) = h**3 + 8*h**2 + h - 2. Let n(a) = 7*p(a) - 3*s(a). Let r be n(-2). Is r > x?
False
Let s(h) = -h**3 + 18*h**2 + 15*h + 31. Let a be s(19). Let f = a + 46. Is f < -4/23?
False
Let o = -158 + 229. Let v = o - 29. Let k = v - 38. Do k and 1 have the same value?
False
Suppose 0 = 5*z + 5 - 30. Suppose -2 = -z*q - 47. Let y be (-141)/q + (-2)/3. Is 14 > y?
False
Let p(o) = 231*o + 1385. Let r be p(-6). Which is bigger: r or -11/82?
-11/82
Let z = 1.13 - -7.08. Let t = -8 + z. Let k = -0.51 + t. Which is bigger: k or -5?
k
Let k(t) = t**2 - t. Let p(g) = 3*g**2 + 2. Let c(v) = -2*k(v) + p(v). Let b be c(0). Suppose -2*u + b = 0, -3*u + 1 = -n + 44. Is 47 > n?
True
Suppose -2*j + 4*v - 4652 = 0, -3*j - 2*v - 6998 = -3*v. Is -2336 greater than or equal to j?
False
Suppose 91 = 12*a - 25*a. Let l(k) = -4*k - 4. Let w be l(-2). Suppose -3*m - 7 = 2*s, -3*s - 20 = s + w*m. Is s bigger than a?
False
Suppose -2664 = 62*s + 234*s. Is 1036 greater than or equal to s?
True
Let a = -146807/87157064 + -7/28088. Is a at most as big as -1?
False
Suppose -5*w = 1 - 21. Suppose -m = -3 - 1, -w*t + 5*m = 0. Let g be (3 - 752/72) + 11. Is t not equal to g?
True
Let l be 44 - (6 - (4 + 1)). Let n = 8 + l. Let m = n + -64. Which is bigger: m or -15?
m
Let r = 253.815 - 253.8. Which is smaller: r or 1/4?
r
Suppose 44 + 24 = 4*f. Let n = -163 + 49. Let l be n/(-7) - (-4)/(-14). Which is smaller: l or f?
l
Let p = -70201/135 - -520. Suppose -b = -0*b. Which is smaller: p or b?
p
Let r = 12/2267 + -16465/3538787. Is r != 4?
True
Let r(u) = -u**2 - 7*u + 154. Let o be r(-16). Suppose o*k - 36*k = -10062. Is 387 >= k?
True
Let j(c) = 3*c**2 + c - 34. Let t be j(-4). Let o = -5 - t. Which is smaller: -11 or o?
o
Suppose -5*k - 10 = -g - 0*g, -3*g - 10 = 5*k. Suppose g = -5*v + 22 - 2. Suppose -5 = -z + 2*y, -7*z = -6*z - v*y - 1. Is 5 > z?
False
Let j = -91716/175 - 47/1400. Which is smaller: j or -525?
-525
Let v = 24 - 77.9. Let s = v + 55. Let q = s + -4.1. Which is smaller: q or 3?
q
Let p(z) = 31 + 10 + 27 + z**2 - 10*z. Let v be p(9). Which is bigger: v or 60?
60
Let j be (-2 - 1)*(-4 + 5)*-1. Suppose -8*f + 5 = -j. Which is smaller: f or -2/85?
-2/85
Let a = 11 + -11. Let c = 95595/47 - 2034. Which is smaller: c or a?
c
Suppose n = 4 - 5. L