Let i = 12 - 10. Let b be -3 + (-3)/(-3) - -9. Let u = b + i. Solve 0*o - u = 3*o for o.

Let d(t) = t**2 + t - 4. Let n be d(3). Suppose -2*p + n = 2*p. Solve p = -x - 2 for x.

-4

Let v = -2 + 4. Solve -v*h - h = 3 for h.

-1

Suppose -16 = -5*x + 4*n, 2*x - 4*n = x. Solve x = -4*a - 0 for a.

-1

Suppose 0 = 5*s - 3*j - 0*j + 9, -3*s - 4*j + 12 = 0. Solve 9 = -3*h - s for h.

-3

Let g be (2/(-3))/((-18)/27). Let d = 6 - g. Solve d*q = q for q.

0

Suppose -g - 2*r - 2*r + 25 = 0, 175 = 5*g - 5*r. Suppose 32 = 3*f + 4*a, -5*f + a = -28 - g. Solve 5*i = 2*i + f for i.

4

Suppose 2*s + 0*s = -4*q + 18, 4*q = 3*s + 3. Let t(b) = b3 - 6*b2 - 6*b - 7. Suppose z + 3 = 10. Let j be t(z). Solve -s*u - u = j for u.

0

Let w(o) = -3*o - 4. Let k be (-2)/7 - (-19)/(-7). Let u be w(k). Solve -u*x + 10 = -10 for x.

4

Let n = -40 - -47. Solve 3*j - n + 1 = 0 for j.

2

Let a = -2 - 0. Let y be (8/a)/(0 - 1). Suppose 0 = y*k - 17 - 3. Solve 0 = -5*z - 0 + k for z.

1