Let v(l) = l**2 + l - 4. Let c be (-4)/10 - (-34)/10. Let p be -4 + 0 + 3/c. Let y be v(p). Solve -2*m + 8 = y*m for m.
2
Let d(v) = 3*v - 2. Let c be d(3). Let h(n) = -3*n + 3*n - c + n. Let j be h(10). Solve -19 = -j*i - 4 for i.
5
Let j(a) = a**2 - 6*a - 14. Let v be j(8). Suppose v*t - 3*t = 0. Solve 0 = s - t - 4 for s.
4
Let v(d) = d**2 - 6*d - 6. Let l be v(5). Let a = 15 + l. Solve -a*k = 15 - 3 for k.
-3
Let o(g) = -g + 7. Let l be o(5). Suppose -s = -l*s. Suppose -6*r = -r. Solve -y - 4 + s = r for y.
-4
Let r be 2/(-3) - (-22)/6. Suppose 0*v + r*v - 27 = 3*o, -4*v + 2*o + 28 = 0. Solve -15 = -v*t - 0*t for t.
3
Suppose 37*v - 33*v - 16 = 0. Solve 2*m - 2 = v*m for m.
-1
Suppose -4*i + 32 = 5*s, 2*s - 6*s + 5*i = -1. Suppose 0 = -q + s*q. Solve y + 3*y = q for y.
0
Let i(p) = -p**2 + 11*p - 18. Let c be i(8). Solve 2*h - c*h - 16 = 0 for h.
-4
Let d be 2/(13⁄3 - 4). Solve 0 = -3*p - d - 6 for p.
-4