Let b be (0/(-4 - -1))/2. Suppose b = -2*j - j + 12. Suppose 4*t - j = 16. Solve 0 = 5*z - t for z.

1

Suppose -4 - 3 = -b. Suppose -b = -d - 2. Solve 0 = d*i + 23 - 3 for i.

-4

Let y be -2 - (-4 + 31). Let v be (1 + y)/(-3 + 1). Solve -4*u + v*u - 8 = 0 for u.

-2

Let z = -2 + 7. Let q = z + -3. Solve 5*p = q*p for p.

0

Let c = 5 - 2. Let t = c + 2. Suppose t*h = -15 + 50. Solve 1 = -2*v - h for v.

-4

Let c(z) = 2*z**2 + 40*z + 42. Let h be c(-19). Solve h*n = 3*n for n.

0

Let d = 4 - 3. Suppose m - 7 = -d. Suppose m + 4 = 5*s. Solve -s*b + 9 = 3 for b.

3

Let q be (1/(-1) - -3) + 61. Solve -1 = -3*o + q for o.

3

Suppose -5*x = -0*x - 30. Suppose 0 = -4*w + 18 + x. Suppose 0 = 6*r + 4*r. Solve -c - 2 + w = r for c.

4

Let v be 55 + 9*1. Let j = 1 - 2. Let z = j - -1. Solve -6*i + i - v = z for i.

-2