Let h(v) = -2*v - 6. Let w = 5 - 10. Let t be h(w). Solve 3*z + 1 = t for z.
1
Suppose 8 = 2*n - 12. Let z be (-4)/n + 12⁄5. Suppose 2*d = -z, -5*l + l + 10 = 2*d. Solve 4 = 5*h - l*h for h.
2
Suppose 2*d - 26 = -3*s, -d - 5*s + 14 = -6. Solve 0 = 5*h - 7*h - d for h.
-5
Let a be (-581)/(-28) + 2⁄8. Let d = -12 + a. Solve -1 + d = 2*u for u.
4
Let r(z) = -z**2 - 3*z + 5. Let g be r(-4). Suppose -g + 9 = 2*b. Suppose 0 = -y + 2*h - h + 2, 8 = 3*y - b*h. Solve 0 = -3*m - y + 12 for m.
4
Let f(w) be the third derivative of -w4⁄24 + 2*w3⁄3 + w**2. Let g be f(-8). Suppose 2*r = -r + g. Solve 5*i = -11 - r for i.
-3
Let t be 4⁄12*9*2. Solve -3*r + 15 = -t*r for r.
-5
Suppose 4*w - 8 = 24. Solve -w = 5*u - 28 for u.
4
Let f(k) = -4*k - 1. Let q be f(-1). Suppose 0 = q*u - 7*u + 168. Suppose -2*h + u = h. Solve -5*g + h = -11 for g.
5
Let b = -6 - -6. Let i be (-2)/(4/(-2)) - 1. Suppose 2*q = -3*l + 22, -2*l + 44 = 5*q - i*l. Solve -3*t - t + q = b for t.
2