Let o = 12 + -10. Solve 0 = 2*r - 0 + o for r.

Let x(l) = -l2 - 15*l - 5. Let f be x(-15). Let j(g) = -g3 - 6*g**2 - 7*g - 7. Let z be j(f). Solve z = 2*n - 3 for n.

3

Suppose 3*v + v = m + 85, -v + 3*m = -35. Let b = v - 17. Solve b*k + k - 12 = 0 for k.

3

Let d(u) be the first derivative of -u³⁄₃ - 9*u²⁄₂ - 7*u + 1. Let b be d(-8). Let h(a) = -a3 - 8*a2 - 7*a + 3. Let w be h(-7). Solve w*i = -b - 5 for i.

-2

Suppose 15 = 6*l - 9. Solve -u = l*u + 15 for u.

-3

Let j(l) = 2*l - 3. Suppose 0 = -2*i + 3*i - 3*k - 6, k = -2*i + 5. Let g be j(i). Solve -2 = 5*z + g for z.

-1

Suppose 3*u = -0*b + 2*b - 2, 0 = -b + u + 2. Let m be (-17)/(-4) - 1/b. Solve 9 = f - m*f for f.

-3

Suppose 9*o = 8*o + 12. Solve 6*z + o = 3*z for z.

-4

Let v(a) = a + 19. Let i be v(-7). Solve -4*y = -y + i for y.

-4

Let m = 31 + -19. Solve 0 = -4*s + s - m for s.

-4

Let j(g) = g**2 - 2*g + 1. Let k be j(2). Solve k = -y - 1 for y.

-2