*h + h + 4 = 3*f. Let u(b) = 7*b**3 - b**2. Let j be u(1). Solve -f*c - 8 = -j*c for c.
4
Let f = -9 - -14. Solve -2*m + f = 1 for m.
2
Let g = -19 - -5. Let b = -9 - g. Solve -b*l - 24 + 4 = 0 for l.
-4
Let u be ((-18)/45)/(2/60). Let q = u + 11. Let p be -1 - 2 - q - -2. Solve -9 = -p*v - 3*v for v.
3
Let k = 22 - 38. Let j = 31 + k. Solve i + j = -2*i for i.
-5
Let u = -121 + 72. Let c = -26 - u. Let y = c - 14. Solve y + 6 = -5*r for r.
-3
Let w = 61 - 54. Solve -6*n + 3 = -w*n for n.
-3
Let j(f) be the first derivative of -f**3/3 - 6*f**2 + 18*f - 1. Let g be j(-13). Solve -x + g - 2 = 0 for x.
3
Suppose 5*d + 5*y + 20 = -20, 3*d + 10 = 4*y. Let z = d + 9. Solve 0 = -3*x - z - 12 for x.
-5
Let i = -16 + 18. Solve 2*v - i = -12 for v.
-5
Let d(f) = 3*f - 1. Suppose 0 = -3*q + 9 + 3. Suppose 12 = -4*s, -2*t = t + q*s. Let o be d(t). Solve 1 = -4*c - o for c.
-3
Let n = 11 - 5. Solve -q + n*q = -15 for q.
-3
Let v(y) be the second derivative of -y**3/6 + 3*y**2 - 3*y. Let z = 10 + -6. Let g be v(z). Solve -g = -2*b - 4 for b.
-1
Suppose -4*b = 3*t - 31, b - 2*t - 19 = -5*t. Solve -3*n = -n + b for n.
-2
Let q = -116 - -132. Solve 0 = -5*x - q - 9 for x.
-5
Let r = 13 + -11. Solve -r*p + 6 = p for p.
2
Let o(c) = -12*c**3 + c. Let j be o(-1). Let b = -8 + j. Solve -1 - b = p for p.
-4
Let h(d) = d**3 - d**2 - 3*d + 4. Let i be h(2). Solve 0*t - i*t = 8 for t.
-4
Let f be 6/((-3)/(-6) + 1). Suppose -4*j = 4*b + 16, -2*b - 2*b - 24 = -4*j. Let k be j/((2/6)/1). Solve f + 8 = k*h for h.
4
Let t(z) = 2*z + 46. Let y be t(-23). Solve 2*p - 5*p + 3 = y for p.
1
Let l(n) = -n**2 + 10*n - 9. Let q be l(9). Let m = -12 - -12. Solve -a + m*a + 2 = q for a.
2
Suppose 0 = c + 3*c - 96. Let l be 9/6*c/9. Solve 3 + 1 = -l*p for p.
-1
Let x = 39 - 33. Solve r - x = -r for r.
3
Let b = -23 - -16. Let j = b + 9. Solve -3*p + 20 = j*p for p.
4
Let a = 13 + -7. Suppose -2*z + a = -2*w, -2*w - 2*w + 13 = z. Suppose z*f = 2*q - 4*q + 13, 0 = -4*f + q + 13. Solve 2*x + 1 = -f for x.
-2
Let y = -28 - -6. Let m be (-1)/(-2 + y/(-12)). Solve -k + m*k = 20 for k.
4
Let l = -18 + 28. Let k = -4 + l. Let b be (10/k)/(3/45). Solve 4*v = -v - b for v.
-5
Suppose -4*o = -y + 17, 3*y = -4*o + 6 + 13. Suppose -11 = -3*a + 1. Solve -a*d - 25 = -y*d for d.
5
Suppose 8*y - 3*y + 4*d = -4, -1 = 2*y + d. Let j = -7 - -10. Suppose -j*u + 4*u - 5 = 0. Solve y = -6*w + w + u for w.
1
Let s = 15 - 12. Suppose 8 + 7 = 5*l - 4*m, l - s = 3*m. Solve -f = 1 - l for f.
2
Suppose 0 = 4*i + 2 - 22. Solve i*u + 22 = 7 for u.
-3
Suppose -10*a = -13*a + 27. Suppose k = 4*k - a. Solve k*d = -2*d + 5 for d.
1
Suppose -j + 4*o + 9 = 2*j, 4*o = -3*j + 9. Solve 3*c + j = -3 for c.
-2
Let c be (-2)/8 - (-477)/(-12). Let p = -20 - c. Solve l = -4*l + p for l.
4
Let n(c) = -c**2 - 2*c + 1. Let i be n(-4). Let z = -2 - i. Solve -z = -f + 2*f for f.
-5
Suppose 3*w = 6*w - 9. Let q(o) = -5*o + 4*o**2 - 2 - 10*o**w - o**2 + 11*o**3. Let z be q(-4). Solve r - z*r = 0 for r.
0
Let x be 1/(-4) - 51/(-12). Suppose -c = -x*c. Solve 2*k + 2*k - 4 = c for k.
1
Let t(f) = -f**2 + 7*f - 6. Let l be t(6). Solve 3*d + 4 + 5 = l for d.
-3
Suppose 5*s = -b + 53, 4*s - s = -5*b + 23. Solve 3*d = 2 - s for d.
-3
Suppose -125 = -3*d - 50. Suppose -1 = v - n - 8, -3*v + 4*n + d = 0. Let i = 3 - v. Solve i = -4*g + 3*g - 3 for g.
-3
Let x(q) = q. Let h be x(-1). Let v(c) = c**2 + c. Let k be v(h). Let p = -69 - -71. Solve k = p*j + j for j.
0
Suppose -g + 3 = -1. Solve 6*l - 2*l = -g for l.
-1
Let m(w) = -w**2 - w + 4. Let q be m(0). Suppose -f + 6*z - 19 = z, q = -4*f + 2*z. Solve x + 0*x + f = 0 for x.
-1
Let j be (-6)/33 + (-48)/(-22). Let g(b) = b**2 - 3*b + 2. Let f be g(j). Solve -4 = r - f for r.
-4
Let c = -6 - -7. Solve c = 2*i - 5 for i.
3
Let o = 4 - 39. Let z be ((-6)/(-14))/((-5)/o). Solve -z*t = t for t.
0
Suppose 58 = 3*j + 3*f - 2, -2*j + 40 = -4*f. Suppose j = 3*b + 2*s, -5*s = 2*b - 38 + 10. Solve 0 = -3*p + b*p for p.
0
Let m(x) be the third derivative of x**4/4 + x**2. Let u be (5/(-10))/(3/(-6)). Let v be m(u). Solve -4*z = -2*z - v for z.
3
Let g = 22 - 19. Solve a = -g*a for a.
0
Let y = -11 - -14. Suppose -y*b = -0*b - 15. Solve b*f + 0*f + 20 = 0 for f.
-4
Let i(q) = -4*q**3 - 2*q**2 + 1. Suppose t = 4*m, m - 3*m = -5*t - 18. Let f be i(m). Suppose -f*g + 14 = -4. Solve 0*j + g = 3*j for j.
2
Let d be (-1 + 7)*1/2. Suppose 4*c = 2*h + 2, 1 = -d*c + h - 2*h. Let n be (-3)/4*-1*4 - 0. Solve 0 = -c*r + r + n for r.
-3
Let f(k) = -k**3 + 2*k**2 - 3*k + 2. Let n be f(2). Let q = -2 - n. Solve -6 + q = -d for d.
4
Let t(h) be the first derivative of -h**4/4 + 13*h**3/3 + h**2/2 - 12*h - 7. Let d be t(13). Solve -d = -4*v + 3*v for v.
1
Suppose l + 0*l = 1. Suppose 2*x - l - 5 = 0. Suppose 0*k = -4*k. Solve k*c + x = -c for c.
-3
Let z(l) be the third derivative of -l**5/60 - l**4/4 + 5*l**3/3 - 2*l**2. Let w be z(-7). Suppose -w*g + 7 = -s, 5*g - 3*s = 3 + 2. Solve -2*q = -q - g for q.
4
Suppose 3*q + 3*q - 12 = 0. Solve r = 4 - q for r.
2
Suppose 7 = 3*z - 38. Solve z - 3 = -4*t for t.
-3
Let k be (9 + -10)/((-2)/138). Suppose -5*o + k = -2*o. Solve o = 4*n + 3 for n.
5
Let l(z) = z**3 + 11*z**2 - 11*z + 16. Let u be l(-12). Solve 5*g - g = u for g.
1
Suppose -3*v - 3 = -2*v. Let a = 14 - v. Suppose -5*f = -2*k - a, 2*k = -2*k - 4. Solve r - f = -4 for r.
-1
Let u(s) = s**2 - 7*s + 6. Let i be u(6). Solve i = -l + 3 for l.
3
Let g(z) = -z**3 - 2*z**2 + z + 4. Let h = 10 + -6. Suppose -h*p = 5*b + 23, -3*p - 9 = b - 0*b. Let d be g(b). Solve 2*y = -0*y + d for y.
5
Suppose 3*m = 2*b + 1, 0*m - 5*m + 15 = 0. Solve -b*x = x - 15 for x.
3
Suppose 5*b + 7 = 32. Let r = b + -6. Let w = r - -3. Solve 0*u - 2*u = w for u.
-1
Suppose 25 = -4*z + a - 7, 3*a = 12. Let v = z - -23. Solve -3*c - 4 = -v for c.
4
Let i be 0*1/(-3) + (-24)/(-3). Solve i = 2*m - 4*m for m.
-4
Let k(y) = -y + 5. Let c be k(0). Suppose -c*l = -3*l. Suppose -s - 2*s = -9. Solve -3 = -l*n + s*n for n.
-1
Suppose 0 = 2*y + x - 21, 4*y - x + 7 - 40 = 0. Solve 6 + y = 5*s for s.
3
Suppose 2*p + 0*p = -6, 15 = -3*u + 3*p. Let l = 18 + -5. Let i = l + u. Solve -3*f - i = 4 for f.
-3
Let q be -1*(-1 + 2) + 16. Suppose 0*o + 3*o = q. Solve 0 = 2*r - 1 + o for r.
-2
Let u = -2 + 5. Suppose 0 = 4*m - u*m. Solve -2*v + 0*v = m for v.
0
Let n be -3 - (0 - (7 + 0)). Suppose 0 = -3*a - n*k + 32, -4*a = -0*k + 4*k - 36. Solve -3*r - 1 = -a for r.
1
Let c(s) = s - 3. Suppose -11 = -b - 5. Let k be c(b). Suppose 21 = 3*r + k*w, -10 - 1 = -r - 2*w. Solve -x + r*x = 6 for x.
3
Let m be 0/((-18)/6 - -5). Solve -5*n = -m*n - 25 for n.
5
Let b be 1/(2 - 3) - -1. Let y(h) = h**3 - 5*h**3 - 4*h**3 - 2*h - 1. Let n be y(-1). Solve b = 5*p + 34 - n for p.
-5
Suppose -4*r - 2*c - 10 = 0, -5*c = -5*r - 6*c - 5. Solve 20 = -r*h - 4*h for h.
-5
Let r(l) = l - 7. Let f be r(7). Solve -9 = -3*g - f*g for g.
3
Let x = 1 + 2. Let y be (-1)/x + 105/(-9). Let g be (1 - (-27)/y)*-16. Solve u = -3*u - g for u.
-5
Let y = 3 + 0. Let d be -6*(6 + 57/(-9)). Solve y*o - 20 = -d*o for o.
4
Suppose -80 + 100 = 5*u. Solve 6 + 14 = -u*x for x.
-5
Let k = -29 + 49. Suppose -8 = -5*u + g - 3, -4*g + k = 0. Suppose u*t = -t + 6. Solve -t = s - 6 for s.
4
Let z(y) = y + 4*y + y**2 - 2 + 0*y**2. Let v be z(-5). Let h = v - -4. Solve -p - h*p = -6 for p.
2
Suppose -2 = -j + 3*g, -5*g + 0*g - 14 = -3*j. Let f = -10 - -4. Let o = f + j. Solve 0 = -o*r + 4*r for r.
0
Let n(k) = 0 + 2*k + 12 + 1. Let c be n(-5). Solve -5*s + 8 = -c*s for s.
4
Let c(h) = -h - 2. Let y be c(3). Let w(f) = -f. Let o be w(y). Suppose 0 = -q - 5 - 0, o = 3*d + 5*q. Solve -k = 4*k - d for k.
2
Let t = -3 + 3. Suppose 2*r + 0*r - 54 = 0. Suppose -4*k - r = -d, -3*d + 2*d - k + 12 = t. Solve d = -3*y - 0*y for y.
-5
Let b be (-184)/(-10) - (-6)/(-15). Suppose -2*z = 3*n + 2*n - 5, -5*n = -5. Solve 5*i - 7 - b = z for i.
5
Let t = -3 + 1. Let w = 1 - t. Solve -12 = w*c - 0 for c.
-4
Let f = 13 + -8. Let q = f - 1. Solve -m + q*m + 15 = 0 for m.
-5
Suppose -4*f = -3*y - 0*y - 20, 3*f - 4*y = 15. Let k be 48/9*(-18)/(-8). Let a be (-1)/(-3) + 44/k. Solve f*i + a = i for i.
-1
Let o(r) = r - 8. Let t be o(20). Solve -m + 4*m + t = 0 for m.
-4
Let q be (-96)/30*(-1)/2*5. Solve -7*c + 9*c + q = 0 for c.
-4
Let t(f) = f*