Let d = 20 - 15. Solve -19 = -d*p + 6 for p.
5
Let x = -5 + 8. Suppose -x*b + 32 = -5*q, 0 = -b - 2*q + 7. Let k(z) = 2*z - 12. Let s be k(b). Solve -d - s = d for d.
-3
Let j be -4 - (-1 - ((-3)/3 + 4)). Solve j = -2*k + 7*k - 25 for k.
5
Let y = -26 - -26. Suppose y*i - 20 = -4*i. Solve -2*d - 1 - i = 0 for d.
-3
Suppose 0 = 4*h - 8*h. Solve h = -2*l - 2 - 8 for l.
-5
Let j = -5 + 18. Let m = 18 - j. Suppose m*s - 106 - 14 = 0. Solve -s = 4*w - 8 for w.
-4
Let c be (-20)/(-6) - 2⁄6. Let u = 3 + -5. Let s be (-1 - -1)*(u - -1). Solve s = -0*p + c*p for p.
0
Let z be (-2)/(-8) + 1/(-4). Let i(k) = k3 + 6*k2. Let d be i(-6). Let q(u) = 4*u - 1. Let a be q(1). Solve -a*x + z*x = d for x.
0
Suppose 12 = a - 3*y, 5*a - 24 = -2*y + 5*y. Solve a*q - 6*q = 0 for q.
0
Let k = 13 - 7. Let l be k/2 + 1 + -1. Suppose l*i = 2*y - 13, -5*i - 7 = y - 2*i. Solve -3 = u + y*u for u.
-1