Let v(q) = -2*q + 5. Let c be v(-5). Solve -7*d + 2*d - c = 0 for d.

-3

Suppose 0 = -0*s - 2*s + 30. Suppose z + 19 = 4*t, -2*t = -0*t + 5*z - s. Suppose -40*x + 37*x + 15 = 0. Solve -t*b - x + 0 = 0 for b.

-1

Suppose -8 = -8*q + 4*q. Solve 0 = 5*s - 8 - q for s.

2

Let q = 18 + -15. Suppose q*r - 49 = 2*x, r + 4*x - 1 - 6 = 0. Solve -2*c + r = 3*c for c.

3

Suppose 3*t - 6*t - 5*j = -2, -2*j = -t + 8. Suppose -2*l + 16 = 3*i, -3*i - 2*i - 5*l + 35 = 0. Let r be 1*i - (-7 + 1). Solve t*p = r*p - 16 for p.

4

Suppose 4*s + s = 10. Solve -s*n = -0 + 6 for n.

-3

Let x = -4 + 0. Let c(h) = -h. Let i be c(x). Solve i*a = 8*a - 16 for a.

4

Suppose -4*u - u + 35 = 5*m, -4*m + 20 = 0. Suppose -3*g = -4*r - 26, r - u = -2*g - 3. Solve g*p + 3*p = -15 for p.

-3

Suppose 3*r = 3*y + 2 - 5, 3*y - 2r = 6. Let z be -2(-3 + (-21)/6). Solve -y*s = 1 - z for s.

3

Suppose 0 = 3*i - i - 16. Let v = -7 + 25. Suppose -5*x + v = 8. Solve x*r + 0*r = -i for r.

-4