+ 20. Solve z*w = -0 + i for w.
1
Let b be (-3)/9 + 28/(-6). Let f = b - -7. Solve 0 = 4*t - f*t for t.
0
Suppose 4*t = -0*t + 112. Suppose -k = -5*k + t. Solve k*i - 3*i = 12 for i.
3
Let w(t) = -t**3 - 2*t**2 - t + 5. Let o be w(0). Solve o + 1 = 2*i for i.
3
Suppose -3*i = 2*i - 25. Solve o - 12 = i*o for o.
-3
Let u = 9 + -5. Suppose -3*p = -6*v + 3*v + 9, u*v - 2*p = 16. Suppose 0 = 2*j - j. Solve -v*x + 2*x = j for x.
0
Let v be 26/(-65) + (-14)/(-10). Solve -2*h + 3 = -v for h.
2
Let m = 19 + -18. Solve s + 3 = m for s.
-2
Let j(a) be the third derivative of a**5/60 + a**4/8 + a**3/6 + a**2. Let d be j(-4). Solve -d*c + 12 = -c for c.
3
Let s(j) = 3*j - 10. Let f be s(5). Suppose -4*t = f*k - 20, -2*k + 9 = -5*t + 1. Suppose 5*d = 5*p + 125, 4*d + p - 93 = -2*p. Solve 4*l + k - d = 0 for l.
5
Let p = 4 + 1. Solve -15 = -0*b + p*b for b.
-3
Let b = -7 - -11. Let o(k) = -k**2 + 6*k - 5. Let u be o(4). Suppose -19*p = -22*p + 39. Solve b*s - p = u for s.
4
Let l = 7 + 5. Solve -2*n = -6*n + l for n.
3
Let m be 3/(-1 - (-18)/21). Let r = m + 36. Solve 3 - r = 3*h for h.
-4
Suppose -3*m = q - 1 + 11, -5*q - 4*m = -5. Suppose n + 5 = a - 3, 4*a = -4*n - 8. Let h = a + 1. Solve 3*x = h*x + q for x.
-5
Suppose 4*o - 5*h = 52, -3*o + 4*h + 39 = -0*h. Suppose -2*k - 1 = -o. Solve -3*q + 0*q = -k for q.
2
Suppose h - 10 = -0*h. Let d be (-32)/4 - (1 - -1). Let y = h + d. Solve s + y = 3 for s.
3
Let x = 1 - -7. Let d(b) = -10*b - b**2 + 4 - 4. Let r be d(-10). Solve x = -4*m - r for m.
-2
Suppose -n + 4 = 3*n. Let t be 10/5 + n + 0. Solve 2 = -t*x - 1 for x.
-1
Suppose -5*b = -4*t - t + 70, -2*b - 3*t - 3 = 0. Let g = 12 + b. Let r = g - -2. Solve -16 = -r*j + j for j.
4
Let m be 2 + -2 - (6 + -1). Let o = m - -12. Let p be 102/8 + 4/16. Solve p = 5*g - o for g.
4
Let n be (-8)/(-6)*(5 + -2). Let h(f) = 4*f + 7. Let m(a) = -a - 1. Let v(d) = h(d) + 3*m(d). Let o be v(-2). Solve 0 = -n*z + o*z for z.
0
Suppose -6*r + 2*z + 38 = -3*r, r + 4*z = 22. Suppose 0 = -2*f + 2*y + r, -5*y = f - 3*f + 23. Let j = 1 + -1. Solve -8 = -f*v - j for v.
2
Suppose -20 = -3*g - 2*g. Suppose -g*z - 12 = -7*z. Solve -5 = -3*n + z for n.
3
Suppose 0 = 4*k - 6*k - 5*s + 9, 0 = -3*k + 5*s + 26. Solve -k = 2*n - 1 for n.
-3
Let y be (1 - -1)/((-10)/(-20)). Let l(t) = t + 2. Let c be l(0). Solve -y*x = -18 - c for x.
5
Let p = -7 - -10. Suppose -3*b + 12 = -p. Solve 0*i = b*i + 15 for i.
-3
Suppose 6 = -3*l + 6*l. Let s(d) = -d**2 + 12*d - 8. Let z be s(11). Solve 0 = -5*b + l + z for b.
1
Suppose 3*c - x = 5 - 2, -3*c = -2*x - 6. Let w(t) = -t. Suppose 4*u - 2*p = -22, -p = -2*u + 3*p - 26. Let l be w(u). Solve c = -4*q + q - l for q.
-1
Let n be 11/(-4) - (-3)/(-12). Let w be (-1)/(-2 - n)*-5. Suppose -25 - 35 = -w*g. Solve 5*s + g = s for s.
-3
Let r be 16/(-7) + (-24)/(-84). Let v be (-60)/(-4)*r/(-3). Solve -2*x = -4*x + v for x.
5
Let m(d) = 3*d**2 + 7 + 3*d - 5*d**2 - 2*d. Let a(l) = l**2 - l - 4. Let w(g) = 7*a(g) + 4*m(g). Let o be w(-3). Solve o = -8*r + 3*r + 5 for r.
1
Suppose -w - 2 = -2*w. Let b be (w/6)/(4/48). Solve t = -b*t + 20 for t.
4
Suppose q = o + 6 - 4, 4*o - 12 = -q. Solve o = -3*i + 5*i for i.
1
Let l(c) be the third derivative of c**6/120 - c**5/10 + c**4/8 - c**3/2 - 5*c**2. Let s be l(6). Solve 7*w - 4*w = -s for w.
-5
Let a(u) = u - 4. Let h be a(7). Suppose 2*v = h*v. Suppose -c = 2*i - v*i + 2, 32 = 2*c - 5*i. Solve -c - 9 = 3*t for t.
-5
Let h = 21 + -6. Suppose -5*s + h = -2*o + o, -2*s - 5*o = -33. Suppose v - 89 = -5*t + 3*v, 0 = -4*t + 5*v + 78. Solve -s*y + t = -3 for y.
5
Let d(r) = 4*r - 79. Let w be d(20). Solve -w = -3*p - 10 for p.
-3
Let j be (-7)/(-28) - (-23)/4. Solve -h - 2*h = -j for h.
2
Suppose -2*n = -3*n. Solve y - 2*y + 1 = n for y.
1
Let c(a) be the first derivative of a**4/24 - a**3/2 - a**2 + 2. Let i(q) be the second derivative of c(q). Let z be i(3). Solve z = 4*y - 7*y - 6 for y.
-2
Let i = -1 - 3. Let g(l) = l**2 + 3*l - 1. Let z be g(i). Solve 4 = -z*h - h for h.
-1
Suppose -2*j + 4*j = 14. Let l be 0 + -1 + j + -1. Solve -2*r = -l*r - 6 for r.
-2
Let l(p) = p**2 - 4*p + 3. Let t be l(4). Suppose 3*x - 6 = t. Solve -1 + 16 = -x*z for z.
-5
Let m(v) be the first derivative of -v**3/3 + 9*v**2/2 - 2*v - 2. Let u be m(8). Let c = -3 + u. Solve -t = -c*t for t.
0
Suppose -3*p + 20 + 2 = -h, 38 = 2*p + 4*h. Solve 2*z + 1 = p for z.
4
Suppose 24 + 44 = -4*k. Let z = k - -21. Solve 0 = 2*g - 3*g - z for g.
-4
Let m = 11 + -10. Let l = 6 - m. Suppose 5*v + 2*b - 5 = 0, -2*v + l*b = -v - 28. Solve 5 + 10 = -v*t for t.
-5
Let q(r) = -r**2 - r + 1. Let y(l) = -2*l**3 - 3*l**2 - 4*l + 2. Let p(g) = -3*q(g) + y(g). Suppose 0 = h - 5*h - 4. Let d be p(h). Solve -d*n = n for n.
0
Let b be (1/(-2))/(3/2)*-3. Solve -2*n = -b - 7 for n.
4
Let j be 103/3 - 16/(-24). Suppose 0 = 5*o + p + p - j, 2*o - 4*p = 38. Solve -3*x + 0 = o for x.
-3
Let c be -30*(15/6)/5. Let d(q) = q**3 + 15*q**2 - 2*q - 18. Let b be d(c). Solve 4*o - o = b for o.
4
Suppose 2*r + 1 = -5*a + 8, -2*a - 5*r + 7 = 0. Solve 4 + a = -5*l for l.
-1
Suppose -5*h = 9*h - 84. Solve -2*n + h*n = 0 for n.
0
Suppose 4*w + 20 = -w. Let g(o) = 3*o + 3. Let u be g(w). Let y be ((-3)/u)/(2/18). Solve -a = y*a for a.
0
Let v = -15 + 18. Solve 2*n = v*n for n.
0
Let b = -1 + -9. Let n = 11 + b. Let k = 1 - 1. Solve k*h - n = h for h.
-1
Let c(x) = -x - x**2 + 2*x + x**3 - 9 + 10. Let a be c(2). Let r = 11 + -6. Solve -r*n = -a - 8 for n.
3
Let d be 1 + -4 - (-11 - -2). Suppose 4*p = d*p - 10. Solve p*j = -0 + 5 for j.
1
Let c(q) = -q**3 + q**2 + q + 5. Let t be c(0). Suppose t*o - 3*z - 31 = 0, 0 = o + o - 3*z - 7. Solve 0*s + o = 2*s for s.
4
Suppose -4*t + 10 = -46. Let v = t - 0. Solve 0 = -5*r - 1 - v for r.
-3
Let p(j) = -j - 2. Let w be p(-3). Let l = w - 3. Let c be ((-10)/(-4))/(l/(-4)). Solve 0 = -i + 6*i + c for i.
-1
Let o(d) = 9*d + 15. Let u be ((-12)/(-4))/((-2)/(-4)). Let k(s) = 5*s + 8. Let y(a) = u*o(a) - 11*k(a). Let w be y(2). Solve w = -4*h + 1 + 11 for h.
3
Let v = 39 + -36. Let x = 0 - 0. Suppose 4*r = -x*r. Solve -v*f = -r*f for f.
0
Let m = 3 - -2. Solve -4 = -m*u + 16 for u.
4
Let z be (-12)/9*6/(-4). Let q be 1 - 1/z*-2. Suppose h + 3*a + 18 = 2*h, -4*a = -q*h + 34. Solve h = 4*c + 3 for c.
3
Let a be 0 - ((-6)/5)/(4/10). Let v(h) = -h**3 + 3*h**2 + h - 3. Let k be v(3). Solve k = 7*p - a*p - 12 for p.
3
Let s = 14 + -4. Solve -2*h = 3*h - s for h.
2
Let s(p) be the first derivative of 2*p + 3*p**2 - 1/3*p**3 - 1. Let u be s(6). Solve -u = -x - 4 for x.
-2
Suppose -4*c = 5*r - 1, -c - 4*r - 8 = -0. Solve s - 3 = c*s for s.
-1
Suppose q + 25 = 4*t + t, 2*t - 18 = 2*q. Let h = t + -3. Let f = 5 - h. Solve -f*u = -u - 9 for u.
3
Let h(b) be the third derivative of b**5/60 - 5*b**4/24 + 2*b**3/3 + 2*b**2. Let k be h(4). Solve k*f - 20 = 5*f for f.
-4
Let p(r) = r**3 + 3*r**2 + 2*r + 3. Let a be p(-2). Let z(t) = 2*t**2 - 2*t - 4. Let w be z(3). Solve 4 + w = a*q for q.
4
Let t = -3 + 7. Suppose -t - 24 = 4*u. Let k = 11 + u. Solve 2 = b + k for b.
-2
Suppose 5 = -a, 0 = -t - 2*a - 12. Let z be 6 + t + 0 + 2. Let n = -4 + z. Solve 1 = -k + n for k.
1
Let m(w) = 7*w - 79. Let k be m(12). Solve 0 = 3*y - k + 14 for y.
-3
Suppose 0*k + 4*k - 10 = 2*i, i + k = 7. Solve h - i = -2*h for h.
1
Let a = -16 - -24. Suppose -4 = -4*p + a. Suppose 2*w + 4 = -0*w - 2*r, 0 = -5*w + p*r + 6. Solve d - 3*d = w for d.
0
Suppose -2*t - t - u + 21 = 0, -u + 29 = 4*t. Suppose d = -2 + t. Solve d = 2*j - 4 for j.
5
Suppose 3*f = -2*a - 8, 2*f + 4*a + 3 + 13 = 0. Solve f - 3 = c for c.
-3
Let j = -3 + 5. Let v be 2/j - 2/2. Suppose -15 = -0*n - 5*n. Solve v = t + n*t - 8 for t.
2
Suppose -q + 5*k = k + 9, 3 = 4*q - 3*k. Solve -q*g - 15 = -0*g for g.
-5
Let n(g) = -2*g**3 - 2*g - 1. Let u be n(-1). Let o(m) = 0*m**3 + 2*m + 3 + m**3 + 0 - 4*m**2. Let y be o(u). Solve y*v - 5 = -v for v.
5
Let j(a) = -a**2 + 11*a - 8. Let s = 16 - 6. Let g be j(s). Solve 0*d + g = -2*d for d.
-1
Let y(r) = -4 - r - r**2 + 7 + 15 - 5*r**3 + 4*r**3. Let m be y(0). Solve -5*l - m - 7 = 0 for l.
-5
Suppose 0 = 4*p - g, 0 = -2*p + 4*p + 5*g. Suppose p = 5*r - 6 - 9. Solve 0 = -2*z - r*z - 5 for z.
-1
Let z be (5 - 3)*2/4. Let g = z - 8. Let m(t) = t + 9. Let b be m(g). Solve -b*f = -12 + 4 for f.