Let z(i) = -2*i - 3. Let u(w) = -w**2 - 6*w - 3. Let j be u(-6). Let a be z(j). Solve 0 = -2*v + 13 - a for v.

Suppose 2*w = 3*w - 6. Let n = -3 + w. Solve -i - 20 = n*i for i.

-5

Let x® = -42*r + 42*r - 1 - r**3. Let v be x(-1). Solve -16 = -v*o + 4*o for o.

-4

Let r = 1 + 5. Suppose 32*z = 13*z + 38. Solve r - z = k for k.

4

Let t be (-13)/(-4) + 4/(-16). Suppose t*x + x = 80. Solve 6*q + x = 2*q for q.

-5

Let o(y) be the second derivative of y⁴⁄₁₂ - 7*y³⁄₆ - 3*y**²⁄₂ + 3*y. Let k be o(8). Solve -k*j = 7 + 18 for j.

-5

Let i(s) be the first derivative of s**2 - 2*s + 4. Let y be i(2). Solve -y*c + 12 = -6*c for c.

-3

Let j(u) = 2*u**2. Let x be j(-1). Suppose -3 = -b + x. Suppose 0 = b*f + 12 - 42. Solve -f*m + m - 25 = 0 for m.

-5

Let g(p) = 5*p + 1. Let v be g(1). Let l = -6 + v. Suppose l*j + j = 0. Solve j = 4*f - 6*f + 4 for f.

2

Suppose 0 = -2*l - 5*d + 1 - 11, l + d + 2 = 0. Suppose l = 4*g + 1 - 5. Solve 0 = -2*n + 3*n - g for n.

1

Let j© = -2*c3 - 4*c2 - 4*c - 4. Let a be j(-2). Solve 1 + a = o for o.

5