Let v(h) = -8*h**2 - 29*h + 26. Let y(o) = 3*o**2 + 10*o - 9. Let r(n) = 4*v(n) + 11*y(n). Let q be r(7). Suppose -10 = -4*l - l. Solve -l*i - q = -2 for i.

Let p = 17 - 9. Let g = p + -3. Solve 11*x - g = 6*x for x.

1

Let o be ¹⁸⁄₆ + ⁵⁄₁. Solve 0 = -0*y + 4*y - o for y.

2

Suppose -5*i = 3*q - 20, 0 = 2*q - 2*i - i + 12. Let l = -6 + 8. Solve 2*t + q*t = l for t.

1

Suppose -19 = -3*o + 4*j - 0*j, 19 = o + 5*j. Let c = -179 - -183. Solve -c*v + o = 1 for v.

2

Suppose 8*q = 4*q. Suppose 7*w + 4*f + 8 = 3*w, -4*w + 4*f + 16 = q. Solve -d + w = -0*d for d.

1

Let h = 4 + 1. Let k(l) = l**2 + l - 2. Let r(i) = -i + 8. Let j be r(6). Let z be k(j). Solve g + z*g = h for g.

1

Let g® = -r. Let p be g(0). Suppose s + s = p. Suppose s = 2*f + 3*f - 25. Solve 0*w + f*w = -5 for w.

-1

Suppose 4*c - 2*c - 4 = -3*d, 5*c + 3 = -d. Suppose 0*s - 4*s = 0. Suppose 0 = -3*t + 9, t + s*t - 9 = -2*k. Solve d*p + 1 = k for p.

1

Suppose -5*g = -8*g. Solve g = 2*o - 2 - 4 for o.

3

Let k = -32 - -96. Suppose -5*v = 2*x + k, -3*x - x = 8. Let j be v/(-54) - (-34)/9. Solve o + o = j for o.

2