Let j(b) = -b3 - 7*b2. Let r be j(-7). Suppose r = q - 29 - 46. Suppose -2*t - 3*t = -q. Solve -t = -3*v - 0*v for v.
5
Suppose 0 = -5*a + 6 + 4. Let m be (1/(-4))/((-6)/24). Solve y = a*y + m for y.
-1
Suppose -3*i + 40 - 4 = 0. Solve -i = 4*s - 4 for s.
-2
Suppose 0*r = 4*r, -k = -3*r - 6. Suppose k = l + l. Solve -n + 7 = l for n.
4
Let c be (-2 + -1)*(-1 + 2). Suppose -2*o - 25 = 2*o - 5*v, 2*o = -4*v - 6. Let a = c - o. Solve 2*i + 4 - a = 0 for i.
-1
Suppose 0 = -6*o + 5*o. Solve -2*v + v - 5 = o for v.
-5
Let y = -10 - -5. Let w = y - -5. Suppose w = -j + 5*k - 0*k, -4*k + 9 = j. Solve -j = -0*p - p for p.
5
Suppose -8*k - 4 = -7*k. Let v be 0 - k/(4⁄3). Solve u - v = 4*u for u.
-1
Suppose -3*c + 2 = -4. Suppose 0 = -c*w - w + 9. Suppose 0 = w*o - 0*o - 15. Solve -6*r = -r + o for r.
-1
Let y(q) = q**2 + 2*q - 5. Let c be y(-4). Suppose -c*n + 5*n - i = 20, -3*n + 2*i + 31 = 0. Solve 11 = 5*l - n for l.
4