Let k(g) = g**2 + 22. Let r be k(0). Suppose 4*m = -m + 240. Suppose -5*h + m = -r. Solve h = 3*a - 1 for a.

Let g = -72 + 75. Solve g*f + 0*f = 9 for f.

3

Let q = 4 - -7. Solve -q*k = -6*k for k.

0

Suppose -2*a + 6 = 3*r, a - 3*a - r + 6 = 0. Suppose -3 = 2*i - 5*i, h + a*i = 5. Solve h*t = -t for t.

0

Let x(q) = 4*q3 - q2 + 1. Let j be x(1). Suppose 1 - 16 = -5*l. Suppose 4*m - 2*w = 4, 0 = -4*w + l*w. Solve 5*n + m = -j for n.

-1

Let n = 20 - 16. Solve p + 2 = n for p.

2

Let o(h) = -h3 + h2 + h + 20. Suppose 2*b = -b. Let t be o(b). Suppose -3*g - w - 4*w = 0, g = -4*w - 7. Solve 10*x + t = g*x for x.

-4

Let h = 85 + -84. Solve 6 = -5*o + h for o.

-1

Suppose -3*m = -2*i + 13, i - m = -1 + 6. Solve -5 = i*a + 3*a for a.

-1

Let o = -6 + -2. Let d = 2 + o. Let b = d + 6. Solve b*q + 5 = q for q.

5

Let k be -1 + -9 - (2 + -5). Let t be 4/(-14) - 2/k. Solve -4*f - f + 25 = t for f.

5