+ 9*k - 4. Let b be s(h). Solve -4*m = -0*m + b for m.
-2
Suppose 0 = -t + 4 - 2. Suppose i + 2*n = 8 + 10, -t*i + 12 = -4*n. Solve 0 = -3*p + 7*p + i for p.
-3
Let t(i) = -4*i + 37. Let y be t(7). Let q = y - 9. Solve q = x + 3*x for x.
0
Let o(d) = d**3 - 5*d**2 + 8*d - 35. Let k be o(5). Solve k*w + 0 + 25 = 0 for w.
-5
Let l = -348 - -356. Solve 11*d + 3 = l*d for d.
-1
Suppose -4 = 5*j - 9. Suppose 0 = -2*x - j - 21. Let b = x + 19. Solve -6*n + 2*n = b for n.
-2
Let d(p) = p**2 + 13*p + 53. Let o be d(-10). Solve 18*i - o*i = 20 for i.
-4
Suppose -a - 2 = -2*a. Let v be 128/40 + 2/(-10). Suppose -v*f - x + 4 = 0, a*x - 3*x = 2*f - 2. Solve -4*y = f + 14 for y.
-4
Suppose -2*v = m - 24, -5*v + 2*m + 90 - 21 = 0. Suppose -5*y = 3*x + 22, -3*x + 0*x + y + 8 = 0. Solve v - x = -3*u for u.
-4
Let l be -3 - (-1 - (5 + 0)). Suppose l*x - 10 = -2*x. Suppose -4*v + 12 = 2*g, 0 = -0*v + 5*v + x*g - 17. Solve v*y = y for y.
0
Let d be (-350)/(-75) - (1 + 1)/(-6). Suppose -40 = 7*w - 12*w. Solve -7 = -d*n + w for n.
3
Let l be 14 + 2 + 5/((-35)/28). Solve -8*u + 14*u = -l for u.
-2
Let v(l) = -l**3 - 4*l**2 - 6*l. Let b be v(-4). Let d = b + -22. Solve j + j = -d for j.
-1
Let x = 39 + -25. Let s be (-3)/2 - (-63)/x. Solve 2*a = s*a - 1 for a.
1
Let l(v) = 2*v**3 + 9*v**2 + 13*v + 18. Let j be l(-3). Solve 2*f - j - 4 = 0 for f.
5
Suppose -b - 4*v + 3 = 0, -105 = 5*b + 2*v - 138. Solve b*p = 12*p - 15 for p.
3
Suppose 3*b + 30 = -3*w, 4*b + w = -0*b - 37. Let y = -7 - b. Suppose -h + 58 = 4*o - o, -y*h - 4 = 0. Solve 3*c - o = -c for c.
5
Let j(s) be the third derivative of s**5/60 + 5*s**4/12 + 7*s**3/3 + 3*s**2. Let l be j(-11). Solve 0*m - l = 5*m for m.
-5
Let p be 2*(-1)/(-4)*6. Suppose s + 2 = 0, p*h - 3*s + 0*s - 18 = 0. Let v(m) = -m**2 - 6*m - 2. Let n be v(-5). Solve h = n*j - j for j.
2
Let k = 80 - 45. Let z(s) = 1 - s + 0*s**3 - s**3 - 6 + 5*s**2 + 2*s**3. Let n be z(-5). Solve 5*d - 10 + k = n for d.
-5
Suppose -q - 6 = -2*s - 4, 2*q = -s + 11. Solve -s*n - 104 + 92 = 0 for n.
-4
Suppose -15 = r - 25. Solve 22*h - r - 56 = 0 for h.
3
Let c(k) = k**2 + 12*k + 40. Let m be c(-8). Solve 4*o - m = 8 for o.
4
Suppose -25 = -18*q + 11. Solve -q*c + 2*c = -c for c.
0
Let u(t) = 2*t + 12. Let j be u(-9). Let h be (-2)/(-14)*j*(-63)/18. Solve h*z - 5 = 7 for z.
4
Let i(q) = -q + 10. Suppose -8*y + 40 = -3*y. Let t be i(y). Suppose 10 = -t*m, 3*x + 2*m = 1 + 7. Solve 20 = x*d - d for d.
4
Let m(v) be the second derivative of -v**4/12 + 4*v**3/3 - 5*v**2/2 - 26*v. Let k be m(7). Solve -k = -5*i + 3 for i.
1
Suppose 7 - 31 = 3*y - 3*z, 0 = 4*y + 2*z + 44. Let k be (y/(-4))/((-3)/(-6)). Solve 0 = -k*i - 3 + 8 for i.
1
Let l = -72 - -24. Let f = 51 + l. Solve -5*c - f - 12 = 0 for c.
-3
Let f = 1 - -5. Let w be 1/4 - 69/(-12). Suppose -5*u = -4*u - 4*u. Solve 3*k - w - f = u for k.
4
Suppose -64 = -4*g + 2*f, -5*f + 8 = -12. Suppose -g - 15 = -11*b. Solve 0*l = -b*l for l.
0
Let f(h) = h**3 + 7*h**2 + 6*h + 2. Let y be f(-6). Let g = 7598 - 7596. Solve 3*t - y = g*t for t.
2
Let u(h) = -5*h - 1. Let z be u(-1). Suppose -2*k - 2*p + 50 = 3*k, 5*k - z*p = 80. Solve -3*g = -0 - k for g.
4
Suppose 7*z - 15 = 4*z. Let v = -7 + 5. Let j = v + 3. Solve 0 = m - z + j for m.
4
Let l = -5 + 5. Let w be ((-45)/6)/(18/(-60)). Solve w = -l*y - 5*y for y.
-5
Let y(f) = -2*f**3 - 24*f**2 + 28*f + 40. Let p(l) = -3*l**3 - 36*l**2 + 42*l + 60. Let a(q) = -5*p(q) + 8*y(q). Let o be a(-13). Solve -2*k = -3 - o for k.
5
Suppose -2*l - 5*d + 26 = 0, -3*d + 8 = -2*l + 2. Solve 0 = -l*b - 0*b + 15 for b.
5
Suppose -g = 3*g + 4*m, 0 = 5*g - 5*m - 40. Suppose 5*f = -2*q - 19, 5*q - 5 = -41*f + 39*f. Solve q*o - g = -o for o.
1
Let i be 11 - -1 - (9 - 5). Suppose f - i = -1. Solve -1 + f = 3*d for d.
2
Let f = 720 + -690. Solve -c = 5*c + f for c.
-5
Suppose 6*p - 4*p - 24 = 0. Solve -30*r + 34*r = -p for r.
-3
Let i(c) = -c**3 - c**2 + c + 1. Let n = -32 + 30. Let x be i(n). Suppose -21 = -x*v + 3*m + m, -2*v - 4*m = 6. Solve -u + 10 = -v*u for u.
-5
Let y be (2 - 0)/(2/(-13)). Let v = 14 + y. Let x = 6 - 1. Solve 0 = -x*u - v + 6 for u.
1
Suppose 4*b + b = -s - 1, 0 = 2*b - 4*s - 4. Let w be 6/4*(b + 2). Let q be -4*(2 + 18/(-4)). Solve 8*n - w*n - q = 0 for n.
2
Let n = -984 - -987. Solve -5*k - n = -4*k for k.
-3
Let y = 28 + -46. Let v = y + 20. Suppose v*c - i + 5*i = 34, -3*i + 6 = 0. Solve -4*p = -5 + c for p.
-2
Suppose -56*v - 45 = -53*v. Let x be ((-18)/v)/(4/30). Solve -s + 4*s = -x for s.
-3
Suppose 2 = -r + 3. Let s(p) = 2*p**3 + 2*p**2 - p. Let o be s(r). Suppose -u - 4 = -0*u - o*l, 4*u = -4*l + 16. Solve 4*v = u*v + 4 for v.
2
Let d(s) = -3*s**2 - 25*s - 3. Let v be d(-8). Suppose -6*l + 2*l = -44. Let q = l + -7. Solve v*o = o - q for o.
-1
Suppose -2 = -o - 0. Let g(p) = 4*p**2 + 4*p - 4. Let m be g(2). Solve 2*f + o*f = m for f.
5
Let v(a) = a**2 + 8*a + 25. Let l be v(-7). Solve -16 = -10*j + l*j for j.
-2
Suppose -38 + 10 = -7*v. Let j be 1 - (-4)/((-4)/(-2)). Let x = j + 0. Solve v = -x*l + 16 for l.
4
Suppose 3*x - 2*x = 2, 0 = -2*b - x + 12. Solve b*r + 24 = 9 for r.
-3
Let b be 4*(-5)/10 - -4. Suppose -4*g = 12, i + 13 = -b*g - 3*g. Solve 0 = 2*l + i for l.
-1
Let x(c) = -7*c - 20 + 12*c + 5. Let k be x(3). Solve k = -3*v - 2*v for v.
0
Let t be (-2 - (-35)/10)*(-10 + 20). Solve -48 = t*m + m for m.
-3
Suppose 5*x + 16 + 104 = 0. Let q = -10 - x. Let l = 128 - 124. Solve -q = l*f - 2 for f.
-3
Let d(z) be the first derivative of z**4/4 - 7*z**3/3 - z**2 + 18*z - 28. Let f be d(7). Solve 0 = 8*g - f*g for g.
0
Suppose -13*c + 11*c + 54 = 0. Suppose 94*t + c = 97*t. Solve -4*n = -3 - t for n.
3
Let s(w) = -3*w**2 + 15*w - 11. Let g(h) = -2*h**2 + 10*h - 7. Let a(r) = 7*g(r) - 5*s(r). Let d be a(5). Solve -d*y = -4*y + 2 for y.
-1
Suppose -2*f + 100 = 3*m + 6, 5*f - m = 218. Suppose -y + 44 = -4*x, 2*x - f = 4*x + 5*y. Let l = -9 - x. Solve -p - 4 = l*p for p.
-1
Let p = 293 + -285. Solve 0 = -b + 3*b + p for b.
-4
Suppose -44*l + 47*l - 15 = 0. Solve l*g - g + 4 = 0 for g.
-1
Let c be (-70)/(-15) + (-3)/(-9). Solve z - c + 3 = 0 for z.
2
Let m(t) = 6*t + 5*t**2 - 13*t**2 + 7*t**2 - 4. Let a be m(4). Solve 1 = o - a for o.
5
Suppose -w - 4*v = -24, -2*w - v + 35 = 8. Solve 6*q - 9*q = w for q.
-4
Let b be ((-374)/(-8) + -7)*(-8)/(-3). Solve -5*i = b - 116 for i.
2
Let o be 6398/238 + (-2)/(-17). Solve -o*q + 4 = -29*q for q.
-2
Let b be 27/(-54)*-1*6. Solve -4*v = -b*v + 5 for v.
-5
Let y(c) = c**3 - 2*c**2 - c + 1. Suppose -3*t = 9, 3*b - 6*b + 15 = -2*t. Let m be y(b). Solve -1 = 2*g - m for g.
3
Suppose -6*x - 207 + 921 = 0. Let r = -114 + x. Suppose -2*m + 5*p = 1, -4*p = m - 0*p - 6. Solve -1 = m*c - r for c.
2
Suppose 0 = -5*x + 92 + 68. Suppose 2*i - 22 = -3*l + l, -4*l = 2*i - x. Solve 5*c = 1 - i for c.
-1
Suppose 40*k - 23*k - 34 = 0. Solve -384 = k*b - 380 for b.
-2
Let y(h) = 4*h**3 - h**2 + 2*h - 1. Let z be y(1). Let s be 200/(-90) - z/(-18). Let q(m) = 2*m**2 - 3. Let n be q(s). Solve n*f = -2 - 3 for f.
-1
Let s(c) = -2*c**2 - 24*c + 16. Let g be s(-12). Solve 7*k - 3*k = g for k.
4
Suppose 19*l - 60 = -22. Solve -l*y = -15 + 9 for y.
3
Suppose 29 = 3*i + l, 5*i - l - 16 - 19 = 0. Solve i*y - 11 + 3 = 0 for y.
1
Suppose 0 = 5*j - j - 16. Let o(t) = -t + 8. Let i be o(5). Suppose j = i*a + 1. Solve p + a = -4 for p.
-5
Suppose -4*x = 5*u - u - 64, -4*x = -3*u - 64. Suppose -2*t = t + n - x, 3*t - 4*n = -4. Suppose 0 = -0*p - 4*p + 80. Solve -t*l - l = -p for l.
4
Let w be (-3 - -1)*(-2)/2. Suppose 16 = 3*c + g, 3*c - 2*g - 17 = 2*c. Let a = c - w. Solve -4*s + 15 = -a for s.
5
Let q be (0/(-22))/(3/(-3)). Solve 5*v - 8*v + 9 = q for v.
3
Let l(r) = r**2 - 8*r - 6. Let k be l(7). Let x(p) = p**3 + 12*p**2 - 14*p - 15. Let j be x(k). Let a be (3 - (1 - j))/(-2). Solve a*q + 4*q = -4 for q.
-1
Let c be 3*4/24*12. Let r be (24/(-28)*1)/((-18)/63). Solve -3 = -r*j - c for j.
-1
Let d(m) = 2*m**2 + m - 11. Let w = 0 - 4. Let g(p) = -p**2 + 6. Let a(n) = w*d(n) - 7*g(n). Let c be a(-4). Solve -1 = x + c for x.
-3
Suppose -5*i + g = -92, i + 4 - 16 = -3*g. Suppose i*d - 19*d + 5 = 0. Solve 0*r = -d*r for r.
0
Let a(z) = 2*z**3 - 132*z**2 - 136*z + 162. Let o be a(67). Solve -o*i = -22*i - 6 for i.
1
Let v(c) = -c + 17. Let l be v(14). Solve