. Let k = w - -4. Solve -k = u - 1 for u.
-2
Let l = -12 + 12. Suppose -3*h + 4*u = u - 24, 4*h - 3*u - 27 = l. Solve -2 - 1 = -h*v for v.
1
Let u = -30 + 18. Let i be (-12)/10*200/u. Solve -x - 3*x = -i for x.
5
Suppose 0 = 4*x - 1 - 19. Let l(n) = n**3 - n**2 - 1. Let v be l(2). Solve 2*z = v*z - x for z.
5
Let y be -3*(2/6 - 2). Solve -2 = y*a + 23 for a.
-5
Suppose 0 = -3*q + 3 - 6. Let i = q + 0. Let w be i/(-4) - (-2)/(-8). Solve w = 4*g - 1 + 5 for g.
-1
Suppose 2*i = -i + 15. Let r be ((-3)/(-2))/((-6)/112). Let z = r - -48. Solve -i*k + k = z for k.
-5
Suppose 5*o - 36 = 2*o. Suppose 2*x - 108 = -o. Let q be (-2)/7 + x/21. Solve -q*d = 2*d + 16 for d.
-4
Let j = -7 + 16. Let n(w) = w + 6. Let z be n(j). Solve -3*d = -z - 0 for d.
5
Let l be (-3)/18 + (3 - (-73)/6). Solve -l = -j + 4*j for j.
-5
Let d = -4 + 10. Suppose -c = 3*m - 9 - 3, 4*c - 2*m = d. Suppose -2*z - 27 = -3*z + c*b, 0 = 3*z - 5*b - 61. Solve 3*k - z = -0 for k.
4
Suppose 4*b + 10 = -54. Let v be (-4)/14 - b/7. Let d be 1 + 4 + 0/(-2). Solve -w + v = d for w.
-3
Let d = -10 + 13. Suppose -f + 2 = -4. Solve -f = 6*u - d*u for u.
-2
Suppose 0 = 5*m - 8 - 17. Let h = 16 - 12. Suppose -12 = -h*i - 0*i. Solve 10 = -i*s + m*s for s.
5
Let a be (-2904)/(-28) - (-2)/7. Suppose 24 - a = -5*k. Suppose 7*y = 3*y + k. Solve -5*b + y = -6 for b.
2
Let c(b) = -b**3 + 4*b**2 + 10*b - 6. Let r(z) = 3*z**3 - 11*z**2 - 31*z + 19. Let s(g) = 7*c(g) + 2*r(g). Let u be s(7). Solve u*m - 2*m = 1 for m.
1
Suppose -16 + 1 = 3*l. Let c be (-1 - -10)/(-3) - l. Solve c + 3 = j for j.
5
Suppose -4*q - 2*h = q - 22, 0 = -3*h - 12. Suppose -2*a = q - 18. Solve -a*b + 20 = -b for b.
4
Let g = -8 - -8. Solve g = 3*b + b for b.
0
Let r = -3 + 6. Suppose r*w - 2 = 4. Solve w*o + o = -12 for o.
-4
Let f be (12/(-18))/2*0. Solve f*i = 3*i for i.
0
Suppose 6 = y + 6. Solve 0 = -5*o - y*o for o.
0
Let r = -5 + 13. Suppose -8 = -4*j - j + 3*g, 3*j - g = r. Solve -4 = -j*p + 2*p for p.
2
Let q(h) = 5*h - 40. Let r be q(8). Solve -4*b - 9 - 3 = r for b.
-3
Suppose v - 2 = 6. Suppose 4*j = 3*n + 68, j + 3*n - 1 - 1 = 0. Let x = 16 - j. Solve x*q = -0*q + v for q.
4
Let v = -8 + 6. Let g be 0 + 1*-1*v. Let z = 142 - 137. Solve g*x = 3*x - z for x.
5
Suppose 2*h - 13*h - 55 = 0. Let v(g) = -g**2 - g + 1. Let c(r) = r**3 + 10*r**2 + 7*r - 10. Let z(s) = -c(s) - 5*v(s). Let y be z(h). Solve -6 + y = 3*q for q.
3
Let u(g) be the third derivative of g**5/20 + g**3/6 - 5*g**2. Let w be u(1). Solve -7 = -x - w for x.
3
Let x(m) = m**3 + 6*m**2 - 9*m - 10. Let n be x(-7). Let t(z) = z**2 + 11*z - 9. Let a be t(-12). Solve -7 + n = a*p for p.
-1
Let r be 4 + 1*(0/1)/(-2). Solve -15 - 1 = r*y for y.
-4
Let v be 0 + 0 - (-8 - 1). Let g(d) be the third derivative of d**4/12 - d**3 - d**2. Let s be g(v). Solve -6*t + s = -2*t for t.
3
Let f = 7 + -5. Suppose -p + 4 + 1 = 0. Suppose 0 = t + 4*k - 5, 5*t - f*t = p*k + 15. Solve t*s + 1 + 4 = 0 for s.
-1
Suppose 5*k - 12 = 4*k + 4*q, -5*k + 5*q + 15 = 0. Suppose -5*g + k*g - 5*r - 15 = 0, -g = -3*r - 13. Solve -c + g - 3 = 0 for c.
-2
Suppose 2*f = -2*f - p + 3, -p - 7 = -f. Suppose 0 = l + 5*c - 2 + 12, 3*c = f*l - 6. Solve l = -r + 4 - 0 for r.
4
Let t(x) = x - 2. Let w be t(7). Suppose 3*h - 1 = w. Suppose 0 = -h*j - 2*j - 3*d + 10, -2*d = 3*j - 8. Solve -q - j = q for q.
-2
Let h = 8 + -6. Suppose 4*f - 4*n - h = -3*n, -3*f + 2*n = -4. Suppose -4*g + 8 = -8. Solve f = -g*s - 0*s + 8 for s.
2
Let d = 6 + -7. Let v = d - -1. Suppose -u = 3*s - 14, 6*u - 20 = -3*s + 2*u. Solve -m - 1 + s = v for m.
3
Let n be 24/(-14)*-3*14/12. Solve -n = 2*k - 0*k for k.
-3
Suppose 2*q + q = 15. Suppose -2*c = -4*c + q*u + 17, -c = -5*u - 16. Let z be c*(0 - -2)*1. Solve 4*d = 6 + z for d.
2
Let a(t) be the third derivative of 1/6*t**3 + 2*t**2 + 0*t + 0 + 1/24*t**4. Let p be a(2). Solve -15 = p*b + 2*b for b.
-3
Suppose -y + 1 + 0 = 5*g, 0 = y + 3*g - 3. Suppose -m + y = -3. Suppose 5*x - 3*d + d - 16 = 0, d = 3*x - m. Solve i + 3 = -x for i.
-5
Suppose -4*t + 8 = -4*f, -2*t + 7*t - 4 = 2*f. Suppose 0 = -2*a - t*a + 4. Solve -a*i - 4 = -0*i for i.
-2
Suppose -2 = -3*l + 16. Solve l*f - 2*f - 4 = 0 for f.
1
Suppose -4*m + 5*b - 60 = 3*b, 0 = m - 4*b + 29. Let f = m - -15. Solve r = -6 + f for r.
-4
Let c(p) be the second derivative of 2*p**3/3 + p**2/2 + 3*p. Let d be c(6). Solve d = -5*k - 0*k for k.
-5
Let u(y) = y**2 + 6*y - 8. Let h(i) = -i**2 - 5*i + 7. Let p(x) = -6*h(x) - 5*u(x). Let z be p(2). Solve -5*n = -3*n - z for n.
1
Suppose -2*n - 2*n - 14 = -z, -3*z - 3*n - 3 = 0. Suppose 5*q = z*q. Solve q = -9*b + 4*b + 10 for b.
2
Suppose 0 = -u + 3*p - 8*p + 30, -5*p = -10. Solve -5*l + 5 = -u for l.
5
Suppose 5*h - 4*h = -3. Let x = 0 - h. Solve -2*p = -x*p for p.
0
Let f = -5 + 5. Let j(o) = -2*o + 1. Let h be j(-1). Solve 8*w - h*w - 20 = f for w.
4
Suppose -18 = -3*l - 3*d, -1 = 3*d - 4. Let j = 0 + 2. Suppose -j*g + l*v = -25, g + 4 = 5*v + 29. Solve 0 = -g*a + 4*a - 12 for a.
3
Let f(r) = r**3 - 25*r**2 + 3. Let a be f(25). Solve a + 3 = -3*x for x.
-2
Let j = 81 + -73. Solve 0*p - j = -2*p for p.
4
Let y(a) = a. Let u be y(2). Solve u*l = 2 + 2 for l.
2
Let f be 6*(0 + (-2)/(-3)). Solve 6 = f*x - x for x.
2
Let o(q) = -q**3 + 12*q**2 + 2*q - 19. Let r be o(12). Solve r*a = -15 - 0 for a.
-3
Let z(o) = o - 2. Let a be z(4). Let d = a + 0. Suppose 3*i = d*i. Solve 4*p + 3 + 9 = i for p.
-3
Suppose -5*h + 0*h = m - 126, h + 4*m - 29 = 0. Suppose -2*t - 17 = -h. Solve -t*f = -3*f for f.
0
Let f be (3 - 2)/(3/36). Let p be 0/2 + 1 + 1. Suppose -3*i + 2*i + f = -p*b, 0 = 3*i - 2*b - 28. Solve -5*s - i = 12 for s.
-4
Let t be 23 + -13 - (0 - 0). Solve 9*j - 3 = t*j for j.
-3
Let h be 3*-1 + -27 + 8. Let g = 36 + h. Let l = g + -10. Solve j - 3 = -l for j.
-1
Suppose 4*b + 3*x = 22, 5*b - 7*b = -4*x. Solve -i - b*i = -15 for i.
3
Suppose 12 = 2*a + 2*a. Let i be (a - -1 - 3)*0. Solve i = o + 1 for o.
-1
Suppose 0*w - 2*w + 6 = 0. Suppose -2*k - 2 = -4*p, -2*p - 2*p = -3*k + w. Solve -i = -4*i + p for i.
1
Let b(i) = i**2 + 2*i - 12. Let v be b(-5). Suppose 2*o = 0, -5*o + 2 = 5*j - v. Solve 0 + j = z for z.
1
Let c(p) = 3*p**2 - 24*p + 1. Let m be c(8). Solve -r = m + 2 for r.
-3
Let c(b) = -b**2 + 1. Let p be c(1). Suppose -7*a = -a. Solve a*t - 5*t = p for t.
0
Suppose -2*s + d = s - 30, -50 = -5*s - 5*d. Let f = 10 - s. Solve f = -5*r + r + 20 for r.
5
Let p be ((-6)/3)/(2/(-10)). Let t = -47 - -49. Suppose t*g = g + p. Solve -g = 3*h - h for h.
-5
Suppose 0*w - 3*s = -w + 15, 5*s = -5. Suppose -2*j = g + 3*g + 6, j + w = -5*g. Let x = -3 - g. Solve 4*v + 16 = -x for v.
-4
Suppose 6*t - 8 = 2*t. Let u(w) = -3*w**2 - 4 - 4*w + t*w + 5*w**2. Let x be u(3). Solve 3*k = 1 + x for k.
3
Let o be (28/6)/((-6)/(-9)). Let a(j) = j - 1. Let w be a(o). Solve -5*h - 19 - w = 0 for h.
-5
Let l(g) = g + 14. Let k be l(-11). Let c = -31 - -43. Solve k*x - 3 - c = 0 for x.
5
Let y = -1 + 5. Suppose -3*j - 14 = 5*u, -y*j = -j + 3*u + 6. Suppose -4*m + j*m = 0. Solve m = 3*o - 3 for o.
1
Let m = 3 + -1. Suppose q + m*q = 3. Solve -q - 3 = -t for t.
4
Let o(u) be the third derivative of -u**6/120 - u**5/60 + u**3/2 - 4*u**2. Let r be o(0). Solve 3 = -r*s + 18 for s.
5
Let g be 1/(-5) + 8/40. Solve -25 = -5*m - g for m.
5
Suppose -2*q - 2*p = -6, 3*q - 3*p = -13 + 4. Solve 2*g + q = -2 for g.
-1
Let u be 8 + 2*(-1 - -2). Let y = u + -7. Solve 0 = -2*q - y*q + 15 for q.
3
Suppose 4*g + v - 48 = 4*v, 80 = 4*g + 5*v. Solve -2*p + g = p for p.
5
Suppose 2*u - 9 = u. Let f be u/(-6) + 7/2. Solve 0 = -p - 0*p + f for p.
2
Let i(h) = -h**2 - 6*h + 1. Let m be (-1)/4 + 23/(-4). Let j be i(m). Solve c = j + 1 for c.
2
Let p(u) be the first derivative of -u**4/4 - 3*u**3 - 9*u**2/2 - 6*u - 3. Let n be p(-8). Solve 4*z - n = 3*z for z.
2
Let s be (6 + -6)/(0 - -1*1). Solve 4*y = -s*y - 20 for y.
-5
Let x = 116 + -96. Solve -11*q + 6*q + x = 0 for q.
4
Let i(v) = v**3 - v. Let n be i(0). Suppose -2*d = -4 - n. Solve s + d - 1 = 0 for s.
-1
Let d(k) be the second derivative of 2*k**3/3 - 6*k**2 - k. Let g = 5 - -3. Let r be d(g). Solve r = 2*n - 6*n for n.
-5
Suppose 2*n - 3 = 3*n + 5*u, -32 = -4*n + 2*u. Let y be 0 - (-5)/(2 - 1). Let p = 49 - 49. Solve p = y*c + n - 2 for c.
-1
Let o(u) = u**2 - 4. Suppose 4 = 