Solve 4*h + 2 + k = j for h.
-1
Suppose 1 - 7 = -2*u. Let i = 4 - u. Solve -i = -4*d + 7 for d.
2
Let z be (-2)/(-10) + 4/(-20). Let k(q) = -2*q**3 - 2*q - 1. Let f be k(-1). Solve -t + f = -z*t for t.
3
Suppose -2*h + 6*h + 55 = 5*b, -b + 11 = 5*h. Solve -b + 1 = 5*g for g.
-2
Suppose -19 = -2*x + 9. Let l be ((-24)/x)/((-1)/7). Suppose -4*z = -l - 4. Solve j + j = z for j.
2
Let h = -20 + 23. Let j = 4 + -2. Let t(g) = -g**2 + 9*g + 2. Let s be t(9). Solve -h*f - s = -j*f for f.
-2
Let a(r) be the third derivative of -r**6/30 + r**5/60 - 3*r**2. Let c be a(-1). Solve c = -f - 0 for f.
-5
Let f = -32 + 53. Suppose 0 = -j - s + 2*s, 0 = 5*j - 4*s - 2. Suppose 3 = j*v - f. Solve 2*x - v = -x for x.
4
Suppose -4*o + h = -14, -2*o + 3*h + 4 - 2 = 0. Suppose o*d - 5*q - 12 = 0, 2*d - 2*q = 5 + 1. Let i = 0 + 2. Solve -d*k + 1 = -i*k for k.
1
Let i = 13 - 8. Let z(y) = -i + 10*y**2 - 9*y**2 - 3 - 8*y. Let r be z(9). Solve d = -4 + r for d.
-3
Let h(y) = -y**2 + 4*y - 1. Let t(r) = -5*r**2 + 21*r - 6. Let g(o) = 11*h(o) - 2*t(o). Let a be g(3). Let m = 0 - a. Solve 0 = m*q - 4 for q.
2
Let h = 25 - 21. Solve 0 = -2*a - h + 6 for a.
1
Suppose -2*q = 5*u - 120, -11 - 229 = -4*q - u. Suppose -r = 2*r - q. Solve -7*w - r = -2*w for w.
-4
Let c = -4 - -7. Let a(u) = 5*u - 4. Let d be a(c). Solve -2 + d = -3*q for q.
-3
Suppose -5*b = 5*y - 15, 4*b + 0*y = 3*y + 12. Solve -b*n + n = 0 for n.
0
Let b = 8 - 6. Suppose 7 = 5*n - 13. Solve -b*i = 2 + n for i.
-3
Let f(j) = j + 3. Let q be f(4). Solve 2*t - q*t = 0 for t.
0
Let w(o) = -o**3 + o**2 + 2. Let a be w(0). Solve -a*c + 9 - 1 = 0 for c.
4
Suppose 0*b + 3 = 3*b, 4*u + 4*b - 28 = 0. Let i = 6 - u. Solve -2*d - d = i for d.
0
Let n(p) = p**3 + 2*p - 2. Let d(a) = -5*a**3 - 9*a + 8. Let r(q) = -2*d(q) - 9*n(q). Let i be r(0). Solve -3*u = i*u - 20 for u.
4
Let q(c) = c - 4. Suppose h - 2*h = d - 9, -42 = -5*h - 4*d. Let s be q(h). Suppose 2*i + l = -s*i + 3, -4*i + 33 = -5*l. Solve -5*n + i*n - 15 = 0 for n.
-5
Suppose 2 + 8 = -4*r + 2*a, -5*r = 3*a - 15. Suppose -f = -2 - r. Let j = 18 + f. Solve g - j = -3*g for g.
5
Let a = -10 + 18. Let p = a - 5. Let o be 4/(-6) + 5/p. Solve -2*r = o + 3 for r.
-2
Suppose 5*h = 4*t - 2, -t - h = 4*h + 12. Let c be 1/((-4)/(24/t)). Solve 0 = -0*v + c*v for v.
0
Let p(v) = v**3 + 8*v**2 - 2*v - 8. Let a be p(-8). Let d(g) = -g**2 - 5*g + 3. Let m be d(-5). Solve 0 = -i + m*i + a for i.
-4
Let q(n) = 2*n - 5. Let x be q(3). Solve 3*o = x + 8 for o.
3
Let s be (-3)/(-5) - (-134)/10. Let f be 228/s - 4/14. Suppose 16 = 4*x - f. Solve x*t - 3*t + 20 = 0 for t.
-4
Suppose 4*r = k - 17, -3*r = -k - r + 19. Suppose 4*o - 2*g = 30, 5*g - k = 2*o - 4*o. Solve 3*t = 2 - o for t.
-2
Suppose 2*o + 0*y - 2 = 4*y, -4*y = -o - 1. Suppose 2*n = o*n. Solve -5*s = -n*s + 15 for s.
-3
Let o = -1 - -3. Let f(r) = -r + 2 - r + r**o + 1. Let p be f(2). Solve 9 = 3*h + p for h.
2
Let w = 17 + -14. Solve -w + 7 = f for f.
4
Let j = -71 - -74. Solve 0 = -j*b - 5 + 8 for b.
1
Suppose 13*q - 24 = 9*q. Solve 0*n - 3*n = q for n.
-2
Suppose 5*j = -2 + 12. Let q be 17/j + 6/12. Let l(o) = o**2 - 7*o - 10. Let v be l(q). Solve -8*x + 4*x = v for x.
-2
Suppose -s - 3*r + r = -2, -s = -3*r - 2. Let f be s + 1 + 5 + -4. Suppose f*k - 10 = 3*k. Solve -k = -2*x - 0 for x.
5
Let w be 4/(-14) - (0 + 148/(-28)). Solve 4 + 21 = -w*f for f.
-5
Suppose 3*t - 5*t - 6 = -4*h, 0 = 3*t + 3. Let r be h/2 + (-1)/2. Solve -8 = -2*n - r for n.
4
Let m be (5 + 0 + -5)/(-1 + 2). Solve -12 = 4*f - m*f for f.
-3
Suppose -3*s - 1 + 7 = 0. Solve -s*l + 8 = 2*l for l.
2
Suppose 4*k + 0*k = 4*x - 16, 0 = -2*x + k + 4. Suppose x = -0*m - m. Solve -5*v + m - 5 = 0 for v.
-1
Suppose 3*s + 24 = -0*s. Let k = s - -13. Solve k + 10 = -3*t for t.
-5
Suppose 10 = -5*h + 30. Suppose 0*m + 4 = h*m. Let y be m + 1 + 17 + -4. Solve 4*l = -l - y for l.
-3
Suppose -v + 15 = -4*r - 4*v, -r = 4*v + 20. Suppose r = 6*y - y - 20. Suppose -b + y*b = 6. Solve 0*k = -k + b for k.
2
Suppose 2*f + 3 - 19 = -4*j, -2*f - 9 = -j. Let c(w) be the third derivative of -w**5/60 + w**4/4 - w**2. Let z be c(j). Solve q - z = -0*q for q.
5
Let x be 2/(3*(-6)/(-99)). Let z be -2 + (x - 2) + -1. Suppose q - z = -q. Solve -q*t = t - 8 for t.
2
Suppose -4*i + 3*v - 29 = 0, -i + 5 + 4 = -4*v. Let s = -7 - i. Solve -s*z + z = 6 for z.
-2
Let g(q) = q**2 + 3*q + 2. Suppose -11 - 9 = 4*n. Let a be g(n). Solve 0*j - a = 3*j for j.
-4
Let o be (-9)/(-3) + (1 - 2). Suppose 5*x = 2*j + 30, -2*j - o*j = 0. Let h be 2/(x/9*1). Solve m - 1 = -h for m.
-2
Let p(i) = -1 - i + 3*i + 0*i**2 + i**2. Let m be p(1). Let u(f) = 4*f**2 + 2*f + 1. Let x be u(-1). Solve m*t = -t + x for t.
1
Suppose 0 = 2*f - 5*c - 5, -2*c = -4*c + 2. Suppose 0 = 4*i - 7 - f. Solve i = -o + 5 for o.
2
Let h be 1/2*2*0. Suppose 3*g - 60 = -2*g. Suppose 3*f = -s + g, -4*f + 6 = -6. Solve -2*y + s - 11 = h for y.
-4
Let m be 3/(-3 + 18/4). Suppose 0*w + m*w = 8. Solve w*r + 0 = 12 for r.
3
Suppose 12 + 0 = 4*w. Suppose w*h - 14 = 1. Suppose -16 = -4*n - i, 3*n - i - 3*i + 7 = 0. Solve h = 2*x + n*x for x.
1
Let s(z) = -z + 3. Let j be s(-7). Let a = j + -17. Let b be (a/(-3))/((-2)/(-6)). Solve 2*d - 3 = -b for d.
-2
Suppose 5*u - 15 = 2*u, 3*b - u = 4. Suppose p = b*p - 6, 0 = 3*n - 5*p + 15. Solve -j + 6*j + 10 = n for j.
-2
Let t(s) = -s**3 + 7*s**2 - s + 3. Let k(u) = u**3 + u**2 - 3*u + 1. Let c be k(2). Let r be t(c). Let f = r + 17. Solve -12 = 5*d + f for d.
-5
Let k be ((1 - 0) + -6)*(-87)/145. Solve -k*x + 0*x + 12 = 0 for x.
4
Let w = 2 - -2. Suppose 2*f + 18 = w*p, p - 14 = 4*p + 4*f. Solve -l = -2*l + p for l.
2
Suppose -5*t = -0*t + 5*j - 10, 2*t = 4*j + 10. Solve -b + 1 - t = 0 for b.
-2
Let g(t) = -4 + 5*t**2 + 2 + 3 + 0 - t. Let i be g(1). Solve i = 2*n - 1 for n.
3
Let m = -6 + 12. Suppose 7*x - m = 4*x. Solve 0 = x*h - 0*h + 10 for h.
-5
Let k = 34 - 26. Solve -4*i = -k - 8 for i.
4
Let u be 0/(-2) - (-2 - 1). Let s = u - 0. Suppose -14 = i - 5*i + s*m, 5*m + 5 = 3*i. Solve -j - 8 = -i*j for j.
2
Let g(i) = -i**3 - 8*i**2 - 8*i. Let l be g(-7). Solve 4*c - 1 - l = 0 for c.
2
Suppose -3*d + 9 = 3. Suppose -1 = -5*i + 2*v, -5*i - 2*v = d*v - 13. Solve 4 = -t + i for t.
-3
Let o = -6 + 8. Suppose o*k + k + 3 = -w, 0 = 2*w + 4*k. Solve -2*l = -w*l for l.
0
Let y(r) = r**3 - r**2 - r - 2. Let g be y(2). Suppose a + g = 1. Solve 2*f - 9 = a for f.
5
Suppose 3*r + a = 25, 3*a = -3*r - 2*r + 39. Let j = -1 - -1. Solve 0 = -j*v - 3*v + r for v.
3
Let s be (2 - 0)/(2/3). Suppose -8*w = -0*w - 112. Solve s*z - 5 = -w for z.
-3
Let q = 0 + 3. Suppose 0 = -q*g - g + 16. Solve -g = 4*b + 12 for b.
-4
Let z be 22/(-77) - (1 - 46/14). Solve z = 4*n - 6 for n.
2
Let r(u) = u**3 - 6*u**2 + 4*u + 5. Suppose -5*v = x - 23, 3*v = x + 8 + 9. Let y be r(v). Let o be (1 - y)/((-3)/(-9)). Solve -6*w + o*w - 9 = 0 for w.
-3
Let t be 1*-3*60/(-36). Solve t*d = 2*d + 3 for d.
1
Let b(p) = -p**3 + 3*p**2 + 2*p - 3. Let v be (-1)/(-2 - 26/(-14)). Suppose 5*w - 4*f = -1, -v*w + 5*f - 8 = -3*w. Let d be b(w). Solve d*a + 15 = -0 for a.
-5
Let d be ((-6)/6)/((-3)/12). Solve 4*n + d = -8 for n.
-3
Let i(v) = 2*v - 17. Let h be i(12). Solve -2*p + h = -1 for p.
4
Suppose -y + 4*h + 24 = -2*y, -3*h = 15. Let r be y/2*2*-1. Let n = -1 + r. Solve 3 = -3*u - n for u.
-2
Suppose -3*c - 17 = -d - 0*c, -4*d = -c - 13. Let o be -9*(1 + -1*2). Solve 0 = -k - d*k + o for k.
3
Let a(r) = -r - 1. Let u be a(-5). Solve 4*y + u = -0*y for y.
-1
Let f = 5 - 4. Suppose -f = -2*v + 5. Suppose 11 = -3*o - 5*k, -3 = 3*o + 6*k - v*k. Solve 19 = o*i + 4 for i.
5
Let c = 17 + -14. Let g = -1 - -3. Solve -c*u + g = 5 for u.
-1
Suppose 2*k = -4 - 0. Let o be (-3)/((-6)/(-20)*k). Suppose 0*f + 30 = o*f. Solve -2*h + 2 = -f for h.
4
Suppose y + 4*y - 10 = 0. Suppose -y*w + 3*c = w - 6, -5*w - 2*c = -24. Solve 12 = w*p - p for p.
4
Suppose 11*s + 50 = 13*s. Solve 7*l - 2*l = -s for l.
-5
Let f = 2 - -2. Solve 0 = -4*l + 2*l + f for l.
2
Let f(j) = -j - 3. Let l be ((-9)/(-6))/((-1)/2). Let u be f(l). Let v be (6/1)/((-9)/(-6)). Solve -z + v*z = u for z.
0
Let c(h) = -h**3 - 14*h**2 - 14*h - 7. Let f be c(-13). Let v be (-14)/(-5) - 1/(-5). Solve 0 = 3*s - f*s + v for s.
1
Suppose -28 = -3*a + 4*h, 7*a + 3*h = 2*a + 8. Suppose -2*t - 20 = -