- 8. Let s(g) = 2*g - 4. Let p be s(0). Let u be b(p). Solve -5*t - u = 6 for t.
-2
Suppose -a = 3*a - 8. Suppose -n + 8 = 4*s, -s = -a*n + 7*n + 17. Suppose 0 = -b - 4*b + 5. Solve 2*t = s - b for t.
1
Suppose 4*y + 32 = c + y, 4*c - y - 84 = 0. Solve -c = -6*v + v for v.
4
Suppose 56*l - 59*l - 3 = 0. Let z be (1 - l)*(-4 - -7). Solve 3*v + 6 = -z for v.
-4
Let h = -175 - -191. Suppose -5 = 2*q - 13. Solve q*d + h = -0*d for d.
-4
Let u(c) be the third derivative of c**4/24 + c**3/6 - 3*c**2. Suppose 12 = 5*f + f. Let l be u(f). Solve l*t - 3 = -12 for t.
-3
Let n(p) = 7*p - 3. Let w be n(2). Let h = 17 - w. Solve -6 = 3*o - h*o for o.
2
Let y(t) = -9 - t**3 + 0*t**2 + 7 + 5 - 2*t**2 + 3*t. Let b be y(-3). Solve 2*x = -b - 3 for x.
-3
Suppose 6*o = 11*o - 245. Suppose 53*x = o*x + 12. Solve x*i = i for i.
0
Suppose 6*u + 1 = -47. Let r be (-14)/u - 1/(-4). Solve -9 = r*i - 5*i for i.
3
Let i(l) = 5*l**2 + 34*l + 188. Let u be i(-6). Solve -167*q + 6 = -u*q for q.
2
Let z = 244 - 242. Solve -z*l - 11 + 1 = 0 for l.
-5
Let y be ((-116)/(-12) - 9)/((-1)/(-9)). Solve y*f = 18*f + 24 for f.
-2
Let q = 11 - 7. Suppose -3*c - 14 = -5*c. Suppose -i + c*i = 6. Solve l = q + i for l.
5
Let b be ((-60)/(-100))/(3/15). Let k be 4/10 - 13/(-5). Solve 0*p + k = -b*p for p.
-1
Let n(f) be the third derivative of -f**6/24 + f**4/24 + f**3/6 + 4*f**2. Let q be n(-1). Solve -z = -q*z for z.
0
Suppose -2*g = -4*g. Let s be (-5 + 6 + 21)/(1*2). Suppose 9*h = s + 7. Solve g*t + 10 = -h*t for t.
-5
Let d = 169 + -164. Solve d*f - 6 = -1 for f.
1
Suppose -58 = -19*p + 18. Solve 2*v = 6 + p for v.
5
Suppose -i = -11 - 2. Suppose -i = -2*v - 5. Solve v*q - q = 0 for q.
0
Suppose -36*s = -675 + 27. Solve 4*g - s - 2 = 0 for g.
5
Suppose 2*n + 4 = 0, 2*r - 3*r + 2*n + 6 = 0. Suppose 4*k = -3*g - 3, 4*k - r*k - 16 = 2*g. Suppose -w = -4*v - 1, -3 = -v - 3*v - k*w. Solve v*p = 5*p for p.
0
Let b = -7 + 7. Let s be (-5 + 5)*(1 - b). Let v(j) = -2*j - 26. Let u be v(-15). Solve m - u*m = s for m.
0
Suppose -q - 16 = 3*m, m - 12 = 2*q + 3*m. Suppose -2*i + 7 = 3*v, 3*v - 4*v = -5*i - 25. Let o = v + q. Solve o = -0*a + 2*a for a.
2
Suppose 29*p - 9 = -3*w + 31*p, -6 = -2*w + 4*p. Suppose 0 = -b + u, 5*b - 3*u = -7*u + 9. Solve -w = f + b for f.
-4
Suppose 24 = 4*n - 4*a, n + a + 2 - 8 = 0. Solve n*l - 3*l = -l for l.
0
Let o = 13 - 13. Let j be o/(0 + -3 - -1). Suppose j = y - 4 - 0. Solve -y*k = -7*k + 12 for k.
4
Let v be 0 - 0 - (-1 + -19). Solve -1 = v*h - 21*h for h.
1
Let q(p) = p**2 + 5*p + 2. Let r be q(-5). Let m(d) = -d**3 + 6*d**2 + 2*d - 7. Let l = 48 - 42. Let w be m(l). Solve -r*t = -w*t - 6 for t.
-2
Let h(m) = 12*m**2 - 6*m - 17. Let x be h(-5). Solve 4*f + x = 301 for f.
-3
Let o = 1840 + -1835. Solve -o - 20 = 5*z for z.
-5
Let a be -1 + (0 - -9)*1. Suppose -a*v = -11*v - 24. Let b be (v/4)/2*-5. Solve w = -4*w - b for w.
-1
Suppose 7*j - 9 = 4*j. Let c = -22 - -133. Let d be c/21 + 4 + 60/(-14). Solve d = j*i - 1 for i.
2
Let t(r) = r**3 - 2. Let c be t(1). Let g = -2 + 1. Let s be 0*(c/(-2))/g. Solve -k - 2 + 4 = s for k.
2
Let g(t) = -t**3 - 3*t**2 + 3*t - 1. Let u be g(-4). Let a = 15 - u. Suppose -52*b - 38 + 194 = 0. Solve b*r + a - 27 = 0 for r.
5
Let f be 3 - (-45)/(-5) - -6. Solve f = 5*n - 12 + 37 for n.
-5
Let b(a) = 2*a**3 + 95*a**2 + 51*a + 248. Let x be b(-47). Solve x = 10*h + 10 for h.
5
Let v(i) = -2*i - 5. Let z be v(-4). Suppose 0*r + 3 = u - r, 0 = -u - 5*r - z. Solve u = -3*k + 2*k for k.
-2
Let q be 6/(-2)*(2 - 3). Let x = 9 - q. Let v = x - -6. Solve -4*j + v = 32 for j.
-5
Let z be 24*(4 - 66/12). Let p be (-3 + -1)*(z/(-8) - 5). Solve -2*c = -p - 4 for c.
3
Let a = -53 + 55. Suppose -a*b = 5 - 9. Solve -2 - b = -2*k for k.
2
Let r(f) = -4*f + 2. Let u be r(-1). Let s = -24 - -24. Solve s = -2*v + 5*v - u for v.
2
Suppose -2*t = 3*p - 17, -29 = -4*t - 0*t - 5*p. Let q = 353 + -352. Let m(a) = a**3 - 4*a**2 + a - 2. Let w be m(4). Solve -w*k = -q - t for k.
1
Suppose -10*o = 4 - 234. Solve 5*n + o = -2 for n.
-5
Let q be 2/(((-3)/6)/(-1)). Let l be -4*-3*q/16. Solve -w + 6 = -l*w for w.
-3
Suppose 5*t + 3*p = 18, -2 + 14 = 5*t - 3*p. Suppose 100 = i + t*i. Solve i = 8*h - 3*h for h.
5
Let z be (-1)/(-2)*0*(-6)/18. Solve 6*s - 9 - 3 = z for s.
2
Let t be (-1 + 1)/(27 - 30). Solve t = 10*q - 19 - 31 for q.
5
Let s(n) = -21*n - 288. Let t be s(-14). Solve t*h = 27 - 27 for h.
0
Let r = -4 + 0. Let i = r + 4. Suppose -4*b + 3*b = i. Solve b*s + 4*s = 20 for s.
5
Let m(n) be the first derivative of -3*n**2 + 53*n - 19. Let v be m(8). Solve -6*k = -v*k + 1 for k.
-1
Let o = -1871 - -1901. Solve -25*h + o = -31*h for h.
-5
Suppose s = 3*p + 21, 0 = 5*s + 10 + 5. Let w = 351 - 351. Let m be (4/p + w)*-2. Solve 5*g - 4 - m = 0 for g.
1
Suppose 5*g = 5*n, 3*g = 5*n - 9*n. Solve -2*v - 4*v - 18 = g for v.
-3
Suppose 0 = 6*j - j - 10. Suppose 2*t = -j*h + 16, -5*t + t + 7 = -h. Let c be (t/((-9)/15))/(-1). Solve 4 = -3*m - c for m.
-3
Let g be (-44)/(-7) + 30/(-105). Let y be (-3 + g)/((-6)/(-8)). Solve y*f = -8 - 4 for f.
-3
Suppose 3*o - 71 = 4*y, -2*o - 5*y = -3*o + 9. Let r = 54 - o. Suppose 5*g = -r, 4*k - 6*g + g = 81. Solve 2*c - k = -4 for c.
5
Suppose -2*k - 3*r + 17 = -8, 25 = 4*k + r. Let w = k - 5. Suppose 6*l - 10 - 20 = 0. Solve -5*z - l = -w for z.
-1
Let p(s) = s**3 + 5*s**2 + 4*s. Let t be p(-4). Suppose l = 2, -5*l + 11 = -u - t. Let v be (u - 7/(-5))*10. Solve -6 = v*j - 22 for j.
4
Let b(u) = -u**2 + 26*u + 29. Let p be b(26). Solve 10*o - p + 9 = 0 for o.
2
Let l be (182/(-13) - -13)/(2/(-142)). Solve q = -l + 66 for q.
-5
Let n = -142 - -145. Suppose -n*y + 4*v + 5 = -1, 0 = 3*v. Solve 7*c + 15 = y*c for c.
-3
Suppose 3*d - 2 = -2*k + 7, 7 = 2*k + d. Solve -3 = k*n - 9 for n.
2
Suppose 5*c + a - 7 = -1, 5*c = 2*a + 18. Solve 0 = c*o + 4*o + 12 for o.
-2
Let x(m) = 11*m + 163. Let t be x(-14). Solve 13 - t = -4*w for w.
-1
Let h(u) = 15*u + 69. Let p be h(-4). Solve -6*j + 3*j = -p for j.
3
Suppose -2*r - 5 + 11 = 0. Let u be -3 + (2 - r - 20). Let s be 10/(-15) - u/9. Solve s = 2*f - 4 for f.
3
Let s(t) = -t**3 - 11*t**2 + 2. Let z = 5 + -16. Let d be s(z). Solve 2 = d*x - 0 for x.
1
Let d(z) = -z**3 + z**2 - z. Let u be d(0). Let h(t) = t**3 + t + 4. Let b be h(u). Suppose b = 7*j - 5*j. Solve -j*v = 2*v - 8 for v.
2
Suppose -l + 5*y + 3 = -2*l, 5*l + 3*y - 7 = 0. Suppose -4*v - l = -22. Let t = -25 - -40. Solve 2*h - v*h = t for h.
-5
Let p be 3/(4*(-9)/(-24)). Suppose -x + p*h = -13, -24 = -3*x - 2*h + 5*h. Let i be x/5 + (-12)/20. Solve i*d = d for d.
0
Let d be (-4 + (-1)/(-1))*-1. Solve -n - 2 = -d*n for n.
1
Suppose 5*l - 110 = -5*h, 101 = 4*h - h - 4*l. Suppose 13 = 4*t - h. Suppose 4*u - 2 = t. Solve -s = -u*s + 4 for s.
2
Suppose -8*c = 8*c - 272. Solve c*q - 15 = 22*q for q.
-3
Suppose 0*m + 3*m - d = 9, 2*m + 4 = 4*d. Suppose 3*l = -j + 13, -3*l + m*l - 3*j = -9. Solve 3*r + 0 = -l for r.
-1
Let b be (1 + 0)*(-1 - -1). Suppose 8 = -2*u, 3*j + u - 3 + 1 = b. Solve -3*y = -y + j for y.
-1
Suppose -c - 6 = -3*k, 10 = 5*k - 3*c - 0. Suppose 7*d - 10 = k*d, 2*b - 4*d - 2 = 0. Solve b = a - 0 for a.
5
Suppose f = -4*f - 60. Let b be 20/12 - 4/f. Solve -b*v = v for v.
0
Let p(s) = -45*s + 3. Let a be p(-1). Suppose 36*h = 40*h - a. Suppose 4*i + 9 = 2*g - 5*g, -4*g = 4*i + h. Solve -2*t + 6 = -i*t for t.
3
Let r be -3 + 8 - (-1 - -6). Suppose i - 1 = r, -5*g - 1 + 15 = -i. Solve -7 = -g*h - 1 for h.
2
Let q be (-363)/(-55) - -1*6/(-10). Solve 8*g = q*g - 10 for g.
-5
Suppose 0 = 30*k - 15*k - 30. Let a be (-10)/35 + (-228)/(-14). Solve 6*u + a = k*u for u.
-4
Let n(b) be the second derivative of -b**4/12 - 7*b**3/6 + 5*b**2 + 12*b. Suppose -5*l - 32 - 8 = 0. Let p be n(l). Solve -4*u = -p*u + 6 for u.
-3
Suppose -48 = -75*w + 63*w. Solve w*a = 3*a + 1 for a.
1
Let t = 55 - 52. Suppose 13*o = t*o + 30. Solve o*v = 7 - 10 for v.
-1
Let p be (-50)/40 - 795/(-12). Solve -5*x + p = 40 for x.
5
Let y(h) = h + 7. Let s be y(-7). Suppose -5*l + 2 + 3 = s. Let b be 4*l*(5 - 4). Solve p = -p - b for p.
-2
Suppose -k - 70 = -6*k. Suppose -12 = 2*f - 4*b, -4*f - 17 = -3*b - 8. Suppose f = 2*p - k + 4. Solve -p*q + 3*q - 8 = 0 for q.
-4
Suppose 0 = g - 5*g - 112. Let h(t) = 29*t**2 - 2*t - 3. Let d be h(-1). Let l = d + g. So