s**5/20 - 5*s**4/12 + s**3 + 2*s. Let w be a(-6). Let f = w + 8. Solve f = -5*v - 7 for v.
-3
Let x(a) = 12*a - 4. Let v be x(2). Solve 7*b - v = 3*b for b.
5
Suppose -16*u - 2 = -17*u. Suppose z = -5*g + 2*z + 4, -4*z + 2 = -2*g. Solve -u*f + g = -f for f.
1
Suppose 3*a - 10*a = -35. Solve -a*r = -2*r - 9 for r.
3
Suppose z + z + 30 = 0. Let q = -64 - -39. Let m = z - q. Solve 5*u - m = -0*u for u.
2
Suppose -4*x + q + 21 = 0, -6*q - 21 = x - q. Suppose -3 - 1 = x*u, -3*j + 5*u = -29. Solve 0 = -3*d - 7 - j for d.
-5
Suppose -2*y + 162 = 5*o, -4*o - y - 20 + 149 = 0. Let p = o - 17. Solve 4*b + p = b for b.
-5
Suppose -2*s = -b - 3*b - 28, 5*b = -2*s - 8. Let t = 11 - s. Solve -4*q - 1 = -t*q for q.
1
Let w = -2 - -2. Solve 1 = -t - w for t.
-1
Let k be 2 - (48/28 - 6/(-21)). Solve 5*o + k*o + 15 = 0 for o.
-3
Suppose -2*w = 3*w. Suppose l + w*l = 4. Solve -l*n - n - 5 = 0 for n.
-1
Let f(w) = 7*w**2 - 13*w. Let h(t) = -13*t**2 + 25*t - 1. Let l(a) = -11*f(a) - 6*h(a). Let i be l(6). Suppose -4*v + 13 = 1. Solve i = -2*o - v*o - 10 for o.
-2
Suppose -4 = 4*u - a - 22, -2*u + 4*a + 16 = 0. Solve u*t + 6 = -10 for t.
-4
Let b(g) = 4*g**3 - 6*g**3 + 2*g - 1 + g**3 + 0. Let z be b(-2). Suppose -z*c - 2 + 5 = 0. Solve c + 4 = d for d.
5
Suppose 0 = 5*q - 43 + 23. Solve q*s - 21 + 9 = 0 for s.
3
Let d(c) = -c**3 - c**2 + 2*c. Let g be d(-2). Suppose -4*l + 8 = 4*s, g*l - 9 = -2*l - s. Suppose -2*i + l = 1. Solve -o + 0 - i = 0 for o.
-3
Suppose j - 4 = -0. Suppose -j*t - 3 = -5*t. Solve -4 + t = -h for h.
1
Let b = 18 + -16. Let w be -4 + b + (7 - -1). Solve -4*v = -w*v for v.
0
Let b = -22 + 26. Solve 0*w + b = w for w.
4
Let v = -6 - -10. Let g be (0 + -2 - v)/(-2). Solve -2 + 11 = g*r for r.
3
Let b = -17 + 17. Solve b*n + n + 3 = 0 for n.
-3
Suppose -7*z + 21 = -4*z. Solve -2*r - 15 = -z*r for r.
3
Let f(y) = y**2 - 2*y + 1. Let s(r) = -3*r**2 + 6*r - 3. Let u(v) = 7*f(v) + 2*s(v). Let a be u(1). Solve -12 = -4*q - a*q for q.
3
Suppose 5*l + 8 - 28 = 0. Suppose 0*s + 4*s - 1 = -3*w, l = s - 3*w. Solve -9 = -2*z - s for z.
4
Let b(o) = o**2 - 3*o - 8. Let s be b(5). Solve s*n = 5*n + 6 for n.
-2
Suppose 3*l + 3*n - 6 = 0, -2*l - 2 = 3*n - 4. Let b(g) = g**3 + 7. Let a be b(0). Suppose a*x = l*x + 3. Solve 2*m + 7 = -x for m.
-4
Suppose 2*x = 5*b + 80, -51 = 4*b - 0*b + x. Let k be ((-4)/7)/(b/49). Solve 0 = p + 2 + k for p.
-4
Let w be ((-8)/(-36) + 7/9)/1. Solve -k = -w + 5 for k.
-4
Suppose 4*i - 8*i + 4 = 0. Let z = 31 + -6. Suppose -a + 6*a = z. Solve 2*h = -i - a for h.
-3
Let k(f) = f**3 + 8*f**2 - 5. Let u be k(-8). Let s = 13 + u. Solve -2*o + 0 + s = 0 for o.
4
Let p be 5 + 0 + (1 - 1). Solve 4*r + p = -7 for r.
-3
Suppose 0 = -4*v, 7*h - 35 = 2*h + 3*v. Solve -4*t - 23 = -h for t.
-4
Let a(q) = q**2 + 2*q + 5. Let v be a(-3). Suppose 12 = -2*p + v*p. Solve w - p + 5 = 0 for w.
-3
Let q(f) = -2*f + 10. Let j be q(4). Solve j*k - 4 = 6*k for k.
-1
Let j = 8 - 8. Suppose -2*f + 49 = 3*g, -2*f - f - g + 56 = j. Solve 5*b = -f - 3 for b.
-4
Suppose -12*c + 156 = 36. Solve c*k = 8*k + 4 for k.
2
Let g(l) be the first derivative of 1 + 4*l - 1/3*l**3 - 7/2*l**2. Let w be g(-7). Solve 8 = w*d + 24 for d.
-4
Suppose y + 1 = 9. Let i be y/12 - 1/(-3). Solve q - 3 + i = 0 for q.
2
Suppose -4*q = -6*q + 10. Suppose 5*j + 4*z - 12 = 0, 0 = 2*j + 5*z - 12 - 3. Solve -q*s - 23 - 2 = j for s.
-5
Suppose 3*s = 4*s - 2. Suppose 2*a - 12 = -s*a. Suppose 4*j + 3*o - 9 = 0, -j + 4*o - 8*o = -12. Solve j = 2*v - a - 1 for v.
2
Suppose -15 = -5*m, -4*m = 3*o - 8*o - 2. Suppose -4 = -2*a + o. Solve 3*g + 6 = -a for g.
-3
Let g = -13 + 16. Let a be 5/3 - (-1)/g. Solve -a*t + 0 = -8 for t.
4
Let s(x) = x + 1. Let r be s(-1). Suppose 2*y + 0*y - 8 = -4*p, -3*y = 5*p - 7. Let w = y - -9. Solve r = -3*u + w - 0 for u.
1
Let a(i) = -i + 6. Let p be a(3). Solve -7 = z - p for z.
-4
Let u(a) = 7*a**2 + a - 1. Suppose 3*g - 3 = -0*g. Let m be u(g). Solve 0 = m*b - 2*b + 15 for b.
-3
Let z(m) = 4*m**2 - m + 1. Let s be z(1). Suppose 3*d = -d + 64. Let g be (-4)/d - (-17)/4. Solve 0*p - g = -s*p for p.
1
Let t(k) = k - 5. Let f be t(7). Let q(a) = 2*a**3 - 2*a**2. Let m be q(f). Solve 2*i + 2 + m = 0 for i.
-5
Suppose -x + 3 = -0*x. Suppose 4*p = 17 + 3. Suppose -2 = -p*y + q + 18, 0 = -x*q. Solve 12 = 4*l + y for l.
2
Suppose 3*c - c = 10. Let f(o) = o**3 + o**2 + 12. Let u be f(0). Suppose c*q = q + u. Solve 2*s = -1 + q for s.
1
Suppose -12 = -3*z + 4*b - 5*b, 15 = -5*b. Solve -z*k = -k - 20 for k.
5
Let r be 6/(-4)*(-8)/3. Suppose -2*l - 10 = -q + 3*l, r*l = -3*q + 49. Solve -4*v = -v - q for v.
5
Let q be (-23)/(-7) + (-2)/7. Suppose -2*n = -h - 4*h - 3, 0 = -n - 2*h + 6. Suppose c + b = -1, 3*c - 7*b = -n*b + 27. Solve q*w = c*w for w.
0
Suppose 0*x - 4*x = -y - 2, x + 5 = 3*y. Suppose r = -y*r + 6. Solve -r*z + z = 1 for z.
-1
Let j be (2/4 + -1)*-4. Let v(g) be the third derivative of -g**4/8 - g**3/2 + 3*g**2. Let t be v(-3). Solve -2*b + j = -t for b.
4
Suppose 4*l + 8 = 6*l, -44 = -4*a + 4*l. Solve -i = 4*i - a for i.
3
Let z(g) = 4*g**3 - g**2. Let b be z(1). Solve v = b*v for v.
0
Suppose -92 = -3*w - t, -3*t - 48 - 66 = -4*w. Solve -5 = -5*s - w for s.
-5
Suppose h = -3*h + 12. Let i = 11 - -4. Suppose -h*w - i = -u, -w - w = 2*u + 2. Solve -4*s + u = -s for s.
1
Suppose n = k - 63, 4*k - 101 = 3*n + 154. Let f = -34 + k. Solve f - 7 = -5*a for a.
-5
Let r(h) = 2*h**2 + 6*h + 5. Let c(v) = -v**3 + 4*v**2 - v. Let j be c(4). Let k be r(j). Solve -k = -4*d + 7 for d.
5
Suppose 8*l = 35 + 13. Solve -y = 2*y + l for y.
-2
Let n = -13 - -19. Let c be (n/(-9))/(14/(-147)). Suppose 5*b - 3*d - 43 = 0, 5*d = -0*b - 3*b + 19. Solve 0 = 5*k + c + b for k.
-3
Suppose -4*h + 7*h = 0. Solve -2*c + h*c = 2 for c.
-1
Let o be (-8)/20 - 12/(-5). Suppose -l = -2*p - 4, o*p - 6 = -6*l + 2*l. Suppose -2*b = f - 4*f, -l*b = f. Solve b - 9 = -3*d for d.
3
Suppose 0 = 2*m - 2*m + 4*m. Solve 0*z - z + 5 = m for z.
5
Let q(j) = -j**3 + 7*j**2 - 9*j. Let t be q(5). Solve -3*o + t = -2*o for o.
5
Suppose 0*a + 4*a - 16 = 0. Let b(r) = 3*r - 3. Let j be b(3). Let s = j - 6. Solve 4*k + a + s = 0 for k.
-1
Let c = 1 - -3. Let m = c - 2. Solve -7*z = -m*z + 20 for z.
-4
Let z = -16 - -18. Solve -z*q = -3*q for q.
0
Suppose -3*k - 2 = p, -k + 3*k = 4*p - 6. Solve -2*s = p + 3 for s.
-2
Suppose -3*k - 2 + 20 = 0. Let s = 11 - k. Let o be 10/(-25)*s*-3. Solve -o*j = -j + 20 for j.
-4
Let z(f) = -2*f - 12. Let a be z(-7). Solve 0 = -a*g + 5*g + 12 for g.
-4
Suppose 5*j - 28 - 7 = 0. Let c be (j/(-21))/(2/(-18)). Suppose -2*d - 6 = -5*v + 19, c*d + 6 = -3*v. Solve v = 2*t + t for t.
1
Let n(w) = -w**2 - w + 2. Let m be n(-2). Let i = 0 + m. Solve 3*z + i*z = 3 for z.
1
Let k be 1*(-3 - -3 - -2). Suppose -3*s = k*w - 10, -3*w - s = -w - 6. Suppose 8 + 13 = 4*i + 3*x, i - 5*x = -12. Solve w*c - 5 = -i*c for c.
1
Suppose 5*o - 2 = 8. Solve 16 = 2*b + o*b for b.
4
Let t(f) = f - 6. Let w = 14 + -2. Let p be -1 + 4/(w/27). Let h be t(p). Solve h*o - 4*o = 0 for o.
0
Let p = 77 - 59. Solve -p*d = -22*d for d.
0
Suppose 5*n = -0*n + 20. Solve -o - n = -2*o for o.
4
Let i = -17 - -20. Solve -i*b - 1 = -4 for b.
1
Let f(n) = n**3 + 7*n**2 + 5*n. Let p be f(-6). Suppose v + 5*v = 24. Solve -v*q = -2*q + p for q.
-3
Suppose 4*r + r - 25 = 0. Let n be 3/(r/(30/9)). Suppose p + 1 = n*p. Solve t + 1 + p = 0 for t.
-2
Let n(v) be the first derivative of -v**2/2 + 2*v + 3. Let y be n(-5). Solve 4*u + y = -5 for u.
-3
Let z = 19 - 11. Suppose 0 = n - 3*n + z. Suppose -3*m + n*m - 6 = 0. Solve x + 20 = m*x for x.
4
Let f(s) = 4*s + 14 - 2*s - s. Let c(w) = -w**2 - 4*w + 5. Let z be c(-5). Let q be f(z). Solve 4*o - 34 = -q for o.
5
Let s be (-33)/(-7) + 6/21. Let z be -2 + (-7 - (3 - 2)). Let l be ((-4)/z)/(1/s). Solve l*k - 6*k = 16 for k.
-4
Let p = 20 + -5. Solve z = 6*z - p for z.
3
Let p be (-9 + 0)*1 - 0. Let v be 6/(-1)*6/p. Solve 5*k + 1 = -v for k.
-1
Suppose -x = -5*i - 15, 5*x = -3*i - 2*i - 15. Let m(y) = 2*y**2 + 4*y + 3 - y + x*y. Let d be m(-2). Solve 3 + d = -4*l for l.
-2
Suppose 0 = -4*v - 25 + 85. Solve -5*b = -2*b - v for b.
5
Let a(z) = -z**3 - z**2 - z. Let w(c) = -6*c**3 - 10*c**2 - 9*c. Let r(d) = -5*a(d) + w(d). Let h be r(-4). Solve 3*n + 5 - 20 = h for n.
5
Suppose -5*g = -0*