query: Proving that if $2a + 3b \ge 12m + 1$, then $a \ge 3m + 1$ or $b \ge 2m + 1$
positive_passages.docid: 150937
positive_passages.text: Basic Algebra Proof on Integers - Weak Inequalities Work but Strict Inequalities Don't?
negative_passages.docid: 80982
negative_passages.text: Solve $a^3+b^3+3ab=1$ with $(a,b)\in \Bbb{Z}^2$
negative_passages.docid: 148744
negative_passages.text: Prove that $(\frac{bc+ac+ab}{a+b+c})^{a+b+c} \ge \sqrt{(bc)^a(ac)^b(ab)^c}$
negative_passages.docid: 6410
negative_passages.text: Prove that $(ma, mb) = |m|(a, b)\ $ [GCD & LCM Distributive Law]
negative_passages.docid: 56311
negative_passages.text: Proving $(1+a_{2})^{2}(1+a_{3})^{3}\cdots(1+a_{n})^{n}\ge n^n$ for positive reals $a_2,\ldots, a_n$ whose product is $1$
negative_passages.docid: 111267
negative_passages.text: Prove that: $2^a+3^b<3a+4b$
negative_passages.docid: 120292
negative_passages.text: How to formally prove: if $d\mid da+b$, then $d\mid b$?
negative_passages.docid: 138894
negative_passages.text: Prove that if $3\mid(a^2+b^2)$,then $3\mid a$ and $ 3\mid b$
negative_passages.docid: 23080
negative_passages.text: Prove that $a^2(b+c-a)+b^2(a+c-b)+c^2(a+b-c) \leq 3abc.$
negative_passages.docid: 127296
negative_passages.text: prove that a|b and b|a iff a=+-b
negative_passages.docid: 89175
negative_passages.text: Proof of $(a+b)^{n+1}$
negative_passages.docid: 48081
negative_passages.text: Prove that for all $n \in \mathbb{N}$: $2^{n-1}(a^n + b^n) \ge (a + b)^n$
negative_passages.docid: 136868
negative_passages.text: Prove that $\sqrt{a^2+3b^2}+\sqrt{b^2+3c^2}+\sqrt{c^2+3a^2}\geq6$ if $(a+b+c)^2(a^2+b^2+c^2)=27$
negative_passages.docid: 16774
negative_passages.text: If $x,y,z\in\mathbb R\setminus \{1\}$ and $xyz=1$, prove that $\frac{x^2}{(x-1)^2}+\frac{y^2}{(y-1)^2}+\frac{z^2}{(z-1)^2}\ge 1$.
negative_passages.docid: 10348
negative_passages.text: Prove that if the $\gcd(a,b)=1$, then $\gcd(a+b,ab)=1$
negative_passages.docid: 14162
negative_passages.text: How can I prove $\sup(A+B)=\sup A+\sup B$ if $A+B=\{a+b\mid a\in A, b\in B\}$
negative_passages.docid: 128415
negative_passages.text: Prove that $1<\frac{1}{1001}+\frac{1}{1002}+\frac{1}{1003}+\dots+\frac{1}{3001}<\frac43$