Let us say that a pair of distinct positive integers is nice if their arithmetic mean and their geometric mean are both integer. Is it true that for each nice pair there is another nice pair with the same arithmetic mean? (The pairs $(a, b)$ and $(b, a)$ are considered to be the same pair.) [i]Boris Frenkin[/i]

Let $a, b$ and $c$ be arbitrary integers. Prove that $a^2 + b^2 + c^2$ is divisible by $7$ when $a^4 + b^4 + c^4$ divisible by $7$.

Find all natural numbers $a$ and $b$ such that \[a|b^2, \quad b|a^2 \mbox{ and } a+1|b^2+1.\]

Let $\displaystyle{p,q}$ be relatively prime positive integers. Prove that \[\displaystyle{ \sum_{k=0}^{pq-1} (-1)^{\left\lfloor \frac{k}{p}\right\rfloor + \left\lfloor \frac{k}{q}\right\rfloor} = \begin{cases} 0 & \textnormal{ if } pq \textnormal{ is even}\\ 1 & \textnormal{if } pq \textnormal{ odd}\end{cases}}\] [i]Proposed by Alexander Bolbot, State University, Novosibirsk.[/i]

Given a positive integer $c$, we construct a sequence of fractions $a_1, a_2, a_3,...$ as follows: $\bullet$ $a_1 =\frac{c}{c+1} $ $\bullet$ to get $a_n$, we take $a_{n-1}$ (in its most simplified form, with both the numerator and denominator chosen to be positive) and we add $2$ to the numerator and $3$ to the denominator. Then we simplify the result again as much as possible, with positive numerator and denominator. For example, if we take $c = 20$, then $a_1 =\frac{20}{21}$ and $a_2 =\frac{22}{24} = \frac{11}{12}$ . Then we find that $a_3 =\frac{13}{15}$ (which is already simplified) and $a_4 =\frac{15}{18} =\frac{5}{6}$. (a) Let $c = 10$, hence $a_1 =\frac{10}{11}$ . Determine the largest $n$ for which a simplification is needed in the construction of $a_n$. (b) Let $c = 99$, hence $a_1 =\frac{99}{100}$ . Determine whether a simplification is needed somewhere in the sequence. (c) Find two values of $c$ for which in the first step of the construction of $a_5$ (before simplification) the numerator and denominator are divisible by $5$.

There are positive integers $x$ and $y$ that satisfy the system of equations \begin{align*} \log_{10} x + 2 \log_{10} (\gcd(x,y)) &= 60 \\ \log_{10} y + 2 \log_{10} (\text{lcm}(x,y)) &= 570. \end{align*} Let $m$ be the number of (not necessarily distinct) prime factors in the prime factorization of $x$, and let $n$ be the number of (not necessarily distinct) prime factors in the prime factorization of $y$. Find $3m+2n$.

Find all positive integers n such that the product $1! \cdot 2! \cdot \cdot \cdot \cdot n!$ is a perfect square

Consider the set $X =\{1, 2,3, ...,2018\}$. How many positive integers $k$ with $2 \le k \le 2017$ that satisfy the following conditions: i) There exists some partition of the set $X$ into $1009$ disjoint pairs which are $(a_1, b_1),(a_2, b_2), ...,(a_{1009}, b_{1009})$ with $|a_i - b_i| \in \{1, k\}$. ii) For all partitions satisfy the condition (i), the sum $T = \sum^{1009}_{i=1} |a_i - b_i|$ has the right most digit is $9$

For all primes $p \geq 3,$ define $F(p) = \sum^{\frac{p-1}{2}}_{k=1}k^{120}$ and $f(p) = \frac{1}{2} - \left\{ \frac{F(p)}{p} \right\}$, where $\{x\} = x - [x],$ find the value of $f(p).$

For every $n\in\mathbb{N}$, define the [i]power sum[/i] of $n$ as follows. For every prime divisor $p$ of $n$, consider the largest positive integer $k$ for which $p^k\le n$, and sum up all the $p^k$'s. (For instance, the power sum of $100$ is $2^6+5^2=89$.) Prove that the [i]power sum[/i] of $n$ is larger than $n$ for infinitely many positive integers $n$.

Given an integer $n\ge 2$. Prove that there only exist a finite number of n-tuples of positive integers $(a_1,a_2,\ldots,a_n)$ which simultaneously satisfy the following three conditions: [list] [*] $a_1>a_2>\ldots>a_n$; [*] $\gcd (a_1,a_2,\ldots,a_n)=1$; [*] $a_1=\sum_{i=1}^{n}\gcd (a_i,a_{i+1})$,where $a_{n+1}=a_1$.[/list]

Let $\pi(n)$ denote the number of primes less than or equal to $n$. A subset of $S=\{1,2,\ldots, n\}$ is called [i]primitive[/i] if there are no two elements in it with one of them dividing the other. Prove that for $n\geq 5$ and $1\leq k\leq \pi(n)/2,$ the number of primitive subsets of $S$ with $k+1$ elements is greater or equal to the number of primitive subsets of $S$ with $k$ elements. [i]Proposed by Cs. Sándor, Budapest[/i]

Prove that for any positive integers $m>n$, there is infinitely many positive integers $a,b$ such that set of prime divisors of $a^m+b^n$ is equal to set of prime divisors of $a^{2019}+b^{1398}$.

Find all non-negative integer solutions of the equation \[2^x + 3^y = z^2 .\]

The numbers $1, 2, \dots, 1999$ are written on the board. Two players take turn choosing $a,b$ from the board and erasing them then writing one of $ab$, $a+b$, $a-b$. The first player wants the last number on the board to be divisible by $1999$, the second player want to stop him. Determine the winner.

A paper cup has a base that is a circle with radius $r$, a top that is a circle with radius $2r$, and sides that connect the two circles with straight line segments as shown below. This cup has height $h$ and volume $V$. A second cup that is exactly the same shape as the first is held upright inside the first cup so that its base is a distance of $\tfrac{h}2$ from the base of the first cup. The volume of liquid that will t inside the first cup and outside the second cup can be written $\tfrac{m}{n}\cdot V$ where $m$ and $n$ are relatively prime positive integers. Find $m + n$. [asy] pair s = (10,1); draw(ellipse((0,0),4,1)^^ellipse((0,-6),2,.5)); fill((3,-6)--(-3,-6)--(0,-2.1)--cycle,white); draw((4,0)--(2,-6)^^(-4,0)--(-2,-6)); draw(shift(s)*ellipse((0,0),4,1)^^shift(s)*ellipse((0,-6),2,.5)); fill(shift(s)*(3,-6)--shift(s)*(-3,-6)--shift(s)*(0,-2.1)--cycle,white); draw(shift(s)*(4,0)--shift(s)*(2,-6)^^shift(s)*(-4,0)--shift(s)*(-2,-6)); pair s = (10,-2); draw(shift(s)*ellipse((0,0),4,1)^^shift(s)*ellipse((0,-6),2,.5)); fill(shift(s)*(3,-6)--shift(s)*(-3,-6)--shift(s)*(0,-4.1)--cycle,white); draw(shift(s)*(4,0)--shift(s)*(2,-6)^^shift(s)*(-4,0)--shift(s)*(-2,-6)); //darn :([/asy]

Find all pairs $(a,b)$ of positive rational numbers such that \[\sqrt{a}+\sqrt{b}=\sqrt{2+\sqrt{3}}. \]

Find all functions $f:\mathbb N\to\mathbb N$ such that \begin{align*} x+f(y)&\mid f(y+f(x))\\ f(x)-2017&\mid x-2017\end{align*}

Find all positive integers $d$ with the following property: there exists a polynomial $P$ of degree $d$ with integer coefficients such that $\left|P(m)\right|=1$ for at least $d+1$ different integers $m$.

Let $ a_1, a_2, ..., a_ {1994} $ be integers such that $ a_1 + a_2 + ... + a_{1994} = 1994 ^{1994} $ . Determine the remainder of the division of $ a ^ 3_1 + a ^ 3_2 + ... + a ^ 3_{1994} $ with $6$.

If $a$ and $b$ are integers and if the solutions of the system of equations $$y - 2x - a = 0$$ $$y^2 - xy + x^2 - b = 0$$ are rational, prove that the solutions are integers.

Determine the fractions of a fraction of the form $\frac{1}{ab}$ where $a,b$ are prime natural numbers such that $0 < a < b \le 200$ and $a + b > 200$

The number $2021 = 43 \cdot 47$ is composite. Prove that if we insert any number of digits “8” between 20 and 21 then the number remains composite. [i]Mikhail Evdikomov[/i]

For which positive integers $m$ does there exist an infinite arithmetic sequence of integers $a_1, a_2, . . .$ and an infinite geometric sequence of integers $g_1, g_2, . . .$ satisfying the following properties? [list] [*] $a_n - g_n$ is divisible by $m$ for all integers $n \ge 1$; [*] $a_2 - a_1$ is not divisible by $m$. [/list] [i]Holden Mui[/i]

Given any positive integer $c$, denote $p(c)$ as the largest prime factor of $c$. A sequence $\{a_n\}$ of positive integers satisfies $a_1>1$ and $a_{n+1}=a_n+p(a_n)$ for all $n\ge 1$. Prove that there must exist at least one perfect square in sequence $\{a_n\}$.