Suppose 0 = 4*j - 4*y - 24, -3*j - y + 2 + 0 = 0. Solve 6 = -0*f + j*f for f.
3
Suppose -4*a - 1 = 3. Let f = 5 + a. Let z = 21 + -18. Solve -z*t + 2*t = -f for t.
4
Suppose 0 = 2*k - 5*k. Suppose c = 3*c - 2. Suppose 5 - c = 2*t. Solve t*b - 6 + 0 = k for b.
3
Let o = -2 + 4. Suppose 8 + 0 = o*j. Suppose -5*z = -4*c + 38, 8 = j*z - 0*z. Solve 0 = -4*b - c for b.
-3
Let t(s) = 2*s - 11. Let c(j) = 3*j**2 - 2*j + 1. Let g be c(2). Let r be t(g). Suppose -2*z - 25 = -r*z. Solve -4*a - 21 + z = 0 for a.
-4
Let l = 1 + 4. Suppose -g = -3*o - 6*g - 21, l*g + 7 = 4*o. Let j be (o - (1 + -2))*0. Solve j = -n - 4 - 1 for n.
-5
Let t(o) = o**2 + o + 5. Let p be t(0). Suppose -3*w = -p*w + 4. Solve 0 = -2*m - w*m for m.
0
Suppose -4*s - 4 = -h, 3*h = -3*s + h + 8. Solve 0*c - c - 3 = s for c.
-3
Let g = 61 + -19. Let i = g + -25. Solve 8 - i = -3*y for y.
3
Let x(b) = -7*b - 6. Let g be x(-3). Solve 0*z = -5*z - g for z.
-3