Let w® = r3 + 9*r2. Let v be w(-9). Solve -5*i + 20 = -v*i for i.
4
Let t be -5*(2 + 8/(-2)). Suppose -15 = 3*l, 0*k - 5*k + 2*l + t = 0. Let m = 4 - k. Solve 0 = 5*f + m + 1 for f.
-1
Let h = 6 + -3. Suppose -3*p + 4*p - 4 = 0. Let r be (-3)/6*4 + p. Solve r*i - h*i = 0 for i.
0
Suppose 0 = -2*w + 4*a - 4, 0*a = 3*w + 4*a - 34. Suppose -b - w = -3*b. Solve -b*f + 10 = 2*f for f.
2
Suppose 5*b = 12 - 2. Solve b = 3*c + 8 for c.
-2
Let r(v) = 187*v. Let k be r(1). Suppose -5*y = -73 - k. Suppose 0 = 4*f + y - 136. Solve -6 + f = -3*s for s.
-5
Suppose -9*f + f + 16 = 0. Solve q + f = 2*q for q.
2
Let u = -2 - 2. Let o = 7 + u. Let b(n) = n3 + n2 - n + 25. Let h be b(0). Solve -o*y - 2*y = h for y.
-5
Let k = -36 + 36. Solve k = -0*s + s for s.
0
Suppose 12 = 4*b - 4. Let w be (0 + 0)*3⁄3. Solve -4*h + b = -w*h for h.
1