Let d(a) = a**2 - 7*a + 3. Let k be d(8). Suppose -o + k = -4. Suppose -4*w + 9*w = -25, 2*y = w + o. Solve -3*m = 7 + y for m.
-4
Let u be 8⁄3*15⁄10. Solve 0 = u*h - 8*h for h.
0
Let u(o) = o**2 + 3*o - 1. Let i be u(-4). Suppose 5*t - 12 = -i*r + 78, 4*t - 50 = 2*r. Solve 0*v - 3*v - t = 0 for v.
-5
Let r = -6 - -7. Solve -r + 7 = 3*o for o.
2
Let m(v) = -v + 6. Let s be m(5). Let c be (2⁄1*-2)/1. Let l be -5 - c - 1/(-1). Solve l = -3*r + s - 16 for r.
-5
Let q(l) = l**2 - 6*l - 13. Let j be q(8). Solve -j - 22 = 5*r for r.
-5
Let k = 1 + 0. Let i(y) = -y + 2. Let d be i(2). Suppose -h + 0*h + 3 = d. Solve -h*r = -k - 5 for r.
2
Let u(l) = l**2 - 5*l + 4. Let i be u(5). Suppose 3 = -i*q + 19. Solve 0 = -0*b - q*b - 20 for b.
-5
Suppose 3*x + 13 = 5*j, 0 = -3*j - 2*x + 15 + 8. Solve -j*f = -0*f - 15 for f.
3
Let p = 6 - 5. Suppose p - 10 = -3*u. Solve u*d - 4*d - 3 = 0 for d.
-3