*m - 6 for w.
1
Let h(u) = u**2 + 6*u - 7. Let d be h(-7). Solve 3*t + 14 = c, -2*c + 20 = -4*t - d*t for t.
-4
Let b be (-10)/(-35) - (-2)/(-7). Solve b*a + 3*a = -w - 13, 0 = -5*a - 5*w - 25 for a.
-4
Suppose -6*f - 35 = -107. Solve -4*j + f = 2*s, -j + 3*j + 4*s = 6 for j.
3
Let u(x) = -x**3 + 6*x**2 + 5*x - 9. Let f be u(6). Let w = f + -17. Solve -y + 1 = n + 2*n, -4 = -n - w*y for n.
0
Let i(n) = n + 1. Let a(r) = -4*r - 7. Let v(t) = -a(t) - 5*i(t). Let g be v(0). Solve 2*l - y + 7 = 0, -5*l + 0*y + g*y = 19 for l.
-5
Let v be (2 - 1)*3 - 3. Let m be (-1 - v)*(-4 + 3). Solve 3*u + 3*w = 3, m - 4 = w for u.
4
Suppose 8*p = -3*p + 99. Solve h = -o - p, -3*o + 5*h + 17 - 4 = 0 for o.
-4
Let u(g) = -g**2 - 6*g + 7. Let x be u(-7). Suppose x = 3*c + 13 + 14. Let k be ((-3)/(-2))/(c/(-12)). Solve -4*p = -5*p + k*f - 3, 5*f - 10 = 2*p for p.
5
Suppose -3*z + x - 3*x = -6, 0 = -3*z + 5*x + 27. Solve -4*r + 6 = 3*a, 0 = 4*r - 0*r - 2*a + z for r.
0
Suppose 5 = 5*y - 4*y. Suppose -d + y + 0 = 0. Let r be (-2)/3 + (-22)/(-6). Solve k + r*k = 12, d*n - 4*k + 27 = 0 for n.
-3
Let q = 0 - -7. Suppose 0 = q*r - 5*r - 24. Solve 4 - 19 = -5*j + 4*b, 4*j + 5*b - r = 0 for j.
3
Suppose 2 - 5 = x + 5*s, 4*x + 5*s - 3 = 0. Solve -3*y - 6 = 0, -u + 7 = x*u - 5*y for u.
-1
Let z(w) be the first derivative of w**4/4 + w**3/3 + 2. Let h be z(1). Solve b + 4*y = h*b + 1, -2*y + 13 = -3*b for b.
-5
Let o = -9 + 6. Let n(y) = -2*y - 2. Let i be n(o). Suppose -2*p + r = -7, -5*p - i*r = r - 40. Solve d = p*k - 20, 4*k - d - 22 = d for k.
3
Let h = 22 + 15. Solve 3*l - 32 = 4*i, -3*i - 3*l = -8*i - h for i.
-5
Let w be (5 - 3) + -1 + 2. Suppose -w*z = -z - 8. Solve -6 = -2*v - 3*t - 4, 10 = -z*v + t for v.
-2
Let x = 11 - 13. Let i be 0/((-4)/x - 1). Solve 3*g + 5*d + 8 + 3 = i, 2*g = -3*d - 7 for g.
-2
Suppose -4*g + 0 - 28 = 0. Let j(c) = -2*c - 2. Let d be j(g). Suppose 0 - d = -4*l. Solve -l = 2*k - 2*b - b, 5*k + 14 = b for k.
-3
Let p(j) = j**3 - 6*j**2 + 4*j + 8. Let x be p(5). Solve 0 = -o - x*y + 4, -y = -5*o - 6 - 22 for o.
-5
Let l be (-1 - -2)/(2/(-6)). Let c be 10/3 - (-1)/l. Suppose 2*k - 7 = 17. Solve -21 = 5*n - 2*a, 3*a - k = c*n - 3 for n.
-5
Let y(r) = -r**3 + r. Let b be y(-1). Suppose b = 5*h - 0*h - 15. Solve 0 = f - h + 6, -3*f = 2*n + 5 for n.
2
Suppose 5*y + 3*q - 4*q - 60 = 0, 0 = -y + 4*q + 12. Solve -5*n + 2 = -g - 19, -4*n + 2*g = -y for n.
5
Let q(y) = 2 - 6*y + 0 - 4 + 1. Let x be q(-1). Solve l - 5*l + 5*b + 29 = 0, -3*b = x*l + 10 for l.
1
Let j(q) = q + 8. Let d be j(-9). Let p(b) = -6*b**3 - 2*b**2 - b. Let m be p(d). Suppose m*l = l + 16. Solve 2*a = 0, 3*v - l*a - 10 = 8*v for v.
-2
Let l = -5 + 8. Suppose 0 = -5*p + 4*z, 5*p - 2*p + l*z = 27. Solve p*t - 2 = -o - 7, 0 = -t - o - 5 for t.
0
Let g(p) be the second derivative of -p**5/20 - p**4/3 + 5*p**3/6 - 2*p**2 - 2*p. Let s be g(-5). Let t = 6 + s. Solve 0 = -3*l - 9, -3*l + 5 = -4*k - t for k.
-4
Suppose 5*a - 21 = 3*w + 2*a, -5*a + 24 = -4*w. Let d = 0 + w. Let g be 8/(-24)*(-1 + d). Solve -3*b + g*f - 4 + 12 = 0, f - 9 = -2*b for b.
4
Let v be 10/2 + 2 - 2. Suppose 0*d = v*d - 195. Let t be (1 + -1*d)/(-2). Solve -l = 5*a - t, 4*l - 3*l = 2*a - 9 for a.
4
Suppose -4*j + 6 = -2*j. Suppose 3*h = j*y - 21, 2*y + h - 6 = 5*h. Suppose -y = -3*d - 2. Solve d*b + 12 = -5*s, -2*b - 8 = -s - 0*s for s.
0
Let r be 3/18 - (-87)/18. Solve -2*w = 3*x - 0*x + 10, w - 3*x = -r for w.
-5
Suppose b = -2*x, 2*x - 2*b = -x. Suppose 0 = p - 2 - x. Solve t - 18 = 4*t - 3*o, 3*o = -t + p for t.
-4
Let w be (60/(-75))/(2/(-10)). Solve 5*z = b + w*b - 10, 15 = 3*z + 4*b for z.
1
Let f = -4 + 5. Suppose -w + 0 = -f. Let p be -10*7/(-2)*w. Solve -8*c + 3*c = 4*d - p, -2*d + 7 = -c for d.
5
Let r = 77 + -73. Solve -4 = -f - 3, -3*w - 7 = -r*f for w.
-1
Let p(l) = -l**3 + 6*l**2 - 7*l - 1. Let c be p(3). Solve -c*d = -q - 18, -q - 10 = -6*q for d.
4
Suppose 0 = -n + 3. Suppose n + 5 = h. Solve i - 3*i + h = 4*d, -2*i + 3*d + 8 = 0 for i.
4
Suppose 3*w - 5 + 1 = -t, 0 = -4*w + 16. Let h = t - -11. Solve -i = k + 5, 4*i = -k + 5*i - h for k.
-4
Let c = 15 + -9. Let t = -1 + c. Solve 0 = -2*g + t*d - 12, 3*d + 2 - 12 = 4*g for g.
-1
Suppose h - 6*h = 30. Let m(t) = t**2 + 7*t + 8. Let y be m(h). Let r be (-3)/((-2)/4 + -1). Solve y*g = -6, -c - g - 9 = r*c for c.
-2
Let d = -26 + 46. Suppose 0 = -2*t + m - 45 + 17, -4*m = -2*t - 16. Let a be t/6*45/(-12). Solve d = 5*o, 2*g + o + a = 4*o for g.
1
Suppose -3*q = -4*o - 64, -q - 2*o + 0*o = -28. Suppose -4*t + 8*t = q. Let a be (2 - (t - -1))*-1. Solve -d + 6 = -4*b - 3, -a*b = 5*d + 30 for b.
-3
Let m(i) be the third derivative of -i**5/60 - 5*i**4/24 + 4*i**2. Let d be m(-4). Suppose y + d = 2*y. Solve -13 = 3*r - 4*p - 0*p, 0 = y*r - 4*p + 12 for r.
1
Let b(o) = -3*o**3 + o**2 - 2. Let i(y) = -y**3 - y**2. Let n(a) = -b(a) + 4*i(a). Let x be n(-5). Solve -12 = x*k - 4*m, m - 4*m = 3*k - 9 for k.
0
Let g(s) = s**3 - 17*s**2 - 19*s + 22. Let t be g(18). Solve k = -5*r - 4, -t*k = 3*r + 3 + 13 for k.
-4
Suppose 3*l - 4 = 2*k, 48 = 4*l + 5*k + 12. Let v = 6 - l. Solve -5*z - 10 = -5*o, o = 3*z + v*o - 6 for z.
1
Let n(t) = t**2 - 3*t - 7. Let y be n(5). Suppose y*f + 4 - 17 = 2*l, 2*f + 2 = -4*l. Solve v - f*d + 5 = -v, -4*v - 2*d + 30 = 0 for v.
5
Let p = -11 + 6. Let t be (p - -2) + 4 + 6. Let x = 23 - 11. Solve 0 = a + 3*a + 5*m - t, 0 = -4*m + x for a.
-2
Let p = 23 - 23. Let u(r) = r**3 + r**2 + r + 9. Let x be u(p). Solve -3*t = 15, o + 2*t = x - 23 for o.
-4
Let b = 13 - 9. Solve -b = -5*g + 3*g + 2*q, -2*g + 7 = -q for g.
5
Let n be ((-21)/(-15))/(1/5). Suppose -3*q - 1 = -n. Solve 3*w + q*t + 0*t = 10, 0 = -4*t + 8 for w.
2
Suppose -3*n + 16 = 4. Solve 2*q - 5*q + 3*j = -3, n*q - 10 = -2*j for q.
2
Suppose 9 = 5*p - 6. Suppose -5*y + b + 80 = 0, -4*b = 3*y + 7 - 32. Let o = 19 - 16. Solve 0*t + y = p*d - 4*t, o*d - 18 = 5*t for d.
1
Suppose 0 = 8*k - 2*k - 12. Solve -2*p = k*i + 12, -8 = p + p for i.
-2
Suppose 0 = 5*h - 2*z - 60, 4*h = z + 2*z + 55. Let b be ((-2)/(-5))/((-1)/(-10)). Suppose -h = -b*o + 10. Solve o*l - 3 = 3*l - 3*c, 4*c = -4*l for l.
-3
Suppose 3*f = 7 + 5. Let h be (4/10)/(6/360). Solve f*o = -5*j + h, j - 12 = 4*o - 3*j for o.
1
Suppose -7*g + 4*g = -117. Let y be (g - -6)*(-1)/(-3). Solve -20 = -b - 2*x - 2*x, 3*x - y = -2*b for b.
0
Let y be 10/2 + -10 + 7. Solve -5*p + 3*a + 10 - y = 0, -p + 5*a = -6 for p.
1
Suppose -2 = -p + 5. Solve 0 = 3*r + v + 17, p*v - 2 = 2*r + 3*v for r.
-5
Let a be ((-7)/(-6) + (-6)/9)*16. Solve 2*d - 3*h = 2 - a, 0 = -5*h for d.
-3
Suppose 2*v - 3*x + 0 = 4, 0 = v - 4*x + 8. Let b = -7 + v. Let f be 3*((-4)/(-6) + b). Solve 3*g - f*z + 6 = 0, -g = -2*z + 2 - 0 for g.
-2
Suppose 4 = -2*l - 0*l. Let m be (2 - (2 + 0))/l. Solve -3*b + 2 = 2*i, m = i + i + b + 6 for i.
-5
Suppose 5*a - 2 = -7. Let g(l) = -23*l - 1. Let w be g(a). Solve v = -2*v - 2*f - w, -v + 3*f = -11 for v.
-4
Let d = 1 + -2. Let v = 1 - d. Let z(x) = x**3 - 5*x**2 - 5*x - 1. Let s be z(6). Solve -3*b + b = -s*t - 5, -v*t + 4*b - 2 = 0 for t.
-1
Let v = 134 - 115. Solve -c + 3*x = v, -c + 2*x - 29 = -3*x for c.
-4
Let u(z) = -z + 1. Let x = -3 - -4. Let i be u(x). Suppose -5*g + 4 + 1 = i. Solve 0 = 2*h - 3 + g, 4*c - h + 1 = 0 for c.
0
Suppose -3*j = -3*t - 0*t - 30, -5*t + 4 = j. Let m = j + -6. Solve -m*z = 2*z + 4*o + 3, 5*z + 5*o = 0 for z.
-3
Let b(j) = -2*j - 4. Let s be b(-7). Solve -q + 5*c + 44 = 14, -2*c = s for q.
5
Suppose 2*y = -2*u - 6, -2*u - 8 + 4 = 3*y. Let l(v) = 3*v**3 + v**2. Let o be l(1). Let n be (-18)/(-4) - 1/2. Solve -n*f = -q - o - 1, -y*f + 3 = -q for f.
1
Let w = -17 + 19. Solve 2*m + 0*d = -d + w, 6 = m - 2*d for m.
2
Suppose -3*s + 5*f + 0*f + 30 = 0, 5*s - 4*f = 37. Solve 2*q + 5*x + 30 = q, -4*q + s*x + 5 = 0 for q.
-5
Suppose -2*c - 7 = -1. Let w = c - -3. Solve 5*r - 35 = 4*o, o + w*o = -4*r + 7 for o.
-5
Suppose -2*p + 58 = -4*u, 1 = 3*u + 4*p + 39. Let i be 4/u + (-37)/(-7). Let b(l) = -3*l + 45. Let s be b(15). Solve -j + s = -5*h + 1, -5*j + 15 = -i*h for h.
1
Suppose -3*v - 70 = 2*v. Let f = 19 + v. Let m = -1 + 14. Solve o - f*u = -m, 5*u - 10 = o + u for o.
2
Let t = 18 + -25. Let q = t - -4. Let f be (8 + -5)/(q/(-4)). Solve -5*c - 2*u + 8 = -5, f*c = -5*u + 24 for c.
1
Let m = 190 -