Let o = 25 + -19. Let m(z) = z3 - 2*z2 - 2*z - 3. Let u be m(3). Solve 2*x - o = -u*x for x.

3

Suppose b + 7 = 2*z + 3, 2*b = -5*z + 19. Solve 0 = b*a - 4 - 2 for a.

3

Suppose z + 3*z = 5*f - 33, 4*z = -8. Let k(d) = d**2 - 3*d - 10. Let m be k(5). Let h = m + f. Solve -2 = -3*t - h for t.

-1

Let j = -13 - -16. Suppose -j*o + 17 = 5. Solve 2*l - o*l + 4 = 0 for l.

2

Let q = 3 - 1. Suppose -5*l = q - 32. Let h = l + -4. Solve 0 = f + h*f - 9 for f.

3

Let g be (-1 + 1)/3 + 0/2. Solve g + 3 = -3*h for h.

-1

Let z be 1 + (-2)/(-4)*2. Let r be z/12 + (-46)/(-12). Suppose -r*d - 2 = -2*x, -x - 2 = -3*x - 2*d. Solve q = -x - 0 for q.

-1

Let i = 6 - 6. Let t be (-3 + (4 - i))*0. Solve t*q = 4*q for q.

0

Suppose 4*t - 151 = -11. Suppose 4*b - t = -b. Suppose -b = -s - 0*s. Solve -3*w - s = -19 for w.

4

Suppose 0 = -2*i + 4*i. Suppose -2*q + 2*d + 8 = -i*d, q - 4 = 2*d. Solve -l + 2*l = -q for l.

-4