Questions tagged [memberq]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6 votes
1 answer

Reasoning about rational numbers

If $x$ is a positive rational number, then of course so is $2 x$. How can we make Mathematica yield this result? The obvious approach doesn't work: ...
David G. Stork's user avatar