0 = -3*f + 4*z - 3 + 8, 0 = -f - 4*z + s. Solve 2*n + 2 = f*n for n.
2
Suppose -3*i + 3*w = -36, -5*i - 2*w + 36 = -w. Let y be (-2)/i - (-2)/8. Suppose y = -0*k + 4*k - 12. Solve -12 = r + k*r for r.
-3
Let o = 8 + -11. Let l be ((-1)/o)/((-2)/(-6)). Solve 2*d = -l - 3 for d.
-2
Let y(x) be the second derivative of 5*x**5/4 - x**4/12 - x**3/6 + x**2/2 - 5*x. Let s be y(1). Solve s = 5*l + 4 for l.
4
Let d = 9 + -13. Let w = d - -13. Let j be (-3 + 1)*(-2)/4. Solve -j = 2*y + w for y.
-5
Let a(g) = 2*g - 3. Let c be a(3). Suppose -4*n - c + 7 = 0. Let v = 3 - n. Solve -3*f + 7 + v = 0 for f.
3
Let u = 9 + -5. Solve u*r + 6 - 2 = 0 for r.
-1
Let q be 16/5 - (-4)/(-20). Let w = 3 - q. Solve w = h + 3 + 1 for h.
-4
Suppose 5*y + h + 39 = 0, 0 = 7*y - 2*y + 4*h + 36. Let j = y - 0. Let f = -5 - j. Solve -f*b = -5 + 17 for b.
-4
Let z(y) = 2*y - y + y**2 - 4 + 5. Let g be z(-1). Solve 2*u - u - g = 0 for u.
1
Suppose h - 2 = 4. Solve -16 + h = 2*r for r.
-5
Let z(c) = c**2 + 11*c - 8. Let u be z(-12). Let s be (16/(-20))/(4/30). Let k be ((-8)/s)/(4/6). Solve -u*r + 2 = -k for r.
1
Let k = -42 - -51. Solve 3*v = 6*v + k for v.
-3
Suppose -3*y = -4*y + 4. Solve -y*i = i - 5 for i.
1
Suppose -3*s = 5*i - 25 - 2, 3*i = -s + 13. Solve -5*v = -1 - s for v.
1
Let j(w) = -w**2 + 10*w. Let n be j(9). Solve -n = -5*s + 1 for s.
2
Let f(g) = 3*g**2 + 2*g - 1. Let h be f(1). Suppose -u - 5*c + 8 = 0, -h*u - 2*c - c = -15. Solve -9 = -0*r + u*r for r.
-3
Let u be -1*(2 - 0) - (-7 - -1). Solve u*w - 3*w = 4 for w.
4
Suppose 0 = 2*c - 3*k + 15, 2*k - 20 = -2*c - 2*k. Solve 4*h + c = 4 for h.
1
Let s(c) = c**2 - 4*c - 3. Let x be s(5). Solve -12 = -x*o - 2*o for o.
3
Let o = 29 + -29. Solve g + g = o for g.
0
Let l(h) = 2*h + 11. Let j be l(-3). Let s = -2 - -3. Solve j*d + s = -4 for d.
-1
Suppose 4*n + 36 + 0 = 2*y, 0 = -3*y + 3*n + 39. Let h be y/36 - 292/18. Let j = h - -26. Solve 0*q = -2*q + j for q.
5
Suppose -3*o + 7*o - 96 = 0. Suppose 4*i = -2*j, 4*i = 2*j - 0*i - o. Solve -c = c + j for c.
-3
Let w = 22 - 14. Suppose -3*n - 2 = -w. Solve -n*o = -o for o.
0
Let b(i) = i + 14. Let n be b(-13). Let t = 2 + 1. Solve -t*u - 2 = n for u.
-1
Suppose 0 = 7*a - 14 - 14. Solve u = -a*u for u.
0
Let u(f) = -3*f**3 - 2*f - 1. Suppose x = 4*s + 3, x - 3*s - 3 = -1. Let g be u(x). Suppose -4*n + 4*i = -8, -3*i - 2 = -n - i. Solve g = -w + n for w.
-2
Let q = 25 - 9. Let f(s) = -s**3 - 12*s**2 - 2*s + 1. Let b be f(-12). Suppose -3*p - 2*p + b = 0. Solve u = p*u - q for u.
4
Let a(j) = -j**3 - 20*j**2 + j + 22. Let d be a(-20). Solve -1 = i + d for i.
-3
Suppose -5 = -5*a + 5. Suppose 11*f - 12*f = 0. Solve f*n = -n - a for n.
-2
Let o(y) = y + 7. Let a be o(0). Suppose a*m - 10 = 2*m. Solve m = -5*r + 17 for r.
3
Let h be (-3)/(-15) + (-24)/(-5). Solve z = -4 + h for z.
1
Let t = -68 - -71. Solve -t*p - 9 = -3 for p.
-2
Let k = 10 - 10. Solve k = -2*u + u - 3 for u.
-3
Let x(u) = u**3 - 6*u**2 + u - 6. Let p be x(6). Suppose -32*z + 12 = -28*z. Solve 0 = z*w - p*w - 3 for w.
1
Suppose 3*a - n = 8*a - 8, 5*n - 18 = -3*a. Solve -5*l + 4 = -a for l.
1
Suppose -3*s + s = -30. Suppose -2*x + s = x. Solve -x*b - 3 = 7 for b.
-2
Suppose 4*t - 5 = -3*w, -4 = -2*w + 5*t + 7. Let l = -33 - -58. Suppose 0*i = -n - 5*i + 5, 0 = -3*n - 5*i + l. Solve -w*h + 5 = -n for h.
5
Let u = -2 - -4. Let s(y) = -3*y - 1. Let p(c) = c. Let q(w) = 6*p(w) + s(w). Let n be q(u). Solve 18 = n*i - 7 for i.
5
Suppose 3*v = -a + 5, 3*v - 7 = -3*a + 2*v. Suppose -z + a*z = 0. Solve -5*i + 8 + 2 = z for i.
2
Let k = 27 + -25. Solve p + 1 = -k for p.
-3
Suppose -5*t + 23 = 3*f, -4*t + f + 40 = -2*f. Solve -t*v = -3*v + 16 for v.
-4
Suppose -4*w - 3 - 1 = 0. Let j be w + (0 - -1)*1. Solve -3*l + j*l = -3 for l.
1
Let n be (-4)/(4 + -4 + 2/(-1)). Solve -u - n = -3 for u.
1
Suppose -3*y - 2 - 1 = 0. Let n(r) = -5*r + 1. Let f be n(y). Solve f = -3*z - 3 for z.
-3
Let j(s) = s**3 + 3*s**2 - 2. Let t be j(1). Solve 0 = -0*h - t*h - 2 for h.
-1
Let r be ((-4)/(-3))/(6/99). Let j = r + 22. Solve 5*w + 19 = j for w.
5
Let a(g) = -3*g - 2. Let j(o) = -2*o**2. Let v be j(-1). Let m be a(v). Let y be (-38)/(-3) - 6/9. Solve m - y = 2*l for l.
-4
Suppose -2*b - 8 = 2*b. Let d(c) = -c**3 + 2*c**2 + 4*c + 3. Let l be d(b). Let x = -32 + 34. Solve -l = x*s - 1 for s.
-5
Let r be 3/1 + 1 + -3. Let l = 2 - r. Suppose 0 = 2*x - 3*p - 16 + l, 0 = -4*x - 5*p + 19. Solve -2*t + x = -4 for t.
5
Let f(k) = k**2 - 8*k + 9. Let n be f(7). Let p be (6 - n)/(-2 - -3). Suppose p*t - 9 = -1. Solve 2*m = -t*m for m.
0
Suppose 43 = 3*g + 7. Solve g = -3*s - 0*s for s.
-4
Let o(n) = -7*n - 4. Let i be o(-1). Solve -i*u = -u for u.
0
Let t(d) = -d**2 + 6*d. Let h be t(6). Solve h = 4*l - 2*l + 8 for l.
-4
Suppose -2*v + 28 = -4*u, 0 = -0*v - v + 5*u + 26. Suppose -2*k + 0 = -v. Solve r - k = -0 for r.
3
Let o be 25 + (-2)/2*1. Suppose -22 = -4*g - d + 3*d, -3*d - 18 = -3*g. Solve -g*n - o = -9 for n.
-3
Let v(i) = i**3 + 6*i**2 + 5*i + 7. Let s be v(-5). Suppose 2*a = -4*h + 8, 0*a - 6 = 5*a - 3*h. Solve a = -2*l - 3 + s for l.
2
Let u be 51/(-7) - (-12)/42. Let b = -5 - u. Solve 0*y = b*y for y.
0
Suppose -84 + 108 = -4*p. Suppose 5*i + 20 = -0. Let z = i - p. Solve 0 = q + z*q for q.
0
Let k be 1/(1/(-3)*-1). Solve -p + k*p + 2 = 0 for p.
-1
Let z be (0 - -3)*4/6. Let d(c) = -c**2 + 6*c + 1. Let a be d(5). Let n be ((-6)/4)/(a/(-8)). Solve -n*q - 2 = z for q.
-2
Suppose 2*i - 5*k + 3 = 0, -k = -1 - 0. Suppose -2*m = -11 - i. Solve 2*b - m = -0*b for b.
3
Let w(i) = 7*i - 22. Let p be w(4). Solve p = -o + 8 for o.
2
Let a be (-7)/(14/12)*-1. Let p = a - 4. Suppose 4*o - 4 = 2*r, p*r + o + 3 = 19. Solve -5*n + r = 1 for n.
1
Let r = -6 - -10. Suppose r*f - 32 = -0*f. Solve f + 2 = 2*l for l.
5
Let y(p) = -37*p - 5. Let s = 3 - 8. Let x(v) = 56*v + 8. Let f(c) = s*x(c) - 8*y(c). Let z be f(1). Solve -k + 5*k = -z for k.
-4
Suppose 0 = -0*u - 2*u + 12. Solve -u*c = -c for c.
0
Let r(w) be the third derivative of -w**4/24 + w**3/3 - w**2. Let v be r(6). Let c = v + 10. Solve 0 + c = -3*m for m.
-2
Let n(p) = 2*p - 17. Let s be n(12). Let l be s*(12/(-7) + 2). Solve 6 = -l*y - 0 for y.
-3
Let r = 15 - 11. Suppose 0 = -l + d - 0*d + 2, 4*d = -5*l + 37. Solve -j = r*j + l for j.
-1
Suppose -5 = 4*o + z, -5*o + 4*o - 5*z - 6 = 0. Let k(w) = -w**3 + w**2 + w + 1. Let a be k(o). Solve 0 = -p - 7 + a for p.
-5
Suppose 0 = i - 4*i - 4*o + 7, -3*i + 1 = -2*o. Solve 5*h = 24 + i for h.
5
Suppose 5 = 4*s - 15. Suppose 3*v + 19 = -s*h, -3 + 18 = -3*v - 3*h. Let r be (-22)/(-2)*v/(-3). Solve r = 2*q + 1 for q.
5
Suppose -3*b - b = 0. Let x = 3 + 1. Suppose 0*w + x = w. Solve b*a = w*a + 8 for a.
-2
Let d(l) = -17*l - 13. Let b be d(-2). Solve -b = -5*k - 6 for k.
3
Let x(h) = -h**3 + 8*h**2 - 7*h + 9. Let l be x(7). Solve -5*q - l = -29 for q.
4
Suppose -5*b = -b - 24. Let h be (-16)/b*9/3. Let a be 2/h - (-25)/4. Solve 6*x - 4*x = a for x.
3
Suppose 0*c - 5*c = 0. Solve 0 = f - c - 4 for f.
4
Suppose k - 2*h - 5 = 0, 0 = k + 2*k + 3*h - 6. Solve j + 1 = -k for j.
-4
Let h(t) = -t**3 + 16*t**2 - 29*t + 16. Let r be h(14). Solve -q - r*q = 0 for q.
0
Let x be -21*1 - 2 - -3. Let l = x - -30. Suppose -p + 2*a - 3 = -1, 4*p + a - l = 0. Solve -10 = -4*w - p for w.
2
Let l(z) = -z**2 - 2*z - 1. Let w be l(-1). Solve -d + w*d + 3 = 0 for d.
3
Let m = 14 - 12. Solve 0 = -m*b + b + 4 for b.
4
Let f(d) = -d**2 + 7*d - 3. Let y be f(5). Let n(h) = h**3 - 6*h**2 - 8*h + 7. Let x be n(y). Let i(w) = -w**2 + w + 8. Let o be i(x). Solve -4 = 3*c + o for c.
-4
Suppose -5*s - 2*t = -35, -3*s + 8*s = -4*t + 45. Suppose 0 = -5*j - 2*v + 2, j - 11 - 11 = s*v. Solve -j*r - 3*r + 25 = 0 for r.
5
Suppose 9 - 6 = t. Solve t - 12 = -3*w for w.
3
Suppose -1 = 3*z - 4, -2*u + 9 = z. Solve 3*w - u + 16 = 0 for w.
-4
Let u = 8 + 9. Let h = -10 + u. Suppose 0 = -h*x + 4*x + 3, -4*t = -5*x - 3. Solve f - t*f = 0 for f.
0
Suppose 4*i - 2*j = 12, 5*j + 17 = 5*i - 8. Suppose 3*h - 2*k = 10, 4*h + k + 4 = -i. Solve -d - 2 - 2 = h for d.
-4
Let j(r) = -r + 7. Let z be j(6). Let c be 0/(2 - z)*-1. Let n = 70 - 61. Solve n = -3*s - c*s for s.
-3
Let x = 17 - 7. Let j = -18 - -50. Let u be j/(-12)*(0 - 3). Solve -3*h - x = -u*h for h.
2
Let s = 118 + -110. Solve 11*k - s = 13*k f