+ 10. Let b be s(6). Solve -b*h + 0 = 8 for h.
-2
Suppose -4*b + l = -2*l - 91, 2*b + 3*l - 59 = 0. Solve 2*r + 3*r - b = 0 for r.
5
Let g be (-13)/(-3) + 1/(-3). Let k(u) = u**3 - 7*u**2 + 5*u + 10. Let z be k(6). Solve g = -z*r - 4 for r.
-2
Suppose 2*q = 11 + 5. Solve -q = -3*h - h for h.
2
Let i = 13 - 12. Let c(h) = 4*h + 1. Let m be c(i). Solve 2*v + 9 = m*v for v.
3
Suppose 3*z - 2*w = -5, -z = 2*z + 2*w - 11. Suppose z = 4*f - 15. Solve f*o = 7*o - 6 for o.
2
Let t(i) = i**3 + 3*i**2 - 3*i - 3. Let g be t(-3). Let j be (1*g*1)/1. Suppose -2*p - 24 = -j*p. Solve h + p = 4*h for h.
2
Suppose t + t = 26. Let k = t + -11. Solve 4 = k*p + 14 for p.
-5
Let q(d) = 2*d - 3. Let k be q(3). Solve -2*f - 1 = -k*f for f.
1
Let f be (4/6)/((-4)/6). Let u be f/(2 - (1 + 2)). Solve 2 = p + u for p.
1
Let o(d) = d**2 + 18. Let z be 1/(10/8 + -1). Suppose z*y - 3*y = 0. Let p be o(y). Solve -4*i = p - 2 for i.
-4
Let r be (1/2)/(30/28 - 1). Solve -r = -2*a + 3 for a.
5
Suppose -3 = 2*o + 4*k - 11, 16 = 2*o - 4*k. Solve 0 = 2*b + b - o for b.
2
Let q = 10 - 6. Let y = 4 - q. Let w = 4 + y. Solve -2*t = -w*t + 4 for t.
2
Let r = 2 + 3. Suppose 2*m - 10 = -f, 2*f - 3*f - r*m = -22. Suppose -f*x - 2*x = -24. Solve k = x*k + 5 for k.
-1
Suppose -i + 6 + 19 = 0. Solve 0*m - 5*m = i for m.
-5
Suppose 0 = 2*b + 2 - 0. Let j be b + 9/(-6)*-2. Solve 6 + j = -4*i for i.
-2
Suppose 5*m - 2*m = 24. Suppose -m = -w + 3*w, 3*z + w = 11. Let h(c) = c**2 - 6*c + 5. Let d be h(5). Solve 5*p - z - 5 = d for p.
2
Suppose 0 = -2*b + 3 - 5. Let u = 5 - b. Let h = u - 4. Solve -h = 2*c + 2 for c.
-2
Let c = 27 + -20. Solve -4*o + 3 - c = 0 for o.
-1
Let a = -4 - -6. Suppose -o = -2*i - a, 4*i = -1 + 5. Solve -v = -o*v for v.
0
Suppose 0 = 2*q + 3*u - 7, -4*u = -0*q - 2*q. Suppose 3*t - t - q = 0. Solve -t = -4*k - 17 for k.
-4
Suppose 20 + 4 = 4*y. Let b be y - (-3 - -1 - -4). Solve -8 = -b*a - 0*a for a.
2
Suppose -4*m - 5 = -9*m. Solve 2*r = m - 11 for r.
-5
Let n(l) = l**2 + 9*l - 9. Let j be n(-9). Let z(b) = b + 13. Let u be z(j). Let t = 15 - 13. Solve -2*m + u*m = t for m.
1
Let t = 24 - 12. Suppose -j - t = -3*j. Solve j = 5*a - 4 for a.
2
Let w(x) = -2*x - 3. Let j be w(-3). Solve -j*d - 20 = 2*d for d.
-4
Suppose 6 - 56 = -10*f. Solve f*k - 3 - 12 = 0 for k.
3
Let q = -103 - -103. Solve q = -2*y + 4*y - 10 for y.
5
Suppose -2*m + 15 = -7*m. Let l be (m - -2) + (-1)/(-1). Suppose -1 - 6 = -j. Solve l = -3*a + 19 - j for a.
4
Let v be 2/4 - (-9)/6. Solve -2*u = -3*u - v for u.
-2
Suppose 0 = 7*n - 7 - 14. Solve 5 - 20 = n*r for r.
-5
Suppose 0*l = 5*l - 45. Let b(f) = -f**3 - 2*f**2 + 3*f + 5. Let t be (-10)/(-25)*(-10 + 0). Let a be b(t). Solve -4*o + a = -l*o for o.
-5
Let a(p) = p**3 + 2*p**2 - 3*p + 3. Let d be a(-3). Suppose 0*o = 3*q - 3*o - 72, 3*q - 5*o = 80. Solve -q = -c - d*c for c.
5
Suppose -s + 27 = 7. Solve 0 = -0*u + 4*u - s for u.
5
Let x be (2 - -1) + -1 - 1. Let r be 40/15*15/4. Let f = r - x. Solve -f - 1 = -5*z for z.
2
Let m = 11 - -3. Solve m = 4*n + 2 for n.
3
Suppose -5*a + 7 = 4*k - 5*k, 0 = -5*k + a + 13. Solve 1 = -o + k for o.
2
Let w(m) = m**2 - 2*m - 1. Let h be (1 + 0)*(-2)/2. Let t be 3/1 - (h - -1). Let d be w(t). Solve f - 5 = d*f for f.
-5
Suppose -4*c = i - 8*c + 3, -3*i = -2*c - 11. Solve 0*u + i = -u for u.
-5
Suppose 10 = 5*v, 2*v - 3*v - 38 = -5*l. Suppose 2*r = j + l, -5*r + j = -r - 12. Let t be -30*(r + 15/(-6)). Solve -5*q - 40 = -t for q.
-5
Let x(g) be the second derivative of -g**5/20 + g**4/4 - g**2/2 + 2*g. Let n be x(2). Solve n*j + 10 = 1 for j.
-3
Let i = 61 - 41. Solve -6*s = -s - i for s.
4
Let n = -8 - -15. Solve 2*s = -n + 1 for s.
-3
Suppose -h + 5 = -0*h. Solve 2*d - 1 + h = 0 for d.
-2
Suppose j + 0*c + c - 4 = 0, 3*j - 2*c = 12. Suppose 4*p = -s + 8*p - 10, j*p = 12. Suppose -8 = -2*o - 2*u - 0*u, u = s. Solve -l + 3*l - o = 0 for l.
1
Let y(q) = -q**2 - 5*q - 3. Let n be y(-3). Solve n*g = -g for g.
0
Let d(a) = 15*a**3. Let x be d(1). Suppose y = -2*y + x. Suppose -4*k + 4 = 2*v, y*v - 2*k - 9 - 1 = 0. Solve v*f + 1 - 5 = 0 for f.
2
Let g be -2 - ((-10)/2 + -1). Solve g*z = 8*z + 20 for z.
-5
Let p(b) be the second derivative of b**4/12 + b**3 + b**2 - b. Let l be p(-4). Let c = 8 + l. Solve -3 = -5*n + c for n.
1
Let f(i) = i + 2. Suppose 0 = -4*x + 8*x. Let n be f(x). Solve -3*k - n = 1 for k.
-1
Let i be (-2)/(-4) + (-3)/6. Suppose 2*h - w = 10, 0 = h - i*h + 4*w + 13. Solve 0 = -h*l + 2*l for l.
0
Let g be (-1 - -2)*(30/(-5) + 8). Solve -g*c + 9 = 3 for c.
3
Let g = 13 - 8. Suppose g*h = 2*j + 27, 16 = 3*h + j - 2*j. Solve 2*s = -3*s - h for s.
-1
Let g(b) be the third derivative of 0*b + 1/6*b**4 + 1/60*b**5 - b**2 + 0 - 1/2*b**3. Let q be g(-5). Solve -f + 3 = -q for f.
5
Let y = 8 - 0. Solve 9*z = 13*z + y for z.
-2
Suppose -p = 2*p - 51. Suppose 15 = p*l - 14*l. Solve -c = -l*c + 12 for c.
3
Suppose 4*s + 4 = 2*i, -2*s + 20 = 3*i - s. Let o(v) = 0 - 6*v**2 - v + 0*v**3 + 6 + v**3. Let d be o(i). Solve d*w = -4*w - 16 for w.
-4
Let j be 2*2/(-4)*0. Let h = 4 - j. Solve -h*g = -1 - 7 for g.
2
Suppose -s + 6*s - 2*x = 29, 2*s + 4*x - 2 = 0. Solve s - 4 = i for i.
1
Let p be (1 + (0 - 1))/(-2). Solve -w - 8 + 3 = p for w.
-5
Suppose -v - 25 = -6*v. Solve 3*x + 14 = v for x.
-3
Let b(s) = -s**3 + 13*s**2 + s - 4. Let j be b(13). Solve -5*c + 2*c = j for c.
-3
Let q = -38 + 38. Solve 4*g + 26 - 6 = q for g.
-5
Suppose t - 4*w = 28, 4*t - 3*t - 2*w - 20 = 0. Solve 0 = 3*d + d + t for d.
-3
Suppose -3 = -2*q + q. Solve -2 = -q*a - 14 for a.
-4
Let m(d) = d**2 - 18*d + 2. Let c be m(18). Solve c*b = b for b.
0
Let r = 1 + -2. Suppose 0 = 3*w + 12, y - 3 + 12 = -3*w. Let l = r + y. Solve -6*d - 20 = -l*d for d.
-5
Let o be 3 - (-2 + 0 - 0). Let f = -3 - -19. Solve j - o*j = -f for j.
4
Suppose -2*w = -w - 57. Suppose -4*a - 17 = -w. Solve -x = x - a for x.
5
Suppose i = -4*w - 0*i - 4, -3*i = -4*w - 20. Let r be (4/(-2) - w)/2. Solve -c + r = -1 for c.
1
Let z be (-1 + -5)*18/(-27). Suppose 3*v + 13 = 2*c, 0 = -z*c + 2*v + v + 17. Solve -c = 2*s - 0 for s.
-1
Let l = -51 + 23. Let j be (l/(-35))/((-2)/(-20)). Solve 0 = r + 3*r - j for r.
2
Suppose d + d = -f + 15, f - 2*d - 15 = 0. Solve f*s - 12*s = 0 for s.
0
Suppose -10*a + 2*a + 3*a = 0. Solve a = -g + 1 - 6 for g.
-5
Let d = 52 - 50. Solve 2 + 4 = -d*h for h.
-3
Suppose 0 = -i + v - 1, 4*i + 3*v + 2 = 26. Let k = 0 - -5. Solve i - k = 2*w for w.
-1
Suppose 4*k + 2*p = -1 + 9, 22 = 4*k - 5*p. Let f = 1 + -1. Suppose -m + 18 = -4*o, 2*o = 5*m + o - 33. Solve f = -0*x - k*x - m for x.
-2
Suppose -11*w + 7*w = -12. Solve 21 - 6 = w*r for r.
5
Suppose 0 = -2*a - 2*d - 2, 0 = 2*a - d - 2 - 8. Let m be a/1 + (1 - 1). Suppose 5*i + 10 = 2*c + m*i, -5*c - 5*i = -35. Solve -5*j - c = -16 for j.
2
Let x = 7 + -13. Let v = x - -2. Let d be (0/(-2))/(2 + v). Solve -2*t - t = d for t.
0
Suppose -15 = 3*i + 2*i. Let v be i/3 - (-1 + 4). Let l be (-4)/(-3)*(-6)/v. Solve l*x = -3*x + 5 for x.
1
Let q(c) be the first derivative of -c**2/2 - c + 1. Let x be q(-3). Suppose -5*t + 4*r + 13 = 0, -1 = -2*t + 5*r - x*r. Solve t*i = 2 + 23 for i.
5
Let r = 51 + -77. Let o be (-6)/(-33) - r/(-22). Let f be (-1 - -2)*o + 5. Solve f*s = -0*s + 12 for s.
3
Suppose 2*j = 0, -4*f - 2*j = 2*j - 16. Solve 0*a + 4 = -f*a for a.
-1
Let u be ((-44)/(-6) - -1)*3. Suppose -36 = 3*l - 3*i, 10*l + 2*i = 5*l - u. Let y be l/(-5) + 6/(-15). Solve -y = d - 3 for d.
2
Let p(s) = -s + 7. Let y be p(5). Let a(h) = 2*h**2 - 5*h - 12. Let u be a(5). Solve u = -3*n - y for n.
-5
Let s(w) = -w**3 - 16*w**2 + 17*w + 5. Let c be s(-17). Solve -3*m = -c*m + 6 for m.
3
Let f = 8 + -6. Suppose 5*w = 15, 0 = 2*n + f*n - 5*w - 9. Solve -2*h - 2 = n for h.
-4
Let w be 2 + (-2 - -3) - -2. Suppose -w*v = -2*u - 0*v + 49, 9 = 2*u + 3*v. Solve 0 = -n - 3*n - u for n.
-3
Let z = 2 - -2. Suppose 3*u = z*u. Suppose 4*d - 5 - 11 = 0. Solve 0 = 4*b - u*b - d for b.
1
Let b be (10/3)/((-7)/21). Let i be (-6 - b)*(-3)/(-2). Solve i = -q + 3*q for q.
3
Let u(j) = -j**3 - 9*j**2 + 1. Let c be u(-9). Let v be (c*-2)/2 + 2. Solve -w - 5 = -v for w.
-4
Suppose 9*d = 12*d - 42. Solve -5*t + 1 + d = 0 for t.
3
Let l be -1*(-20)/12*3. Solve -l*o + 9 = -2*o for o.
3
Let j = -13 - -9. Let c be 9/12 + 3/j. Solve 12 = 3*k - c*