Let a = -15 + 15. Let o = 41 + -11. Suppose 3*f - 5*f + o = 0. Solve a = -t - 4*t + f for t.
3
Let v = -141 - -145. Let j = -6 - -11. Solve -j = -s - v*s for s.
1
Let l = 7 - 13. Let t(u) = 11*u - 3. Let p(j) = -4*j + 1. Let s(o) = l*t(o) - 17*p(o). Let h be s(2). Solve -20 = -h*y - 0*y for y.
4
Let h(o) = -25*o - 1. Let l be h(-1). Suppose l = 2*z + 5*r, -2*r = -6*r + 16. Solve -z*n = -1 - 9 for n.
5
Suppose -3*c - 4*u + 69 = 0, 0*c - c + 5*u = -4. Suppose s = -5z - c, -s - z - 7 = z. Let x be s(6 - 3 - 3). Solve x = 2*t + t for t.
0
Let j be 0*(15⁄9 - 2). Solve -2*p = -j*p + 4 for p.
-2
Let i = 4 + 11. Suppose 5*d - i - 5 = 0. Suppose -d*c - 6*x + 12 = -x, -5*c + 44 = -x. Solve 0*u + c = -4*u for u.
-2
Let j = 10 - 6. Suppose j*f - f = -r, 0 = 5*r - 5*f - 20. Suppose o = -2*h, -r*o + h - 5*h = 0. Solve o = -3*d + d - 10 for d.
-5
Let r = 6 - 4. Suppose -y = -r*y. Suppose -2*k - 2*k + 12 = y. Solve 2*w + k*w - 15 = 0 for w.
3
Suppose 5*k + 0*k + 85 = -5*h, h - 5*k + 11 = 0. Let f = 20 + h. Solve f = -l - 1 for l.
-5