Suppose 0*u = 5*u + 5*b, -5*u + 6 = 2*b. Solve t - u = -0*t for t.

2

Let u(i) = i - 1. Let r be u(4). Let v be r - (0 + 4 + -1). Suppose 0 = -v*d - 3*d. Solve d = f - 1 - 0 for f.

1

Let v = -11 + 20. Let w be -2 + v - 3 - 1. Solve a = w + 2 for a.

5

Let z = 25 + -18. Suppose -3*f = -31 + z. Solve -f = -2*d - 2*d for d.

2

Let j = 2 + 0. Let i = -27 + 27. Let u be i + 1*(2 + 1). Solve u*g - g + j = 0 for g.

-1

Let d = 3 + -1. Let n be 4/(3⁄1 - d). Solve -n = 6*s - 2*s for s.

-1

Let t = 31 + -20. Suppose 4*s + c = t - 0, s + 4*c + 16 = 0. Solve 10 = s*l + 2 for l.

2

Let d be -1*(4/(-5) + 4/(-20)). Solve -m + 0*m + d = 0 for m.

1

Let z® = -r + 6. Let v be z(4). Let p be (-4 + v)/((-5)/10). Solve -q + p = -3*q for q.

-2

Suppose 9 = -5*c + 6*c. Solve n - c = -2*n for n.

3