Question 1050412
u+v=13
u-v=3

*[invoke linear_substitution "u", "v", 1, 1, 13, 1, -1, 3 ]