olve -8 - z = 4*h for h.
-3
Let w = 13 + -8. Let x(o) = o**2 - 4*o + 1. Let d be x(w). Let j be 2 - (3 + 5)*-1. Solve d*h = h + j for h.
2
Let a(l) be the third derivative of -l**4/24 - l**3 - l**2. Let u be a(-7). Solve -3*k - u = 2 for k.
-1
Let p(j) = 8*j - 7. Let m(y) = -7*y + 6. Let v(h) = 7*m(h) + 6*p(h). Let t be v(-4). Solve -3*s + t*s = 0 for s.
0
Let u be 5/((-10)/32) + 2. Let q be (-2)/(-7) - (-4)/u. Solve -k - 4 + 2 = q for k.
-2
Suppose -5*j = -0 - 15. Suppose -6 = -2*n + j*n. Let x be 9/n*(-20)/3. Solve x = -3*u - 5 for u.
-5
Suppose -12 = -3*r + 3. Solve r*g - g = -4 for g.
-1
Suppose 4*h - 4*c + 8 = 6*h, 4*h - 4*c - 16 = 0. Solve v = -h*v - 15 for v.
-3
Let r(d) = -d**2 + 4*d. Let y be r(3). Let z = y + -1. Suppose -z*w = -5*c + 60, c - 2*w - 15 = -w. Solve 7*k - 2*k = c for k.
2
Let g(s) = -s**2 + 2*s - 3. Let v be g(5). Let z = v + 34. Suppose -8*a + 3 = -7*a. Solve k = -a*k - z for k.
-4
Suppose 2*k = -n + 4, -5*k - 16 = -3*n + 18. Let s be (n - 0) + -6 + 5. Solve 0 = -s*y + 4*y for y.
0
Let t = -3 + 9. Let i = t + -9. Let m = i - -3. Solve 3*g + 3 + 0 = m for g.
-1
Let l = -23 + 26. Solve l*s = -0*s + 9 for s.
3
Let y = 0 - 0. Let s(i) = -i**2 + 5*i - 1. Suppose -h + 16 = -3*v, -4*h + 12 = -v - 8. Let r be s(h). Solve 0*x - r*x = y for x.
0
Suppose 0 = -5*w - 3 + 13. Let s(l) = 1 - 19*l**3 + 2*l - 4 + w*l**2 + 2 + 2. Let m be s(-1). Solve 5*h = h - m for h.
-5
Let k = 11 - 16. Let f be 8 + k*(-8)/20. Suppose 2*r + 19 = b + 2*b, b - r = 7. Solve 0 = 3*u + b + f for u.
-5
Suppose 2*h = 24 - 8. Let n be 2/4 + 30/(-4). Let r = h + n. Solve 0 = -l - r - 3 for l.
-4
Let k(u) be the second derivative of -u**5/20 + u**4/12 - u**3/6 + 13*u**2/2 - 4*u. Let y be k(0). Let o = -5 + y. Solve -2*c + 0 = -o for c.
4
Let l(t) = -10 + 17 + t + 7. Let o be l(-9). Solve -10 = o*s - 0 for s.
-2
Suppose -3*w = -m - 13, 4*m - 7 = -5*w + 2*m. Solve 3 + w = -2*t for t.
-3
Suppose -3*i - 9 = -a + 3*a, -20 = 4*i. Suppose 3*v - a - 14 = -n, -4*v - 20 = -4*n. Suppose 0*y + 20 = 5*y. Solve -y*s - 4 = n for s.
-3
Let y(i) = -i - 5. Let d be y(-11). Solve -d = g - 1 for g.
-5
Let h(f) = -1. Let g(d) = 2*d - 20. Let t(o) = g(o) - 10*h(o). Let x be t(7). Solve 0*i + 2*i - x = 0 for i.
2
Let o be (-3 + 1)*(-2 - -1). Let f be (-1)/(2/(-3))*o. Solve -6 + f = 3*u for u.
-1
Let x = -4 + 29. Suppose h = -5*a + x, -4*a - 5*h + 4*h + 21 = 0. Solve -a*u + 10 = -2*u for u.
5
Let h = 20 + -20. Solve -10*t + 12*t + 4 = h for t.
-2
Suppose y = -1 + 25. Suppose -2*m = -4*d - 34, 1 = -m + 2*m + 2*d. Suppose 2*o = u - m, y = u + 3*u - 2*o. Solve 5*z + 0 - u = 0 for z.
1
Let m(x) = -x**2 + 5*x - 3. Let y = 5 - 2. Let d be m(y). Solve -d + 5 = z for z.
2
Let b(w) = -w**2 + 5*w + 7. Suppose -1 = 4*m - 5*a, -2*m = -7*m - 3*a + 45. Let l be b(m). Solve 0 = -3*z + 2 + l for z.
1
Let p be 1/3 + 32/12. Suppose -6 = -4*i + 2*i. Let k = i + -3. Solve k = -p*z + 9 for z.
3
Let o(i) = 2*i - 5. Let p be o(4). Suppose -l = p*l - 28. Let f = 0 - -1. Solve -4*r = f + l for r.
-2
Let t(k) be the second derivative of k**5/20 - k**4/2 - 5*k**3/6 - 5*k**2 + k. Let g be t(7). Solve 0*f - g = f for f.
-4
Suppose 0 = -4*r + 5*r. Let b(o) = -4*o**2 + 2 - 7 - 3*o + 2*o**3 - o**3. Let l be b(5). Solve l*c - 15 = -r*c for c.
3
Let f = 31 + -24. Let v be 1 - (0 + 5) - 0. Let j = f + v. Solve -4*p + 13 = -j for p.
4
Let m(t) = 4*t - 38. Let l be m(10). Let u(i) = i**3 + 5*i**2 + 3*i - 2. Let k be u(-4). Suppose k*p - p - l = 0. Solve d = -p - 1 for d.
-3
Let z be 3/(-6)*(-2 - 2). Suppose -15 = -z*q - 3. Solve 5*c + 4 = -q for c.
-2
Let w(a) = -a + 2. Suppose 0 = p - 10 + 1. Let r be 24/p + 2/(-3). Let s be w(r). Solve s = -3*v + 7 + 8 for v.
5
Suppose -3*i + 0*i + 30 = 0. Suppose i*x = 5*x. Solve -1 = o - x for o.
-1
Let s(n) = -20*n + 32. Let u(i) = -7*i + 11. Let q(j) = 6*s(j) - 17*u(j). Let f be 4 + -4 + 5 + 0. Let h be q(f). Solve 0 = -g - h*g for g.
0
Let w be ((-1)/(-1))/(4/44). Suppose t + 2*h + 6 = 0, 5*t + 5*h + 4 = -w. Let v(s) = -s**3 - s**2 + 4. Let g be v(t). Solve 2*r - g = -12 for r.
-4
Suppose 3*y + 49 = 5*d, -1 - 3 = -2*d - 4*y. Let n = -4 + d. Solve 0 = 4*v - 3*v + n for v.
-4
Let o be (-2*1)/(4/22). Let j be 7*5/(35/18). Let m = j + o. Solve -m*b + 2*b - 25 = 0 for b.
-5
Let u(z) = 3*z + 1 - z + 2*z. Let k be u(1). Let h(q) = 4*q. Let n be h(k). Solve 3*i = -i + n for i.
5
Let i(u) = u**2 - 15*u + 16. Let j be i(14). Suppose -j*y + y = 0. Solve 4 + y = -2*l for l.
-2
Let l = -15 + 11. Let s be (-2)/4*l/2. Solve -z = s - 2 for z.
1
Let r = 43 + -40. Solve 15 = r*l - 0*l for l.
5
Let q = -19 + 22. Solve -v + q = 4 for v.
-1
Let d(v) = v + 7. Let p be d(-5). Suppose -2*u = -5*u. Suppose u = 2*i + 1 - 9. Solve i = p*r + 2*r for r.
1
Let v = -1 + 4. Let o(q) = -q**2 + 4*q - 3. Let d be o(v). Suppose d = 5*s - 11 - 14. Solve 0 = -s*x - 17 + 2 for x.
-3
Suppose -6*c = 5*j - 3*c + 13, -c = 5*j + 11. Let p be (24/(-28))/(j/14). Solve p*l + 20 = 2*l for l.
-5
Let b be (-2)/(-4) - (-116)/8. Let j = -9 + b. Solve s = j*s for s.
0
Let r be 223/9 + (-6)/(-27). Suppose -4*u - 9 + r = 0. Let z(m) = 3*m**2 + m + 1. Let g be z(-1). Solve 5*o - u = g*o for o.
2
Suppose 0 = g - 0*g. Solve g = 2*a + 1 - 7 for a.
3
Let w be 24/3 + (-3 - -1). Suppose -2 - w = -l. Solve -3*z + l = -1 for z.
3
Let g be 4/(-18) + (-92)/(-9). Solve -g = -4*k + 6 for k.
4
Suppose 5*g = 3*g - 2. Let v be (g/2)/((-2)/(-24)). Let y be 7 - (-2)/(-4)*v. Solve 0 = -o + 6*o + y for o.
-2
Let r be (-1343)/(-119) + 2/(-7). Solve -r = -5*z - 1 for z.
2
Suppose 0 = -3*j - j + 20. Suppose j*a + 5*g - 6 = 29, -2*a + 2 = -g. Solve a*l = l for l.
0
Suppose 4*b = y + 11, 12 = -y - 3*y. Suppose -5*j - 6 = -3*i - 51, b*j = 4*i + 32. Solve j*d - 20 = d for d.
4
Let t(m) = -17*m**3 - m**2 + m + 1. Let a be t(-1). Let j be (0 - 1/(-2))*a. Solve -f = f - j for f.
4
Let y be (-9)/(-2) + (-3)/6. Suppose -5*g + 5*v - 24 + 324 = 0, 3*g + y*v = 208. Let p = 89 - g. Solve 2*z + p = -3*z for z.
-5
Let z(l) be the third derivative of 13*l**6/120 - l**5/60 + l**4/24 - l**3/6 + 3*l**2. Let n be z(1). Solve -4*r - n = -0 for r.
-3
Let o be (1 + 1/(-2))*(17 + -11). Solve 0 = o*a - 14 - 1 for a.
5
Let h(g) = 17 - 15 - 2*g + 3*g + g**2. Let n be (-1 - -1)*(-1)/(-1). Let p be h(n). Solve 2*o - 20 = -p*o for o.
5
Let x(l) = 17*l**2 + l. Suppose 2*d = -0 - 2. Let j be x(d). Suppose 5*m = 25, -3*z + j + 6 = 2*m. Solve -z*r + 3 = -r for r.
1
Suppose 5*o = -2*k + 4*o + 13, -5*k = o - 37. Let p be k/3 - 6/9. Solve p*c = -2*c - 20 for c.
-5
Suppose y - 5*y - 7 = 5*a, 5*a = -y - 13. Solve -6 - y = 4*b for b.
-2
Suppose -19 = -3*j - d, d = 2*j - 2*d + 2. Let r = 6 - j. Solve -r = p - 4 for p.
3
Let l(x) = 3*x**2 - x + 26. Let z be l(0). Solve z - 10 = 4*u for u.
4
Let a(d) = d**2 + 1. Let o be a(2). Solve -o - 15 = -4*x for x.
5
Let f(l) = -5*l**3 + 1. Let o be f(-1). Suppose -o*z = -z. Suppose z = -2*v + v. Solve v*j = -j - 5 for j.
-5
Let l(x) = -x**2 + x - 1. Let d(g) = g**2 + 8. Let p(y) = -d(y) - 2*l(y). Let k be p(5). Solve -k = -5*o - 4 for o.
1
Suppose 0*o = 3*p - 5*o - 3, -5*p - 3*o = -5. Solve u = -p + 5 for u.
4
Let c be (10/(-15))/((-2)/3). Suppose i - c = 2. Solve -p + 0*p = i for p.
-3
Let d(r) = -3*r + 12. Let a be d(-9). Suppose w - a = -2*w. Suppose -k = 5*t - 43 + w, 4*t - 24 = 3*k. Solve -u + t = u for u.
3
Let a be (-3 - (-69)/21)/(3/21). Solve 15 = a*z - 7*z for z.
-3
Suppose -3 = -2*i - t - 0, 3 = 5*i + t. Let w(y) = -y. Let h be w(i). Suppose -2*b - u = -0*u - 10, -16 = -5*b + 2*u. Solve -b*s + h = 8 for s.
-2
Let d(f) be the second derivative of 0 - 1/2*f**2 + f + 5/6*f**3. Let j be d(2). Solve -u = -4*u - j for u.
-3
Suppose 2*y - 95 = -87. Solve 0 = -3*v + y*v for v.
0
Let a(y) = 2*y**3 - 6*y**2 - 7*y + 1. Suppose -2*f + 1 = -9. Let c be a(f). Let n = c - 32. Solve -5*d - n = -14 for d.
-4
Suppose 3*w = 5*s + 45, 4*s - w = -1 - 28. Let u(q) = q + 2. Let l(f) = 1. Let g(r) = 6*l(r) + u(r). Let i be g(s). Solve 0 = -i*o + 4*o for o.
0
Suppose -10*m + 30 = -4*m. Solve m*c - 28 = -8 for c.
4
Suppose -7*b + 4*a = -3*b + 16, -b - 5*a + 20 = 0. Suppose -3*t - 2 - 10 = b, -5*z + 2*t + 28 = 0. Solve 2*u = -0*u - z for u.
-2
Suppose -3*w + w + 12 = 2*h, -2*w + h = -3. Solve 2*a = w*a + 4 for a.
-4
Let y(r) = -6*r**3 + 8*r + 12. Let c(l) = -5*l**3 - l