Simplify x+y=5 fails with assumption y = 2x, but works with x = 2y. Why?
77326
Why does Simplify ignore an assumption?
48925
BMO1 2009/10 Q5 functional equation: $f(x)f(y) = f(x + y) + xy$
126230
Simplifying radicals for limit leads to extra minus symbol
62633
Why doesn't a+++++b work?
15932
How to simplify the summation kk! without using induction?
71056
Why does pgfplots plot functions only until x = 5 and y = 5?
102306
Why is this simple calculation of two doubles inaccurate?
56745
Why does this not work with an imaginary exponent?
16948
Need help with a proof that if $xy=0$ then $x=0$ or $y=0$
145595
$\text{Let }y=\sqrt{5+\sqrt{5-\sqrt{5+\sqrt{5-...}}}} $, what is the nearest value of $y^2 - y$?
56540
How to make loop infinite with "x = y && x != y"?
71766
simplify boolean expression: xy + xy'z + x'yz'
78351
Why is $(2, 1+\sqrt{-5})$ not principal?
33059
Python "if X == Y and Z" syntax
33543
is "y1 < x < y2" an inequality or inequalities?
38967
What is the precedence of the + (plus) operator in Java?
1739
Adding two numbers concatenates them instead of calculating the sum