Let t be a(b). Solve -h + 3 = -t*h for h.
3
Let g = 17 + -13. Solve g = -c - 0 for c.
-4
Let l = -8 + 10. Let p(b) = -b**2 + 4*b. Let h be p(l). Solve 0*n + h = 2*n for n.
2
Let x be 16/3 + (-1)/3. Suppose 3*p = -5*d + 10, -5*p - 1 = -d + 1. Let h(y) = 2*y + 4. Let k be h(3). Solve p = x*t - k for t.
2
Suppose -8*l + 4*l + 8 = 0. Solve l*x - 12 = 6*x for x.
-3
Let z = -85 + 85. Solve 3*c + c - 16 = z for c.
4
Suppose 0 = 4*x - 14*x + 70. Solve v + 3 = x for v.
4
Let i = 2 - 0. Let c(a) be the first derivative of a**3/3 - 4*a + 2. Let u be c(3). Solve -i*m = -u*m + 9 for m.
3
Suppose 5*r - f - 4 = 2*f, 4*f = 4*r. Let d(k) = -k**2 - 4*k + 5. Suppose -5*y + 0*y - 25 = 0. Let s be d(y). Solve -h + r = -s*h for h.
2
Let h(o) be the first derivative of 10*o + 1/2*o**2 - 2. Let v be h(-10). Solve v*j + 2*j + 10 = 0 for j.
-5
Let z(o) = 15*o**2 + 1. Let w be z(1). Solve 0*c = 4*c - w for c.
4
Let v = 23 + -21. Solve v*q = -2*q for q.
0
Suppose -3*h + d + 3*d = -21, 0 = 5*h - 2*d - 21. Solve l - 8 = h*l for l.
-4
Let a be (-24)/(-3) - (-3 + 2). Solve 0 = 4*r - 7*r + a for r.
3
Let y be (20/3)/((-2)/(-3)). Solve 0 = -2*g - 0*g - y for g.
-5
Let s = 13 - 6. Suppose s*w = 2*w + 10. Suppose -p + 3*v + 2 = 3*p, w*v = -3*p + 10. Solve l = p*l - 3 for l.
3
Let y(w) = -w**3 + 8*w**2 + 6. Let g be y(8). Solve x = -g + 2 for x.
-4
Let m = 207 - 110. Suppose 0 = 4*q + 2*p + p - 89, 5*q - m = p. Let f be q/15 - (-4)/6. Solve -d = d + f for d.
-1
Let s be (4*-1 - 2) + 3. Let f be 3/((-6)/2)*s. Suppose 0 = -2*b - 2*b + 8. Solve f - b = z for z.
1
Let v be ((-4)/(-10))/(2/20). Suppose -l = -f - 4, -3*f = v*l - 2*l + 12. Solve -15 = -l*r - 3*r for r.
5
Suppose 0 = -3*m - 6 - 0, 3*w + m - 19 = 0. Let d = w + -5. Solve -2 = 4*u + d for u.
-1
Let u(d) = -d**2 - 13*d - 15. Suppose -4*v - 2*k - 59 = -5*k, 2*v + 7 = -3*k. Let x be u(v). Solve -w + x - 3 = 0 for w.
4
Let f = 1 - -4. Let s(j) = j**2 - 4*j. Let i be s(f). Suppose 0*w - 2 = w, 0 = -r - 4*w - 5. Solve -i = 2*p + r*p for p.
-1
Suppose -10 + 40 = -5*h. Let p(y) = -1 - y - 3 + 1. Let f be p(h). Solve -l = -f + 5 for l.
-2
Let c = -4 + 6. Let o = c + 1. Solve -j + 1 + o = 0 for j.
4
Let t(p) = -p**3 + 13*p**2 - 13*p + 19. Let y be t(12). Solve 0 = -3*b + y*b - 8 for b.
2
Suppose -5*v = v - 24. Solve a = v*a for a.
0
Let d = -8 + 23. Suppose 1 = -4*t + 21. Solve 0*i - t*i = d for i.
-3
Let x = -5 - -8. Suppose x*h + h - 8 = 0. Solve 2*m = -h*m for m.
0
Suppose s = 3*s. Solve s = 3*b - 4*b - 4 for b.
-4
Suppose -36 = -2*m - 3*c, 4*c = -4*m - m + 76. Let k = 4 - 2. Solve -k*u - u = -m for u.
4
Suppose 4*a + 15 = 23. Solve 0 = -c + 2 + a for c.
4
Suppose 14 + 4 = 6*a. Let t(x) = x**2 - 1. Let c be t(2). Let i be (-4 - -1)*(-10)/c. Solve 2 = a*u - i for u.
4
Suppose 6 = -0*r - 4*r - 5*d, 5*r - 2*d - 9 = 0. Suppose 5*t - r - 4 = 5*p, -4*p = 4. Suppose -2*q + q = t. Solve 2 = -u - q for u.
-2
Suppose -j - 7 + 0 = 0. Let b = j + 12. Let t = 8 - b. Solve -6 = t*y - 18 for y.
4
Let p be ((-72)/15)/(2/10). Let x be 34/16 - (-3)/p. Solve 4 = -x*y - 2 for y.
-3
Suppose -3 = y - 9. Solve -y = -2*h + 2 for h.
4
Let n = 25 + -21. Let q = 8 - n. Solve l - q = -l for l.
2
Suppose -65 = -4*h - 1. Let p = h + -15. Suppose 0*j = 5*j. Solve 0 = q - j + p for q.
-1
Let s(q) = 7*q**2 + 3*q + 3. Let f be s(-2). Let z be 8/2 + -3 + 3. Suppose -h + f = 4*g - 1, 0 = -4*g - z*h + 32. Solve -c - c = g for c.
-3
Let a(w) = -w**3 - 6*w**2 + w + 8. Let l be a(-6). Suppose 0 = -3*h - 3*m + 9, -l*h - 5*m + 9 = h. Solve -2 = -x - h for x.
-1
Let o = 6 - 7. Let a = 4 + o. Solve -3*q = -0*q - a for q.
1
Let x(b) = b**3 + 6*b**2 - b - 2. Let d be x(-6). Suppose d*v + 0 = 8. Suppose -6*h = -9*h + 15. Solve 7*w = v*w + h for w.
1
Suppose 3*u - 3 = 2*u. Suppose u*c + 4*s - 8 = 0, 5*c + 0*s + 2 = s. Solve c = 7*l - 2*l + 15 for l.
-3
Suppose -a - 8*a = -18. Solve -2 = -a*y + 2 for y.
2
Let l(g) = -g**3 - 7*g**2 + 2. Let u be l(-7). Solve 2*i = 6 - u for i.
2
Let a = -150 + 153. Solve -s + 12 = a*s for s.
3
Let y(u) = -6*u - 3. Let n(s) = -7*s - 2. Suppose 0 = t - 3*j + 7, -2*j = t + 3*t - 28. Let m(q) = t*y(q) - 4*n(q). Let a be m(-6). Solve 0 = a*r + 5 for r.
-1
Let b = 15 + -5. Let i be (-1)/2 - (-155)/b. Solve 0 = -2*h - h + i for h.
5
Let y be (-2 - -3) + (-15)/(-1). Let h be 0 - (-1)/((-2)/(-28)). Let x = h + -8. Solve 5*m - x = -y for m.
-2
Let j = -84 - -87. Solve j*g - 2 - 4 = 0 for g.
2
Suppose 0 = 4*n - 8 + 4. Let z = 4 - n. Solve l + 0 = z for l.
3
Let w = 60 - 52. Solve -4*p + 4 = -w for p.
3
Let r(p) = p**3 + 10*p**2 + 8*p - 7. Let l be r(-9). Solve y = -l*y + 12 for y.
4
Let l = 8 + -4. Suppose 5 = l*u - 7. Solve -5 - u = 2*s for s.
-4
Let i(l) = l**2 - 3*l - 5. Let o be i(-2). Solve 0 = 4*b - o*b + 3 for b.
3
Let b(l) = -l + 12. Let c be b(7). Let m = c - 5. Solve k + 3*k = m for k.
0
Let c(l) be the third derivative of l**4/24 + l**3/3 - l**2. Let g be c(2). Solve g*p + 21 = 5 for p.
-4
Let x(n) = n**2 - 3*n + 4. Let g be x(6). Let k(u) = u - 8. Let o be k(10). Suppose 14 = o*c + 2. Solve -4*m - c = -g for m.
4
Suppose -2*k - 7 = -i, -4*i + 0*i = k + 8. Let g be -5*i/((-1)/(-1)). Solve -g = -q - 2 for q.
3
Let t = -4 + 4. Suppose t = 2*l - 10 - 18. Suppose 5*g - m - 2*m = l, -11 = -5*g + 2*m. Solve -3*i = -2 - g for i.
1
Let b(r) = -r**2 - r + 38. Let t be b(0). Suppose -w + t = w. Suppose -3*f = -c + 3*c - 11, -f - w = -5*c. Solve 5*y - c = 16 for y.
4
Let r(y) = 5 + 0*y**2 + 5*y - 3*y**2 + 4*y**2. Let a be r(-7). Solve -4 + a = -3*l for l.
-5
Let u be (2 - (-6)/(-2))*-2. Let w = 5 - u. Solve -10 = 2*h + w*h for h.
-2
Suppose -2*c + 5 - 12 = -5*y, 5*c = -2*y + 26. Solve -c*n + 2 = -6*n for n.
-1
Let d(p) = p - 5. Let x be d(0). Let r be -3 - 48/(x + 2). Solve 4*a - r = -33 for a.
-5
Let s be (7/(-2))/((-14)/4 + 3). Solve -5*r = 18 + s for r.
-5
Let c(z) = -2*z + 11. Let g be c(4). Suppose 1 = 4*x - 31. Solve -g*f = -f - x for f.
4
Let j = -138 + 142. Solve j*s = 5*s for s.
0
Let i(o) = -o**2 - 5*o + 14. Let x be i(-5). Solve 3*j + 1 = -x for j.
-5
Suppose 2*r + b + 5 = 0, 2*b = -7 - 3. Suppose r = 3*h + 2*h. Solve h = -0*f + 4*f - 20 for f.
5
Suppose 5*y + 1 - 16 = 0. Suppose 4*k - 3*f = 9, -k - y*f = 3*k - 39. Solve 5*s = 2*s + k for s.
2
Suppose 0 = 15*o - 13*o - 10. Solve o*q = -0*q for q.
0
Let s be 12/7 + (-2)/(-7). Suppose -4*r + r + 4*c = -35, 4*r + c = 15. Suppose 0 = -5*u + r, 3 = -h - u + 11. Solve 0 = s*k - h*k - 5 for k.
-1
Let j(m) = m**2 - 7*m + 2 - 2 + 9. Let a be j(6). Solve 8 = -a*l - 1 for l.
-3
Suppose 0*f + 4*f = 0. Suppose f = 2*u + 2*u. Solve -o + 0*o + 3 = u for o.
3
Let z(p) = -p**3 - p**2 + 1. Let t(l) = -2*l**2 - l + 3. Let j(n) = t(n) - 2*z(n). Let k be j(1). Solve -7*y - 20 = -k*y for y.
-4
Let n(u) = -u**2 + 25*u + 28. Let l be n(26). Solve -3*g = l*g - 20 for g.
4
Suppose q - t - 3 = 0, 3*t - 12 = 3*q + 7*t. Solve q = i + 2*i for i.
0
Suppose -5*b = 2*r - 18, -b + 2*r = 2*b - 14. Let i be (-2 + 0)*(-2)/b. Let s be 2*(-4)/(-1 + -1). Solve s*k + 5 = i for k.
-1
Let d be (-32)/(-4) - (-6)/(-2). Let i = -4 - -8. Suppose i*y = -1 + 9. Solve -y*w + 3 = d for w.
-1
Let o(z) = z. Let g(a) = -3*a + 7. Let m(b) = g(b) + 2*o(b). Suppose -3*v = -2*v - 7. Let i be m(v). Solve -4*h = -i*h + 4 for h.
-1
Let c be -3 + (7 - 4) + 3. Solve 2*w = w + c for w.
3
Let q(k) be the third derivative of -1/60*k**5 + 0*k + 11/24*k**4 - 5*k**2 - 4/3*k**3 + 0. Let s be q(10). Solve -s*a + 1 = 9 for a.
-4
Let n be 3 - (2/6)/(5/(-15)). Solve -n*x = -3 - 9 for x.
3
Let b(h) = 2*h + 6. Let a be b(0). Solve -z - a = z for z.
-3
Let r(f) = 7*f**2 + f. Let s be r(-1). Let q be 4/26 - (-24)/13. Let t be (2*2*-1)/(-1). Solve -q*k = s + t for k.
-5
Let q be (-7)/(-3) + (-2)/(-3). Suppose -4*d + 3*u = u - 32, -2*u - 14 = -d. Solve d = n - q*n for n.
-3
Let u(y) = -3*y**2 + 2*y - 1. Let s(c) = -2*c**2 + c - 2. Let w(m) = -4*s(m) + 3*u(m). Let n be w(-4). Let k = -9 - n. Solve 0*r = 5*r - k for r.
2
Let w = 0 + 0. Suppose -72 = -5*f - 4*p, 5*f + 0*f - 51 = 3*p. Solve f = -3*c - w for c.
-4
Let j = 10 - 2. Let v = 12 - j. Solve -r = v*r for r.
0
Let q(j) = -2*j + 4. Let z be q(1). Solve -6*n + z*n + 16 = 0 for n.
4
Suppose -u + q = 3, 0*u + 4*q - 12 = -2*u. Let j be 1/1*1 + 2. Suppose j*w - 10 - 2 = 0. Solve u = w*x + x - 10 for x.
2
Let i = 16 + 18.