WolframAlpha computational knowledge AI
min 2x² - xy + 4y² - 5x - 6y, x - y = 5, x >= 10