9. Solve 4 = -5*h - x for h.
-5
Let b(p) be the second derivative of p**5/20 - 4*p**4/3 + 5*p**3/2 + 3*p**2/2 - 3*p. Let h be b(15). Solve -v + h = -2 for v.
5
Let i be 2/8 + (0 - 161/(-28)). Solve 2 = 4*a - i for a.
2
Suppose 0*a = -4*i - 3*a + 44, -3*i = a - 38. Solve i - 4 = -2*k for k.
-5
Let h(s) = -s. Let l be h(-3). Suppose 5*u = p + 37, -5*u - 2*p - 3*p + 55 = 0. Solve t - l*t = -u for t.
4
Let m be (5 - 7) + (-1 - -6). Let i(j) = -j**2 + 3*j. Let o be i(m). Solve o = 8*h - 3*h - 25 for h.
5
Let j be (0 - (1 + -2)) + -1. Solve g + 4 = -j for g.
-4
Suppose 0 = 6*j - 14 - 10. Suppose 18 = j*x + 2. Solve -x*v = -v for v.
0
Let u = 118 - 116. Solve 0 = u*f + f + 9 for f.
-3
Suppose -g = 5, 0 = 5*d + 4*g - 13 - 2. Let i = -4 + d. Let p = 0 + i. Solve 3 = -3*f - p for f.
-2
Suppose 5*p + 4 = -0*q - 2*q, -4*q + 2*p = -16. Solve 2*g - q = 1 for g.
2
Suppose -5*q + 23 = 3*j, 0 = 2*j + 3*j - 5. Suppose 0*y + 12 = q*y. Solve 0 = -y*s - 4 + 16 for s.
4
Suppose -i + 1 = x, -2*x + 23 = x - i. Let s(z) = 3*z - 9. Let t be s(x). Let v = -4 + t. Solve v = o - 2*o for o.
-5
Suppose u - 4 = -3*u. Solve -u = 2*q + 3 for q.
-2
Suppose 4*n = 5*l + 8, 3*n + 2*l = 6 - 0. Solve 0 = y + n*y for y.
0
Let k(o) = -4*o - 17 + 3*o + 28. Let a be k(9). Solve a*w = 5*w for w.
0
Let n be 2/(3 + (-7)/3). Suppose -4*t + o + 8 = 2*o, n*t + 3*o = -3. Solve -2*m - t*m = -5 for m.
1
Let s = 183 - 183. Solve s = x - 0*x + 3 for x.
-3
Let k = 12 + -2. Solve 2*d + k = 4*d for d.
5
Let j(m) = m**2 - 4*m + 7. Suppose 0 = -w - y + 1, -5*w = y + 2*y - 13. Let t be j(w). Suppose 6*q = -24*q + 60. Solve 0 = -2*g - t + q for g.
-5
Suppose -t + x = 2*x - 32, -9 = -3*x. Suppose -j + 2*s - 1 = -t, 36 = j - 4*s. Solve -5*d = -d + j for d.
-5
Let g(m) = -m**3 - 5*m**2 - 5*m + 2. Let j be g(-4). Let s = j - 3. Solve -s*x - 15 = 2*x for x.
-3
Let r(y) = y**3 + 7*y**2 + 4*y - 9. Let k be r(-6). Solve k*i - 4*i + 4 = 0 for i.
4
Let a(z) = 5*z - 10. Let s be a(2). Solve 2*j = -s*j for j.
0
Let b = 7 - 7. Suppose f + 18 = 7*f. Solve -t - f = -b for t.
-3
Let v = 6 - 4. Suppose 2*b + v*k = -126, -5*b + 0*k + 2*k - 294 = 0. Let y be (1/(-2))/(2/b). Solve 0 = -8*w + 5*w + y for w.
5
Let j = 8 + -5. Let w be j/((-6)/4)*-1. Solve 0*p - p = -w for p.
2
Let r(u) = u**3 - 2*u**2 - 8*u + 3. Let j be r(4). Suppose z = 4*z - 6. Let c be 1/(2/4) + z. Solve j*a - 2 = c*a for a.
-2
Suppose 13 = 5*v + 4*g, 3*v - 4*g + 8 - 35 = 0. Suppose -v*w - 2*t + 6*t = -14, 0 = 3*w - 3*t - 9. Solve -w*x = x for x.
0
Let d(q) = -q + 7. Let x be d(3). Let g be (-2)/(-7) - 52/(-14). Suppose g*c - 5*h - 32 = 0, -c - 5 = 2*h - 0. Solve c*k = x*k for k.
0
Let s be 0 + (12 - (-2 + 3)). Suppose -y + 6 = d, 2*y + 1 = 4*d - s. Solve 0 = -5*k - 1 - d for k.
-1
Let y(m) = -3*m + 2. Let k be y(0). Solve k*g - 4*g + 4 = 0 for g.
2
Let a = -3 - -10. Solve -3*o + a = -8 for o.
5
Let a(n) = n + 7. Let b be a(-5). Solve -h + b*h - 5 = 0 for h.
5
Suppose -3*n = -4*h + 9 + 7, 0 = -2*n + 8. Solve 2 - h = s for s.
-5
Let l(g) be the third derivative of -7*g**4/12 - g**3/2 - 2*g**2. Let d be l(-2). Solve -7*y + 2*y = -d for y.
5
Let s(u) be the first derivative of -u**4/4 - 10*u**3/3 + u**2/2 + 11*u - 2. Let c be s(-10). Solve 0*y - c = -y for y.
1
Let c(f) = -f**2 - 6*f + 9. Let b be c(-7). Solve -k = k + b for k.
-1
Let z be -18*(3 + (-21)/9). Let o = 16 + z. Solve 10 + 2 = o*p for p.
3
Let x be (-1 - -1) + 1 + 4. Suppose 0 = -x*t + 3*s + 339, -5*s = -4*t - 0*s + 266. Suppose 5*u - l + 0*l = t, -4*u - 4*l = -36. Solve -2*j - u + 3 = 0 for j.
-5
Let v be -1 - ((-2)/11 - 583/121). Solve v*w + 13 = -3 for w.
-4
Let a(h) = h + 8. Let r(z) = z**3 + z + 2. Let q be r(-2). Let n be a(q). Suppose -1 + 7 = 2*t, 4*t - 16 = -2*f. Solve 2*s + f*s - 16 = n for s.
4
Let x(y) = y**2. Let j be x(-3). Let o(b) = b - 7. Let u be o(j). Solve -u*l + l - 5 = 0 for l.
-5
Let t(c) = c**3 - 4*c**2 + c + 4. Let z be t(4). Let o = 11 - 8. Solve o*l + z = -l for l.
-2
Suppose 5*q = 5*r + 2*q + 142, -2*r + 2*q = 56. Let s = -13 - r. Solve v = -3*v + s for v.
4
Let g = 109 + -103. Solve -g = -a - 5 for a.
1
Let n be (-2 - -3)/(3/6). Solve n*l = 6*l for l.
0
Let h(j) = -j - 1. Let d be (-3 + 4)*-1*3. Let f be h(d). Solve 2*c = 4*c + f for c.
-1
Let p(h) = -h**3 - 8*h**2 + 10*h + 10. Let f be p(-9). Solve -2 = -u + f for u.
3
Let t = -5 - 3. Let d be t/20 - 4/(-10). Let v be (-1)/(-3) + 44/12. Solve -v*w = -d*w + 16 for w.
-4
Let l(o) = -9*o - 23. Let b be l(-3). Solve c + b*c - 25 = 0 for c.
5
Suppose 0*t - 3*t + 12 = 0. Let u(m) be the third derivative of -m**6/120 + m**5/15 + m**4/24 - m**3/2 - m**2. Let a be u(t). Solve 5*j + 4 + a = 0 for j.
-1
Suppose -19*c + 24 = -7*c. Solve -c*h = h - 6 for h.
2
Let u = 72 - 79. Suppose x - a + 0 = 14, x = 4*a + 26. Let h = u + x. Solve -2*v = h*v - 15 for v.
3
Suppose 140 = 5*n + 5*t, 9*n - 4*n - t = 122. Solve 0 = 7*h - 12*h - n for h.
-5
Let y = 2 - 0. Suppose 0 = y*n - 7*n. Solve -o = -n*o for o.
0
Suppose 0*d + 11 = d. Suppose -2*c - 3 + d = 0. Solve 0 = 8*t - c*t for t.
0
Let c = -19 + 7. Let h(o) = -2*o - 14. Let l be h(c). Solve a = 3*a + l for a.
-5
Let p = 84 - 80. Solve -p*i + 5 = 17 for i.
-3
Let t = -2 + -4. Let l be 5*-1*t/10. Solve -l*f = f - 20 for f.
5
Suppose -v - 2*v = -9. Solve 2*t = -v*t + 15 for t.
3
Suppose 5*v - 52 = -37. Solve 6*p - 3*p + v = 0 for p.
-1
Let a = -6 + 10. Let b(x) = -3*x. Let c be b(-2). Let l be a/(-6) - c/(-9). Solve l = 4*z - 4 - 0 for z.
1
Let m = -26 + 26. Solve -2*h = -m*h + 10 for h.
-5
Let z be (-1)/2 + 3/(12/50). Solve 2*n - z = -2 for n.
5
Let j = 9 + -7. Suppose -j*p - 12 = -3*i - 2*i, 8 = 2*i - 4*p. Let w be (0/(1 + 0))/1. Solve 10 = -i*y - w for y.
-5
Let g = 2 - -4. Suppose -15 = z - g*z. Solve -z*u - 2 + 5 = 0 for u.
1
Let u be (4/9)/(8*(-4)/(-144)). Let s be ((-3)/2)/(3/(-16)). Solve 4*n = u*n - s for n.
-4
Let a be -13 + 12 - 1*-7. Solve -4*u = -2 - a for u.
2
Suppose -4*c + 12 = -2*u, 7*c - 2*c + 3*u = 4. Solve -c*o + 3 = -5 for o.
4
Let m(c) = -c**3 - 9*c**2 + 11*c - 1. Let d be m(-10). Let k be (d + 2)*(-1)/3. Suppose -6 = k*z - x - 2, -12 = -3*x. Solve g + 3 = -z*g for g.
-3
Let x be (-9)/(-27)*0/1. Solve x = -k - 2 for k.
-2
Suppose 0 = 5*n - 23 - 7. Suppose -l = l - n. Solve l = -2*p - 5 for p.
-4
Let k = 33 - 9. Suppose b + 4 = -4*n + 6*b, -4*n - 5*b + 36 = 0. Let q be (-2)/(0 + -2) + 3. Solve -q + k = n*r for r.
5
Suppose -15 - 20 = -5*g. Let b = g - 13. Let m be ((-2)/2)/(2/b). Solve -m*s + s - 4 = 0 for s.
-2
Suppose 4*g - 2*z + 3*z - 69 = 0, 2*z - 10 = 0. Solve 2*l + 2*l + g = 0 for l.
-4
Let a be 22/8*(3 + 1). Let h = -9 + a. Solve h*g + 25 = 7*g for g.
5
Let c(b) = b + 6. Let x(m) = -2*m - 12. Let f(l) = 11*c(l) + 6*x(l). Let r be f(-10). Solve -r = -s - 0 for s.
4
Suppose 20 = -3*i + 7*i. Solve 24 = -i*q + 9 for q.
-3
Let i(w) = -2*w**3 - 4*w**2 + w. Let p be i(-3). Suppose 2*y - 2*k + p = -5*k, y + 10 = -2*k. Solve y = 2*j - 2 - 2 for j.
2
Let u(t) = -3*t + 2. Let z be u(4). Let h be 0 + 1 - (z - 0). Suppose 5*l = 5*o + 5, 2*l + 5*o = -7 + 23. Solve l*p - h = -2 for p.
3
Let c = -2 - -5. Suppose -4*l = -l - 174. Suppose 0 = -4*b + 2*j + 32 + 16, -3*b + l = 4*j. Solve c*g + b = 5 for g.
-3
Suppose 3*l = 2*l. Suppose 0 = m - l*m. Suppose m = -4*t - t. Solve t = -s - 7 + 2 for s.
-5
Suppose -2*p - 3*p + 5*j + 25 = 0, 4*j + 8 = -2*p. Solve a = p*a + 2 for a.
-2
Let y = -5 - -6. Let n be (0/1)/(y - 2). Solve -3 + n = -v for v.
3
Suppose -8*n + 5 = -3*n. Let x be (4*-1)/2 + 2. Suppose 0 = 2*p - 4*t - 6 - 4, p + t - 2 = x. Solve -p*g = -2*g + n for g.
-1
Let n(u) = u**2 - 1. Let p be n(-2). Solve 0 = -p*z + 9 for z.
3
Let m(u) = 3*u**2 - 2*u + 1. Let v be m(1). Let q be 1 + v - 6/2. Let b be (q - (-2)/1) + 1. Solve 6 = -b*l + 3 for l.
-1
Suppose 7*x = x. Solve x*l + 3 = -3*l for l.
-1
Let o = -10 + 15. Suppose -2*v = -o*v + 2*t + 12, 0 = v + 2*t + 4. Solve v*r + 2 = r for r.
-2
Let d(b) = 9*b**2 + 3*b - 2. Let s(a) = 5*a**2 + a - 1. Let x(z) = 3*d(z) - 5*s(z). Let y be x(-3). Solve y*v + 6 = 1 for v.
-1
Let r(b) = b - 1. Let z be r(4). Suppose -s + c + 11 = 0, 0*s + 53 = 5*s - z*c. Solve i = 3*i + s for i.
-5
Let y = -2 - -9. Let i = y + -4. Suppose 2*f = 6, 5 = 3*z + 3*f - 16. Solve z - 13 = -i*w for w.
3
Suppose 5*n = -i + 23, 5*n = n + 2*i + 10. Suppose -2*z +