Let o be 1*(2 - (-9)/3). Suppose o*g = g. Solve g = -a - 0*a + 4 for a.
4
Let m(f) = -7*f + 8*f3 - 5*f3 - 2*f3 + 6*f2. Let q be m(-7). Suppose k = -4*g, 0 = -q*g + 5*g - 4*k. Solve g = -6*j + 2*j - 16 for j.
-4
Let s(n) = -n**2 + 6*n + 7. Let d be s(6). Suppose d = -4*q + 15. Solve -20 = q*f + 2*f for f.
-5
Suppose -4*v = v. Suppose 3*n = 5*w + 12, 5*w = -v*w. Solve n = -2*m - 0*m for m.
-2
Suppose -y - 2*t + 35 = 0, 0 = y - 0*y + 4*t - 45. Solve -8*g + y = -3*g for g.
5
Let q be (0/12)/(1 + 0). Solve -5*n + n - 16 = q for n.
-4
Let t(d) = d + 1. Let w be t(2). Let b be (-1 + 1)/(2 - w). Solve b = -0*s - 4*s for s.
0
Let b(t) = -t - 8. Let o be b(-11). Suppose -o*j - 3 = -3*n, -2*j + 8 = -4*j + 4*n. Suppose 0 = h - j*h + 2. Solve -7 = h*g - 3 for g.
-2
Let d = -3 - -3. Suppose 2 = z - d*z. Suppose 5*y = -5*v - 5, 3*y - v = z*v + 3. Solve r - 3*r + 8 = y for r.
4
Suppose 3*b - 2*k + 2 = 0, -3*b + 4*k = -2*b + 4. Solve 4*p - 10 - 2 = b for p.
3