+ 2*b, 2*s = -b + 8. Let h be m(s). Solve h*n + 15 = 5*n for n.
3
Let g(y) = y**2 + 4*y - 7. Let i be g(-6). Suppose 4*a - 52 = -i*h, -4*h - 2*a - 3*a + 47 = 0. Solve 16 = -4*z + h*z for z.
4
Let j be 1/(-2) - 162/(-12). Let x = 19 - j. Solve 2*c - x*c = -8 for c.
2
Let y(n) = n + 16. Let q(i) = -3*i - 47. Let p(u) = -4*q(u) - 11*y(u). Let m be p(0). Solve 0 = f + 2*f - m for f.
4
Let y be (30/4)/(-5)*-2. Suppose 5*n + 13 = -2*x, 3*x + x + y*n - 9 = 0. Solve i - 3*i - x = 0 for i.
-3
Let j be (1 + -1)/(14 - 12) + 1. Solve 0 = 4*s + 17 - j for s.
-4
Let q(a) = -a**2 - 6*a - 1. Let j be q(-5). Suppose -4*r + h = -2*r - 13, r = j*h + 17. Solve 2 = r*u + 17 for u.
-3
Suppose 2*d = -5*d - 5*d. Solve 2*w + 4 = -d*w for w.
-2
Let p = 0 - -3. Let c be -3*(-2)/p - -48. Suppose -m - 4*q - c = -6*m, -4*q + 40 = 4*m. Solve 0*o + m = 2*o for o.
5
Suppose 0 = b - 5*a - 8, -5*b + 2*a = a + 8. Let o be 3/(-3)*(0 + b). Solve 0 = -0*w + o*w for w.
0
Suppose -8 = -4*f - 0. Suppose 3*k - 2 = l, -2*k - l + f*l + 2 = 0. Solve k*n = -2*n for n.
0
Let p(y) = y**2 + 6*y + 3. Let o be p(-6). Solve -15 = o*i - 6 for i.
-3
Let i be (-18)/3 + (-2 - 1). Let t = 9 + i. Solve 5*x = -t*x + 20 for x.
4
Let s be (8/(-6))/((-7)/21). Let o(b) be the third derivative of b**6/120 - b**5/60 - b**4/24 - b**3/3 - b**2. Let y be o(2). Solve 2*u - s + 0 = y for u.
2
Let b be (2 - 3) + 2 - 1. Suppose b*r + r = 3. Suppose 140*z = 142*z - 8. Solve -r*g + z*g = 5 for g.
5
Let a = 9 + -7. Solve -v + 3*v = a for v.
1
Suppose 2*z - 2*d - 4 = -0, -3*d - 18 = -5*z. Let t = z + -4. Solve 5*x = 3*x + t for x.
1
Suppose 18 = -4*b + 4*s - 10, 21 = -3*b - 3*s. Let w = b + 10. Solve -w*p - 1 = -4 for p.
1
Let k be (-1)/6 - (-213)/(-18). Let f = k + 12. Solve f*a = 5*a - 25 for a.
5
Let r = 9 - -7. Solve 3*l = -l + r for l.
4
Let p(g) be the second derivative of 0 - 1/6*g**3 + 5*g**2 + 2*g. Let v be p(7). Solve -2*q = 7 + v for q.
-5
Suppose 1 = k - 1. Solve 2*f - 3*f + k = 0 for f.
2
Let o = 16 - 15. Let s be (-1 - (1 + o)) + 5. Solve 0 = 4*x - 6 - s for x.
2
Let o be (-3 - (-1 - 5))*1. Solve 0 = o*n - 8*n for n.
0
Let b = -177 + 181. Solve 0*i - b = i for i.
-4
Suppose -5*d - 2*n + 9 + 17 = 0, 0 = -5*n - 10. Let g be ((-9)/d)/(5/(-10)). Solve 0 = -g*j - 5 - 4 for j.
-3
Let i = 30 + -16. Let y = -2 + i. Solve -y = -5*d + 8 for d.
4
Let m be (-1 + -2)/(-1) - -1. Let u = m - 2. Solve 0*x = u*x - 6 for x.
3
Let f be 3/2 - (-12)/8. Let c be 3/1 - (1 + 1). Solve a + c = -f for a.
-4
Suppose 34 = 5*q - 41. Suppose -2*v - 2*v = -40. Let s = q - v. Solve 0 = -s*b + 2 + 8 for b.
2
Let i(k) = 4*k - 2*k - k + 4. Let g be i(-4). Let t be 4/(-14) + (-51)/(-7). Solve g = -2*w - t - 1 for w.
-4
Suppose 4*i = -2*y + 28, -4 = 3*y - 16. Solve -g - 16 = -i*g for g.
4
Suppose -4*a = 3*x - 9, 4*x + 2*a - 7*a - 12 = 0. Solve -8 = -t + x*t for t.
-4
Let k(z) = -z**2 + z + 6. Let v be k(3). Solve v*p + p = 0 for p.
0
Let x be 0 + 1 + -1 + 0. Let r = -7 - -5. Let z(n) = n**2 + 2*n + 1. Let y be z(r). Solve y = -i - x for i.
-1
Suppose 0 = p - 2*p + 35. Let q = p + -20. Solve 2*z + q - 5 = 0 for z.
-5
Suppose -3*v + 3*l + 3 = 0, -v + 10 = 2*v + 4*l. Suppose f - 4 = -v. Solve 5*m = f*m for m.
0
Let q = -22 - -29. Solve -3 = 5*c + q for c.
-2
Let s = 10 - 7. Let m = -32 - -15. Let c = m + 24. Solve 16 = -s*d + c*d for d.
4
Let t(q) = -q**3 - 16*q**2 - 17*q - 28. Let y be t(-15). Solve v - 5 = y*v for v.
-5
Let i(j) = -j**2 - 9*j + 11. Let a be i(-9). Suppose -4 = -3*g + a. Solve 0*y + g = -5*y for y.
-1
Let l(m) = -9*m**3 + 5*m**3 + 5*m**3 - 3 + 2*m - 3*m**2 + m. Let b be l(3). Let c be (-1 - -2)/(2/14). Solve -b*n = -c*n + 5 for n.
5
Suppose 0 = -2*w + 6*w. Let u(j) = j**2 + 3. Let s be u(w). Solve -s + 19 = -4*n for n.
-4
Suppose 4*b + 19 - 91 = 0. Let d = b - 9. Suppose -5*c + d = -6. Solve -c*v - 3 = -0 for v.
-1
Let s(z) = -2*z. Let x be s(-1). Suppose -q = -x, 4*m + 2*q = 15 + 5. Let y be (-2)/(-9) + 356/18. Solve y = c + m*c for c.
4
Let i be 20/(-50) - (-32)/5. Suppose -i = -2*u - 2. Solve u*k + k = -15 for k.
-5
Let b(i) = 13*i**2 + 2*i - 1. Let g be b(1). Let u = 16 + -17. Let c be 21/g - u/2. Solve -c*y - 9 = 1 for y.
-5
Suppose 2*k - 15 = -3*k. Solve -k*r - 11 - 4 = 0 for r.
-5
Let k(a) = a**3 + a**2 - 3*a - 2. Let h(w) = -w + 10. Let f be h(12). Let z be k(f). Solve z = -0*l - l - 5 for l.
-5
Let f(k) = k + 1. Let w be f(2). Solve -5*a = -w - 17 for a.
4
Suppose -4*r - 20 = r + 5*q, 20 = 5*r - 5*q. Solve 20 = -5*l - r for l.
-4
Suppose -20 = -4*r - 0*r. Let y = -1 + r. Solve -y = -3*c - 13 for c.
-3
Let c(r) = -r - 2. Let x be c(-4). Suppose -2*u = -2 + 14. Let a be (-207)/(-12) + u/(-8). Solve -a + x = -4*y for y.
4
Let j be (-3)/2 + 4/8. Let c = -4 - j. Let g be (-25)/(-10)*(1 - c). Solve 4*q - g = -q for q.
2
Suppose -8 = -t + 10. Let r be t/(2 + 1) + 1. Suppose -4*h + r = -29. Solve 0*l - 3*l = -h for l.
3
Let d(p) = 1 + 1 + p - 1. Let m be d(8). Solve 4*b - 3 = m for b.
3
Let l = -5 - -24. Let x = l + -12. Solve -x + 2 = y for y.
-5
Let i = 13 - 8. Let w(k) = -3*k - 4 - 4*k**3 + k - 5*k**2 + i*k**3. Let o be w(6). Solve z - 5*z = -o for z.
5
Let i(q) = 4*q - 2 - 2*q**2 + 0*q**2 + q**2. Let m be i(2). Suppose 5*s - 5*v - 25 = 0, -s + 7 = m*v - 1. Solve -s = -c - 3 for c.
3
Let g(q) = q**2 - 7*q + 2. Let x be g(8). Suppose -15 = -5*s + x. Solve w = s*w for w.
0
Suppose 4*b = -0*b + 3*o + 1, 4*o - 28 = -2*b. Solve f + b*f = 0 for f.
0
Let l(t) = t**2 - 6*t - 5. Let d be l(7). Solve s = d - 7 for s.
-5
Suppose -4*v + 16 = 5*k - 2*v, -3*k + 5*v + 22 = 0. Suppose 0 = n - k. Solve -n*l = l + 20 for l.
-4
Suppose 2*d = 5*g - 9, -3*g - g - 2*d + 18 = 0. Suppose g*r = r + 24. Let v be r/8*(0 + 2). Solve -v*q + 2 = -4*q for q.
-2
Suppose 5*q + 0*z - 2*z = 19, -q = 4*z + 5. Let w be 2/(-3)*(-147)/14. Solve -q*k - 4 = -w*k for k.
1
Let d be (-30)/(-20)*8/3. Solve -d*w - 3 = -7*w for w.
1
Let a(y) = 3*y - 13. Let v be a(6). Solve 4*f + v + 3 = 0 for f.
-2
Let a(d) = d**3 + 10*d**2 - 2*d - 15. Let j be a(-10). Suppose -j = 2*k - 13. Solve 0*s = k*s for s.
0
Suppose 141 = 5*d + 26. Let a be (2/4)/(1/8). Suppose -2*r + 5*t - d = -a*r, -4*r + 2*t = -10. Solve -r*w + 3*w = 0 for w.
0
Suppose 9*a = 5*a + 20. Suppose a = 3*p + 4*u + u, 5 = p + 5*u. Solve p*d = 4*d + 4 for d.
-1
Suppose -2*v + 15 = -3*b - 2*b, 3*b + 9 = -3*v. Solve v = -4*z - 3 + 7 for z.
1
Suppose -5*g + 46 = 1. Let u be (-2)/(-1) - (-4 + 5). Let v = u + 0. Solve v - g = -4*a for a.
2
Let c be (-4)/(-16) - (-1)/(-4). Solve 0 = k - c - 1 for k.
1
Suppose -4*z - 61 + 73 = 0. Solve 2*b = z*b for b.
0
Suppose -3*x + 2 = -13. Solve -x*t = -t - 4 for t.
1
Let p be ((-20)/6)/(12/(-18)). Suppose 0 = p*l - 4*k - 25, l + 12 = 5*k - 4. Solve l = 4*u + 25 for u.
-4
Suppose 2*l - 6 = -l. Suppose 2*x = -l*x + 24. Solve -3*u + x = -u for u.
3
Let i(l) = -2*l - 6. Let n be i(-4). Suppose n*w - w = 0. Let c = 4 - 4. Solve -2*b + 6 + w = c for b.
3
Suppose -5*h + 3*h = 18. Let s = h + 14. Solve 3*u + 4 = -s for u.
-3
Suppose 2*c + 4 = 8. Solve -p - 1 = -c*p for p.
1
Let i be (-693)/(-132) - (-2)/(-8). Solve -v = -i + 3 for v.
2
Let i(m) = -3*m**2 - 2*m + 3*m + 2 - m**3 + 3*m. Suppose -2*f - 2*n + 16 = -5*f, 10 = -2*f + n. Let r be i(f). Solve 0 = -3*j - 11 + r for j.
-3
Suppose 0 = -5*q + 25, -4*w + 8 + 3 = -q. Suppose -d = d - w. Suppose 0 = d*o + 2*o - 60. Solve -4*v = -v + o for v.
-5
Let i = -6 + 4. Let u be i/8 + (-3)/(-12). Solve -d = -u + 1 for d.
-1
Let z(c) = c**2 + 12*c + 16. Let v be z(-11). Suppose 75 = 5*j + v*y, j - y = 3 + 4. Solve -5*d - j = 14 for d.
-5
Let o = -23 - -13. Let q(t) = -6 + 1 - t - 2. Let i be q(o). Solve -2*v + i = -v for v.
3
Suppose 7 - 1 = u. Suppose -2*n + u*n - 16 = -h, 5*h - 20 = 0. Solve -y = n*y for y.
0
Suppose 14 = k - o - 10, -40 = -k + 5*o. Let u(n) = -n**2 - n - 2. Let i be u(0). Let t = i - -2. Solve t = f - 6*f - k for f.
-4
Suppose -2*s + 10 = v, 3*s - 2*s = 2*v. Suppose -4 = -v*q + 12. Solve -5*j = q + 7 for j.
-3
Suppose 0 = 5*r - 20 + 10. Let m be 12/(-3)*1/(-1). Solve 2*t = -r*t - m for t.
-1
Let g = 19 + -6. Suppose -4*i = -8*i + k + g, 4*k - 32 = -5*i. Solve -i*q + q - 15 = 0 for q.
-5
Let u(o) = -5*o + 20. Let l be u(4). Solve -7*c + 4*c + 12 = l for c.
4
Let z = -1 - -3. Suppose z*y - 6 = 5*m, -4*m - 2*y = -3*m - 6. Solve 