lve 2*z - y + 16 = 0 for z.
1
Suppose 5*c - 14 = 4*k, -4*k - 3957 = 2*c - 3985. Solve -c*d - 89*d = -665 for d.
7
Let i(n) = -n**3 - 13*n**2 - 9*n + 39. Let c be i(-12). Suppose -q - 4*g = -16, -5*g = q - 8 - 12. Solve -2*w - c*w = q for w.
0
Let s be 1/4 + (21394/152 - 24). Solve 0 = 118*o - s*o + 4 for o.
-4
Let l(p) = -p**2 + 6*p + 12. Let b be l(6). Solve -26*z = -b*z + 56 for z.
-4
Let a(n) = n**2 - 11*n - 22. Suppose -14*s + 95 + 87 = 0. Let l be a(s). Solve 5*b + l = 7*b for b.
2
Let n = -26 - -28. Suppose -n*x - 8 = -4*x. Let o be ((-224)/4)/7 - -12. Solve -x = -o*g - 0*g for g.
1
Let q(t) = t**2 + 14*t - 13. Let k be q(-11). Let p = k - -46. Let f be (-18)/54*p/(-2). Solve f = 2*m - 6*m + 16 for m.
4
Let q = 33621 - 33585. Solve -q*z + 16*z - 120 = 0 for z.
-6
Let o(k) = 17*k**2 - 2*k - 3. Let f be o(1). Suppose 6*t - 18*t = -f. Solve 5*u + t = 21 for u.
4
Let o = -132 - -136. Let j be (-28)/(-10) + (8/o)/10. Solve -5*c - j = 2 for c.
-1
Suppose 1028 = 4*c + 2*t, 35*c + 5*t = 30*c + 1285. Solve 263*r + 18 = c*r for r.
-3
Let u(c) = 7*c + 234. Let f be u(-12). Solve -18 = -f*r + 153*r for r.
-6
Let x be -1 + 180/(-72)*7/((-70)/116). Solve 0*n = 4*n - x for n.
7
Suppose -54*u + 3*z - 492 = -55*u, 1020 = 2*u - 3*z. Suppose 17*w - u = -25*w. Solve -10 = -w*s + 14*s for s.
-5
Suppose -336 = 3*z + 672. Let x be 1/3 - (10 - z/(-18)). Solve 2*r = -7 + x for r.
1
Let w(z) = -80*z**2 - 405*z - 13. Let l be w(-5). Solve 6*v - 48 + l = 0 for v.
6
Suppose 0 = -89*z + 98*z - 648. Let j be 24/z + 28/6. Solve 0*l + l + j = 0 for l.
-5
Let x be ((-1976)/(-4446))/((-4)/(-18)). Suppose 0*w - 8 = -4*w. Suppose 2*z - 8 = 3*z - w*j, -16 = -3*z - 2*j. Solve -x*p = z - 4 for p.
1
Suppose 18*m + 365 + 31 = 0. Let s be 54/7 + m/(-77). Solve 0*d + 4*d = -s for d.
-2
Let p be 916/44 - 8/(-44). Let k = 940 - 918. Solve k*y = p*y - 1 for y.
-1
Let b(u) = 11*u**2 - 100*u + 13. Let f be b(9). Solve -500*c = -501*c + f for c.
4
Let t = 514 - 439. Solve 17*o - t = 32*o for o.
-5
Suppose 30 + 10 = 3*b + 5*i, 0 = 3*b + 4*i - 35. Suppose 7 + 7 = p. Suppose 0 = 5*v - p + 4. Solve v*x + b = x for x.
-5
Let x(v) be the second derivative of -v**5/20 - 2*v**4/3 - 7*v**3/6 + 11*v**2/2 - 12*v. Let z be x(-6). Let t = z + 22. Solve -t*b - 2*b + 25 = 0 for b.
5
Let t = -5611 - -5615. Solve -t*h - 12 = -h for h.
-4
Suppose -9 - 15 = d. Let g(r) = 20*r - 40. Let f(j) = j**2 + 2*j. Let x(w) = f(w) + g(w). Let q be x(d). Solve -4*t = -q*t for t.
0
Suppose -571 - 49 = -20*r. Solve 0 = 35*u - r - 4 for u.
1
Let d be 5/(-3) + 52/(-12) + 5. Let c = 1 + d. Suppose -8 = -8*z - c*z. Solve 1 = x - z for x.
2
Let c(w) = 12*w + 15. Let z be 0/(6/(30/5)). Let v be c(z). Suppose 2*b + 5*n = 18, 0 = 5*b - 5*n - 6 - 4. Solve 0 = -7*r + b*r - v for r.
-5
Let h = 5175 + -5175. Let a be 2 + (1 - 2) - -25. Suppose -x + 15 = -5*l, a = 3*x - l - 5. Solve 2*z + h*z = x for z.
5
Suppose 17*v + v = -72. Let w be (-20)/v - (-2 - (1 - -1)). Solve -6*p + 3*p - w = 0 for p.
-3
Let c(y) = y**3 + 22*y**2 + 28*y + 147. Let p be c(-21). Solve p = -319*h + 320*h - 7 for h.
7
Suppose -1 = 2*h - 13. Let f = 1730 + -1728. Solve f*w = h*w for w.
0
Let g = -849 - -915. Solve -61 = 5*d - g for d.
1
Suppose -7*j + 0*j - 10*j = -102. Solve j*q - 12 = 2*q for q.
3
Let h(g) be the third derivative of 5*g**4/24 + 2*g**2 + 11. Let f be h(0). Solve 3*r + 2*r + 5 = f for r.
-1
Let i(j) = j**2 - 4*j + 6. Suppose -36*n - 16 = -40*n. Let w be i(n). Solve w*s = 9*s for s.
0
Suppose 0 = -95*h - 69*h + 1056 + 1896. Solve h = 29*n + 47 for n.
-1
Let f be 12 - (-8)/(16/(-10)). Suppose 3*b - 3*d - 6 = 0, 5*b - 15 = b - 3*d. Let j be 21/b + -3 - 2. Solve 3 + f = -j*n for n.
-5
Let o = -11691 + 11809. Solve o*w = 121*w - 15 for w.
5
Suppose 93*t + 46*t - 68590 = -25778. Solve -34*m - t = -70 for m.
-7
Let o = 14 - 11. Let y be (15/9)/((-10)/(-12)). Solve -o*n + 15 = y*n for n.
3
Let q(y) = -87*y + 5*y**3 - 1 + 3 - 3*y**3 + 86*y. Let i be q(1). Suppose 3*s + 7 = 2*a, a - 3*s + 37 = i*a. Solve -2*r = a - 3 for r.
-4
Suppose 2*d = 89 - 81. Solve 101*f - 97*f + d = 0 for f.
-1
Let h be (-6)/(-27)*-3 + (-8)/(-12). Let d = -14 + 14. Suppose d = 7*w - h - 14. Solve 0 = -s + w for s.
2
Suppose -887 = -10*h + 213. Suppose -261 = -4*l + 147. Let t = h - l. Solve -t = -4*m + 4 for m.
3
Let l(z) = z**3 - 8*z**2 - 12*z - 13. Let k be l(9). Let s = k + 91. Suppose -99 = -4*b - s. Solve 4*n + b = -0*n for n.
-3
Suppose 5*j = 4*m + 880, 5*m = j + 314 - 1414. Let s = m + 224. Solve -14 + s = 5*n for n.
-2
Let p(y) = -5*y**2 - 10*y + 30. Let r be p(2). Let k be r*((-18)/6)/15. Solve k*j + 9 = 3 for j.
-3
Suppose 23 = 5*o - 22. Suppose -o*d - 6*d + 45 = 0. Solve 7 = -2*x + d for x.
-2
Let z(j) = 3*j**2 + 90*j + 24. Let m be z(-29). Let h be (-2)/(-3)*m/(-14). Solve -h = -2*q + q for q.
3
Let s be -5 - (-2)/8*68. Solve 3*w + w - s = 0 for w.
3
Let v = 180 + -172. Let m be 2/v + (7 - 213/(-12)). Solve -40*h + 35*h = m for h.
-5
Suppose -3*j + 4*y - 164 = 0, -277 = 4*j + j - 3*y. Let f(g) = g**2 - 21. Let r be f(9). Let t = j + r. Solve -4*n = -t - 0 for n.
1
Let b be (-24)/(-10) - (676/65 - 11). Suppose -4*i - 20 = 0, -b*n - 124*i + 122*i + 104 = 0. Solve -3 = -7*x - n for x.
-5
Let c be (-1 + 1)*4/(-4). Let l be (-1)/6 - (-1 - (-91)/(-42)). Solve 3 = -c*x - l*x for x.
-1
Suppose 3*j + 3*g - 60 = 0, -654*j = -659*j + 4*g + 46. Solve -j*i + 55 + 1 = 0 for i.
4
Let q(i) = 295*i**3 - 3*i + 4. Let o be q(1). Let w = -274 + o. Solve -w*t = -23*t - 5 for t.
-5
Suppose 2*x + 0*x = 8. Suppose -18 = -8*l + 78. Suppose 0 = -l*s - 2 + 26. Solve -x*n = -s*n + 8 for n.
-4
Suppose 4*i + 47 = -2*j + 303, -2*j + 3*i = -270. Solve j*s + 20 = 142*s for s.
2
Suppose 0 = -j + 6*j - 4*j. Suppose b - 125 + 125 = j. Solve 2*n + b*n = -4 for n.
-2
Let j(c) = 2*c**2 + 16*c + 6. Let z be j(-10). Suppose 0 = 2*u - 4*i - 106, -7*i + 32 = u - 2*i. Let t = u - z. Solve 2*x = 9 - t for x.
4
Suppose -8*u = -12*u - 33*u. Suppose -15 = -r - 0*b + 3*b, -b = 2*r + 5. Let n(v) = v**3 + 6*v**2 + 5*v - 11. Let x be n(-4). Solve r*m - m - x = u for m.
-1
Suppose 65*n + 156*n = 63*n. Solve n = -360*g + 362*g + 4 for g.
-2
Suppose -w + 58 - 2 = 2*u, -5*w + 2*u + 220 = 0. Solve -19 = -13*j + w for j.
5
Let c = -3158 - -3164. Let n(d) = d - 6. Suppose -9*s + 4*s + 40 = 0. Let w be n(s). Solve -w*t + c = -4*t for t.
-3
Suppose 0 = 4*u + 3*q - 2956, -43*u = -41*u + 4*q - 1488. Solve -126*d = -106 + u for d.
-5
Let r(q) = q**2 + 39*q + 7. Suppose -15*v = -v. Let u be r(v). Solve -22 + 1 = -u*m for m.
3
Suppose 5*s + 49 = 3*c, 2*s - 756 = -20*c - 182. Solve -21 = 7*b - c for b.
1
Suppose -924 = 35*v - 189*v. Solve -v*p + 49*p + 43 = 0 for p.
-1
Suppose -1 = -r - 4*q + 21, -4*q + 24 = 2*r. Suppose 164*j + 41*j - j = 0. Let w = 16 - 16. Solve r*v + j*v = w for v.
0
Let i(m) = -m**3 + 4*m**2 + 1. Suppose -5*w - s = -20, 0 = -0*w - w + 2*s + 4. Let z be i(w). Let g be (-4)/(-2) - (-1 + z). Solve a = g*a + 5 for a.
-5
Let j = -44 + 44. Let u be 130/30 - (j + -3)/(-9). Solve 5*p = u*p + 4 for p.
4
Let k = -43 - -47. Let q be (-192)/(-33) + -4 - k/(-22). Suppose -4*b - 3*f + 13 + 3 = 0, q*b - 8 = -2*f. Solve -b*x - 18 - 2 = 0 for x.
-5
Let a(q) = -q**3 + 5*q**2 + 10*q. Suppose 0 = -16*r + 12*r + 24. Let k be a(r). Suppose 141*n - 137*n = k. Solve -6 - n = 3*o for o.
-4
Let g(f) be the first derivative of f**2 - 70*f + 76. Let v be g(38). Solve -b - 2*b + v = 0 for b.
2
Let p = -808 + 812. Suppose t = 4*d - 6 - 20, 5*d + 5*t - 45 = 0. Let g = 7 - d. Solve g*k + p = -k for k.
-4
Let h(x) = -34*x - 124. Let l be h(-4). Suppose 3*r - 123 = -117. Solve -r*t + 5*t = -l for t.
-4
Suppose 0 = 17*d - 341 - 453 - 430. Solve d - 12 = 12*k for k.
5
Let c(v) = -5*v**2 + 24*v + 7. Let u be c(5). Suppose -27*m + 37*m = 50. Solve -u*o - m = 3 for o.
-4
Let p be (-1)/(-2) + 9/2. Suppose -4*s + 112 = -0*s. Let u(l) = 2*l**2 + 84*l - 2003. Let f be u(17). Solve p*g = -f + s for g.
5
Suppose 2*m - 2 = -3*k + 24, 5*m = 5. Let u be 1/4 + 30/k. Solve -u*l - 12 = -l for l.
-4
Suppose -w = -5, 3*w - 36 = -5*t + 44. Suppose -29*f = -17*f - t*f. Solve f*z - 1 = z for z.
-1
Suppose -5*q - 4 = 4*i - 4*q, -12 = -i + 3*q. Solve 4*v - 142 + 158 = i for v.
-4
Suppose 19 = 2*s + 7*i, -3*s + 62*i + 48 = 66*i. Solve -27*w = -s*w for w.
0
Let s(