Let v = -2 - 1. Let t be -15*(9/v)/9. Suppose 0 = -t*s + 16 + 9. Solve 0 = s*m - 3*m for m.

Suppose 0*s + s - 4*c - 14 = 0, 3*s + 5*c - 25 = 0. Let z(v) = -7*v - 25. Let q be z(-4). Solve u - s = q*u for u.

-5

Let r be ((3 - 2)*0)/(5 + -7). Solve 4*v + r = 4 for v.

1

Suppose 3*m - 12 = -2*r, 4*m - 4 = 3*m. Let g = -15 - -21. Solve r = -x - x + g for x.

3

Let r = 64 - 56. Solve -4*g + 4 = -r for g.

3

Let s = 77 + -77. Solve -3*q + s = -3 for q.

1

Let p(s) be the first derivative of -s³⁄₃ + 11*s²⁄₂ + 5*s + 3. Let l be p(11). Solve l*z + 6 = 21 for z.

3

Let c(b) = 11*b + 22 - b - 11 - b**2. Let r be c(9). Solve t - r = 5*t for t.

-5

Let u(f) = f**2 + 10*f - 17. Let m be u(-13). Solve 4*c - 6 = -m for c.

-4

Let r be (-4 + -2)*4/(-6). Suppose -2*q = q - 2*p - 9, 3*q = p + 12. Solve -r*k - k = -q for k.

1

Let l(o) be the second derivative of -o³⁄₆ + o2 + 7*o. Let q be l(2). Solve q = 3*p + p + 16 for p.

-4