a be z(-3). Let x be 19 + -2 + a + -2. Solve -1 = 5*j + x for j.
-4
Suppose 10 + 10 = -4*r - 5*b, -4*b - 16 = -5*r. Let l(y) = -y**3 + 2*y**2 + 2*y - 1. Let j be l(2). Solve 4*z - 11 + j = r for z.
2
Let t be (0/16)/(3 + 0). Solve 3*d + 0*d + 6 = t for d.
-2
Let b be -5 - 20/(-2)*1. Suppose -4*a - d = -a - 16, b*d = -4*a + 14. Solve c - 3*c + a = 0 for c.
3
Let u be 17 + 2*(-1 - 0). Let c(o) = 5*o - 3*o - 2 - 3*o. Let z be c(-6). Solve -z*j - u = 5 for j.
-5
Let u(g) = -g**2 + 8*g - 15. Suppose -6*k + 10*k = 20. Let p be u(k). Solve -20 = -p*d - 5*d for d.
4
Suppose -41 + 146 = 34*b + 3. Let j be (-2 - 0/(-1))/1. Let t = 5 + j. Solve -2*m = -b*m + t for m.
3
Let x(n) be the third derivative of n**5/60 - n**4/24 + n**3/6 + n**2. Suppose -71*r - 6 = -77*r. Let t be x(r). Solve 0 = -d + t for d.
1
Let a be -8 - -7 - 1*-5. Suppose 0 = -a*l + 8. Solve -l*g = -5 - 3 for g.
4
Let r = -58 - -58. Suppose r = -3*o - 5*d + 10 + 10, 0 = 5*o + 3*d - 12. Solve o = 3*f - 5 + 2 for f.
1
Let d be (0 - (3 + 0))/((-9)/30). Suppose o - d = 10. Solve 7*i = 2*i - o for i.
-4
Suppose 3*u = 7*u. Solve 0 = -u*o + 5*o - 5 for o.
1
Let x = 5 - 2. Suppose -19 = -v - 3*p, -5*p + 5 = -4*p. Solve -x*w = w - v for w.
1
Let w = 13 + -10. Let k(o) = -o**3 + 3*o**2 + 10*o - 5. Let i be k(4). Solve i - 4 = -w*g for g.
-5
Let t be (-8)/10*((-15)/10 - 1). Solve 6 - 10 = t*j for j.
-2
Let m(q) = 16*q + 0 - 18*q + 3. Let i be m(0). Suppose 9 + 3 = i*w. Solve k = w*k - 12 for k.
4
Let t = 44 - 28. Suppose 2*l + t = 6*l. Solve l*o - 6 = o for o.
2
Let v(c) = c**2 + 7*c - 96. Let r be v(7). Solve -r*l = l + 3 for l.
-1
Suppose -5*k = 4*p - 108, -23*k = -3*p - 24*k + 70. Solve 4 = -13*g - p for g.
-2
Suppose -74 = 37*y - 39*y. Let x = y - 30. Solve -6*z - 3 = -x*z for z.
3
Suppose -3*a - 5 = 7. Let t be 3/a - 231/28. Let l = 9 + t. Solve l*v + 4*v - 16 = 0 for v.
4
Suppose 3*x = -6 + 15. Solve k - 2*k = -x for k.
3
Suppose 26 = 3*f - 40. Let m = f - 21. Solve -o + 2 = m for o.
1
Let k(x) = 3*x**2 - 3*x - 27. Let p be k(4). Solve p*z = 4*z for z.
0
Let y(t) = 6*t**2 - 2*t + 2. Let k be y(1). Let c be ((-25)/2)/(1/(-2)). Solve k*d = d - c for d.
-5
Let l be (-5 - 68/(-12))*(-72)/(-16). Solve u = l*u for u.
0
Suppose 0 = -i - 5*w + 8, 3*i - 38 - 2 = w. Solve 9*c = i*c for c.
0
Let l be 2/6*(8 - -1). Let f = 13 - -15. Suppose k - 28 = -5*q, 0*k + f = 4*q - 2*k. Solve l*p - q = 5*p for p.
-3
Suppose 0 = -62*a + 45*a + 1360. Solve 5*h = -a + 65 for h.
-3
Let l be (-2)/(-6) + 356/12. Solve -11*m + m - l = 0 for m.
-3
Let a = -22 + 22. Let y(n) = 2*n**2 - 2*n - 1. Let m be y(2). Solve 3*f - m - 3 = a for f.
2
Let o(u) = u**3 - 2*u**2 - 28*u + 24. Let x be o(6). Solve x = -m + m + 2*m for m.
0
Let x(o) = o - 1. Let w be x(6). Suppose -c = -3*q - 5 - 13, 5*q + 10 = -w*c. Suppose c*p - 3 = 6. Solve 2 = -p*i + i for i.
-1
Let f(l) = l**2 - 21*l - 24. Let i be f(22). Let x be (-6)/(-4) + 0 + i/4. Solve r = -0 - x for r.
-1
Suppose 0 = -3*c - 5*z + 139, 2*c + z + 193 = 6*c. Let a = 52 - c. Solve 0 = f + a for f.
-4
Let b be 370/70 - 2/7. Suppose -3*p + 2 = -b*j, -2*j + 3*p = -7*j + 22. Solve -j*l + 5 = -7*l for l.
-1
Let u(y) = -y + 16. Let x be u(4). Solve -3*n + 0 = -x for n.
4
Suppose 2*i + 4*l - 2 + 0 = 0, 5*i - 19 = -3*l. Solve 19*h + i = 20*h for h.
5
Suppose -v + 2 = -3*j - 1, v = 5*j + 5. Suppose 0 = 5*s - v*s + 4*i - 21, s = -5*i. Solve s*n + 4 = -1 for n.
-1
Let a(c) be the first derivative of -2*c**2 - 4*c - 6. Let t be a(-3). Let p be (6/t)/(4/16). Solve 5*g + 8 = p for g.
-1
Suppose 7*x = 4*x + 15. Suppose 5*a + x*q - 30 = 0, -q - 9 = -2*a - 0*q. Solve a - 2 = -f for f.
-3
Suppose -388*o - 25 = -393*o. Solve 0 = o*i + 3 + 7 for i.
-2
Suppose n - 5*p = 12, 0 = n + 2*p - 0 + 2. Suppose -680*c + 678*c = -4. Solve -c*d + n = 12 for d.
-5
Suppose 5*j + 4*f - 143 = 0, 13*j - 17*j = -5*f - 98. Solve 5 = -22*a + j*a for a.
1
Let v = 165 + -165. Suppose 2*i = -0 + 6. Solve i*q = -v*q for q.
0
Let o = 130 - 130. Suppose o = i - 5*y - 2, 2*i - 18 - 2 = 2*y. Solve i = a + 3*a for a.
3
Let y be (-6)/(-14) - 639/21. Let q be -4*1/(-8)*y. Let j = -15 - q. Solve -2*b - 10 = -j*b for b.
-5
Let u be 5/(-15) - 0 - 14/(-6). Suppose 0 = l + 1, 0*i = u*i - 2*l - 12. Solve 6*k - i*k = 0 for k.
0
Let p be (0 - -1) + 46/(-2). Let z = -19 - p. Solve a + z*a - 16 = 0 for a.
4
Let s be 2/(-8) + 206/(-8). Let w = s + 15. Let m = 12 + w. Solve -m = -h + 1 for h.
2
Suppose -5*p - 4*a + 45 = 0, p - 2*p - 3*a + 20 = 0. Suppose q - 25 = -4*q - p*g, -5*q + 2*g = -11. Solve -1 + q = -w for w.
-2
Let k = -1569 - -1622. Solve -143 + k = -18*d for d.
5
Let f be (0 - (-6)/(-9))*-3. Suppose -y - f*y + 16 = 4*w, -3*y + 17 = 5*w. Solve 4*t + 0 = -y for t.
-1
Suppose -3*a = 2*y - 28, -5*a - 4*y + 21 + 29 = 0. Suppose a*j - 10*j = 0. Solve 0 = -j*v + 2*v - 10 for v.
5
Let c(b) = -b + 1. Let d(k) = k**2 + 14*k - 3. Let q(j) = -c(j) - d(j). Let u be q(-13). Let g = 27 + -10. Solve -5*i - g = -u for i.
-3
Let u = 21 + -21. Let q be (u - (3 - 3))/(2 - 3). Solve 2*m + 2*m = q for m.
0
Let a = -2 - -2. Suppose -5*q = -16 - 24. Suppose 0 = -5*n + q + 2. Solve 4 = n*w - a*w for w.
2
Suppose 3*w = -2*f + 8, -9*w - 16 = -13*w - 4*f. Suppose -5*n = -w - 0. Solve n = -3*g + g - 10 for g.
-5
Let g be (0/(-2))/(-7 - -5). Let o(m) = 3*m + 21. Let c be o(g). Suppose -c = -4*h - 9. Solve -5*r - 7 - h = 0 for r.
-2
Suppose 0 = -2*x + r - 2*r + 8, r + 16 = 4*x. Suppose 0 = -x*k - 5*j - 98, 3*k + 56 = -0*j + 5*j. Let o = -18 - k. Solve 0 = -5*s + 6 + o for s.
2
Suppose -3*z + 3 = -3. Let q be ((-1)/z + 0)*0. Solve q = b - 1 for b.
1
Suppose 2*f + 3*r = 5*r - 2, -r - 7 = -3*f. Suppose y + 0 = 3. Solve y*d + f = -d for d.
-1
Suppose 0 = -3*i - 2*b - 21 - 13, 3*i + 4*b = -44. Let z(c) = c**3 + 7*c**2 - 10*c + 2. Let l be z(i). Let y be 3/(3 - l/8). Solve -y*w + 2 = -2*w for w.
1
Let t = -29 - -29. Suppose 3*k = w - 18 - t, k + 5 = 0. Solve 0 = -4*a - w + 11 for a.
2
Let a(f) = 7*f. Let o be a(2). Suppose 20 = 2*l + 4*n, l = 5*n + 2 - 6. Suppose -o - l = -5*m. Solve -3*w - w = -m for w.
1
Let p(g) = 4*g**3 - 2*g**2 + 2*g - 1. Let z be 3/2*(-14)/(-21). Let r be p(z). Solve -3 = r*c + 9 for c.
-4
Suppose 31 = h + d, -69 = -4*h + 5*d + 28. Solve 8*b - h + 12 = 0 for b.
2
Let g be ((0 + 5)/5)/(-1). Let v be g/(-1*(-1)/(-2)). Solve v + 8 = 2*x for x.
5
Let y be (-1404)/81 - (-4)/(-6). Let w be (y/(-7))/(12/56). Solve -w = -5*u + 8 for u.
4
Suppose -2*s = 2*s - 8. Suppose -7*v - 48*v = -55. Solve -s*d - v = -d for d.
-1
Let d be 25/((-50)/(-24)) + 6. Solve d*z = 8*z + 40 for z.
4
Suppose -6 - 18 = -4*c. Let d = c - 6. Solve d = -j - 4*j - 20 for j.
-4
Suppose 3*o - 84 = -57. Solve -o*z + 7 + 11 = 0 for z.
2
Let z = 4 - 115. Let k = -109 - z. Solve 0 + 8 = k*y for y.
4
Let s(h) = -21*h + 19. Let m(q) = -7*q + 6. Let x(k) = -11*m(k) + 4*s(k). Let p be x(4). Let l = p - -37. Solve -7 = -4*j - l for j.
-3
Let i = -24 - -28. Let y be i/10 + 1808/80. Let o = -18 + y. Solve -5*u = 10 + o for u.
-3
Suppose 4*y - 36 = -4*w, -w = -y - 3*w + 8. Solve -13*k = -y*k for k.
0
Let g be 14/(-2)*(2 + -1). Let j = -4 - g. Suppose 6*o + 2*z = 3*o + 24, -3*o + 5*z + j = 0. Solve 4 = 2*q - o for q.
5
Let b(l) = -l**2 + 7*l + 1. Suppose 35 = -u + 6*u. Let m be b(u). Let y be (4 - 0)*(0 + m). Solve -2*n + 2 = y for n.
-1
Let p = 1209 + -1204. Solve p*i - 16 = i for i.
4
Let m(y) be the third derivative of -y**5/60 - y**4/4 + 11*y**3/6 + 5*y**2. Let g be m(-7). Solve -5*x = -3*x + g for x.
-2
Let g(a) = 14*a + 114. Let r be g(-8). Solve 27*f + 83 = r for f.
-3
Suppose 2*j + j + 5*m - 6 = 0, 0 = -2*j + m + 4. Let x = j - -5. Let w be (-2 + x)*2/5. Solve -h = -w*h + 4 for h.
4
Let w = 25 - 21. Let l(c) = 5 + 21*c - w - 23*c. Let k be l(-5). Solve k = 3*j - 1 for j.
4
Let s(j) = -2*j - 8. Let n(i) = -i - 4. Let w(l) = 14*n(l) - 6*s(l). Let z be w(-6). Solve q + z*q - 15 = 0 for q.
3
Let m(y) be the first derivative of 9/2*y**2 - 1/3*y**3 + 14*y - 8. Let f be m(10). Solve -f*g = -7*g for g.
0
Suppose -5*u = -2198 + 2123. Solve u*m + 4 - 4 = 0 for m.
0
Let g = -22 - -150. Let x = g - 122. Solve -4 - x = 2*j for j.
-5
Suppose 8*p - 12*p = -68. Solve -2*i + 21 = p for i.
2
Let t(p) = p**3 + 6*p**2 + 1 - 2 - 17*p**2 - 2*p + 12*p**2. Let u be t(-1). Solve u = k + 6 for k.
-5
Let t be (-3)/