Let t = 12 - 6. Suppose -2*c + t*c + 8 = 4*b, 5*b - 13 = 2*c. Solve -3 = -0*d - b*d for d.

1

Suppose -3*c = -c, 5*t - 5*c = 195. Suppose -4*r - 4*j = -t + 7, -2*j = 5*r - 25. Let a be 3 + (5 - 2)/r. Solve 3*l - l - a = 0 for l.

2

Let s = 8 + -25. Let v = -10 - s. Solve -5*r + 3 = -v for r.

2

Let u = 71 + -68. Solve -u*y + 5 = -7 for y.

4

Let o = -48 - -52. Solve 0 = 2*x - o*x + 4 for x.

2

Let d(k) = k**2 + 10*k - 10. Let f be d(-11). Let c be (-57)/(-9) - f/3. Solve -2*u + 8 = -c*u for u.

-2

Suppose 2 = 2*v, 4*v - 8 = -3*b + 2*v. Solve -z - b = 1 for z.

-3

Suppose -11 = -5*s + 4. Suppose -s*r = -2*d - 4 + 1, -1 = -r. Solve -5*b = -d*b - 20 for b.

4

Let d be 0 - (-5)/(20⁄8). Suppose -d*s = -5*s + 6. Solve -2*m + s + 4 = 0 for m.

3

Suppose 21 + 0 = 3*u. Solve -5*b - u = 8 for b.

-3