Let r(g) = -g3 - 5*g2 - 4*g + 2. Suppose 0 = -3*l - 0*l - 12. Let m be r(l). Let z = m + 1. Solve 0 = -0*a - 3*a - z for a.
-1
Suppose 5*r - 67 - 58 = -4*s, 75 = 3*r - s. Let y be 32⁄10 - 5/r. Solve y*j = -0*j + 6 for j.
2
Let b be 4 - (-1 - (-6 - -3)). Suppose -bu + 36 = u. Let m be (u-1)/((-3)/2). Solve m = -6*n + 2*n for n.
-2
Suppose -2*s + 3*s - 20 = 0. Suppose 5*u + 0*u - s = 0. Suppose 2*i + 38 = u*m, -2*m = 3*m + 4*i - 67. Solve 0 = -5*r - 4 - m for r.
-3
Let o(y) = -y3 - 7*y2 - y - 5. Let m be o(-7). Let f be (-4)/(-12)*(-1 - -1). Solve m*z + 4 - 12 = f for z.
4
Let w = -52 - -54. Solve -2*f + 20 = w*f for f.
5
Let r(w) = w**2 - 11*w + 10. Let t be r(10). Solve -5*k + 4*k - 4 = t for k.
-4
Let y be 5⁄7 + (-2)/(-7). Suppose y - 3 = -2*p. Suppose 3 = 2*t + p. Solve t = 5*k + 16 for k.
-3
Let u(q) = -q + 4. Let y be u(-3). Let m = y + 0. Solve 0 = -2*a + 1 - m for a.
-3
Let d(g) = -5*g - 3. Let b be d(-4). Let h = b + -11. Solve -h*j - 9 = -3*j for j.
-3