Let t = 2 + 1. Solve -t*h = -7*h + 4 for h.

Suppose -25 = -5*o + 3*w, 3*o + 13 = -4*w - 1. Suppose -2*q = 2, -3*c - 2*q = -c. Let f = c - 1. Solve 0*s + s - o = f for s.

2

Let v = 15 - 10. Suppose -5*n = 25, 4*w = -4*n + 3*n - v. Solve w = 5*s - 3*s + 4 for s.

-2

Let g(i) = 2*i3 - i2 + 2*i - 1. Suppose 1 = -b - 2*p, 0 = -4*b - 5*p - 1. Let n be g(b). Solve 0*q + 10 = n*q for q.

5

Let x(w) = -10*w + 54. Let j be x(5). Solve -5*l + j = -6 for l.

2

Let x(p) = -2*p - 3. Let i be x(-4). Suppose -4*o + 5 = 2*q - 15, i = 3*o - q. Suppose -l + 4 = l, 0 = 2*t + o*l - 14. Solve -2*r - t = 2 for r.

-3

Let l = 17 + 4. Let a = l - 11. Solve -t = t + a for t.

-5

Let c(h) = -6*h + 14. Let q be c(2). Solve 0 = -6*y + q*y for y.

0

Let q = 6 - 1. Let f(j) = 2*j - 3. Let z be f(2). Let a be (z + -1)/(-4 - -6). Solve 0 = -a*n + q*n for n.

0

Let r = 5 - -13. Suppose -2*z - 2*b = 2*b - 24, 2*b = -4*z + r. Solve v = 2*v - z for v.

2

Let t(g) = -g3 - 4*g2 + 2. Let j be t(-4). Suppose -17 = -3*w + j*n, 2*w = -w + 5*n + 29. Suppose 0 = -c + w - 1. Solve -c*q + 2 = -4*q for q.

-1