Suppose -3*x + 26 = 4*r, 5*r - 6 = -2*x + 23. Suppose 0 = -x*s + 4*s - 8. Solve -k - 7 + s = 0 for k.

Suppose 0 = 8*y - 6*y - 12. Solve -3 = q - y for q.

3

Let t be (-1)/2*-4 - -2. Solve 0 = y + t*y + 10 for y.

-2

Let q(j) = -j3 + 2*j2 - 1. Let x be q(3). Let k be (-25)/(-2)*(-8)/x. Suppose 0*v - 4*v = 2*t - k, 4*t = v - 25. Solve 0*m + 5 = -v*m for m.

-1

Let g be 6/(⁴⁄₁₈*-3). Let o = 24 + g. Suppose -7 = -5*k + 13. Solve o = -c - k*c for c.

-3

Let b be (-4)/6*3 - 2. Suppose -3*p + o + 4*o = 27, 3*o = 9. Let r = p - b. Solve -4*x - 4 = -r for x.

-1

Let h be (-13 + 21)*(-6)/(-16). Solve 0 = -5*r + 6*r + h for r.

-3

Let q be (-1)/(-3)*(9 - 6). Suppose -h + 1 = -q. Solve -h*j = -5 + 1 for j.

2

Let i(q) = -q3 + 8*q2 + 9*q + 2. Let l be i(9). Suppose -3*u + 7*u - 12 = 0. Solve -u = o + l*o for o.

-1

Let p(h) = -h - 4. Let j be 3 - (12 - 3 - -2). Let q be p(j). Solve -q*t + 3*t + 2 = 0 for t.

2

Let r(b) = b3 - 5*b2 - 8*b + 15. Let v be r(6). Solve 2 = -v*n - 4 for n.

-2