eliminate({a x + y = 0, 2 x + (1 - a) y = 1}, y)