Suppose -t - 5*m - 23 = 0, -24 = -5*t + 2*m - 4. Let u be (-3)/6 - (-1)/t. Let d = 10 - 4. Solve 4*p - d - 10 = u for p.
4
Suppose -w + 4*w = 36. Let f = -6 + 2. Let p(b) = b + 4. Let h be p(f). Solve h*j - w = 4*j for j.
-3
Suppose i = 4*i - 12, 2*n + 4*i - 32 = 0. Suppose 2*x - n = -0*x. Suppose x*p + 13 = 29. Solve 0 = -m - p*m - 15 for m.
-3
Suppose 5*x = -4*h + 45, 0 = -3*x - 2*h + 6*h + 27. Suppose 5*w = -4*v + 30, -2*w = -2*v - 3 + x. Solve -1 - w = s for s.
-3
Let u(q) = 2*q - 6. Let p be u(5). Suppose -4 + 12 = p*m. Solve 4 + 2 = -m*b for b.
-3
Suppose -5*h + z = -13, -4*h + 20 = -0*h - 4*z. Let d(l) = 2*l + h + 1 - 5. Let o be d(4). Solve -2 = -2*r + o for r.
4
Let x(s) = -s**2 - s. Let d be x(-1). Suppose -f + d*f = -2. Suppose f*u = 9 - 3. Solve -2*y = 5 - u for y.
-1
Suppose -8 = 12*h - 13*h. Solve h = -3*u + u for u.
-4
Let y = -47 - -51. Solve 3*q - 4*q = y for q.
-4
Let v(a) = -4*a - 13. Let t be v(-4). Solve 0 + t = -b for b.
-3