Let y be ((-32)/(-20))/(-4)*-5. Suppose -q + 2*t + 73 = 4*t, 161 = 2*q + t. Suppose q = 5*o + 23. Solve -y*k - o = k for k.

-4

Let v(u) = -u - 5. Let h be v(5). Let p be (-6 - -8)*h/(-4). Suppose 12 = -p*a + 4*n, a + 4*n - 3 = 3*n. Solve a = -4*x - 1 - 11 for x.

-3

Suppose 32 = -2*q + 6*q. Solve -2*d = -4*d - q for d.

-4

Let q be ((-2)/(-3))/(2⁄9). Suppose -4 = q*f - f. Let v = f + 4. Solve -10 = 4*o - v for o.

-2

Let y be 0/(1/(-2 + 3)). Suppose -a + x + 3 = 0, -6 = -a - 2*x - y*x. Solve -a*d = -d - 3 for d.

1

Let m(x) = -x**2 - 11*x + 17. Let s be m(-12). Let c = s + -3. Solve 0 = 5*n + 8 + c for n.

-2

Suppose 5*r = y - 2, -2*r + 5 = -4*y + 13. Solve -y*w + 6 = w for w.

2

Suppose -5*u - 22 = -5*v - 2*u, -12 = -4*v + u. Suppose -3*d = -8*d + 4*s + 4, v*d - s = 4. Suppose 4*z + 0*z = 0. Solve d*l + 0*l - 4 = z for l.

1

Suppose 8*m = -5*m + 91. Solve 4*d = m + 1 for d.

2

Suppose -5*t = -7*t + 20. Solve 3*l = l + t for l.

5