Let t(q) = -q + 15. Let r be t(12). Suppose -a + 20 = -3*p, 7*p + 10 = -r*a + 2*p. Solve -a*m - 8 = -28 for m.

Let t(z) = z**2 + 8*z + 6. Let o be t(-7). Let k = -1 - o. Solve d + k = -2 for d.

-2

Suppose 0 = -129*r + 123*r. Solve r = 5*n - n + 20 for n.

-5

Let q = 1 - -3. Let i = 4 - q. Solve -2*l + 2 - 4 = i for l.

-1

Suppose 0 = -8*w + 4*w - 16. Let m(z) = -z - 2. Let c be m(w). Suppose 0*f - 4*f = 0. Solve f = -a - c*a - 9 for a.

-3

Let s = 6 - 4. Suppose -s*f + 6 = -f. Solve 0 = -2*i - f for i.

-3

Suppose u + 6 = 4*u. Let c be 3/(3 + 0)*u. Solve c*h - 6*h + 16 = 0 for h.

4

Let r(t) = 3*t - 5*t + 3*t - 5. Let c be r(9). Suppose 0 = c*b + k - 16, -5*k - 1 = b - 6*k. Solve -9 = -2*v - b for v.

3

Let n = -24 + 32. Solve -4*l + n = 28 for l.

-5

Let s be (²⁄₄)/(⁶⁄₁₂). Solve -s + 5 = c for c.

4

Let c(s) = -2*s**2 + 9*s - 4. Let b be c(4). Solve 8*p - 3*p - 20 = b for p.

4