Two thieves stole a container of $8$ liters of wine. How can they divide it into two parts of $4$ liters each if all they have is a $3 $ liter container and a $5$ liter container? Consider the general case of dividing $m+n$ liters into two equal amounts, given a container of $m$ liters and a container of $n$ liters (where $m$ and $n$ are positive integers). Show that it is possible iff $m+n$ is even and $(m+n)/2$ is divisible by $gcd(m,n)$.

For each integer $n$ ($n \ge 2$), let $f(n)$ denote the sum of all positive integers that are at most $n$ and not relatively prime to $n$. Prove that $f(n+p) \neq f(n)$ for each such $n$ and every prime $p$.

Positive integers $p, q, r$ satisfy $gcd(a,b,c) = 1$. Prove that there exists an integer $a$ such that $gcd(p,q+ar) = 1$.

Prove that the following inequality holds with the exception of finitely many positive integers $n$: $\sum^{n}_{i=1}\sum^{n}_{j=1}gcd(i,j)>4n^2$.

Let $\mathbb N$ be the set of positive integers. Let $f: \mathbb N \to \mathbb N$ be a function satisfying the following two conditions: (a) $f(m)$ and $f(n)$ are relatively prime whenever $m$ and $n$ are relatively prime. (b) $n \le f(n) \le n+2012$ for all $n$. Prove that for any natural number $n$ and any prime $p$, if $p$ divides $f(n)$ then $p$ divides $n$.

Let $A,B,C$ be $3$ points on the plane with integral coordinates. Prove that there exists a point $P$ with integral coordinates distinct from $A,B$ and $C$ such that the interiors of the segments $PA,PB$ and $PC$ do not contain points with integral coordinates.

A set $S$ of positive integers is called magic if for any two distinct members of $S, i$ and $j$, $\frac{i+ j}{GCD(i, j)}$is also a member of $S$. The $GCD$, or greatest common divisor, of two positive integers is the largest integer that divides evenly into both of them; for example, $GCD(36,80) = 4$. Find and describe all finite magic sets.

In trapezoid $ABCD$, the sum of the lengths of the bases $AB$ and $CD$ is equal to the length of the diagonal $BD$. Let $M$ denote the midpoint of $BC$, and let $E$ denote the reflection of $C$ about the line $DM$. Prove that $\angle AEB=\angle ACD$.

Given positive integer $n$ and $r$ pairwise distinct primes $p_1,p_2,\cdots,p_r.$ Initially, there are $(n+1)^r$ numbers written on the blackboard: $p_1^{i_1}p_2^{i_2}\cdots p_r^{i_r} (0 \le i_1,i_2,\cdots,i_r \le n).$ Alice and Bob play a game by making a move by turns, with Alice going first. In Alice's round, she erases two numbers $a,b$ (not necessarily different) and write $\gcd(a,b)$. In Bob's round, he erases two numbers $a,b$ (not necessarily different) and write $\mathrm{lcm} (a,b)$. The game ends when only one number remains on the blackboard. Determine the minimal possible $M$ such that Alice could guarantee the remaining number no greater than $M$, regardless of Bob's move.

Determine all sets $M$ of natural numbers such that for every two (not necessarily different) elements $a, b$ from $M$ , $$\frac{a + b}{gcd(a, b)}$$ lies in $M$.

How many positive integers $n$ are there such that $n$ is a multiple of $5$, and the least common multiple of $5!$ and $n$ equals $5$ times the greatest common divisor of $10!$ and $n?$ $\textbf{(A) } 12 \qquad \textbf{(B) } 24 \qquad \textbf{(C) } 36 \qquad \textbf{(D) } 48 \qquad \textbf{(E) } 72$

Let $a, b,$ and $c$ be positive integers such that $a+b+c=23$ and \[\gcd(a,b)+\gcd(b,c)+\gcd(c,a)=9.\] What is the sum of all possible distinct values of $a^{2}+b^{2}+c^{2}$? $\textbf{(A)} ~259\qquad\textbf{(B)} ~438\qquad\textbf{(C)} ~516\qquad\textbf{(D)} ~625\qquad\textbf{(E)} ~687$ Proposed by [b]djmathman[/b]

If $p$ is a prime and $n$ an integer such that $1<n \le p$, then \[\phi \left( \sum_{k=0}^{p-1}n^{k}\right) \equiv 0 \; \pmod{p}.\]

Find all nonnegative integers $x,y,z$ such that $(x+1)^{y+1} + 1= (x+2)^{z+1}$.

Let $ a_0$, $ a_1$, $ a_2$, $ \ldots$ be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, $ \gcd (a_i, a_{i \plus{} 1}) > a_{i \minus{} 1}$. Prove that $ a_n\ge 2^n$ for all $ n\ge 0$. [i]Proposed by Morteza Saghafian, Iran[/i]

Let $H_1, H_2,\ldots, H_m$ be non-empty subsets of the positive integers, and let $S$ denote their union. Prove that \[\sum_{i=1}^m \sum_{(a,b)\in H_i^2}\gcd(a,b)\ge\frac1m \sum_{(a,b)\in S^2}\gcd(a,b).\] [i]Proposed by Dávid Matolcsi, Berkeley[/i]

Find all triples $(a,b,c)$ of positive integers such that (i) $a \leq b \leq c$; (ii) $\text{gcd}(a,b,c)=1$; and (iii) $a^3+b^3+c^3$ is divisible by each of the numbers $a^2b, b^2c, c^2a$.

Let $m,n$ be natural numbers and let $d = gcd(m,n)$. Let $x = 2^{m} -1$ and $y= 2^n +1$ (a) If $\frac{m}{d}$ is odd, prove that $gcd(x,y) = 1$ (b) If $\frac{m}{d}$ is even, Find $gcd(x,y)$

Suppose that $a_0, a_1, \cdots $ and $b_0, b_1, \cdots$ are two sequences of positive integers such that $a_0, b_0 \ge 2$ and \[ a_{n+1} = \gcd{(a_n, b_n)} + 1, \qquad b_{n+1} = \operatorname{lcm}{(a_n, b_n)} - 1. \] Show that the sequence $a_n$ is eventually periodic; in other words, there exist integers $N \ge 0$ and $t > 0$ such that $a_{n+t} = a_n$ for all $n \ge N$.

For all positive integers $a$ and $b$, we dene $a @ b = \frac{a - b}{gcd(a, b)}$ . Show that for every integer $n > 1$, the following holds: $n$ is a prime power if and only if for all positive integers $m$ such that $m < n$, it holds that $gcd(n, n @m) = 1$.

Let $S$ be the set of all pairs $(a,b)$ of real numbers satisfying $1+a+a^2+a^3 = b^2(1+3a)$ and $1+2a+3a^2 = b^2 - \frac{5}{b}$. Find $A+B+C$, where \[ A = \prod_{(a,b) \in S} a , \quad B = \prod_{(a,b) \in S} b , \quad \text{and} \quad C = \sum_{(a,b) \in S} ab. \][i]Proposed by Evan Chen[/i]

Find the greatest common divisor of all numbers of the form $(2^{a^2}\cdot 19^{b^2} \cdot 53^{c^2} + 8)^{16} - 1$ where $a,b,c$ are integers.

Let $ a $ and $ b $ be natural numbers with property $ gcd(a,b)=1 $ . Find the least natural number $ k $ such that for every natural number $ r \ge k $ , there exist natural numbers $ m,n >1 $ in such a way that the number $ m^a n^b $ has exactly $ r+1 $ positive divisors.

Let $a,b$ be coprime integers. Show that the equation $ax^2 + by^2 =z^3$ has an infinite set of solutions $(x,y,z)$ with $\{x,y,z\}\in\mathbb{Z}$ and each pair of $x,y$ mutually coprime.

Let $X_1,X_2,\ldots,X_m$ a numbering of the $m=2^n-1$ non-empty subsets of the set $\{1,2,\ldots,n\}$, $n\geq 2$. We consider the matrix $(a_{ij})_{1\leq i,j\leq m}$, where $a_{ij}=0$, if $X_i \cap X_j = \emptyset$, and $a_{ij}=1$ otherwise. Prove that the determinant $d$ of this matrix does not depend on the way the numbering was done and compute $d$.