Let w = -3 + 6. Let v be (-26)/(-6) - (-2)/w. Let n = 5 - v. Solve -3*d + 2*d + 4 = n for d.
4
Let d(h) = h + 24. Let x be d(-10). Suppose -2*v + x = l, 3*v - 4*l = -l + 30. Solve 3*k = -k + v for k.
2
Let w be 3/(((-12)/15)/(-4)). Let c = 16 - w. Solve l = -1 - c for l.
-2
Let j(d) = -2*d + 3. Let f be j(3). Let b be (-7)/2 + f/(-6). Let o be (-2)/(b/12*2). Solve c = o - 2 for c.
2
Let t be (-18)/6 + -9 + 0. Let q = -9 - t. Solve 0*w + q*w = -3 for w.
-1
Suppose 2*p = -10, -3*v = 5*p + 4 + 9. Solve 20 = v*n + 8 for n.
3
Suppose 4*p + 1 - 17 = 0. Suppose 1 = -p*u + 13. Solve 0 = 4*a + u + 5 for a.
-2
Suppose -4 = 2*a - 3*j, 3*a = 4*a - 3j + 5. Let r be 1 + (-2)/4-2. Let l(y) = y3 + 4*y2 - 5*y. Let v be l(-5). Solve v = q + r + a for q.
-3
Suppose 9 - 1 = 2*i. Suppose -2*y + i = -u, -14 = -y - 3*u - 5. Solve o + y = -0*o for o.
-3
Suppose -5*o + 3*o = -24. Solve -3*n + 0*n - o = 0 for n.
-4