Let b be (5412 + -1)*2. Suppose s - 4*s = -v, 0 = 2*v - 5*s - 3. Solve -v = 4*h + b for h.

-4

Let t(j) = -9 + 8 - 3*j + 2*j**2 + 2*j. Let m be t(2). Solve 4 = m*f - f for f.

1

Let f = -2 - -2. Suppose -3*c = 5*a + 79, 0*a - 3*a - 15 = f. Let y = c - -27. Solve -4*j + j + y = 0 for j.

3

Let n(l) = l - 1. Let k(u) = 12*u - 16. Let b(j) = k(j) - 10*n(j). Let v be b(3). Solve 2*p - 3 + 1 = v for p.

1

Suppose 15 = 5*m - 0*q - 2*q, 0 = -m - 3*q + 3. Solve m*l - 10 = -2*l for l.

2

Let w(a) = 2*a - 15. Let l be w(8). Solve -2*x - l = -x for x.

-1

Suppose -2*g = 2*g. Suppose g = -2*s + s + 2. Let f be -1 + 0 - s/(-2). Solve f*l + 8 = -4*l for l.

-2

Suppose t - 6*h + 15 = -2*h, 0 = -h + 5. Solve -t*w + 7*w = 10 for w.

5

Suppose -6*n + 30 = -n. Solve n = -g + 2 for g.

-4

Let p = 16 + 0. Let r = -16 + p. Solve r*j = j - 5 for j.

5