Let z = 28 - 20. Let a = z + -5. Solve -s - 2*s - a = 0 for s.
-1
Suppose 0 = 2*t - t - 3*h + 1, 5*t - 2*h = 21. Let w be (1 - -2)*40⁄12. Let n = 14 - w. Solve -g = n*g + t for g.
-1
Suppose -4*p = -0*p + 3*p. Solve w + 0*w - 5 = p for w.
5
Let i be (-1)/(-2) - (-94)/4. Suppose -6*a + 4*s + 88 = -2*a, -2*a + i = 2*s. Suppose -p + 6 = -3*c, -4*c - 8 = -2*p - 0*c. Solve p = -5*w + 2 - a for w.
-3
Suppose 1 + 0 = -r. Let l = 5 + r. Solve l*k + 1 = -11 for k.
-3
Let w(k) be the third derivative of 1⁄12*k5 + k3 + 0*k4 + 0 - k2 + 1⁄120*k**6 + 0*k. Let c be w(-5). Solve -c = -u - u for u.
3
Let j be (3/(-42)*-8)/(12⁄42). Solve 4*d = -2 - j for d.
-1
Suppose -4v - v = 0. Let p be 0(-2 + 3⁄2). Suppose p = 5*n + 4*h, 0*n = -2*n - 4*h - 12. Solve n*y = -v*y + 16 for y.
4
Let q = 32 - 28. Solve 2*x - q*x + 10 = 0 for x.
5
Let w(p) = p + 22. Let i be w(-10). Suppose -2*b = -5*b + i. Suppose -5*t - 5*z = 5, -b*t = -z + 6*z + 8. Solve -20 = t*g + g for g.
-5