Let y = 6 + -3. Solve -y*w - 2*w = -15 for w.

3

Suppose -5*i = -0 - 10. Let w be (-2)/(-5) - 32/(-20). Suppose c + 4*m = 6*c - 27, 3*m + 15 = w*c. Solve k - i*k = -c for k.

3

Let f = -18 + 32. Let y = f - 6. Solve y = -3*z + z for z.

-4

Let i = -7 + 9. Suppose j = -i*j. Solve j*f + 15 = 3*f for f.

5

Let f = 42 + -40. Let b be (-3)/(-15) + (-12)/10. Let a be -1 - ((-2 - b) + -2). Solve a*l - f - 4 = 0 for l.

3

Let d = 3 - -6. Let t = d + -6. Solve 0 = t*p - 0*p for p.

0

Let j(o) = 20*o2 - 12*o - 14. Let f(s) = -7*s2 + 4*s + 5. Let x(v) = 17*f(v) + 6*j(v). Let m be x(3). Let i be m + 0 + (-1 - -18). Solve i = z + 2*z for z.

5

Let i = -2 - -4. Solve -4*d = -i*d for d.

0

Let u be 6 - (-1)/(-2)*6. Let y be (-88)/(-32) - u/4. Solve y*s - s + 2 = 0 for s.

-2

Let z = -1 + 7. Suppose -2*y - 20 = -z*y. Suppose 0 = -l - 0*l. Solve 0 = -l*s - y*s + 15 for s.

3