Let q(s) = -s + 5. Let w be q(0). Solve 0 = 4*a + w - 1 for a.
-1
Let n be (0/1)/(-1 + 2). Suppose -2*i + 2 + 9 = j, 3*j + 2*i = 21. Suppose n = 5*q - j - 10. Solve -5*t = q + 17 for t.
-4
Let u(s) = s**2 - 10*s + 14. Let w be u(8). Let a(j) = -3*j - 2. Let k be a(w). Solve k*x + 3 = -5 for x.
-2
Suppose 0 = -0*s - s + 2. Suppose -s*z - 1 + 19 = 0. Suppose 0 = -3*m + 24 - z. Solve -m*x = -4*x - 3 for x.
3
Let a be ((-8)/2 + 5)*7. Solve -2*c = -a*c for c.
0
Let a be (2 - -1) + -2 - 0. Suppose -3 - a = -2*n. Solve 12 = -n*z - z for z.
-4
Suppose 0 = 5*c - 3*j - 9, 3j + 6 + 3 = 0. Let o be (c - 1 - 2)-1. Solve o*p - 2*p = 0 for p.
0
Suppose w + 9 = 4*w. Suppose 0*s + 18 = l + w*s, 2*s = 4*l - 16. Let d = -4 + l. Solve -x + d = x for x.
1
Suppose 2*v - 8 - 12 = 0. Solve -v = -z - 4*z for z.
2
Suppose -4*s + 14 = 6. Let r = 9 - 5. Solve -6 = -r*k + s for k.
2