 + 4*h + 56, -2*h - 2 = 0. Let y = -22 + 24. Solve 3*j - 4*u - 19 = 0, 2*j - y*u - b = -1 for j.
5
Let x(z) = z - 1 + z + z + 0*z. Let r be x(2). Suppose 19 = 5*t + 2*j, 5*t + 4*j - 16 = j. Solve -5*i + 4*k - 12 - r = 0, -t*k = -5*i - 20 for i.
-1
Let b = -11 + 16. Solve -b*d - 3*w = -0 - 5, 7 = -2*d - 3*w for d.
4
Let c(w) = 2*w**3 + w**2 - 1. Let n be c(1). Solve 2*h + 3*h + d = 10, -h = n*d - 2 for h.
2
Let l(p) = -3*p + p - 4 - 2*p + 5*p. Let s be l(6). Suppose -s*c + 3 + 3 = 0. Solve 4*g - 1 = f, -2*f = 2*g + c*f + 27 for g.
-1
Let s(i) = -i**3 - 4*i**2 + 7*i + 6. Let o be s(-5). Let f be (2 - -4)/((-6)/o). Solve f*n = -4*v - 5 - 11, -5*v + 5 = 0 for n.
-5
Suppose -5*z = -4*c + 30, -z + 2*z - 3 = -c. Let y be (4/z)/((-3)/6). Solve 0 = 5*l + 5*f + y - 29, -3 = l - f for l.
1
Let s be (12/7)/((-28)/(-294)). Solve 5*p = -j - s, 4 + 10 = 3*j - 2*p for j.
2
Suppose -3*g + 3 = -3*d, 3*d + 7 = -g - 0*d. Let m be 9 - (0 - 0) - g. Suppose 3*p + p - 28 = 3*i, 5*p = 3*i + 35. Solve m = 2*v + 3*h, -3 + p = 2*h for v.
2
Let f be -3*1*(-6)/9. Suppose f*p = 6*p - 44. Suppose 4*u - 3*z - 26 = 0, u - z = 2*z + p. Solve b = -0*k + k - 4, u = -5*b for k.
3
Let z = -7 + 10. Solve -12 = 3*l + z*n - n, -4*n = 0 for l.
-4
Let k be 5 - (-4 + 3 + 1). Solve -k*c - 15 = 0, 2*y - 4*y = 3*c + 17 for y.
-4
Let u = -27 + 31. Solve -f = 3*i - 4, f + 9*i - u*i - 10 = 0 for f.
-5
Suppose -d = 3*d + 2*q - 20, 2*d - 4*q + 10 = 0. Solve d*t = -2*s + 2*t, -4*t + 26 = -5*s for s.
-2
Let c be (-164)/(-52) - 6/39. Solve 2*g = -c*r - 14 + 1, 0 = -5*g - 25 for r.
-1
Let i = -16 - -16. Let c be -1 + i - (-5 + -1). Solve 3 = 3*a - 5*r, 2*r + 4 - c = -a for a.
1
Let o = 152 + -148. Solve 3*k - 14 = -o*u + k, u + 24 = 5*k for u.
1
Suppose 2*s + 3*s - 15 = 2*i, 3*s = -2*i + 9. Suppose 0 = 3*w - i*w. Solve w = a + 2*a - v - 8, -2*a = 2*v for a.
2
Let o = 16 + -4. Suppose 0*a + 3*a = o. Solve a*g + 6 = -3*d + 3*g, 2 = -d - 4*g for d.
-2
Suppose 3 = -14*k + 15*k. Solve k*v = 2*i + 21, 7 + 10 = v - 4*i for v.
5
Suppose 4*u - 16 = 64. Suppose z - 4*t = 5*z - u, 0 = 3*t. Solve -1 = -2*g + 3*p - 2*p, z*p - 3 = 2*g for g.
1
Suppose k + 69 = 4*k. Solve 0 = c - 2*c - i + 1, -k = -5*c + i for c.
4
Let f(b) = 4*b + 36. Let d be f(-9). Solve 4*g = -3*n + 7, g - 3*n + 2*n - 7 = d for g.
4
Suppose 0 = -0*f - f - 7. Let b be (10 + f)*20/6. Solve 3*v - 2*g - b = -v, 10 = 5*v - 5*g for v.
3
Let g = 5 - 2. Suppose 19 = -3*i + 5*t - 1, -5*i + g*t = 12. Let d be 0/(-2 - -4 - i). Solve -5*b = w - d*b - 22, 2*w = b for w.
2
Let t(g) = -2*g + 21. Let a be t(9). Solve 5*j - 3*f = -a, 4 = 3*j + 4*f - 0 for j.
0
Suppose -6 = -3*p - 2*y, -3*y - 9 = 3*p - 6*y. Solve -2*w + 3*r = 4*r - 12, 5*w + 5*r - 35 = p for w.
5
Suppose 2*l - 8 = 0, -4*l + 9 = n - 11. Solve -2*x = 4*r - 24, r = -4*x + 4*r + n for x.
4
Suppose 4 = 2*r - 0. Suppose -r*l = -4*l + 6. Solve f = -5*c - 14, -2*f = 2*c + l*c + 13 for f.
1
Let k = 50 + -45. Solve 2*u - u + 4*s + 14 = 0, 3*s + k = 2*u for u.
-2
Suppose 5*q - 2*t - 182 = 0, q - 5*t - 19 + 1 = 0. Suppose -188 = 5*v - q. Let y be (2/4)/((-5)/v). Solve i = 2*i + k - 3, -y = 4*i + k for i.
-2
Suppose 15 = w + 10. Suppose 3*z = w*z. Solve 3*o + o + a + 10 = z, -3*o = 3*a + 3 for o.
-3
Let g = -24 - -27. Solve -c - g*j + 14 = 0, -c + 3*c + 4*j - 22 = 0 for c.
5
Let b(o) = -4*o - 16. Let v be b(-9). Suppose -3*m + 4*d + v = m, 20 = -4*d. Solve 0*c + 5*k - 9 = -4*c, -2*c - k - 3 = m for c.
-4
Let w(u) = u**3 + u**2 - u + 8. Suppose 0 = 2*g + g. Let j be w(g). Solve -2*r = -j, -2*r + 8 = -3*c - c for c.
0
Suppose k - 2*k + 33 = 0. Let t = k + -24. Solve -2*j - 8 = 3*g - 3, 5*g + 4*j = -t for g.
-1
Let y(o) = -2*o + 8. Let m be y(-6). Solve -4*a - 2*p = -m, 0*p - 12 = -3*p for a.
3
Let v(c) = -7*c**2 + 15*c - 11. Let g(f) = -3*f**2 + 7*f - 6. Let w(x) = -5*g(x) + 2*v(x). Let t be w(5). Solve -h - 4*o - 17 = 0, t = -o - o for h.
-1
Let m be (4/1)/(6/3). Suppose 2*k = 4*v + 2, 4*v - 1 = -2*k + 1. Let x be 29 - 0 - (-2 - v). Solve -m*z + 25 = 3*z + b, -4*z = 3*b - x for z.
4
Suppose 0 = -q + 2 + 1. Suppose p + 12 = 3*k, 3*k = 8*k - 5*p - 10. Solve 5*i - r = -q, 2*i + 4*r = k*r for i.
-1
Suppose -m + 3*m = 3*u, 3*u - 36 = -4*m. Suppose -m = 2*f - 4*f. Solve -4*d - 5*y = -37, 0 = -y + f + 2 for d.
3
Let k = -18 - -18. Suppose 0 = -c - k + 2. Solve -1 - 3 = 4*p - 2*n, c*n + 2 = -2*p for p.
-1
Let c(x) = x**3 - x**2 - 5*x. Let w be c(3). Let s(b) = b**3 + b**2 + 4. Let j be s(0). Solve -j = -2*m + 2*f, -w*m - 3*f + 7 = 25 for m.
-2
Suppose 2*m + 2 = 4. Suppose -2*z + 11 = m. Solve z*o - 5*v = -40, -4*v + 0 = o - 7 for o.
-5
Suppose 0 = q - 4*q + 12. Suppose -4 = -2*i + i. Suppose -3*h + 0 = -3*j - 9, 0 = -i*h + 3*j + 13. Solve q*f = 0, h*a = -0*a + f for a.
0
Let y(t) = 8*t - 46. Let x be y(6). Solve v + z + z - 9 = 0, x*v + 2 = z for v.
1
Let c be 10/25 - (-8)/5. Let w be (1/c)/(6/900). Suppose 5*j - 2*x = x + w, -4*j = 5*x - 23. Solve -3*m = -5*y - j, -4*m + 2*m = -y - 1 for m.
-1
Let o be -4 - -1 - -1 - -4. Suppose -o*u - 12 = -4*u. Solve -c - 18 = -4*g - g, u = 3*g + c for g.
3
Suppose 4*n = o - 3, -o - 4*o + 15 = 5*n. Suppose n = 2*x - 7*x - 3*h - 6, 0 = -x - 4*h - 8. Solve 3*w - 4*k = -x*w + 25, -w - 5*k - 17 = 0 for w.
3
Let n = -13 + 18. Solve -5*k + 23 = 4*f, -n*f + f = -4*k + 4 for f.
2
Suppose -50*s = -45*s - 60. Solve 1 = d + 2*i + s, -4*d - 23 = i for d.
-5
Suppose -g - 4*g = -20. Solve -z + c = z - 4, -c = -g for z.
4
Let t be (-2)/12 + (-50)/(-12). Let v be (-1 - -2)/(2/t). Solve 3*o + d + 8 = 0, 0 = 2*o - v*d + 3 + 5 for o.
-3
Suppose 0 = -5*p + 2*p + 15. Solve 4*q + 9 - 1 = -3*h, 5 = -p*q - 5*h for q.
-5
Let n(l) = -l**3 - 5*l**2 - 6*l - 6. Let s be n(-4). Suppose f + s*o + 1 = 0, 0*f + f - 5*o - 34 = 0. Solve -a = -5*g + 10, -2*g + f = 2*g - a for g.
1
Let b = 7 + -4. Suppose 11 = -5*s - 4, b*s + 25 = 4*p. Let t be (5 - 192/104) + 2/(-13). Solve -a + 8 = -p*j, -a - a = t*j + 6 for a.
0
Let b(z) = z + 14. Let g be b(-13). Solve q - 17 = -4*r, -4*q = -5*q + g for r.
4
Let b = 27 - 25. Solve k - 12 = 5*z, 0*z - b*z = 4 for k.
2
Suppose 0 = -3*i + 1 + 5. Solve 4*j + i*q + 14 - 2 = 0, -j - 2*q = 0 for j.
-4
Let w = -14 + 8. Let v(y) = y**2 + 3*y + 8. Let o be v(w). Suppose 2*t - t - 3*h - o = 0, 0 = -t + 5*h + 34. Solve 5*n + 18 + 12 = 2*z, -t = -2*z + n for z.
5
Let c be (-10 + (4 - 0))*1*-2. Solve 0 = 4*l - j - 23, 3*l - c - 15 = 4*j for l.
5
Suppose s - 5*u - 42 = -3*s, -u = -2*s + 18. Solve -5*g + n - 3*n = -6, -3*n - s = -g for g.
2
Suppose 5*i = 4*q - 2, 0 = -q - 0*i + 3*i - 3. Solve 3*j = -3*g - 6, -3*j - 2*g = q*g + 4 for j.
-3
Suppose -3*o - k + 0 + 1 = 0, -5 = -4*o - 5*k. Solve 0 = 2*g - 4*l + 24, -4*g - 5*l = -o*l - 4 for g.
-4
Let u(n) = -3*n - 2*n**2 + n**2 + 3 - n. Suppose 0 = o + 2 + 2. Let c be u(o). Solve 3*h - p = -15, 0 - 3 = c*h + 3*p for h.
-4
Let j = 6 + 3. Let v be (j/(-12))/(2/(-40)). Solve 2*f + 25 = 4*y - y, -5*y = 2*f - v for f.
-5
Suppose 0 = -6*l - l + 35. Solve -l*d + k = 15, 3*d + 2 = -4*k + 16 for d.
-2
Let m be 3 + 7 + -4 + 1. Solve -3*f + 3*g = -24, -m = 4*g + 5 for f.
5
Let t be (0 + -8)*(1 + -2). Let w = t - 5. Solve -w*n = -15, n - 2 = -2*r + 1 for r.
-1
Suppose -3*d = 2*d. Let v(q) = -q**3 - q**2 - q + 2. Let k be v(0). Solve d = -x - 2*g + 15, -k*x + g = -5 for x.
5
Let p(k) = -k + 12. Let m be p(10). Suppose 0*d + 2*d - 2*r - 4 = 0, -m*r = -4*d + 4. Solve t = 5 - d, -3*b = -5*t + 16 for b.
3
Let y(o) = o. Let a be y(5). Solve 0 = 5*f + 5*d, -f + 7 - 1 = -a*d for f.
1
Let s(w) = -6 + w**3 + 2*w**2 + 3 + 2 - 2*w. Let a be s(-2). Suppose 5*o = 67 + 13. Solve -a*n - n + o = 2*v, -n + 7 = -v for v.
-2
Let f = 11 + -15. Let v = 7 + f. Suppose -h + t = 1, -v*h - t + 5 = -12. Solve q = -3*c + 8, q + 2*c = -2*q - h for q.
-4
Suppose -2*s + 2 = -s. Suppose -2*m + 6 = -s. Suppose m*n = -n. Solve -2*k - 2*q - 3 + 1 = 0, -3*k + 3*q - 9 = n for k.
-2
Suppose 0 = 4*q + 16 + 28. Let p = -2 - q. Let j be (5 - 1) + (1 - 0). Solve g + g = -8, -g = -j*v + p for v.
1
Let d = 13 + -11. Solve -9 = -d*r + r + y, 2*r - 2 = -2*y for r.
5
Suppose 0 = -3*z + 15, 2*b - 2*z + 106 = -2*b. Let h = b - -86. Suppose 0 = -3*w + 15, 4*u + 3*w - h = -19. Solve 5*n + 9 = -2*y - 11, y + n + u = 0 for y.
-5
Let j(x) be the first derivative of x**4/4 + 5*x**3/3 - x**2/2 - 2*x - 1. Let k 