Let i(a) = -11*a3 - a2 + a3 + 0*a3. Let j be i(-1). Let q = -9 + j. Solve 3*s - 3 - 3 = q for s.
2
Suppose -2*w + 0 = 4. Let r be 2 - (7 - 3)/w. Solve r*g + g = -15 for g.
-3
Suppose 0 = 2*z - 3*f - 19, 4*f = -13 - 7. Suppose -3 = -t + z. Solve -t*h = -4*h - 4 for h.
4
Let n = 31 - 22. Solve 0 = -4*d - 1 + n for d.
2
Let i = 25 - 23. Solve j + 3 = -i*j for j.
-1
Let i(h) = -h + 1. Let o be i(-2). Solve o*k - 2 = k for k.
1
Suppose 5*p = p + 12. Solve 0 = p*u - 2 - 4 for u.
2
Let a be (5⁄15)/(2⁄6). Let x(k) = 33*k**3 - k. Let r be x(a). Let q = r - 21. Solve 3*t + q = -1 for t.
-4
Let t(m) = -2*m3 - 4*m2 - 4*m. Let s be t(-2). Solve 0 = -s*i + 3*i + 5 for i.
1
Let o = -9 + 13. Solve 0 = 5*t + o + 1 for t.
-1