Let l = 2 - -2. Suppose -15 = l*k - 3*g, 2*g - 9 = 1. Suppose 3*s + 0*s - 3 = 0. Solve k = -2*y + s + 1 for y.
1
Suppose 0 = 3*i, -2*s = -3*s + 4*i + 11. Solve s + 4 = -3*o for o.
-5
Suppose 5*o - 5 = 0, -m + 2*m = o + 119. Let q be (1/(-2))/((-2)/m). Let a = -21 + q. Solve -2*u = u + a for u.
-3
Let i(g) = g2 - 12*g + 6. Let b(n) be the third derivative of -n5⁄60 - 7*n4⁄24 + n3 + 4*n**2. Let u be b(-6). Let l be i(u). Solve y = l*y - 25 for y.
5
Let k(l) = 4*l + 8. Let z be k(-6). Let y be (-156)/z + 6/(-8). Solve -5*w + y + 11 = 0 for w.
4
Let r = 46 + -27. Let z = r + -14. Solve 0*m + z*m + 25 = 0 for m.
-5
Let r(x) = x - 7. Let i be r(9). Solve i = -5*t - 13 for t.
-3
Let q(l) = -l**2 + 7*l - 7. Let x be q(5). Solve -w - x = -1 for w.
-2
Let r(z) = -z + 1. Let q(n) = n3 + 3*n2 + 1. Let o be q(-3). Let g be r(o). Suppose g = f - 3*d - d - 7, 0 = -2*f - 3*d + 3. Solve 3*m - f = -0 for m.
1
Let g(z) = z3 + 4*z2 - 5*z + 5. Let c be g(-5). Suppose 0 = -c*q + 12 + 8. Solve -q - 2 = -3*x for x.
2