Let v = 131 - 126. Solve -v*d + 3 = -7 for d.
2
Let h = -1 + -3. Let v be (-2 - h)/((-2)/(-4)). Solve -v*i = 6 + 2 for i.
-2
Suppose 0 = 2*w - d - 5, w = 3*d - 0*d + 5. Let n(x) = -2*x + 3. Let c be n(w). Let t = 1 + c. Solve 5*z - 3*z + 10 = t for z.
-5
Suppose -2*a - 10 = -28. Solve 5*h - 6 = a for h.
3
Let y(u) = -u**2 + 5*u - 1. Let x be y(2). Suppose 0 = -5*b + 20 + x. Suppose 0*m = -b*m. Solve 2*o = -m*o + 2 for o.
1
Suppose n - 16 = -5*q, 8*n + q = 3n + 8. Let t be (n-2)/((-5)/10). Solve 8 + 4 = -t*o for o.
-3
Let z be -6*(-10)/(-15) + 4. Solve -2*i - 13 + 5 = z for i.
-4
Let a(f) = 2*f**2 - 3*f + 3. Let t be a(2). Suppose -s = t*q - 0 - 11, 0 = q + 4*s - 6. Solve 0 = -5*i - 7 + q for i.
-1
Let m(z) = -z - 15. Let u = 16 - 35. Let r be m(u). Solve -g = -r*g - 6 for g.
-2
Suppose -3*s + 5*u - 2*u = -15, 4*u - 7 = -5*s. Let g = 16 + -11. Suppose -4*t + t - 3 = 0, -g*o + 3*t = -13. Solve 0 = o*w + 1 - s for w.
1