 = -s + 6. Suppose -3*d + d - 10 = -w, -2 = -2*w - 2*d. Let y be v(w). Suppose -6*u = -y*u - 16. Solve -1 = -3*x - u for x.
-1
Let z(n) = -n**3 + 5*n**2 + 7*n - 1. Let q be (-78)/(-14) + 3/7. Let d be z(q). Let o = -17 - -29. Solve d*j + o = j for j.
-3
Let a = 27 + -24. Solve -2*v + a*v + 3 = 0 for v.
-3
Let v(k) = 5 - 1 + 2 - k**2 + 5*k - 3. Let c be v(5). Solve -c*w - 5 = 10 for w.
-5
Suppose 2*r + 80 = 6*r. Solve -3*l - l = r for l.
-5
Let q(p) be the first derivative of -p**4/4 + 5*p**3/3 + 5*p**2/2 + 6*p + 3. Let d be q(6). Solve 0*y - 2*y + 8 = d for y.
4
Suppose 2*i - 3*a - 4 = a, -4*a + 4 = 0. Suppose 2*v - i*v = 0. Let k = 5 + v. Solve 2*u - 1 = k for u.
3
Let g(u) = -5*u - 8. Let m(h) = -h + 1. Let i(w) = -g(w) + 6*m(w). Let k be i(11). Solve k*y = -y for y.
0
Let q(j) = j**2 + 6*j + 7. Let h be q(-5). Let m be (-18)/(-10)*10/h. Solve 2*x + m = -x for x.
-3
Let u(f) = f**3 - 10*f**2 - f + 14. Let v be u(10). Suppose -13 = -v*d - 1. Solve 7*i - d*i = 8 for i.
2
Let i be (-34)/(-6) + (-8)/12. Let l be i/5 - -5*2. Solve -4*k + l = -1 for k.
3
Let u be (-4)/(-4)*(0 + -3 + 3). Solve -2*o = -10 - u for o.
5
Let y(m) = 3*m**2 - 2*m - 1. Let h be y(-2). Suppose -6*g + 135 = 21*g. Solve 2*p + h = g for p.
-5
Suppose 4 + 4 = 2*y. Solve -y*h = -9*h for h.
0
Suppose 0*k - 2*k + 10 = 0. Let w(u) = -u**3 + 4*u**2 + 7*u - 6. Let o be w(k). Solve -t = 1 + o for t.
-5
Let s = -32 + 34. Let l(x) = 4*x - 4. Suppose 5*y - b = 5 + 20, -3*y - b = -7. Let m be l(y). Solve z - m = -s*z for z.
4
Let h be (-5)/(-15) + (-10)/(-6). Let p be 24/2*(3 - h). Solve 5*x - p = 8 for x.
4
Let j = 1 + 0. Let h be -4 + 5 - -3*j. Let c be ((-16)/5)/(16/(-40)). Solve -h*n + 16 = -c*n for n.
-4
Let m = 7 - 5. Suppose -3*p + 2*p = -m. Solve -b - p*b + 3 = 0 for b.
1
Suppose -51 = -2*y - h, -y + 4*h - 84 = -4*y. Suppose y = -5*d - 11. Let f = d + 11. Solve -f*r - 25 + 9 = 0 for r.
-4
Suppose 2*c = 4*c - 6. Solve 0 = -c*h - 2*h + 20 for h.
4
Let v(h) = 7*h - 21. Let o(u) = -8*u + 21. Let r(y) = -6*o(y) - 7*v(y). Let n be r(9). Suppose -2*x = 4 - n. Solve -12 = -s + x*s for s.
-4
Let z(c) = -c**2 - c + 3. Suppose -3*y = 2*y. Let d be z(y). Let u(o) = o**2 - 3. Let f be u(3). Solve -d*w + f*w = 0 for w.
0
Let z(k) be the third derivative of k**5/60 + k**4/24 - 3*k**2. Let o be z(0). Suppose -5*u + o*u = 0. Solve -5*t + 4*t + 1 = u for t.
1
Let w = -110 - -113. Solve 2*o - 4 = w*o for o.
-4
Suppose 0 = -y - f - 4, -y - 2*f + 2 - 10 = 0. Solve 0 = -y*d - 4*d for d.
0
Let o(l) be the first derivative of l**3/3 + l**2 - 5*l + 3. Let x be o(-4). Suppose -x*z - 9 = 4*f, 5*f - 3*z + 6 = -5*z. Solve t - 4 = -f for t.
4
Suppose 3 = 7*r - 4*r. Let q = 1 - r. Solve q = 3*l + 4 - 1 for l.
-1
Let x(l) = 28*l + 1. Let o be x(1). Let n = -18 + o. Solve -2 = -3*c - n for c.
-3
Let j(z) = -5*z - 8. Let o be j(-7). Suppose 2 - o = -5*f. Solve f*i = -0*i + 20 for i.
4
Let g = 97 + -93. Solve -p - g = -5*p for p.
1
Let f be 4/(-20) + 41/5. Let c = f + -4. Suppose l + c*l = 0. Solve l = b + 4*b for b.
0
Let l(j) be the third derivative of -j**4/24 - j**3/2 - 2*j**2. Let d be l(-3). Suppose 2*h - 5*h = d. Solve c = -h*c for c.
0
Suppose 5*o + 0 = -p - 3, -3*p + 5 = o. Suppose -p*h + 25 = -h. Solve 2*w + 3*w = h for w.
5
Let m be -1 + 7 + -2 - -2. Suppose 0 = -4*l + i + m, -i = 5*l - 3*i - 6. Solve l*q - q - 5 = 0 for q.
5
Let a = 2 - 2. Solve a = 3*s + 1 + 5 for s.
-2
Let j = 18 - 12. Solve -j - 2 = -4*h for h.
2
Let u be 1 - (-7)/(42/30). Solve -4*t + 14 = -u for t.
5
Let h = -13 - -12. Let p(f) = 13*f**2 - f. Let y be p(h). Solve y = 3*g + 2 for g.
4
Let n(r) = -r**2 - 7*r - 5. Let x be n(-4). Solve -22 = -3*o - x for o.
5
Suppose 7*u = 4*u + 18. Solve 0*m - 2*m + u = 0 for m.
3
Let g = -21 + 26. Solve -m = -0 + g for m.
-5
Let o be (-1 + (-2)/(-3))*-6. Suppose j = 2*j. Solve j = -o*d + 2 - 0 for d.
1
Let d = 38 - 38. Solve l + 2*l + 3 = d for l.
-1
Let j = -4 - -7. Suppose 0*c - j = -3*c. Solve z + 4 = -c for z.
-5
Let v = -10 - -14. Solve v*q - q = 0 for q.
0
Let s be 4/(-6) - 8/(-3). Let l be 1 + (4 + -5)*-2. Suppose 4*u + 13 = 5*y, -l*y = -2*u - 10 + 1. Solve -s = y*p + 8 for p.
-2
Let u(g) = 5*g**3 - g**2 + g - 1. Let r be u(1). Suppose k + 0 = 5. Solve 0 = -r*j - j - k for j.
-1
Let f be (18*2/8)/((-3)/18). Let p(c) = -3*c**2 + 3*c + 1. Let r be p(3). Let v = r - f. Solve k = -k - v for k.
-5
Let z(r) = 2*r - 1. Let d(x) = x**3 - 2*x**2 - 2*x. Let h be d(3). Let g be z(h). Solve -1 = 4*i - g for i.
1
Suppose 0 = 4*z + 2*d - 20, 18*z - 5*d = 22*z - 14. Let n be (0 - 4/5)*-5. Solve -n*q + z = -2*q for q.
3
Let x be 12 - ((-4)/2 - -2). Suppose 2*s = 3 + 5. Suppose -s*n - 3 = -55. Solve -x = -5*b + n for b.
5
Let y be 2/(-4)*-4 + -4. Let q = -2 - y. Solve -2*o + 10 + 0 = q for o.
5
Let z = 29 + -26. Solve 0*i = i - z for i.
3
Suppose 2*s - 3*s = 2*g - 4, -2*s - 5*g + 9 = 0. Suppose s = 3*c - 19. Suppose 1 = b + y, -c*b + 2*b + 3*y - 3 = 0. Solve b = i - 0*i - 3 for i.
3
Let k(d) = d**3 + 4*d**2 + d. Let m be k(-2). Let c be -2 + 2/(m/9). Solve -c = s + 1 for s.
-2
Let o = -2 + 11. Suppose -5*y + 39 = -2*i, 2*y - 4*y + 4*i + 22 = 0. Let a(s) = -s**3 + 6*s**2 + 8*s - 4. Let j be a(y). Solve 2*h = o - j for h.
3
Suppose -8*r + 26 = -6. Solve r*z + 13 = -3 for z.
-4
Let k(a) = 9 + a + 1 - 1 - a**3 - 4*a**2 - 3*a**2. Let j be k(-7). Suppose j*n - 1 - 1 = 0. Solve -4*g = n + 11 for g.
-3
Let z = -61 + 61. Solve 4*h - 8 = -z*h for h.
2
Let w be (10/(-4))/(4/(-8)). Solve 0 = -w*t + 14 + 6 for t.
4
Let h = -1 + 2. Solve j + 2 + h = 0 for j.
-3
Let b be 432/44 + 12/66. Solve -b - 5 = -5*y for y.
3
Let a(n) = n - 1. Let m = 3 + -4. Let w be a(m). Let o be 1 - -1*(w - -3). Solve b = -b - o for b.
-1
Suppose -10 = 5*s - 10*s - 5*u, 2*s = -5*u - 2. Solve s*p - 2*p = 0 for p.
0
Let r(p) = -2*p**2 + 11*p + 8. Let d be r(6). Solve 0 = -3*g + 2*g + d for g.
2
Let r be 70/15 + 2/6. Suppose 0*i - r*i = -4*l - 8, 3 = 3*i - 3*l. Solve -s + i = -3*s for s.
-2
Let f be 1 + -2 - -1*10. Let s = -5 + 11. Let d = 9 - s. Solve -d*m + f = -0*m for m.
3
Suppose 2*b - 27 = -3*n, 10*n = -3*b + 5*n + 42. Let z(k) = 4*k**3 + k**2 - k + 2. Let f be z(-2). Let q be 4/(-6) - f/b. Solve q - 6 = h for h.
-4
Let f = 135 - 133. Solve -3 = -f*q + q for q.
3
Let t(o) = o**2 - 9*o + 18. Let g be t(7). Solve -g*j + 12 = -j for j.
4
Let t(a) = -a**3 + 8*a**2. Let m be t(8). Suppose -4*c - 9 = -5*c. Let z = -7 + c. Solve m = z*n - 7*n + 15 for n.
3
Let x = 2 + -10. Let s = x - -11. Solve -3 = s*j + 3 for j.
-2
Suppose -3*r = -4*r. Suppose 3*x - 1 + 8 = -i, -3*x = -4*i + 32. Solve i = 5*p - r*p for p.
1
Let l(f) = -f**3 - 11*f**2 - 8*f + 4. Let d be l(-10). Let w be 4/d + 3/12. Solve -4*c + 4 = -w for c.
1
Suppose f - 11 - 9 = -5*u, -2*u = -5*f + 19. Let t = 2 + 0. Solve -f = l - t*l for l.
5
Suppose 3 = 2*w + 11. Let p = w + 6. Suppose 3*b = 3 + 3. Solve -p*y = -y - b for y.
2
Let a = 2 - 1. Let b be (23/a - -3)/2. Let q = b - 4. Solve -20 = 4*o - q*o for o.
4
Let c(b) = 3*b + 19. Let a(f) = -4*f - 18. Let m(r) = 2*a(r) + 3*c(r). Let w be m(0). Solve 0 = -4*o + 1 - w for o.
-5
Suppose 2*i = -5*t + 50, -5*t - 6*i + 65 = -i. Suppose -8 = -2*z + r, -2*z + 5*r = -0*z - t. Solve z*j + 0 = 8 for j.
2
Suppose -5*d - 20 = -5*p, 5*p - 60 = d - 6*d. Let a = -2 + p. Let y be a*((-10)/6)/(-1). Solve -s = s + y for s.
-5
Let k(l) = -l - 5. Let r = -12 - -7. Let h be k(r). Suppose -5*d - 5*o + 4 + 21 = h, 0 = -d - 3*o + 11. Solve 0*a + 2 = d*a for a.
1
Let b be -14*-1*(-2)/(-4). Solve b*c - 2*c = 5 for c.
1
Let c(x) = x - 6. Let k be c(9). Solve -4*o + 1 = -k for o.
1
Suppose 0*k = -3*k. Suppose -2*u + k + 8 = 0. Let m be 18/u - 2/4. Solve r = -3 + m for r.
1
Let l be (3/2)/(63/84). Solve -3*g - l*g + 25 = 0 for g.
5
Let h = 6 - 8. Let g = h - -5. Solve -g + 4 = x for x.
1
Suppose 5 = -37*v + 42*v. Solve 2*s = s + v for s.
1
Let c be (-4)/14 - 1464/(-28). Suppose -3*w - 2*h + c = 0, 0 = -3*w + 5*w + 4*h - 24. Solve 4*p + p = w for p.
4
Suppose 5*i = -0*i + 15. Let z = -12 + 18. Suppose i*r + 2*n = -0 + 4, 3*r + 3*n - z = 0. Solve 4*p + 0*p = r for p.
0
Let g be 62/8 + 2/8. Let n be g/(-12) + 10/6. Suppose -5*u = -9 - n. Solve -u*w - 8 = 2 for w.
-5
Let x(d) = d**3 - 3*d**2 - 9*d - 5. Let p be x(5). Solve l = -p - 3 for l.
-3
Let d = -11 + 10. Let y = 