Solve 4 - t = -w for w.
-2
Suppose s + p = 3*p + 14, -2*s + 13 = -p. Solve o + s = -o for o.
-2
Let j = 2 + -5. Let a be 1*j*2/(-3). Solve -25 = -a*v - 3*v for v.
5
Suppose 3*t = -1 + 7. Solve q = -t - 0 for q.
-2
Suppose -5*o - 2*m = -6, -12 = 3*m - 7*m. Solve -2*q + q - 4 = o for q.
-4
Let s be (-1)/(-2) - (-9)/(-6). Let b be 4/4 + s + 1. Let l(t) = 5*t**3 - 2*t**2 + 2*t - 1. Let g be l(b). Solve -5*u = -g - 11 for u.
3
Let i = 10 + -5. Suppose -21 = 2*g - i*g. Let s = -7 + g. Solve u = -s - 1 for u.
-1
Let o = -8 + 0. Let m be o/12 + 4/6. Solve m*d - 5*d = 5 for d.
-1
Suppose -5*q + 2 = -4*o - 7, 0 = -5*o - 4*q + 40. Suppose -o*s + 0*s = 0. Solve s = a + 4 for a.
-4
Let v(x) be the third derivative of 2*x**4/3 + 7*x**3/2 + 2*x**2. Let d(k) = 3*k + 4. Let o(f) = 11*d(f) - 2*v(f). Let q be o(2). Solve -1 - 15 = -q*u for u.
4
Let o(u) = -2*u**2 - 55*u - 24. Let m be o(-27). Solve -2*l = m*l for l.
0
Let t(y) = y**3 - 5*y**2 + 6*y - 5. Let m be t(5). Suppose -p + m = 2*h, -3*h + p + 60 = -2*p. Solve q - h = 4*q for q.
-5
Let h be 2/(-10) - 5/(-25). Solve 4*f + 7 + 13 = h for f.
-5
Let y(q) = q**2 - q + 1. Let i be y(1). Let m be i/(1*(-2 - -1)). Let l = 2 + m. Solve -b = -2*b - l for b.
-1
Suppose -1 = -3*d + 2*s + 3*s, 4*d - 11 = -3*s. Solve -d = -j - 4 for j.
-2
Let q(a) = a**2 + 9*a + 8. Let g = -17 + 9. Let u be q(g). Let h be 5 + 3/(-6)*2. Solve 0 = -u*p + h*p + 20 for p.
-5
Let d be -1 + (-3 - (-1 + -2)). Let q be 3*(d - (-8)/3). Let f(m) = m + 5. Let t be f(q). Solve 9*k = 4*k - t for k.
-2
Let q(j) = -j**3 - 3*j**2 - 3*j + 3. Let f be q(-3). Suppose 3*w = 7*w - f. Solve -w*v + 7 = 1 for v.
2
Let k be 26/6 - 4/(-6). Suppose 84*t = 80*t + 20. Solve t*h - k = 5 for h.
2
Let o be (-8)/(-28) + (-130)/14. Let a = o - -12. Solve -a*m = -2*m + 2 for m.
-2
Let a(j) = j + 7. Suppose 18 = -3*k - 0. Let q be (-1)/(k/3)*0. Let s be a(q). Solve -3*m + s*m + 4 = 0 for m.
-1
Let t be 10/4 - (15/(-2))/5. Solve 0 = -t*v - 0*v for v.
0
Suppose -c = -0*c. Let s(k) = 15*k**2. Let v be s(1). Solve v = 3*i - c for i.
5
Let y(j) = -j**2 + 18. Let k be y(0). Suppose k = 5*x - 2. Solve 0 = -w + 9 - x for w.
5
Suppose 5*s = 8*s. Solve s = 3*b - 0*b + 6 for b.
-2
Let p = -15 - -19. Solve -8 - p = -3*y for y.
4
Let u = 5 - 1. Solve -u*q - 2 = 6 for q.
-2
Suppose 0*d + h - 6 = -d, 4*d = -h + 12. Solve -d*r + 4*r + 4 = 0 for r.
-2
Let y be (-2 + 3)/((-2)/(-4)). Suppose 16 + 0 = y*p - 3*v, -v = p - 8. Let j = p - 8. Solve 5*m + j*m = -5 for m.
-1
Let j = 18 - 14. Suppose 0 = -2*c + 2*s - 6, 5*c + 6 + 4 = j*s. Solve 1 = 3*l - c for l.
1
Let c(v) = -2*v + 3. Let h be c(3). Let i(j) = -3*j - 7. Let d be i(h). Solve d*s = 3*s for s.
0
Let j = 51 - 50. Solve -5*p + 9 = -j for p.
2
Suppose 0 = 3*s - 12. Let a(b) = -3*b - s*b**3 - 1 + 4*b**3 + 5*b**2 - b**3. Let p be a(4). Solve p*c = c for c.
0
Let d(q) = -q + 3. Let m be d(3). Let y = 16 - 16. Suppose 3*g - 6 + m = y. Solve -2*b + 0 = -g for b.
1
Let y(b) = b**3 + 7*b**2 + 4*b - 10. Let p be y(-6). Solve p*o = -2 + 4 for o.
1
Let q(i) = i + 3. Suppose 3*c + 5 = 11. Let t be q(c). Solve 4*f - t*f - 1 = 0 for f.
-1
Suppose -9*l = -4*l - 25. Suppose -l*s = -0*s - 20. Solve s = -z - 1 for z.
-5
Let j = -1 + 3. Suppose 0 = -j*t + 5*s - 7, 3*s = -5*t - 0*s - 2. Let v(w) = -6*w - 1. Let l be v(t). Solve -2*i + l = -i for i.
5
Suppose r + 8 - 10 = 0. Let f be 1*11 - r/(-2). Solve w = -2*w + f for w.
4
Suppose -z + 8 = j - 2*j, -z + 16 = -5*j. Suppose z*r - r - 2*t = 42, -70 = -5*r - 5*t. Solve -r = -0*d - 2*d for d.
5
Suppose -2*p - 2 = 2*i, 0 = -2*p - 2*p - 20. Solve 16 = -0*o - i*o for o.
-4
Let d be (-1)/(-5) - 58/(-10)*1. Solve i - d = -2*i for i.
2
Let g be (2 - (-5)/(-2))*0. Suppose -3*u = -5*v - 26, 5*u - 2*v + g*v = 18. Solve 2*y = y + u for y.
2
Let m = 41 - 25. Suppose -2*k = -0*k - m. Let q be 0/(-1)*2/(-4). Solve 3*c + 1 + k = q for c.
-3
Suppose 5*f + 15 = 0, -2*w - 2*f + 0 - 2 = 0. Solve -3 = w*d + d for d.
-1
Suppose -8*v + 4*v - 49 = 3*z, -4*z - v - 61 = 0. Suppose n + 0 = -2. Let r be ((z + -1)/2)/n. Solve m + r = -m for m.
-2
Suppose -25 - 20 = -3*t - 2*b, -60 = -4*t - 2*b. Suppose 0*s - 18 = -4*s - 3*j, 2*j - 4 = 0. Solve 2*f - t = -s*f for f.
3
Let f = -2 - -5. Let t be ((-2)/6*(0 - 0))/(-4). Solve f + t = l for l.
3
Let s = -1 + 4. Let c(k) = -s*k + 4*k + 12 + 0*k. Let q be c(-12). Solve m + q*m - 4 = 0 for m.
4
Suppose -9*i - 9 + 27 = 0. Solve i*r = 6 - 8 for r.
-1
Suppose -175 = -n + 6*n. Let d be (-222)/(-7) + (-10)/n. Suppose -f = -5*f + d. Solve g + f = -g for g.
-4
Suppose -l - 3*y + 4 = 0, -2*y = 2*y. Solve -4*g + l = 24 for g.
-5
Suppose 0 = -4*r - r. Suppose f = v + 8, r = 2*f - 4*v - 4 - 20. Suppose -9 = -5*n - f. Solve 1 = -h - n for h.
-2
Let v(t) be the third derivative of -t**6/360 - t**5/30 + t**3/6 - t**2. Let h(j) be the first derivative of v(j). Let r be h(-4). Solve r = -q - q + 10 for q.
5
Let i = -153 + 161. Suppose -5*y + 0*y + 20 = -5*s, 5*y - 2*s = 17. Suppose 3*m + 20 = -4*u, 6*m + 15 = 3*m - y*u. Solve m = -0*z + 4*z + i for z.
-2
Let l be 2*(-1 + 9)/4. Solve l*v + 0 = -16 for v.
-4
Suppose 0 = 4*r + 5*q - 15, 3*r - 3*q = -r + 23. Solve -4*f = 11 + r for f.
-4
Suppose 2*n + c = -3*n + 8, -3*c = 2*n + 2. Suppose 0 = n*h + 3*h. Solve 0 = -h*w - 2*w + 10 for w.
5
Let x = 6 - -1. Solve x = 3*u - 5 for u.
4
Let v(g) be the first derivative of -2*g**2 - 3*g + 4. Let h be v(-2). Solve 3*p = h*p - 2 for p.
1
Let c(h) = -2*h**2 + 2*h - 2*h**2 + 3*h**2 + 2*h**2. Let p be c(-2). Solve -4 = 2*y - p*y for y.
-2
Let d(y) = 8*y - 1. Let g(f) = 7*f - 2. Let z(b) = -5*d(b) + 6*g(b). Let c be z(11). Solve -l - c = 2*l for l.
-5
Let y = 7 + -4. Suppose -4*p + 3*z + 151 = 0, -17 = -p + y*z + 32. Solve p - 14 = 5*n for n.
4
Suppose 2*x = -p + 2, 0 = -2*x + 5*x + 3*p. Solve -2*d - x = -3*d for d.
2
Let i(y) = y**3 - 5*y**2 - 7*y + 6. Let p be i(6). Solve 0 = -c - p*c for c.
0
Let m(v) be the second derivative of -v**4/12 - 2*v**3/3 + v**2 - 6*v. Let l be m(-4). Solve 0 = -l*t - 2*t + 20 for t.
5
Let u(l) = -4*l**2 + 2 - 6 + l**3 + 0. Let b be u(4). Let g be (30/b)/(12/(-16)). Solve 0 = 3*p - 2 - g for p.
4
Suppose j + j + 10 = 0. Let k(b) be the second derivative of b**3/6 + 3*b**2 + b. Let v be k(j). Solve v + 0 = h for h.
1
Let v be ((0 + -1)*0)/1. Suppose -24*y + 27 = -15*y. Solve v = -z - y for z.
-3
Let a = 11 + -8. Suppose 4*q = -0*q - t + 3, t = 4*q + a. Solve q = k - 0*k for k.
0
Let s be (-55)/(3 + -8) + 4. Solve 0 = -5*x + 2*x - s for x.
-5
Suppose 0*h - 6 = -h. Solve -5*j = -2*j - h for j.
2
Suppose 4 = 10*x - 8*x. Let q = -7 + 12. Let k(t) = t**2 - 4*t - 5. Let s be k(q). Solve s = x*a + 2*a - 12 for a.
3
Suppose 5*y + 3*k = 61, k = -2*y - 2*k + 19. Solve -5 = -3*t - y for t.
-3
Let f(k) = -3*k - k + 13 + 3*k. Let w be f(5). Solve w = -i - i for i.
-4
Let n(u) = -u**2 - 3*u + 2. Let r be n(-3). Let l = 12 - 7. Solve -5 = r*t + l for t.
-5
Let w(k) = k**2 + 5*k + 9. Let j be w(-4). Solve 0 = 3*u + j + 1 for u.
-2
Suppose -6*y + 3*y = 0. Solve y*s = 2*s + 2 for s.
-1
Suppose 5 = 5*l, 0 = 4*d - 5*l - 7. Suppose d*s = 1 + 44. Suppose -s = -c - 4*c. Solve -c*n - 15 = -6*n for n.
5
Suppose 3*i = 5*i - 6. Suppose -i*c = 3*f - f - 12, 4*c = -4*f + 20. Solve 2*s = -0*s - c for s.
-1
Suppose -29 = -4*j - 81. Let w = -8 - j. Let d = -10 + 15. Solve -d*n + 5 + w = 0 for n.
2
Suppose 3*s - 2*x = 15, -s + 2*x + 12 = -x. Suppose s*h = 5*g + 5, -2*h = g - 5*h + 13. Solve g*p = -2*p + 16 for p.
4
Suppose -5*g + 53 = 2*y + 9, -3*y = -4*g - 20. Let b be (-1 + 1)/(-13 + y). Solve b*h = 2*h for h.
0
Suppose -8*v + 4 = -4. Solve 4*l - 7 = v for l.
2
Suppose -4*o + 12 = -0*o. Suppose -o*n - 1 + 19 = 0. Let l = 9 - n. Solve 0*b + 9 = l*b for b.
3
Suppose 1 = -3*q - 3*b - 2, b = -3*q + 1. Let h be q*(4 + -2 + -6). Let v(u) = -u**2 - 5*u. Let m be v(h). Solve -m*o = -o + 6 for o.
-2
Let f(u) = 2*u - 12. Suppose d = 2*d - 4. Suppose -6 = -5*r + 5*y + 14, -12 = -d*r + 5*y. Let c be f(r). Solve -c*b + 8 = -2*b for b.
4
Suppose 0 = 3*z + 4*y, -3*z + 2*y = -8*z. Let v(n) = -3*n**3 - 2*n**2 + 1. Let h be v(-1). Solve z*a = -h*a for a.
0
Let m = 20 - 13. Suppose -3*q + m - 1 = 0. Solve -v - q*v = 0 for v.
0
Suppose -3*c = 4*f - 3*f - 15, 2*f - c + 5 = 0. Solve f = 4*n + 12 for n.
-3
Let i be (2 + 0)*(-22)/(-4). Suppose 4*