 - 8. Solve -h + 0*h + o = 0 for h.
1
Let y(p) be the second derivative of -p**5/20 + 5*p**4/12 - p**3/2 - p**2 - 2*p. Let i be y(4). Solve -1 - 3 = -i*g for g.
2
Let n = -22 - -32. Solve -c = c - n for c.
5
Suppose 0 = 5*c + 4*t + 3, 1 = c - 2*c - t. Let a be 1 + c + 1*-2. Let d be (0 + 5/(-10))/(2/(-12)). Solve 3*g + a - d = 0 for g.
1
Suppose -4*c + 45 + 63 = 0. Solve -7 + c = 4*u for u.
5
Let g = -19 + 21. Solve g = 3*a - a for a.
1
Suppose 0 = q - 7 - 2. Let r = q + -4. Suppose -g = -r*g + 32. Solve -3*b = -g*b + 25 for b.
5
Suppose -22 = p + 5*k, -4*p + 4*k + 19 = -13. Solve -4*w - 9 = p for w.
-3
Let j(z) = 6*z - 2. Let s be j(2). Suppose -5*i = 4*b - 110, -2*i - i - 126 = -4*b. Let c be (6/4)/(3/b). Solve 5*r = c + s for r.
5
Suppose -5*v + 8 = 3. Let i be -2 - -2*2 - v. Solve a = 2*a - i for a.
1
Let z be ((-25)/10)/(2/(-8)). Suppose -4*y + 2*y + 8 = -m, -2*y = -z. Solve m = -2*f - 0*f for f.
-1
Suppose 8*a - 25 = 3*a. Solve -z + 2*z = a for z.
5
Suppose -13*s + 2*q + 48 = -11*s, s = 3*q + 22. Solve -7*f + 2*f = -s for f.
5
Suppose -12 = 12*n - 14*n. Solve t = -t - n for t.
-3
Let j(n) be the second derivative of -n**4/12 - 11*n**3/6 + 7*n**2 - n. Suppose 3*h = -5*m - 56, 5*m + 5 + 39 = -2*h. Let v be j(h). Solve -3 = -v*y - 1 for y.
1
Let p(v) be the first derivative of v**4/4 - 3*v**3 + 9*v**2/2 - 6*v - 1. Let u be p(8). Let w(i) = 6*i - 1. Let z be w(1). Solve z*g = -u + 22 for g.
4
Let b = 31 + -29. Solve -b*c - 25 = 3*c for c.
-5
Suppose 0 = 4*o + 19 - 27. Solve -o*v + v = -1 for v.
1
Suppose -2*y - 4*k = 0, -y + 0*k = -k - 3. Solve -6*t = -y*t for t.
0
Let d = 10 + -8. Solve 0 = p - 2 - d for p.
4
Let q(n) = 2*n. Let g be q(2). Let m(i) = g*i - 3*i - 3*i - 3. Let f be m(-3). Solve 0 = 2*y + 3 + f for y.
-3
Suppose 0 = -3*l - 3 + 9. Solve l*r - 3 = 3 for r.
3
Suppose 3*m = 3, 0 = -i - m + 5 - 4. Suppose i = 2*o - 5*h - 18, 3*o + 2*h = 2*o. Solve -o*n + 8 = -0 for n.
2
Suppose -3*p = -p - 4. Solve 0 = -z - p + 5 for z.
3
Let j = 3 + -1. Let y be j/(-8) + 54/24. Suppose -2*q - l = -7, -9*q + y*l + 13 = -4*q. Solve q*v - v = 10 for v.
5
Let p be 40/24 + 1/3. Suppose -3*z = -2*q + 3*q - 14, -q - 10 = -3*z. Suppose q*x + x - 30 = 0. Solve 0 = p*c + x for c.
-5
Suppose -2*p - 5*w = 19, 0 = 5*p + 4*w - 7*w - 30. Solve 0 = -3*q + p for q.
1
Let a(t) = t**2 - 17*t + 15. Let j be a(17). Solve -2*p + j = 3*p for p.
3
Let o(c) = -8*c + 6*c**3 - 7*c**3 + 2*c**3 - 5 + 5*c**2. Let q be o(-6). Solve -q = 4*h - 27 for h.
5
Suppose 6*y - y = -3*v + 67, 0 = -2*y + 10. Let f be v - 3 - (-1)/(-1). Suppose f*j = 5*j + 5. Solve -17 = 4*b - j for b.
-4
Let z = 17 - 12. Solve 0 = z*n - 5 for n.
1
Let i be 0/(-5 + 3) - -3. Let d(k) be the first derivative of -k**2/2 - 3*k - 1. Let a be d(-8). Solve a*o - i = 4*o for o.
3
Let h = -15 - -27. Suppose h = 4*b + 2*z, z - 1 = -b - 0*z. Solve b*p + 2 = 7*p for p.
1
Suppose -3*u + 37 = 4*s, 4*u + 5*s + 17 = 67. Solve 4*h - u = -3 for h.
3
Let f(a) = -6*a**3 + a**2 - a + 1. Let s be f(1). Let m = -5 - s. Solve z + z - 10 = m for z.
5
Suppose -3*o + 9*a - 10*a = -18, -5*a = -5*o + 50. Solve -4*z - o - 9 = 0 for z.
-4
Let d be 1*(-4)/((-12)/(-21)). Let w be d/(14/(-16)) + -3. Solve -w = 2*q + 1 for q.
-3
Let q(v) = -v**2 - 11*v + 14. Suppose 4*k = 7 + 89. Let m be (k/(-28))/(1/14). Let x be q(m). Solve x*y + 0*y = 0 for y.
0
Suppose o + 6 = -3*u, -4*o + 2*o = -6. Let g = -5 - u. Let d(n) = n**2 + 3*n + 2. Let x be d(g). Solve 5 + x = w for w.
5
Suppose -b + 0*b + 20 = 5*l, b - 8 = -2*l. Solve 7 - l = a for a.
3
Let n = -148 + 151. Solve -4*u + n + 1 = 0 for u.
1
Let n = -2 - -4. Let u = n + -2. Let t be 0/(4/(u - -2)). Solve -q - 2*q = t for q.
0
Let z(b) = b**3 + b**2 + 14. Let w be z(0). Let c be 4/w - (-4)/(-14). Solve c = 3*p - 2 - 7 for p.
3
Suppose -2*a + 4*a = -3*a. Solve -2*p + 0*p + 8 = a for p.
4
Suppose 5*o + 20 = x, -2*x = -3*o - 5 - 7. Suppose h - 4 = -x. Solve -h*s + 2 = -2 for s.
1
Suppose v - 2*j - 21 = 0, 2*v - 2*j = -0*v + 36. Solve -4*d + 7 = v for d.
-2
Suppose -40 = -5*m - 15. Let a be 2/((1/1)/1). Let p be 2*(m/2 - a). Solve -16 = 5*g - p for g.
-3
Suppose -3*j + 2*j = 1. Let a be (8/4*-5)/j. Solve 0*d - a = 2*d for d.
-5
Let l be (-10)/35 + (-79)/(-7). Let v = l + -9. Solve b + v = -0*b for b.
-2
Suppose -6 = 5*y - 1. Let r be y/2 - 44/(-8). Suppose 11 + 14 = r*f. Solve -4 = q - f*q for q.
1
Suppose r + 5 = -d, -3*r + 5*d = 2*d + 9. Let v be 6/(1 + r/16). Solve -5*i = -i + v for i.
-2
Let k(v) = v**2 - v + 3. Let t be k(4). Suppose -f = -4*i + 16, 2*i + f = -i + 12. Suppose 32 = 4*r + i*w, -r - 22 = -6*r + w. Solve r*a = -0*a - t for a.
-3
Let o(f) = -f + 10. Let v be o(5). Let i = 13 - v. Suppose 0 = q - 3. Solve -x + q = i for x.
-5
Let m(q) = q**2 - 4*q - 5. Let n be m(6). Let p be (8/20)/(3/(-30)). Let w = n + p. Solve 0*k + w*k = -9 for k.
-3
Suppose -8*l = -17*l + 90. Solve 0 = 4*z + z - l for z.
2
Let w be ((2 - 2)/(-1))/1. Suppose z = -w*z - 6. Let y be (1 - z/(-2)) + 3. Solve -y = 4*c + 3 for c.
-1
Let g = -22 + 40. Let d = g - 12. Suppose 2*x = 4*q, x - d*q + q + 6 = 0. Solve x*v - v + 9 = 0 for v.
-3
Let f = -12 - -22. Suppose f = 2*z, -2*k + 12 - 1 = z. Solve -k*m = m + 16 for m.
-4
Let u be 1 + -4 + -13 - 2. Let q = -8 - u. Solve -a + q = a for a.
5
Let o(t) = t**3 - 3*t**2 + 3*t. Let m be o(2). Let f(w) = 3*w + 2. Let k be f(3). Let s = k - 6. Solve s = -q + m for q.
-3
Let p be 4/(-6) - 2*4/(-12). Solve p*r - 3 = -r for r.
3
Suppose x + 12 = -x. Let c be (x/8)/((-4)/96). Suppose 3*k + f = 5*f + c, f = -3*k + 3. Solve 1 = -k*w - 3 for w.
-2
Suppose -2*f - 3*f + 10 = l, -4*f - l = -7. Solve 5 = 4*j - f for j.
2
Suppose -5*s + 19 = 4. Let g = 0 + s. Suppose 5*a = -5*m + g*a + 27, -a - 9 = -2*m. Solve -m*t = -3*t + 4 for t.
-2
Let b(v) be the first derivative of -v**2 + 4 + 0*v + 1/3*v**3. Let c be b(3). Solve -2*y + 13 = c for y.
5
Let n = 7 + -11. Let l = n - -6. Solve -5*c = l - 7 for c.
1
Let q(h) = -h - 1. Let n be q(-6). Suppose 2*t + 2 = 3*w + 2*w, 26 = n*w + 4*t. Suppose w*u = 6*u - 12. Solve -u*g - 8 = -5 for g.
-1
Let m = -2 - -8. Suppose m*l = 3*l - 3. Let p be l + (-2)/4*-6. Solve -b = -2*b - p for b.
-2
Suppose 6*b - 12 = 36. Suppose -3 = -4*o - 3*h + 2, -5*h = 25. Solve -s - b = -o*s for s.
2
Suppose -2*s + 20 = 2*y, -2*s - 4*y + 5 = -5*s. Solve 20 = -j + s*j for j.
5
Let d(y) = y**3 + 13*y**2 - 16*y - 26. Let a be d(-14). Solve a*g + g + 12 = 0 for g.
-4
Let b = 4 + 0. Let r = -1 + 1. Suppose -5*o + 0*o + 25 = r. Solve -s + o*s = -b for s.
-1
Suppose -4*y + 21 = 3*y. Let o = -38 - -63. Solve -2*z = y*z - o for z.
5
Let u be ((-12)/14)/((-5)/35). Let y = u + -3. Let m = 5 - y. Solve -6 = h + m*h for h.
-2
Suppose 4*c + x = 8, -2*x - 4 = -c - 2. Solve -c*z = -z + 2 for z.
-2
Suppose 0 = -0*f + 4*f - 4. Suppose 0 = 2*t + c - 3, 8*c - 3 = -5*t + 7*c. Solve s - f + 5 = t for s.
-4
Suppose 30 = -a + 34. Solve -7*b = -3*b + a for b.
-1
Suppose -7 = x - 4*n, 5 = 5*n - 5. Let f = x + 1. Solve 0 = -f*h - 1 - 7 for h.
-4
Let q(k) = k**3 - 4*k**2 + 2*k - 2. Let b be q(4). Suppose 0 = 2*v - 3*f + b, -2*f = 3*f - 20. Solve -v*o - 5 = 1 for o.
-2
Let s(t) = t**2 - 7*t + 7. Suppose 0 = -0*q - 2*q + 12. Let c be s(q). Solve -g - c - 2 = 0 for g.
-3
Suppose -6*s + 0*s + 12 = 0. Solve -o + 2*o + s = 0 for o.
-2
Suppose -2*g - 9 = 31. Let v = -14 - g. Suppose -3*i = 3*w - v, -5*i + 3*w = 7*w - 13. Solve -i*j = -j - 12 for j.
3
Let j(r) = -r**3 + r**2 + r + 1. Suppose a = 2*a + 1, -2*p + a - 1 = 0. Let o be j(p). Suppose 3*x + o*x = 0. Solve -t - 3*t = x for t.
0
Let y be 3/(3/4) + 8. Solve -5*s - y = -37 for s.
5
Suppose 2*a = -3*q + 9, 3 = 3*q - 4*a + 12. Let h be 0/(q*(3 - 1)). Solve -5*u + h*u + 15 = 0 for u.
3
Let h = 10 - 8. Suppose 0 = -0*j + h*j - 10. Suppose -5*w + w + 16 = 0. Solve 9*c + j = w*c for c.
-1
Suppose q + 4*q = 3*i - 85, -i = -5*q - 45. Let g be (-1)/1*2/(-2). Suppose 2*s - 9 = g. Solve 0 = -s*f + f + i for f.
5
Let o = -69 - -73. Solve c = -c + o for c.
2
Let m(s) = s - 4. Suppose 3*k + 9 = 0, 5*k + 40 = 3*r + 2*r. Let t be m(r). Let w(a) = a**2 - 4. Let j be w(-3). Solve -6 = -j*z - t for z.
1
Let j = 41 + -41. Solve j*k = k + 5 for k.
-5
Suppose 3*j - 15 + 6 = 0. Suppose -j*s - s = -12. Let m be 0 + (-1)/(1/(-4)). Solve m = -s*b + 13 for b.
3
Suppose 2 - 6 = 