 - 16. Let c be k(-5). Let a be (6 + 6)/(c/3). Solve 2*j - a = 5*j for j.
-3
Suppose -8 = -5*a + 2. Let t = 72376 + -72376. Solve a + t = -c for c.
-2
Suppose 0 = -27*k + 76 + 788. Let x = -32 + k. Solve f - 21 + 23 = x for f.
-2
Suppose 0 + 10 = 5*n. Suppose 0 = 2*i - n*x + 2, 4*x - 4 = -i - 0*i. Suppose 2*j - 5 = s, -j = -s - 0 - 1. Solve 3*v + s = -i*v for v.
-1
Suppose -21*n - 30 = -24*n. Suppose -2*t + 16 = 2. Suppose 0 = 2*h + 3*r - 10, -r - 3 = h - t. Solve -3*o = h*o + n for o.
-2
Let t = 21 + -15. Suppose 5*z - 339 = t. Let x = z + -63. Solve 0 = v + 2*v + x for v.
-2
Let h(q) = 2*q**3 + 16*q**2 + 10*q - 45. Let k be h(-7). Let u = -33 + 16. Let b = u - k. Solve b = 5*i - 0*i + 5 for i.
-1
Let c(q) = 215*q**2 - 21*q - 18. Let z be c(-1). Solve -224*s - 6 = -z*s for s.
-1
Let c(a) = -3*a**2 - 3*a + 15. Let k be c(-7). Let m = 111 + k. Solve m = -5*o + o for o.
0
Suppose -98*l = -49*l - 5586. Solve 24*b - l = 5*b for b.
6
Suppose -17*n + 33*n + 21*n = 259. Solve -7*k + 70 = n*k for k.
5
Suppose 0 = 4*y + 4*b - 96, 6*y - 11*y + 110 = 3*b. Solve y*g = 21*g + 16 for g.
-8
Let i = 18 - 14. Let l(w) be the third derivative of -w**4/24 - w**3/6 - 4*w**2. Let o be l(-4). Solve s + i = o for s.
-1
Let n be (-213)/(-24) + 2/16. Solve -5*l = -14*l + n for l.
1
Let f be 24/(-18)*(-12)/(-32)*(-41 + 35). Let k be 15/(1/1) - 0. Solve 0*w + k = f*w for w.
5
Suppose -2396*a = -2434*a + 3040. Solve 0 = -5*f + 15*f - a for f.
8
Suppose -20*f + 65 = -63 - 12. Solve -6 = f*y - 48 for y.
6
Let n(q) = -2*q**2 - 1. Let f(t) = -13*t**2 + 12*t - 9. Let b be 2 - (2 - 0) - (-6 - -12). Let u(j) = b*n(j) + f(j). Let a be u(5). Solve -7 + a = 5*y for y.
5
Suppose -5*q + 1604 - 1589 = 0. Solve 0 = q*m - 349 + 367 for m.
-6
Let m(b) = b**2 - 6*b + 10. Let n be m(4). Let o(u) = 5*u**2 + 10*u**2 - u**3 - 22*u**n + 5. Let g be o(-7). Solve 0*v - v + g = 0 for v.
5
Suppose 0 = -11*u - 7 + 205. Suppose 0 = -j - 3*k + 5 + 9, j = 5*k - u. Solve -j = h - 7 for h.
5
Let t(d) = -103*d - 1730. Let b be t(-20). Solve 28*k - b = -27*k for k.
6
Let z(d) = 11*d - 20*d - d**2 - 11 - 83 + 31*d. Let i be z(6). Solve i*k - 22 + 22 = 0 for k.
0
Suppose 54*u + 19 = -7 + 836. Solve -7*x + u = -20 for x.
5
Let h = 3066 - 3054. Solve h = 13*g - 14 for g.
2
Let v = -69 - -102. Suppose 0 = -q + 2*u - 36, -q - 17 = 5*u + v. Let h be ((-24)/10)/(16/q). Solve h*n - 8 = 4*n for n.
4
Suppose 4 = 2*z + a + 23, 45 = -5*z - 2*a. Let v(h) = -15*h - 94. Let x be v(z). Solve -5*p - 1 = -x for p.
2
Suppose 35010 - 35858 = -8*b. Solve 46*o + 382 = b for o.
-6
Suppose 0 = -100*a + 134*a - 19414. Solve -5 = 570*t - a*t for t.
5
Let f be 1/((-4254)/2130 + 2). Let w = f + -348. Solve -6 = w*d + 22 for d.
-4
Suppose 4*u + 123 = 5*d - 219, 4*d = -u - 75. Let t be 1/(1/(-87) + 0). Let o = u - t. Solve o*z + 5 = 3*z for z.
-5
Let q = -329 + 203. Let p = q - -99. Let n be p/(-6)*(-9)/(108/(-8)). Solve -n*t = t for t.
0
Suppose 952*c = 1139*c - 8789. Solve 73 - 261 = -c*m for m.
4
Let s be (-3540)/(-34) - 36/306. Let a = -98 + s. Solve -a = 3*z + 3 for z.
-3
Let p(g) = -93 + 216 - 13*g - 104 - 95. Let b be p(-6). Solve -b*s - s + 7*s = 0 for s.
0
Let w(n) = 4*n - 25. Let y(t) = 5*t + 50. Let c be y(-8). Let f be w(c). Solve -5*d = -0*d + f for d.
-3
Suppose 2*i = -3*g - 4, 5*i - 2*i - 4 = -2*g. Suppose -7*u + 9*u = 4*l + i, 4 = 3*l + 2*u. Solve 9*o - 8*o + 1 = l for o.
-1
Let a be (540/25)/(24/120). Solve 19*u = u - a for u.
-6
Let b(q) = 48*q - 333. Let k be b(7). Suppose -2 + 10 = 4*d. Solve -k + 11 = d*v for v.
4
Suppose -8*x + 9*x + 3*z + 4 = 0, 0 = -z - 3. Suppose -2*k + 2 = -15*d + 10*d, -x*k = 5*d - 40. Solve k*b + 25 = b for b.
-5
Let f = -13018 - -13078. Solve 8*s + f = -2*s for s.
-6
Let l(d) = 3*d**3 + 7*d**2 + 12*d + 28. Let i(w) = -10*w**3 - 21*w**2 - 36*w - 85. Let b(u) = 2*i(u) + 7*l(u). Let o be b(-5). Solve -3*t + o = 4 for t.
4
Let k = -1283590 - -1283597. Let n = 3 - -6. Solve -2 - k = n*u for u.
-1
Let c = 5698 + -5727. Let i(z) = 16*z + 2. Let l be i(2). Let n = c + l. Solve -k + 0 = -n for k.
5
Suppose -5*j = -850 + 830. Solve 1404*l - j = 1405*l for l.
-4
Let a be 2/(-6) + 200/15. Let k(y) = y**2 - 9*y - 48. Let v be k(a). Solve -f - v = -9 for f.
5
Let x(l) = -2*l**2 + 5*l + 23. Let s be x(-7). Let o be s/(-44)*(-12)/10. Let j be (15/10)/o + (-9)/(-2). Solve -w = 2 - j for w.
2
Let a = -1 + 11. Suppose 12*x - 17*x = -260. Let f be 4/(-26) + 268/x. Solve -3*g = -f*g - a for g.
-5
Suppose 6*r = 3*y + 4*r - 43, -y = 3*r - 29. Let j(z) = z**3 - 16*z**2 - 18*z + 23. Let s be j(y). Solve -4*v - s - 2 = 0 for v.
-2
Suppose f - 4*t - 28 = -3*f, 3*t = f - 9. Solve -11*w + f*w = 20 for w.
-4
Let f = 10 - 5. Suppose 0*x = x - 7. Let p be -8*(4/(-6) - 240/72). Solve p - x = -f*h for h.
-5
Let p be (-4)/2*-39 - 1. Let g = p + -52. Suppose -5*d + g = -75. Solve -4*q - d = q for q.
-4
Suppose 3058*a - 834 = 3056*a. Solve -405 = -3*b - a for b.
-4
Suppose 0 = -14*i + 6268 + 3238. Let j = 684 - i. Solve -j*d = 2 - 17 for d.
3
Let h be (-60)/45*(-212 + -1). Let v = -282 + h. Solve -4*g - 10 = -v for g.
-2
Let c(v) = v**2 + 6*v. Let k be c(-6). Suppose -27544*h + 27486*h + 58 = 0. Solve -4*d - h + 9 = k for d.
2
Let m(v) = v**3 - 9*v**2 + 8*v + 1. Let w be m(8). Suppose 2*h - 5 = 5*k, -3*h - 4*k - w = -4*h. Suppose -h = -x - 2. Solve -x*r = -3 - 6 for r.
3
Let d = 1 - 6. Let f(k) = -k**3 - 5*k**2 - k + 1. Let s be f(d). Suppose -5 - 6 = -4*w - i, w - s = 3*i. Solve 0*q + 15 = w*q for q.
5
Suppose 0 = -17*r - 22*r + 5*r + 2550. Solve -11*d + 130 = r for d.
5
Let r(p) = p**2 + 9*p - 16. Let n be r(6). Let w = n - 70. Suppose 2*a + w = 0, -2*k + 9 + 1 = 3*a. Solve j - k = 3*j for j.
-4
Let x(i) = -i**3 + 9*i**2 + 12*i + 2. Let r be x(9). Suppose 0 = -2*j - 2*l + r, -4*j - 4*l + 3*l + 211 = 0. Let t be 2/3 + j/12. Solve 4*a - 3 = t*a for a.
-3
Suppose 2215 = -13*t + 83. Let d = t - -174. Solve z + z = -d for z.
-5
Suppose 90 = 275*o - 260*o. Solve 7*d = -o + 20 for d.
2
Let l(x) be the first derivative of -1/3*x**3 + 14 - 6*x + 9/2*x**2. Let s be l(8). Solve 4*i + 2 = -s for i.
-1
Let f = -2434 - -2443. Solve -18*h + 15*h = -f for h.
3
Let w be 2/17 + (-5976)/(-1224). Solve z = w*z + z for z.
0
Let s be (21/(-18))/7 - 19/(-6). Suppose -74 = -s*w - 29. Suppose 0 = 2*r - 0 - 4. Solve u = -r*u + w for u.
5
Let d(n) = n**3 - n**2 - n + 1. Let t(c) = 28*c**2 - 54*c - 29. Let p(b) = d(b) - t(b). Let h be p(27). Solve -h*j - 25 = 2*j for j.
-5
Let a(w) = 20*w + 13. Let x(l) = l**3 + 9*l**2 - 12*l - 17. Let m be x(-10). Let y be a(m). Let b = -63 + y. Solve t - b = -t for t.
5
Suppose -5*m + 10 = -20. Suppose -644*a + 298*a = -312*a - 510. Solve 3*h - a = m*h for h.
-5
Let l = 2694 - 2501. Solve l*w = 185*w - 8 for w.
-1
Suppose 25 = 3*x + 5*k - 29, 5*k - 30 = 0. Solve x*v = -38*v - 92 for v.
-2
Let m = -81 + 165. Let y = 406 - 411. Let u be (3/4)/(y - m/(-16)). Solve 1 = -f + u for f.
2
Let z = -1562 - -1562. Let i be (-2)/(-4) + (-11)/(-2). Suppose z = -i*s + s + 30. Solve -d + s*d = -5 for d.
-1
Suppose -4*a + 4*k + 56 = 0, 2*a - 19 = -k - 3. Suppose -a*c + 5*c + 95 = -2*b, -4*c - 3*b = -99. Solve -4*n - c = -11*n for n.
3
Suppose 3*g + y = -1, -4*g - 1 = -4*y + 5*y. Let l be 36 + g*(-2)/10. Suppose -l*j = -29*j. Solve j*w = -w for w.
0
Suppose -3*k = 4*k + 14. Let s be 3 - (2 - (-3 - k)). Let n be -1*(-1)/1*s. Solve g + n = 4 for g.
4
Suppose -28*j + 4269 = -4859. Let f = j + -324. Solve 5*v - f*v = 0 for v.
0
Suppose -5*h - 15 = 0, 2*o + 3*h = -3*o - 499. Let g = -97 - o. Solve 2 = -u + g for u.
-1
Let f = -19 - -23. Suppose f*r - 4*u - 16 = 0, -2*r = u - 10 - 10. Solve -d = -r + 12 for d.
-4
Suppose 0 = -i - 0*i + 10. Suppose 2*s - 15 = -3*y + 5*s, 0 = 2*y + 4*s - i. Suppose 9*v = 2*v. Solve 0*z - y*z = v for z.
0
Suppose -5*f = -0*f - f. Suppose -6*z - z + 2*z = f. Let a(q) = q**2 - 1. Let s be a(2). Solve -s + z = w for w.
-3
Suppose 0*l - 5*l + 5 = 0, 3*s - 5*l = 10. Let d be 3/5 - 4/20*3. Suppose 5*g - 6*g + 6 = d. Solve p + s = g for p.
1
Let y be -1*(-7 + (-72)/4). Let z = -157 + 160. Solve -8*g = -z*g - y for g.
5
Let n be (-11)/(-2) - (-6)/(-4). Suppose m = n*m - 15. Let s(u) = -3*u**2 + 126*u + 30. Let w be s(42). Solve -m + w = -5*l for l.
-5
Let o(g) = 15 - 2*g**2 + 29*g + 24*g - 66*g. Let y be o(-5).