Let p = 24 + -24. Solve 4*b + 1 - 13 = p for b.
3
Suppose -4*j = 1 + 7. Let w be 10 - (j + 0/(-3)). Let l(k) = -k**2 - 5*k - 3. Let v be l(-3). Solve 0 = -0*p - v*p + w for p.
4
Let l = 1 + 1. Suppose -l*k = -5*k. Suppose k = -2*w + 5 + 45. Solve 0 = -5*r - 0*r - w for r.
-5
Let h(l) = -l3 - 7*l2 + l + 10. Let w be h(-7). Let m be 1*(-6)/(-2) + -1. Suppose -5*p + 3*v + 43 = -14, -m*v + 10 = 2*p. Solve -p = -w*z - 0*z for z.
3
Let c be (-107)/(-6) - 6/(-36). Let v be (c/(-4))/(2/(-4)). Let x(g) = g + 7. Let i be x(v). Solve 0 = j - 5*j - i for j.
-4
Let c(i) = 4*i + 2*i - 4*i - 1. Let u be c(2). Suppose -3*x + u = -3. Solve -3*h = -x*h - 1 for h.
1
Suppose 0 = 5*u - 5 - 10. Let t be -2*2/(-6)*u. Suppose -i + 3*q + 12 = 0, 0 = -3*q - 4 - 8. Solve i = -2*n - t for n.
-1
Let u be 2/(-2) + 6 + -2. Let d = u - -1. Solve -s + 2 - d = 0 for s.
-2
Suppose 0 = -0*u + 4*u. Suppose u = -a - 2*h - 2*h + 7, 4*h - 5 = -3*a. Let c be -1*0*a/2. Solve -9 = -c*f + 3*f for f.
-3
Let k be (0 + -1)*-3*4. Solve -7*w + 3*w + k = 0 for w.
3