Suppose -31 = -4*z + 1. Let l be z/(-16) - (-22)/4. Solve l*x - 7 - 18 = 0 for x.

Suppose 3*b - 12 = 5*l + 11, 0 = b + 4*l + 15. Solve 3*p = 5 + b for p.

2

Let b = -9 + 11. Suppose 0 = b*v - 6*v - 2*y + 30, 0 = -3*v - 2*y + 25. Solve v*k - k = -8 for k.

-2

Let x(i) = 3*i. Suppose 0 = 5*j - 3 - 2. Let t be x(j). Solve 6 = t*u - u for u.

3

Let s(n) = 2*n**2 - 3*n + 3. Let i = 1 + 1. Let r be s(i). Let u = r - 4. Solve -z = u + 1 for z.

-2

Suppose -26*i = -30*i + 8. Solve -2*y + i = -y for y.

2

Let q(d) = 4*d3 + d3 + 4*d - 2 - 3*d2 - 4*d3. Let y be q(2). Solve 8 = y*j - 0 for j.

4

Suppose -24 = -7*n + 11. Solve -2*y + n = 3*y for y.

1

Let v = 24 - 11. Let k = -11 + v. Solve -r = k*r for r.

0

Let m = -2 - -5. Let y(j) = 2*j - 13. Let t be y(11). Let o = t + -9. Solve m = i - o*i for i.

3

Suppose 5*d + 4z - 23 + 73 = 0, z = -d - 11. Let t be 0(1 + d/4). Solve -o + t*o = 1 for o.

-1