Let d = 3 + -1. Let x be 0 + 2 + 2*d. Suppose -5*f + 1 = -3*k, -6*f + f + 5*k - 5 = 0. Solve f*b + 14 - x = 0 for b.

Suppose 3*p - 12 = 0, -3*x + 4*x - 2*p = -5. Solve x*q + 1 = 4*q for q.

1

Suppose -5*w + 0 + 1 = 3*k, -w + 7 = 4*k. Suppose -a - 3*j = -15, 0 = 2*a + j - 10 - 0. Solve -r = -k*r - a for r.

-3

Let t = -28 + 30. Solve -2*m + 12 = t*m for m.

3

Suppose v = -j + 9, -5*v + 19 = j - 2*v. Solve 1 = -j*h + 9 for h.

2

Let l(f) = 6*f - 6. Let d be l(3). Solve -3*u - d = -0 for u.

-4

Let h(m) be the first derivative of -2*m**2 - 3*m - 3. Let d be h(-2). Solve -b = -d*b - 20 for b.

-5

Let k be (-1)/(-1 - -1 - 1). Let i be ⁶⁄₃*(2 - 1). Suppose -28 = -2*r - i*r. Solve r + k = -4*f for f.

-2

Suppose 5*b = -2*b + 4*b. Solve 5*f + b*f = -5 for f.

-1

Suppose 1 = -4*a - 7, 4*h - 4*a - 8 = 0. Solve 2*v - 1 - 3 = h for v.

2

Let x be (¹⁄₁)/1*3. Let f(u) = 4*u - 2*u + x - 7. Let d be f(3). Solve d = -3*n + 5*n for n.

1