Let us consider a set $S = \{ a_1 < a_2 < \ldots < a_{2004}\}$, satisfying the following properties: $f(a_i) < 2003$ and $f(a_i) = f(a_j) \quad \forall i, j$ from $\{1, 2,\ldots , 2004\}$, where $f(a_i)$ denotes number of elements which are relatively prime with $a_i$. Find the least positive integer $k$ for which in every $k$-subset of $S$, having the above mentioned properties there are two distinct elements with greatest common divisor greater than 1.

The measure of a given angle is $\frac{180^{\circ}}{n}$ where $n$ is a positive integer not divisible by $3$. Prove that the angle can be trisected by Euclidean means (straightedge and compasses).

Given sequence $\{a_n\}$ satisfying: $$ a_{n+1} = \frac{ lcm(a_n,a_{n-1})}{\gcd(a_n, a_{n-1})} $$ It is given that $a_{209} =209$ and $a_{361} = 361$. Find all possible values of $a_{2020}$.

Find all positive integers $x, y, z$ that satisfy the conditions: $$[x,y,z] =(x,y)+(y,z) + (z,x), x\le y\le z, (x,y,z) = 1$$ The symbols $[m,n]$ and $(m,n)$ respectively represent positive integers, the least common multiple and the greatest common divisor of $m$ and $n$.

Let $n$ be a positive integer and $d$ be the greatest common divisor of $n^2+1$ and $(n + 1)^2 + 1$. Find all the possible values of $d$. Justify your answer.

Let $\mathbb N$ denote the set of positive integers. Find all functions $f: \mathbb{N} \to \mathbb{N}$ such that: (i) The greatest common divisor of the sequence $f(1), f(2), \dots$ is $1$. (ii) For all sufficiently large integers $n$, we have $f(n) \neq 1$ and \[ f(a)^n \mid f(a+b)^{a^{n-1}} - f(b)^{a^{n-1}} \] for all positive integers $a$ and $b$. [i]Proposed by Yang Liu[/i]

The incircle of a triangle $ABC$ touches the sides $AB,BC,CA$ at points $D,E,F$ respectively. The line through $A$ parallel to $DF$ meets the line through $C$ parallel to $EF$ at $G$. $(a)$ Prove that the quadrilateral $AICG$ is cyclic. $(b)$ Prove that the points $B,I,G$ are collinear.

Let $a_1,a_2,\dots, a_n$ be positive integers with product $P,$ where $n$ is an odd positive integer. Prove that $$\gcd(a_1^n+P,a_2^n+P,\dots, a_n^n+P)\le 2\gcd(a_1,\dots, a_n)^n.$$ [i]Proposed by Daniel Liu[/i]

Let $p,q$ be primes, where $p>q$. Define $t=\gcd(p!-1,q!-1)$. Prove that $t\le p^{\frac{p}{3}}$.

A finite set $S$ of positive integers has the property that, for each $s \in S,$ and each positive integer divisor $d$ of $s$, there exists a unique element $t \in S$ satisfying $\text{gcd}(s, t) = d$. (The elements $s$ and $t$ could be equal.) Given this information, find all possible values for the number of elements of $S$.

$x,y$ are naturals. $GCM(x^7,y^4)*GCM(x^8,y^5)=xy$ Prove that $xy$ is cube

Let $n$ be an arbitrary positive integer. (a) For every positive integers $a$ and $b$, show that $gcd(n^a + 1, n^b + 1) \le n^{gcd(a,b)} + 1$. (b) Show that there exist infinitely many composite pairs ($a, b)$, such that each of them is not a multiply of the other number and equality holds in (a).

The positive integers $N$ and $N^2$ both end in the same sequence of four digits $abcd$ when written in base 10, where digit $a$ is not zero. Find the three-digit number $abc$.

Let $a$ and $b$ be positive integers such that $\text{gcd}(a, b) + \text{lcm}(a, b)$ is a multiple of $a+1$. If $b \le a$, show that $b$ is a perfect square.

Let $a_{1} < a_{2} < a_{3} < \cdots $ be an infinite increasing sequence of positive integers in which the number of prime factors of each term, counting repeated factors, is never more than $1987$. Prove that it is always possible to extract from $A$ an infinite subsequence $b_{1} < b_{2} < b_{3} < \cdots $ such that the greatest common divisor $(b_i, b_j)$ is the same number for every pair of its terms.

Let $P$ be a polynomial with integer coefficients such that $P(0)=0$ and \[\gcd(P(0), P(1), P(2), \ldots ) = 1.\] Show there are infinitely many $n$ such that \[\gcd(P(n)- P(0), P(n+1)-P(1), P(n+2)-P(2), \ldots) = n.\]

Compute gcd $\left( \frac{135^{90}-45^{90}}{90^2} , 90^2 \right)$

[b]Q11.[/b] Let be given a sequense $a_1=5, \; a_2=8$ and $a_{n+1}=a_n+3a_{n-1}, \qquad n=1,2,3,...$ Calculate the greatest common divisor of $a_{2011}$ and $a_{2012}$.

Find all the pairs positive integers $(x, y)$ such that $\frac{1}{x}+\frac{1}{y}+\frac{1}{[x, y]}+\frac{1}{(x, y)}=\frac{1}{2}$ , where $(x, y)$ is the greatest common divisor of $x, y$ and $[x, y]$ is the least common multiple of $x, y$.

Find all integers $k$ for which, there is a function $f: N \to Z$ that satisfies: (i) $f(1995) = 1996$ (ii) $f(xy) = f(x) + f(y) + kf(m_{xy})$ for all natural numbers $x, y$,where$ m_{xy}$ denotes the greatest common divisor of the numbers $x, y$. Clarification: $N = \{1,2,3,...\}$ and $Z = \{...-2,-1,0,1,2,...\}$ .

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$.

Is it possible to assign every integral point $(x,y)$ of the plane a positive integer $a_{x,y}$ such that for every two integers $i$ and $j$ the following equality holds $$a_{i,j}=\gcd(a_{i-1,j},a_{i+1,j})+\gcd(a_{i,j-1},a_{i,j+1})$$ [i]M. Shutro[/i]

Suppose $ \,G\,$ is a connected graph with $ \,k\,$ edges. Prove that it is possible to label the edges $ 1,2,\ldots ,k\,$ in such a way that at each vertex which belongs to two or more edges, the greatest common divisor of the integers labeling those edges is equal to 1. [b]Note: Graph-Definition[/b]. A [b]graph[/b] consists of a set of points, called vertices, together with a set of edges joining certain pairs of distinct vertices. Each pair of vertices $ \,u,v\,$ belongs to at most one edge. The graph $ G$ is connected if for each pair of distinct vertices $ \,x,y\,$ there is some sequence of vertices $ \,x \equal{} v_{0},v_{1},v_{2},\cdots ,v_{m} \equal{} y\,$ such that each pair $ \,v_{i},v_{i \plus{} 1}\;(0\leq i < m)\,$ is joined by an edge of $ \,G$.

Let $\mathbb{Z}_{>0}$ denote the set of positive integers. For any positive integer $k$, a function $f: \mathbb{Z}_{>0} \to \mathbb{Z}_{>0}$ is called [i]$k$-good[/i] if $\gcd(f(m) + n, f(n) + m) \le k$ for all $m \neq n$. Find all $k$ such that there exists a $k$-good function. [i]Proposed by James Rickards, Canada[/i]

Consider a multiplicative function \( f \) from the positive integers to the unit disk centered at the origin, that is, \( f : \mathbb{Z}^+ \to D^2 \subseteq \mathbb{C} \) such that \( f(mn) = f(m)f(n) \). Prove that for every \( \epsilon > 0 \) and every integer \( k > 0 \), there exist \( k \) distinct positive integers \( a_1, a_2, \dots, a_k \) such that \( \text{gcd}(a_1, a_2, \dots, a_k) = k \) and \( d(f(a_i), f(a_j)) < \epsilon \) for all \( i, j = 1, \dots, k \).