13. Let s be q(w). Solve 0 = s*m + 2*m - 4*n - 40, -2*m + 5*n = -33 for m.
4
Let q be ((-219)/12)/((-2)/16). Suppose 3*o - q = 5*o. Let z = o - -109. Solve -5*l - 28 = -0*i - 2*i, -z = 5*l - 4*i for l.
-4
Let b be 2/4*-2 - 314. Let v be b/18 + (-2)/(-4). Let m = v + 19. Solve 0 = -m*d + 4*g - 12, -d - 4 = 5*g - 26 for d.
2
Let a(i) = 2*i + 3. Let j be a(0). Let w be (-2)/(4 - j) - -1. Let h be (-3 + 2)*w - -12. Solve 3*z = b + h, -b - 5*z + 17 = 2*b for b.
-1
Suppose -2 + 182 = 45*d. Solve 12 = 2*m - 4*n, -4 - 6 = -m + d*n for m.
2
Let u(g) = -g**3 - 8*g**2 + g + 10. Let f be (24/(-2))/((-30)/(-20)). Let z be u(f). Solve 5*n + 20 = 5*m, z*n = 3*n + 2 for m.
2
Suppose 2*b + 21 = -2*b - 5*t, 0 = 2*b - 4*t + 30. Let u = b - -13. Solve -1 = 3*p + u*s - 14, 5*p - 11 = -4*s for p.
-1
Suppose 3*d - 163 = -5*t, t - 3 + 1 = 0. Let g = d + -46. Solve 3 = 3*p, -g*q + 0*p = p - 6 for q.
1
Let t = -4411 - -4420. Suppose 5*q + 12 = 3*l + 34, -q + 2 = 0. Let m be 30/l*4/(-6). Solve 0 = -m*z + 2*g + 19 + 12, 0 = -3*g - t for z.
5
Let o(d) be the first derivative of 3*d**2 - 2*d - 2. Let t be o(2). Let m = 12 - t. Solve -3*b + 4*a - 6 = -1, -4*b - m*a = 14 for b.
-3
Suppose 5*v = 15, 5*v - 24 = -i - 9. Suppose i = 5*x + 27 - 52. Solve 3*r = 2*b, -x*r + 2 = 4*b + 24 for r.
-2
Let r(j) = 22 - 2*j - 6*j - 3*j + 14*j. Let i be r(-5). Solve k - t = -0 + i, -3*k + 5*t = -29 for k.
3
Let a be (12/(-15))/(6/(-15)). Suppose -k = 7*y - 2*y + 10, 19 = 5*k + a*y. Solve -k*g - 8 = 3*i, 4*g = -6*i + 4*i - 6 for i.
-1
Let l be -2*(2 + (0 - 3)). Suppose 0 = -l*o + 6*o - 36. Solve -4*p + m - 1 - o = 0, -5*p + m - 12 = 0 for p.
-2
Let g be (1278/(-710))/((-1)/5 - 0). Solve b + g = -0*p - 2*p, 4*p = b - 9 for p.
-3
Let d(a) = -a**3 + 18*a**2 - 21*a + 71. Let w be d(17). Solve -5*o = -3*t, -t - w*t - 5*o + 35 = 0 for t.
5
Suppose -3*q - i - 2 = 0, 7*i + 10 = -5*q + 4*i. Solve -3*x + 3 - q = 2*u, u + 4*x = 11 for u.
-5
Let a = 25 + -17. Suppose 4*m + 20 = a. Let c = 15 + m. Solve 2*n + c = -2*q, -q + 4*n + 2 + 12 = 0 for q.
-2
Suppose -k + 110 = 36. Let y = -72 + k. Solve o + 0*o = -5*c + 26, -2*o + 12 = y*c for o.
1
Let m(i) = -3*i + 34. Let l be m(10). Solve 0 = -p - l*t - 3 - 6, 3*t = 4*p - 21 for p.
3
Let c be 386/26 + 18/117. Let j be 3 + 4/(-8) + c/(-6). Solve n - 4*u + 18 = 0, j = -4*n - 2*u + 6*u - 12 for n.
2
Let a = 30 - 18. Let r = a - 10. Solve 2*c = -3*n + 10, r*n - 6 - 8 = -5*c for c.
2
Let z(c) = c**3 + 5*c**2 - 7*c - 4. Let x be z(-6). Let a be ((-36)/(-42))/((-6)/(-42)) + -8 + 5. Solve 2*b + 2 = -3*v, b - x = a*v - 6*v for b.
-4
Let n = 20 + -8. Suppose -5*v - 2 = -n. Solve -g - 3*p + v*p = -3, -g + p = 3 for g.
0
Let f be ((-9)/(-6))/(9/60). Suppose f = c - 4*d, -c + 1 = -2*d + 7*d. Solve -2*k - 2*k = -u - 2, -4*k = -5*u + c for k.
1
Let y = 907 + -895. Solve -z - y = -2*h - 5, -5*h = -5*z - 25 for h.
2
Suppose -34 = -9*z + 4*z - 3*d, -6 = -3*z + 3*d. Solve 5*m = z*t - t - 8, -5*t = 3*m + 27 for m.
-4
Let b = -24 + 41. Suppose -7 = -6*g + b. Suppose k = -k + 6. Solve -5*u = w + 23, g*u + 0*u + k*w + 25 = 0 for u.
-4
Let b be 2/((2/4)/1) + 2. Let o(p) = 9*p + 1. Let q be o(-1). Let a be ((-138)/(-24))/((-2)/q). Solve -f - 6 - b = 3*d, f = 4*d + a for d.
-5
Let c = -43 + 55. Suppose c - 9 = s. Solve s*p + 4*q - 14 = 0, 0 = -0*p + 4*p - q - 6 for p.
2
Let z be 1/4 + (-171)/(-36). Let x be ((-4)/(-1) + -2)/(14/161). Solve z*q - 3*k + 11 = -11, 3*k + x = -4*q for q.
-5
Let w(p) = p**3 + 2. Let a be w(2). Let y(b) = b**3 - 11*b**2 + 13*b - 25. Let m be y(a). Solve 5*l = -m*h - 5, -l - h - 2*h = 11 for l.
4
Let b(g) = -g**3 + 43*g**2 - 221*g - 35. Let k be b(37). Solve 0*r = -r + k*c - 3, 0 = 3*r + 2*c - 7 for r.
1
Suppose -4*t + 2 = 3*d, -4 = -4*d - 3*t + 1. Suppose -4 = -2*a + d. Solve 0 = 5*z + i - 17, a*z - 3*i - 19 = 2 for z.
4
Suppose 1209*a = 1204*a + 20. Solve -a*s - 35 = 5*x, 2*s + 3*x + 4 = 3*s for s.
-5
Let v(t) = -4*t - 7. Let m be v(-3). Solve p = 4*n - n + 17, -4*p + m*n + 40 = 0 for p.
5
Suppose -f - 14 = -3*v, 5*v - 4*v + 4*f = -4. Suppose -5*h + 294 = 14. Let d = h - 34. Solve 0*s - d = 2*s + 4*o, -9 = v*s + o for s.
-1
Let c be -9*5*5/(-25). Solve 2*y = -5*f + 22, -f = -3*y + 2*f - c for y.
1
Let r be (-360)/(-170) + 6/(-51). Solve 1 = r*n + 5, -5*n - 12 = i for i.
-2
Suppose 107*p + 18 = 108*p. Suppose 0 = p*u - 17*u - 3. Solve 5 = u*q + 3*y + 14, -3*y = 4*q + 12 for q.
-3
Let z = 13 - 16. Let q be (-14)/z*(-24)/(-28). Suppose q + 2 = 3*r. Solve 5*w = 2*t - 21, -5*w - r*t - 5 = 24 for w.
-5
Let c be (-4 + 3)*(2 + 2 + -3). Let s be ((7/(-14))/(c/8))/1. Solve -s*i = j + 17, 0 = -j - 2*j + 9 for i.
-5
Let k = 131 - 151. Let t = k - -23. Solve -t*q - s - 10 = s, -2*s - 6 = q for q.
-2
Let m be 4/(((-6)/15)/(-2)). Let k(j) = j**3 + 10*j**2 + 3*j - 51. Let h be k(-9). Solve 4*l + m = s - 4, -2*s = l - h for s.
4
Suppose 12 = -7*x + 40. Suppose 2*q - 10 = -3*q. Solve -q*c = -2, -a = a + x*c - 8 for a.
2
Let f(b) = b**2 - 12*b + 25. Let g be f(11). Suppose 0 = -q + 5*t + g, -86 = -4*q - t + 6*t. Solve -4*k = 4*w + q, w + 17 = -w - 3*k for w.
-1
Let d = -29 - -38. Let t(j) = -j**2 + 10*j + 1. Let b be t(d). Solve -5*h = -r - b, 2*r + 6 = -0*r - 4*h for r.
-5
Suppose -10*r - 4 = -14*r + 2*b, 8 = -4*r - 4*b. Solve -i = 4*i - 3*h - 25, r = i + h + 3 for i.
2
Let a = 121 - 117. Solve -a*f + 6*f + 12 = 2*o, 5*f = 3*o - 26 for o.
2
Suppose 13 - 4 = 3*m. Suppose 5*k = -5*s + 65, -m*s + 10 = -s. Solve 0 = a - 4*f + 9 + 5, 4*f = -2*a + k for a.
-2
Suppose 8 - 68 = -5*u. Suppose 3*x = -u, h + 4*x - 9 = -4*h. Solve 3*l + 5 = -2*l + h*q, 0 = -5*l - 5*q + 25 for l.
2
Suppose 7*t - 243 = -222. Let d(s) = s**3 - 5*s**2 + 7. Let b = -1 + 6. Let z be d(b). Solve -z*q + 7 = -5*r - t*q, 3*q - 6 = 3*r for r.
1
Let v = -81 + 94. Suppose 0 = -16*p + v*p. Solve 5*y = 4*d - 0*d + 10, 3*y - 2*d - 6 = p for y.
2
Suppose 9*z + 2*s = 13*z - 62, -5*s = z - 32. Solve 6*w - 2*w - 3*f + z = 0, 4*f = 4*w + 20 for w.
-2
Suppose 166*x = 176*x - 20. Solve -4*d + 22 = -x*f, -4*d + 5*d - 23 = 4*f for f.
-5
Suppose 0 = 5*n - f - 3*f + 65, 2 = -3*n - 5*f. Let m be 15/n*3*8/(-5). Solve h + 3*k = -m, k = h - 3*k - 20 for h.
4
Suppose i + 0*i - 5*u - 31 = 0, -19 = i + 5*u. Let a(q) = q**2 - 6*q. Let v be a(i). Solve -d = v, -3*d - 5 = -2*h + 1 for h.
3
Suppose -2 = 4*v - 18. Suppose -1 = t - v. Suppose 22*x = 1 + 21. Solve -g - 4*w = -x, 5*g - 21 = t*w + 7 for g.
5
Suppose 0 = -2*c + 2. Let y be (-4)/(c - (-15)/(-9)). Let h(v) = -v**3 + 6*v**2. Let j be h(y). Solve 3*q - 4*q + 3*u + 9 = j, -5*q + 9 = 3*u for q.
3
Let g = -9 - -13. Let k be (4/7)/((-8)/(-28)). Suppose -6 = -2*a - 2*w, -1 + 4 = a - k*w. Solve g*m = -n + 3*n - 24, -m + 8 = a*n for m.
-4
Let o = 23 + -21. Solve x = -2*b + 7, 0*b - 18 = o*x - 4*b for x.
-1
Suppose -5*n + 792 = n. Suppose -3*q + n = 4*x - 143, 0 = -x - 5*q + 90. Let z be ((-78)/x)/(6/(-20)). Solve 0 = z*m + 3*s + 5, m - s + 7 = 4*s for m.
-2
Suppose 124*o = 102*o + 44. Solve z + 1 = -o*m + 3*m, -2*z + 4*m = 0 for z.
-2
Suppose 3*n = n + 18. Let l = -16 + n. Let f = l + 7. Solve -v = 2*g - f*g + 11, 4*g - 3 = 3*v for g.
-3
Suppose 64 = 14*p - 15*p. Let n be (-3 - (-68)/28) + p/(-14). Let d be 10/3 + (-6)/(-9). Solve -5*j + c = 2*c + 11, d = -n*j + 4*c for j.
-2
Suppose 0*p + 7*p = 35. Let i be 16/(-12)*(-6)/4. Solve 0 = -r + p*r + 2*g - 14, 5*g = -i*r + 27 for r.
1
Let z = 128 - 114. Suppose 0 = z*n - 15*n + 5. Solve 3*k = -y + 1, 0*k = 2*k + n*y - 5 for k.
0
Suppose o = -3*a + 2*o - 13, 0 = -a - 3*o - 1. Let u be 3/a - (-12)/16. Suppose 0*n + n - 3 = u. Solve 4*c = 5*m - 17, 0*c - c - n*m + 17 = 0 for c.
2
Suppose 0 = -4*o - o. Suppose o = -c + 8*c - 28. Let h(f) = -f**3 - 7*f**2 - 2*f. Let q be h(-7). Solve -n = -4*u - 10, c*n - q = u + 2*u for u.
-2
Let d = 50 - 45. Let k(g) be the second derivative of g**5/20 - g**4/2 + g**3 - g**2/2 + g. Let i be k(d). Solve 4*v - 7 - 1 = 0, -i*v = 3*l + 7 for l.
-5
Let h(x) = x - 14. Suppose 0 = -6*v + 2 + 112. Let l be h(v). Solve c + l*t + 0*t - 14 = 0, 5*c - 18 = t for c.
4
Let p be 0*(4/(-40) + 3/5). Suppose p = 4*f - 8*f. Solve -4*d + 3*s - 32 = f, -d - 1 = -3*s + 4*s for d.
-5
Suppose 4*f = -v + 277, f = 2*v + 32 + 35. Let m = -64 + f. Solve 2*y = -3*d + 1, 0 = 4*d - 8*d + m*y + 9 for d.
1
Let y be ((-16)/(-18))/(2/9). Solve 