= -8*j for j.
5
Let f = -198 + 302. Let i = f + -104. Suppose -4 = 2*q, 18 = 2*m - m - 4*q. Solve j - 5*t + 18 + m = i, j = 4*t - 23 for j.
-3
Let b(q) = -q**3 + 8*q**2 - 174*q + 1173. Let l be b(7). Solve 4*d - 2*f = -3*f - 13, 5*f + 1 = -l*d for d.
-4
Let s = -20 + 22. Suppose -2*t = -5*t - s*t. Solve 0 = 4*l + h + 11, t*h = -5*l - 4*h - 22 for l.
-2
Suppose -78*z + 38 = 31 - 149. Solve -z*w - 4*j + 26 = 0, -5*w + 0*j + 10 = -j for w.
3
Let o(n) be the first derivative of n**4/4 + 8*n**3 + 45*n**2/2 + 53*n - 21. Let r be o(-22). Solve 5*d + 3*y - r = y, 4*d + 2*y - 26 = 0 for d.
5
Suppose 0 = -3*c - 99*k + 101*k + 10, -k + 6 = 4*c. Solve 0 = 2*q + c*h - 3*h, 5*h = 10 for q.
1
Let i be 1*(7 + -2)*1. Suppose w + 26 = -5*m, -w + 14 = -m - 4*m. Let r be (5/10)/((-1)/w). Solve 0 = 5*u - i*q + 35, 0*q - q + 17 = -r*u for u.
-5
Suppose -d = -4*f + 11, 9 = -3*f + 96*d - 101*d. Suppose 3*q = 4*c - q, -4*q + 30 = 2*c. Solve z = -f*w - 10, -z + 6*z = -c*w - 30 for z.
-2
Let f = -10891 + 10893. Let h be (-4)/22 - 140/(-44). Solve -3*t = f*l - 16, -h*t - 4*l + 2 = -18 for t.
4
Let x = 297 + -321. Let k be -4*(5 + 150/x). Solve 3*w + k*m - 22 + 7 = 0, -m + 25 = 5*w for w.
5
Let m = -282 + 110. Let n be (m - -173)/(0 - (-2)/4). Solve -n*p + 0*p + 6 = 2*a, -3*p = -a - 1 for a.
2
Let i(j) = 5*j - 23. Let c be i(5). Let b be 3 - (0 + 5) - c*-4. Suppose -2 = d - b. Solve -2*z = -d*k + 24, 2*z + 2 = z for k.
5
Suppose -30 = w + w. Let u be (6/5)/((-6)/w). Let f = -26769 + 26771. Solve -28 = -u*g + f*r - 5, 0 = -g - 4*r - 11 for g.
5
Let i = -639 + 699. Suppose 5*w + i = 5*y, 25*w - 21*w = -3*y + 8. Solve -4*p = -5*v + 12, -v + y - 2 = -2*p for v.
0
Let l be (-44688)/(-980)*(-1 - 46/(-6)). Let h = -302 + l. Solve 6 = h*d + 2*x, -3*x + 8 = -5*d + 39 for d.
5
Let v = -305 - -431. Let r(k) = -7*k - 218. Let s be r(-28). Let f be v/4 - (-33)/s. Solve 5*a + 4*b = 0, a + f = 6*a - 2*b for a.
4
Suppose -5*r + 15 = 5*z, 5*z = -r + 3*z + 8. Let j be r*(1 + 9/(-6)) + 0. Let k(g) = g + 6. Let b be k(-6). Solve b = l - 3*n + j, 0 = n + 4*n - 5 for l.
2
Suppose -73*r = -b - 76*r + 12, -5*b - 4*r + 27 = 0. Solve b*m - d = 3 + 6, -4*m + 2*d = -10 for m.
4
Suppose -8286 + 8283 = -u. Solve 8 = 6*x - t, u*x = x - t for x.
1
Let f = 87 + 138. Let o be ((-4)/(-6))/((f/54)/25). Solve 2*c - 10 = -4*b + o, 2*b - 2*c = 4 for b.
3
Suppose 23*g = -4*s + 20*g + 33, -3*s + 5*g + 3 = 0. Let k(v) = -v**2 + 15*v - 52. Let j be k(s). Solve 0 = -5*z + t + 14, 12 = -5*z - 5*t + j for z.
2
Suppose 4 + 5 = 3*p. Suppose -11*a + p*a = 8. Let m be (120/84)/(a/(-7)). Solve -m = -5*w + 5*k, w - 4*k - k = 22 for w.
-3
Suppose -5*s + 17 = -5*f + 2, 5*f = -s + 9. Solve -5*i - 5*b + s*b = 24, -15 = 4*i + 5*b for i.
-5
Let g(j) = j**2 + 8*j + 5. Let k be g(-8). Let p be 25/(100/616) - 1*2. Let b = p + -148. Solve k*c = -3*s + 32, c + 32 = b*c + 5*s for c.
4
Suppose -41 = -g - 10. Suppose 12 = g*k - 29*k. Solve 0*h = -5*p - 4*h + 28, -2*p + k = -h for p.
4
Let t = 15 - 2. Solve 2*y + t = -k + 5, -5*y = 2*k + 21 for y.
-5
Let h(u) = -u**3 + 6*u**2 - 5*u - 7. Let g be h(3). Let y(p) = 9*p - 42. Let c be y(g). Solve -3*j - c = -3*l, -l + 0*l - 5*j + 7 = 0 for l.
2
Suppose -2*b = h - 1440, 4*h = -b + h + 715. Let a = b - 719. Solve c - a = 0, -3*s + 8*c = 5*c + 15 for s.
-3
Let d(v) = v**3 - 27*v**2 + 128*v - 2. Let a be d(21). Solve 0 = 4*w - 5*l - 49 + 13, 5*l + a = 5*w for w.
4
Suppose -136 = -4*l - 4*v, 7 = 4*l + v - 126. Let p = -1390 - -1425. Let o = p - l. Solve -5*n - h - o*h + 28 = 0, 8 = n + 3*h for n.
5
Suppose -219 + 35 = -46*r. Suppose -u = r*p - 20, -8 = -u - u. Solve -k - 2*i - 4 = -4*k, k = p*i - 12 for k.
4
Suppose 10*j - 94 = 226. Suppose 76*o - 84*o + j = 0. Solve -t = -o*u - 7, 4 - 16 = -3*u - 5*t for u.
-1
Suppose 777 = -4*h - 3*s, h - 3*s = -2*s - 196. Let d = -101 - h. Let p = d - 90. Solve 0 = -o - 2*n + 13 + 2, p*o - 2*n = 10 for o.
5
Let s(p) = -60*p + 422. Let d be s(7). Suppose 37 - 12 = 2*u + 3*b, -15 = -5*b. Solve 0 = -3*q - 5*m - 7, -u = -d*q + 6*m - 3*m for q.
1
Suppose -112*r + 212 - 100 = 0. Solve -13*l = -17*l + d - 5, -l - 2*d = -r for l.
-1
Suppose -5*c + 171 = 2*y, 4*y - 328 = -2*c + 6. Let o = y + -37. Let x = o - 36. Solve -4*g - 25 = g, -5*j - 2*g + x = 0 for j.
4
Let r = -304 + 300. Let u be (-2)/(2 + 10/r). Solve 8 = u*t, 5*w + 10 + 9 = -3*t for w.
-5
Let o = -317 + 153. Let y = o + 166. Solve 4*i + 13 = i - 2*j, 2*i = 4*j + y for i.
-3
Let q(y) = -3*y**3 - 27*y**2 - 10*y + 115. Let l be q(-8). Solve 4*c + 19 - 3 = 2*n, -l*c = n + 2 for c.
-2
Let y(h) = -13*h - 24*h + 65 - h**2 + 29*h. Let n be y(-13). Solve 5*c - 3*b - 14 = 0, n*b = -4*c - 2*b - 2 for c.
1
Let w = 33 + -33. Let t = -25 + 41. Suppose -3*v - 28 = -4*i, 13*i - 8 = 8*i - 3*v. Solve -o + 5 = 0, -s - i*o + w*o + t = 0 for s.
-4
Suppose -3*v = 2*v. Let r(w) = 2*w**3 + 7*w**2 + 3*w + 34. Let y be r(-4). Solve v + 6 = -3*k + g, k = -g - y for k.
-3
Let f = 1938 - 1933. Let j(y) = -y**3 - y**2 + y + 2. Let x be (1 - 2) + (-2 - -1). Let g be j(x). Solve -2*r = -g*m + r + 25, 3*m - 27 = f*r for m.
4
Let h(g) = -6*g - 33. Let i = -10 + 4. Let n be h(i). Suppose 0 = -2*j - 5*p - 21, n*j + 2*j + 15 = -5*p. Solve -b = -3*v + j*b - 6, -4*v - 3*b = -20 for v.
2
Let i(w) = -18*w + 392*w**2 - 216 - 12*w - 391*w**2. Let f be i(-6). Solve m = 4*c + 7, -c + 0 - 1 = f for m.
3
Let c be (-4)/(-30) + (416990/(-150))/(-23). Suppose -4*k + j = 1359, 0*j = -j - 5. Let u be (-4)/(-22) - k/c. Solve -4*q + 3*q + 4 = -i, 14 = q - u*i for q.
-1
Let j = 3713 + -3706. Solve v + 10 - 14 = -a, 0 = 2*a - 3*v + j for a.
1
Let x = 1420 - 1417. Suppose 13 = -5*m - 52. Let z = m + 13. Solve -5*g - x*d + 4 = z, 4*g - 2*d - 16 = 2*d for g.
2
Let d be 1/4 + -1 + 230/40. Suppose 7*j - 17 = 6*j + 5*a, d*j = -4*a - 2. Suppose i - 1 - 1 = -c, -3*i - j*c = -6. Solve -4*m = -3*v + 7, 2*v - m - i = m for v.
-3
Suppose 130 = -128*i + 154*i. Solve 3*s - 5*n = -5, -5*s = i*n + 28 - 73 for s.
5
Let f = -870 - -1406. Let h = -532 + f. Solve -b = -0*t - t - 5, b - 11 = h*t for b.
3
Suppose -5*f + 3*l = -15, -f + 0*l - l - 5 = 0. Solve 5*y = -4*h + 4*y - 9, -3*h - 2*y - 13 = f for h.
-1
Let t(g) = g**3 - 23*g**2 + 60*g + 6. Let a be t(20). Suppose -9*p = a*p - 45. Solve -5 = -b + p*d, -3*b - 1 = -4*d + 3*d for b.
-1
Let t(q) = q**2 - q + 2. Let j(c) = 4*c**2 + 13*c - 8. Let m(k) = -j(k) + 6*t(k). Let l be m(1). Solve -b + 5*w - 4 = -0, 0 = -4*b + l*w - 16 for b.
-4
Suppose 199*g - 217*g + 18 = 0. Solve 5*q + 2 = -4*d, 7 = -4*q - d + g for q.
-2
Let t be 0/(-1 + -5 - 0). Suppose 14*l - 19*l + 10 = t. Solve -2*w = -p + l*p - 6, 0 = 2*p for w.
3
Let i(j) = j**2 + 34*j + 1. Let o = 65 - 99. Let u be i(o). Suppose -g = -1 - 3, 2*d = g. Solve 2*q = -d*c + q - u, 3*q + 15 = 0 for c.
2
Suppose 2*j + 4*i + 38 = 0, -j - 43 = -0*j - 4*i. Let l = -33 - j. Let g = 11 + l. Solve 4 = -2*d + 5*v, v - 10 = g*d + 3*v for d.
-2
Suppose 0*c = -c. Let b(r) be the second derivative of r**5/20 + r**3/3 + r**2 + 2*r + 48. Let j be b(c). Solve -3*i = i - 8, 3*i + 2 = -j*h for h.
-4
Suppose -20 + 58 = 2*i - 5*p, 0 = -i - 2*p - 8. Solve x + 3*c = -3, 0 = 2*x - i*c - c + 6 for x.
-3
Suppose -4*q + 2*n + 0 - 46 = 0, 5*q + 5*n = -50. Let i = q - -15. Solve -5*v = i*l - 0*l - 17, 0 = -v - l + 4 for v.
1
Suppose 134*h = 136*h + 136. Let a = h + 71. Solve a = 3*q - 4*v, 4*q - 6 = 5*v - 2 for q.
1
Let f(s) = -s**3 - 5*s**2 - s + 11. Let h be f(-4). Let u(d) = 3*d + 8. Let q be u(h). Solve -c - l + 13 = 3, l = q*c - 20 for c.
5
Suppose 2*n - 5 - 3 = 0. Let f = -1772 + 1776. Solve 2 = m, n*q + f*m - 2 = 6 for q.
0
Let o be (3 - (-28)/(-10)) + (816/(-30))/(-4). Solve 0 = 4*r - o*w + 9*w + 12, -5*r - 17 = 3*w for r.
-1
Let v(p) = p + 14. Let s be v(-14). Suppose s = -0*g + 3*g, 2*w + 4*g - 232 = 0. Suppose 10*i = w - 6. Solve 0*f + i = 3*f + a, -4*a = -5*f - 10 for f.
2
Let s = 244 - 242. Solve 5*u + 2*z - 4 = 8*u, 2*z = s*u + 6 for u.
2
Let t(o) = -o**3 + 37*o**2 - 80*o + 353. Let y be t(35). Solve 3*k = y*x + 15, 2*k + 3 - 10 = -x for k.
4
Suppose -l - u = 1, l + l = -u + 1. Suppose -2*v + 3*v = -24. Let t = v + 40. Solve 0*z + l*s = 4*z + t, 4*s = 3*z + 22 for z.
-2
Suppose o - 3 = 0, -2*h - 2*h + 2*o + 278 = 0. Suppose 0 = -47*s + 1575 - h. Solve 5*v + 5*m + 40 = 0, -2*m - s = 3*v + 3*m fo