Let m(x) = 3*x - 2. Let i be m(2). Suppose 4*r - 4*c - 17 = 5*r, 4*r + 4*c + 8 = 0. Suppose -t = 1, -2*t - 8 = r*z - 5*z. Solve -1 = z*w - i for w.

Let c be (-4 - (-3 - -1))*-16. Let v = c + -12. Solve 2*z = -2*z + v for z.

5

Suppose -4*i + 33 = 3*n, 2*i = 4*i + 5*n + 1. Let t(q) = -q3 + 9*q2 - 2*q - 11. Let d be t(8). Suppose 3 = 5*r - d. Solve 4*b = r*b + i for b.

-3

Suppose -5*d = -4*d - 15. Let q be (3/(-2))/((-15)/190). Let p = q + -16. Solve -p*m + 0*m - d = 0 for m.

-5

Let r be 2/(-11) + (-24)/(-11). Let q be 0 + (8/r)/2. Suppose 14 = -4*s + 22. Solve -s*u = q*u - 12 for u.

3

Let z = 2 - -1. Let s be (-9 - -5)*(1 - z). Solve 12 = -4*p - s for p.

-5

Let v = 8 + -4. Suppose 51 = 4*p - 1. Solve p - 5 = v*w for w.

2

Suppose -3*f + 2k = -4, -1 + 3 = -k. Let n be -2((-2)/2 + f). Solve 2 - 4 = n*v for v.

-1

Let l be ²¹⁄₄ + ⁹⁵⁄₂₀ + -5. Solve 4*w = l*w - 5 for w.

5

Let s = -2 + 5. Suppose -2*a + 13 = -s. Let p = a - 7. Solve 3*y = -2 - p for y.

-1

Suppose 3*n = -4 + 10. Let o = -3 + 6. Solve -o = -n*b - 5 for b.

-1