Let v be -2 - 57/(3/(-1)). Suppose v = 2*q + 3. Let c = q - 3. Solve 5*x = x + c for x.
1
Let j = -8 + 5. Let z = j - -4. Solve 3*o + 14 + z = 0 for o.
-5
Suppose x = 2*u + 7, 3*u = -3*x - u + 11. Suppose -4*r + 16 = 0, 0*w = -2*w - x*r + 22. Suppose -w - 6 = -y. Solve -3*z = 8 + y for z.
-5
Let c(d) = -d3 - 19*d2. Let u be c(-19). Solve -5*g - 8 - 7 = u for g.
-3
Suppose 3*k + 2*k + 20 = 0. Let q(m) = -m**2 - 4*m + 5. Let p be q(k). Solve -p*a = 16 - 6 for a.
-2
Let b be 7*1/((-28)/(-72)). Solve -3 = 3*d - b for d.
5
Let k(u) = -u3 + 20*u2 - 19*u. Let p be k(19). Solve p = -5*r + 3*r + 10 for r.
5
Let l(b) = b + 6. Let j be l(0). Suppose 0 = j*a - a - 25. Suppose 0 = a*k - 1 - 14. Solve 4*f + k + 1 = 0 for f.
-1
Suppose 7*k - 63 = 4*k. Suppose 5*v = -k + 1, -5*z - 5*v = -30. Solve -u + 5 - z = 0 for u.
-5
Suppose -2*b + 40 = 8*b. Solve -b*f = -0*f for f.
0