Let v(r) = -r + 12. Let x be v(12). Suppose 0 = 3*w - 10 + 1. Solve -2*s - w - 1 = x for s.

Let c = 1 + 7. Suppose -4 = 4*t - 16. Solve -t*k - c = -k for k.

-4

Suppose -3*r + 5*r = 4*f + 18, 0 = 4*r + 5*f + 3. Solve r = -3*n - 0 for n.

-1

Suppose -6*l + 3 = -3*l. Suppose 0 = m - 4 - l. Solve -x + m*x = 8 for x.

2

Let q(k) = k - 2. Let d be q(4). Let h(s) = 3*s3 - d + 4 + 2*s2 - 2*s**3. Let t be h(-2). Solve -o - o = -t for o.

1

Let m = 5 + -5. Suppose -5*g - 2*v + 8 = m, -g - v = -0*v - 1. Suppose -3*u - 4 = 3*h - 2*h, g*h - 3*u = 10. Solve h*s = -3*s for s.

0

Suppose -n - 3*n + 20 = 0. Suppose 16 = -z + n*z. Let i = 2 + -2. Solve i = 2*q - 3*q - z for q.

-4

Let r(b) = b3 - 6*b2 + 4*b + 7. Let a be r(5). Let l = -17 + 11. Let n = -2 - l. Solve -6*s = -a*s + n for s.

-1

Let d(n) = n + 5. Let z be d(-7). Let w be z/(2 + (-48)/21). Let y = w - 2. Solve -2*a - y = -1 for a.

-2

Let h(g) = 2*g + 2. Let w be h(-2). Let t be w/(-7) - (-8)/(-28). Solve t = -m - 3*m + 16 for m.

4

Let x = -11 - -7. Let q be (x/(-5))/(¹⁄₁₀). Suppose b + b = q. Solve 0*s = b*s + 8 for s.

-2