Let f = 0 - -12. Solve -5*z = -z + f for z.

Let k(q) = -10*q3 + q2 + 2*q + 1. Let g be k(-1). Solve x + x - g = 0 for x.

5

Let c(x) = x**2 + 3*x - 3. Suppose 0 = -0*f - 2*f - 10. Let j be c(f). Solve -2*k + j = -3 for k.

5

Let c be (2 - 2)/3 + 8. Let x = 22 + -50. Let k = x - -44. Solve -4*f = -c*f + k for f.

4

Suppose 0 = 2*c - 6 - 26. Suppose -1 + 3 = 2*f, 3*q + c = f. Let o be 0 + (1 - (q + 1)). Solve 1 = 2*r + o for r.

-2

Let n(u) = -u**2 - 13*u - 1. Let b be n(-12). Let x = b + -7. Suppose x = 4*f - 4. Solve f*r + 4 = -2 for r.

-3

Let w = -2 - -7. Let b(p) = -p3 + p2 + p. Let l be b(-1). Suppose -w*t = -l - 14. Solve t = 2*q - 3 for q.

3

Let j = -75 + 117. Let y be j/12 + (-2)/(-4). Solve 5*o = y*o for o.

0

Suppose h - 5*h = 2*l - 8, -4*l = h - 16. Suppose 0 = -0*b + 4*b - l. Solve b - 2 = c for c.

-1

Let y(l) = -l + 16. Let n be y(16). Solve 0 = -2*p - n - 2 for p.

-1

Let y be 0/(1*-4) - -2. Let f = 4 - y. Solve -f*z = 2*z - 16 for z.

4