Let v = 28 + -20. Let u = 15 - v. Suppose -8 = -4*r + 4. Solve -n + r - u = 0 for n.

-4

Let i(u) = u**2 + 3*u + 3. Let t be i(-2). Let n be 1 - (1/t + -2). Solve 5*z - n*z - 3 = 0 for z.

1

Let b = 53 - 30. Solve -5*r + b = 8 for r.

3

Let c = 8 - -8. Suppose 2*k = -2*k + c. Solve -2*o = k - 12 for o.

4

Suppose -h + 32 = -3*h. Let a = 23 + h. Suppose p + a = 2*p - 2*r, 4*p - 6 = -3*r. Solve 0 = p*i + 5 - 2 for i.

-1

Let h = 25 + -20. Solve 2*l - h*l - 6 = 0 for l.

-2

Suppose -d + 2 = d. Let m(g) = 6*g**2 - 2*g + 1. Let u be m(d). Solve 4*q - 1 + u = 0 for q.

-1

Let l(j) = -3*j - 1. Let k be l(-6). Suppose -3*x + 20 = 5*n - 4*x, n + k = -4*x. Solve 0*q - n*q = 6 for q.

-2

Suppose -v + 32 = -4*j, -4*v + 19 = 3*j - 14. Suppose 0 = 2*x + x - v. Let y = x - 2. Solve 0 = -y*n + 8 - 0 for n.

4

Let o(m) = -m - 6. Let y be o(-10). Suppose -y*v = -10 + 2. Solve -v = -i - 4 for i.

-2