*k - 2*k + h = 0 for k.
3
Suppose 4*p + 4*f - 27 = 9, 5*f = 20. Suppose -v + 4*t + 10 = 0, -3*v - 4*t = p - 3. Solve -5*k + v - 22 = 0 for k.
-4
Let g(p) = p**2 + 4*p + 8. Let t be g(-6). Suppose 4*s = -5*o - 7, s = 4*o - 6 + t. Solve -s*l = -4 - 0 for l.
2
Let q(g) = 14*g + 1. Let j be q(6). Let n be 2/(-8) - j/(-20). Solve -n*o = -4 - 12 for o.
4
Suppose 5*w - w = 40. Solve 5*c - w = -0*c for c.
2
Let p be ((-4)/(-6))/((-2)/(-9)). Let m(h) = h**2 - h + 8. Let l be m(0). Solve p*x = 7 + l for x.
5
Let i = 0 - -2. Suppose 0 = -i*y + 3 + 1. Let m = -8 + 11. Solve y*t = -m*t + 20 for t.
4
Let v = -1 - -8. Suppose 3*l - v = 20. Solve 0 = 2*c + c + l for c.
-3
Let z(p) = 4*p**2 - 32*p. Let q be z(8). Suppose o + l - 1 - 8 = 0, 0 = 3*o - l - 11. Solve x + q = o for x.
5
Let w(n) = -5*n - 16. Let l be w(-4). Solve l*u + 4 + 12 = 0 for u.
-4
Suppose -2*k - 1 + 7 = 0. Solve 0 = -j - k*j - 8 for j.
-2
Suppose -n + 13 = 2*i + 4, i = -3*n + 17. Suppose -i*l = 2*l. Solve l = -3*w - 20 + 5 for w.
-5
Suppose -b + 2*b = 2. Let g = b - 2. Solve p = -g*p + 4 for p.
4
Let b(k) = -2*k**3 + 21*k**2 + 10*k + 27. Let p(f) = -f**3 + 11*f**2 + 5*f + 14. Let d(r) = 6*b(r) - 11*p(r). Let t be d(6). Solve 3*s - 4 = t for s.
2
Let v = -44 - -46. Solve -v = 4*g - 3*g for g.
-2
Let b(s) = s**2 + 2*s - 2. Let c be b(-4). Solve d - c*d = -5 for d.
1
Suppose 10*n - 1 - 39 = 0. Solve -3*o - n = o for o.
-1
Suppose -2*f = 4*y + 2*f - 28, y + 2*f = 10. Solve a - 25 = -y*a for a.
5
Let n(f) = f**2 - 7*f. Let b be n(7). Suppose 0 = -c - 1 + 4. Let w(x) = -x + 6. Let j be w(c). Solve b = -l - j*l - 20 for l.
-5
Let r(c) = c**2 - 13*c + 13. Suppose 5*p - 23 = -l, 23 = -p + 3*p + 5*l. Suppose -4 = -2*d + 4*v, -2*d - 3*d + 40 = -p*v. Let k be r(d). Solve 1 = u - k for u.
2
Let s be (1/(-2))/(-3*4/48). Solve s*h = -h + 12 for h.
4
Let g be (-2)/((-3)/((-30)/4)). Let h be (2 - 13)/(-1*1). Let q = h + g. Solve -q = 3*t + 9 for t.
-5
Let x = 1 - 0. Let k = x + -4. Let d be ((-3)/k)/(1/1). Solve j + d = -4 for j.
-5
Let j be (-8)/(-10) - 18/10. Let t be j/(1 + 12/(-10)). Solve o - 10 + t = 0 for o.
5
Suppose -7 = -3*s + 26. Solve 4 = -3*w - s for w.
-5
Suppose -2*p + 7*p - 15 = 0. Let j be 12/(-9)*p/(-2). Solve 0*m - j*m = 2 for m.
-1
Suppose 0 = -5*h + 9 + 41. Let v(p) = p**2 + 12*p - 13. Let g(a) = a - 1. Let j(n) = -4*g(n) + v(n). Let s be j(-9). Solve h = 5*c - s for c.
2
Let x(d) = -d**3 + 7*d**2 + 8*d. Let r be x(8). Suppose k + 11 = 3*v, -v - 11 = -4*k - r*k. Solve -28 + 8 = k*z for z.
-5
Let i(o) be the second derivative of o**6/72 - o**5/120 - o**3/6 - 2*o. Let s(a) be the second derivative of i(a). Let z be s(1). Solve -3 + 11 = -z*r for r.
-2
Let l(z) = z**2 - 14*z + 17. Let h be l(12). Let o(u) = u**2 + 8*u + 12. Let j be o(h). Solve j*v - v = 0 for v.
0
Let t(f) = 9*f**2 + 11*f + 10. Let y(a) = -4*a**2 - 5*a - 5. Let z(j) = -3*t(j) - 7*y(j). Let r be z(-5). Solve m = 5*m - r for m.
5
Let v be 1 + (50/18 - (-4)/18). Solve 5*c + v = c for c.
-1
Let t = -6 - 0. Let m be (-3)/(-2)*(-28)/t. Solve 0 = m*v - 2*v for v.
0
Let c = 21 - 18. Solve -5*l = -c*l for l.
0
Let c be 4/(-6) + (-576)/27. Let v = c + 28. Solve 5*t - v = 2*t for t.
2
Suppose -2 = -3*p - 3*b + 133, 0 = -5*p - 3*b + 231. Suppose -4*v + p = -x + 3*x, -x + 4*v = 0. Let c(l) = -3*l - 48. Let d be c(-17). Solve -x = d*j - 1 for j.
-5
Let o(j) = -j**2 + j + 15. Let t be o(4). Solve -25 = 2*l + t*l for l.
-5
Suppose -20 = -5*v - 3*w, -2*v + v - w + 4 = 0. Solve -n - 3 = -v*n for n.
1
Let g(v) = v. Let a(p) = p**3 - 5*p**2 + 4*p + 5. Let s be a(4). Let y be g(s). Suppose 2*w + 10 = x + 2*x, 32 = 2*x + y*w. Solve -5*t + x = -4 for t.
2
Let w be (-40)/(-18) + (0 - (-2)/(-9)). Solve 4*n = 3*n - w for n.
-2
Let r = 18 + -13. Solve -r*h - 5 + 0 = 0 for h.
-1
Let c(n) = -n - 1. Let i be c(-3). Let b = 7 - i. Suppose 10 + 5 = b*v. Solve 2*t - v*t = 4 for t.
-4
Suppose b + 60 = 3*a + 2*b, -4*b = 12. Let s be (-6)/a + 60/14. Solve -u = s*u - 25 for u.
5
Let n = -9 + 14. Solve 0 = -n*t - 0*t - 10 for t.
-2
Suppose 2*l + 3*l - 15 = 0. Let w(g) = 2*g - 5. Let i be w(6). Suppose 0 = l*k - i*k - 4*x + 20, 5*x - 25 = 0. Solve k = 4*b + 2 + 14 for b.
-4
Let m(t) = -t**3 + 7*t**2 + 2. Let g be m(7). Solve -g = -3*z + 4*z for z.
-2
Let x = 3 - 1. Suppose o + o + a - x = 0, -a = -2. Solve -5*p + 4 + 1 = o for p.
1
Let b(k) = -k**2 + k + 1. Let t be b(0). Suppose 4*l - t = 3. Suppose 3*n - 5 = -x, -3*n - l = 5*x - 26. Solve -h + 6*h - 5 = n for h.
1
Let w(z) = z + 1. Let t be w(4). Solve -t*p + p - 8 = 0 for p.
-2
Suppose -2*c + 16 = 2*c. Let l(m) = m**3 + m - 1. Let r(y) = -5*y**3 + 7*y**2 + 5*y + 11. Let o(b) = c*l(b) + r(b). Let a be o(8). Solve -2*d - d - a = 0 for d.
-5
Let f = 9 - 20. Let h = 20 + f. Solve 3*m - 3 = h for m.
4
Suppose -5*o + 7 + 3 = 0. Solve o*r + 2 = 3*r for r.
2
Suppose 12 = -y + 3*w - 0, -y - w = -8. Let a be (-12)/(-10)*(-1 - -6). Let p be 0*(1 - 4)/a. Solve p = k - 4 + y for k.
1
Let b(o) = -13*o - 6. Let f be b(-2). Suppose 0*h + h - 4 = -4*n, 0 = 2*n - 4*h + 16. Solve n*y = -5*y + f for y.
4
Let i be (-98)/21 + 5 - (-1)/(-3). Suppose -3*c + 11 = 3*j - 8*j, -3*c + 3*j = -9. Solve i = -c*h + h for h.
0
Suppose -5*o = -0*o + 2*r - 46, 4*o + 2*r - 38 = 0. Suppose -4*w + 5*g + 70 = 0, -g = -3*w + g + 56. Solve w = -o*j + 4*j for j.
-5
Suppose 4*m - m - 6 = 0. Solve -m*h + 12 = -5*h for h.
-4
Suppose 8*d = 5*d + 12. Solve 1 - 21 = -d*w for w.
5
Let y(b) = -b**3 + 5*b**2 + 5*b + 8. Let l be y(6). Suppose o - 5*o = 4*j - 12, 4*o = 2*j + 6. Solve j = c - l*c for c.
-1
Suppose -y = 2*i + 4, 5*i - 2*i = -5*y + 1. Let h be (10/(-2))/((-8)/24). Suppose y*v + 9 = 3*b, 5*b - h = 4*v - v. Solve v = -u + 2*u - 2 for u.
2
Let r be 30/4 + 1/2. Suppose 4*x + a = -3*a - r, 3*x = 5*a + 34. Solve 0 = -5*c + x*c - 10 for c.
-5
Suppose -3*i + 4 - 1 = 0, 2*p = -2*i + 6. Solve 4*j = p*j for j.
0
Let i(m) = m**2 + 2*m - 1. Suppose x = 0, x - 3 = -d - 7. Let o be i(d). Suppose -o - 3 = -5*l. Solve 2 = -l*n + 3*n for n.
2
Suppose 17 = l + 5*t - 4, 3*l + 9 = 3*t. Solve l = 4*g - 3 for g.
1
Let r be 8/6*(-6)/(-4). Solve -r*f = f for f.
0
Suppose -5*k - l - 16 = 0, -k - 2*l = -l. Let n = k - -7. Suppose n*r + 3 = q, 2*q + 2*r + 4 = 3*q. Solve -q*g + g = -5 for g.
1
Let r(v) = 4*v - 2. Let a = -1 + 2. Let i be r(a). Solve -11 = -i*x - 3 for x.
4
Let w = -61 + 67. Solve w*u = 3*u for u.
0
Suppose -5*w = -2*c - 10*w + 21, 2*c + 4*w = 22. Let f(h) = -h - 4. Let n be f(-5). Suppose 5*y - 13 + 2 = -4*d, d = -5*y - n. Solve d*q + 7 = -c for q.
-5
Let y = 3 - -2. Let v = y - 3. Let k = v + 2. Solve -t = -3*t - k for t.
-2
Let r = -9 + 21. Suppose -3*y - 3 = -r. Solve 5*x - 2*x - y = 0 for x.
1
Suppose -5*u + 4*n = 7, 2*n + 10 = 4*u + 4*n. Suppose 4*k = 5*k - 6. Let y = k + -3. Solve 2*b + y = -u for b.
-2
Let r be (1 + (-18)/14)*49/(-14). Solve r = 2*n + 7 for n.
-3
Let q = 44 + -44. Solve 0 = 3*d + 6 - q for d.
-2
Let f(a) = a**2 - 8*a + 8. Let q be f(6). Let c = -15 + 25. Let y be (-5 + 0)*q/c. Solve 0*p + 2 = y*p for p.
1
Suppose -94*o + 21 = -91*o. Solve -4*x - o = 9 for x.
-4
Let y = 28 - 24. Let c(o) = o**2 - o - 4. Let l be c(4). Suppose -d = 5*h - 1, 3*h - 3*d + l*d = 5. Solve h*i - 8 = -y*i for i.
2
Suppose -4*r + 34 = 3*d + 2*d, 2*r - 2*d = 8. Solve -2*x = r - 4 for x.
-1
Let g = 16 + -13. Solve 0 = -a - g*a + 4 for a.
1
Let g be (-80)/(-12) + (-2)/3. Suppose 3*w = j - 12, j + 5*w = -0*w - 20. Suppose 4*f + 2*z - 18 = j, 6*f - 5*z = 3*f - 19. Solve -f - g = -2*t for t.
4
Suppose -p - p = 24. Let w be 8/((1 + 0)/1). Let t be (0 - 2)*p/w. Solve t*d = d for d.
0
Let d be -2 + 3 + (0 - -3). Let k = -35 + 53. Suppose s + k = d*s. Solve -4 - s = -2*w for w.
5
Suppose j = 3*g + 6, 2*j + 2*g = -0 + 12. Suppose 14 = k + a, -j*a = 5*k - 2*a - 71. Solve -2*c = c + k for c.
-5
Let w be 4/20 - 82/10. Let z = w + 12. Solve z = 6*r - 5*r for r.
4
Let m(j) = 4*j**2 + j. Let z be m(-1). Solve -z*l - 15 = 2*l for l.
-3
Let u(g) = g**3 + 5*g**2 - 6*g + 1. Let p be u(-6). Let v be -3*(-1 + 0)*p. Suppose -q + 4*q = 0. Solve -v*b + 9 = -q*b for b.
3
Let f = 27 - 22. Solve -14 = f*k + 1 for k.
-3
Let v(i) = -8*i - 5. Let m be 18/(2 + -5)*1. Let n be v(m). Suppose -2 - n = -3*k. Solve 3*j = k - 6 for j.
3
Suppose -3*v + 4*t + 33 = 0, 3*t = v + 2*t - 11. Let z(u)