Let l be 1/3 + 17/3. Let u = 10 + -7. Suppose 0 = -3*v + u*s + 15, 6*v + 2*s - 18 = v. Solve 5*c + v + l = 0 for c.

Let v(a) = a3 + 7*a2 - 7*a + 11. Let k be v(-8). Solve -k = r - 2 for r.

-1

Suppose -5*m + 75 = -0*m. Solve -3*l - m = -0 for l.

-5

Let t = -22 + 12. Let k be (5/t)/(1/(-14)). Solve -12 = -3*v + k*v for v.

-3

Suppose f + 0*f = 0. Suppose -z + 3 + 2 = f. Solve 5*a - 4*a = z for a.

5

Let m be ((-15)/12)/((-2)/(-56)). Let q = m - -51. Let c = 0 + q. Solve 5*f - 1 = -c for f.

-3

Suppose -5*q - 33 = -j - q, 0 = -4*j + 2*q + 104. Suppose -2*v = -3*r + 1, v + 3*r - 21 = -2*v. Solve 5 = v*t + j for t.

-5

Suppose 47*c - 42*c = 0. Solve v = -c + 3 for v.

3

Let r© = -c**2 + 6*c - 3. Let i be r(4). Suppose 0 = -6*d + i*d. Solve -2 = -d*u + 2*u for u.

-1

Let c = -5 + 7. Solve 25 = -c*r - 3*r for r.

-5

Suppose -5*m - 3*a - 54 = 0, 0 - 32 = 3*m + 2*a. Let j be ³²⁄₁₄ + m/42. Solve -j*x - 8 = -6*x for x.

2