Let i be ((-1)/(-5)*(-1 - -6))/(161⁄644). Solve 0*h + 4*h - 17 = 5*s, -12 = -i*h + 4*s for h.
-2
Let q = 3745 + -3738. Solve 0 = m - 2*x - 5, 3*m + q*x - 8*x + 5 = 0 for m.
-3
Let n(x) = x3 + 9*x2 + 6*x - 10. Let t be n(-8). Let j = -10 + 15. Solve -15 = -j*i, i = -h + t*i - 16 for h.
-1
Suppose 0 = -2*f - 0 + 6. Let h(k) = 271*k - 268. Let b be h(1). Solve -q + 12 = 3*t, -4*q + b*t = -f*q + 6 for q.
3
Let z = 39 + -34. Suppose -y + z*j - 8 = 0, -6 = -j - 4. Solve 12 = -5*i - y*n, 0 = i + i - 2*n + 16 for i.
-4
Let q = -1626 + 1631. Let n be 4/(-3)*(-6)/4. Suppose -n*l = -4*l + 24. Solve -q*t = i + 2*i - 24, 3*i = -t + l for t.
3
Let s be 9 - (-3)/7*-14. Solve 5*w = -0*m - 2*m - 24, s*w - m = -10 for w.
-4
Suppose -5*w - 3*n = 3 + 7, 5w + n = 0. Let b be (w - 1) + -3(0 + 1). Let l be b*(-2)/9*6. Solve -3 + 29 = -l*s - 5*j, s + 2 = j for s.
-4
Let y = -894 + 899. Solve y*m + 13 = -h - h, -4*m = 12 for h.
1
Let r(w) be the first derivative of -w4⁄4 - 5*w3⁄3 - w**2 - 6*w + 77. Let q be r(-5). Solve 0 = 3*b + q*i + 10, -i - 2 - 2 = 0 for b.
2