16. Solve -n = 5*z - 4*z for z.
-5
Let g = 15 + 40. Suppose 57*k - g*k = 8. Suppose -4*h = -k*z, 0 = -z - 0*z + 2. Solve -h*c - 1 = -c for c.
-1
Let q = -6117 + 6150. Solve -q*p = -68*p + 245 for p.
7
Let t be ((-9)/2)/(2/(-68)). Let f = t + -89. Let n = 77 - f. Solve 0 = -11*y + n*y + 2 for y.
-1
Suppose -4*u = -4*i + 3*i + 9, 3*u + 13 = 2*i. Suppose -3*b = 3*q - 8 + 17, -4*q + i*b = -15. Let m be 1/(-3) - 62/(-6). Solve -3*n - 2*n + m = q for n.
2
Let a = -28817 + 28824. Solve -198*k - a = -191*k for k.
-1
Suppose 7*p = -131*p + 20424. Solve -25*c + 27 = -p for c.
7
Let g be 1/(0 - (-8)/24). Suppose j + 17 - 21 = -5*w, g*w = -4*j - 1. Solve 0 = -3*d - w + 10 for d.
3
Let a(f) = -3*f + 20. Let c be a(-18). Let d be 1 + 38/5 + c/185. Solve 0*l + 3*l = -d for l.
-3
Let h(x) = 6*x + 41. Let q be (-40)/15 + -3 + 2/(-6). Let g be h(q). Solve -t + 16 = -g*t for t.
-4
Suppose -13*u + 65 - 65 = 0. Suppose u = -52*d + 49*d + 3*w + 15, 0 = d - 4*w + 10. Solve -4 + d = -2*v for v.
-3
Suppose -5111*w + 36 = -5105*w. Solve -184*g + w = -185*g for g.
-6
Let w(m) = 91*m**2 - 6*m - 47. Let d be w(-3). Let a = d - 788. Solve -a*i - 10 = -8 for i.
-1
Let g(a) = -a + 10. Let t be g(5). Let l be ((-33)/(-55))/((-1)/t) - -3. Solve l = -j - 0*j - 4 for j.
-4
Let y = 3497 - 3425. Solve -y*v + 13 = -59*v for v.
1
Let j(i) = 3*i + 28. Let n be 168/(-63)*(-3)/(-2). Let b be j(n). Solve u - b = -7*u for u.
2
Let v(a) = -3*a**2 + 18*a. Let b be v(5). Let l be -54*(2 - 35/b). Solve 5*x - l - 2 = 0 for x.
4
Let m = -82 - -85. Suppose -3 - 6 = m*s + 3*b, -s + 27 = -5*b. Solve -s*w + 6 = -2 for w.
4
Let n be 277 + -263 - (0 - -2). Solve 0 = n*a - 34 + 10 for a.
2
Let p be (0 - -4 - -1) + (-4)/1. Suppose y = -q + 18, -2*q + 1 + p = 0. Suppose -2*g = 5*k - y, 3*k - 3*g + 6 = 4*k. Solve k*o = 2*o for o.
0
Let c(b) = -b**2 + 72*b - 760. Let v be c(57). Solve -12*x - v = -47 for x.
-4
Suppose 0 = 3*w + 6*w + w. Suppose 5*f + 4*m - 190 = 0, -6*m + 4*m = w. Let r = f - 35. Solve -s - r = -1 for s.
-2
Let s be 1 - (-3 + 3 + -2). Suppose 0 = 5*m - 9*m - 8. Let u be (-2)/m*(7 + -3). Solve -s*z = -u + 13 for z.
-3
Let g = 742 - -176. Solve -g = 3*f - 930 for f.
4
Let q = -3211 + 3308. Solve 23 = 24*y - q for y.
5
Let z(g) = -2*g - 15. Suppose -2*i - 14 + 4 = 0. Let l be z(i). Let r(w) = -w**2 - 6*w + 3. Let u be r(l). Solve u + 7 = 5*j for j.
3
Let s(d) = 4*d**2 + 26*d - 13. Let h be s(-9). Suppose -4*k = k + 365. Let j = k + h. Solve -4*q - 4 = j for q.
-2
Let s = 596 - 596. Let q be (-3 - 132/(-42))*s. Solve q = 4*o - 10*o - 24 for o.
-4
Suppose q - 54371 = -54322. Solve -21*y = -q*y + 112 for y.
4
Suppose -382 = -4*w + 5*s + 199, -9*s = -3*w + 399. Solve 0 = -19*j - 3*j + w for j.
7
Let c be (-2 - -5)*(0 + 1). Suppose -86 + 278 = 12*z. Suppose -4*w = -b + z - 1, 2*b = 3*w + 15. Solve 0 = -b*i - 6 + c for i.
-1
Let j(r) = 2*r**2 + r + 4. Let t be j(4). Let c = -355 + 362. Suppose -x = c*x - t. Solve z - x*z = 12 for z.
-3
Suppose -16*g - 134 = -2*l, 10*l + 4*g = 7*l - 23. Solve -l*p + 10*p + 2*p = 0 for p.
0
Let o = -1683 - -2651. Let g be o/136 - (-16)/(-136). Solve -g*s = -8*s - 5 for s.
-5
Let z(p) = 31*p + 255. Let x be z(-9). Let g(d) be the first derivative of d**2 + 59*d + 1. Let h be g(x). Solve 3*w + 2 = h for w.
3
Let n be 2/6*(-3 - 0). Let m(i) = -2*i**3 - 7*i**2 - 8*i - 15. Let p be m(-3). Let b be n/(-2 + 3 + p)*-3. Solve -b*q + 11 + 1 = 0 for q.
4
Suppose -2*c = 4*v - 3 - 15, 3*v = 3*c - 9. Let b be 11/((-385)/(-644)) + 3/c. Solve -7 = 3*h - b for h.
4
Let t(w) = w**2 + 7*w - 143. Let l be t(10). Solve -12 = -15*s - l for s.
-1
Suppose -953*s = -955*s + 826. Suppose s = 18*d - 1153. Solve -d = 3*n - 96 for n.
3
Suppose 0 = 5*q + 94 - 334. Suppose -1720 = -22*j - q. Suppose 3*s + 24 = m, -s - 3*s - j = -5*m. Solve 5*g = 2*g - m for g.
-4
Let j = -10102 - -10109. Let a = -20 + 45. Solve -a = -j*q + 2*q for q.
5
Suppose -7*s - 6 = -20. Let m(z) = z**2 + 9*z - 5. Let d(b) = -b**2 - 6*b + 6. Let l be d(-8). Let u be m(l). Solve 3*c = s*c - u for c.
-5
Suppose 0 = 8*t - t - 21. Let x be (-96)/(-9) - 2 - t/(-9). Solve -3*z - 18 = -x for z.
-3
Let o = -382 - -391. Suppose -j - 13*j = -o*j. Suppose 3*f = 6*f - 60. Solve -3*c - 2*c - f = j for c.
-4
Let i(h) = 2*h**2 - 4*h - 35. Let t be i(6). Suppose -p = t*p - 84. Solve -p*v + 3*v = -3 for v.
1
Let j(r) = r**3 - 2*r**2 + 2. Let n be j(2). Let m be (3/(-1))/((-69)/46) + n. Solve 6 = m*u + 2 for u.
1
Let a(u) = u**3 + 15*u**2 + 42*u - 3. Let c be a(-11). Solve 45 = 34*z - c*z for z.
3
Suppose 5*b + 5*g + 8 = -27, 0 = 3*b + 5*g + 19. Let n be (-3)/((-6)/b) + 5. Let j be (-10)/(4 - n - 5). Solve 0*i = 5*i - j for i.
1
Suppose -2*h + 8*h = 0. Suppose -q - q - 3*m - 12 = 0, h = m. Let i(b) = b**3 + 6*b**2 + 3. Let c be i(q). Solve 2 = c*l + 11 for l.
-3
Let i(j) = -4*j**2 - 51 + 4*j**2 + j**2 - 25*j. Suppose 0*m - 4*m - 2*c = -98, -2*c - 145 = -5*m. Let l be i(m). Solve l - 5 = 2*y for y.
-1
Suppose -k - 27 = k - 3*g, -15 = -3*g. Let p be (-108)/(-6)*2/k. Let i(v) = -2*v**2 - 10*v + 12. Let w be i(p). Solve w*u = -5*u for u.
0
Let g = -223 - -423. Let o be (g/(-75))/((4/(-3))/2). Solve o = -x + 1 for x.
-3
Let h(t) = t**2 - 15*t + 4. Let y be h(15). Suppose -2*g + y*g = 8*g. Solve a + 6 - 2 = g for a.
-4
Let l(x) = 2*x**3 + 17*x**2 - 26*x + 84. Let u be l(-10). Solve 0 = -38*z + u*z + 30 for z.
-5
Suppose -5*c - 11 = 14. Let p be 10 + 0 - (-5 - (-3 + c)). Solve p*d - 8*d = -4 for d.
4
Suppose -21*b + 370 = -344. Suppose -b = -5*r + 2*k, 5*r - 3*r - 19 = -k. Solve -r = 3*w - w for w.
-4
Let k(i) = 4*i - 1. Let m(b) = 20*b + 113. Let x(n) = 2*k(n) - m(n). Let r be x(-10). Solve 4*u - 9 = -r for u.
1
Suppose 0*h - 2*h = -4*s + 4, 5*s - 5*h = 0. Let a be (3*1)/(2 - 112/64). Suppose -13*k + 6 + 72 = 0. Solve a = -k*r + s*r for r.
-3
Suppose g + 10 = 5*q - 0*g, 0 = 5*q + g - 10. Let j = -11 - -12. Let x be j*((-6)/(-2) + 1). Solve -3*w - x = q for w.
-2
Let w be -2 - (-32)/24 - (-76)/6. Let t(x) = x**3 - 7*x**2 + 7*x + 8. Let n be t(6). Solve -w = -n*o + 10*o for o.
3
Suppose 0 = 6*n - 14671 + 14653. Solve 0 = -n*y + 9*y + 36 for y.
-6
Let i = -878 + 893. Suppose -2 = -i*n + 73. Solve 0 = -0*f + 5*f - n for f.
1
Let d(i) = 2*i - 13. Let w be d(9). Suppose -t = -5*f + w, 7*t - 5*f = 5*t - 5. Let s be (-16)/(-12)*(2 - (-4 - t)). Solve 0*n - s = 2*n for n.
-4
Let o be (4990/(-1497))/(5/(-18)). Solve o = 13*i - i for i.
1
Let c = -102 - -101. Let d = c - -6. Let w(v) = -v**2 + 15*v - 27. Let m be w(10). Solve 0 = d*g - m + 3 for g.
4
Suppose 30*v + v = 775. Let w be v/125 + 114/5. Solve -7 = -6*t + w for t.
5
Let i = -46 - -49. Let x(y) = 2 - 84*y**3 + 83*y**3 + 0*y**2 + i*y**2 - y**2. Let k be x(2). Solve k = -2*m - 0*m for m.
-1
Suppose 4*a + 4*i + 8 = 0, 0 = 4*a - i - 2*i - 20. Let d be (-3)/2*12/(-18). Let y be d/((10/2)/25). Solve -y = -3*t - a for t.
1
Let c be (10/(-8) + (-65)/(-20) - 1)*81. Solve 67*n - c*n - 84 = 0 for n.
-6
Let j = 5474 - 5407. Solve 0 = 3*r + j - 82 for r.
5
Let z be ((-3)/4)/((-6)/(-24)) - -83. Let k be ((-32)/10)/(-4*2/z). Suppose -28 = -k*r + 28*r. Solve -3*d + r = -5 for d.
4
Suppose -3*y + 5*c + 12 = 0, y - 2*c - 8 = -y. Let h be (-30)/(-4)*-3*8/(-36). Solve -y*w - 25 + h = 0 for w.
-5
Let d be -8*(-3)/(9/(-6)). Let u be (-16)/(-40)*(-4 + 14). Let s be 0 + 0*u/d + 0. Solve 5*i - 10 + 0 = s for i.
2
Let m(g) = -g**3 + 20*g**2 + 41*g + 76. Let t be 316/14 - (90/(-14) - -7). Let p be m(t). Solve 6*u - 12 = p*u for u.
-3
Let j = 6306 + -6288. Solve 6*c = 18 + j for c.
6
Suppose 5*a - 15 = 0, v = -a - 1830 + 1833. Solve v = -26*o - 36*o for o.
0
Suppose 336 + 147 = 21*u. Suppose -4*b + u*b - 76 = 0. Solve 2*v = 2 - b for v.
-1
Suppose -9*g - 20*g + 58 = 0. Suppose -g*d = -61*d + 13452. Solve 227*j = d*j for j.
0
Let c be (-41)/((-205)/(-30)) - -12. Solve -17*s = -c*s - 11 for s.
1
Let f = -5933 - -5941. Solve -f*v + 216 = 224 for v.
-1
Let b = -14802 + 14863. Solve b = 36*s - 83 for s.
4
Suppose -y = 5*o - 41, 0 = -5*y - 1108*o + 1113*o + 145. Solve 80*k - 49 = y*k for k.
1
Let z be (-5)/(180/(-8)) + (-32)/(-18). Suppose z - 27 = -5*m. Solve p - 2*p - m = 0 for p.
-5
Let s = -304 + 452. Solve -139*q + s*q = -18 for q.
-2
Suppose -l + 4*v - 10 = 0, -185*v + 24 = -181*v. Solve l = -58*s + 246 for s.
4
Let r = 29