Suppose 0 = -2*k - 3*q + 2, 6 = 5*k - k + 5*q. Let g = -32 - -36. Suppose -12 = -g*w + k*b, 4*b - 12 + 4 = -w. Solve 0*j = -w*j for j.
0
Suppose 0 = y - 6*y + 20. Let i(s) = -s + 5*s - 8*s + s - 3. Let r be i(-6). Solve u - r = -y*u for u.
3
Let b be 15*((-8)/(-20))/1. Solve 0 = 2*a - b*a for a.
0
Let t be 15/(-20) - 12/(-16). Solve t = 6*i - i for i.
0
Let r = -10 + 6. Let u = -2 - r. Suppose -4*g = 4*s - 12, 2*s = -3*g - 2*g + 15. Solve -g = -u*b + 5 for b.
4
Let t be (1 - (-1 - -7))*-3. Solve 3*d + t = -2*d for d.
-3
Suppose 4*m - 5 = -2*b - 15, -3*b - 3*m = 3. Let v(y) = -y**2 - 4*y + 3. Let l be v(-4). Suppose -3*a + 6 = -l. Solve -a + 12 = -b*c for c.
-3
Suppose 0 = a + 3*a. Let m(o) = 2*o - 2. Let i(h) = -h - 3. Let l be i(-6). Let p be m(l). Solve p*r = 8 - a for r.
2
Let c = -5 - -9. Solve c*m = m for m.
0
Let r be 2 + (2 + 1)/3. Suppose -y + 52 = 3*y. Let n be 1 + y + -3 + 4. Solve r*i = -3 + n for i.
4