Let y be 1 + 35 + -2 + 1. Let h = 10 + y. Suppose h = 5*v - 0*v. Solve -3 = 3*w + v for w.

Let k(b) = -6*b2 - 4*b - 3. Let a® = 5*r2 + 3*r + 2. Let z(d) = 5*a(d) + 4*k(d). Let w be z(2). Let s be 2 - (w - 2) - 2. Solve 4 + s = 2*i for i.

3

Let a = -10 - -12. Solve -3*u + a*u = 3 for u.

-3

Let t = -92 + 102. Solve t = y + y for y.

5

Let w be (-1 - 7)/(1 + -3). Solve y - 12 = w*y for y.

-4

Let c be 9 + (-1 - (-3 + 2)). Suppose 5*v = -5*w - 24 + 69, 0 = 5*w - 15. Solve v*y - 3*y = -c for y.

-3

Suppose -3*t + q + 1 = -1, 2*t = 2*q. Suppose 2*v - 81 = -5*k, -5*v + 5*k = -0*v - 150. Let n = v - 22. Solve -5*c = -n + t for c.

2

Suppose 25*f - 7 = 24*f. Solve -5*k = -f*k - 6 for k.

-3

Let o be 1*(4 + (-1)/1). Solve n + o = -0 for n.

-3

Let j = 23 + -17. Suppose -4*i + i = -j. Solve i*s - 6 = -s for s.

2

Let n = 40 + -21. Suppose 3*a + 5*y - 17 = 0, y = 3*a + a - 15. Suppose -4*c = -2*c - 6. Solve n - a = c*p for p.

5