Suppose -1 = 3*z - 2*z. Let n be 4 + 1 - (z - -3). Solve -n*w - w = -16 for w.
4
Let u be (-2)/7 + (-258)/(-21). Solve 4*y - 7*y = -u for y.
4
Let b = -5 - -8. Suppose -9 = b*i - 6*i. Suppose 0 = -3*o - i, 9 = 2*t + o - 4*o. Solve t*a + 3 = 2*a for a.
-3
Let b be -3*(22/(-6) + 3). Solve b*u - 8 + 0 = 0 for u.
4
Suppose 0 = k + 4, -3*c - 3*k + 71 = -2*k. Solve -3*t + 8*t + c = 0 for t.
-5
Let a(k) be the first derivative of -k4⁄2 + k3⁄3 + k**2 + k - 1. Let s be a(-1). Suppose -3*v = -s*v - 21. Solve 0 = 5*u + 4 + v for u.
-5
Suppose 3*q + 27 = 3*c, -3*c + 0*q - 2*q + 32 = 0. Solve 0 = -j - 4*j - c for j.
-2
Let n be ((-16)/24)/((-2)/6). Suppose -n*h + 17 = -t + 2*h, -h = -2*t + 1. Suppose t*y = -0 + 9. Solve y*o + o = 16 for o.
4
Let y = 9 + -4. Solve -y = -3*x + 2*x for x.
5
Let r be 0 - (4 + 5 + -1). Let u = r - -10. Solve -u*w - 2 = -10 for w.
4