Let y be (-1 + 3⁄6)*0. Suppose y = h + h - 10. Solve 4*t + h + 3 = 0 for t.
-2
Let s® be the third derivative of -r6⁄120 - r5⁄20 + r3⁄2 + r2. Let i be s(-4). Let q = i - -1. Solve -4*u = -0*u + q for u.
-5
Suppose -5*r = -3*g + 5, 18 = -3*g - r - 1. Let h = 3 - g. Suppose 4*v + 6 = -v - 4*n, -h = 2*n. Solve p = v*p - 4 for p.
4
Let k = 2 + 6. Let j be (-1)/2*k/(-2). Solve 0*r = -r - j for r.
-2
Suppose 0 = -2*c - 3*c + 4*b - 22, -c = -2*b + 8. Let r be (-4 - -1 - c) + 1. Suppose r = -5*z + 3*k + 28, 0 = -z - k - 4*k. Solve -z*u - 8 = -u for u.
-2
Let z(s) = -4*s - 9. Let g be z(10). Let k = g + 74. Suppose y + 2*w = 1 + 5, -5*y = 5*w - k. Solve -13 = -3*b - y for b.
3
Suppose 20 = -4*c, -c - 12 = q + 2*c. Solve 1 = -2*k - q for k.
-2
Let q = -101 - -103. Solve -q*h = 3*h - 10 for h.
2
Suppose 3*l + 0*d - 5*d = -5, 3*d - 3 = l. Solve -s + 3*s + 10 = l for s.
-5
Let h(g) = -2*g - 2. Suppose -l + 0*l - 5*d - 23 = 0, -3*l + 5*d = -11. Let x be h(l). Solve -2*q = 4 + x for q.
-4