h + 14. Solve -h = -3*l - 2*l for l.
2
Let b be 0/(2 - 0) + 8. Solve 2*k = -b - 2 for k.
-5
Suppose -7*c + 3*c = -8. Suppose 0 = -l + 3 + 1. Suppose -l*o - 14 = d + d, c*o = 5*d - 25. Solve -4*h + 5 = -d for h.
2
Suppose 0 = -2*k + 4*k. Let m be 20/2*3/5. Suppose 5*f - 4 = 2*z + m, 4*f + z = 21. Solve -f*a + a - 9 = k for a.
-3
Let r be (9/(-6))/(1/10). Let w = -10 - -7. Let b be (-18)/r*(8 + w). Solve b*a - 2*a = 8 for a.
2
Let c = -4 + 10. Let g = -4 + 8. Let o be c/(-4)*g/(-2). Solve 10 = -o*u + u for u.
-5
Suppose 0*x = -5*b + 3*x + 10, -3*b = -3*x. Solve -b*i - 1 = -4*i for i.
-1
Let x = 42 + -40. Solve -6 + x = l for l.
-4
Let t be 7 + (-12)/4 - -4. Solve 12 = 11*u - t*u for u.
4
Let u(r) = -r**2 - 15*r - 22. Let i be u(-11). Solve -3*l + i = 7 for l.
5
Suppose 36 = 4*z + z + 4*p, 0 = -2*z + 5*p - 12. Suppose 0 = -z*m - 4, -5*y - 3 = -4*m - 22. Solve -x = -y + 1 for x.
2
Suppose -12 = -3*h + 3*b, -3*h + 6 = -0*h + 3*b. Let p = 2 - 2. Suppose 0 = n, p = -5*v + 4*n + 28 - 3. Solve -h*t = -v*t - 8 for t.
-4
Let g = -50 - -80. Suppose 4*z + z + 5*o - g = 0, -2*o = -4*z. Suppose 2*n + 3*c = -z*c - 19, 4*n - 37 = 5*c. Solve r - 1 - n = 0 for r.
4
Let m(x) be the first derivative of -x**2/2 - 4*x + 1. Let t be m(-4). Solve 2*o - 7*o = t for o.
0
Suppose 4 = 3*p + 10, -4*n = 3*p + 2. Suppose -15 = -5*l + 2*l. Solve l*b + n = 26 for b.
5
Suppose p + 3*k + 4 = 0, -3*p + 3*k = 2*p - 16. Let n = -10 - 8. Let j be 12/(-10)*60/n. Solve 3*q + p = j*q for q.
2
Suppose 0 = -5*r + 3*k + 28, -k = -3*k - 2. Let s = r - 5. Suppose 3*l - 4*m + 1 + 3 = s, -4*m = 2*l - 4. Solve -4*c + 16 = -l*c for c.
4
Suppose 2*d - 15 = -3*d. Solve -d*f = 7 + 8 for f.
-5
Suppose 0 = 5*x - k - 95, -31 = -x - 2*k - 1. Solve -5*r = -9*r - x for r.
-5
Let u = 1 - 6. Let o = u + 5. Solve -5*m - 11 + 1 = o for m.
-2
Let y(o) = o - 6. Let i be y(6). Suppose x - 35 = 3*z - i*z, -2*z + 105 = 3*x. Let w = x - 19. Solve -3*s + w = 1 for s.
5
Let s(q) be the third derivative of q**4/24 + 7*q**3/6 - 3*q**2. Let t be s(7). Solve 5*m - t = 6 for m.
4
Let f = -16 + 26. Suppose 2*k - f - 4 = 0. Solve -2*a - 1 - k = 0 for a.
-4
Let s(h) = h**3 + 7*h**2 - 18*h. Let t be s(-9). Solve t*j - 4*j = 20 for j.
-5
Suppose -2*f + 13 = 5*m, 24 = 5*f + m + 3*m. Solve -f*t + 8*t + 12 = 0 for t.
-3
Suppose 0 = 4*y + 2*f + 4, 0 = 3*y + 2*f - 5*f - 6. Suppose -v + 15 = 6. Suppose -3*a = -y*a - v. Solve a = -q + 4*q for q.
1
Let t = -36 - -39. Solve 5 = y + t for y.
2
Let a(q) = 3*q - 8. Let n be a(11). Solve -2*t + n = -7*t for t.
-5
Let d = 0 - -2. Suppose d*j - 13 = 5*c, 3*j + 55 = -2*j - 5*c. Let h be 22/6 + (-2)/j. Solve 9 = h*o + 1 for o.
2
Let i(x) = -x**2 - x + 2. Let v be i(-3). Let c be (-34)/v + (-3)/6. Solve 3*b - c = -b for b.
2
Suppose -3*h + 2*r = 4, 0 = -h + 2*r + 3*r - 23. Suppose f - h = 4. Let n be 3 + f/(-1) + 28. Solve n = 6*y - y for y.
5
Suppose f = -f. Suppose 6*y = -5 + 17. Solve 3*g - y*g + 2 = f for g.
-2
Let y = 2 - 0. Suppose n - 18 = -5*n. Solve y*w = w + n for w.
3
Let q(w) = -2*w. Let o be q(-1). Solve -2*y - 8 = o*y for y.
-2
Let q(r) = -r - 2. Let b be q(-3). Let w be b*7/(-5)*-5. Let j = w + -2. Solve j*u = 2*u - 15 for u.
-5
Suppose 0*j + 8 = 4*j. Let m = 0 + j. Let o be (13/(-2) - 0)*-2. Solve 3*n - o = m for n.
5
Let b be (1/(-3))/((-3)/72). Solve -3*v + b + 1 = 0 for v.
3
Let f be -1 - -2*9/6. Suppose -f*t = y - 13, 4*y + 3 = -t - 1. Solve -3*p - p = -t for p.
2
Let x(d) = -d + 16. Suppose 5*h - 28 = 22. Let r be x(h). Let z be 3/4 + r/24. Solve f + z = -2 for f.
-3
Suppose 0 = 4*w - 20 - 4. Solve w = -2*j - 0*j for j.
-3
Suppose -t = -5*b + 3*t - 20, -25 = -5*b - 5*t. Solve -5*c - 32 + 12 = b for c.
-4
Suppose -4*o + 3 = -3*o. Suppose -o*b - 5*u + 14 = -u, 8 = 3*b + u. Solve -5*m = -8 - b for m.
2
Let w be 2/(-5) - (-22)/5. Solve 9 + 11 = w*k for k.
5
Let c(l) = -5*l**2 - 10*l - 2. Let o(q) = -6*q**2 - 10*q - 2. Let y(m) = -5*c(m) + 4*o(m). Let n be y(-10). Solve 0 = n*w - w + 3 for w.
-3
Suppose 5*m = -5 - 10. Let z be (3 + m)*2/(-4). Solve z = n - 4*n for n.
0
Let u = 4 + -3. Let c be 0 + (3 - (-2)/(-1)). Let f = c + u. Solve -3*z = f*z - 5 for z.
1
Suppose 4*d = 5*w + 7, 2*w + 1 = 2*d - 1. Let j = 5 + w. Solve -t = j*t + 12 for t.
-4
Let z(c) = -c**3 - 3*c**2 - 3*c. Let q be z(-2). Solve 2 - 4 = -q*x for x.
1
Let r be (-4 - 12/(-3))/2. Solve r = -2*j - 4 + 12 for j.
4
Let m = -12 + 17. Solve -2*k + m*k = -3 for k.
-1
Let r = -12 - -21. Let v be (r/5)/((-4)/(-20)). Solve 3*k = -0*k - v for k.
-3
Let d = -107 - -113. Solve 0 = -d*p + 5*p for p.
0
Let g be -3 - 64/(-12) - (-2)/(-6). Solve -g = 5*x + 3 for x.
-1
Let k = 1 - 1. Let m be 6/(-4)*40/6. Let f = 11 + m. Solve k = 3*l + 11 + f for l.
-4
Suppose -69 = -3*u + 6. Solve -5 + u = 4*h for h.
5
Let p(v) = v**3 - 6*v**2 - 3*v - 8. Let u be p(7). Solve -5*i + u = -0*i for i.
4
Let t(h) be the first derivative of 0*h + 2 + 3/4*h**4 - 1/2*h**2 + 0*h**3. Let r be t(1). Solve r*z + 10 = -0*z for z.
-5
Let m = 18 - 18. Solve m = 3*u - 0*u for u.
0
Let p be (-5)/(-1 + 0) - 2. Let b(y) = y**2 + 12*y + 13. Let o be b(-11). Suppose -5*z - 3*x - 6 = 0, 0 = z - x - 0*x - o. Solve -p*q = -z*q - 6 for q.
2
Suppose m - 48 = -2*m. Solve -m = 3*d + d for d.
-4
Suppose 0 = -3*o - f + 15, f - 25 = -5*o + 2. Let i be (o/4)/((-2)/(-4)). Solve -i*w - 2*w = 0 for w.
0
Let g = -107 - -113. Solve 0*w = g*w for w.
0
Suppose 0 = 4*i - 5 - 7. Solve 4*l + i = l for l.
-1
Let t(v) = v**2 + 5*v - 3. Let z be t(-4). Let f(g) = g + 7. Let i be f(z). Solve -20 = -i*p + 4*p for p.
-5
Suppose -r = -4*x + 31 + 49, -r - 42 = -2*x. Let p = x + -12. Solve -3*f + p = 22 for f.
-5
Let f be (200/32 - 7)/((-2)/40). Solve -3*m + f = 2*m for m.
3
Let m = 6 - 6. Suppose d - b - 3 + 5 = m, -4 = -4*d - 2*b. Let o be d/3 + 50/2. Solve f + 4*f = o for f.
5
Let i(x) = -x**3 + 7*x**2 + 2*x - 14. Let s be i(7). Solve s = 3*p - 1 - 2 for p.
1
Let o be 0 + -19 + 3 - -1. Let i = -10 - o. Solve -i*s + 2 - 22 = 0 for s.
-4
Suppose -k - k = -6. Solve -4*m + 1 = -k for m.
1
Suppose 4*y + 5*j - 5 = 5, 10 = 3*y + 5*j. Solve y = 4*k + k + 10 for k.
-2
Let z be (-1)/(-1 + (-4)/(-3)). Let d be ((-2)/(-6))/(z/(-45)). Solve -3*w + 4 = -d for w.
3
Suppose -4*n = -0*n - 20. Solve 5*u = n + 15 for u.
4
Let y(p) = p + 3. Let l be y(6). Let z = -9 + l. Solve g = -2 - z for g.
-2
Let l be (-69)/(-12) - (-2)/8. Solve -2*u + l = -0*u for u.
3
Let i(g) = -3*g**3 + 3 + 2*g**3 - 2 + 13*g + 0*g**3 + 12*g**2. Let v be i(13). Solve -b - v = -3 for b.
2
Let q be -2 + (-30)/(0 + 3). Let v(u) = -u**2 - 13*u - 8. Let y be v(q). Solve y*x - 3 = 5*x for x.
-3
Let y = -72 - -75. Solve 0*b - y = -b for b.
3
Suppose 2*r = 7 - 3. Solve r*d - 6 = -d for d.
2
Let p be (-24)/9 + 2 + (-10)/(-15). Solve -2*w + w - 2 = p for w.
-2
Let u = -12 - 5. Let x = -10 - u. Suppose 8 = 4*g + 5*b, -2*g + 3*b - 3 + x = 0. Solve 5*j = g*j for j.
0
Suppose 5*s - 39 = 3*t, -3*s + 9 = 5*t - 2*t. Suppose -5*v - s + 26 = 0. Solve q - v = 2*q for q.
-4
Let q(g) = 3*g**3 - 2*g**2 - g - 2. Let x(k) = -k**2 + 6*k - 4. Let l be x(3). Let u = -3 + l. Let a be q(u). Solve -3*w - a = -0*w for w.
-4
Suppose 2*o + 4*k = 20, k + k = 5*o - 38. Suppose 0 = -3*z + 4*c - 7*c + 42, -c - 10 = -z. Suppose -o - z = -4*r. Solve 0 = r*l - 2*l + 3 for l.
-1
Let a be (0/(10/2))/2. Solve 0 = -3*u - a*u for u.
0
Suppose 2*g + 20 = 4*g. Let r = g - 7. Solve 12 = 3*y + r for y.
3
Suppose a - 1 = -8. Let q = a + 6. Let c = 3 + q. Solve -c = -b + 1 for b.
3
Let a be 12/((-4)/1) + 32/2. Solve 0 = 3*z + a - 4 for z.
-3
Let j(l) = -l + 2. Let g be j(3). Let x be 1 + 11/1 + g. Let o be (1 - 3)*x/(-2). Solve 0 = -4*i - o - 9 for i.
-5
Suppose 4*f = 7*f - 12. Solve -3 = -f*g + 5 for g.
2
Suppose 2*k + 11 - 31 = 0. Solve k = t - 3*t for t.
-5
Suppose 7*s = 99 - 15. Solve -o - s = -5*o for o.
3
Suppose 0 = 3*y - y - 4. Solve y*r = -0*r + 8 for r.
4
Let r = 16 + 11. Let u = r - 16. Solve -1 = -2*d - u for d.
-5
Let c(a) = 6*a. Let f(r) = -r**2 + r + 5. Let l be f(0). Let j be c(l). Let z be 8*(j/(-4))/(-5). Solve -o = 2*o + z for o.
-4
Let p be (0/4)/4 - -2. Suppose 3*x = -5*l - 7, 3*l + x = -l. Solve l = h + p for h.
-1
Suppose 0*u = 4*u + 5*o + 7, -4*u - 1 = 3*o. Solve -3 = u*c + c for c.
-1
Let b(y) = y**3 - 6*y**2 + 6*y - 2. Let z be b(5). Suppose -4*h + 137 = 