Let k(v) = -v + 2. Let g be k(0). Suppose 3*t - 7 = g*n, -5*n + 3*t + 1 = -n. Solve 1 = -r + n for r.

3

Suppose -4*g + 10 = -2*g. Suppose -3*m = -3*q + 24, -6*m - 37 = -g*q - 2*m. Solve q*x = 6 + 14 for x.

4

Suppose -3*u = -10 + 4. Solve -6*i = -u*i - 12 for i.

3

Suppose -6*c + 16 = -2. Solve c*d + 2 = 4*d for d.

2

Let h = -40 + 22. Let y = h - -20. Solve y*g = -1 - 5 for g.

-3

Let i(y) = -y**2 + 7*y + 2. Let t be i(7). Solve -t*d = 3*d + 20 for d.

-4

Suppose -2*u + 3*g - 2 = -g, 0 = -3*g + 6. Solve 0 = u*a + 2 + 10 for a.

-4

Suppose 45 = 4*n + 17. Suppose 0 = -2*l + 4*b + 12, -5*b + b - 10 = -l. Solve l*y = n*y - 15 for y.

3

Let k = 7 + -12. Let p = -1 - k. Solve p*s = -0*s + 12 for s.

3

Suppose 5*j = -2*s - 10, -2*s + 7*s - 4*j = 41. Solve 0 = b - s*b for b.

0