Let i(k) = k**2 - 8*k + 7. Let t be i(7). Suppose t = 6*w - w. Solve -3*y + 6 = -w*y for y.
2
Let u = -1 + 5. Suppose -p + u*p - 33 = 0. Solve -3*b - p + 2 = 0 for b.
-3
Suppose 2*u = b - 2, -6*u + 2*u - 6 = -3*b. Suppose -b*p + 25 = 3*p. Solve 27 = p*o + 2 for o.
5
Let x(m) = m + 2. Let g be x(0). Suppose -3 = g*l - 53. Solve 0 = -8*d + 3*d + l for d.
5
Let b = -12 + 18. Suppose 4 = -n + b. Solve -n*k + 0*k = 4 for k.
-2
Suppose 0*z - 8 = 2*z. Let y = z + 7. Solve -4*t + y = -t for t.
1
Let z = 16 - 16. Suppose 3*f + 0*f = z. Solve f = 2*q + 1 - 5 for q.
2
Suppose 7*t = 22 + 13. Solve -t*g = -g - 4 for g.
1
Suppose 0 = 3*f - 5*f. Solve f*t = 2*t - 4 for t.
2
Suppose -2*f = 2, -3*s + 2*f + 18 = -f. Let n = 0 - -2. Solve -n*i - s = -i for i.
-5