Let q(l) = l + 5. Let c be q(-3). Suppose 3*w - 3 = 5*h, 2*w = 5*h - 0*w + c. Solve -v - 8 + 4 = h for v.
-4
Let s(d) = d3 - 4*d2 + d + 4. Let o be s(4). Let j = -23 - -23. Suppose -4*g + o = -j*g. Solve 0 = -4*k - g - 2 for k.
-1
Let l be 9*((-4)/3)/(-4). Let v(m) = 2*m2 - 4*m2 + 3 + 10*m3 - 9*m3 - 2*m. Let a be v(l). Solve k - 10 = a*k for k.
-2
Suppose -5*g = -3*h + 13, 5*g + 0*h + h = -9. Let z be 30/(g/((-8)/6)). Solve -j = 4*j + z for j.
-4
Let l(v) = v3 + 3*v2 - 5*v - 5. Let r be l(-4). Let j be 3 + 4 - (r + 2). Solve -3*u = -j*u - 15 for u.
-5
Let f = -18 + 18. Solve -15 = -f*r + 3*r for r.
-5
Suppose 4*a = -0 + 12. Let q = -5 + 11. Solve -i + a = q for i.
-3
Suppose 30 = v + 4*v. Suppose 2*i + 8 = 0, 3*i + v + 6 = -5*c. Solve -g - 4*g - 10 = c for g.
-2
Let q(h) = h**2 - 6h + 4. Let t be q(4). Let r = 3 + t. Let f be r(2 + (-1 - 6)). Solve -f*x = -2*x + 12 for x.
-4
Let t(h) = h + 3. Let a be t(1). Solve 7 + 1 = a*o for o.
2