Let h = -3 + 7. Suppose m - 1 = -2*m + 5*k, -3*k = h*m - 11. Suppose 2*f = -5*u + 21, 4*f + 3 = 3*u + m*u. Solve -1 - u = 2*p for p.

-2

Let d be (2 + 10)*1⁄3. Solve -d = l + l for l.

-2

Let l(h) = 2*h. Let u be l(2). Suppose 4*j + 7*r - 3*r - 28 = 0, -u*j + 4*r + 68 = 0. Let n = -10 - -23. Solve 0 = -5*t + j + n for t.

5

Suppose -7 = 4*j + 3*k, -k = 2*j - 0*k + 1. Suppose 2*y + j*y - 22 = -2*d, -5*y = -15. Let r = 1 + 2. Solve r = d*w - 4*w for w.

3

Let v = 8 + -6. Suppose -1 = -v*d + 1. Suppose -5*z = -4*k - 4 - 2, z - 3*k + d = 0. Solve 0 = 3*y - 10 - z for y.

4

Suppose 0 = -3*d + 4*z + 72, d - 4*z = -0*d + 16. Suppose d = 2*a - 12. Solve 3*p = 7*p - a for p.

5

Let y(v) = -2*v - 9. Let l be y(-6). Let h be 15*3⁄6*2. Let b = -9 + h. Solve 12 = b*p - l*p for p.

4

Let k = 15 + -13. Suppose k*r = 2, 3*i - 21 = -i + 3*r. Solve -4*b + 6 = -i*b for b.

-3

Let v(a) = a3 + 6*a2 + 6*a + 2. Let r be v(-4). Let w = 5 - 2. Solve 0 = -w*k + k + r for k.

5

Suppose -z + 0*z = 0. Suppose 3*d = 9, 3*l + d - 2*d - 3 = z. Solve -6 = l*q - 0*q for q.

-3