. Solve -4*k = -5 + l for k.
-3
Suppose -4*y - 5*h + 45 = 0, 0 = -3*y - 3*h - 0*h + 36. Let o(r) = r - 13. Let l be o(y). Solve -l = -0*d - d for d.
2
Let s(z) be the third derivative of z**5/60 - z**4/8 - z**3/6 + 3*z**2. Let l be s(4). Let o be 3 + -1 + 9/l. Solve -2*n + o*n + 6 = 0 for n.
-2
Let z(s) = 2*s**3 - s - 4. Let u(b) = 1. Let k(x) = -4*u(x) - z(x). Let w be k(-1). Let n be 9/(-3) + (4 - w). Solve n*t - 10 = 2*t for t.
-5
Let m = -8 - -10. Suppose -z - 4 = 0, 0*x = m*x + 5*z - 20. Solve 0 = -8*b + 4*b + x for b.
5
Let i be 4 - 4*1/2. Let v(c) = c**3 - 5*c**2 + 5*c + 2. Let y be v(4). Solve 2*t = -y + i for t.
-2
Suppose 0 = 3*r + 2*w - 15, 0 = 2*r - 3*w - 4 - 19. Solve r = -9*x - 11 for x.
-2
Suppose -3*x + 1 + 20 = 0. Let z(n) = x - n - 8 - 8. Let c be z(-9). Solve -2 = p - c*p for p.
-2
Let t = -151 - -157. Solve 136*n = 130*n + t for n.
1
Suppose 30 = l + 26. Solve 5*a = 9*a - l for a.
1
Let f(z) = -28 - 149*z + 0 + 137*z + z**2. Let h be f(14). Solve -6*b + 4 + 8 = h for b.
2
Suppose -3*z = 15, 0 = h + z - 9 - 13. Solve -h = -5*l - 2 for l.
5
Suppose 0*a + 2 = a. Let i(o) = -5*o - 14*o + 3*o - 11 - o**2 - a. Let u be i(-15). Solve -4 + u = l for l.
-2
Let z be 5*(18/15 + 0). Let b(r) = 0*r - r**2 + 3*r + 13 + 3*r + 3*r. Let f be b(10). Solve -f*o - 3 = z for o.
-3
Suppose 2*s + 2*z = -z + 15, -5*z + 15 = 0. Solve 0 = 4*f + 1 + s for f.
-1
Suppose 0 = 3*u + 4 - 4. Suppose u = x + i + i + 7, -x + 5*i = -28. Solve 0 = -8*n + x*n + 20 for n.
4
Let u(d) = -4*d**2 - 34*d - 7. Let y be u(-8). Solve f - 8 = -y for f.
-1
Suppose -2*s + y = -s, -5 = -y. Suppose -o = 2*u - 8, -11*o + 7*o + s*u + 19 = 0. Solve o + 6 = -3*h for h.
-4
Let z be 10 + 58/(-6) + (-4)/12. Solve z = 16*v - v - 15 for v.
1
Let c be (-104)/6*(14/(-4) - -2). Suppose 0 = 8*l - c - 14. Solve -5*v + l = 20 for v.
-3
Suppose 44 = 2*g - 2*u, -3*g + 5*u - 24 + 90 = 0. Suppose -w = -2*j - g, -19 = -4*w + 3*j + 44. Let o(q) = -q - 4. Let x be o(-4). Solve -3*v + x*v = -w for v.
4
Let q(t) = 2*t**2 + 56*t + 366. Let l be q(-10). Solve -2*u - 12 = -l*u for u.
3
Let h = 4 - 1. Suppose -d + 8 = h*d. Solve -2*s + d + 8 = 0 for s.
5
Let w be (5225/(-22))/(-5)*2/5. Solve 9 = -22*l + w*l for l.
-3
Let l(u) = -u**2 + 6*u - 7. Let z be l(10). Let h = z + 52. Solve h*b + 10 + 15 = 0 for b.
-5
Let p = 454 + -451. Solve p*u = 13 - 1 for u.
4
Let d = 2 - 0. Suppose -r = -49 + 17. Suppose 4*a + 3*y = r, -3*a - 4*y + 17 + 14 = 0. Solve 0 = -d*q + a*q for q.
0
Let v(p) = -p + 8. Let t(y) = -14*y - 1. Let l be t(1). Let z = l + 11. Let o be v(z). Solve 5*m = o - 2 for m.
2
Let w = 2 + -2. Let c be 15/(-3) + (-192)/(-24). Solve w = 2*y + 5 + c for y.
-4
Suppose -8*z = -32 - 48. Solve 0 = z*c - 11*c - 1 for c.
-1
Let y be (5 + -5)/3*-1. Solve y = m + 19 - 17 for m.
-2
Suppose 0*m = -5*m + 115. Suppose j + 0*j - m = 0. Suppose -5 = 2*r - j. Solve 4*i + 7 = -r for i.
-4
Let v(g) = 2 + 10*g - 2*g**2 + 4*g**2 + 7 - g**2. Let d be v(-9). Let c = d - -4. Solve j - 3*j = -c for j.
2
Suppose 1 = p + a - 2*a, -3*a + 18 = 4*p. Suppose 5*y - p*o = 400, -2*o = -y + o + 68. Let u = y + -58. Solve u = s + 4*s for s.
5
Suppose 496*f + 31 = 497*f. Solve j + f = 36 for j.
5
Let q = 97 - 94. Suppose 5*o - 23 - 17 = -5*c, 5*o + q*c = 36. Solve -3*u + o = -0*u for u.
2
Let l be ((-14)/(-21))/(2/(-108)). Let w = l - -37. Solve p - 2 = -w for p.
1
Let m be 18/10*(-225)/(-135). Solve m*c + 0 + 9 = 0 for c.
-3
Suppose 0*z = z. Let f(g) = -g. Suppose -5*x + 4*x = 1. Let i be f(x). Solve -i + z = -b for b.
1
Let k be ((-57)/(-6))/((-4)/8). Let h = k - -20. Suppose -o - h + 3 = 0. Solve -o*w = 7 - 17 for w.
5
Let t = -2 + 8. Suppose 0 = -2*i + 23 - 23. Solve -a - 2*a + t = i for a.
2
Let s be 5*12*(-6)/(-15). Let u = -25 + s. Let m(t) = -5*t + 1. Let y be m(u). Solve -20 = 2*r - y*r for r.
5
Let b(u) = u + 9. Let o be -4 - (4 - 3) - 2. Let m be b(o). Solve 0 = -m*a + a - 4 for a.
-4
Let v(h) = -3*h**3 + 47*h**2 + 18*h - 8. Let w be v(16). Solve -2*x = -10*x + w for x.
3
Suppose 28 = 4*m - 0*m. Let w be (4 - m) + 8*1. Solve 2*n = w*n for n.
0
Let n(u) = 20*u + 2. Let f be n(0). Solve f = 4*o + 14 for o.
-3
Let s be (3 - (-14)/(-7)) + 15/3. Solve s = -11*r - 27 for r.
-3
Let a be (15 + -19)*(1 + -6). Solve d - a = 6*d for d.
-4
Let q(y) = -y**2 + 4*y + 7. Let k be q(-4). Let w = k - -28. Solve w*j - 2*j = 1 for j.
1
Suppose -5*g = -49 + 44, 3*w - 470 = 4*g. Solve w = -3*k + 152 for k.
-2
Let h(s) = -s**3 - 17*s**2 - 42*s + 7. Let v be h(-14). Solve 1 = -2*t + v for t.
3
Suppose -4*w - 36 + 22 = 3*j, 0 = 4*j + 3*w + 7. Solve -3*f = 17 - j for f.
-5
Let a = -42 + 32. Let f = a - -13. Solve 4*s + f = 5*s for s.
3
Let u = -6 + 9. Let b be (-24)/(-10) + (-4)/10. Suppose k - 5 = -4*j - 4*k, -b = j - 2*k. Solve j*x - u*x = 0 for x.
0
Suppose 8*k - 26 - 46 = 0. Solve -k = -3*s - 0*s for s.
3
Let h = 432 - 417. Solve 0 = -23*j + 18*j - h for j.
-3
Let r(t) = -t**2 + 7*t - 7. Let m be r(4). Let i(n) = 1 + 4*n - 10*n + m*n. Let y be i(-5). Solve -y - 4 = 2*v for v.
-5
Suppose -9 = x - 4*r, -r = 5*x - 0*x - 18. Let t = -1086 + 1091. Solve -20 = -x*h - t for h.
5
Suppose 3*y = j - 14, 3*y + 2*y = -2*j + 6. Let i = -3 + j. Let s(k) = 2*k**2 - 12*k - 141. Let g be s(12). Solve i*u = -g - 2 for u.
-1
Let v be (1 - 2)*2 + 11. Let u = v - 6. Suppose -9*a + 21*a - 132 = 0. Solve -u + a = 2*c for c.
4
Let w = 246 + -244. Let g(l) = -l**2 + 6*l + 5. Let p be g(6). Solve -w + p = f for f.
3
Suppose -4*s + 4*j + 100 = 0, -2*s + 4*j = -6*s + 60. Let y be (-4 + (-56)/(-20))/((-3)/s). Solve -3*d + y*d + 25 = 0 for d.
-5
Suppose 0 = -u - 1 + 9. Let d be ((-2)/u)/(1/(-12)). Suppose 4*k - 5*y = 27, 3*k - 2*y - d*y - 19 = 0. Solve -3*f = -k - 1 for f.
3
Let z = -21 + 23. Suppose a = -2*c + 10, -5*a - 8 = -2*c + z. Suppose -2*f - b + 3*b + 12 = a, 2*b - 16 = -5*f. Solve -r = -2*r + f for r.
4
Let y(d) = -d**3 - 3*d**2 + 2*d + 2. Let q be y(-3). Let a be (-16)/(-4) + q - -3. Solve 0 = -i - 8 + a for i.
-5
Let a = 76 + -43. Suppose 6*k - 12 = 2*k. Suppose -4*q + 3*t + 0*t + a = 0, -t = q - k. Solve 3*z = z + q for z.
3
Let o(v) = v**3 + 9*v**2 - 4*v + 6. Let i be o(-5). Let r be (-16)/(-40) - i/(-10). Let s be (-10)/10 + r*1. Solve -2*m + s = -6*m for m.
-3
Suppose -5*i = -4*i + 5*n - 10, 5*i = 2*n + 50. Suppose -u = 4*m - 1, 4*u - 4 = 11*m - i*m. Suppose -6 = -6*w + 3*w. Solve f + 0*f - w = m for f.
2
Let o(q) = -2*q - 11. Let m(l) = -l**2 + 11*l - 7. Let u be m(11). Let h be o(u). Solve -h*i = -1 - 2 for i.
1
Suppose -23*b + 58 = 35. Solve 5*v + 6 = b for v.
-1
Suppose -8 = 4*y, 5*y - 3*y + 7 = j. Suppose 3*v - 4 = 2*n + 9, 5*v - 9 = -j*n. Solve 0*z - v = -z for z.
3
Suppose -x - 4*q + 24 = -8*q, 3*x = -2*q + 2. Suppose -46*s = -42*s, 5 = 5*h - s. Solve h = 3*k + x for k.
-1
Let n(x) = -x**2 - 1. Let u(q) = -q**3 + 7*q**2 + q - 3. Let i(a) = -3*n(a) - u(a). Let k be i(4). Solve -o - o = k for o.
-1
Let g(q) = -q**3 - 21*q**2 - 58*q - 10. Let t be g(-18). Solve -59*y = -t*y + 15 for y.
5
Let s(n) = 2*n + 2*n - 5*n - 4 - 2. Let z be s(-8). Suppose z - 4 = -h - 2*g, 2 = -4*h + 2*g. Solve w + 0 + 4 = h for w.
-4
Let a = -34 - -36. Suppose 0 = a*z - 5*z + 12. Suppose -z*x + 2*f = 0, -4*x + 14 = x + f. Solve x*d + 2 = -4 for d.
-3
Suppose -5*y - 2*q + 1 = -10, -5*y + 23 = -4*q. Solve y*v = v + 5*v for v.
0
Let o(j) = -j**3 + 11*j**2 - 18*j - 8. Let z be o(3). Let g be 96/10 + (-4)/(-10). Suppose 0 = 5*n - z*n + g. Solve -4 = n*i - 10 for i.
3
Let i be (-2)/(-6) - (-60)/9. Suppose -2 = u - i. Suppose 4*h + h = -5*d + 20, 4 = 2*h. Solve 15 = -d*s + u*s for s.
5
Suppose 7*i + 3*i = 100. Solve 6*w = w + i for w.
2
Let n be (0 + -1)*1*-12. Suppose -2*w + n = 4*q, -w + 4 = -0. Let o be 3/6*2 + 1. Solve o*t - 3*t = q for t.
-1
Let c = 8 - 8. Suppose c = -2*f - 2*f - 16. Let h be (6/f)/((-12)/40). Solve -4*z = 7 + h for z.
-3
Let t be (-137)/1096*0/(-2). Suppose 0 = -5*h + 21 - 6. Let p be (t/(-1))/(4 - h). Solve p*n = -5*n - 20 for n.
-4
Suppose -2*w + 43 = 4*g - 3*g, 0 = w + g - 19. Let u = w + -32. Let b be 0*(-2 + (-12)/u). Solve -4*a - 21 + 1 = b for a.
-5
Let y(s) = s**3 - 8*s**2 - 3*s + 12. Let j be y(9). Let r = j - 62. Solve 0 = -2*h + 4*h - r for h.
2
Suppose 0 = -3*j - 9 + 51. Let b = j + -10. Suppose -r = -3*r + b. Solve 1 = -r*y + 3 for y.
1
Suppose