 16. Let k be z(3). Let b be -2*1/k - 211/(-5). Let a be (16/20)/(-4) - b/(-10). Solve 0 = h - a*h for h.
0
Suppose 0 = g - 5*n - 25, -25 = -3*g - 2*n + 7*n. Suppose -102 = -11*l + 5*l. Solve 5*y - l - 3 = g for y.
4
Let b(m) = m**3 + 2*m**2 + 54*m + 5. Let a be b(0). Solve -2*k - 13 = -a for k.
-4
Let p be (38/16 + (-2)/(-16))*(-524)/(-10). Solve -2*h + 119 = p for h.
-6
Let z(v) = v**3 - 7*v**2 + 22. Let h be z(7). Let n = h + -18. Let d = 9 - -11. Solve -a + d = n*a for a.
4
Suppose -d + 87 + 157 = 3*x, x + 4*d - 74 = 0. Solve 0 = 24*n + x + 14 for n.
-4
Suppose -t + 11 = 10. Let u be 14/21 - t/(-3). Solve -5*v = -u - 4 for v.
1
Suppose 991 = 7*b - 1938 - 830. Solve 0 = -8*d - 489 + b for d.
6
Suppose 2601 = 23*w - 540 - 171. Solve 57*i - w = 255 for i.
7
Let w(c) = -c**3 + 10*c**2 - 11*c + 14. Let t be w(9). Let a be (-1 - t) + (-42)/(-14). Suppose -3*p = -a*p + 12. Solve -p*x = -x for x.
0
Suppose 7*s - 200 = b + 197, -3*s + b = -173. Solve -45*l = 124 + s for l.
-4
Suppose 3*l + 2*b + 106 = 0, -2*l - 17*b - 73 = -18*b. Let j = 39 + l. Solve -j*v + 0 + 9 = 0 for v.
3
Suppose -2*o + 3*c = -537, -o + 116 = 5*c - 133. Suppose o*m = 271*m - 7. Solve 4 = -s + m for s.
-3
Let a be (-2)/6 - (3 + 57/(-9)). Suppose -a*r - d = 5, 4*r + 1 = -2*d - 9. Solve r*x - 4*x + 8 = 0 for x.
2
Let b be 21/3 + 468 + -8. Let g = b - 457. Solve 0 = g*d - 24 - 6 for d.
3
Suppose 0 = -h - 5*j + 46, -317 + 255 = -2*h - 4*j. Solve 10*w + 49 = -h for w.
-7
Suppose -13*u = 6*u - 38. Let x be (8/12)/(6/837). Solve x*z - u = 91*z for z.
1
Suppose 2*r = -2*o + 1038, 3*o - 4*r - 70 = 1473. Solve 16*n - 453 = -o for n.
-4
Let s(k) = 2*k**2 + 12*k - 137. Let w be s(6). Solve -y + 18 = -w*y for y.
-3
Suppose -3*h - 1296 = -25*p + 20*p, -h = -3*p + 784. Solve -199*v = -166*v + p for v.
-8
Suppose 0 = -2*i + i - 3*p - 10, 3*p = -3*i - 6. Let h(x) = 8*x**3 - 3*x**2 + 7*x - 5. Let l be h(3). Let f = -201 + l. Solve 0 = f*c - i + 6 for c.
-1
Let x be ((-10)/(-6))/((-6)/(-18)). Suppose -75 = -5*b - 3*z, x*b + 4*z - 54 - 26 = 0. Solve 3*s = 15 - b for s.
1
Suppose -2*q + 1 - 15 = 0. Let g = 16 + q. Let d be (-4)/6*(-15 + g). Solve -a - d = -8 for a.
4
Let q = -5 - -25. Suppose -2*h - 18 = u + q, u - 3*h = -28. Let z = -31 - u. Solve 2*w - 3*w = z for w.
-3
Let x = -18 - -18. Suppose x = 12*g + 17*g - 319. Solve g = -5*v + 16 for v.
1
Let i = 695 - 689. Solve 8*x - i + 30 = 0 for x.
-3
Suppose 5*u - 2*u + 4*j - 147 = 0, -12 = -2*j. Solve 3*s = -26 + u for s.
5
Let x = -236 - -238. Let t be (x - 40/32)/(3/8). Solve t*y + 12 = 4 for y.
-4
Let b(x) = 7*x + 7. Let v(a) = 20*a + 20. Let d(y) = 14*b(y) - 5*v(y). Let w be d(-2). Suppose -534 = -r + k - 537, -r = -4*k + 15. Solve 3*m - w = r for m.
1
Suppose x - 95 = 5*w, x + 19*w - 14*w = 35. Solve 0 = -63*o + x*o for o.
0
Let h(m) = 50*m + 3454. Let c be h(-69). Solve -c = -607*n + 609*n for n.
-2
Let i be (1 + -2)/((12/(-278))/(-6)). Let a = 146 + i. Solve -2*z + a*z = 0 for z.
0
Let p(x) = 6*x - 25. Let w(n) = -7*n + 26. Let b be (-5)/10 + 1 + 5/2. Let q(o) = b*p(o) + 2*w(o). Let c be q(8). Solve 0*a - c = 3*a for a.
-3
Let t = -3952 - -3960. Solve 1196*r = 1194*r + t for r.
4
Let w be ((-32)/6)/(13 + (-3689)/279). Solve 0 = -w*t + t for t.
0
Let s(n) = 5*n**3 + 5*n**2 - 7*n + 3. Let r(p) = -1 + 2*p**3 - 4*p**2 - 3*p + 9*p - 2 - 6*p**3. Let u(c) = -6*r(c) - 5*s(c). Let x be u(0). Solve v = x*v for v.
0
Let r = 106 - 111. Let o be ((-16)/r)/((-84)/(-10) - 8). Solve -o*n - 6 = -10*n for n.
3
Let h be 4/(4/(-44)*-22). Solve -h*l = -45*l - 129 for l.
-3
Suppose 0 = 15*b - 23*b - x + 1954, 0 = -4*b - 3*x + 962. Solve 0 = 3*l + 227 - b for l.
6
Suppose -99*x - 5 = -2*v - 100*x, 0 = 4*v - 3*x - 25. Solve 0 = -o - 0 - v for o.
-4
Let d = 460 + -457. Suppose -5*t - 15 = 4*s, d*t + 3*s + 2 = -10. Solve -t = -f - 2 for f.
-1
Let i = -1174 - -1704. Solve y = i - 531 for y.
-1
Suppose y + 0*y = 0. Let j(f) = 50*f**2 + 2533*f - 2536. Let s be j(1). Solve 2*r + s - 57 = y for r.
5
Suppose 5*i - a = -3 - 0, -3*i - 4*a + 12 = 0. Suppose -3*s + 28*s = i. Solve s = -8*z + 15*z + 35 for z.
-5
Let m(y) = -y**2 + 9*y + 193. Let f = -363 + 382. Let t be m(f). Solve -3 = t*g - 0 for g.
-1
Suppose -315*q + 477 = -156*q. Suppose 8*z - 12 = 4*z. Let m = 4 - z. Solve b = -q - m for b.
-4
Let w(f) be the first derivative of f**3 - f**2/2 + 146. Let h be w(-1). Solve -20*k + 21*k = -h for k.
-4
Suppose -4*v - 536 = -2*g, 251 = g - v - 12. Solve -32*z - 11*z = g for z.
-6
Suppose -3*o - 43 = -4*o - 4*m, 2*m = 5*o - 149. Let x = o - 58. Let r = x - -29. Solve -r*i = -i for i.
0
Let w(d) = -3*d**2 + 27*d - 6. Let s be w(8). Let g(f) = f**3 - 16*f**2 + 16*f - 12. Let p be g(15). Suppose -p*z + s = -27. Solve 2*v + z = 7*v for v.
3
Suppose -5*k = -9*k + 20, 2*m + 3*k = 71. Let y(w) = -w**2 + 24*w + 120. Let t be y(m). Solve t*f - 16 = 4*f for f.
4
Suppose -10*s - 45 + 86 = -69. Solve 1 = -s*l + 12*l for l.
1
Let u(y) = 229*y - 2290. Let n be u(10). Solve n = -2*a + 161 - 169 for a.
-4
Let g(m) = -m**3 + 9*m**2 - 2*m + 6. Let t be g(9). Let x = -4 + t. Let s = x - -16. Solve s = -0*o + o - 5 for o.
5
Suppose 2*q = 3*r - 5, -2*r + 7 = -q + 3. Suppose -5*y - r*p + 24 = p, -2*p + 14 = 3*y. Solve -y*v + 2 = -5*v for v.
-2
Let v be (-90*1/4)/((-1)/2). Let y(k) = -4*k**2 - k - 2. Let p be y(3). Let c = v + p. Solve c*o + o = 5 for o.
1
Suppose 4 = 3*t + o, 4*t + 2 = -3*o - 1. Let r = t + -1. Let s(x) = x**2 + 43*x + 354. Let f be s(-32). Solve 0 = r*v - f for v.
1
Let a(m) = m**2 - 20*m + 21. Let t be a(19). Suppose -2*g = -6*g - 4*i + 36, -3*g + 27 = -t*i. Suppose -7*v + 5 = -g. Solve -v*f = f - 6 for f.
2
Suppose 12 = -3*h + 5*p, -4*h + 13 = 4*p - p. Let k be h/(-2 + 150/72). Solve -6 + k = -3*s for s.
-2
Suppose -4*c - 664 - 1012 = 2*l, l + 1676 = -4*c. Let v = c + 423. Solve v*y - 7 + 7 = 0 for y.
0
Let k = 1 + 2. Let j = 27 - 15. Suppose -7*r + 3*r + 9 = -k*v, -4*v - j = r. Solve 0 = -b - r - 1 for b.
-1
Let x be -4 + (0 - 1) + 1. Let i be 2/6 - (x - (-20)/15). Solve -3*h = i - 6 for h.
1
Let g(x) = 6*x**2 - 22*x + 19. Let a be g(1). Let f(k) = k + 7. Let w be f(-5). Solve 15 = w*v + a*v for v.
3
Let x be (3/(-1) - 7)*(-78)/52. Solve -15 = 10*w - x*w for w.
3
Let f(t) = -t**2 + 100*t - 1215. Let p be f(15). Solve 3*m - 13*m = -p for m.
6
Let p be 1776/15 + 1778/(-1270). Solve 0 = 12*m + 27*m - p for m.
3
Let x(o) = 7*o + 19*o - 34 - 2*o**2 - 7*o + 9*o**2 - 4*o**2. Let u be x(-8). Solve -9 + 3 = -u*f for f.
1
Let o(k) be the first derivative of -11*k**3/3 + 5*k**2/2 + 8*k - 12. Let y be o(-2). Let g = -26 - y. Solve 0 = -2*c - 2*c + g for c.
5
Let k be 7 + 5 + (-1 + 25)/4. Let p = 18 - k. Solve 3*r + 4 + 2 = p for r.
-2
Let c be (28/(-10))/(-4 - 152/(-40)). Solve 11*w - c*w - 6 = 0 for w.
-2
Let x(g) = -76*g + 4866. Let y be x(64). Solve -y*n + 15 = n for n.
5
Suppose -3*m - 16 = -4*d, -2*d = -m - 5 + 3. Let p = -185 - -168. Let o = m - p. Solve 2 + 3 = o*t for t.
1
Let q = -7 - 47. Let g = -50 - q. Suppose g*c + 25 + 1 = l, l + 4*c = -14. Solve l*t + 20 = t for t.
-4
Suppose -5*m = -62 - 85 - 73. Solve -m*h = -51*h + 42 for h.
6
Let u(v) = 4*v - 6. Let g be u(2). Suppose -5*r + z + 66 = 0, -z + 6*z + 31 = g*r. Solve r*a = 18*a + 20 for a.
-4
Suppose 5*n + m = 21, -m - 32 = -5*n - 13. Suppose -n*a - 4 = 3*s, s - 3*a - 24 = 2*a. Suppose -s*w = -0*w - 12. Solve -w*j - 2*j = 0 for j.
0
Let w = 95 - 69. Let u = w - 92. Let z = -45 - u. Solve -6 + z = -3*t for t.
-5
Let a(s) be the third derivative of -2*s**4/3 + 19*s**3/3 - 57*s**2. Let x be a(2). Solve x = -4*y - 2 for y.
-2
Let a be 5/(5/7) + -7. Let k(t) = -t**2 + t. Let o be k(0). Solve o*u - u = a for u.
0
Suppose -4*f = 5*n - 76, 12 = 3*f - 0*f. Suppose 3*l = -n + 18. Solve -4*z = -l*z for z.
0
Let y be (-1*(-5 - 81/(-18)))/(2/88). Solve 21 = -y*x + x for x.
-1
Let f = 5761 + -5520. Solve -234*j - 14 = -f*j for j.
2
Let o = 11 + 162. Let b = o - 117. Let m = b + -50. Solve 5*k - 1 = -m for k.
-1
Let d = 151 + -149. Suppose 0 = -18*y + 8*y. Solve y = -3*s + d*s for s.
0
Let y(z) = 8*z + 228. Let m be y(-21). Solve 35*c + m = 5*c for c.
-2
Let t = 206 + 60. Let j = t + -247. Solve 4*g - j + 11 = 0 for g.
2
Let y = -554 + 554. Solve 9*u + 206 - 233 = y for u.
3
Suppose -468*b = 314*b + 4 - 4. Solve b = -58*u - 23*u + 567