Let x(f) = f + 1. Let l be x(2). Solve 3*c + 0 + l = 0 for c.

Let u = 41 + -32. Solve 0 = b + 2*b - u for b.

3

Let y(d) = d3 + 5*d2 - 7*d + 5. Let f be y(-6). Let c = f - 11. Solve 0 = -o - c*o for o.

0

Let t(f) = 5*f + 2. Let u be t(2). Solve -u = -3*s - 0*s for s.

4

Let x(p) = -p + 9. Let b be x(4). Solve b*c = 5 - 0 for c.

1

Let r(g) = g + 8. Let t be r(-2). Solve -3*u = -t*u for u.

0

Suppose 3*c - 39 = -v + 38, 0 = -2*c + 5*v + 23. Suppose o - 4*o = c. Let x = -4 - o. Solve -3*t = -4*t - x for t.

-4

Suppose -23 = -4*n - 0*n - 5*h, -3*n + h = -3. Solve 5 = -n*x + 9 for x.

2

Suppose -8*w + 6 = -6*w. Solve w*l = 2*l + 2 for l.

2

Suppose 2*z = -3*z + 15. Let o(p) = -3*p - 3. Let q be o(-5). Let k = q - 7. Solve -a + z = k for a.

-2

Let b be (-6)/4*(-2)/1. Suppose b*y = 7*y - 4. Suppose -7 - y = -2*a. Solve 19 = a*t + 3 for t.

4