Let z = 18 - 13. Solve 0*x + z*x - 20 = 0 for x.
4
Let t = -59 - -62. Solve 0 = 4*a - t - 1 for a.
1
Let d(q) = -q + 12. Let l be d(7). Solve l*u + 0*u = 15 for u.
3
Suppose -4*b - 4 = -9*b - 4*a, -3*b - 4*a - 4 = 0. Suppose -20 = b*k - 9*k + g, 20 = -4*g. Suppose 2*q + 2*q = 0. Solve 12 = k*w - q for w.
4
Let s be -3*(-2 + 4⁄6). Suppose -s*h = h. Suppose 4*p + p = h. Solve g + p = -3 for g.
-3
Let u be (-2)/(-6) + (-26)/6. Let f = u - -6. Solve -i - f = i for i.
-1
Let f = 7 - 4. Suppose 2*x - 4*x = -5*n - 3, n = f*x - 11. Solve 0*m = x*m + 12 for m.
-3
Let r be 32/(-5)*(-65)/26. Solve -2*v = 2*v - r for v.
4
Suppose 0 = -2*w + 3*v - 50, -5*w = -2*w - 3*v + 78. Let p be (-64)/w - 2⁄7. Suppose 2*k - 2 - p = 0. Solve 3 = -r - k*r for r.
-1
Let r(x) = 3*x + 14. Let u be r(-4). Solve -5*n - 23 = u for n.
-5