Let p = 3 + 1. Suppose 16 = 2*l + p*j, -5*l - 2*j + 53 = -5*j. Solve -w + l = -6*w for w.
-2
Suppose 0 = 5*j - y - 4, -8 = 3*j + y + y. Solve j*n - 3 = -n for n.
3
Suppose 5 = 4*a + 13. Let r(f) = f + 4. Let h be r(a). Solve 3*p - 1 = h for p.
1
Suppose -10*u - 15 = -13*u. Solve 0 = -u*k - 1 + 16 for k.
3
Suppose -32 + 0 = -2*w. Suppose -i + w = -2*u, -i + 8*u = 3*u - 28. Solve -3*k - i = 1 for k.
-3
Let o = -18 - -22. Solve 0 = -c + 3*c + o for c.
-2
Let f = -17 - -20. Solve -f - 9 = -3*c for c.
4
Let q be 4 + (-42)/18 + (-2)/(-6). Suppose 2*p = -5 - 7. Let a be (q/p)/(2/(-24)). Solve -5*v - a = 6 for v.
-2
Let w(m) = m - 9. Let f be w(7). Let x be 2 - 1*(f - -1). Suppose 48 = x*o + o. Solve 0 = 3*u + 3 - o for u.
3
Let a be (-7 + 13)*(-2)/(-4). Suppose 5*q - 5 = 0, -2*n + a*q = q - 6. Suppose -2*f = -n*f. Solve 2*i + f*i = 0 for i.
0