solve[2^11 < (x^2 + x) * 2^floor(log2(1 / x))]solve[2^11 < (x^2 + x) * 2^floor(log2(1 / x))]

• Natural Language
• Math Input