Let r(u) = u**2 + 4*u + 3. Suppose 1 = -2*a - 7, 2*z = -a - 12. Let v be r(z). Suppose 12 = -v*f + 7*f. Solve -4*t + f = -7*t for t.
-1
Suppose -4*q + u + 29 = 0, -u - 18 = -2*q + 3*u. Solve 12*s - q*s = -25 for s.
-5
Let f(y) = y3 - 5*y2 - 5*y - 1. Let d be f(6). Let i be (-104)/(-32) - 1⁄4. Suppose i*l = 2*l. Solve d*r + 5 = -l for r.
-1
Let j = 66 - 111. Let g = 80 + j. Let v = -20 + g. Solve 2*k + 3*k - v = 0 for k.
3
Let t be (-10)/4*(-1 + -1). Solve 0 = t*p - 23 + 3 for p.
4
Let q(l) = -16*l2 + 20*l - 11. Let r(h) = 3*h2 - 4*h + 2. Let j(i) = 2*q(i) + 11*r(i). Let g be j(4). Solve g*p + p - 2 = 0 for p.
2
Suppose -3*q + 3*j = -j + 14, -5*q - 42 = -2*j. Let g = -9 - q. Solve -g = 2*k + 5 for k.
-3
Let p(d) = -d3 + 5*d2 + d - 2. Let r be p(5). Solve -2*c + 2 = -r*c for c.
-2
Suppose p - 14 = -2*x, 5*x - 2 - 3 = 5*p. Let v = -107 + 107. Solve 2*o - p*o + 6 = v for o.
3
Suppose -10 = -4*c + 14. Solve w = c*w + 5 for w.
-1