2*k + 0 = -b for k.
4
Let u = -71 + 77. Solve 5*f = u*f + 4 for f.
-4
Suppose 0 = -6*v + v + 15. Let m = 10 - 6. Suppose m*b = -i - v, -7*b + 12 = 4*i - 3*b. Solve 12 + 8 = -i*j for j.
-4
Let x = 26 - 14. Suppose -n = -2*n - x. Let f be n/(-4) + 1 + 6. Solve -4*z = -2*z - f for z.
5
Let p be ((-1)/3)/(3/(-36)). Suppose -5*f - o - o = -30, -9 = p*f - 5*o. Suppose -2*c + 7 = -3*y, 3*c - f*y = c + 8. Solve b = c*b - 3 for b.
3
Let r(n) = 4*n. Let g be r(2). Let u = g - 5. Let v(z) = -z**2 + 20*z - 32. Let t be v(18). Solve -t*c = -7*c + u for c.
1
Let q(z) = 4*z - 1. Let r be q(1). Suppose r*j - 18 = -j - 2*n, 0 = 2*j - 2*n. Let m = j + 0. Solve -2*x = -9 + m for x.
3
Let p(z) = -z**3 - 4*z**2 - 4*z - 2. Let t be p(-2). Let n = 4 + t. Suppose 3*b - 3*l = -9, n*b + l = 2*l - 3. Solve -4 + b = 4*r for r.
-1
Suppose 0 = b + 4*z + 4, -6*b - 3*z - 3 = -5*b. Let g = 1 - 0. Let k be -1 + g + 25/1. Solve b*u = 5*u + k for u.
-5
Let o(t) = t**3 - 14*t**2 + 2*t - 16. Let a be o(14). Solve -2*k = k - a for k.
4
Suppose 0 = -5*z + 6 + 34. Suppose 2*u + 10 - 16 = 0. Solve -u*m - z = m for m.
-2
Let v = -12 - -13. Suppose v = -2*z + 7. Solve 0*m - m = z for m.
-3
Let t = 6 + -19. Let f = -20 - t. Let o be 2/f - (-2)/7. Solve 2*c - 5*c + 12 = o for c.
4
Let d(h) = -h**3 - 18*h**2 + 20*h + 22. Let m be d(-19). Solve 9 = m*w - 6*w for w.
-3
Let z(u) = 23*u + 0 + 1 - 30*u. Let b be z(-1). Solve -l + b = 3*l for l.
2
Let b(c) = 2*c**3 + 21*c**2 - 11*c + 2. Let s be b(-11). Solve 6*p - s*p = 8 for p.
2
Suppose 0*v + 7 = 5*m + v, 2*m = -4*v - 8. Solve -m*z - 1 + 5 = 0 for z.
2
Let t(v) = v**3 + 9*v**2 + 8*v + 3. Let w be t(-8). Let h(g) = g**3 - 3*g**2 + 4. Let z be h(3). Suppose -8 = -0*n - z*n. Solve w*i - i = -n for i.
-1
Suppose -12*c + 8*c = -24. Solve -2*y + 8 = c for y.
1
Let v(t) = -2*t - 13. Let u be v(-8). Let p be (0 + u)/(6/16). Solve -6*w = -2*w + p for w.
-2
Suppose -4*x - m + 3*m = -22, 4*x + 2*m - 26 = 0. Let k be (-48)/(-27) + x/27. Let p = -2 + 2. Solve -4 = k*c - p*c for c.
-2
Suppose 3*j + 1 = 10. Solve j*o = -2*o for o.
0
Let i(v) = -v**2 + 11*v - 8. Let o be i(7). Suppose o = g - 1. Suppose -4*m + 5*w + g = 0, 3 + 0 = -3*w. Solve 0 = 4*a - 0 + m for a.
-1
Let k(h) = 5*h**3 - 2*h + 1. Let a be k(1). Solve -a = 3*f - f for f.
-2
Suppose -4*i = -0*i + 16. Let t be i/(-6) + (-2)/3. Suppose t*q + q = -5*n - 5, 3*q - 21 = 3*n. Solve q*m + 3 = 23 for m.
4
Let r be (3/(-2))/(12/(-24)). Solve 5 = 2*t + r*t for t.
1
Let i = -2 - -8. Let a(t) = -t**3 - t**2 - 1. Let q(g) = 5*g**3 - g**2 - 6*g + 9. Let h(l) = 4*a(l) + q(l). Let v be h(i). Solve 0 = -v*m - 21 + 1 for m.
-4
Let i be (-2)/(-5 + (0 - -3)). Let x = 3 + i. Solve -3*t - 19 = -x for t.
-5
Let k(p) = -3*p - 15. Let f be k(-5). Solve -2*n - 3*n - 5 = f for n.
-1
Let f(x) = x**3 - 4*x**2 - 8*x + 9. Let y be f(6). Suppose 5*h = y - 8. Solve 1 = h*v - 14 for v.
3
Let r(w) = w**3 + w**2 - w + 5. Let k be r(0). Suppose 4*g + 8 = 2*j, j = -2*j - k*g + 1. Solve -5*l = -j*l + 6 for l.
-2
Let a(c) = -7*c + 5 + 2 - 5 + 0. Let l be a(-2). Solve g - 5*g = l for g.
-4
Let m = 14 + -12. Let k be 18 - 0 - (-1)/(-1). Suppose -5*c + 6*n + k = 3*n, 0 = -m*n - 8. Solve -5*y + c = -9 for y.
2
Let r(y) = -2*y**3 + 1 - 5*y**2 + 4 + y**3 + y. Let g be r(-5). Solve g = 6*b - b for b.
0
Suppose 0*b + 10 = -2*b, -5*s - 10 = 4*b. Solve -s = -2*y + y for y.
2
Suppose 0 = -4*y + a + 69, -2*a + 2 = 12. Solve 2*f - 6*f = -y for f.
4
Suppose 0 = s + 4*w - 3*w - 1, -14 = -2*s + 2*w. Let n(y) = 4*y**3 + 2. Let h be n(2). Suppose 2*p - h = -3*l, 10 = p + 5*l - 0*l. Solve p = -s*k - 0 for k.
-5
Let h be (1 + 3)/((-2)/(-4)). Let i(q) = -q. Let x be i(-3). Solve -x*z - h - 4 = 0 for z.
-4
Let v be ((-40)/(-14))/((-18)/(-63)). Suppose u + 2 = -3*g, -4*u + 2*g + 10 = -v. Solve 0*q = q - u for q.
4
Let i(x) = -x**2 + 6*x + 3. Let r be i(6). Suppose 8 = 5*o - r*y, 1 = -2*o + 3*y - 3. Suppose -8 - 37 = -5*u. Solve u*c - o*c = -25 for c.
-5
Let f be (-8 - -3)*(-2 + 1). Let c(t) = t**2 - 5*t + 2. Let g be c(f). Solve -3*b = g*b for b.
0
Let k(c) be the third derivative of c**5/30 + c**4/6 - c**2. Let f be k(-3). Let r = 125 - 122. Solve -p = r - f for p.
3
Let r(a) = -2*a**3 + 4 + 0 - 3*a**2 - 3*a**2 + 3*a**3. Let g be r(6). Solve 5*h - g*h = 0 for h.
0
Let q(s) = -3*s - 13. Let a be q(-8). Solve -3*t + a + 4 = 0 for t.
5
Suppose -5*z + 16 = 3*z. Let p(m) = -m. Let h(k) = 5*k - 1. Let t(l) = -h(l) - 6*p(l). Let a be t(z). Solve -a*n + 15 = 3 for n.
4
Let q = -54 - -56. Solve v + q = -3 for v.
-5
Let x be -2 - (-16)/(2*-2). Let u = 7 + x. Solve l = -3 - u for l.
-4
Suppose 0*d + 60 = 12*d. Let w = 1 + -1. Solve -d*x + 2*x - 15 = w for x.
-5
Let q be 44/2 - (1 - -1). Solve -x = 4*x + q for x.
-4
Suppose f - 2*f + 2 = 0. Suppose 0 = -f*b - 1 + 9. Suppose 14 = 5*s + 4*c, -5 + 1 = -4*s + b*c. Solve 1 = s*h - 1 for h.
1
Let u(o) = -7*o - 1. Let w be u(-1). Solve k + 2 = w for k.
4
Suppose 0 = 4*h + 4*d - 23 - 1, -4*d = -h - 9. Solve -h*j = j - 20 for j.
5
Suppose 3*f - f - 48 = 0. Suppose -f = i + 2*i. Let s(p) = p**2 + 7*p + 11. Let r be s(i). Solve 3*x = r - 7 for x.
4
Suppose s - 1 - 19 = 0. Suppose -y - s = -6*y. Solve 0 = -y*d + 3*d + 4 for d.
4
Let o(c) = -c**2 + 3*c + 13. Let k be o(6). Let r(w) = w**2 + 6*w + 7. Let a be r(k). Solve 4*p = a*p for p.
0
Let s be 8/(-28) + 86/7. Let m be 15*(s/9 + -1). Suppose -m*n + 15 = -0*n. Solve 0 = -n*t + 2 + 4 for t.
2
Let z be (-7)/4 - (-9)/12. Let y be 3 + z*(3 - 4). Solve -1 = 5*k - y*k for k.
-1
Suppose 4*p - 6 = 14. Solve -5*z + p = -10 for z.
3
Let q = -8 - 0. Let u = 53 + -58. Let w = u - q. Solve 0 = -3*p + 2*p - w for p.
-3
Let t(b) = -26*b**3 - 2*b**2 - b. Suppose 3*z + 2 + 1 = 0. Let j be t(z). Suppose -k = 4*x - j, 0 = -3*x + 2*k - 1 + 6. Solve -1 = p - x for p.
4
Suppose -3*v - 50 = 2*s, s = -3*v + 6*s - 64. Suppose -678 = 3*w - 0*w + 3*o, 4*o - 912 = 4*w. Let b be w/(-9) - (-4)/v. Solve 4*l + l + b = 0 for l.
-5
Suppose 0 = 5*r + 3*p - 63, p + 4*p + 43 = 4*r. Suppose 5*g - g = r. Solve 0 = g*w - 5*w + 2 for w.
1
Let u be 6/(-2) - (-10 + -61). Suppose 3*v - 2*g = u, -3*v + 64 = -0*v - g. Solve -6*b = -b + v for b.
-4
Let x = -28 + 32. Solve -u = -3*u - x for u.
-2
Let c(w) = w + 6. Let r be c(5). Suppose -2*f + r = 5*x - 2, -5 = 5*x. Solve -f = v + 2*v for v.
-3
Let c be (3 - -2) + 1/1. Solve c = -2*z - 0 for z.
-3
Let u = -3 + 6. Suppose 0 = 4*a - u*a - v - 19, a = -v + 15. Solve 8 + a = 5*k for k.
5
Let z = -12 + 17. Suppose -z*m = 2*j - 16 - 0, 4*j + 3*m - 32 = 0. Suppose 7*a - 29*a + 44 = 0. Solve a*y = 6*y - j for y.
2
Let a be (2/4)/(3/30). Let y = -14 + 17. Solve y = o + a for o.
-2
Let u be (5/(-3))/(6/(-72)). Solve 0 = 6*l - l + u for l.
-4
Let u be 1 + 2 + 16 + -4. Suppose 4*f + 17 = -u. Let k be 4/(-16) + (-2)/f. Solve -2*h + k = 2 for h.
-1
Suppose -l - l + 6 = 0. Let t(s) = 4*s**2 - 4*s. Let b be t(l). Suppose -3*x + b = x. Solve -2*d - x = -5*d for d.
2
Let w be 2/8 - (-35)/4. Let b = 2 - 0. Solve -5*j + b*j = w for j.
-3
Suppose 0 = -t + 6*t. Solve t = i - 2 for i.
2
Let d be 0 + -4 + 1 + 4. Let m be (6 - (1 + 2)) + d. Solve m*p - 3 = 3*p for p.
3
Let t(p) = -5*p - 5. Let l be t(-2). Solve 3 = -l*r + 13 for r.
2
Let a be 21/(-14)*20/(-6). Suppose 2*r - 10 - 16 = -3*o, a*o - 37 = 3*r. Solve -4*m + 0 = o for m.
-2
Let k(n) = n**2 - n. Let d be k(-1). Let x be ((-15)/10)/((-1)/d). Solve -2 = x*c - 11 for c.
3
Let l be (-2)/5 + 44/10. Suppose b + 6 = 2*f, -l*b + b = 5*f - 15. Solve 3 = s - b*s for s.
3
Let l be (-4)/(-12)*(20 + 1). Suppose 3*f + 2*y + 28 = l*f, 0 = 4*f + 3*y - 28. Solve -3 = 2*o - f for o.
2
Let a be 1/(-2)*(-1 - 7). Suppose -a*d - 7 = -27. Let k be 12 - ((-5)/(-5) + -5). Solve -d*b + b = -k for b.
4
Suppose 0 = -4*p + 3*p + 2. Suppose -c + 6*c = -4*r + 11, -3*r = p*c - 10. Solve 4 = -r*i - 4 for i.
-2
Let w(a) be the third derivative of -3*a**2 + 0 + 1/3*a**4 + 3/2*a**3 + 1/60*a**5 + 0*a. Let q be w(-7). Solve 0 = -q*v - 0*v for v.
0
Let h(v) = 2*v**2 - 2*v + 2. Let s be h(2). Let r be (-40)/s - (-2)/(-6). Let i(x) = -x**2 - 9*x - 10. Let w be i(r). Solve -w*q = -2 + 6 for q.
-1
Let p be (36/30)/(2/5). Solve p*x + 4 = 7*x for x.
1
Suppose 0 = -4*x - 3*x + 21. Solve 13 - 4 = -x*k for k.
-3
Let q be ((-2)/4)/((-7)/42). Let u(h) = 6*h + 2. Let y be u(q). Solve p