lve 2*j + h*j - 16 = 0 for j.
4
Let w be 1*(-2)/4*2/(-1). Suppose -2*m + 2 = 0, 5*p - 34 = -2*m + 3*m. Solve -p = 4*r + w for r.
-2
Suppose 5*c - 2*x + 20 = 0, -2*c = -c + 2*x + 4. Let u be (2 + 11/c)*-20. Suppose -k - 2*k + u = 0. Solve -15 = 4*n + k for n.
-5
Suppose 2*m = o - 6, 4*o + 5 = -2*m + 9. Solve -o*d + 6*d = 0 for d.
0
Let s(v) = 2*v**2 - 10*v - 9. Let d be s(6). Solve d*g = -2*g - 15 for g.
-3
Suppose -3*q + c + 26 = 0, 5*c + 34 = -3*q + 6*q. Let l = q + -8. Solve -z - 2 + 5 = l for z.
3
Suppose 2*o - 5 = -3*o. Suppose 0 = h - o - 3. Solve 3*g - 2 = h*g for g.
-2
Suppose -4*x + 2*x = -3*l + 8, -x = -l + 3. Let i(v) be the first derivative of v**4/4 + v - 1. Let r be i(x). Solve r = 3*g + 13 + 2 for g.
-5
Let d be (-34)/(-4) - 30/(-20). Let m be 4/(-6) + 11/3. Suppose m*l = -2*l + d. Solve l*g + g + 6 = 0 for g.
-2
Let q be 1/2*(-8)/(-1). Suppose -y = -q*y + 9. Solve y*k - 5*k + 8 = 0 for k.
4
Suppose -4*o + 18 = 2*o. Solve -o*g - g = 0 for g.
0
Let s = 26 + -6. Solve s = -3*n - n for n.
-5
Let x(z) = -z**3 - z**2 + 2*z. Let c be x(-2). Solve 4*k - k = c for k.
0
Suppose 0 = 5*s - 69 - 6. Suppose 2*a - 45 = -s. Solve -5*z + 10 = -a for z.
5
Let y(l) = 4*l - 28. Let q be y(8). Solve 2 + q = -2*s for s.
-3
Suppose 2*w = 6 + 6. Solve 2*i - w = 4*i for i.
-3
Suppose q = -4*q + 15. Suppose 0 = q*n - 3*y - 44 + 8, 5*n - 3*y = 54. Let a = 13 - n. Solve -a + 2 = -d for d.
2
Suppose -26 = -4*y + 10. Let l = 24 + -30. Let w = l + y. Solve -w*z = z + 8 for z.
-2
Suppose 0*l - 4*l + 8 = 0, -b + 4*l = 6. Suppose s - 25 = -3*r, 0 = -b*r - s + 2*s + 15. Let q(x) = 2*x - 4. Let z be q(3). Solve -z*c - r = 2 for c.
-5
Let w be 24*(-1 - 9/(-6)). Let f = 0 + 2. Suppose 3*l + 1 = -f*k + 3, 2*k = -5*l + 2. Solve l = 4*s - 8*s - w for s.
-3
Suppose 0 = 4*x - 27 + 3. Solve 0 = -2*k + x*k for k.
0
Let t(b) = 3*b + 1. Let w = 4 - 3. Let z(r) = 2*r - 1. Let h be z(w). Let l be t(h). Solve -8*a - 4 = -l*a for a.
-1
Suppose -4*q + q = -4*n - 15, -8 = q + 3*n. Solve -3 + q = 2*f for f.
-1
Let b(f) = f**3 - 5*f**2 - 4*f - 5. Let i be b(6). Let y = i - 7. Solve 15 = -3*s - y for s.
-5
Suppose 2*r - 54 = -2*r - j, 45 = 3*r + 3*j. Solve 0 = -4*g - r + 1 for g.
-3
Let x(p) = p**2 - p. Let y(j) = j**3 - 12*j**2 + 7*j - 4. Let f(h) = 4*x(h) + y(h). Let z be f(8). Solve -5*o + o = -z for o.
5
Let a be 17 + -4 - 2 - 0/1. Solve 1 - a = 5*u for u.
-2
Suppose g + 2 = 2*w, -w + 9 = 3*g - 2*w. Suppose -g*h + 0*q = 3*q + 3, 4 = 5*h - 4*q. Let o = -2 - -18. Solve h = 3*y + y - o for y.
4
Suppose -2*w - j = w - 1, -5*j = w + 23. Suppose v - 5*c - 16 = 0, v + 5*c + 12 = -w*v. Solve 4 = 3*m + v for m.
1
Suppose 3 = -2*c - 3*i, -c + 4*c = -i + 6. Suppose -c*h + 2 = -h. Solve 0 = -3*a - h - 5 for a.
-2
Suppose -q + 2*p - 1 = -5, 4*p + 8 = 3*q. Let j be -1*(-2)/(2 - q). Let x be 1 + j - (-3 - -5). Solve -8 + x = -2*u for u.
4
Let o(g) = -g + 4. Let j be o(3). Let t be 1 + -1 - (-3 - j). Let f(v) = 6*v - 29. Let s be f(5). Solve t - s = k for k.
3
Let m be 1/(4/(-3))*-4. Suppose -16 = 3*z - 4*o + 16, m*o - 31 = 4*z. Let b be -1*z/(-3)*-3. Solve 0 = b*t + 12 for t.
-3
Let y be -1*5/((-15)/12). Solve -y*u + 8*u + 16 = 0 for u.
-4
Let f(p) = -p**3 - 3*p**2 - 3*p - 1. Let i be f(-2). Solve -i - 1 = -2*v for v.
1
Let u(v) = -v - 11. Let j be u(-11). Solve 6*l - 2*l - 20 = j for l.
5
Let r(s) = -s - 1 + 3 + 4. Suppose -3*j - j = -12, -2*m + j + 9 = 0. Let z be r(m). Solve z = b - 2 + 4 for b.
-2
Let c be 1/(-1 + 18/15). Let h = c - 3. Let v = 3 + 0. Solve -h*l = -v*l for l.
0
Suppose -5*n - 59 = -4*r - 18, 2*r - n = 13. Suppose 2 = -r*y + 10. Solve 2*l = -0 - y for l.
-1
Let o(y) = -y**2 + 5*y - 1. Let l be o(5). Let u(m) = -m - 1. Let n be u(l). Solve -3*w + n*w = 0 for w.
0
Suppose 7*z = 2*z. Solve 0 = 3*w + 9 - z for w.
-3
Let l be (-25)/(-2)*(7 - 9). Let s be (40/l)/(4/(-10)). Solve -s*x - 6 = 14 for x.
-5
Let l(j) be the third derivative of -5*j**4/24 - j**3/2 + 3*j**2. Let c be l(-2). Solve 3*k = c*k - 20 for k.
5
Let d(j) = j**3 - j**2 + 3*j - 5. Let u be d(2). Solve -18 = -u*x + 2 for x.
4
Suppose 2*q = -0*q + 18. Solve 4*g - 25 = -q for g.
4
Suppose k - 2*b + 2 = -3*k, -1 = -3*k + b. Let z(l) = -l**3 - 5*l**2 - l - 4. Let f be z(-5). Let d be (f/3)/(6/90). Solve k*w - 1 = d for w.
3
Suppose 5*a = -0*a + 30. Let q(t) = a*t + 0*t**2 - 2*t - t**2. Let u be q(3). Solve u*g + 3 = -0*g for g.
-1
Let l(i) = -4*i. Let m be l(-1). Solve -5*a + 19 - m = 0 for a.
3
Suppose -4*d = -3*d - 29. Solve -9 + d = 4*i for i.
5
Let y(o) = -o**3 - 4*o**2 + 11*o - 3. Let p be y(-6). Let a(w) = 6*w - 9. Let v be a(p). Solve 0 = 5*z + v + 16 for z.
-5
Let o(l) = -l**3 - 18*l**2 + 8. Let y be o(-18). Let a = 10 - -10. Solve -y*i = -3*i - a for i.
4
Let j = 4 - 1. Let r be 31/3 + (-1)/j. Let k be (-4)/r + (-154)/(-10). Solve 5 = 4*w - k for w.
5
Let h(j) = -j**2 + 10*j. Let l(y) = -7*y**3 + 2*y**2 - 1. Suppose -6 = 2*z, 3*z + 13 = -3*f + 1. Let g be l(f). Let w be h(g). Solve -3*c = c - w for c.
4
Suppose -2*s = -5*s + 12. Let k = -4 + s. Suppose -r + 15 + 4 = k. Solve 3*a + 4 = r for a.
5
Let f be -4*(-2 + 0/3). Suppose 5*z - 18 = b - 0*b, b + 3*z - 14 = 0. Solve 0 = -b*s + f - 2 for s.
3
Suppose -4*m - 6*l + 4 = -2*l, 0 = -m - 2*l. Solve -3 = -m*u + u for u.
3
Let u(t) = t**2 - 5*t. Let h be u(5). Let o(b) = 7*b - 31. Let f(s) = 11*s - 46. Let l(q) = 5*f(q) - 8*o(q). Let n be l(h). Solve -5*r = -n - 2 for r.
4
Suppose 0 = -3*r + 4 - 10. Let a be 4 + 1 + 1 + r. Solve -4*x + 0 = a for x.
-1
Suppose -2*v + 12 = -g, v + 2*v = -3*g. Suppose 0 = 3*h - h - v, s + 2*h = 14. Solve -2*z = -7*z + s for z.
2
Suppose -8 + 3 = -5*w. Let s be 3*(w/(-3) + 1). Solve 4 = s*j + 2 for j.
1
Let z be (6/2)/(21/77). Let r = z - 6. Solve 0*w = -r*w + 15 for w.
3
Suppose 4*s - 5*s - 25 = -5*o, 4*o = 5*s - 1. Suppose 0*b - 3*b + 6 = 0. Solve 0*c + b*c = o for c.
3
Let k(m) = m**2 - 8*m - 9. Let s be k(9). Solve s*j - 2*j = 8 for j.
-4
Suppose 2*b = -3*b. Suppose -3*h + h = 4*d, -4*h + 5*d + 13 = b. Solve -5*y - h = 3 for y.
-1
Let a(i) = -i**3 - 4*i**2 - 4*i + 1. Let x(j) = -3*j**3 - 11*j**2 - 11*j + 2. Let p(o) = -8*a(o) + 3*x(o). Let y be p(-2). Solve y = 4*k + 12 for k.
-2
Let i(s) = 2*s**2 + 2*s - 2. Let t be i(2). Solve -4*u + t = u for u.
2
Let k = -10 - -14. Suppose 5*f - k*f = 0. Suppose -3*u + 4*x = -49, -x = x + 2. Solve -5*w - u = -f*w for w.
-3
Let b = -7 + 7. Let l be (b + -2)/(-2) - 1. Solve l = -u + 3*u - 6 for u.
3
Suppose 15 = 3*v + 3*y, -8 = -4*v + 3*y + 26. Let c = -4 + v. Solve w = -c*w + 8 for w.
2
Let j be (-2)/(-7) - 32/14. Let n(l) = 2*l**2 + 2*l + 2. Let x be n(j). Suppose 2*b + 0*b - x = 0. Solve p = b*p for p.
0
Let r be (-2)/(-3) - 13/(-3). Suppose 4*n + 15 = w, w - 7 - r = 3*n. Solve 1 = -w*i + 10 for i.
3
Let y(s) = 2*s**2 + 9*s + 7. Let u be y(-6). Suppose p - u = -4*p. Solve -p*m + 9 = 34 for m.
-5
Let i(n) = -1 + 1 - n**2 - 4 + 3 - 4*n. Let g be i(-3). Suppose 4*c - g*c = 0. Solve 0 = -c*a - 5*a - 15 for a.
-3
Let m be ((-6)/(-45)*-3)/((-1)/10). Solve -m*f = f for f.
0
Let n = -8 - -7. Let g = n - -3. Solve -2*y + g = -3*y for y.
-2
Let d = 155 + -155. Solve d - 2 = -x for x.
2
Let y(z) = z**3 - 8*z**2 + 3*z + 9. Let p(k) = k**3 - 8*k**2 + 2*k + 8. Let r(n) = -4*p(n) + 3*y(n). Let u be r(8). Solve -u*x = -x + 4 for x.
-2
Suppose 2*h = 2*x - 4, 0 = 2*h + 3*x - 21 + 5. Let n be (-2 + h)*(-3)/(-9). Solve n = y + 2*y for y.
0
Let d(v) = v**2 - v. Let i be d(1). Let t be i + -2*(-9)/6. Let c(x) = x**3 - 4*x**2 + 3*x + 3. Let h be c(t). Solve h*l + 0*l + 9 = 0 for l.
-3
Suppose c = 4*i + 6, 0 = -5*c - 0*i + i + 11. Solve 0 = -5*j + c*j for j.
0
Let z be 3*(2/(-6) + 1). Let g(r) = -10*r + 86. Let u be g(8). Solve 4*d = u + z for d.
2
Suppose 0*j + 2*j - 152 = 2*z, 0 = 3*j. Let s be 1/(-3) - z/12. Solve w = s*w for w.
0
Suppose 1 = 4*f + 3*y + 5, -2*f - 2 = -3*y. Let j be (f - -1)*(-1 + 2). Suppose -3*c + 3 = -j*c. Solve 0 = -4*a + 9 - c for a.
2
Let r be (-2)/1 - (-4 + -3). Solve -s = -2 + r for s.
-3
Let q(v) = v**3 + v**2. Let n be q(-1). Suppose 4*i + 2 - 6 = n. Solve -7 = 2*x - i for x.
-3
Let i = -42 + 48. Solve -i = -o - 2 for o.
4
Let x(z) be the second derivative of z**5/20 + z**4/3 + z**3/6 + 5*z**2/2 - 3*z. Suppose 4*l = 2*l - 8. Let b be x(l). Solve -2*q - 3 = b for q.
-2
Let s(h) = h**2 