9 - q = 3*s. Let n be h(s). Solve 3*y - n - 1 = 0 for y.
1
Let q = -1 + 6. Let u = 21 - 15. Solve -q*y + u = -4 for y.
2
Suppose 3*k + k + 5*n = 5, 0 = 2*n + 6. Suppose 0 = -k*b + 15. Suppose 4*s = -0*s + 5*o + 45, 5 = -o. Solve -b*m + s = -1 for m.
2
Let c = -155 + 178. Solve 4*z - 3 = -c for z.
-5
Suppose 4*w = a - 11, 0*w - 2*w - 13 = -3*a. Suppose -3*v + 3*b = -a, -2*v - 7 = -5*v - b. Solve -1 = -n + v for n.
3
Let i(z) = z**2 - 6*z + 3. Let x be i(6). Let f = -19 - -10. Let g = f + 10. Solve 2*v = -x + g for v.
-1
Suppose -4*m = -2*c - 8 + 2, -m + 6 = -2*c. Solve m*f - 15 = 3*f for f.
-5
Suppose -3 = 2*f - 11. Let l(r) = -r**2 + 11*r + 10. Let b be l(12). Let g be 0 + 3*(1 - b). Solve g = -f*c - 7 for c.
-4
Let x(w) = w - 2. Let j be x(7). Suppose j*k = k + 16. Solve 0*d + k*d = -16 for d.
-4
Suppose -37*s = -33*s - 16. Solve 5*w + 1 = -s for w.
-1
Let a be 3/(2 - 3/1). Let h(j) = -9*j + 3. Let l(s) = -5*s + 2. Let c(w) = 3*h(w) - 5*l(w). Let p be c(a). Solve -p*t = 2 + 3 for t.
-1
Let v(t) = -9*t**3 + 2*t**2 + t. Let l be v(-1). Solve -l = -0*j + 2*j for j.
-5
Suppose 5*a = -3*o + 25, 0*a - 3*a + 2*o - 4 = 0. Suppose 0 = -3*u - 3*y + 11 + 13, 4*u + 2*y = 22. Solve -u*g = -4*g + a for g.
2
Suppose 0 = 3*g, -6*k + 3*k + 9 = -4*g. Solve k*i - 5 = 4 for i.
3
Let d = -19 - -31. Let b = 3 + 2. Solve -d = b*x + 13 for x.
-5
Let c(i) = i**3 - 3*i**2 + 2*i - 3. Let m be c(3). Suppose -4*h + 2 = -6. Suppose -10 = -m*f + 2*q, -3*f - h*q + 0 + 14 = 0. Solve -f*d + 0*d = -20 for d.
5
Let w(j) = -j**2 + 4*j - 3. Let z be w(2). Let i = 4 + z. Solve i*k + 3 = -7 for k.
-2
Let c = -6 - 1. Let f = -7 - c. Let g(x) = -x**2 + 11. Let p be g(f). Solve -4*r = -3 + p for r.
-2
Let o be -2 - -17 - 0 - 0. Solve 5*v - 5 - o = 0 for v.
4
Let x(y) = y. Let c = 7 + 0. Let h be x(c). Solve -4*m - 15 = -h*m for m.
5
Let p(o) = o**3 + 4*o**2 - 3*o. Let s be p(-4). Solve 0*v - s = 3*v for v.
-4
Suppose -2 = 3*y - h, -3*y + h + 2 = 2*h. Solve 0*b - 4*b - 4 = y for b.
-1
Let q(f) = 2*f - 6. Let l be q(4). Let o(r) = r - 3. Let i be o(4). Solve -l*t - i = -t for t.
-1
Let j = 32 - 23. Solve 4 = -u + j for u.
5
Let m(s) = s**3 + 6*s**2 - 9*s - 10. Let j be m(-7). Solve 3*g - j = -g for g.
1
Let z(s) = -s**2 + 5*s - 4. Let f be z(4). Let l(h) = 0*h + 0 + 4*h + f - h**2. Let c be l(4). Solve c = 4*a + 3 + 17 for a.
-5
Let w(a) = -2*a - 10. Let p be w(-7). Suppose -p*l = -5*c - 20, -3*l + 10 = -l - c. Let h = -11 + 15. Solve -u + l = h for u.
1
Let j = 8 - 8. Suppose 2*w = 2*h - 6, -18 = -j*h - 2*h - 4*w. Let k be (2 + 6)*h/10. Solve 0*o = -k*o for o.
0
Let u be 7 - 3 - (-2)/(-1). Let m = 2 + u. Let x be 192/28 - 2/(-14). Solve x + 9 = -m*r for r.
-4
Suppose -4*a + 13 = 3*j, -a - j + 6*j = -9. Let i(c) = -c**2 - 25*c + 27. Let f be i(-26). Solve -a*b - 11 = f for b.
-3
Let t be ((-60)/2)/(-3) + 3. Suppose 2*c - c - 2*u = t, -3*c - u = -18. Solve 2*w - c*w = 20 for w.
-4
Suppose 5*c - 8*p - 26 = -4*p, 5*p = 3*c - 26. Suppose -3*s - 3*b - 5 = -26, 2 = -s + c*b. Solve 0 = -o + s*o + 6 for o.
-2
Suppose 5*a - n + 6*n = 35, -2*a = 5*n - 29. Suppose -40 = a*s - 7*s. Suppose s = 2*x - 5*d, -2*d + 8 = 2*x - d. Solve 0 = -c - x*c + 20 for c.
4
Let o = 7 + -1. Solve -o*w + w - 15 = 0 for w.
-3
Let g(d) = -d**3 - 4*d**2 - 4*d. Let m be (-1 + -2)/(3/(-2)). Suppose -4*f - 4 = -m*b + f, -5*f - 16 = 2*b. Let c be g(b). Solve c*z - 8 = 1 for z.
3
Suppose 12*f - 7*f = 0. Suppose 2*h - 16 = -f*y - 5*y, 5*h = -y + 17. Solve h*m + 3 = -6 for m.
-3
Let c(u) = u + 1. Let j be c(-1). Suppose -3*v + 4*b + 16 = j, 34 = v + 2*v + 5*b. Solve 2*y + v + 2 = 0 for y.
-5
Suppose -x + c = -2*c - 2, -2*c - 18 = x. Let p(q) = -q**2 - 10*q + 1. Let v be p(x). Suppose d + 4*o - 23 = 0, o - 4 = v. Solve l = d*l for l.
0
Suppose 8 - 36 = -14*l. Solve -3*c + l + 4 = 0 for c.
2
Let z(y) = y**2 - 4*y - 5. Let p be z(7). Suppose 14 = 5*u - p. Solve -2*s + u - 2 = 0 for s.
2
Suppose -2*h + 17 = h - 4*i, 5*h = -i + 13. Suppose -r + 0 = -4. Suppose -r*b = 3*q - 38, 0 = -5*q + b - 3*b + 40. Solve -q*p = -h*p - 9 for p.
3
Suppose -4*u + 54 = -3*d, 0*u + 54 = -3*d + 2*u. Let g = d + 30. Solve -5*v = -g - 8 for v.
4
Suppose k + 4*o + 12 + 2 = 0, 0 = 4*k + 2*o. Solve c = -k*c for c.
0
Let u(k) be the third derivative of k**5/30 + k**4/24 - k**3/3 - k**2. Let x(v) = v - 5. Let r be x(2). Let h be u(r). Solve 0 = 3*t + 28 - h for t.
-5
Let m be 1*(-5)/2*-2. Solve m*n = 4*n + 1 for n.
1
Suppose n - 12 + 7 = 0. Let j = 5 + -3. Solve -j*f + n = 3*f for f.
1
Let z(t) = 10*t**2 + 1. Let p(o) = o**3 + 5*o**2 + 5*o + 3. Let i be p(-4). Let f be z(i). Solve -f = 2*m - 3 for m.
-4
Let q(u) = u**3 + 8*u**2 + 5*u - 9. Suppose g + 7 = -0. Let x be q(g). Solve x*r - 3*r - 10 = 0 for r.
5
Let y(q) = -q**3 - q - 1. Let u(p) = p**2 + p + 4. Let f(g) = -u(g) - 3*y(g). Let z be f(1). Solve -z = 3*d - 15 for d.
4
Let o(k) = k**2 + 2*k + 3. Let y be o(-2). Solve -23 = 4*u - y for u.
-5
Let h be 2*(-2)/12*-3. Suppose j = 5 + h. Let o be (-10)/(-3) + (-2)/j. Solve -o*i = 2*i + 5 for i.
-1
Suppose 7*k - 2 = 5. Solve k = -f - 3 for f.
-4
Let y(p) = p**2 + 9*p - 10. Suppose -i - 30 = 2*i. Let f be y(i). Solve -3*z + 0*z + 9 = f for z.
3
Let j be -2 + (-2 + 3 - -1). Suppose -3*h - 2*a = -8, 2*h + 2*a + j*a - 8 = 0. Solve h*z + 3 = -z for z.
-3
Suppose 5*u + 13 = 3*w, 0 = -2*w - 4*u - 10 + 4. Let s(j) be the second derivative of j**4/4 - j**2/2 + j. Let t be s(w). Solve -6 = -b - t*b for b.
2
Let o be 22 + 3 + (-4 - -2). Let v be o/4 - 2/(-8). Suppose m - 2*s = 6, v*m - m = -s + 8. Solve -m = -0*j - j for j.
2
Let v(j) = -j**2 + 6*j + 4. Let w be v(6). Suppose 0 = 5*u - 4 - 11. Let h(i) = -i**3 + 5*i**2 - 2*i - 2. Let l be h(u). Solve w*p + p = l for p.
2
Suppose -29 - 13 = -7*l. Solve -l*c + 2 = -5*c for c.
2
Suppose 14 = r + 4*w, -r + 3*w + 3 + 4 = 0. Let m be (0 + (-1)/(-2))*r. Let l be 6/33 + (-141)/(-11). Solve -l = -m*j + 7 for j.
4
Suppose 2*y + 3*y = -2*a + 22, -2*y = 4*a - 12. Solve -b = y*b for b.
0
Suppose -2*r + 3*p + 18 = -16, 8 = 4*p. Solve -r = 3*g + g for g.
-5
Suppose -12 + 2 = -5*n. Suppose y = -2*c, -4*y - 9 - 3 = n*c. Solve 5*i = 27 - c for i.
5
Let o(f) = -7*f - 1. Let p = 6 - 7. Let w be o(p). Solve -2*g = -4*g + w for g.
3
Let i(z) = -z + 16. Let s = 18 + -6. Let c be i(s). Solve -l = -c*l + 6 for l.
2
Let o(g) = g**3 - 3*g**2 - 8*g - 1. Let b be o(6). Suppose 4*k = b + 157. Let i be 150/k + 2/9. Solve -i*w = w - 8 for w.
2
Suppose 2 = b - 1. Suppose -b*u = 26 - 86. Solve 5*i = i + u for i.
5
Suppose 14 = 76*v - 75*v. Solve v = -5*j + 4 for j.
-2
Let d = -26 + 12. Let s be 2/(1 + 10/d). Let r(w) = w**3 - 7*w**2 - w + 9. Let n be r(s). Solve 3*g - n = 10 for g.
4
Let b = 40 + -37. Solve b*w - 14 + 2 = 0 for w.
4
Let m = -6 + 11. Solve -m*o + 1 = 11 for o.
-2
Let r be (-21)/(-5) - (-2)/(-10). Solve -g - 3*g - r = 0 for g.
-1
Suppose -5*j + 12 = -2*j. Suppose 3*m = j*m. Solve -t + 5 + m = 0 for t.
5
Suppose 17*b - 15*b = 4. Solve b*y = y + 4 for y.
4
Let r(a) = -2*a**2 + a + 7. Let l be r(-3). Let x = 17 + l. Solve 5*o - x*o = -10 for o.
-5
Let o = -13 - -18. Solve -y - 12 = -o*y for y.
3
Let c be (3 + -3)*(-1)/2. Suppose c*j + 9 = 3*j. Solve -3*n - 6 = -j for n.
-1
Let s = 2 + -1. Let o(t) = t**3 + 3*t**2 - 2*t + 1. Let g be o(s). Solve g*i - 15 = -6 for i.
3
Let m be (-2)/12 + 31/6. Suppose 0*u = -m*u. Solve u = -f + 3*f + 2 for f.
-1
Suppose -5*x + 12 = -x. Let u be x/2 + 2/4. Let w be u + (-2 - 0) - 0. Solve w = 2*a - a + 1 for a.
-1
Let q = -22 - -24. Solve q*k = k - 3 for k.
-3
Suppose 3*v + 2*v + 60 = 5*j, -4*j + 5*v = -49. Let h = j + -15. Let s be (-3)/h*16/6. Solve 0 = -s*f - 11 + 5 for f.
-3
Let s be (-10)/(-14) + 18/63. Solve 2 = 3*c - s for c.
1
Let i(g) = -g**2 + 5. Let c be i(2). Solve -c = 5*k + 4 for k.
-1
Suppose 5*u - o - 129 = 0, 4*u + 5*o - 16 = 64. Solve 3*b = -2*b - u for b.
-5
Let y = 5 + -2. Let n be -3 + -1 + (-12)/(-1). Suppose -y*w + n = w. Solve -4*b + w = -2*b for b.
1
Let r(x) = -x**2 - 10*x. Let j be r(-10). Solve -b = -j*b + 4 for b.
-4
Suppose -9 = 16*f - 19*f. Solve 0 = f*h - h + 6 for h.
-3
Suppose 2*w = -0*w - 3*w. Solve 2*i - i + 3 = w for i.
-3
Suppose 0 = -5*b - 2*l - 70, 2*b + l = 4*b + 37. Let z = b - -16. Solve 0 = 4*o - z*o + 12 for o.
-3
Suppose 0*y + 6 = 3*y. Let q = y + -2. Suppose j