Let x be 3 - (-3 - (-12)/4). Solve x*z + 2*z = -15 for z.

-3

Suppose -15 = -o - 5. Solve -6*b + o = -b for b.

2

Suppose 5*q + 4*t - 3 = 0, q + 0 - 9 = 2*t. Solve -q = -2*w + w for w.

3

Let x be ((-10)/(-2))/((-3)/(-15)). Solve x = 3*r + 2*r for r.

5

Let b be (-1 - 74)*-4. Let q = 20 - b. Suppose 0*a + q = 3*a. Solve a*z + z = 20 for z.

5

Suppose -3*u = 3*v + v - 16, 2*v - 2*u = 8. Solve v = -0*t + 2*t for t.

2

Suppose -y + 10 + 1 = 0. Suppose 0*s = -2*j + 3*s, -2*s = -5*j + y. Solve j*z + 8 = -1 for z.

-3

Suppose t - 2 = 3*t. Let k be -2 - t - -2 - 2. Let g = -1 - k. Solve -4*v - 8 + g = 0 for v.

-2

Suppose -4*y = -3*y - 4. Suppose -a - y*a - 25 = 0. Let c(q) = q**2 + 3*q - 4. Let g be c(a). Solve -g + 0 = 3*p for p.

-2

Let i be (-2 - -4) + -4 + 21. Solve 0 = -3*u + i - 4 for u.

5