Let q(y) = y - 7. Let c be q(8). Solve c = 5*k + 6 for k.

Suppose 0*t + t - 5 = 0. Suppose 0 = -2*u + t*u - 15. Solve u*r - 5 = -0 for r.

1

Let s be 3/((-6)/(-2)) - 1. Suppose s = q - 3*q + 10. Solve 2 = -4*g + q*g for g.

2

Let i(x) = 2*x**2 - x + 1. Let s be i(1). Solve s*g = 3*g for g.

0

Suppose g = 4*i - 7 - 3, -13 = 2*g - i. Let z = g - -8. Solve z*f + 0 = -8 for f.

-4

Let y = 9 + 6. Suppose -5*w - w + w = 0. Solve w*g = 5*g + y for g.

-3

Suppose -1 = -d + x, 5*x - 6 + 1 = 0. Solve 11*u - 9*u = d for u.

1

Suppose -s = 3*y - 0*s - 20, 0 = y - 3*s + 10. Let t be 0/((-3 - -2)*1). Suppose 2*g - 41 = -7*b + 6*b, -y*g + 3*b + 97 = t. Solve z + g = 6*z for z.

4

Let n(v) = v + 3. Let f be n(0). Suppose -3 = c - u, -2*c + 0*u - f = -u. Solve l + 3 = -c for l.

-3

Suppose -2*b - 14 = -5*t, 0 = -t - 5*b - 8 - 0. Suppose -6 + t = -p. Solve -2*n - 14 + p = 0 for n.

-5

Suppose 52*m - 6 = 49*m. Let r = 6 + 0. Solve m*c = -0 + r for c.

3