Let v(p) = p3 - 6*p2 - 7*p. Let k be v(7). Suppose -3*q + l - 4 = k, -2*q + 3*l - 12 = -0*l. Solve q*b = -b - 1 for b.
-1
Suppose 0 = 3*g - 1 - 14. Suppose 5*p + 9 + 6 = g*k, -3*p = -4*k + 13. Solve 3*u + 5 = -k for u.
-3
Let h(q) = -q**2 + 6*q. Let g be h(6). Let c = g - -10. Solve 0 = -5*l - c for l.
-2
Let l be 1 - (-1 + -2)/1. Suppose -16 = -l*q + 2*t - 6*t, 3*t - 6 = 0. Solve -1 = p - q for p.
1
Suppose -g = g + 2. Let v be -2*g/2 - -2. Let t = -4 - -17. Solve -28 = v*n - t for n.
-5
Suppose w + w - 8 = 0. Solve 5 = -9*m + w*m for m.
-1
Let w(l) = l - 1. Let u be w(-1). Let c be 3 + 2/(u/(-17)). Solve g + c = 6*g for g.
4
Suppose 0*d = -5*d + 10. Let h be 2⁄4 + 3⁄6. Solve -h - d = b for b.
-3
Suppose d - 2*d + 3 = 0. Let g(p) = -p + 12. Let f be g(12). Solve 3*m + 0 + d = f for m.
-1
Let l(m) = -4*m3 + 2*m + 3*m3 + m2 + 3*m2. Let b be l(4). Suppose 0 = k - 5*u + 12, -4*u + b = -2*k + 2. Solve 3*c + k = -0*c for c.
-1