 = 0*j**2 + j + 6*j**f - 3 - 5*j**2. Let w be s(-3). Solve -w*b - b = 0 for b.
0
Suppose 3*l - 6 = -0*l. Suppose -15 = -l*w - w. Solve w*u - 3*u = 6 for u.
3
Let s = -69 - -72. Solve s*x + x = 8 for x.
2
Let z(y) = 2*y**2 - 28*y + 2. Let p be z(14). Solve 0 = 5*r - p + 7 for r.
-1
Let c(z) = -z**3 - 7*z**2 - 4*z + 24. Let s be c(-6). Solve 7*v = s*v for v.
0
Suppose 0 = -r + 2*t + 2 + 1, 0 = t + 1. Solve -2*z = r + 3 for z.
-2
Let y be (-2)/(-2) + 2 + 1. Suppose 5*b = -3*l, 2*l - 22 = y*b - 0. Let s = b + 3. Solve -4*v + 5*v - 3 = s for v.
3
Let o be 1 + -1 - 1*(-1 - 2). Solve 5 = o*r - 10 for r.
5
Let a(p) = -p**3 + 2*p**2. Let b be a(0). Solve b*f = 3*f for f.
0
Let v = 11 - 5. Suppose -5*h + 2*h + v = 0. Solve 2*o + h*o - 16 = 0 for o.
4
Let w be 3 + -2*(-13)/2 - 4. Solve -5*h = -2*h - w for h.
4
Let l = -5 - -7. Let m be ((-1 + 0)*2)/(-2). Let v be (-3)/((2 + -3)*1). Solve l*d - v = m for d.
2
Let u = 6 + -2. Suppose 3*v + 0*v = u*i - 9, i = -v - 3. Solve i = -5*x + 3 - 13 for x.
-2
Let u(o) = -o**2 + 9*o + 12. Let f be u(10). Solve f = -5*h - 3 for h.
-1
Let m(f) = f**2 - 5*f - 3. Let u be m(6). Suppose -c - 47 = -5*z + 32, -4*c + 59 = 5*z. Suppose 4*i = -0*i + 12. Solve u*r = -i + z for r.
4
Suppose -2*c + m - 55 = 0, 4*m + 15 = -2*c - 15. Let u = c - -27. Solve -u*x = 1 + 1 for x.
-1
Let n(h) be the first derivative of h**2/2 - 7*h - 1. Let k be n(7). Solve k*r = -4*r for r.
0
Suppose 7*c + 14 = 56. Solve -12 = -c*s + 2*s for s.
3
Suppose -4*k + 4 = -5*r - 1, -2*k = -3*r - 3. Solve -6 = -k*u - 3*u for u.
2
Suppose 0 = h + 4*h + 10. Let d be -1 - -11 - (1 - h). Solve d*i = 2*i + 10 for i.
2
Let a = 2 + 1. Let i = a - -4. Solve -i*x + 2*x = 25 for x.
-5
Let l(v) be the second derivative of v**3/6 + v**2 + 2*v. Let p be l(2). Suppose -12 = -p*h - 2*m, 3*m + 3 = 9. Solve -4 = j - h for j.
-2
Suppose -3*f + 2*v = 3, 0 = -5*v + 9 + 6. Let z be (-3)/f - -3 - -2. Solve -z - 2 = l for l.
-4
Let o = -104 + 109. Solve o*w - 7*w = 6 for w.
-3
Let b(g) = -g**2 + 8*g - 8. Let a be b(6). Solve a*c + 0*c - 4 = 0 for c.
1
Suppose -4*o - 2*r + 3*r = -26, -o + 3*r = -1. Let t(v) = -v**3 - 5*v**2. Let k be t(-5). Suppose -10 = -4*s - s, -3*q + 2*s + 20 = k. Solve 5*h + o = -q for h.
-3
Let y = 1 + 7. Suppose 4*w = 3*f - y*f - 8, 5*f - 5*w = 10. Solve f = -c + 3*c for c.
0
Suppose -2*r - 12 + 0 = 0. Let n be 1*(-3)/(r/40). Solve -2*k = 3*k + n for k.
-4
Suppose h + 3 = 2. Let s be (1 + 0)*3 - h. Solve 0*v - v + s = 0 for v.
4
Let t = 46 + -44. Solve 1 = -t*f + f for f.
-1
Let w = 7 + -4. Suppose 0*j = j - 2. Solve p - j = w*p for p.
-1
Let p be (6 - -1) + (35 - 39). Solve p*o - o - 6 = 0 for o.
3
Let w be -2 - (3 + -2)*-5. Suppose -w*c + c + 2*p = 0, 0 = -3*c + p - 4. Let y be (-1)/(c/12*2). Solve 0 = -y*o - o + 20 for o.
5
Let h = -17 + 29. Suppose 0 = -5*x + 20, -2*n + 14 = 2*x. Solve -n*z + h = z for z.
3
Let h be 1/(-1) + -1 + 6. Suppose -4*y + 4*j - 48 = 0, -2*j = 2*j + 8. Let r = 14 + y. Solve -v + h*v = r for v.
0
Let l = 10 - 16. Let s be (-4)/l*(-18)/(-4). Solve s*c = 10 + 5 for c.
5
Let f be (-2)/5 + 4 + (-15)/25. Solve -f = -4*x - 19 for x.
-4
Suppose o + 2 = -3*z + 19, 3*z - o = 13. Solve -8 = -r + z*r for r.
-2
Suppose 3*a - 7*a + 2*n = -20, n = -2. Suppose 2*u + 0*q + 4*q + 6 = 0, q = -a*u + 23. Let s = -3 + u. Solve 0*v + s*v = -20 for v.
-5
Let y = -5 - -11. Suppose -2*m + 3*m = 3. Let c(z) = 16*z - 1. Let x be c(1). Solve x = m*w - y*w for w.
-5
Suppose 5*n = -12 - 8. Let g = 7 + n. Solve -g*b + 9 = -6*b for b.
-3
Let l(h) be the second derivative of h**7/420 + h**5/120 - h**4/4 - 2*h. Let c(t) be the third derivative of l(t). Let x be c(1). Solve -s = 6 - x for s.
1
Suppose b + 0 = -4*y + 2, -3*b = -4*y + 10. Let m(t) = -t**2 + 2*t - 1. Let u be m(y). Solve -4 = -4*z - u for z.
1
Let x = -1 - 17. Let g = -16 - x. Solve -5*a = -g*a - 9 for a.
3
Suppose -9 - 16 = -5*g. Suppose 0 = x + 3*x + 16, g*x = -y - 14. Solve -y + 0 = -2*k for k.
3
Let d(u) = 2*u**3 - 2*u**2 + u + 1. Let b be d(2). Let t be (-540)/(-66) - 2/b. Solve -t = -2*y + 6*y for y.
-2
Let v be -8*(-3 + -1)/8. Let y(o) = 3*o + 8. Let u(z) = z + 3. Let j(a) = -8*u(a) + 3*y(a). Let l be j(v). Solve 9 - 29 = -l*c for c.
5
Let g(l) = -5*l - 1 + 4*l - 1 - l**2 + 15*l. Let r be g(12). Suppose 0 = k - 4*b - 22, -4*b - 24 = -2*k - 0*k. Solve -4*x + k = r for x.
-5
Let h be (-1)/5 - 128/(-40). Suppose h*g - 25 + 10 = 0. Solve -2*p + 3 + g = 0 for p.
4
Suppose -107 - 29 = -8*c. Solve -1 = 4*i - c for i.
4
Let i(g) be the second derivative of 3/2*g**3 - 1/20*g**5 + 11/2*g**2 - 2*g - 7/12*g**4 + 0. Let m be i(-8). Solve -q - m = -2 for q.
-1
Let b(m) = 8*m. Let g be b(2). Let a = -16 + g. Solve -n + 6*n + 25 = a for n.
-5
Let n(r) = 4*r - 2. Let h be n(1). Suppose 117 = j + h*j. Solve j = 5*l + 14 for l.
5
Suppose 0*l = 5*l - 15. Solve r = l*r for r.
0
Let y be 0 + 1 + 10 + -11. Solve 5*n + 0*n - 20 = y for n.
4
Suppose 3*q - 2*k + 1 = 0, k - 1 = 4. Suppose 2 = q*m - 4. Suppose -w + 8 = -0*w. Solve -w = -6*t + m*t for t.
2
Let h(y) = -3*y - 10. Let u be h(-5). Suppose 5 = -u*n + 3*l + 2*l, -l + 3 = n. Let i be (-8)/((4/n)/(-2)). Solve i = -g + 2 for g.
-2
Let h be 0/(-1)*(-3)/6. Suppose 12 = -2*x - 0*x. Let w be (-40)/(-15) + x/9. Solve h = w*a + 2 + 2 for a.
-2
Suppose -5 - 5 = -2*n. Let z be 28/12 + 4/6. Let u = n - z. Solve -u = -5*l - 7 for l.
-1
Suppose a - d + 2*d - 83 = 0, -a + 83 = -5*d. Suppose -5*q + a = 23. Let f = q + -9. Solve -y - f = 2*y for y.
-1
Let m = -1 - 2. Let v = m - -4. Solve -v = -f + 3 for f.
4
Let i = -1 - 2. Let v be 1*(6 + -3) + i. Let u = -2 - -4. Solve v = -a - u*a for a.
0
Let w(q) = -q**2 + 8*q - 9. Let d = 0 - -6. Let f be w(d). Solve 0 = -3*k - f - 3 for k.
-2
Let s(r) = r**2 - 2*r - 69. Let v be s(10). Solve -7*m + v*m - 16 = 0 for m.
4
Suppose 0 = -2*j + j + 2. Suppose 2*g + 0*g - 45 = -5*r, -g = j*r - 19. Let c be (3 - -2)*(1 + 0). Solve 2*t - c = r*t for t.
-1
Let l(t) = -t**3 + 4*t**2 - t. Let x(o) = 2*o - 3. Let h be x(3). Let w be l(h). Suppose 3*r - 21 = -4*z, -7*r + 2*r + w = -3*z. Solve -m - r*m = 12 for m.
-3
Let q be (-11)/(-2) + (-2)/4. Suppose 0 = m + q*m. Solve m = -9*n + 4*n - 15 for n.
-3
Suppose 3*u + 20 = 7*u, -c - 5*u = -30. Solve -4 + 14 = -c*i for i.
-2
Let d be 230/70 + 4/(-14). Solve d*n + 4 = -2 for n.
-2
Suppose 2*m + 13 - 1 = -4*v, 5*m + 2*v - 10 = 0. Suppose 13 = -c + 2*c + 4*k, -m*k = -5*c + 17. Solve -c*o + 20 = -o for o.
5
Suppose -2*g + 4*g = -4*p - 38, 4*g - 4*p + 16 = 0. Let d be (-160)/6 - 6/g. Let y be 2/(d/30 + 1). Solve a = -2*a + y for a.
5
Let o(p) = -3*p**3 + 12*p**2 + 3*p + 12. Let y(i) = i**3 - 4*i**2 - i - 4. Let f(b) = -3*o(b) - 8*y(b). Let x be f(5). Solve -x = k + 3*k for k.
-4
Suppose 0 = j - 5*i + 5, -2*j - 4*i + 3*i + 23 = 0. Solve v + j = -4*v for v.
-2
Let k be (-1 + 1)*(-4)/8. Suppose 0 = 4*s - 3*s - 5*b + 15, k = -5*s + 4*b - 12. Solve -5 + s = -5*f for f.
1
Suppose -5*r + 0*r = 15. Let q be (1/3)/((-1)/r). Solve -q = -w + 3 for w.
4
Let i = 6 + -4. Suppose -5*z + 4*d = -i, -3*d - 14 = -4*z - 6*d. Let s be -2*(2 + -1) - -2. Solve s = 2*p - z for p.
1
Suppose 6 - 2 = 4*l, -2*l + 2 = 5*v. Let j be (-8 - v)/(-2) - -1. Solve m = -0*m + j for m.
5
Suppose -13*l + 20 = -8*l. Suppose 4*g = 4*f - l, -f = f - 5*g + 10. Solve -f*b = -10 - 5 for b.
3
Let h be (-2)/(-6) - 2/(-12)*-2. Solve 15 = -3*g - h*g for g.
-5
Let l = -11 + 15. Suppose 0 = l*i + i - 5. Solve i = 5*r + 6 for r.
-1
Suppose 0*s = s. Suppose s*f + f + 4 = 0. Let b be 1/f + (-66)/(-8). Solve -4*l = -4 - b for l.
3
Let m(t) = -t + 10. Let q be m(10). Suppose q*f = 3*f. Let w be 1/4 + (-69)/(-12). Solve w = -2*v - f for v.
-3
Suppose -2*b + 0*b = -6. Suppose -3*j = 0, 4*s = j + b + 1. Solve -s = a + 4 for a.
-5
Suppose 7*w = -4*k + 2*w + 20, -3*w + 12 = -3*k. Solve k = 3*y + 10 + 5 for y.
-5
Let o(r) = -4*r - 1. Let n(u) = u. Let i(z) = -6*n(z) - 3*o(z). Let d be i(2). Solve 4*g = 1 + d for g.
4
Suppose 8*d - 53 = 19. Solve 2*t - 1 + d = 0 for t.
-4
Suppose -16 = -5*j + 24. Solve 2*u = -j - 2 for u.
-5
Let x(s) = 0*s**3 - s**3 + 0*s**2 + 3*s**2 - 2*s. Let u = -11 + 13. Let k be x(u). Solve k = 3*a - 8*a + 15 for a.
3
Let b(v) = -v**3 - v**2 + 4*v + 2. Let f be b(0). Solve -15 + 5 = -f*l for l.
5
Let l(f) = f**3 + f**2 + 2. Let p be l(0). Let m be