Let v(b) = -b + 9. Let p be (1 - 11)/(2 - 4). Let y be v(p). Solve 0 = -d + 5*d - y for d.

1

Suppose -t + 2*c = 2*t, -5*c = -15. Let r(k) = k3 + 5*k2 + 4*k + 2. Let f be r(-4). Suppose 5*n + j - 33 = -f*j, n - 1 = 5*j. Solve n*b + 12 = t*b for b.

-3

Let t = 14 - 2. Solve -t = 3*f - 0 for f.

-4

Let k(l) = l + 17. Let w be k(-15). Solve 0 = -5*q - w + 7 for q.

1

Let s be 3 - (-2)/4*0. Let m(v) = -v + 1 + 0*v + s*v. Let c be m(1). Solve -3*b - c = 12 for b.

-5

Suppose 0*c + 4*p = c - 15, 4*c = -2*p + 24. Solve -5*t + c = -8 for t.

3

Suppose 3*i - 25 = -2*i. Suppose i*t - 45 = 2*t. Solve 5*z + t = 2*z for z.

-5

Suppose 0 = -4*p + l + 11, -p - 5*l = -l - 7. Let v be (p - 4) + 142. Suppose -3*x - 16 = 5*m, -x + m + 2 = -v. Solve -x*q + 4 = q for q.

1

Let m = -3 + 8. Suppose 3*n + 0*n - 51 = -3*f, 0 = 5*f - m. Suppose 2*g = 14 + n. Solve -g = -4*l - 3 for l.

3

Suppose 0 = -m - m. Suppose -x - x = m. Solve -5*y - 13 - 2 = x for y.

-3