. Solve 0 = -k - 0 - m for k.
-5
Let d(g) = 2*g**2 - 5*g + 5. Let j be d(0). Solve j = -3*r - 2*r for r.
-1
Let n be 32/14 + 2/(-7). Let u(w) = -w**3 + 16*w**2 + 36*w + 3. Let h be u(18). Solve -n = h*t + 4 for t.
-2
Suppose 4*y - 2*d = 15 + 15, 4*d - 4 = 0. Solve y*a + 12 = 5*a for a.
-4
Suppose -4*v + 20 = -3*d, 4*d = d + 3*v - 15. Solve 53*m - 47*m - 12 = d for m.
2
Let a = 16 + 18. Let r = a - 50. Let b = r + 18. Solve -g + 0 = -b for g.
2
Suppose 3*n + 2*f + 8 = -n, 0 = -n + 2*f - 2. Let a be (2 + 2 + n - 2)*-1. Solve a = 4*b + b for b.
0
Let x(f) = 2*f**2 + 2*f + 3. Suppose -3*k + 18 = -3*c, -6*k + k + 24 = -2*c. Let r be x(c). Solve 4*y - r = 5 for y.
3
Let k = 70 - 64. Suppose k*t = -t. Solve t = -3*i - 11 - 4 for i.
-5
Suppose -2*a + 2 = -4. Let z be 3*(26/a + 0). Suppose 3*x = z - 8. Solve -2*l = -2 + x for l.
-2
Let x = -17 + 27. Let t be ((-35)/x)/(1/(-2)). Solve 5 = -t*h + 2*h for h.
-1
Let p be (-6 - -5) + 6 + (-4 - -2). Let o be 2*(9 - p - 4). Solve -o*i + 3 + 5 = 0 for i.
2
Let m be (-14)/5*(-4 - 1). Let z = m - 13. Solve d = z + 1 for d.
2
Let l be -1*(-6)/(-4)*(-8)/3. Suppose -3*u + 24 = u + 4*b, 4*u - b - l = 0. Solve -u*n = -7*n for n.
0
Suppose 12*b = 7*b + 10. Suppose -3*i - 27 = -69. Solve i = -4*x - b for x.
-4
Suppose 5 + 3 = d. Suppose -u + 2 + d = 0. Let v(b) = 3*b**2 + b. Let l be v(1). Solve -u = -l*a - a for a.
2
Let x = -5 + 8. Let b(z) = -7 + x*z + 8 - z + 5. Let o be b(-3). Solve o = -w + 1 - 3 for w.
-2
Suppose 0 = -p + 1, 5 + 3 = 2*s - 4*p. Let m(r) = 3 - r**3 - 6*r**2 - 2*r**2 + 2*r**2 - 5*r + 0*r**2. Let n be m(-5). Solve s = -n*z + 6*z for z.
2
Let n(w) = w**2 - 17*w + 25. Let y be n(13). Let t = y - -31. Solve t*r + 5 = -11 for r.
-4
Suppose 7*u + 4 = -p + 2*u, 0 = p + 2*u + 7. Let t be (-2)/p + 102/27. Suppose -2 - 2 = -h. Solve -h + 0 = t*m for m.
-1
Suppose 5*f + 9 = -3*q, 24*f - 29*f + 4*q + 12 = 0. Suppose t + 3 = 3*n, -5*t = 4*n - 22 - 1. Solve -d - t = -f*d for d.
-3
Let n be (-4)/(-9 - -6 - -2). Solve -n = h + 3*h for h.
-1
Suppose -3*d + 56 = w, -3*w - 19 = 20*d - 22*d. Solve d*z - 12*z + 5 = 0 for z.
-1
Let a(d) = -d**2 - 4*d + 23. Let c be a(3). Solve 16*g + 70 = c*g for g.
-5
Let i = -25 + 35. Suppose 2*h - i = -0. Solve -4*k = -9*k + h for k.
1
Suppose -36 = -4*w + 4*t + t, 32 = 3*w - 5*t. Let x be 0/(2/(1 + -2)). Suppose 5*f + 0*f = -x*f. Solve f = -w*m + 3*m - 2 for m.
-2
Let x(c) = 35*c**2 - 2*c - 2. Let p be x(-1). Suppose 4*l = l - o + 33, -5*l = -5*o - p. Solve -l = -j + 3*j for j.
-5
Suppose -2 = -2*h + 5*m, -1 - 9 = -3*h + 4*m. Let x(p) = -2*p**2 + 12*p + 5. Let s be x(h). Solve -3*j = -4 - s for j.
3
Let f be 15 - (9/18)/((-2)/(-8)). Solve f = -3*l + 1 for l.
-4
Suppose -8*y - 320 = -512. Solve 14*v - 32 = y for v.
4
Let n(i) = i**3 + 2. Let t be (-12)/(-24) - (-2)/(-4). Let u be n(t). Let v be (u + -1)/(2/50). Solve w = 6*w + v for w.
-5
Let c(n) = n - 6. Let z be c(8). Suppose 5*g + p = 16 - z, -3*g + 3*p = -12. Suppose -g*q + a + 11 = -2, q - 2*a = 6. Solve q*l = 10 + 6 for l.
4
Let i be (-6)/4 + 56/16. Suppose 7*t = i*t + h - 3, -3*t - 3*h = -9. Solve 5*n + 2 - 17 = t for n.
3
Let f be (-34)/187 + 8/44. Solve 9*v + 7*v = f for v.
0
Let w(v) be the first derivative of v**3/3 + 5*v**2/2 - 6*v + 4. Let l be w(-6). Solve 3 = -l*f - f for f.
-3
Let v = 668 - 655. Solve 2 = 3*u - v for u.
5
Suppose -165 + 1579 = 14*u. Let n = 105 - u. Solve 2*o - n = 2 for o.
3
Let g be 15 + (-3 - (0 - 3)). Let v be (18/g)/(4/10). Suppose 5*q - 5 = -3*w, 4*q - 1 = 3. Solve -v*r - r = w for r.
0
Suppose -2*v = -5*g - 11, 6*v - 3*v - 7 = -2*g. Let h = -5 + v. Let i be (h/3 + 0)*-3. Solve 0 = 2*k + i*k - 20 for k.
5
Let m be 5/1 - (-5)/(-14 - -9). Solve -2*r = m + 6 for r.
-5
Let u(c) = -c**2 + 10*c - 7. Let a be u(9). Suppose -i = 5*g - 20, -5*g - 3*i = -g - 16. Solve -a*y - 2 - g = 0 for y.
-3
Suppose -5*y + 10 = -4*r, -r - 2*r + 5*y - 10 = 0. Suppose -3*o = -r*o + o. Solve 3*q - 2*q - 2 = o for q.
2
Let a = 103 - 102. Solve a = 2*o - 9 for o.
5
Suppose 4*j - 3*j - a - 4 = 0, -a - 14 = -3*j. Suppose -8*p + 4*p + i + 4 = 0, 4*i + 4 = 4*p. Solve p = -j*w - 4 for w.
-1
Suppose q = 18 - 10. Let m be -1*q*21/(-6). Let y = m + -26. Solve 0 = -y*h - 2 + 12 for h.
5
Let c = 29 + -29. Suppose -5*v + c*v = -75. Suppose 2*z = 7*z - v. Solve -z = o - 4 for o.
1
Suppose -81 = 6*o - 3*o. Let v = -24 - o. Suppose -8 = -a - v*a. Solve -a*n - 2 = -n for n.
-2
Suppose -3*w = -w + 8, w - 17 = -3*p. Solve -p*d + 4*d = 3 for d.
-1
Let c be (7 + -31)/(1*(2 - 4)). Solve -c*d + 3 = -9 for d.
1
Suppose -2*p = 5*d + 15, -5*p - 2*d + 1 = 28. Let s = -1 + p. Let o be (-450)/20*4/s. Solve o = -l - 4*l for l.
-3
Let y(l) = -l**2 - 5*l - 6. Let z be y(-4). Let r be (3 - 4) + z - -10. Suppose 0 = -r*j + 4*j. Solve j = -5*t - 7 - 13 for t.
-4
Let b be (-12)/8*1*(-32)/12. Solve b*j = 16 - 4 for j.
3
Suppose 4*z + 5*a = -34, -3*z - a + 46 = -7*z. Let l = z + 17. Let o(n) = n**3 - 6*n**2 + n - 3. Let x be o(6). Solve -x*r + 0 = l for r.
-2
Suppose 31*p = -44*p. Solve -q + p*q = -0*q for q.
0
Let x(n) = -2*n + 52. Let w(y) = -25*y**3 - 2*y**2 - 4*y - 1. Let f be w(-1). Let j be x(f). Solve -4*t - 17 - 3 = j for t.
-5
Let z be (84/(-70))/((-3)/40). Solve -z = -4*r - 4*r for r.
2
Let u(f) = -6*f**3 - f**2 + 5*f + 2. Let h(p) = 5*p**3 + p**2 - 4*p - 2. Let n(b) = -7*h(b) - 6*u(b). Let d be n(1). Solve d*w = -4*w for w.
0
Let p = 11 + -9. Suppose 3*j - 4*v + v - 6 = 0, 4*v = -j - 8. Solve t + j = p for t.
2
Suppose -172*i + 168*i = -440. Solve -3*r - 110 + i = 0 for r.
0
Let a(q) be the third derivative of -5*q**2 + 0 - 1/24*q**4 - 1/6*q**3 + 0*q + 3/10*q**5. Let k be a(-1). Solve -5*c + k - 3 = 0 for c.
3
Let q = -40 - -64. Let o = -16 + q. Suppose 15 = -3*x + o*x. Solve 15 = x*u + 3 for u.
4
Let h = -18 - -18. Suppose -u = 4*g + 3*u, h = 2*u. Solve 15 = -5*z - g for z.
-3
Let s = 5 + -5. Let f be -1 + s - -4 - -3. Suppose -f*h + 8*h - 12 = 0. Solve -d + 3*d = -h for d.
-3
Suppose j - 6 = 1. Let h(u) = -2*u + 16. Let p be h(j). Let n(z) = z**2 + z. Let w be n(-3). Solve 0*s = -p*s + w for s.
3
Suppose 3*k + 3*d + 13 + 17 = 0, -2*d + 22 = -5*k. Let y(z) = -2*z - 8. Let b be y(k). Solve -5*p + b = -1 for p.
1
Let j = 105 + -102. Suppose j*c - 2*o = 2, -5 = -c + 2*o - 7. Solve c*v = 4*v + 2 for v.
-1
Let r be 3/5 + (-4 - 1885/(-25)). Let b = r - 67. Solve b = -5*n + 25 for n.
4
Let b(l) = l - 1. Let r be b(6). Solve 11 - r = 3*v for v.
2
Let i(j) = -2*j**3 + 2*j**2 - 4*j + 1. Let b(r) = 2 + 4 + 5*r**2 - 5*r**3 - 3 - 1 - 9*r. Let o(v) = 3*b(v) - 7*i(v). Let z be o(-1). Solve z*n = -n for n.
0
Let y = 1604 + -1588. Solve y*t = 2*t - 14 for t.
-1
Let j be (-8 - 236/(-16)) + (-3)/4. Let b be ((-20)/j - -3)*-36. Solve -3*c = c + b for c.
-3
Suppose 0 = 9*z - 35 - 1. Suppose -j + 12 = -7*f + 9*f, 0 = z*f - 16. Solve j*o = 5*o for o.
0
Let l(y) = 6*y + 6. Let c be (8/(-12))/(2/3). Let i be l(c). Solve 3*g - 5 - 10 = i for g.
5
Let q(l) = -l**3 + 24*l**2 - 22*l - 15. Let h be q(23). Suppose 0 = -x - 1, -2*x - 3*x - 41 = -3*r. Suppose -9*d = -5*d - r. Solve -w - h = -d*w for w.
4
Let b(v) = -v**2 + 12*v - 9. Let g be b(12). Let r = 3 + g. Let f be 246/22 - r/(-33). Solve 5*n - f = -1 for n.
2
Suppose 0 = 20*d - 18 - 42. Suppose -11 = -o - 2. Solve o = 3*c + d for c.
2
Let r(q) = q**2 + 20*q - 90. Let p be r(4). Solve p*a - 5*a + 1 = 0 for a.
-1
Let z be (-25)/(-3) + -7 + 80/3. Solve 29*n = z*n - 3 for n.
-3
Suppose 5*d - 6*d + 20 = 0. Solve -d*k - 32 + 92 = 0 for k.
3
Let t be -92 - 1/((-1)/(-4)). Let c = -92 - t. Solve -10 = c*w - 2*w for w.
-5
Suppose -13*j = 18*j - 217. Solve -6*p + 2 = -j*p for p.
-2
Let j = 5 + -3. Suppose 5*o - 13 = -j*c, 0 = c + 2*c + 3. Solve -o = -q + 4*q for q.
-1
Let u(i) = 3*i - 19. Let a be u(12). Suppose 0 = 19*g - a*g - 12. Solve 6 = -4*v - g for v.
-3
Let d be 2*((-1)/1)/(-1). Suppose 0 = -10*y + 36*y + 13*y. Solve y - 8 = -d*v for v.
4
Let r(f) = -9*f**3 + 23*f**3 - 4*f**3 + 6*f - 9*f**3 + 8*f**2. Let o be r(-7). Solve 2*p + 1 = -o for p.
-4
Suppose -3*s + 3*t - 15 = 0, -s - 6*t + t = -13. Let u be (-16)/6*3/s. Suppose 5*c = -3*q + 4*q - 5, 0 = 2*q - u*c - 10. Solve q*o + 4 = -16 for o.
-4
Let u(t) = -t**2 + 5*t. Suppose 5*h = a + 3*a - 41, a - 5*h - 29 = 0. Let q be u(a). Suppose -2*z - 3 - 3 = -q*f, -3*z = -2*f + 