ppose 0*l - i*l + 8 = 0. Solve -l*k + 5*k = -15 for k.
-5
Suppose 3*h + h - 8 = 0. Let p be (-3)/(-3) + -1 + h. Suppose p*k + 8 = 4*k. Solve k*w - 12 = w for w.
4
Let d = -5 + 8. Let f be (0 + 2/d)*6. Solve -f*t + 15 = t for t.
3
Let m be (-11 + 11)*(-1)/(-2). Solve s + s = m for s.
0
Suppose t = 4 - 2. Let c be (3 - (5 - t))/1. Suppose 2*i = -i + 15. Solve -n + c*n = -i for n.
5
Suppose 0 = -0*d + 3*d + 6. Let c be d/3 + 22/6. Let h = c + -1. Solve -a + h*a = 2 for a.
2
Let u = -8 + 13. Suppose -l - 10 = -u*p, -5*l - 2*p + 3 = -1. Let w = 0 + 3. Solve w*a = 15 - l for a.
5
Suppose z = -4*s + 16, 5 = -3*z + 17. Solve -1 = -s*y - 4 for y.
-1
Let i(j) = j**2 + 5*j + 8. Let u be i(-4). Solve u = 2*s - 3*s for s.
-4
Suppose 0 = -2*m + t + 6, m + 5*t = -3*m + 12. Let b(p) = -1 + p - 4 - p**m - 4*p**2 + 0*p. Let z be b(-5). Solve -5*l = -2*l - z for l.
5
Suppose 0 = -s + 3*k - 11, -2*s - k - 2*k = -23. Suppose -8 = -6*u + s*u. Solve -u*f + 3*f + 1 = 0 for f.
1
Let v = -33 + 33. Solve v = -2*n - 0 + 6 for n.
3
Let j(a) be the third derivative of -a**5/60 - a**4/12 + a**2. Let b be j(-2). Solve -5*z + b*z = -10 for z.
2
Suppose -3*v = v - 4. Solve 2*n - 1 - v = 0 for n.
1
Let k = -8 + 13. Solve 0 = 2*y + 3 + k for y.
-4
Suppose 3*d = 4*d. Suppose -2*p + 26 = 4*s, d*p - 14 = -4*s + 2*p. Solve 5 = 2*v - s for v.
5
Suppose 5*b + 0*b - 15 = 0. Let h(j) = j**2 - 3*j - b + 3 + 4. Let z be h(3). Solve 2*p - z - 2 = 0 for p.
3
Let w(f) = f**2 - 3*f - 6. Let l be (-2)/(-6) - 28/(-6). Let c be w(l). Let g(j) = j**3 - 5*j**2 + 6*j - 4. Let d be g(c). Solve n = -d*n for n.
0
Suppose 4*q - 32 = -4*l, -2*q = 2*q + l - 29. Solve -2*h + 10 = -q*h for h.
-2
Let y = 9 + -7. Suppose 0 = -u - y*u + 15. Suppose 0 = -0*s + s + u, 2*s + 4 = -3*m. Solve 14 = 4*h - m for h.
4
Let q(d) = -d**3 + 6*d**2 + 9*d - 9. Let w(g) = -g**2 - 8*g. Let j be w(-7). Let b be q(j). Solve 11 = -2*n + b for n.
-3
Let m(n) = n**3 + 8*n**2 - 9*n + 2. Suppose 0*r + 3*r = 27. Suppose -2*i - r = -i. Let k be m(i). Solve -k*g = -7*g + 10 for g.
2
Let n(t) be the third derivative of -t**6/120 + t**5/12 - t**4/6 + t**3 + 5*t**2. Let v be n(4). Solve -4 = -2*x + v for x.
5
Let u = 96 + -68. Let i be (0 + 2)*(-23)/(-2). Suppose 1 = 3*s - i. Solve -4*z - u = -s for z.
-5
Let r be (19 - 2) + 2/(-2). Let q = r + -6. Solve 0 = 3*t + 4 - q for t.
2
Let p = 0 - -5. Suppose 2*f + 6 = 0, 0 = -5*v - p*f - 5. Solve v*u = -9 + 3 for u.
-3
Let v(r) = -r**3 - r**2 + 4*r - 2. Let a be v(-3). Solve 0 = f + 3*f + a for f.
-1
Suppose 23 = 5*r - 2. Solve -r = -5*o + 15 for o.
4
Let b(l) = l**2 + 6*l - 1. Let f be b(-8). Let a be 84/5 + 3/f. Solve 0 = -5*p + a - 2 for p.
3
Let v be 891/63 - (-2)/(-14). Suppose -a + u - 3 = -0*a, 2*a = -2*u + v. Solve j = -a*j - 15 for j.
-5
Suppose 2*z - 10 = -0*p - 5*p, 5*p - 2*z - 30 = 0. Let x be 2/9 - (-11)/(-9). Let r be p/(-6)*-3 + x. Solve 0 = 2*s + 7 + r for s.
-4
Let h(f) = 2*f + 38. Let o be h(-14). Solve o = d + 4*d for d.
2
Let n = 2 + -4. Let v be (-1)/2 - 1/n. Solve v = -2*f + 4*f - 2 for f.
1
Suppose 5*u = 4*j - 120, 5*j - 5*u - 145 = -0*u. Solve 0*z + 5*z + j = 0 for z.
-5
Let b(g) = g**2 - 5*g - 4. Let l be b(6). Let t = 8 + -6. Solve -l*y = t*y + 4 for y.
-1
Let j(n) = n**3 + 9*n**2 + 6*n + 5. Let s be j(-8). Solve -5*f - s = -1 for f.
-4
Let a(h) = 3*h**2. Let q be a(-2). Suppose o + 16 + 0 = m, -3*o - 2*m = 33. Let x = o - -16. Solve 0 = x*l - q + 3 for l.
3
Let d be (-2)/1 + 1 + 29. Suppose -2*r + 1 + 13 = 0. Let t be (-8)/d - (-9)/r. Solve -w - t = -0 for w.
-1
Suppose 5 = 3*p - 5*p + 3*m, 25 = 5*m. Suppose 3*y + y = 2*u + 12, p*u - 25 = -y. Solve u*k = 2*k - 8 for k.
-4
Suppose 4*p = -0*p + 4. Suppose 3 + p = t. Solve -r = -2 + t for r.
-2
Suppose -3 = -4*h + 45. Suppose h = o + 2. Suppose -2*k - v - v = -14, 2*k - 5*v + 21 = 0. Solve o = 7*a - k*a for a.
2
Let a(f) = -16*f + 3. Let c be a(0). Solve 0 = v + c*v for v.
0
Suppose -5*r + 12 = 2. Let j(p) = 0*p**2 + 5*p**r + 9 - 6*p**2. Let n be j(0). Solve -5*d = -2*d + n for d.
-3
Let g be ((-12)/12)/(2/120). Let k be ((-2)/(-4))/((-5)/g). Solve -k = s - 1 for s.
-5
Suppose 11*v = 7*v - 368. Let m be (-2)/7 + v/(-28). Solve -3*y = -2*y - m for y.
3
Let v(n) = 2*n. Let a be v(0). Solve 2*b - 3*b - 5 = a for b.
-5
Suppose -t + 2*t + 112 = 5*b, 4*b + t = 95. Solve -4*w + b = 7 for w.
4
Suppose m + 2*m = 5*u - 12, -2*u + m = -5. Let r = 3 + u. Solve l + 2*l = r for l.
2
Let h be 2/(2/3*1). Solve -b = h*b - 4 for b.
1
Suppose 0 = 5*j - 10, 12 = 5*o - 0*j + j. Suppose 0 = -2*n - o*n + 12. Solve -h + n*h = 10 for h.
5
Let v be (-1 + 2*-1)*-1. Let n = -53 - -57. Solve -n = 2*k - v*k for k.
4
Let r(d) = 32 + 4*d - 21 - d**2 + 6*d. Suppose -47 = -5*b - 2. Let a be r(b). Solve -4*g + 8*g + a = 0 for g.
-5
Suppose p - 4*v = v + 22, -5*v - 20 = 0. Solve 2 = f - p for f.
4
Suppose -q + 14 = 11. Solve q*w = -4 - 11 for w.
-5
Let x = 9 - 9. Solve x = r + 1 - 3 for r.
2
Let o(y) = -2*y + 13. Let s be o(4). Solve -8 = -s*c - 3 for c.
1
Suppose 0*y + 7*y - 112 = 0. Solve -2*s = 2*s + y for s.
-4
Let t(m) = m**2 + 5*m - 3. Let w be t(-8). Let r be w/9*3 + 3. Solve -4*s + 2*s = -r for s.
5
Let z be (-4)/(-6) + 1744/(-24). Let g be 14/4*z/(-42). Suppose 0*q - 3*q = -g. Solve -q*t - 3*t - 5 = 0 for t.
-1
Suppose 0*a - a = -5. Suppose -a*t = 0, -4*t - 3 = -3*w - 2*t. Solve w = -4*r - 7 for r.
-2
Let a = -3 + 3. Suppose -4*u + u = a. Let o(l) = l + 5. Let g be o(-2). Solve g*w - w - 4 = u for w.
2
Let l = -3 - -6. Suppose 0*b - l*b = 0. Suppose 5*w = -3*k + 19, 5*w + 5*k - 29 = -4. Solve b = -5*g - w + 22 for g.
4
Let t = -1 + 1. Solve -q + 1 = -t*q for q.
1
Let r(b) = -b**3 + 2*b**2 + 2. Let z be (-18)/(-5) + 4/10. Suppose -5*i = d - z - 11, -4*i = 4*d - 28. Let y be r(i). Solve -n = -y + 4 for n.
-2
Suppose 4*t + 11 = -1, -4*m - 4*t - 4 = 0. Suppose 0 = -m*d - d + 60. Solve 2*a + 2*a = d for a.
5
Suppose -3*d = 2*d + 10. Let c = 27 - 55. Let u be (-133)/c - d/8. Solve -o - u = 4*o for o.
-1
Suppose -3*w + 4*r + 14 = -0*r, 3*r = 2*w - 10. Solve w*d - 7*d = 0 for d.
0
Let l(r) = r - 6. Let o be l(0). Let k be 9/o*-1*2. Suppose 0*c + 6 = u - c, -k*u + c = -18. Solve 2*s - u*s - 4 = 0 for s.
-1
Let s = 180 - 177. Let w be 2/(-3) + 2/3. Solve 0 = -s*o - w*o + 9 for o.
3
Suppose 8*p = 5*p - 3*d + 21, -2*d = 5*p - 23. Solve -p*c - 3 = -0*c for c.
-1
Suppose -3*p + 4*h + 4 = -0*p, 4*p - 2*h = 12. Suppose 0 = -2*k - 0*k + 4*z + 16, 2*z = -p*k + 2. Let l be (-1 - (k - 5)) + 10. Solve 4*y - l = -0*y for y.
3
Let v(d) = d**3 + 10*d**2 + 5. Let k be v(-10). Solve -k*q = -0*q - 25 for q.
5
Suppose -d = -2*r - 3*r + 20, 0 = -r - 5*d + 30. Let c = -5 - -5. Suppose c = -3*u - 2*q - 2*q, 2*q + 6 = 0. Solve 0 = u*s + r + 15 for s.
-5
Let h(j) = j + 5. Let i be h(0). Suppose -7 = i*u - 27. Suppose -5*y = -3*a + u, -a = 5*y - 2*y - 6. Solve v = -0 - y for v.
-1
Suppose -4*p - 7 = 3*f, 3*f + 2*f + 19 = -3*p. Suppose p*l - 4 = -0*l. Let g be l/(-4) - (-30)/4. Solve -g = 5*r + 8 for r.
-3
Let h be 0 + 1 + (1 - -1). Suppose t + h*t = 12. Solve -k + 10 = -t*k for k.
-5
Let w = 42 - 38. Solve -w*y + 9 = -7*y for y.
-3
Let n(w) = -w**2 + 6*w - 9. Let o be n(3). Solve -3*i - 1 - 2 = o for i.
-1
Let y(s) = s**3 + 3*s**2 - s. Let b be y(-3). Let q(p) = p + 10. Let h be q(-7). Suppose -w = -b*m - 2, -4*m - h*w = w - 24. Solve 2*x = -m - 1 for x.
-1
Suppose w = 2*w - 2. Solve 5*r = 27 - w for r.
5
Suppose 5 = y - 0*y. Solve -37 = -y*o - 12 for o.
5
Let j = -5 + -1. Let a(b) = b**2 + 0*b + 7*b + 2 + 4. Let q be a(j). Solve q + 5 = -z for z.
-5
Let m be 101/4 - 2/8. Suppose 4*w = 2*c + 20, 5*c - m = c - 5*w. Solve 4*n + 0*n = c for n.
0
Suppose 2*b + 1 = 5. Suppose -3*l + 3 + 3 = 0. Suppose 5*h - 4 - 26 = 0. Solve -h = b*y + l for y.
-4
Let n be (-36)/8*4/(-6). Let v(i) = -i + 5 + 3 - n*i + 3*i. Let u be v(5). Solve 0*r - r = -u for r.
3
Let q(z) = z - 4. Let n be q(2). Let t be (n + 1)*20/(-2). Suppose 2*h = 3*c - 2*h - t, c = 2*h + 4. Solve -c*d - 3 = d for d.
-1
Let t = -1 - -6. Suppose 0 = -g - 3, -4*u + 8 = -4*g - 32. Solve -t = 4*c + u for c.
-3
Suppose -3 = -w - m, -4*m + 9 = 2*w - m. Solve a + 1 = -w for a.
-1
Let f be (-2 + 5/(-2))*14/(-21). Solve -y - f = -0*y for y.
-3
Suppose 0*d + 60 = 3*d. Let a(f) = f**2 - 4*f - 9. Let z be a(6). Solve -d = -r - z*r for r