 8. Solve f*s + 2 = -6 for s.
-2
Let n = 18 - 13. Solve -n*w = -3*w + 2 for w.
-1
Let a be 2/6 + 38/(-6). Suppose g + 5*g = -36. Let j = g - a. Solve j = 4*q - 3*q - 5 for q.
5
Let a(y) = y - 13. Let r be a(13). Solve r = s + 3*s - 8 for s.
2
Suppose 8*w - 14*w = 0. Solve w + 4 = 2*j for j.
2
Suppose 0 = v + y + 4, 2*v - 7 = -4*y + 5*y. Solve -19 = -4*f + v for f.
5
Suppose -5*m = m - 18. Solve 0 + 3 = m*l for l.
1
Let u = -12 + 16. Solve 0 = u*f - 10 - 2 for f.
3
Suppose -3*i + 12 = -d, -5*d + 0 - 6 = 3*i. Suppose i*u = 2 + 4. Solve -u*a + 6 = 14 for a.
-4
Let a be 2 + 14/4*2. Let t be 6/(-9)*a/(-2). Solve -5 = t*m - 14 for m.
3
Let u(n) = -2*n - 4. Suppose 3 = 3*l + 9. Let c be l + -2 + 2 + -2. Let o be u(c). Solve o*m - 3 = 3*m for m.
3
Suppose -s - 3*u = 4*s + 3, 5 = 3*s - 5*u. Suppose 0 = -m - s*m. Solve m*y = 4*y + 16 for y.
-4
Suppose 0 = 5*s - 4*j - 21, -5*j + 14 + 6 = 3*s. Suppose 0*m = s*m. Solve m = 2*w + w + 9 for w.
-3
Let n(v) = -v**3 - 3*v**2 - 2*v - 3. Let t be n(-3). Let d be -1 - (-14)/21*(7 - 1). Solve 0*r - t = d*r for r.
-1
Let y be (-38)/(-14) - (-2)/7. Suppose 0*j - 2*g = 5*j + 26, 4*j + y*g + 18 = 0. Let i be 2/(-6) + (-14)/j. Solve 0 = -i*v - 0*v for v.
0
Let x(w) = -4*w**3 - w**2 - 4*w - 4. Let t be x(-1). Solve 3*y + 0*y = -t for y.
-1
Suppose 7*u - 17*u = -8*u. Solve u = -2*w + 3*w for w.
0
Suppose 2*f - 8 = -2*q + 6*f, q - 5*f = 10. Let c = 31 + -11. Suppose -7*o + 2*o + c = q. Solve 0 = k + 1 - o for k.
3
Let f(g) = 2*g - 26. Let x be f(14). Solve x*n = 3*n - 2 for n.
2
Suppose 5*m - 8 = 12. Let o be 38/9 + m/(-18). Solve o*y + 2 = -14 for y.
-4
Let l(y) = y + 2. Let n be l(-5). Let a = n - -10. Let s(i) = -i**2 + 2*i + 2. Let k be s(2). Solve 1 = k*w - a for w.
4
Let w(c) = c - 2. Let y be w(2). Suppose y = n + n. Solve 0 = x - n*x + 4 for x.
-4
Let r = 15 - 10. Suppose 4*g + 9 = 4*w + 3*g, 5*w + 2*g = 8. Suppose -r*s - 31 = -4*x, x - w*s - 16 = 2*s. Solve x*u - 5 = -u for u.
1
Suppose -f + 5*n - 4 = 0, -5*f - 1 = -2*f - 4*n. Solve -3*x - 8 = f for x.
-3
Suppose 5*p + 11 = b, 0*b + 12 = 2*b - 5*p. Solve z + b = 3 for z.
2
Let q(l) = -21*l + 1. Suppose -2*f - 5*y = 35, 4*y - 5 = 3*f + 2*y. Let d = f + 4. Let b be q(d). Solve -b = 4*x - 6 for x.
-4
Let o be -18 + 0*(-2)/(-4). Let r be o/(-14) + 2/(-7). Let h be (0/(-4))/(r*-2). Solve 6 + h = 2*d for d.
3
Let q(x) be the second derivative of -x**3/3 + 5*x**2 - 2*x. Let u be q(7). Let d = u - -6. Solve -v + d*v = -4 for v.
-4
Suppose 7 = 4*j - 1. Let m(a) = 2*a**2 - 3*a. Let c be m(j). Solve 0 = c*v - 0*v - 2 for v.
1
Let b = 280 + -168. Let k be 5/2*b/35. Solve k + 1 = -3*j for j.
-3
Suppose -8*h - 28 = -12*h. Solve 0 = -h*k + 2*k for k.
0
Let y = 0 - 0. Suppose -w = 4*h - 3*h - 5, -4*w + h = 5. Let s be 1*-4*(-8 - -7). Solve y*k - k + s = w for k.
4
Let q(t) = t + 7. Let l be q(-5). Solve 0 = l*x - 0*x - 6 for x.
3
Suppose -18 = -3*z + z. Solve -3*h + 6*h = z for h.
3
Let o = 7 - 1. Solve 0*b + 2*b + o = 0 for b.
-3
Let v = 1 + 4. Solve 0*t - t = v for t.
-5
Suppose 8*a = 4*a. Solve -5*v + 22 + 3 = a for v.
5
Suppose 2 = k - 1. Let o(a) = a + 2. Let n be o(k). Solve -n*i + 1 + 24 = 0 for i.
5
Suppose -3*j = -5*c - 6*j + 8, -c - 5*j = -6. Let z(q) = 9 - 3*q - 2*q + c + 6*q. Let v be z(-8). Solve 3*k = v*k + 3 for k.
3
Let z be 66/(-4)*(-32)/12. Let i = z - 18. Solve -5*o + i = 6 for o.
4
Let c be (-1)/((-1)/2 + 0). Let i = 8 - c. Solve -5*l - i = -7*l for l.
3
Let j(u) = u**3 - u**2 - u + 1. Let c be j(0). Solve r + 0*r - c = 0 for r.
1
Let l(h) = h - 5. Let i be l(10). Solve 0 = -x - i for x.
-5
Let v be 1/(-2 + (2 - -1)). Let p be (-3 - -2 - 1) + 6. Solve p*l = -v - 3 for l.
-1
Let k(h) = -h**2 + 7*h + 1. Let d be k(7). Let m = 0 - -3. Let r = d + m. Solve 2 - r = 2*b for b.
-1
Let a = 5 + -8. Let o = a + 7. Suppose 0*t = o*t - 4. Solve f = t - 3 for f.
-2
Let m(x) = 5*x**3 - 2*x**2 + 1. Let d be m(1). Solve a = -d*a for a.
0
Suppose 4*t + 0*t - 120 = 0. Suppose -3*y - t = -5*n, 2*n = -5*y - 6 - 13. Solve -z - 2 = -n*z for z.
1
Let w = 0 - -3. Suppose w*n + p + 2 = 5*p, 4*p - 4 = 2*n. Suppose 0 = n*z - 5*z + 78. Solve 5*h - 1 = -z for h.
-5
Let q(h) be the second derivative of 5*h**4/6 + h**3/3 + h**2/2 - 2*h. Let d be q(-1). Suppose 4*v = -y + 21, 6*y - 4*v = 2*y + 4. Solve -y*k = -d - 1 for k.
2
Let w be ((-5)/(-105) - (-4)/14)*0. Solve w*r = -4*r + 12 for r.
3
Let u(i) = i**3 - 20*i**2 - 22*i + 21. Let r be u(21). Solve r = k + k for k.
0
Let j(z) be the third derivative of z**6/120 + z**5/15 + z**4/12 - z**3/6 + 5*z**2. Let f be j(-2). Let d = 0 + 2. Solve -d*o + f = -3 for o.
3
Suppose -1 + 13 = 3*w. Suppose 0 = -w*a + 6*a - 4. Solve 0 = -0*j + a*j + 6 for j.
-3
Let y be 1*(-2)/(1 + 1). Let v be (-6)/(-10) - 24/15. Let n be y*(3/3 + v). Solve -p + 4 = -n for p.
4
Suppose -23 + 2 = 3*l. Let p = 13 + l. Solve 3*q = -p - 0 for q.
-2
Suppose -27 = 2*d + 5*g, 26 = -5*d - 3*g - 13. Let v = 7 + d. Let u be (-4 + 0)*v/(-2). Solve u = 4*k - 2 for k.
1
Let y be 7 - (-1 + (-12)/(-3)). Suppose 5*r - 3 = y*r. Solve 1 = r*m - 5 for m.
2
Suppose 8 = 2*r + 8. Solve 2*q + 2*q - 12 = r for q.
3
Let k(x) = x. Let t be (7 - (5 - 4)) + -3. Let v be k(t). Solve 3 + 9 = -v*n for n.
-4
Suppose 3*n - 3*z = 24, -4*n + 13 = -2*n - z. Let t = -15 - -34. Solve -n*r - 6 = t for r.
-5
Let k(j) = -j**2 + 7*j - 3. Let v be k(7). Let f = v - -8. Solve f + 0 = 5*h for h.
1
Let j(d) = d**2 - d + 2*d**3 - d**2 + d**2. Let z be j(1). Solve z*k - k = -1 for k.
-1
Let m be -4 + (15 + -3)/2. Solve -i + m + 0 = 0 for i.
2
Let p be (2 - 2)*(-4 - -5). Suppose 2*a = -p*a. Solve a*f - 5*f = 0 for f.
0
Let b(o) = -o**2 + 9*o - 3. Let r be b(7). Solve -2*t = -1 + r for t.
-5
Let x(o) = -o**3 + 10*o**2 - 4*o + 7. Let i be x(9). Suppose -3*k + 29 = 4*q, 5*k - k + 2*q = i. Let f = k + -5. Solve b - f = 6*b for b.
-2
Let p be (8 + -2)*(-3)/(-6). Solve 3*d + 12 = -p for d.
-5
Suppose 3*j - 5*v = 90 + 42, -2*j + 72 = 2*v. Suppose 0 = 2*k - j - 1. Solve -r = 4*r + k for r.
-4
Let b(o) = o**2 + 9*o + 12. Let z be b(-8). Suppose -2*p + 61 = -5*r + 3, -p + 20 = 2*r. Suppose p = x - z*c, 0 = 4*c + 19 + 1. Solve x*t = t - 12 for t.
-4
Let x be (-22)/(-1)*(-2)/(-4). Suppose -3*y = 12, 3*y + x = f + y. Solve -13 - 2 = f*g for g.
-5
Let m(b) = 3*b - 3. Let g be m(2). Suppose -4*k + 5*j = -8, k + 8 = 5*k - 2*j. Suppose -3*w = -5*d + 11 - 1, -k*d - w + 4 = 0. Solve d*q - g*q = -4 for q.
4
Suppose -5*i = -0 - 5. Suppose k + 12 = 3*k. Solve -f = k - i for f.
-5
Suppose -27 = -m - 2*m. Let k be (1*(-2 + -13))/(2 + -3). Solve -4*f - k = -m*f for f.
3
Suppose 69 = 5*z - 2*j, -z + 3 = -0*z - 4*j. Solve r = 6*r - z for r.
3
Let c(v) = v**3 + 5*v**2 - v + 3. Let x(w) = w**3 + 9*w**2 + 10*w + 11. Let b be x(-8). Let n be c(b). Solve a - 3*a = -n for a.
4
Let h(c) = c + 3. Let p be h(-3). Let k be 2/(-7) - (-10)/35. Suppose k*q + 24 = 2*q. Solve p*w = 3*w + q for w.
-4
Suppose -q + 4*y + 17 = 0, -5*q + 1 = y - 0*y. Let x(p) be the first derivative of 2*p**3/3 + p**2 - p - 4. Let b be x(q). Solve 0 = 4*u - u - b for u.
1
Let k be 3*21*10/45. Solve -k - 6 = 4*s for s.
-5
Suppose -3*l + 4*v = -2 + 12, 2*l - 4*v = -12. Solve 0*o = l*o for o.
0
Suppose 4*p = 2*p + 4. Solve p*g = -3*g + 15 for g.
3
Let b(k) = 3*k - 1. Let x be b(-2). Suppose 5*m - 1 - 38 = c, -5*m - 5*c + 15 = 0. Let v = x + m. Solve 3*f - 15 = -v*f for f.
5
Let z be (-1 - -4)/(2/12). Solve 4*c = z - 2 for c.
4
Suppose -2*i = 2*f - 5*i - 15, -3*i - 15 = -3*f. Suppose f = -5*a + 20, -4*p - 4*a + 38 = 6. Solve 0 = -n + p*n - 3 for n.
1
Let l(q) = -q. Let k be l(1). Let b be -2 - -4 - k*2. Solve 4 = -b*p - 0 for p.
-1
Let z be 0 + 1 - (-6 + -1). Suppose -4 = -2*w - 2*w - 4*k, -3*w = 2*k - z. Solve -r + w = r for r.
3
Let c(j) = 2*j**2 - 2*j. Let v be c(2). Let f be 22/4 - v/(-8). Let z be (f/5)/((-2)/(-5)). Solve 6 = -z*n - 0*n for n.
-2
Suppose v - 4 = -0*v. Let z = -1 - -1. Solve 0 = -z*q + q + v for q.
-4
Suppose -f + 4*n = 10, 4 - 1 = n. Let o be ((-2)/(-3))/((-2)/(-9)). Suppose -3*i = 3*g - 9, 0 = -g + o - f. Solve -3*y = i*y for y.
0
Suppose -5*g + 3*n = -0*g - 80, 0 = 4*n. Suppose 2*k + g = 3*p, p = -5*k - 24 + 1. Suppose 18 + p = 5*y. Solve w = 5*w - y for w.
1
Let y(k) be the third derivative of -k**4/8 - 2*k**3/3 - 7*k**2. Let o be y(-2). Solve -5*f + o = -4*f