Suppose 8*t - 8 - 8 = 0. Solve 5*k = t*k + 15 for k.
5
Let v(n) = -n**2 + 7*n. Let w be v(7). Suppose w*l = -l. Suppose k + 4*m = 1 + 3, -m + 1 = l. Solve k = 4*s - 12 - 4 for s.
4
Let v(a) = -a - 2. Let k be v(-2). Let j be 3 + (k - 1) - 2. Suppose j = 2*z + 3*z. Solve z*f = -2*f for f.
0
Suppose 0 = -4*v + 4*f, 4*v - 2*f - 8 = -2. Suppose 3*m - 36 - 18 = -3*c, -3*m + 46 = c. Solve -2 + m = v*o for o.
4
Let q(d) = 2*d + 12. Let m be q(-5). Suppose -m*u = -2*h - h - 28, 44 = 4*u - 3*h. Solve 0*r + 2*r = -u for r.
-4
Let z(h) = h**2 + 6*h. Let r(b) = -5*b - 1. Let c(s) = 3*r(s) + 2*z(s). Let f be c(4). Solve -f = -3*v - 8 for v.
3
Suppose -2*r = -4*r + 8. Solve -r*x + 1 + 7 = 0 for x.
2
Let o be (-10 - -11)/(1⁄2). Suppose -o*x - 2 + 6 = 0. Solve -x*c + 0*c - 8 = 0 for c.
-4
Suppose 5*t + 4 = 24. Solve 0 = 5*j - 3*j + t for j.
-2
Let m = 2 - 0. Solve 4*r + 2 = -m for r.
-1