Let n = 2 - 0. Let m = -4 - -12. Solve -2*i - m = n for i.
-5
Let a = -3 + -1. Let n be (5 - -1)*6/a. Let y(h) = -h**2 - 8*h + 11. Let l be y(n). Solve -l*p + 3*p - 3 = 0 for p.
3
Let b = 30 - 17. Suppose t + b - 33 = -3*f, 3 = f + 4*t. Let i(l) = -l + 10. Let r be i(f). Solve -6 = r*a - 6*a for a.
2
Let q(l) = l**2 + 3*l. Let f be q(-3). Suppose f = -4*p - a + 24, -4*p - 8 + 40 = 3*a. Solve 0*w + 15 = -p*w for w.
-3
Let m = -1 + -5. Let g = 6 + m. Let d = -4 - -6. Solve -7*x + d*x + 25 = g for x.
5
Suppose 0 = -3*r + 7*r + 12, 0 = 4*p - 5*r - 31. Solve 1 = 3*g + p for g.
-1
Let a(p) = 3*p**2 + 1. Let d be a(2). Let l = 9 + -5. Solve -l*s + d = 33 for s.
-5
Suppose -2*y - 3*y + 25 = 0. Suppose r + y = 21. Suppose -o = -3 - 3. Solve o*a - r = 2*a for a.
4
Suppose 0*s = -3*s + 3, 2*g + 5*s - 9 = 0. Solve g*k - 1 = -9 for k.
-4
Suppose -7*i + 2*i + 210 = 0. Suppose -5*j = 3*c - i, -2*j + 28 = -0*j + 4*c. Suppose -5*o + j = -2*o. Solve 0*n - 10 = -o*n for n.
5