Let p = 8 + -5. Let l be (0 - (-2)/3)*p. Solve 0 = -l*k - k for k.

0

Suppose 10*c = -16 + 46. Solve 0 = 5*u + c + 7 for u.

-2

Let u = 1 - -3. Suppose u*b = 5*b - 5. Solve 10 = b*z - 0 for z.

2

Let k(u) = 3*u3 - u2. Let a be k(1). Suppose -a*z = -1 + 3. Let b be 1*z*2 - -5. Solve 4*r = 5*r - b for r.

3

Let c = 9 - 9. Solve 0 = -c*t + 4*t + 20 for t.

-5

Let s(n) = -n + 20. Let j be s(16). Solve j*g - g = 15 for g.

5

Let s(v) = -v + 2. Let y be s(-2). Suppose -3*d - d = -y. Solve -i + 4 = d for i.

3

Let z = -3 + 3. Suppose 11*p - 12*p + 5 = z. Solve 0 = -p*v + 32 - 7 for v.

5

Suppose -3*w - 4 = -2*o - 1, 5*o = -4*w + 19. Let v(z) = z**2 - 7*z - 8. Let c be v(8). Suppose c*a = o*a - 15. Solve -a*s - 15 = -2*s for s.

-5

Let l(x) = 4 - 13*x + 5*x + 5*x - 2*x + x3 + 4*x2. Let r be l(-5). Solve -r*c = -2*c + 8 for c.

-4