olve 0 = h - 1 + k for h.
-5
Let c be (2/2 - 0)*4. Let p(z) = 7 - c*z + 1 - 1 + 3*z. Let b be p(5). Solve -b*r = r for r.
0
Let f = 70 - 67. Solve -f*o - o + 20 = 0 for o.
5
Suppose 5*z = 504 + 86. Let i = z - 63. Suppose -2*n - 3*n = -5*a + i, -4*a = n - 64. Solve -5*l + a = -0*l for l.
3
Let q(r) = r**3 + 6*r**2 + 3*r - 7. Let a be q(-5). Suppose y - 1 - a = 0. Solve c + 0 = y for c.
4
Suppose 0 = 3*a + 5*i - 6, -4*i - 10 = 2*a - 7*a. Suppose -5*d + 8 = -a, -5*d = 5*o - 15. Solve -s - o = -3 for s.
2
Let w(h) = 2*h**2 + 35*h - 18. Let v be w(-18). Solve 0 = 4*z - v*z + 8 for z.
-2
Suppose 0 = 5*a - 21 - 4. Suppose 25 = a*n - 0*n. Suppose -5*u + 15 = b - 2*b, 0 = -2*b + n*u - 10. Solve 0 = -b*i - 11 + 1 for i.
-2
Let y(d) = d + 1. Let l(r) = 2*r + 2. Let x(b) = -l(b) + y(b). Let v(f) = f**2 - f - 5. Let a be v(0). Let c be x(a). Solve c*u - 10 = -30 for u.
-5
Let k = -5 + 1. Let l = k - -2. Let v be l/(-6)*0 + 20. Solve -2*o + v = 3*o for o.
4
Suppose 5*m - 32 = k - 5*k, 3*m = -k + 22. Solve c + 6 - m = 0 for c.
2
Let y(r) = r + 2. Let i(h) = h**2 - 2*h - 7. Let s be i(5). Suppose -s = -7*p + 3*p. Let c be y(p). Solve b + c*b = 20 for b.
4
Let k be (27/6)/(2/(-4)). Let y(g) be the third derivative of -g**4/24 - g**3/6 - g**2. Let o be y(k). Solve -s - s - o = 0 for s.
-4
Suppose 3 = -8*z + 27. Solve 5*j + z = 4*j for j.
-3
Let z = 2 - -1. Suppose -f = 1 - z. Solve -5 = -f*q + 1 for q.
3
Suppose 2*p + 4 = -4*n, 0 = -4*p + p - n - 1. Solve 3*k - 6 - 6 = p for k.
4
Suppose 0 = 5*f - 37 - 23. Suppose -n + f = 2*n. Solve 3 - n = r for r.
-1
Let t(s) = -12*s - 1. Let n be t(-1). Suppose 2*w + 3*f - 7 = 0, 2*f = -5*w + f + n. Let k be 8/6*(w + 1). Solve -3*d - d = -k for d.
1
Suppose 3*w + 4 = 7*w. Solve 3*u = w - 4 for u.
-1
Suppose c = 2*x, -2*x + 4*c = -0*x. Solve x*s + s = -2 for s.
-2
Suppose -5*w + 0*w = 10. Let u be (w/2)/(1/(-8)). Let r(s) = -5*s - 2. Let b be r(-5). Solve b - u = 3*n for n.
5
Let g = 40 - 39. Solve 0 = -r - g - 4 for r.
-5
Suppose 4*o = -0*o. Let g = o - 0. Solve -c + 0 + 5 = g for c.
5
Let v = 4 - 2. Let t(q) = 8*q**2 - 2*q - 1. Let r be t(-1). Suppose r = v*g - 11. Solve -c - g = c for c.
-5
Let k(i) = -i**2 - 4*i + 7. Let o be k(-5). Let c(x) = x + 13. Let t be c(-7). Suppose -t = -g - o. Solve g*l = 5*l for l.
0
Let b = -25 + 40. Let k = -45 + 50. Suppose -3*v = -n - 3, n + 0*v = -3*v + 3. Solve n*c - b = k*c for c.
-3
Let u be (-14)/(-3) + (-2)/3. Suppose p = -b, b + 3*b = p - 10. Let x = 5 + b. Solve -x = u*k + 5 for k.
-2
Suppose 8 + 2 = 5*l, -5*o = -4*l - 217. Suppose 0 = -0*q + 3*q - o. Solve -3*r + 0 = -q for r.
5
Let d be -3 - (0 - 7) - 0. Solve -i + d = -0*i for i.
4
Let n(u) = u**3 - 3*u**2 - 2*u + 2. Let b be n(3). Let f = 5 - b. Solve -g + 4*g = -f for g.
-3
Let l(g) be the third derivative of g**6/12 - g**3/6 - 2*g**2. Let d be l(1). Let q(u) = 4*u + 1. Let i be q(1). Solve -2*b + i*b = d for b.
3
Let u = -8 - -9. Suppose -4*h - u = -9. Solve -h*q = -3*q for q.
0
Let t(g) = g**3 - 8*g**2 + 4*g - 6. Let k be t(8). Let a = k - 17. Let u be (4/(-6))/((-6)/a). Solve -7 = 3*c - u for c.
-2
Let s(i) = i**2 + 29*i - 10. Let h be s(-30). Suppose -3*p = 2*p. Suppose 7 = 3*x + 1. Solve p = x*v - 7*v + h for v.
4
Suppose -10*w = -6*w. Suppose 3*j + 5*t - 3 + 0 = w, 0 = 2*t. Solve 0 = -3*d + 11 + j for d.
4
Suppose -3*h + 3 = 0, -u + 2*h = -0 - 4. Solve -k = k - u for k.
3
Let s = -1 - -3. Suppose -14 = -10*x + 3*x. Solve x*i = -s*i - 12 for i.
-3
Suppose 0*h + 40 = -4*h. Let t = 20 + h. Suppose 2*y - 15 = -7*s + 4*s, -s + t = y. Solve 7*u + y = 2*u for u.
-3
Suppose 2*a - 3*i + 5 = -4, i - 3 = -a. Suppose 0 = -0*s - 5*s + 75. Solve a = c + 4*c + s for c.
-3
Let u(a) be the first derivative of a**4/4 + 5*a**3/3 + 5*a**2/2 + 6*a - 1. Let t be u(-4). Let l(j) = 4*j - 17. Let v be l(5). Solve t*x - v = 1 for x.
2
Suppose 0 = 3*l - l - 12. Suppose 4*w + l = 2*w - 5*a, -3*w + 14 = -4*a. Suppose 3*n = -3*b - 12, -3*n - 8 = w*n + 2*b. Solve 0 = p - 2 - n for p.
2
Let p = 2 - 0. Suppose -3*h - v + 25 = 0, 0 = -h - 0*h - 2*v. Suppose -p*c = -y - 7, h = c + c. Solve -y - 9 = -3*r for r.
4
Let q be (-2 - -12) + -20 + 16. Solve 0 = 5*t + 11 - q for t.
-1
Let w(g) = -g - 11. Let y be w(0). Let s be (-2 + 3 + -2)*y. Solve -3*c + s = -4 for c.
5
Suppose 2*u - 4 = 2*q, 4*u - q - 10 = 4*q. Solve -2*t + 0*t + 8 = u for t.
4
Let l(h) = -h**2 - 11*h - 6. Let k be l(-9). Suppose m = -3*m + k. Solve 0 = d + m + 2 for d.
-5
Let m(j) = -9*j. Let b be m(-4). Suppose -h = 4, -z + 5*h + b = 3*z. Suppose -10 = 5*l - 4*q + 2, l = -4*q + 12. Solve l*y + 12 = -z*y for y.
-3
Let a be (-6 - -7) + 1/1. Solve 4*m + a = -2 for m.
-1
Let h = 37 + -31. Solve g + h = 1 for g.
-5
Suppose 2*m - 97 = 3*o - 32, 140 = 4*m - 4*o. Let v be (-76)/(-10) - (-16)/m. Solve -v - 2 = 5*f for f.
-2
Suppose 6*k - 8 = 40. Suppose 0 = -x + k - 2. Solve -p - 2*p = -x for p.
2
Suppose 0 = z + 5*m + 1, 3*z = -0*m + 2*m + 14. Let u(l) = l + 3. Let q be u(-3). Suppose 4*g + 2*b = 10, -b - 3*b - 20 = q. Solve -z - 1 = g*c for c.
-1
Let c(i) = -i**3 + 8*i**2 + 4. Let s be c(8). Suppose 5*w - 132 = s*o, -2*o + 0*o + 90 = 4*w. Suppose 2*z - w = -8. Solve -2*n - 4 + z = 0 for n.
2
Let a be 1/6 + 868/(-24). Let i = a - -52. Solve -c - i = 3*c for c.
-4
Suppose 4*j + 1 = 5. Let q be 2 - 1 - 3 - -1. Let y = q + j. Solve -l - l = y for l.
0
Suppose -4*o + 9 = 5*q - 7, -q - 4 = -o. Solve q - 6 = -3*k for k.
2
Suppose 7 + 18 = -5*h. Let x = -2 - h. Solve -2*s - x = 1 for s.
-2
Let a(b) = -b**3 + 7*b**2 + 7*b + 9. Let x be a(8). Let t = x - 1. Let m be (-16)/(0 - 2) - t. Solve -m = -2*h + 4*h for h.
-4
Suppose 4*u + 8 = 24. Let x = u - 1. Suppose 3*t + x = 3*v, -2*t - 1 = t - v. Solve r + t = -1 for r.
-1
Let p = -3 - 0. Let z(w) = -2 + w**3 + 2*w**2 - 8*w + 2*w + w. Let f be z(p). Solve q = -q + f for q.
2
Suppose -a + 1 = -r - 0*a, -22 = -5*r - 4*a. Solve -3*v - r = -v for v.
-1
Suppose -s = -6*s. Suppose 45 = -4*o + 9. Let v = -9 - o. Solve z + v*z + 3 = s for z.
-3
Let b = 52 + -52. Solve b = -0*v + v for v.
0
Let d be 4/2 - 39/3. Let a = -9 - d. Solve -5 = a*h + 1 for h.
-3
Suppose -d + 2*u = -0*d + 10, -10 = -2*u. Solve d = 2*g - 0*g + 4 for g.
-2
Suppose -a - 1 + 9 = 0. Solve 3*j - a = 7 for j.
5
Let r(t) = t**3 + 4*t**2 + 4*t - 1. Let q be r(-3). Let a be -1 + 3 + (-6 - q). Suppose a = 3*f - f - 8. Solve 0 = -d + f*d - 6 for d.
2
Suppose 25*w - 19*w = 60. Solve -4*k = -2 + w for k.
-2
Let r be -1 + (-3)/6*-2. Let v be (-7)/(-14)*(1 - -13). Let p be v + -7 + 0 + r. Solve p = -n - 4*n for n.
0
Suppose 0 = 3*p + 4*k + k - 49, -2*p - 3*k + 31 = 0. Solve 0 = -2*a + 6*a + p for a.
-2
Let l(t) = t - 6. Suppose 3*m + 5*k - 4 = 0, -2*k + 7*k = -5*m + 20. Let b be l(m). Solve -a = -1 + b for a.
-1
Let j = -7 + 13. Let r be 1/5 - (-38)/10. Solve r*x = -14 - j for x.
-5
Suppose 0 = t + 2*t. Suppose -1 = 2*f + 5*w - 0, f + 2*w = t. Solve 0 = f*r + r for r.
0
Suppose 0*j - 4*x + 24 = 2*j, -x = -5*j + 16. Solve -6*u + j = -2*u for u.
1
Let o(f) = f**2 - 2*f - 3. Let v be o(-1). Let d(z) = -z - 11. Let q(w) = 3*w + 32. Let r(a) = 11*d(a) + 4*q(a). Let p be r(-5). Solve -2*m + 2 + p = v for m.
2
Let g(d) = -d**2 - 6*d - 6. Let j = 4 - 8. Let f be g(j). Solve 4*q - f*q - 8 = 0 for q.
4
Let f(o) = o**2 + 17*o - 35. Let w be f(-19). Solve -k + w*k = -10 for k.
-5
Suppose 19 - 4 = -5*r. Let s(k) = -k - 3. Let l be s(r). Solve 0 = -l*c + c - 5 for c.
5
Let u(x) = -11*x - 6. Let p be u(-1). Solve 0 = -p*z + 7 + 18 for z.
5
Suppose -23 = -4*f + 17. Solve -k - f = -3*k for k.
5
Let g be 4/(-12)*-3*-17. Let p = g + 17. Solve 0*a - 4*a = p for a.
0
Suppose -3*j = -1 - 5. Solve -b - 3 = -j*b for b.
3
Let r(g) = -g**2 + 4*g + 5. Let k be r(5). Solve 3 = d - k for d.
3
Suppose -6 + 36 = g - 2*x, x - 5 = 0. Suppose h - g + 8 = 0. Solve -h = -4*a - 12 for a.
5
Let d(i) = 15*i**2 - 1. Let t be d(-1). Suppose -2*s + t = 4*f - 0*s, 0 = -3*f - 3*s + 9. Let a be 2/(-8) + 1/f. Solve 2*m - m - 5 = a for m.
5
Suppose 28 - 13 = 3*j. Suppose 5*l - 15 = -j*c, 4*c - l + 2 + 1 = 0. Solve c = -p - 0 - 3 for p.
-3
Suppose -5*s + 15 = z - 27, 0 = -4*s + 4*z + 48. Suppose -3*p + s = -0*p. Solve p*m - 5 = -14 for m.
-3
Let p = 25 - 21. Solve 2*i + 8 = p*i for i.
4
Let t(f) = -3*f**3 - 3*f**2 + 1 + 2*f**3 + 1 + 6*f - 2*f. Let n b