Let m be -12*(6/4 + -1). Let p be m/12*(0 - 4). Solve 0 = -6*l + p*l + 20 for l.

Suppose 0 = -3*z + 7*z. Suppose 6*m - m - 70 = z. Solve 0 = -4*s - m - 6 for s.

-5

Suppose 6 + 24 = 15*u. Solve u*h + 4 = -2 for h.

-3

Suppose -12 = -4*a + 8. Let t = a + -5. Solve t = -3*x + 16 - 7 for x.

3

Let q = 165 + -69. Suppose -2 = -2*b, -5*b - q = -4*u - b. Solve 0*m + u = 5*m for m.

5

Suppose -3*x + 1 = 4*n, 0 = 3*n - x - 3*x - 7. Let o be ((-30)/(-8))/(n/4). Solve -2*i = -7*i - o for i.

-3

Let n(k) = 5*k - 9. Let u be n(9). Let r be (-12)/u - 14/(-6). Solve -2*w = r*w - 12 for w.

3

Suppose -4*w + 15 = 7. Suppose u + 5*t - 7*t = -23, 0 = u - 3*t + 20. Let k = u + 40. Solve 3 - k = w*d for d.

-4

Let k(o) = -6*o + 5. Let i(s) = 5*s - 4. Let v® = -7*i® - 6*k®. Let j be v(6). Solve -4*d + 0 = -j for d.

1

Let y(i) = -15*i - 3. Let j(l) = 14*l + 2. Let v(d) = 3*j(d) + 2*y(d). Let k be v(1). Let u be (⁶⁄₈)/(²⁄₈). Solve k = -7*t + u*t for t.

-3

Let d = -4 - -10. Let i(v) = 3*v3 - 2*v2 + 5*v - 4. Let t be i(1). Solve 0*x - d = t*x for x.

-3