Suppose 1 = -3*x + 7. Let t(v) = 3*v2 + 2*v + 7. Let y(k) = -k2 + k - 1. Let h(n) = x*y(n) + t(n). Let i be h(-5). Solve 4*j + 2 = -i for j.
-3
Let a(h) = -h3 + 10*h2 - 16*h + 5. Let u be a(8). Solve 0 = -u*m + 5 + 15 for m.
4
Suppose 0 = -11*j + 13*j - 10. Solve 0*y + j*y - 10 = 0 for y.
2
Let d(v) = v3 + 10*v2 + v + 14. Let q be d(-10). Let o be 6 - 1 - (q - 2). Solve 3*m - o = -0 for m.
1
Let i be (1/(-3))/((-2)/6). Suppose -3*d + 8 = -i. Suppose -3*q - 9 = -5*f, -q + 0*q - d = -f. Solve -l + f = 5 for l.
-5
Suppose 3*j - 2 = 5*q - 0*j, 5*j = -q + 22. Solve q*u = -u + 15 for u.
5
Suppose 3*x - 10 - 23 = 0. Let g = x + -9. Suppose 0 = 4*w, 0 = 2*r + 2*r + w - 12. Solve 0 = h + r + g for h.
-5
Let z(m) = -5*m. Let i be z(-4). Let u = i - 8. Solve 2*c + u = -c for c.
-4
Suppose -4*g - 2*r = -50, 2*r = 5*g + 4*r - 60. Suppose 0 = 2*z - 7*z + g. Solve 0*k - 6 = z*k for k.
-3
Suppose 0 = -2*q - 4 + 2. Let t(o) = o - o - 3*o. Let k be t(q). Solve 0 = 5*h + k - 28 for h.
5