Let n® = -r3 + 6*r2 + 7*r. Let p be n(7). Suppose p*g - 4*g = 0. Let m = 10 + -9. Solve g = u - m + 4 for u.
-3
Suppose 11*c - 33 = 44. Suppose -2*z + 3*d = -15, -2*d - 10 = -2*z - 0*d. Solve 3*l + 1 - c = z for l.
2
Let f be (-15)/3*36/(-10). Let j be f/4*8⁄12. Suppose -1 = j*k - 7. Solve 2*w + k = w for w.
-2
Suppose 0 = -4*v - v, -3*u + 12 = -3*v. Suppose 2*i - 7*i = 0, f = u*i + 3. Solve 0 = 2*r - f - 7 for r.
5
Suppose 5*s + 3*l - 140 = 0, 5*l = -3*s - 7 + 107. Suppose -c - s = 4*c. Let k = 5 + c. Solve k = -z - 0 - 2 for z.
-2
Suppose -6 = 4*b + 2. Let o = b - -4. Solve 2*y + 0 - o = 0 for y.
1
Let u(d) = d3 - 9*d2 - 2. Let i be u(9). Let z = i - -2. Solve z = r + r - 8 for r.
4
Suppose 0 = 4*s - 12 + 4. Let y(v) = 0 - v + 1 + 1. Let i be y(s). Solve i = 7*h - 2*h + 20 for h.
-4
Suppose -c - 3*j - 11 = 0, 0*c + 3*c - 19 = 4*j. Let l be (-2)/c - 10/(-2). Solve l*f - 4 = 2 for f.
2
Let p be (-2 - -2)/2 + 17. Suppose 0 = 3*w - 5*l - p + 5, 4*w - 3*l = 16. Solve c = 3 - w for c.
-1