Let v(j) = j - 3. Let l be v(5). Solve 0 = l*r + 2*r for r.

0

Let q(x) = 2*x + 5. Let s be q(-4). Let k = s + 5. Solve -3*j + 8 = k for j.

2

Let z(g) = 2*g + 32. Let t be z(-14). Solve -f - 3 = -t for f.

1

Let i(w) = w3 - 7*w2 + 7*w - 2. Suppose -m + 5 = -1. Let a be i(m). Solve -6*o + 2*o = a for o.

-1

Suppose 3*c + 12 = 0, 3*o - o + 2*c - 2 = 0. Solve -3 = 2*f - o for f.

1

Let q(f) = f - 9. Suppose 0*v = -v + 9. Let g be q(v). Solve g = -m + 2 - 7 for m.

-5

Let b(h) = -h3 + 5*h2 + h - 1. Let k be b(5). Suppose -u - u - 4*v = -20, -k*u - 20 = -4*v. Let f be (-2)/3 + 113. Solve 5*q - f*q + 4 = u for q.

-2

Suppose -a + 4*a + 3*l - 15 = 0, 5*a + 4*l - 25 = 0. Solve 3 = -t + a for t.

2

Let n(k) = k**2 - k - 2. Let m be n(2). Suppose 0*c + 5*c = m. Solve q - 4*q - 12 = c for q.

-4

Suppose -5*w + 745 = -5*q, -3*q = -3*w + 2*w + 143. Let s = -101 + w. Let n = s - 26. Solve 5*d + n = -0*d for d.

-5