Let k be (2/3)/(10/(-15)). Let y = 3 + k. Solve y*q - 5 = 5 for q.

Suppose 0 = d + 5*w - 1, w + 0w = 0. Let t be -3 + (2 - (0 + 3)). Let a be -1 + t(-2)/8. Solve a = 2*n - 3*n + d for n.

1

Let t = -5 + 5. Suppose t = -4*g + 5 + 7. Solve g*r + r = 8 for r.

2

Let v = -15 + 18. Solve y - 2 = v*y for y.

-1

Let n© = -c**2 + 12*c - 9. Let k be n(11). Solve -7*b + k*b - 5 = 0 for b.

-1

Suppose -4*o + 25 = o. Suppose 5*v - 2*c - 34 = -0*c, o*v - 26 = -2*c. Solve v = -2*i - 2 for i.

-4

Suppose 5*t = 4*c, -t + 17 = c + 2*t. Solve c*p + 3 - 23 = 0 for p.

4

Suppose -2*l + 5 = -3*l. Let i = l - -11. Suppose -4*y - q - 2*q = -12, -2*y - 3*q + i = 0. Solve -10 - 2 = -y*d for d.

4

Let s be 1 + -2 - (-36)/1. Suppose -a + s = -5*l, l = -7*a + 2*a + 19. Let r(g) = -3*g - 8. Let d be r(l). Solve 5*b - 3*b - d = 0 for b.

5

Let d(t) = -7 + 0 + 2*t + 1 - t. Let c be d(8). Suppose 25 = -3*p - c*p, -5*w + 3*p + 55 = 0. Solve -2*h + 2 + w = 0 for h.

5

Let n = -10 - -14. Solve -3*p = -p + n for p.

-2