= 3*z - 5*z + 40. Solve 6*r - z = 2*r for r.
5
Let y = -3 - -7. Suppose -3*m + m - 6 = b, -5*b - 6 = y*m. Let k be -2*(0 - (-2)/m). Solve 2*c - k = -7 for c.
-3
Let t(z) = 6*z**2 + z - 1. Let s be t(-3). Suppose -20 = 5*d - s. Solve -d = -l - l for l.
3
Let c(r) be the third derivative of r**5/60 - r**4/4 - 7*r**3/6 - 2*r**2. Let i be c(6). Let x = -2 - i. Solve -m = -x - 0 for m.
5
Let x be (-2)/(-3) - (-2)/(-3). Suppose 2*b + 10 = x, -3*p - 4*b - 17 = -0*b. Solve -k + p = -1 for k.
2
Let w(l) = l**3 - 8*l**2 + 2*l - 10. Let a be w(8). Suppose -k - 2 = k - 3*d, 3*k - 5*d + 4 = 0. Let i be (-5)/k*(-8)/10. Solve -16 = i*j - a*j for j.
4
Let f = 5 - 3. Solve -f = -2*m - 4 for m.
-1
Let y(f) = f**3 + 7*f**2 + 6*f + 3. Let p be y(-6). Let c(u) = 3*u - 4. Let l be c(p). Let x(i) = 5*i**2 - 2*i - 1. Let j be x(-1). Solve l*k + j = 26 for k.
4
Let h(y) = y**2 + 5*y - 6. Let u be h(-5). Let b be 1 + 3 + u/2. Solve b = -5*n - 4 for n.
-1
Let d be 2/3*(4 - 5/(-10)). Solve 5*y + d = -17 for y.
-4
Let o = 15 - 11. Suppose 4*l - 4*x - 33 + 9 = 0, 5*l = 2*x + 39. Solve -l*k = -o*k for k.
0
Let d(q) = 8*q. Let t be d(1). Let c = 8 - t. Solve 3*i + c = -9 for i.
-3
Let d be -2*12/(-32) + (-3)/4. Solve 25 = -d*g + 5*g for g.
5
Suppose x - 23 = -2*j, 4*j - 2*x = x + 21. Solve n = 4*n + j for n.
-3
Let p = -8 - -11. Let t = 5 - p. Suppose t*m + m = 30. Solve -r - m = r for r.
-5
Suppose 2*t + k = 3*t - 5, 0 = 2*t - 5*k - 7. Suppose 4*m - m + t = 0. Let z be -5*(m + (-6)/(-5)). Solve 5*u - 4*u = -z for u.
-4
Let s(o) be the first derivative of o**3/3 - 2*o + 2. Suppose 0 = -2*u - z - 8, 4*z - 9 = -u - 27. Let k be s(u). Solve k*g = -3*g - 20 for g.
-4
Let g be 16/(-4)*(0 - 3). Let l(y) = y**2 + 6*y + 3. Let a be l(-6). Solve -p + g = a*p for p.
3
Let d = -4 + 8. Solve z + d = -z for z.
-2
Let a(i) = i**2 - 6*i - 2. Let f be a(5). Let z = -6 - f. Let s be (-14)/(-4) - (-2)/(-4). Solve s*o - 2*o = z for o.
1
Let b(g) = 2*g + 70. Let q be b(-29). Solve 5*u + q = 2*u for u.
-4
Suppose 5*u - 4*w - 70 = 0, 0*u = -2*u - w + 15. Let b = u - 6. Suppose b*c = -c + 25. Solve 6 = c*y + 26 for y.
-4
Let w be (1/(-2))/((-3)/12). Suppose -7*x - 4*i = -w*x - 45, 4*x - 5*i + 5 = 0. Let z = -2 - -2. Solve -5*h + x = -z*h for h.
1
Let c(r) = -r - 8. Let b be c(-6). Let z be b + -1 + 10/2. Solve 2*n + z = -0*n for n.
-1
Let q = -41 + 46. Solve 0 = -3*b + q*b for b.
0
Suppose 3 = -2*i + p, 5*i - 3*p + 7*p + 40 = 0. Let x = 6 + i. Solve -2 = x*k - 4 for k.
1
Let f be (2/4)/(1/(-8)). Let p = f + 7. Solve p*q + 0*q - 3 = 0 for q.
1
Let w = -23 + 32. Suppose 3*p = -0*p + w. Let i be 2*(-1 + 2) + -1. Solve p*g + i = -8 for g.
-3
Let z be (-27 + -3)*4/10. Suppose 0*u = -3*u - 51. Let c = z - u. Solve -3 = k - c for k.
2
Suppose 2*m = -2*l - 18, -5*m - 3*l - 5 - 30 = 0. Suppose -5*g + 68 + 2 = 0. Let z be m/g + (-23)/(-7). Solve -z*p + 14 - 2 = 0 for p.
4
Suppose s + 4*s - 25 = 0. Suppose 0 = s*r - 2*r - 6. Solve -r*t - 2*t = -16 for t.
4
Let g = 3 - -1. Let a = g + -3. Solve -3*z - 2 = a for z.
-1
Let p = 112 + -110. Solve -p*s + 0 = -2 for s.
1
Let j(h) = 4*h + 1. Let w be j(-1). Let a be 3/((-6)/4)*-2. Let i = a + w. Solve -16 = 3*l - i for l.
-5
Let f(i) = 9 + 7*i - 4 + 2*i + i**2 + 6. Let v be f(-8). Solve v*a = -a - 4 for a.
-1
Let c = -13 - -25. Suppose -3*h + c = 3. Solve 0*m - h = m for m.
-3
Let k = -3 + 15. Solve -5*z + 2 - k = 0 for z.
-2
Suppose 12 + 4 = -4*p. Let d(q) = 2*q**2 + 5*q + 1. Let s be d(p). Let k = -8 + s. Solve -k*n - 1 - 4 = 0 for n.
-1
Let l be ((-2)/2)/((-3)/6). Suppose -b = 2*b. Let f(a) = -a**3 - 2*a**2 - 2*a. Let w be f(-2). Solve -w*u + 2 + l = b for u.
1
Let j = -84 + 84. Solve 0 = 2*b - j + 2 for b.
-1
Suppose -t + 1 = -4*x, 2*x = -2*x + 8. Solve 5*k + 4 = t for k.
1
Suppose 0 = -2*o + 6*o - 16. Solve -3*j = 1 - o for j.
1
Let t = 1 + -1. Suppose -c + 0*c = 3. Let v = t - c. Solve 3*l - 4*l + v = 0 for l.
3
Suppose 3*b + b = z - 60, 0 = 2*b + 2*z + 30. Let m = -62 - -40. Let y = b - m. Solve 0 = 2*k - y*k - 5 for k.
-1
Let m be 1*-2 + (-4)/(-2) + 7. Solve -5*n - m = 3 for n.
-2
Let t = 7 + -5. Suppose t*x + 0 - 4 = 0. Solve -x*h - 4 = -h for h.
-4
Suppose 5*w = 2*s - 3*s + 1, -3*w = 5*s - 27. Suppose 0 = s*t - 2*t. Let a = -21 - -29. Solve l + l - a = t for l.
4
Suppose -2*m = -0*d + 5*d - 12, -8 = -3*d - m. Let k be (2 - 1)/1 + 2. Solve d*a + k = -1 for a.
-1
Let w = 25 + -21. Solve h + 0 + w = 0 for h.
-4
Let i be ((-2)/(-6))/(3/45). Solve 3 + 2 = -i*n for n.
-1
Let s be 2 + 5/1*(-4)/(-10). Solve 5 = -s*q - 11 for q.
-4
Let q = -11 - -16. Let y = -4 + q. Let r be 2*y + -3 + 5. Solve r*n = -3 - 1 for n.
-1
Suppose 3*r + 5*q = 34, 5*q = 3*r + 2 + 14. Suppose -12 = -r*s + 2*o, -6*o + 3*o = 0. Let v = 28 + -13. Solve -5 = -s*t + v for t.
5
Suppose -2*j = -j + 6. Let q = j - -10. Solve 5*f = -q + 29 for f.
5
Let i be 3 - (18/(-3))/(-2). Let v(s) be the first derivative of s**3/3 - 3*s**2/2 + 2*s + 4. Let n be v(2). Solve i = -5*g - n*g + 20 for g.
4
Suppose -3*i + 44 = 4*v, 58 = 5*i + 2*v - 3*v. Suppose -i = -2*l - 0*l. Solve -2*x - l = -4*x for x.
3
Let m(t) = -t**2 + 2*t + 3. Let q be m(3). Let x be q - (3 - 3)/3. Solve x = -4*h + 1 + 3 for h.
1
Let i(l) = 2*l - 8. Let n be i(5). Suppose 2*w = 3*w. Let c = n + w. Solve 2*s + c = -2 for s.
-2
Let q be (-25)/(-15)*3 + 3. Solve -6*t = -4*t + q for t.
-4
Let w(p) = -p**2 + p + 1. Let i be w(1). Let a be i/(24/(-26) - -1). Suppose -3*j + a = -5. Solve -j*f + 16 = -2*f for f.
4
Let r be -5*(8/5 + -2). Suppose 5*d = r*g - 7*g + 25, -4*g = 2*d - 14. Suppose 5*p - 32 + 2 = -5*y, 0 = 5*p + 3*y - 28. Solve 1 = -g*v - p for v.
-3
Suppose -4 = -4*q + 4. Let z = -9 - -3. Let t(x) = x**3 + 5*x**2 - 5*x + 8. Let p be t(z). Solve -q*o - p = -4*o for o.
1
Suppose 5*s - 4*s = 1. Let a be 0/4*s*1. Solve 3*v - v - 2 = a for v.
1
Let r be 3/6*-4 - -5. Solve r = 4*z - 5 for z.
2
Suppose -2*t - 12 = -4*l, -3 = -5*t + 2*l - 1. Suppose -1 = -t*f + 11. Solve -f = 2*g + 2 for g.
-4
Let s = 0 - -4. Solve -s*w - 9 = -w for w.
-3
Let p = -33 - -41. Solve -c + 5*c - p = 0 for c.
2
Let d = 4 + 0. Let u be (-4)/(-3)*6/d. Solve a = -a - u for a.
-1
Let o(m) = -m**3 - 3*m**2 + m - 8. Let j be o(-4). Solve j*u = -0*u for u.
0
Suppose 4*u = -u - 3*o + 34, -3*u + 4*o + 3 = 0. Suppose 0 = 3*x + 3*c + 24, -18 = 5*x - 3*c - 2. Let s = -2 - x. Solve u - s = r for r.
2
Suppose 2*l + 2*l - 12 = -2*i, 0 = 2*i - 5*l - 3. Solve -i*d = -9*d for d.
0
Suppose 5*r = 10, -5*q = -2*r - 4 - 2. Solve q*a = -2*a + 12 for a.
3
Suppose -2*k + 7*k - 25 = 0. Suppose -3*j + 24 = 2*j + h, -15 = -2*j + k*h. Suppose 3*g - 4 = x - 2*x, -5*g + x = 4. Solve g*o - j*o = -20 for o.
4
Let x(k) = -2*k**3 - 9*k**2 - 5*k + 2. Let f be x(-4). Solve 2*a - 2 = -f for a.
-2
Suppose 13 + 3 = 4*w. Suppose 0 = i - w. Solve -2*l + i = 14 for l.
-5
Let p be 20/6*(1 - -2). Let d = p - 10. Solve 0 = s - d*s + 4 for s.
-4
Let x(n) = n - 12. Let z be x(6). Let t(y) = -y**2 - 8*y + 5. Let v(r) = -r**2 - 9*r + 6. Let q(s) = 3*t(s) - 2*v(s). Let c be q(z). Solve c*m - 3 = 3 for m.
2
Let y be (-2)/3*(-6 - 0). Suppose 0 = y*k + 16, -2*q = -5*q + 3*k + 12. Let m be (8/10)/((-3)/(-30)). Solve q = 4*x - 4 - m for x.
3
Let x(k) = 7*k - 102. Let v be x(16). Solve -5*o + 0*o = -v for o.
2
Let i(v) = -3*v**3 - 3*v**2 - 2*v - 4. Let w be i(-2). Solve w = -3*o - 3 for o.
-5
Suppose u + 2*o + 2*o - 14 = 0, 2*o - 16 = -5*u. Solve u = -0*l + l for l.
2
Let a be (9/(-6))/((-4)/8). Solve -14 = -a*n + 1 for n.
5
Let a = -35 + 35. Solve 2*v + a*v = -10 for v.
-5
Let d(m) = -m**2 + 2. Let y(s) = -2*s**2 + 3. Let u(j) = -7*d(j) + 5*y(j). Let z be u(-1). Let l be 8/(1/((-2)/z)). Solve 2*c - 4 = -l for c.
-2
Let w(x) be the third derivative of -x**6/120 + x**5/60 - x**4/24 - x**3/6 - 3*x**2. Let q be w(-1). Solve q*d + 8 = -2 for d.
-5
Let q be 10/15*(-2 - (-13)/2). Solve q*k = -7 - 2 for k.
-3
Suppose 6*k - 14 = 10. Solve 0 = -u - 0 - k for u.
-4
Let y be 24/(-20)*10/(-3). Suppose 2*o - 3*w = 31, -5*o - 37 = -y*w - 125. Solve -x = 3*x + o for x.
-5
Let s = -54 + 61. Let k(i) = 20*i + 4. Let t(r) = -7*r - 1. Let y(j) = -5*k(j) - 14*t(j). Let b be y(-5). Solve -13 - s = -b*h for h.
5
Let a(w) = -w**3 + 14*w**2 + 16*w - 11. Let k be a(15). Solve z + 10 = -k*z for z.
-2
Let p = -48 - -48. Let f(u) = 2*u**3 + 2*u**