Let v© = -c3 + 6*c2 + 6*c + 6. Let h be v(7). Let y be (1/(-3))/(h/6). Solve -s + 3*s = -y for s.

-1

Let h(y) = y**2 - 11*y - 7. Let x be h(12). Solve 2*o = 3 - x for o.

-1

Suppose 2 = 2*k - 4. Suppose 4 = -k*c + 4*c. Solve c*r = 6*r + 6 for r.

-3

Suppose 8*z - 11 = 13. Solve 4*c + 5 = z*c for c.

-5

Let s be 46⁄10 - (-6)/(-10). Suppose 5*u = s*u + 8. Suppose 2*d = -d. Solve -u + d = 2*h for h.

-4

Let n = -2 + 6. Suppose 3*c + 3 = -2*h, 0 = nc - c - 3. Let g be (h/6 + -1)-6. Solve 4*o = 7 + g for o.

4

Suppose -2*v - 3*v = 0. Suppose -3 = 3*q, v*u + 16 = 2*u - 2*q. Solve -3*j = 22 - u for j.

-5

Let p = 2 + -2. Suppose p = 4*r - r. Suppose 5*o + 0*z + 5*z - 20 = r, -o - 3*z + 8 = 0. Solve -j = o*j for j.

0

Suppose -1 = 2*l + 5. Let r(o) = o + 3. Let z be r(l). Suppose -4*c + 0*c + 24 = 0. Solve t - c*t = z for t.

0

Let x be 8 + -8*(12/(-8) + 1). Solve -c - 3*c - x = 0 for c.

-3