+ 8. Let z(l) = -l + 1. Let m(k) = n(k) + 3*z(k). Let s = -16 + 25. Let p be m(s). Solve -v - 2 = -p*v for v.
2
Let o(m) = 6*m**2. Let g be o(-1). Let j(d) = 2*d + 5. Let f(b) = b + 2. Let w(i) = 9*f(i) - 4*j(i). Let a be w(g). Solve r - 6 = a*r for r.
-2
Suppose 3 = -n - 1. Let s be -2 - (-2)/n*-4. Solve j + 4*j + 20 = s for j.
-4
Let j = 3 - 10. Let c = 19 + j. Let d(w) = -w**2 + 11*w + 14. Let u be d(c). Solve 2*h = -u*h + 16 for h.
4
Suppose -4*h = -h. Let i be 6/(-30) + 42/10. Solve -i + h = -2*q for q.
2
Suppose -2*o - 62 = -2*w - 0*w, o - 2 = 0. Suppose w = 3*l - 0*l. Solve -l - 1 = -4*z for z.
3
Suppose -10 - 13 = -3*y + 4*s, -2*y + 2 = 4*s. Suppose -f = -0*f - y. Suppose 4*b - 50 = 2*j - f*j, 0 = 4*j + 2*b - 50. Solve -j = 4*g + 6 for g.
-4
Suppose 0 = -2*g - 10, 3*k = g + 10 - 5. Suppose -10 = 2*n - 4*n. Solve -n = -d - k for d.
5
Let v = 6 + -4. Suppose 3*l + 28 = -l. Let o = -3 - l. Solve -v - o = -3*k for k.
2
Suppose 15 = 2*l - 5*l. Let w(t) = -t**2 - 4*t + 5. Let a be w(l). Suppose 3*i = -4*p - a*i - 3, -4*i - 17 = p. Solve 11 - p = 4*s for s.
2
Let d be 0/((2 - 1)*1). Let m(f) = -f - 1. Let z be m(-4). Let j be 0/(2 - (-1 - -5)). Solve o + z + d = j for o.
-3
Suppose 0 = -4*r + 4*v, -2*v = 5*r - r - 18. Let y = -40 - -50. Solve -r*p + y = -5 for p.
5
Let p = 10 + -7. Let b = 33 + -17. Solve -p*f - b = f for f.
-4
Let h be (-8)/(((-8)/(-3))/(-4)). Suppose 2*i + 8 - h = 0. Solve 0 = 4*z - 6 - i for z.
2
Suppose 0 = -2*z - 2*z - 12, -2*i + z = 1. Let f be -1 - (i - (3 + 2)). Suppose -b = b - f. Solve -4*g - 2 = -b*g for g.
-2
Suppose 0 = 5*u + 3*z - 20, z - 8 + 28 = 5*u. Let w(y) = 4*y**2 + 2*y + 1. Let b be w(-1). Solve -5 = b*i - u*i for i.
5
Let y(n) = n + 1. Let k be y(2). Solve k = -w - 2*w for w.
-1
Let f(j) be the second derivative of -j**3/3 - 7*j**2/2 + j. Let p be f(-6). Suppose p*n + 2*z - 3 = 13, -2*z - 20 = -4*n. Solve 12 = -n*o - 4 for o.
-4
Let w(c) = -c**3 - 2*c**2 + 2 - 3*c**2 + 1 + 1. Let y be w(-5). Solve 0 = -y*b - 0*b for b.
0
Suppose -17 = c - 7. Let z(h) = h**2 + 7*h - 22. Let m be z(c). Solve 0 = -5*n + 2 + m for n.
2
Suppose 4*k - 7*k = -4*j + 11, 5*j + 4*k - 37 = 0. Suppose o = -3*h - o + 12, 4*o - 22 = -j*h. Let y = h + 3. Solve -y*g + 2*g = 6 for g.
-2
Let n = -2 - -2. Suppose n = -v - 1 + 5, 2*l + 6 = 4*v. Suppose -l*a + 0 + 10 = 0. Solve 0 = a*j - 2 - 0 for j.
1
Suppose 3*l - 3 - 3 = 0. Suppose -l*n = -2*b - 5 + 47, b + 3*n - 1 = 0. Let s = -11 + b. Solve 2*a - s = -3*a for a.
1
Let z = -13 - -16. Solve z*p = -p - 4 for p.
-1
Suppose j - 6*j = -20. Suppose -j*i = 8, 4*i + 14 + 10 = -2*q. Let o be ((-12)/q)/((-1)/(-12)). Solve 5*g - o = 2 for g.
4
Let a(x) = -3*x - 28. Let p(c) = c**2 + 8*c + 4. Let n be p(-4). Let y be a(n). Solve -y = 3*w + w for w.
-2
Let y be (-6)/4*44/(-6). Solve y*v = 6*v + 25 for v.
5
Suppose 7*k = 14 + 42. Solve -k*w = -3*w - 25 for w.
5
Let m = 0 - 0. Let n be 3/6*m/1. Solve 10 = 5*i - n*i for i.
2
Suppose -14 = -3*y - 2. Solve 0*b + 4 = y*b for b.
1
Let f(a) = a + 8. Let l be f(-4). Suppose 0 = 2*k + l - 12. Solve 0 = -0*v + k*v - 4 for v.
1
Let a(p) = p**2 + 2*p - 1. Let w be a(-3). Suppose -2*y - 2*y + 5*b = -49, 0 = 3*y - 5*b - 38. Solve -w*k + y - 3 = 0 for k.
4
Suppose w + 2 - 6 = 0. Suppose 0 = -2*d + w*d. Solve l + d*l = 0 for l.
0
Let p be 2 - 2*(2 + -3). Let l be (28/6)/(p/6). Solve 0 = -l*t + 2*t - 5 for t.
-1
Suppose 4*c - 1 - 3 = 0. Suppose -o - c = -2*o. Let m(t) = -t**3 - 3*t**2 + t + 4. Let y be m(-3). Solve 0 = g - o - y for g.
2
Suppose -3*h + 2*b = 2, -h - 2*b = -3*h + 2. Let a(w) = -w**2 - 4*w + 1. Let x be a(h). Solve x + 0 = -c for c.
-1
Let i = -19 - -24. Solve 6*d = i*d for d.
0
Let i(s) = s**3 - 17*s**2 - s + 19. Let x be i(17). Solve 3*m + 5 = x*m for m.
-5
Let j = -63 + 63. Solve 2*u + 6 = -j*u for u.
-3
Let p(c) = -c**3 - 3*c**2 - c + 1. Suppose -4*o - 2 = 10. Let m be p(o). Let l = m + -2. Solve 2*x = -l*x + 12 for x.
3
Let i(s) = s**3 + s**2 - s + 2. Let l be i(-3). Let o = -7 - l. Suppose 4*q - 24 = -4*w, w - 3*w - 3*q + 14 = 0. Solve -2*a + o*a = -w for a.
-1
Let y be (3/6)/((-1)/(-6)). Suppose 4*o - 18 = -y*c + 2*o, 4*c + 3*o = 24. Solve c*n - n + 10 = 0 for n.
-2
Let x = 47 - 66. Let c = x - -26. Solve -d = -3 + c for d.
-4
Suppose 0 = -2*m + 20 - 4. Suppose 3*r = 12 - 0. Let i = m - r. Solve a + i = 1 for a.
-3
Let f = 51 + -51. Solve -4*i + 7 + 5 = f for i.
3
Let b(w) = 3*w + 7*w**2 + 7*w**3 + 0*w - 6*w**3 - w. Let j be b(-6). Suppose 4*m - j = 28. Solve -4*n - 3 = m for n.
-4
Suppose 3*s + 24 = 7*s. Let h = s - 0. Solve 0 = h*i - 3*i - 3 for i.
1
Suppose 9 = -3*u + 57. Suppose s = -2*a - 0*s + 11, 3*s - 18 = -a. Solve i - u = -a*i for i.
4
Let z be (4/(-2))/((-2)/4). Suppose 5*w - 5*h - 60 = 0, -5*w - 2*h + 33 = -6. Solve -w = -z*b + b for b.
3
Let o(b) = b**2 + 6*b - 5. Let n be o(-6). Let l = -4 - n. Solve -11 - l = 4*s for s.
-3
Let q(v) = -v. Let h be q(-2). Let d(y) = 2*y**3 - 5*y**2 + 5*y + 2. Let t be d(3). Let a be h/5 + t/10. Solve -a*x + 12 = 3 for x.
3
Let d = 11 - 7. Let g(f) = -f**2 + 5*f + 2. Let q be g(d). Suppose q = 3*k - 9. Solve -9 = -k*a + 16 for a.
5
Let c(u) = u**3 + 14*u**2 - 17*u - 28. Let n be c(-15). Solve 0*k + n*k = -2 for k.
-1
Let g(f) = f**3 + f**2 + f + 6. Let s be g(0). Let a = 2 + 1. Suppose -a*v = v - 16. Solve -v*m + s - 18 = 0 for m.
-3
Let b be ((-12)/(-9))/(2/(-6) + 1). Solve -2 - b = 4*m for m.
-1
Suppose -2*n = 2 - 22. Solve g = 6*g + n for g.
-2
Let q(j) = 4*j**2 + 2*j + 1. Let i be q(-1). Solve r = -i*r for r.
0
Suppose 2*r - 22 = 2*o, -2*o - 4*r + 12 = 4. Let z be (o/(-4))/(9/48). Solve -2*k - 2 + z = 0 for k.
3
Let j be 14 + -11 + (-114)/(-2). Let i = j + -43. Let q(p) = -p**3 - 4*p**2 - 3*p - 5. Let t be q(-4). Solve 2*b = -i + t for b.
-5
Suppose -3*v + 0 + 6 = 0. Solve v*x - 1 + 7 = 0 for x.
-3
Let b be (-2)/(-1)*2/2. Let s be 1/(-1*(-1)/b). Solve 0 = -s*v + v - 2 for v.
-2
Suppose -3*v + 2*v = -2. Solve v*o - 20 = -2*o for o.
5
Suppose -4*f + 7 = -6*f + x, -5*f - x = 21. Let p be (-13)/f - 5/20. Solve -2 = -h - p for h.
-1
Let p(f) = -2*f. Suppose 3*a + 38 = s, 4*a + s + 39 = -0*a. Let w be 40/(-22) + 2/a. Let v be p(w). Solve -9 - 3 = -v*o for o.
3
Suppose 0 = o + 2*o - 8*o. Suppose 3*a = 6*a. Let v be (-12)/(-5) - 2/5. Solve a*h - v*h - 6 = o for h.
-3
Let n be 0 - ((-33)/(-22))/(3/(-8)). Solve n*m - m - 15 = 0 for m.
5
Let v(h) = -2*h. Let t be v(-2). Solve t*y = -0*y for y.
0
Let o be 3/(-15)*1 - 2/(-10). Let k be (-3 + (0 - 1))*1. Let y be (-14)/k - (-2)/(-4). Solve o = -y*q + q - 2 for q.
-1
Suppose -u - 4*l + 21 = 0, 105 = 5*u - 2*l - 3*l. Let k be (-12)/u - 16/(-28). Solve k*y = -4*y for y.
0
Let t = 89 - 85. Solve t*n = -11 - 1 for n.
-3
Let y be -1 - -4 - (0 - 0). Solve -y*s - 5 = -4*s for s.
5
Let f be -1 - (-7 + 4) - -2. Solve -9 = -5*k - f for k.
1
Suppose 0*d + 4*g = 4*d - 4, -d + 5*g = -5. Solve d = -y - 3 + 2 for y.
-1
Let l be 3/(3/(-4)) + 5. Solve 3*j - 4*j = -l for j.
1
Let v be -1 + 7/(21/12). Solve 3*s - 4*s = -v for s.
3
Let m(g) = 8*g + 0 - 2 - 2 + 0*g - g**3 + 6*g**2. Let i be m(7). Solve i*z - 2 = 2*z for z.
2
Let p(q) = q - 2. Let x be p(4). Suppose 4*b + x*v = -0*b + 10, 0 = -4*b - 4*v. Suppose 0 = 4*h - 2*m - 6, -4*h - b*m + 37 = -h. Solve h*o = 3*o for o.
0
Let b(a) = a**2 - 6*a - 5. Let v be b(6). Let g(i) = -i**2 - 7*i - 6. Let w be g(v). Suppose 0 = -w*u + 11 + 1. Solve -u*s - s = 0 for s.
0
Let d(m) = 4*m - 6. Let j(g) = 3*g - 5. Suppose a = 5*a - 8. Let u(o) = a*d(o) - 3*j(o). Let w be u(-3). Solve x + 2*x = w for x.
2
Suppose -i + 0 = -6. Let z be (-6 - -1 - 2)*1. Let d(l) = -2*l + 6. Let r be d(z). Solve i*f = f + r for f.
4
Let r(m) = -2*m + 0*m**3 + m**2 + 2*m**3 - 9 + 10 + m**3. Let i be r(1). Solve -i*z = 2 + 4 for z.
-2
Let u be 5/(-5) - 3/1. Let h be (1 - u/8)*4. Solve 5*g = 2*g - h for g.
-2
Let y(u) = u**2 + 10*u + 12. Let m be y(-9). Let s(c) = c**3 - 3*c**2 - 2*c + 4. Let l be s(m). Let p be l*(-2 + 1/(-2)). Solve p*r + 10 = -0 for r.
-2
Suppose 19*g + 16 = 23*g. Solve -g*n + 3 + 13 = 0 for n.
4
Let h = -42 - -48. Solve -5*b + h*b = 0 for b.
0
Let h be ((-6)/10)/((-2)/10). Solve h + 0 = -z for z.
-3
Suppose -2*s - 5*i = 4 - 2, -4*s = 2*i - 12. Let j be 2 + -2*(-2)/s. Suppose 44 = 3*n + 4*h, j*h - 4*h = 2*n - 26. Solve -2*o - o + n = 0 for o.
