Let o = -2 + 7. Suppose -3 = -2*n + c, o*c - 18 = -3. Solve 5 = -n*h - 7 for h.
-4
Let d = 17 - 7. Let p(v) = -v. Let r be p(-3). Suppose -z = 4*c - 25, 3*z = -z - c + 25. Solve -r*x + z = -d for x.
5
Let b(i) = 3 - i + 2*i - 6. Let h be b(7). Let m = 3 + 0. Solve -h - 5 = m*n for n.
-3
Suppose -20 = -0*h - 5*h. Suppose -x - h*x = 0. Solve 2*r - 4*r - 10 = x for r.
-5
Suppose 4*k = 7*k - 9. Suppose 0 = 3*s - 4 - 5. Solve -6 + k = s*t for t.
-1
Let j(b) = -b3 - 13*b2 - 12*b. Let m be j(-12). Solve m = 3*y + 2*y - 15 for y.
3
Let w = 4 + -4. Let y = -4 - w. Let t be (-4)/(-16) + (-15)/y. Solve -1 = t*m + 11 for m.
-3
Suppose 4*g - 14 = 2*g. Solve -15 = -g*s + 4*s for s.
5
Let o = 3 - 1. Suppose 3*l = -4*a + l, -l = 4*a - o. Solve 0 = 3*r - 16 + a for r.
5
Let t = 2 + -7. Let c be (-9 - t)*(-1 - 0). Suppose -2*w - 3*r = w + 3, -5*w + c*r + 40 = 0. Solve 0 + 8 = -w*u for u.
-2