22). Suppose -19 = -5*d + 3*j, 8 = b*d - 8*d - 4*j. Solve -c*m - d = -6 for m.
2
Let b(v) be the second derivative of v**5/20 - 5*v**4/12 + v**3/3 + 9*v**2/2 + v - 52. Let u be b(5). Solve -16 = -3*r - u for r.
-1
Let c = -711 + 751. Suppose 0 = 13*k + 7*k - c. Solve 0 = -j - 1 + k for j.
1
Suppose 3*v + 156 = -10*v. Let w be ((-110)/v)/1 + (-66)/396. Solve -5*n = w + 6 for n.
-3
Let l be (-6)/10 - 184/10. Let a = -17 - l. Suppose -a*z - 44 = -4*z. Solve 4*b + z = 2 for b.
-5
Let w = 2092 + -2086. Solve w*m = 13*m + 56 for m.
-8
Let s = -2821 + 2849. Solve -156 = s*g - 2*g for g.
-6
Suppose -5*w + 515 + 495 = 0. Let j = w - 200. Solve 8*x + j = 10*x for x.
1
Let s = 36 - 146. Let g = -110 - s. Solve 5*n + 1 - 11 = g for n.
2
Suppose 6*q + 1201 = 1471. Solve -q = -i - 48 for i.
-3
Suppose m - 7 = -o, o + 3*m - 55 = -36. Solve -22 = -7*n - o for n.
3
Let z = 151 - 120. Let m(p) = 3*p - 90. Let h be m(z). Solve 0*c = -h*c + 12 for c.
4
Suppose 495 - 198 = 70*b - 333. Solve -4*q - b = 5*q for q.
-1
Let s be -37 + (126/98 - (-4)/(-14)). Let r = -36 - s. Suppose 3*z - 2*k - 2 = r, 3*z + 0*k + 4*k = 32. Solve n = -3*n - z for n.
-1
Let q = 1168 + -988. Solve 10 = -q*b + 178*b for b.
-5
Suppose -36 = 711*c - 708*c. Let h be 70/15*c/(-14). Solve -2*k - 4 = -h for k.
0
Let i be (-1)/(-3) - 88/(-24). Suppose i*y = y - 33. Let q = y - -15. Solve -q*b - 12 = -b for b.
-4
Let w(o) = o**2 + 12*o + 15. Let u be 30/(-75)*(-1 + (-31)/(-1)). Let a be w(u). Solve -4*g = -g - a for g.
5
Let d be (9 + -9)*79/(-395). Solve -56*m + 561 - 57 = d for m.
9
Suppose -a + 12 = 4*z, 0 = -5*z - 0*a + 5*a + 40. Let k be (16/(-88))/(8481/(-847) + 10). Solve z*o - 6 + k = 0 for o.
-2
Suppose 0 = -4*w - 10*j + 63 + 105, 3*j = 18. Solve 11*y = -w - 72 for y.
-9
Let f = -48 - -34. Let m be 6/(-14) + (-34)/f. Suppose 2*z - 4*h = -m*z + 8, -8 = -4*z + 3*h. Solve 5 - 11 = -z*a for a.
3
Let h(s) be the first derivative of -s**4/4 - 7*s**3/3 - 2*s**2 + 14*s - 8. Let g be h(-6). Solve -z + 1 = g for z.
-1
Let c be (-75)/(-2)*14/21. Suppose -3*q - 2*i = 257 + 95, -i = -3*q - 355. Let x = 120 + q. Solve -3*d - c = x*d for d.
-5
Let s = -10144 + 10637. Solve 4*m - 501 = -s for m.
2
Let z = -1893 - -1919. Solve -21 = 33*o - z*o for o.
-3
Suppose -2*i + 18 = 8. Solve -10*q - i = 5 for q.
-1
Suppose -4*y - 439 = -447. Let j be (-2)/5 - 12/(-5). Suppose -m = j*m - y*m. Solve 3*s = -m*s for s.
0
Let d = -1 + 0. Let i be (-6)/(-1) - (0 - d). Suppose -3025*w + 54 = -2994*w - 70. Solve i = -w*t - 7 for t.
-3
Let n(x) = 3*x**3 - 105*x**2 + 209*x + 55. Let i be n(33). Solve -3*f = -421 + i for f.
1
Let j(f) = f**3 + 5*f**2 - 15*f - 9. Let h be j(-7). Let q be 10 + -12 + (-10)/h. Solve 3*l + 6 = q for l.
-1
Let x be -2*15/(-6) + -2. Suppose -35 = p - 4*z - 3, 0 = 5*p - 3*z + 109. Let v = p + 40. Solve v = -d - x*d for d.
-5
Suppose 2*f + b - 24 = 0, 0 = -3*f + 3*b - 6*b + 45. Solve -6*j - f*j - 15 = 0 for j.
-1
Let d be 107 - 3/(33/110). Solve d = -10*v + 77 for v.
-2
Let j = -16851 + 16919. Solve -10*o + j = 48 for o.
2
Let k be 12 + 10 + -12 - -16. Solve 309 = k*c + 127 for c.
7
Let i(g) be the third derivative of g**6/120 + 3*g**5/20 + g**4/24 - g**3/2 - 13*g**2. Let m be i(-9). Let q be (m/(-54) - (-104)/18)/2. Solve q*l = 8*l for l.
0
Suppose -242*x + 50*x = 200*x - 4312. Solve 16*s - x*s = -30 for s.
-6
Let n be ((-1)/5)/((-8)/80). Let f be 68/8 + (-2)/4. Let r be (-8)/((-8)/(f/n)). Solve r*s + 0 = -4 for s.
-1
Suppose 282 = 6*t + 246. Let c be 26/t - (-49)/(-21). Solve 1 + 3 = -c*q for q.
-2
Let r = 2324 - 2320. Solve 0 = -r*q + 585 - 589 for q.
-1
Let k(z) be the first derivative of -z**3/3 - 5*z**2 - 20*z + 200. Let d be k(-6). Solve 0 = n - d*n - 3 for n.
-1
Let m = -11809 - -11816. Solve -m*j - 287 + 259 = 0 for j.
-4
Suppose 183*l = 72*l + 33966. Solve -l*m - 16 = -302*m for m.
-4
Suppose z = 2*a - 5*a + 2, -a + 2*z + 3 = 0. Let n be -3 + (-2)/a*-3. Solve -t - 6 = -n for t.
-3
Let j(c) = c**2 + 196*c - 2614. Let x be j(13). Solve 47 = 25*s - x for s.
6
Let g(w) = -w**3 + 5*w**2 + 25*w - 6. Suppose -n = -4*v + 37, -6*v + 10*v - 52 = 4*n. Let z be g(v). Solve 4*f = -z*f - 24 for f.
-4
Let b(j) = 3 + 2 - 3*j + 2*j. Suppose 3*z + 0 = -2*w - 5, -w - 7 = 3*z. Let x be b(z). Solve 5*k + 12 = -x for k.
-4
Suppose 3*h - 4*a - 23 = 0, 4*h - 3*a = 2*h + 17. Let y = -2 + h. Let j be -2*(-3 - 1/y). Solve 12 = u - j*u for u.
-4
Let y be ((-3)/3)/((-2)/6). Suppose 2*u = u + y*u. Suppose -o - 4*o + o = u. Solve o = -0*a + 3*a + 15 for a.
-5
Suppose 2*u + 4*t = 30, 4*u + u = t + 20. Suppose 0 = -u*z + 13*s - 16*s + 22, 6 = 2*z + 4*s. Solve 6 = 3*l - z*l for l.
-3
Suppose 6*l = 28*l - 66. Let v(d) = d + 1 - 4*d - 5 + 0*d + 2*d**2. Let k be v(l). Solve -5 = -k*a - 0*a for a.
1
Let r = -104 + 107. Let j(a) = 2*a**3 - 4*a**2 - 4*a + 2. Let b be j(r). Suppose 0*y + 5*y - 5*n - 80 = 0, y = -n + b. Solve 4*c = c + y for c.
4
Suppose 4*a - 1 = 19. Suppose 21 = 3*u + 3*i, 0*i - a*i = u - 27. Suppose 0 = 4*k - 18 + u. Solve m = k*m for m.
0
Suppose -2*f + z = -0*z - 7, 3*z = -f + 14. Suppose -h + 3*d = -38, 47*h - 4*d - 112 = 43*h. Let b(n) = n**2 - 6*n - 5. Let v be b(7). Solve h = f*q - v for q.
5
Let k = 15 - 5. Suppose 2*g + 48 = 4*f - 2*g, -3*f + 4*g + 34 = 0. Suppose f*m - k = 13*m. Solve -m = -x + 3*x for x.
-5
Let l be 4/3*(1 - 4) + 124. Let d be (l/(6 - -2))/((-3)/(-4)). Solve d*p - 15*p = 0 for p.
0
Let j = -31982 + 33098. Solve -10 = -j*i + 1121*i for i.
-2
Let w(t) = t**2 - 11*t + 4. Let l be w(11). Let q(x) be the second derivative of x**3/2 - 11*x**2/2 + 17*x. Let s be q(l). Solve -3 = -2*k - s for k.
1
Let a = 588 + -597. Let r be a/(-2) - (-6)/(-12). Solve 0*h = -r*h for h.
0
Let f = 4519 + -4417. Solve -15*l + 27 = f for l.
-5
Let j(o) = -5*o**2 + 65*o - 12. Let h be j(14). Let v = h - -92. Solve -11*l = -6*l + v for l.
-2
Suppose 96*k - 40*k - 210 = 35*k. Let j(z) be the first derivative of z**4/4 - 4*z**3/3 - 2*z**2 - 2*z - 5. Let l be j(5). Solve l*a + k = -2*a for a.
-2
Let j = 420 + -418. Suppose f = -3*w + 4, w + 5*f + 8 = -0*w. Let i be 8/(-156)*-3 - (-2)/(-13). Solve -j*a = -i*a - w for a.
1
Let z(b) = 36*b + 1087. Let t be z(-28). Solve 0 = t*y - 35*y for y.
0
Let b(z) = -116*z + 3488. Let t be b(30). Solve -h - t*h - 36 = 0 for h.
-4
Let w(y) be the first derivative of y**4/4 + 2*y**3/3 - 6*y**2 - 25*y - 32. Let x be w(-3). Suppose 2*j + j = 0. Solve -x*v - v + 12 = j for v.
4
Suppose -5*j + 12*m - 15*m + 45 = 0, -4*j = -3*m - 9. Suppose -j*p + 27 = -3. Solve i + 0 + p = 0 for i.
-5
Suppose -282 = g + 5*d + 381, -5*d - 1306 = 2*g. Let i = g + 654. Solve -4*l - 21 = -i*l for l.
3
Suppose -q - 40 = 3*h, 3*q - 4*h + 100 = q. Let f = q - -50. Suppose f*t - 45 = -t. Solve 0 = -3*u - 0 - t for u.
-3
Let t = 242 + -138. Let u = t - 91. Suppose -35 = -12*d + u. Solve d = -2*a + a for a.
-4
Let k = -19044 - -19559. Solve 70*v + 95 = k for v.
6
Let t = 12860 - 12765. Solve 0 = t*s - 83*s - 12 for s.
1
Let t = -226 + 208. Let g(q) = -3*q**2 - 54*q + 2. Let x be g(t). Solve 2*a + x*a = -a for a.
0
Suppose -949 = -96*s + 1835. Solve 8*y = -s - 11 for y.
-5
Suppose -x = 2*w - 13, 2*x - 4*w - 15 - 19 = 0. Let k be 6/(-1) + (-462)/(-21). Suppose -4*u = -k, -3*i = 3*u - 4 - 17. Solve i*o + x = -2*o for o.
-3
Let q(s) = -s**3 + 8*s**2 + 17*s + 35. Let r be q(10). Let a(l) = -l**3 + 4*l**2 + 5*l + 5. Let w be a(r). Solve y = -2 + w for y.
3
Let y(t) = -t**3 - 24*t**2 + 25*t - 16. Let r be y(-25). Let x be (-72)/r + (-3)/2. Let b be -2*6/9*-3. Solve 23 = b*g + x for g.
5
Let u(r) = 3*r**2 + 40*r + 17. Let g = -106 + 93. Let c be u(g). Solve c*z = -5 + 25 for z.
5
Suppose -2*u - 2 = 2*y, 0 = -4*u + 3*y - 24 - 1. Let w be u/(56/(-162)) + (-78)/(-182). Solve -7*h = w + 2 for h.
-2
Let y(l) = -l**2 + 5*l + 38. Let m be y(9). Suppose 4*g + 12 = m*x, g - 6*g - 5 = 0. Solve 0 = -x*z - 0 + 20 for z.
5
Let d(k) = 0*k - 30*k + k + k - 40 + 129. Let t be d(3). Solve 4*g = t*g - 1 for g.
1
Suppose 2*n - n = 0. Suppose -3*m = 2*m - 125. Suppose 0*o = 26*o - 208. Solve n = -o*w + 3*w - m for w.
-5
Suppose 3*k = -4 + 16. Suppose x - 2*x = -v + 15, 4*x = -k*v + 60. Solve w + 2*w + v = 0 for w.
-5
Let k = 41932 - 41896. Solve -550*x = -554*x + k for x.
9
Let h(b) = -2*b**2 + 5*b + 35. Let n be h(-3). Suppose -4*u - 5 = 