Let m(x) = -x - 8. Let c be m(-12). Suppose -4*z - 5*v + c = -6, 2 = z + v. Solve 5*k = -z - 5 for k.

-1

Suppose -5*c = -h, -2*c = -6*c + 2*h. Suppose 5*q - 45 = -5*v + v, 20 = -q + 5*v. Solve c = q*w - 4*w + 5 for w.

-5

Let k(j) = j. Let o be k(1). Let a(m) = m3 + m2 + 0*m3 + 1 - 2*m + 3*m3. Let d be a(1). Solve -3*q + o = d for q.

-1

Suppose u - 3 = -0*u. Let i = u - 1. Solve -i*x - 7 = -1 for x.

-3

Suppose t + 3*s = -13, -2*t = -4*s - 0*s - 4. Let a(g) be the third derivative of g6⁄120 + g5⁄15 - g4⁄24 - 5*g2. Let u be a(t). Solve 1 - u = -r for r.

3

Let w(z) = z**2 - 6*z + 6. Let o be w(6). Let f = o + -4. Let l = 2 + f. Solve 2 - 22 = l*d for d.

-5

Let i(l) = -l + 1. Suppose -3*o + 0 - 12 = 0. Let c be i(o). Suppose -4 = -3*y + 5. Solve -y = -c*g - 23 for g.

-4

Let l = 0 - -3. Suppose 5*u - 41 = 3*x, -2*x + 19 = -7*x - 4*u. Let b = -7 - x. Solve -2*m + 5 + l = b for m.

4

Suppose -c - 9 = -2*v, 3*c = -13 + 4. Suppose -g - 4*i = -v, 0*i = -4*g + 4*i - 8. Let h = g + 1. Solve -4*n + h + 12 = 0 for n.

3

Let o be 6/(-5)*(-35)/7. Solve s + 4 - o = 0 for s.

2