 -8 = -5*n + 7. Suppose -2*b + w = -6 - n, -w = 4*b - 3. Let l be (-1*2)/((-1)/3). Solve l*g = b*g + 12 for g.
3
Suppose -4 = -3*u + 3*d - 1, -3*d = 3*u + 9. Let k be u/2*48/(-6). Solve 0 = k*p - 0*p + 4 for p.
-1
Let h(d) = -6*d + 0*d**2 + d + d**2 + 0*d + 2. Let z be h(5). Solve -z*m + 3 - 11 = 0 for m.
-4
Let l = 5 + -7. Let d be 2*(-7)/l*-1. Let q be (18/(-4))/(d/14). Solve q = -0*z - 3*z for z.
-3
Let o be 2/(-5) + 54/(-15). Let i = 4 + o. Solve i = -3*g + 2*g + 3 for g.
3
Let b(f) = -f - 1. Let g be b(1). Let m be 3*2 - (g - -3). Let l = 9 - m. Solve l = -s + 1 for s.
-3
Suppose 3*g - 10 = -1. Solve 7*q + 20 = g*q for q.
-5
Let v(l) = l**2 + 4*l - 9. Let o be v(2). Let b(c) = -c**2 + 4*c + 3. Let s be b(5). Let k be (2 + -1)*(-2 - s). Solve k = -0*z + o*z - 15 for z.
5
Let t be 1*(-3)/(-3) - -3. Solve 14 = t*n - 2 for n.
4
Let b = -12 - -4. Let x(u) = u**2 + 7*u - 4. Let l be x(b). Solve -l*c = c + 15 for c.
-3
Suppose -4*b + 2*k = -0*k - 72, -3*b = -5*k - 61. Let i be 8/(-20) - b/(-5). Suppose 0 = -4*z + 2*z + 12. Solve -z = -s + i*s for s.
-3
Suppose 0 = 3*y - 17 + 2. Suppose 16 = -6*o + 4*o - 2*d, y*o = d - 22. Let q = o + 9. Solve q*u = 2*u for u.
0
Suppose 1 = 7*n - 34. Solve 0 = n*z - z + 8 for z.
-2
Let c be (-75)/(-21) - 9/(-21). Suppose -c*j - 3*h = 0, -2*j - 32 = -6*j + 5*h. Solve -p + 2 - j = 0 for p.
-1
Let p be 8/(-2) - (-18 + 14). Suppose 5*q - 2 - 23 = 0. Solve q*b + 0*b = p for b.
0
Let s(t) = t**2 + t - 2. Let g be s(-4). Let d(m) = 2*m. Let x be d(1). Suppose 0 = -5*p - l - x*l - 2, -2*l = -2*p + 12. Solve g = -0*r + p*r for r.
5
Suppose -4*u + 104 = -0*u. Suppose 3*w + 2*f - u = 7*f, 0 = -2*w + 5*f + 19. Solve -x + 2 = w for x.
-5
Let r(x) = -3*x. Let d be r(-2). Solve 1 - d = s for s.
-5
Let a(q) = 3*q - 14. Let c(m) = -13*m + 57. Let g(h) = -9*a(h) - 2*c(h). Let v be g(8). Suppose -4*y + r = -13 - 19, 5*r = 0. Solve -4*z - y = v for z.
-3
Let g(l) = l - 4. Let h be g(10). Suppose 5*f - 11 - 3 = 2*r, 5*f + 2*r = h. Solve f*t + 1 = 3 for t.
1
Let i(d) be the first derivative of 1/3*d**3 + 0*d**2 - d - 3. Let g be i(1). Solve g = -3*c - 8 + 2 for c.
-2
Let m = 7 - 3. Suppose 3*q + 5*f - 5 = 0, -m*q - f + 14 = 2*f. Solve -2 = -q*c + 3 for c.
1
Let b = 18 + -5. Solve -2*h = -b + 17 for h.
-2
Suppose 0 = -6*f + 8*f - 14. Solve 0 = f*s - 8*s for s.
0
Let y(s) = -5*s**3 - s - 2. Let u be y(-2). Let i = 62 - u. Suppose -4*k = -f + 14, 0 = -3*f + f + 5*k + i. Solve -p = -f*p - 15 for p.
-3
Let o(q) = 200*q. Let w be o(1). Suppose 4*a - 8 = 0, 5*a = -2*v + 7*v - w. Let p be (68/8)/(1/2). Solve p - v = 5*i for i.
-5
Suppose 4*j - 3*y = 59, j - 40 = -2*j - 2*y. Let h = 15 - j. Solve -6 = 5*w - h for w.
-1
Suppose 0 = -2*l - l. Suppose l = 4*j + 12, -3*b + 4*j = 2*b - 12. Solve q + b*q - 2 = 0 for q.
2
Let z(r) be the first derivative of -r**4/4 + 10*r**3/3 - 5*r**2 + 12*r - 2. Let h be z(9). Solve 0 = h*x - 0*x - 9 for x.
3
Let j(q) = 4*q**3 - 1. Let o be j(1). Solve y = -o - 2 for y.
-5
Suppose -l = l - 10. Solve 2*i - 3 = l*i for i.
-1
Let o(g) = g**3 - 8*g**2 - 8*g - 3. Let a be o(9). Solve 5*z - 1 = a*z for z.
-1
Suppose 10 = 5*y - x, 0*y + 26 = 2*y + 4*x. Solve 0 = 6*h - y*h - 6 for h.
2
Let a = 11 - 6. Let b = a - -10. Solve 0 = o - 4*o + b for o.
5
Suppose s = 9*s. Let r = -2 - -2. Let k = r + 2. Solve s = h - 0*h + k for h.
-2
Suppose 0 + 4 = 2*m. Let g = 4 - m. Solve 6 - g = -4*j for j.
-1
Let k(c) = 6*c - 9. Let x(h) = -3*h + 5. Let r(m) = -5*k(m) - 9*x(m). Let z be r(-4). Suppose -2 = -3*j + 4. Solve -j*v - v + z = 0 for v.
4
Let s be ((-4)/(-6))/(5/30). Suppose -2*n = -3*n + 8. Let q(r) = r**3 - 8*r**2 + 2*r - 8. Let v be q(n). Solve s*m = 4 + v for m.
3
Let a be 5/((-1)/(-2 - -1)). Suppose 5*x + a*m - 10 = 0, -5*m = -4*x - 2*m + 15. Solve 0*f + 9 = x*f for f.
3
Let c(r) = -9*r. Let b be c(-5). Suppose 6*w + b = w. Let i = w - -12. Solve 0 = -i*u - 2*u for u.
0
Let n = 97 - 87. Solve n = 3*a + 2*a for a.
2
Let i be (4 - 4 - -6)/((-6)/(-20)). Solve -4*g = g + i for g.
-4
Let s(c) = c**3 - 19*c**2 - c + 27. Let q be s(19). Solve -9*w = -q*w - 4 for w.
4
Let f be 0/(-2) - -2 - -2. Solve 7*d = f*d - 6 for d.
-2
Suppose -2*h + 22 = 5*t + 8, 3*t + 4*h = 0. Solve 0*p = -t*p - 16 for p.
-4
Let s be 2/6 + (-24)/(-9). Suppose 2*l + 2*o - 15 = l, -2*o + 37 = s*l. Solve -2*d + 3 = l for d.
-4
Let t be -2 + 2 + (0 - 16). Let i = -9 - t. Suppose u + 2 = 4*d - 3, i = 5*u - 4*d. Solve 0*j + 3 = u*j for j.
1
Let b be 3/(-2)*16/(-6). Suppose 0 = -0*p + 4*p - 4*f + 132, -p + b*f - 33 = 0. Let v = 53 + p. Solve 0 = n - 5*n - v for n.
-5
Let k(g) = -g + 6. Let c be k(-8). Let f be (-14)/(-3) - c/(-42). Solve 0 = -4*u + 3*u + f for u.
5
Suppose 47 = -0*x + 3*x - a, x = 2*a + 9. Solve -4*d + 1 = x for d.
-4
Let x(g) be the second derivative of g**4/12 - g**2/2 + 3*g. Let b be x(-2). Solve -t + b = 2*t for t.
1
Let t = -3 - -7. Let h be (-9)/(-6)*6/1. Suppose -j + h = t. Solve -2*m + 12 = -j*m for m.
-4
Let g(z) = z**3 - 5*z**2 + 4*z + 1. Let p be g(4). Let y = 1 + p. Let u(w) = -w**2 + 7*w + 6. Let f be u(6). Solve j + y*j - f = 0 for j.
4
Let q = -32 - -32. Solve 2*y + q*y = -10 for y.
-5
Let i be 0*4/(-12)*(-2)/4. Solve i = 2*t - 3*t for t.
0
Suppose 0 = -5*j - 5, -5*j - 2 = w + 2*w. Let z = -3 + w. Let o be (3 - (0 + z))*1. Solve 4 = -o*i + 29 for i.
5
Suppose 0*b - 16 = 4*b, -4*b = 3*f + 16. Suppose -3*i = 4*g - 14 + 2, 5*g - 3*i + 12 = f. Solve -4*j - 12 = -g*j for j.
-3
Let b = 4 + -2. Suppose -4*h + b*f + 82 = 0, 5 = -3*f + 2. Suppose -l = 3*c - h, -4*l = -3*c - l. Solve -r - c = -0 for r.
-5
Let y(f) = f. Let n(k) = -k + 3. Let j(z) = -n(z) - 4*y(z). Let t be j(-2). Suppose t*g - 5*g = 0. Solve g = 3*d - 5*d for d.
0
Suppose 0 = f - 2*g - 2*g - 11, 0 = -3*f - 2*g + 5. Let d = f - -3. Let y = 39 + -39. Solve -3*i = -y*i - d for i.
2
Let v(q) be the first derivative of -q**3 - 3/4*q**4 - 2*q - 1/2*q**2 + 3. Let m be v(-2). Solve 0*l + 4*l = -m for l.
-3
Let v(d) = -2*d + 2. Let c be v(3). Let h be 2*c/(4/(-5)). Solve 7*j = 2*j - h for j.
-2
Suppose 3*v + 3*o - 83 = -v, 2*v - 9 = 5*o. Let i = -7 + v. Suppose -2*x + i = 3*x. Solve 2*s - x + 0 = 0 for s.
1
Let g be (0 - (-1)/(-2))*-58. Suppose -5*o - g = -d, d - o = 6*d - 15. Solve -b - 3*b - d = 0 for b.
-1
Suppose 2*m - 1 = b + 5*m, 3*b - 3 = -3*m. Suppose -h = -b*h. Suppose h = 2*z + z - 3. Solve 0 = -3*f - z - 11 for f.
-4
Let i be (48/40)/(1 - 8/10). Solve b = i*b - 5 for b.
1
Let h be 6/8 - 3/4. Solve 6*g - g = h for g.
0
Let y be 6/(-4)*(-3 + -1). Let b be 104/6 + y/9. Let v = b + -13. Solve -12 = x - v*x for x.
3
Let l(z) = -z**3 + 2*z**2 - z. Let g be l(1). Suppose f = -g*f + 4. Suppose -3*u - f*b = -3*b, -u - b = 0. Solve 4 = 2*k - u*k for k.
2
Let m(i) be the third derivative of -i**6/720 + i**5/40 + i**4/12 + i**2. Let d(c) be the second derivative of m(c). Let g be d(0). Solve g*a = -a for a.
0
Suppose 0*g + 4*g - 12 = 0. Suppose x = g*x. Solve 2*n - 4 = -x for n.
2
Suppose 0 = -4*t + 16, 0 = 3*m + 3*t - 2 - 13. Let c be 48/18 - m/(-3). Let i be (16/(-6))/(c/(-9)). Solve 0*f = -4*f + i for f.
2
Let s = 71 + -67. Solve -7 = s*d + 1 for d.
-2
Let g(z) = z - 10. Let f be g(7). Let x be f/(-7) + 21/(-49). Solve x = i + 4*i + 10 for i.
-2
Let w(t) = t**3 + 10*t**2 + 9*t + 3. Let o be w(-9). Solve -10 = -o*n + 5 for n.
5
Suppose m + 3 = 2*m. Solve -4*b + m = -b for b.
1
Suppose 0*u = u. Solve -h + u = 2 for h.
-2
Let l(q) = 2*q. Let u be l(1). Suppose u*o - 5*z = -10, -3*o + 5*z - 3*z - 4 = 0. Let b = 1 - 1. Solve b = -a - o*a - 5 for a.
-5
Suppose -q - 3*g + 3 = -3, 5*q + g = 2. Solve 5*c - 3*c + 4 = q for c.
-2
Let m = 16 + -10. Let h = 8 + -5. Solve h*t - m*t = 0 for t.
0
Let u be (4 - -1) + -7 + 3. Solve -o = -u - 1 for o.
2
Let g(c) = -c**2 + c. Let m be g(2). Let l be m/(-1 - (-2)/6). Suppose -2*t + 26 = 2*y, -4*y + 4*t = -2*y - 20. Solve -w - l*w = -y for w.
3
Let u(t) = t**2 + 11*t + 7. Let b be u(-11). Solve b = -5*i - 8 for i.
-3
Let d(b) = b + 11. Let g be d(-9). Suppose -g*n - 29 - 17 = 0. Let c = 34 + n. Solve c = -3*s - 1 for s.
-4
Let u be (-6)/(-18)*(-2 - 1). Let g = -1 - u. Solve g = q - 3 for q.
3
Let o = -16 - -28. Let s be o/3 - (4 + -2). Solve 2*x + s*x - 12 = 0 for x.
3
Suppose 27 = 5*r + 7. Suppose -r*i = -0*i. Solve 0 = z + 2 - i for z.
-2
Let m = 15 +