 1. Let h be x(s). Solve 0 = -r - 2*r - h for r.
-5
Let y = -35 + 39. Solve 4*u + y = -16 for u.
-5
Let c(v) = v**3 - 7*v**2 - 8*v + 10. Let k be c(8). Solve -k*a + 2 = -8*a for a.
1
Let a be (2 - -1) + (7 - -2)/(-3). Suppose -2*s - 13 = -3*s + 5*p, 0 = p + 2. Solve -9 = s*z - a*z for z.
-3
Let m(b) = 2*b - 6. Let u be m(6). Solve u = h + 2*h for h.
2
Let s = -1 - -3. Let x = 424 - 421. Solve s*v - 1 = x for v.
2
Let w(n) = -n**2 - 21*n + 6. Let p be w(-21). Solve p = -3*v + 6*v for v.
2
Let g be 5*2*(-12)/(-20). Suppose -5*w + g - 1 = 0. Solve -3*k + 11 = -w for k.
4
Let n be 27/72 + (-154)/(-16). Solve -4*b - n - 10 = 0 for b.
-5
Suppose 15 = -2*o + 5*o. Solve -o*z - 6 = -3*z for z.
-3
Let o(t) = -3*t - 11 + 2*t + 9. Let k = -9 + 3. Let u be o(k). Solve -u - 11 = -3*m for m.
5
Let u be (-2)/10 - ((-644)/10)/7. Solve 5*n - u = 16 for n.
5
Suppose o - 13 = -0. Let z = -10 + o. Solve -z + 2 = t for t.
-1
Suppose 2*k - 5*k + 5*y - 7 = 0, k + y = 11. Let i(v) = 5*v**2 + 2. Let g be i(-2). Suppose r - g = -8. Solve -4*m = -r - k for m.
5
Let o be (-12)/10 - 224/(-70). Solve 8*v - 6*v = -o for v.
-1
Let m = 0 + 2. Let v = -4 + m. Let n = v + 4. Solve 5 + 5 = -n*q for q.
-5
Let u be 2/1 + 0/6. Solve -z + 0 = -u for z.
2
Let r be 4 - 5/((-20)/(-8)). Suppose 0 = k - r*k + 3. Solve 0 = k*n + 2*n for n.
0
Let u(z) = 3 - 3*z + 4*z + 1 - 3. Let w be ((-1)/(-2))/((-2)/(-24)). Let t be u(w). Solve -3*g - 2 - t = 0 for g.
-3
Suppose -v + 6*v - 40 = 0. Suppose 5*q - 62 = -3*u - 0*q, -v = -2*u + 5*q. Suppose -u = -2*w + 4. Solve 2*s - 5*s = w for s.
-3
Suppose -5*o + 2 - 7 = -5*g, g = -4*o + 11. Solve o + 18 = 5*j for j.
4
Let b(p) = -4*p**3 - p**2. Let d be b(-1). Solve -4*a - d + 15 = 0 for a.
3
Let p be ((-16)/14)/((-4)/28). Solve 0 = 7*w - p*w for w.
0
Suppose -4*i - 4 = 0, 0 = j - 3*j - 2*i + 4. Suppose -j = -5*l + 7. Let t be (-2)/(-3) + (-50)/(-6). Solve t = l*p + p for p.
3
Let j(h) = h**3 + 7*h**2 + h + 4. Let d be j(-7). Let n be 4 - (d + (-4)/(-2)). Solve -n*k + 0*k + 5 = 0 for k.
1
Let r(b) = b**2 + 5*b**2 - 7*b**2 - 8*b + 10 + 2*b**2. Let t(q) = q**2 - 6*q + 7. Let z be t(6). Let w be r(z). Solve w*o + 0*o - 3 = 0 for o.
1
Let r(x) = 2*x - 12. Let s be r(8). Solve -w = -0*w - s for w.
4
Let a(h) = -h - 5. Let j be a(-7). Suppose 0 = -2*p + n + 6 + 2, -3*p + j*n = -13. Solve -p*f + f = 0 for f.
0
Let a be (1 - -1)/(-4 + 3). Let x be (2/(-2))/(a/(-4)). Let c be 0*(x/4)/(-1). Solve c = -i - 3*i - 12 for i.
-3
Let y = -9 - -20. Suppose 3*n + 10 = 3*c + c, -4*n = -3*c + y. Let p be -2 - -1 - (c - 2). Solve p*t + t - 4 = 0 for t.
4
Suppose 0 = 5*c + 3 - 8. Solve 3 - c = -2*d for d.
-1
Suppose r = 2, -4*b + 3*r + 3 = -3. Suppose -18 = i + 4*u, -b*i + 18 = i - 2*u. Solve i*f = f + 1 for f.
1
Let l be (1 + (-4)/6)*(-4 + 31). Solve -l = -3*s + 3 for s.
4
Suppose -3*i = 12, -3*w + w - 4 = i. Suppose w = -0*h - 4*h + 8. Solve h = -3*r + 17 for r.
5
Suppose -3*l - 3*y - y = -10, -2*l - 3*y = -6. Suppose 2 = -3*r + 8. Solve -r*h + 8 = -l*h for h.
-2
Let g be (4/(-10))/(2/(-10)). Let l(n) = 2*n + 9. Let f be l(-5). Let y = g - f. Solve -y*x + 3 = -0*x for x.
1
Let l be 58/12 + 5/30. Suppose -4*c + l*b + 18 = 0, -3*b = 2*c + 3*c - 4. Suppose -c*z = 3*z. Solve 3*i - 15 = -z*i for i.
5
Let k(h) = h**2 - 10*h + 13. Let c be k(9). Suppose m + 5*v - 5 = 6*m, -5*v + 5 = 4*m. Let t = -24 + 44. Solve m*d = -c*d - t for d.
-5
Suppose -8*k - 16 = -16*k. Solve k*v - 3 = 3*v for v.
-3
Let h = 62 + -41. Let j = h - 11. Suppose 2*k - 4*k = -j. Solve -k*r + r = 8 for r.
-2
Suppose -3*d + 6 = -3*f + 3, -4*d = -2*f - 12. Let v(n) = -n**3 + 7*n**2 - 5*n - 2. Let x be v(6). Suppose -x*t - 2 = -d*t. Solve t - 17 = -3*i for i.
5
Let q be (4/(-10))/(3/(-15)). Let y(k) = k + 10. Let z be y(-10). Solve z = l - q*l for l.
0
Let s = 11 - 18. Let i = 11 + s. Suppose -i*p + 2 = -6. Solve -2*v - p = -v for v.
-2
Let p be 34/10 + 6/(-15). Suppose -1 = p*d - 7. Solve 1 + 7 = -d*c for c.
-4
Suppose j - 1 = -0. Let k be j/(3 - 5/2). Let a = 38 - 18. Solve a = -k*z - 2*z for z.
-5
Let a be 56/12 + (-2)/(-6). Suppose -2*j - 3 = 5*s, 22 + 5 = 2*j - a*s. Solve -3*k = -6*k - j for k.
-2
Let s(n) = -30*n + 30*n + 7*n**2. Let t be s(-2). Suppose 0 = -4*k + t - 12. Solve j + j = k for j.
2
Suppose 0*g - 8 = g. Let b = g + 10. Suppose 3*s + 4 = -b*p - 0, -5*s = 2*p. Solve 6 = s*d + d for d.
2
Suppose -5*q + 10 = -3*g, 3*g = 2*q - 6*q + 35. Solve 5*t + 20 + g = 0 for t.
-5
Let d(p) be the third derivative of -p**4/12 - 3*p**2. Let n be d(-2). Solve 2*s = 4 + n for s.
4
Suppose 2*y + 6*y = 56. Solve -y*o + 10*o - 9 = 0 for o.
3
Let d(w) = -w**3 + 5*w**2 + 8*w - 8. Let i be 22/33 - 16/(-3). Let l be d(i). Solve -l*p = -0*p for p.
0
Let x be 15/2*180/25. Let h = x - 34. Solve s - h = -4*s for s.
4
Let m(r) = -3*r - 4. Let c(y) = 9*y + 11. Let v(h) = -6*c(h) - 17*m(h). Let j be v(2). Let f be 1/j + (-102)/(-24). Solve -f = -g - 3*g for g.
1
Let d = -51 - -57. Solve 0 = -2*t - d - 4 for t.
-5
Let t(o) = -o**2 - 8*o - 4. Let k be t(-6). Let s(c) = -c + 1. Let i be s(6). Let f = k + i. Solve 0 = 2*z - z + f for z.
-3
Suppose -3*a + 3*b + 11 = -7, 3*b + 9 = 0. Let y be -2 + a - (2 + -1). Suppose 10 = 2*f - y*f. Solve f*z = -0*z + 25 for z.
5
Let s = 59 + -59. Solve w + w + 8 = s for w.
-4
Suppose 4*k - 9 = 7. Suppose -5*w - 2*n = -6, k*n - n - 2 = -4*w. Solve -w*x = -7 - 3 for x.
5
Suppose 1 = 2*w - 3. Suppose 5*m - w*m - 3*n = 9, 6 = 2*m - 4*n. Solve -4*q + m*q = -2 for q.
2
Suppose -9 = -3*p - m, 3 = -2*p - 2*m + 5. Suppose 0*c = -p*c + 32. Solve 5*l - 3 = -c for l.
-1
Suppose -68 = 3*f - 3*z + z, 0 = -5*f - z - 122. Let l be f/(-5 + 3) + 0. Solve 4*d + l = -0*d for d.
-3
Let u = -178 + 181. Solve 0 = -f + u*f + 4 for f.
-2
Let b be (0 - (-36)/(-20))*-5. Let x(m) = 2*m + 18. Let a be x(-8). Suppose -2*v - 1 = -3*v. Solve -b = -a*n + v for n.
5
Suppose -l - 5 = -2*l. Suppose -4*v - 4 = -l*v. Solve v*z + 7 + 1 = 0 for z.
-2
Suppose -4*o - 12 = 0, -2*o + 15 = -3*r - 4*o. Let k be (-3)/(-3)*r + 3. Solve n = -k + 4 for n.
4
Suppose -2*b = 2*b - 12. Suppose b*h - o = 12, h = -0*h + 3*o + 4. Solve 0*a = -h*a - 8 for a.
-2
Let k = 25 + -7. Let l = 30 - k. Solve -4*z + z - l = 0 for z.
-4
Let p(d) = 5*d**2 - 3*d + 1. Let k be p(2). Let b = -2 + 7. Suppose 23 = u + u + 5*m, -3*m = -b*u + 11. Solve -u*t + k = -t for t.
5
Let g = 4 - -1. Solve -16 + 1 = g*p for p.
-3
Suppose -2*g = -6*g + 8. Solve -g*d + 3*d - 2 = 0 for d.
2
Let t(r) = -4*r**2 + 9*r - 4. Let j(x) = -5*x**2 + 10*x - 5. Let m(g) = -5*j(g) + 6*t(g). Let n be m(-5). Solve -i + n = i for i.
3
Suppose 7*c - 3*c = 100. Let f be (-6)/(-5)*c/10. Solve f*j = -1 - 14 for j.
-5
Let p be -2 + (0 - (-15)/3). Let n = 7 - p. Suppose t + t - n = 0. Solve 4 + 0 = -t*r for r.
-2
Let q(s) = s**3 + 5*s**2 + 4*s + 1. Suppose -2*m = -6*m + 20, 0 = 3*d - m + 17. Let y be q(d). Suppose -3*n + y = -5. Solve 3*w + n*w = 10 for w.
2
Let s(z) = z**3 - 2*z**2 + 3*z. Let m be s(2). Suppose 2*n - m = -n. Solve 0 = -r + n*r - 4 for r.
4
Let f = -5 - -10. Suppose 4*q + 4*i - 2*i - 16 = 0, -q = -f*i - 15. Solve -q*l - 6 = -21 for l.
3
Suppose 15*u - 44 = 4*u. Solve t + u = 8 for t.
4
Suppose 2*h + 2*h - 12 = 0. Suppose -2*k + 28 = 4*l, k + 0*k = -h*l + 14. Solve -5*r + 6 = -k for r.
4
Let u = -28 - -38. Solve -5*k = -u - 0 for k.
2
Let w(l) = -l + 2. Let m be w(2). Suppose -2*k + 7*k = m. Suppose -p = 4*p + 3*r, 4*r = 2*p - 26. Solve k = -p*i + 3 for i.
1
Let z(k) = k**3 + 2*k**2. Let b be z(-2). Let s be -1*(0 - -1) + -2. Let m be ((-1)/3)/(s/27). Solve b = -m*j - j + 12 for j.
3
Suppose 2*p - 2 = -b - 2*p, -34 = 5*b - 2*p. Let u be (-9)/b - 12/8. Solve -3*r + u + 12 = 0 for r.
4
Let b = -79 - -94. Solve 0 = -0*z - 3*z - b for z.
-5
Suppose 0 = z - 3*z - 18. Let c = z - -13. Let q = 18 + -13. Solve 3*m - c*m = q for m.
-5
Let y = -31 - -33. Solve h = -y + 1 for h.
-1
Let p = -76 + 76. Solve p = -3*a + 7*a for a.
0
Let g(u) = -u. Let q(r) = -2*r + 1. Let y(i) = -11*g(i) + 6*q(i). Let l be y(0). Solve 0 = -3*z + l + 6 for z.
4
Suppose -6*n + n = 0. Suppose 0 = -3*c + 4*c. Suppose -k + 3*k - 12 = c. Solve n = -0*x + 3*x + k for x.
-2
Let g be (-12)/(-66) + (-290)/22. Let m = -13 - g. Let p(x) = -x**2 - 6*x - 2. Let i be p(-5). Solve m = v - i - 0 for v.
3
Let v(c) be the first derivative