Let k = 6 + -9. Let i be k*(-2)/12*4. Suppose 0*c - i*c = 0. Solve -v + 3 - 4 = c for v.
-1
Let b(q) = q3 - 2*q2 - q + 2. Let k be b(2). Suppose 2i + i - 6 = k. Let c be 3 - (i - 1)-1. Solve 11 = -c*s - 5 for s.
-4
Let t = -7 + 22. Let u = t - 11. Solve -u*x = x for x.
0
Suppose 0 = -4*x - 4*z + 12, 5*z = 4*x - 3. Let b(p) = -2*p**2 - 8*p + 12. Let f be b(-5). Solve -20 = f*c + x*c for c.
-5
Suppose -z - 1 = -3. Suppose 5*r - g - 21 = 0, z*r + 2*g + 2*g - 4 = 0. Solve 0 = -3*p + r*p for p.
0
Let x be ((-1)/(-3))/((-2)/6). Let t = x + 2. Solve -s - 4 = -t for s.
-3
Let s = 7 - 7. Let t(p) = -p + 1. Let f be t(-3). Let d be (2 - 1)*(5 + 0). Solve d*i + f + 6 = s for i.
-2
Suppose 3*d = -4*w + 3*w - 5, -4*d + 20 = -4*w. Let i = 4 + d. Solve 0 = -k + 5*k - i for k.
1
Let v = 8 - 6. Suppose k - 4 = -v. Suppose 0 = -k*b - 5*j - 0 + 15, 0 = -2*b - j + 27. Solve -y - 2*y + b = 0 for y.
5
Suppose 6 = -h + 2*h. Solve -h*f - 9 = -3*f for f.
-3