Let n(v) = -v + 12. Let m be n(10). Suppose -24 = -5*i - o, 2*i + 2*o - 6 = -2*o. Suppose -21 = -i*b + 34. Solve b = -3*g + m for g.
-3
Let g = 1 - -1. Let w = g + 2. Suppose h = -5*l + 55, -w*l + 3*h = h - 58. Solve -3*k = k + l for k.
-3
Let k(x) = 2*x + 21. Let y be k(-10). Solve 21 = -5*p + y for p.
-4
Let u be (-11 + 1)/(12 - 11). Let r(q) = -3*q + 6. Let m be r(4). Let p = m - u. Solve p + 1 = -5*d for d.
-1
Suppose -5 = -h - 1. Solve m + h = -3*m for m.
-1
Suppose o + 35 = 4*m, 3*o + 4 = 7*o. Solve 10*u = m*u + 3 for u.
3
Suppose -3*x - 16 = -7*x. Suppose 5 = -2z + 3. Let v be z(0 + -13*1). Solve -v = x*l - 5 for l.
-2
Let h(o) = 4*o - 6. Let w be h(2). Solve -l = 3 - w for l.
-1
Suppose -4*t = -0 - 16. Suppose 5*l + 1 = w, w - 1 = -3*l + 5*l. Let c be (-1 - -1)/(w + -3). Solve -5*o + 14 - t = c for o.
2
Let d be (15 - 14)/((-1)/(-7)). Suppose -2*y + 10 = -2*q, y - d = -3*q + 5*q. Solve -y*n + 9 = -6*n for n.
-3