 Solve -h - u = h for h.
-4
Let i(c) = c**3 + c**2 - 2*c + 5. Let p(v) = -v**3 + 3*v - 6. Let a(l) = -4*i(l) - 3*p(l). Let w be a(-4). Solve w = -z + 1 for z.
-1
Suppose 4*u = 3*p + 13, 4*u + 35 = -2*p + 13. Suppose -5*m + 30 = f, 3*f - 20 = -f + 5*m. Let s = p + f. Solve 4*r - s*r = 3 for r.
3
Suppose 0 = f - 1, 3*y = 6*f - 4*f + 13. Let r(l) = 5*l. Let a be r(8). Suppose 4 = h, -h = -0*i + 2*i - a. Solve y*g + 7 + i = 0 for g.
-5
Let v(l) = l + 2. Let g be v(-1). Solve -3*b + 11 = -g for b.
4
Suppose 3*o - 30 = 9. Let j = o + -7. Solve -n = -j*n for n.
0
Let r = 3 - 2. Solve -4*c - 9 + r = 0 for c.
-2
Let b = 128 + -126. Solve b*w - 4*w = 0 for w.
0
Let x(y) = -y**2 + 3*y + 3. Let f be x(3). Suppose f*b = -2*b + 10. Let m(w) = -w**2 + 5*w - 2. Let k be m(2). Solve -k*i + 2 = -b for i.
1
Suppose -9 = 2*k - 5*k. Suppose 15 = -i - 5*z, 3*i - z - 19 = -0*z. Let w = k + i. Solve -w = 5*c + 7 for c.
-3
Let q = 33 - -9. Suppose -2*j - 2 + q = -2*i, 2*j = i + 40. Solve -3*o = o + j for o.
-5
Suppose z + 2 = 2*d, 13 = 4*d + z + 3. Suppose 5*n - 40 = -2*i, n + 2 + d = 2*i. Suppose n = k + 2*k. Solve 0 = 2*q + k*q - 20 for q.
5
Let j be -2 + 0 + -3 + 7. Let i be j + 2 + (1 - 3). Solve i*h - h = 0 for h.
0
Let i(p) = -14*p - 6. Let w be i(-9). Let m be w/50 - 2/5. Solve m*r + 0*r = -6 for r.
-3
Let v be 3*((-50)/15)/(-5). Solve 0 = -v*b - 2*b for b.
0
Suppose 0 = w - c - 1, 5*c - 31 = -3*w - w. Solve w*a - 2 = -6 for a.
-1
Suppose q + 16 = 5*t, 18 = 5*q + 3*t - 42. Solve 0*p + 3*p = q for p.
3
Suppose 4*s - 64 = -2*h, h - 17 = s - 2*s. Solve -m + s = -4*m for m.
-5
Let m be 18*(-1)/3*-1. Let p(d) = d**2 - 5*d - 2. Let b be p(m). Suppose b*y - y - 6 = 0. Solve y*f = 6*f + 4 for f.
-1
Let d be 0*(-2 - (-2 - 1)). Suppose d = w + o, -o + 0 = 4. Suppose -2*m - w*r = r + 1, -5*m + 5*r = -15. Solve h + 0*h = m for h.
2
Let d = 4 + -4. Let m = 1 - d. Let v be (m - (-6)/(-9))*9. Solve 0 = 7*w - v*w for w.
0
Let t be (-104)/(-28) - 8/(-28). Solve 1 = t*s + 13 for s.
-3
Suppose 3 = m - 0. Suppose 0 = 2*h - 3*h + 3. Solve -9 = -m*u + h for u.
4
Let x = 8 - 6. Let i = 6 - x. Solve -t = i*t - 20 for t.
4
Suppose 7 = 4*r + 3, r = -f + 1. Suppose f*p - 2*p = 0. Solve 2*w - 2 = -p*w for w.
1
Let c(p) = -2*p**3 + 8*p**2 - p - 6. Let x be c(3). Solve -4*v = 1 - x for v.
2
Let x(l) = -l + 1. Let o be x(-2). Solve -o*s + 4 = -2*s for s.
4
Let a(f) be the second derivative of f**5/20 + 3*f**4/4 + 6*f**2 - f. Let m be a(-9). Suppose 3*g - m = -0. Solve -n = -2*n + g for n.
4
Let v(y) = -4*y + 22. Let a be v(5). Solve -c + 9 = a*c for c.
3
Suppose 0 = -3*y + 2*y - 2*u + 9, 9 = 2*y + u. Suppose p = -4*p - y*k + 32, 4 = k. Solve -p*m - 1 = -17 for m.
4
Suppose -3*v - 4*h = -17, 0 = -5*v + 2*h - 4*h + 33. Solve 2*o = 3 + v for o.
5
Let y(k) = k**3 + 3*k**2 + 3*k + 2. Let z be (-27)/12 - (-1)/4. Let b be y(z). Suppose c = 3 - b, 2*c = x - 1. Solve 13 = 4*j - x for j.
5
Let r = 97 + -85. Suppose d = -4*d. Solve -4*w + r = -d*w for w.
3
Suppose -5*b - 24 = -34. Let w(u) = u**2 - 3*u + 5. Let a be w(5). Suppose 3*n = -a, -23 = -4*d - 0*n + 3*n. Solve -b*o + 0 = d for o.
-1
Let z be (-198)/(-30) + 4/10. Let f(n) = 5*n - 1. Let o be f(1). Suppose 28 = 4*a - o. Solve -a = 3*b - z*b for b.
2
Suppose 4*i = 5*v + 57, -3*v = -4*i - 4 + 51. Let a(u) = u - 1. Let h be a(1). Solve -2*b - i = -h*b for b.
-4
Suppose 0 = 2*j + 2*w + 8, 5*w - 4 = j + 2*j. Let v(c) = -c**2 - 4*c. Let u be v(j). Solve 0 = -n + 4*n - u for n.
1
Suppose 0 = 5*x - 0*x - 35. Let n = -118 - -120. Solve -x*a = -n*a - 25 for a.
5
Suppose 0 = 3*n + 8 - 14. Solve -n*x + 16 = 2*x for x.
4
Let z be -4 - -3 - (-29 + 0). Suppose t - 3*t + z = 2*x, 0 = -4*t + 8. Suppose -3*c + x = c. Solve -3*n + c = -6 for n.
3
Let b = 59 + -57. Let a be (6/10)/((-2)/(-10)). Suppose -12 = -4*d + b*o, -3*d + o + a*o + 4 = 0. Solve -d = -4*c + 2*c for c.
2
Suppose -3*z - 1 = -7. Let l be (51 - 3)/3 + z. Suppose l = -3*y + 6*y. Solve -y = 3*g + 3 for g.
-3
Let v = 8 - 12. Let b be 2/v*(-28)/2. Solve -15 = 4*x - b*x for x.
5
Let w(p) = -p**2 + 5*p - 5. Let g(v) = -v**2 + 4*v - 4. Let q(c) = -5*g(c) + 4*w(c). Let z be q(0). Suppose z = 3*t + 2*t. Solve t = k + 2*k - 9 for k.
3
Suppose 4*c + 5*i = i + 8, -4*c + 5 = 5*i. Let p be (3/(-2))/(6/(-12)). Solve 0 = -6*g + c*g + p for g.
3
Let r(x) = -x**3 + 20*x**2 + 45*x - 22. Let l be r(22). Solve -3*c + 8*c + 5 = l for c.
-1
Let m be (-21)/14*((-20)/6 - 0). Solve m*o = o - 12 for o.
-3
Let p(h) = h + 2*h**3 + 2 + h**2 - 3 + 3 - 3*h**3. Let b be p(2). Solve 0 = -b*t + 3*t for t.
0
Suppose -24 = -5*c + c + 4*j, 2*c + 2*j = 0. Suppose -c = -3*t, -3*y + 14 = -y + 2*t. Solve -5*b + y = 1 for b.
1
Let n = 16 + -16. Solve -4*f = -n*f for f.
0
Suppose 4*f + 5*a + 41 + 7 = 0, 0 = a. Let b = -8 - f. Solve -b*c = -3*c for c.
0
Let d(f) = f**3 + 3*f**2 - 2. Let t = -8 - -6. Let u be d(t). Solve 6*n = u*n - 20 for n.
-5
Let a be 4/14 - (-1458)/42. Suppose -2*c - 3*c = -a. Solve -10 = 2*z - c*z for z.
2
Suppose -12 = -4*u + 4*l, 0*u - 3*u + 4 = 2*l. Suppose z + 8 = u*z. Suppose 0 = 4*i + 5*b + z, 0*i = -i - 5*b - 17. Solve 5 + i = -4*k for k.
-2
Let w = 13 + -13. Solve 2*z = -w + 6 for z.
3
Suppose 2*p = 3*k - 30, 5*k = 3*p + 37 + 13. Let w be 15/25 - (-54)/k. Solve 3*y + 0*y + w = 0 for y.
-2
Let i(n) = -n**2 - 4*n - 1. Let c be i(-2). Suppose -c*h - h + 44 = 0. Let f(q) = q**3 - 12*q**2 + 11*q + 3. Let b be f(h). Solve -2 + 11 = -b*j for j.
-3
Suppose 4*o = -c - 0*c + 31, 5*c + 5 = 0. Solve 2*i = -14 + o for i.
-3
Suppose 2*r = 7*r - 25. Suppose -11 = -r*u - 1. Suppose 0 = -3*x + 4*l + 1 + 7, 4*l + 8 = 0. Solve c = -x + u for c.
2
Suppose 35*q = 32*q + 24. Solve 5*p = p - q for p.
-2
Let s(h) = -h**3 - 5*h**2 - 6*h - 6. Let r be s(-4). Suppose -f = -r*f + 5. Suppose -f*o - 8 = -b, 5*o - 32 = -b - 3*b. Solve -b*y - 20 = -3*y for y.
-4
Suppose 6*t = -y + t + 24, 4*t = -4*y + 64. Suppose -2*n + 4*n + 5*p - y = 0, -3*p = -3*n. Suppose -n - 4 = -3*o. Solve 0 = 2*q + 10 - o for q.
-4
Let u(w) be the third derivative of -w**4/24 - w**3 + 3*w**2. Let l be u(-8). Suppose x = -0*x + 8. Solve 0*p + l*p = -x for p.
-4
Suppose 32 = 5*b + 4*d, -3 = -3*b - 0*b + 3*d. Suppose -5 - 1 = -2*h. Suppose -b*v + 20 = 2*o, 2*v + 2*o = h*v - 15. Solve v*q = 2*q + 5 for q.
1
Let m = -22 - 3. Let c = -7 - m. Solve 5*w - c = -3 for w.
3
Let j(x) = -x - 7. Let l be j(-5). Let y be 4 - 0/(l + 3). Solve 2*m + y = m for m.
-4
Let i(n) = n**2 - 7*n + 7. Let w be i(6). Suppose -5*b = -t - w, -4*b + 1 = -0*b - t. Solve 3*h = -b - 15 for h.
-5
Let n = -50 + 89. Suppose -2*w - 4*q + q = -n, 4*w - q = 43. Solve 0 = 3*o - 0*o - w for o.
4
Let k(n) = -1 - 3*n**3 + 6 + 2*n**3 - 10*n + 11*n**2. Let s be k(10). Solve s*b + 3 = -2 for b.
-1
Let n(m) = -12*m**2 - 1. Let q be n(1). Let r = 17 + q. Solve -2*u = -r*u for u.
0
Let l = 2 - 2. Let z be l/((-2)/4*2). Solve z*m - 4 = 4*m for m.
-1
Let g = -47 - -24. Let w be 1/4 - g/4. Let v be w/(-9) + 6/9. Solve v = 5*s + 2 + 13 for s.
-3
Let o(s) = -s**3 + 5*s**2 + 5*s + 6. Let p be (3/2)/((-3)/(-12)). Let v be o(p). Solve 0 = -2*f + 10 - v for f.
5
Suppose 10 = -0*j + 2*j. Suppose -14 = -2*f - 3*c, 0 = 6*f - f + j*c - 30. Let r = -5 - -8. Solve -r*i + f = -5 for i.
3
Let y = 2 + 1. Suppose n = -3*k + 18, -11 = -3*n - k + y. Solve 0*z + 3*z = n for z.
1
Let h = 58 - 50. Solve 4*a + h = -4 for a.
-3
Let c be 2 - (10/2 + -3). Suppose c = n + o + o - 6, 26 = 3*n + 2*o. Let y = n + -4. Solve 0 = 4*d - y*d for d.
0
Let m(z) = z**3 + 6*z**2 - z - 1. Let l be m(-6). Solve -y = -2*y - l for y.
-5
Let m(g) be the third derivative of -g**6/120 - g**5/12 + g**4/4 + g**3 + 2*g**2. Let x be m(-6). Solve 0*p + 2*p = x for p.
3
Let f be 4/2 - -5 - (7 - 6). Solve -6*a = -3*a - f for a.
2
Let u be -5*(-4 + 2 - 1). Let o be (3/2)/((-9)/(-48)). Let d be (-39)/(-12) + (-2)/o. Solve -2*h - u = d*h for h.
-3
Let g be -2 - (21/(-3) - -3). Suppose 5*j - 29 = -3*k - 4, 3*j - 15 = -g*k. Solve k = 2*p - 7*p - 20 for p.
-4
Suppose 0*h - 8 = 4*q - 4*h, -4*q - 2*h = -4. Solve q*l = l for l.
0
Let n be ((-3 - 7)/(-1))/1. Let f = n - 8. Solve f*x = -0*x for x.
0
Suppose 0 = -5*k + 1 + 19. Let b be (-3)/(-2) - k/(-8). Solve -2 = -4*r + b for r.
1
Let x = 0 + 0. Suppose -3*u = 77 - 89. Solve -4*m + x - u = 0 for m.
-1
Suppose -4*i = -2*t - 30, 