Let r(j) = -j**2 + 11*j - 12. Let y be r(9). Solve -3*v + y = -0*v for v.
2
Let x(m) = m**2 + m. Let h(q) = -4*q. Let s(k) = h(k) + 2*x(k). Let j be s(2). Solve 7 = j*t - 1 for t.
2
Suppose 0 = -4*r - 2 + 10. Solve -r*c = -0*c + 2 for c.
-1
Let q = 14 + -5. Solve 2*l = -l - q for l.
-3
Let t be (-9)/2*(26⁄6 + -5). Solve -2*f - 7 = -t for f.
-2
Let u = 20 + -8. Suppose 0*f - u = -4*f. Suppose -f*v + 29 = -0*v - 2*q, -4*v + q = -37. Solve 20 = -4*k + v*k for k.
4
Let k = 19 + -44. Let n = 18 + k. Let a = n + 11. Solve -a*u + 6 = -u for u.
2
Suppose 3*i + 20 = -2*i + 4*g, 4*i = -g - 16. Let m be (-12)/i + 3 + -3. Solve -2 = m*a + 4 for a.
-2
Let a be (1 - ((-6)/(-2) + -15)) + -3. Solve 0*m = 2*m + a for m.
-5
Let o be (4 + -5)/(2/(-8)). Suppose -3*m = o*c - 11, 2*c + 0 = -m + 5. Suppose 5 = c*j - w + 2, 3 = w. Solve -3*k + j = -6 for k.
3