- 4*h + 3. Let l be s(3). Suppose -5*w + 106 = -2*c, 82 = 4*w + 2*c - 5*c. Let i = w - 16. Solve l = -i*a + 3*a + 12 for a.
4
Let r = 23 + -34. Let z = 2 - r. Solve -z - 2 = -5*k for k.
3
Let y = 27 - 9. Suppose p = -2*d - 2*d + y, 4*d = 8. Suppose 10 = 5*w - 5*g, -p = w - 2*w + 5*g. Solve 0 = -o - w*o - 2 for o.
-2
Let z(y) be the second derivative of -11*y**3/6 + 5*y**2/2 - y. Let l(x) = 5*x - 2. Let m(j) = -13*l(j) - 6*z(j). Let n be m(7). Solve n*r + r = -16 for r.
-4
Suppose 0 = -a - r + 4, -2*a - 13 + 45 = -4*r. Suppose -27 = -b - 8*b. Solve -b*w + w = a for w.
-4
Let w = -8 + 13. Solve -w*d = -d for d.
0
Let v = 21 - 21. Solve v = 5*u - 11 - 4 for u.
3
Let t = -12 - -5. Let l = t + 1. Let w(a) = -a**3 - 7*a**2 - 6*a + 3. Let b be w(l). Solve -2*j = -b*j for j.
0
Suppose -4*f - 4*h + 0 + 4 = 0, -4*h + 5 = 5*f. Solve 0 = -2*b + 3*b + f for b.
-1
Suppose 0*j + 2*j = 0. Suppose -2*f + f + 9 = j. Solve -5*l + f = -1 for l.
2
Let f = -2 - -2. Suppose f = 5*a - 7*a. Let n = a - -7. Solve b = n - 4 for b.
3
Let w be -3*2/(-6)*2. Let u be (-2)/w*(4 + -4). Solve u*h = -2*h for h.
0
Let a be 1/2 + (-21)/(-6). Suppose 7 = 3*g + g + t, -4 = a*t. Solve -h = g*h - 3 for h.
1
Suppose 0 = 8*q - 6 - 2. Solve 4*t - q = 3 for t.
1
Suppose x - 8 = -3*t + 4, 4*x = 3*t + 48. Suppose -c = c - x. Suppose -c*p = -p. Solve p = -5*y - 0*y for y.
0
Let s be 30/5*(-6)/(-4). Let t = -6 + s. Solve f = t*f + 8 for f.
-4
Suppose 0 = -4*u - 0*u + 12. Suppose u*f = 4 - 1. Solve -2*n + f = 9 for n.
-4
Let j(a) = 7*a**3 - a**2 + 1. Let l = -19 + 20. Let o be j(l). Solve 3*d - o*d = 4 for d.
-1
Suppose 3*o + 0*d - 75 = 3*d, 0 = -2*d. Suppose 0 = -3*b - 2*b + o. Solve 0 = 5*a - b - 0 for a.
1
Let k be (-3 + 1)*(-1 - 12)/1. Suppose 0*n + n + 3*l + 3 = 0, 0 = 3*n - l - 21. Solve -4*z + n - k = 0 for z.
-5
Let j be ((-15)/(-10))/(3/4). Let w = -4 - -13. Solve o = -j*o + w for o.
3
Suppose c - 36 = -3*c. Let n = 26 + -25. Let u = n + c. Solve 3*b - 2 = u for b.
4
Suppose 3*j = -5*d - 25, -d - 4*d = 25. Let o be -2*(-1 + j)*2. Solve -g + 3*g = o for g.
2
Let v be 2/(-3)*(-18)/4. Let b be 5 - (v + 2/(-2)). Let f(l) = -l - 14. Let d be f(-14). Solve d = -t + b for t.
3
Let p be (-15)/(-45) + 8/3. Solve 0 = p*c + 4 - 1 for c.
-1
Let n(x) = -x**2 - 5*x + 1. Let r be n(-4). Let h(l) = -l**3 - 5*l**2 + 4*l - 7. Let s be h(-6). Solve -s - 15 = r*y for y.
-4
Let d(j) = 2*j - 15. Let s be 8/14 - (-413)/49. Let q be d(s). Solve -2*l = q*l + 20 for l.
-4
Let k = 5 - 0. Suppose -5*s - 20 = -l, -k*l + 25 + 0 = 0. Let p be 1 - (s/(-3) + -3). Solve 2 + p = -w for w.
-5
Let z = -5 + 5. Suppose z = q - 3*q. Solve q = a + a + 2 for a.
-1
Let r be (-6)/(-5)*150/12. Solve 6*z = z - r for z.
-3
Suppose 0*k = 3*k - 9. Suppose -5*o = -k*o - 2*f - 2, 4*f = -4. Suppose o = 5*g - 7 - 43. Solve 0*r = -2*r + g for r.
5
Let t(k) = 4*k**3 - 10*k**2 - 6*k. Let d(a) = -3*a**3 + 10*a**2 + 5*a + 1. Let h(v) = -5*d(v) - 4*t(v). Let u be h(-10). Solve 3*j = u*j - 2 for j.
1
Suppose -m + 5*b = m - 10, -6 = -4*m + 3*b. Suppose 2*y - 7 = 1. Let v = y - m. Solve v*f + 12 + 8 = 0 for f.
-5
Let d = 4 - 10. Let h = -2 - d. Suppose h*b - 2 + 10 = 3*g, g = -2*b + 16. Solve 3 - g = c for c.
-5
Let m = 0 - -2. Suppose i = -m + 6. Suppose -i*u = -12 - 4. Solve -2*f = 2 + u for f.
-3
Let q(w) = -w**3 - 2*w**2 - 2*w + 2. Let s be q(-2). Suppose -5*x - 3*z + 11 = 0, 2*x + z = -1 + s. Solve -x*a - 16 = 4 for a.
-5
Let k(o) = -o**3 - 11*o**2 + 11*o - 10. Let f be k(-12). Solve 25 = -f*m - 3*m for m.
-5
Suppose 3*k - 27 = 4*b - b, -4*b + 12 = 4*k. Suppose -d = -3*s + 6, d = k*d + 5*s - 10. Solve 3*r = -d*r + 15 for r.
5
Let x = 17 - 14. Suppose x*r + 3 = 4*u, -4 = -4*u + 8. Solve 7 = -4*s + r for s.
-1
Let x = -3 + 2. Let a(t) = 5*t**2 - t - 1. Let u be a(x). Suppose 3*n - u = -2*n. Solve -n = -4*b + 3 for b.
1
Let t(w) = -w**2 - 8*w - 8. Let o be t(-6). Solve 0 = u + o - 5 for u.
1
Suppose k - 2*a = 13, -5*k + 21 = -3*a - 9. Solve -5*t = -k*t - 10 for t.
5
Suppose 0 = -i - 0*i. Suppose i = 3*g - 3 + 9. Let w be 3 + 1/(-2)*g. Solve 5*f = w - 19 for f.
-3
Suppose 0 = -q - 4*l + 81, 2*q + 4*l = 124 + 26. Let v = q + -45. Suppose 0 = -3*x + v - 9. Solve -x*z - 2 = 3 for z.
-1
Let w be 4/14 - (-58)/(-7). Let f = w + 12. Let r(p) = -p**2 + 5*p + 6. Let z be r(6). Solve 5*j - f - 11 = z for j.
3
Let x be 7/(0 - 3/(-3)). Suppose -2*z + 0*z + 18 = 0. Let f = z - x. Solve -w - 1 = f for w.
-3
Let r be 2*(0 - 3/2). Suppose h + 6 = -h. Let f = h - r. Solve 0 = -f*k - k + 1 for k.
1
Let z(c) = c**2 + 4*c + 3. Let o be z(-3). Suppose -3*d = 5*x - 29, -5*d = x - 2*x - 11. Let i = x + -1. Solve o*y - 9 = i*y for y.
-3
Let g(o) = -o**2 - 6*o - 1. Let f be g(-5). Solve 0 = -f*w + 10*w + 12 for w.
-2
Let r(u) = 3*u - 3. Let q be r(2). Let f = -1 - -2. Suppose -11 - f = -3*a. Solve -a*s + 5 + q = 0 for s.
2
Let o = 6 + -7. Let p(n) be the first derivative of -3*n**4/4 + 2*n**3/3 + n**2/2 - 1. Let i be p(o). Solve 3*s + i - 1 = 0 for s.
-1
Suppose k = 4*g - 8*g - 6, 4*k - 3*g + 5 = 0. Let q(z) = z**2. Let x be q(k). Solve -x*b + 6 - 2 = 0 for b.
1
Let x = -79 - -114. Suppose -6*k + x = -k. Let c = 37 + -36. Solve 2*i = -c + k for i.
3
Suppose -3*s + 0*s + 30 = 0. Solve 3*f - 4 + s = 0 for f.
-2
Let k(n) = -n**2 - 4. Let g be k(5). Let m be (-4)/28 + g/(-7). Solve -r = 3*r - m for r.
1
Suppose 2*p = -3*y - 56, 7*y = 2*y + 2*p - 120. Let r be (-11)/y*(0 + 6). Solve 8*u = r*u + 20 for u.
4
Let t = -1 + -1. Let i(j) = -j**3 + 3*j + 3. Let h be i(t). Solve 0 = 2*u - 3 + h for u.
-1
Let k = 29 - 24. Solve 3*j = -k + 17 for j.
4
Suppose -4*s = 2*i + 12, -2*i + 7*i = 3*s + 9. Suppose -5*k = -2*k - 12. Suppose 3*p = -4*b + 14, 2*p + 4*b - k = 4*p. Solve p*c + i*c = -8 for c.
-4
Let b(d) = 2*d**3 - 2*d - 1. Let w be b(-1). Let u(t) = -9*t**3 - 2*t**2 + 1. Let c be u(w). Suppose -6*h = -h - 25. Solve h*q - c = -3 for q.
1
Let n(i) = i**3 - 5*i**2 - 13*i - 5. Let d be n(7). Solve d + 18 = -5*f for f.
-4
Let b = 32 - 23. Suppose 20 - 50 = -3*w. Suppose -5 - w = -5*n. Solve n*s = -0*s - b for s.
-3
Let b(l) = -11*l + 1. Let w be b(-1). Let z = 24 - w. Solve -2*f = 2*f - z for f.
3
Let c = -4 - -1. Let o = 9 + c. Let i = 9 - o. Solve i*t - 12 = 6*t for t.
-4
Let l = -143 - -147. Solve 0*t - l*t = 0 for t.
0
Let l be 2/(-19) - 78/(-19). Solve 0 = -y - l for y.
-4
Suppose 4*l = -2*w + 10, 4*w + 9 - 20 = l. Suppose 0 = 3*d - 3*z - 33, -2*d + 3*d + 3*z + l = 0. Let s be (-11)/(-4) - 1/(-4). Solve -5*i - d = -s*i for i.
-4
Let n(b) = -b**3 + b**2 - b - 12. Let g be n(0). Let w = 6 + g. Let h = 9 + w. Solve -2*v - 25 = h*v for v.
-5
Suppose -12 = -5*y + 18. Solve -y*c = -2*c for c.
0
Suppose -21 = -3*v + 5*s, 0*v + 2*v - 7 = s. Let b = 11 - 7. Suppose 0*t - b*t = -12. Solve -v*w + t = -5 for w.
4
Let z(p) = -p**3 + 5*p**2 - 3*p + 2. Let w be z(4). Solve w*b + 8 = 4*b for b.
-4
Suppose -t = 5*t - 2*t. Solve t = -0*y + y + 3 for y.
-3
Suppose b = -3*r + 14, -3*r + 2*r - 12 = -3*b. Solve 0 = -3*x - 2*x - b for x.
-1
Suppose v = 2*o - 2, -3*o = -4*o + 1. Suppose -6 = -5*i + 3*c, -5*i + 0*c = c + 2. Solve v = -q - i - 1 for q.
-1
Let s(p) = -p**2 - 6*p - 1. Let q be s(-5). Let y = -7 - -11. Suppose 0 = y*h - g - 3, 4*g + 6 = -6. Solve -q*b + h = 20 for b.
-5
Suppose 1 + 5 = 2*i + 4*v, i - 4*v - 9 = 0. Let a(h) = -h - 6. Let m be a(-6). Solve m = i*q - 2*q - 12 for q.
4
Let v = 25 - 15. Suppose 5*b - v = 65. Solve -5*s = -2*s - b for s.
5
Suppose 2*w = -5*r - 2*w + 88, 0 = -3*r + 3*w + 69. Let y be (16/r)/(4/30). Solve 5*f - 14 = y for f.
4
Let o(q) = 5*q**2 + 10*q + 4. Let h(d) = -1 - 4*d - d**2 - 3*d + 6*d. Let u(z) = -6*h(z) - o(z). Let m be u(4). Solve 15 = m*s + s for s.
5
Suppose -2*y - 3*z = -5, 4*y - 5*z - 17 = y. Solve y*t + 0 - 16 = 0 for t.
4
Let p(q) = q**2 + 7*q + 12. Let r be p(-5). Solve 0 = r*y - 4*y - 6 for y.
-3
Let g(h) = -h**3 + 9*h**2 - 8*h + 7. Let s be g(8). Suppose -s*p + 3*p - x + 12 = 0, -x = 0. Solve 0*o - o = -p for o.
3
Let d(p) = -2*p**3 - p - 1. Suppose 0 = 7*g - 2*g + 5. Let v be d(g). Solve h = v*h + 1 for h.
-1
Suppose 9*t - 4*t - 10 = 0. Suppose -t*k = k. Solve 3*f + f + 12 = k for f.
-3
Let u = 4 - -4. Let z(y) = y**3 - 4*y**2 + 3*y - 2. Let o be z(2). Let r(k) = -k - 4. Let c be r(o). Solve c = 4*n - u for n.
2
Let h = 22 - 1. Let q = h -