Suppose 3*d = 4*d - 2*z - 48, -2*d = 5*z - 105. Suppose -3*y - 2*y + d = 0. Solve -6*k + y = -k for k.
2
Let x(v) = v - 4. Let a be x(13). Solve 4*c + a = -7 for c.
-4
Suppose -12 = -3*l - 0. Suppose -l*r - 3*w + 4 = 0, -3*w - w = r + 12. Solve -r*f = -0*f + 12 for f.
-3
Let j(s) = -s**2 + 7*s. Let i be j(7). Let b = i - -5. Suppose -b*r = -1 - 4. Solve a = -3 + r for a.
-2
Suppose -3*r - 3*i - 1 = -8*r, -i + 11 = 4*r. Suppose 6 = 2*u - 2*c, 5*c = -3*u + 2*c + 9. Suppose u = 3*d - 6. Solve -r*a = d*a + 10 for a.
-2
Suppose -5*t = -10 - 5. Solve -t = v - 1 for v.
-2
Suppose -6*r - 8 = -14*r. Solve 2 = -p - r for p.
-3
Let u(p) = -p**2 - 12*p - 17. Let l be u(-9). Solve 2*k = 7*k + l for k.
-2
Let u(m) = m + 14. Let p be u(-13). Solve -p + 3 = -b for b.
-2
Let v = 25 + -18. Solve 4*q - 12 = v*q for q.
-4