Let p be 1/(((-1)/3)/(-1)). Suppose 3 = p*k - 3. Solve 6*x = k*x + 16 for x.

Suppose 4 = 4*a - 4. Suppose a*s + 3*s = 25. Let t = 12 + 10. Solve -s*i = -2 + t for i.

-4

Let b(m) = -2*m3 + m2 + 2*m + 1. Let j be b(-1). Suppose -5*x + 3*h = -2*x + 9, -h = j*x - 9. Let g = 0 + x. Solve -8 - g = 2*z for z.

-5

Let k = 8 - 3. Suppose -2*v + 10 = 5*m, 0 = 2*v + 3*v + k*m - 55. Solve l = 6*l + v for l.

-3

Let p = 10 + -5. Let m(w) = 15*w - 1. Let s be m(1). Suppose -5 = -4*l + z + s, 3*l = 4*z + 11. Solve 0*a = p*a + l for a.

-1

Let w = 18 - 17. Solve -k - w = 2 for k.

-3

Let w = 14 - 6. Suppose 0 = -w*j + 3*j + n + 10, 0 = -2*j + 4*n + 22. Suppose -z = -j - 4. Solve 0 = 2*c - 5 - z for c.

5

Let r(n) = n3 - 20*n2 - 43*n - 19. Let y be r(22). Let c be (-1 - (0 - 1)) + 1. Solve -y*k = 5 + c for k.

-2

Suppose 0 = r - 5 + 2. Let y be 1*(1 - (0 - 1))*1. Suppose 3*k - 4*w - 7 = 0, -3*w + 21 = -k + 4*k. Solve y = -r*m + k for m.

1

Suppose 6*b + 0*b = 60. Solve d - 3*d = b for d.

-5

Let q(t) = t**2 - 2*t + 2. Suppose 4*p + 8 = 0, z - 4*z - 4*p + 1 = 0. Let n be q(z). Let y = n - -3. Solve y = c + c for c.

4