Let u = -5 - -7. Let h = u - -3. Suppose 7 = h*w - 3. Solve i = -w*i for i.
0
Let r(x) = x + 1. Let l be r(3). Let t(j) = -3*j. Let i(v) = -v. Let q(p) = 6*i(p) - t(p). Let z be q(-1). Solve y = z*y + l for y.
-2
Suppose 4*r = -3*h + 5 + 2, -3*r = 2*h - 5. Let i be (h - (-4)/(-1)) + 9. Solve -15 = x - i*x for x.
3
Let d(w) = w**2 + 7*w + 6. Let q be d(-6). Suppose -2*r - 3*r + 15 = q. Suppose -v + 4*m - 1 = -14, -v - 3*m = 8. Solve -4*b + r = -v for b.
1
Let b = 2 + 0. Suppose 5*x + 3*u + b = -0, 0 = 3*x - 2*u - 14. Solve x + 1 = o for o.
3
Suppose 3*s + 4*o - 21 = -o, -7 = -5*s + o. Solve 2*l + s = l for l.
-2
Suppose -11*c = -16*c. Let t(y) = -2*y + 7. Let n be t©. Solve -2*b = -n*b for b.
0
Let s be (4 - 5) + (3 - -2). Solve -x + s*x = 12 for x.
4
Let j(g) = g**2 + g + 1. Let x be j(0). Let h = -1 + 5. Solve o - x = h for o.
5
Let k(f) = -f**3 + 4*f + 3. Let d = -5 + 3. Let z be k(d). Suppose 4*m - m + 22 = 2*g, -z*g - 1 = 4*m. Solve g*i + 9 - 29 = 0 for i.
4