Suppose 6*w = w - 4*b + 5, -3*b = -3*w + 3. Suppose 0 = -5*k + y + 12, -2*k = -2*y + 1 - 9. Solve k*f + 3 = -w for f.
-2
Let r be 24/(-18)*(-6)/4. Suppose r*c - 15 = s, -5*c - 2*s + 13 + 11 = 0. Suppose k = -k + c. Solve 0 = -w + 2*w + k for w.
-3
Let s(y) = -y3 + y2 + y + 3. Let t be s(0). Solve 3*h - t = -12 for h.
-3
Suppose u + 0*u - 13 = 3*f, 7 = 4*u + 3*f. Let l(a) = -a3 - 8*a2 + 8*a - 5. Let n be l(-9). Suppose -b = n*b. Solve -u*w - 10 + 22 = b for w.
3
Suppose -3*w = 3*i - 3, 3*i + 4*w - 12 = i. Let q = 0 - i. Solve -q*x = -6 - 6 for x.
3
Let t(z) = z**2 + z - 4. Let x be t(-3). Suppose f = -4*f + 50. Solve x*i + 0 = -f for i.
-5
Let l(t) = -2*t - 7. Let f be l(-5). Let v = -4 - -12. Suppose v + 1 = 3*z. Solve z + 9 = -f*j for j.
-4
Suppose -3*y + h + 13 = 0, -h - 10 = -6*h. Solve y*j = -0*j - 15 for j.
-3
Suppose 0 = -2*o + 5 + 5. Solve -8 = -o*d - 23 for d.
-3
Suppose -2 = 5*a - 7. Let r(q) = 3*q - 3. Let k be r(2). Suppose 2*o = -2*m - 4, -5*m = -o + 19 - k. Solve z + a = -o for z.
-2