). Solve 0 = -h*d + 3*d + 15 for d.
-5
Let h(v) = 2*v**2 - 7*v + 6. Let t be h(4). Suppose 0 = 2*y - t. Solve -y*k = -0*k + 20 for k.
-4
Suppose -2*g + i + 4 = -g, -5*i = 3*g - 12. Solve -12 = -n + g*n for n.
-4
Let t(x) = x**3 + 2*x**2 - 6*x - 1. Let g be t(-3). Solve j = -3*j - g for j.
-2
Let i(l) = l + 2. Let h be i(0). Let f = 6 - h. Let d = -4 + f. Solve d*r - r = 0 for r.
0
Suppose 3*d + 10 = -17. Let a = d - -4. Let g = a + 8. Solve -o + g*o = -6 for o.
-3
Let w be 3/4*(18 - 14). Solve -w*z = z + 20 for z.
-5
Let z be (12/15)/(2/40). Suppose -2*r = 8, 4*q + r = 6*r + z. Let g be 3/(q - (-10)/4). Solve 0 = t - g + 1 for t.
1
Suppose 5 = -0*t + t. Let x = -5 + t. Solve x = 2*c + 2 for c.
-1
Let v = 117 + -114. Solve 4*u + v + 1 = 0 for u.
-1
Suppose -2*h + 146 = 2*b, -h - 2*b + 29 = -45. Suppose 5*j = j + h. Solve 5*c = 2 + j for c.
4
Let p = -4 + 7. Suppose 5*f - 17 = -p*z + 5*z, -5*z + 4*f = 0. Solve z*m + m = -20 for m.
-4
Let h be (-5 + 3)/((-4)/14). Suppose 0 = 4*w - h - 1. Solve 0*r = w*r + 2 for r.
-1
Suppose 45 = 2*i + 5*d, 3*i = i + 4*d. Suppose 0 = -4*y - 2*k + i, 5*y = k - 2*k + 5. Suppose y*q - 11 = -3*p + q, -19 = -2*p + 3*q. Solve -p*c = -0*c for c.
0
Let f(g) = g**3 - 22*g**2 + 19*g + 42. Let o be f(21). Solve -u - 5 = -o*u for u.
-5
Suppose -l + 20 = -4*f, -2*l - l + 2*f + 10 = 0. Solve l = -v - 2 - 1 for v.
-3
Suppose 10*o + 0 = 30. Solve -x + 10 = -o*x for x.
-5
Let z be (-10)/(-4) - 6/(-12). Let y = 11 + -11. Solve -3*v + z + 9 = y for v.
4
Let w be ((-2 + 0)/1 - 0) + 4. Solve b - 3*b = -w for b.
1
Let m(v) = -v**3 + 12*v**2 + 2*v - 2. Let c be m(12). Suppose 5*h - 2*d - c = 0, -d = -2*h - 2*d + 16. Solve 0*i - 3*i = -h for i.
2
Let l = 53 + -32. Let p = -14 + l. Solve 0 = p*i - 4*i for i.
0
Suppose 0 = -v + h + 5, 2*h - 2 = -4*v - 0*h. Suppose -1 = -4*k + 23. Solve 2 = -v*t - k for t.
-4
Let s = 172 + -152. Solve 0*y - s = -4*y for y.
5
Let o(v) be the third derivative of v**6/60 + v**5/60 - v**3/6 + 3*v**2. Let d be o(1). Suppose -2 = -3*l + 1, 0 = -d*f - 4*l + 10. Solve b - f = 4*b for b.
-1
Let w(b) = b. Let j = -3 + 5. Let h be w(j). Solve h*r = -r for r.
0
Let h = -7 + 15. Solve 8*z - h = 4*z for z.
2
Let w be (-6 + -1)/(2 - 3). Suppose -5*z = -w - 128. Let j = -15 + z. Solve 0 = 5*s - j - 13 for s.
5
Let q(c) = c**3 - 11*c**2 - 11*c - 7. Let i be q(12). Suppose 25 = 2*b - 15. Suppose -4*v + 40 + b = 0. Solve -i*a + 2*a = -v for a.
5
Let s = 7 - 5. Solve s*a = -5 - 1 for a.
-3
Suppose a - 4*a + 6 = 0. Let i be ((-1)/a)/(2/(-12)). Solve -n + i*n = 4 for n.
2
Let g = -20 + 46. Let z = g - 18. Let o be (-32)/(-3) + z/(-12). Solve -2*i = -0*i + o for i.
-5
Suppose -2*w - 4 = n - 5*w, 2*n + 4*w = 22. Suppose -4*k - 1 = -n*c - 13, -5*k + c - 6 = 0. Let m be k - -6 - (0 - -1). Solve 2*z = 9 - m for z.
3
Suppose 0 = -3*t + 5*r + 7, t - 4*r = -0 + 7. Let b be -7*(t + 22/(-14)). Solve -3*q = -9 + b for q.
-3
Let t = -6 - -11. Let q = -45 + 70. Let w = q - t. Solve -2*u - 3*u = -w for u.
4
Let h = -4 - -7. Suppose 0 = r - 4*o - h, 0*o = r + 2*o + 3. Let x be (((-4)/(-2))/r)/(-2). Solve -x = -0*l + l for l.
-1
Let x be (-45)/(-12) + 4/16. Let j be 3/(x/8 - -1). Solve 0 = -j*a - a - 12 for a.
-4
Let a = 9 - 20. Let s = 22 + a. Solve 4*j - s + 3 = 0 for j.
2
Let f = 33 - 23. Solve f = -l - 4*l for l.
-2
Let a(w) be the third derivative of -w**6/120 - w**5/15 - w**4/6 + w**3/6 - 2*w**2. Let d be a(-3). Solve d*u = -6 - 14 for u.
-5
Suppose v = x + 8, x + 16 = 3*v - 0*v. Let u(t) = -t**3 + 3*t**2 + 4*t + 5. Let f be u(v). Suppose 0*z + f*z + m = 10, 6 = 3*z - m. Solve -2*j = -4*j - z for j.
-1
Suppose 0 = 3*q - 6 - 0. Suppose -52 = -5*j - q. Suppose -y = -2*w - 2*w + 15, j = 2*w. Solve -4*u = y + 11 for u.
-4
Suppose 0 = -t + 5*t. Suppose 3*q + t - 6 = 0. Solve q = -2*g - 6 for g.
-4
Let h(y) = y + 9. Let m be h(-7). Suppose 0 = m*f - 4. Solve -f*u = 2*u + 8 for u.
-2
Let j(f) = -f**3 + 5*f**2 - f - 10. Let w be j(4). Let m be 1/(-2*1/(-10)). Suppose -4*i + m*p = -15, -22 = -2*i - w*i - 2*p. Solve 0 = -3*k - i - 4 for k.
-3
Let j(n) = -n - 4. Let v be j(-4). Let a(o) = 2*o**2 - 13*o + 10. Let r be a(6). Solve v = -3*i - i + r for i.
1
Suppose 13 = -c + 4*h, -5*c + 18 = h - 1. Solve -c*k + 0*k = -6 for k.
2
Let c(a) be the third derivative of a**4/8 - 2*a**3/3 - 2*a**2. Let b be c(3). Solve -b*g = -g for g.
0
Let w(b) = -b - 6. Let m be w(0). Let z be (0 - m/(-3)) + 17. Let x be (9/15)/1*z. Solve 4 = -5*n + x for n.
1
Let h = 0 + 3. Suppose -h*k - 3 = 2*s - 1, 4*k - 4*s - 4 = 0. Solve 5*j + 5 = -k for j.
-1
Let o(a) = -a**2 - 6*a. Suppose -2*t = -2*j + t - 13, 5*j + 26 = t. Let l be o(j). Suppose -2*s - 9 = -2*h + 1, 24 = l*h - 4*s. Solve -9 = -h*d + d for d.
3
Suppose 0 = -10*h + 5*h + 10. Solve -h*f = -5*f + 12 for f.
4
Let r(b) = 3*b**2 + b**3 - b**2 - 5 + 3*b**2 + 2*b. Let i be r(-4). Solve i + 7 = -5*f for f.
-2
Suppose -2*m + m = x - 8, -10 = -2*m. Let o = x - -1. Let i(q) = q - 4. Let t be i(o). Solve 0*f - f + 2 = t for f.
2
Suppose u - 5*z = -3*u + 40, -4*z = 3*u - 61. Let b = 15 - u. Solve b = -j - j for j.
0
Let b(d) = -d**2 + 6*d - 3. Let p be b(2). Solve p*k = -3 - 2 for k.
-1
Suppose 3*o - 26 = -4*r, 0*r = -5*o + 4*r - 10. Solve 2*h = -o*h - 8 for h.
-2
Let l be 15/4 - (-3)/12. Solve -l*d - 7 = 5 for d.
-3
Suppose 5*s = -8*d + 6*d + 10, 2*d + s - 2 = 0. Solve -l = -1 - d for l.
1
Suppose 4*i - u = -0*u + 14, 5*u - 10 = 0. Suppose -c = -0*c + 3*j - 11, 3*c - 18 = -i*j. Solve -c*v = v for v.
0
Let g(d) = -d**3 + 6*d**2 - 6*d + 3. Let a be g(5). Let b be 2 + (6 + -1 - a). Let f(t) = t**3 + 5*t**2 + 6*t. Let p be f(-3). Solve 3*k - 24 + b = p for k.
5
Let w(j) = j + 4. Let c be w(-4). Suppose 3*l - 20 + 8 = c. Suppose 0 - l = -4*p. Solve -p = -0*x + x for x.
-1
Let p(m) = m - 4. Let l(g) = -2*g - 13. Let u be l(-10). Let o be p(u). Suppose 4 - 12 = -4*d. Solve 0 = a + d + o for a.
-5
Let f(q) = -q**2 - 7*q + 6. Let a be f(-6). Suppose a = g + 1. Let o = 21 - g. Solve 0*d = 5*d + o for d.
-2
Let c = -1 - -6. Suppose -c*b = -2*n + 24, 60 = 3*n + 2*n + 3*b. Solve -5*x + n - 37 = 0 for x.
-5
Let c(b) = 3*b**2 - b + 1 - 3*b + 2*b. Let q be c(1). Solve -q*h + 1 = -h for h.
1
Suppose g = -6*g + 21. Solve -g = q + 2*q for q.
-1
Let o = 7 + 6. Suppose -o = -3*i + 2*m, -3*m - 8 - 2 = 5*i. Solve -4 = -q - i for q.
3
Suppose -4*c - 6 = -6*c. Let o be 10/c*12/8. Solve 0*l = -5*l + o for l.
1
Let o(y) = -y + 10. Let n be o(4). Let b = 6 - n. Solve b = 4*h - h + 15 for h.
-5
Let w = 11 - 7. Suppose 0 = -5*d + w*d + 5*i - 15, 2*i = -d + 13. Solve 3 + d = 2*h for h.
4
Let h(r) be the first derivative of r**2/2 + 14*r - 5. Let b = -26 + 16. Let v be h(b). Solve -3*w = -v*w for w.
0
Suppose 10*c = 15*c - 35. Solve -4*o - c = 5 for o.
-3
Let a be -1 + (4*-1)/(-4). Solve a*n = 4*n - 20 for n.
5
Let n be 10*(-2 + (-16)/(-5)). Suppose 5*z - 65 = -4*i, n = -4*z + 2*i + 38. Let k(g) = 2*g + 8. Let o be k(z). Solve 0 = -4*c + o - 6 for c.
5
Let o be (-5)/(75/18)*-5. Suppose 0 = 5*k - 5*i - 20, 0*i = 4*k - i - 10. Solve 5*h = k*h - o for h.
-2
Suppose -5*f = -14 - 1, -2*n - 4*f + 36 = 0. Solve q - 5*q = n for q.
-3
Let k = 6 - 6. Let j(c) = -c + 3. Let p be j(k). Solve p*y = -y + 16 for y.
4
Suppose 7*r = 6*r - 3, 4*l - 27 = 5*r. Solve y - l*y = 6 for y.
-3
Suppose -39 + 13 = -3*y - u, y - 32 = -5*u. Let x = y + 0. Solve 1 = -3*m + x for m.
2
Let w(k) be the third derivative of -k**5/60 - 3*k**4/8 - 4*k**3/3 + 3*k**2. Let f be w(-5). Solve -f = -5*x + 3 for x.
3
Suppose -2*u - 3*s + 72 = -0*u, 5*u + s - 154 = 0. Suppose -3*p - 5 = 2*p + 3*v, 5*p = 4*v + u. Let x = 4 - p. Solve 2*c - 4 = -x*c for c.
1
Let h = -58 + 63. Solve 0*r - h*r + 25 = 0 for r.
5
Let r = -4 + 13. Solve -5*k - r - 16 = 0 for k.
-5
Let n = 9 - 15. Let x(f) = -2*f - 9. Let i be x(n). Suppose -7 - i = -m + 4*u, m = -u. Solve 1 - m = l for l.
-1
Let p(q) = -q + 6. Let y be p(6). Suppose -l = -0 + 2, y = -2*v + l + 4. Solve -i - 1 - v = 0 for i.
-2
Let a(c) = -c + 10. Suppose -l - 6 = -4*s, 2*l + 5*s = -0*s + 27. Let r be a(l). Suppose -2*m - 12 = -4*f, -4*m = -5*f + 22 - r. Solve -3*b - f = 7 for b.
-3
Suppose -4*b + 188 = 48. Suppose -3*s + 133 = -b. Suppose 0 = 4*u - s - 4. Solve 2*k + u = -k for k.
-5
Let y(p) be the third derivative of -p**5/60 - 3*p**4/8 - p**3 + 5*p**2