What is the greatest common divisor of the set of numbers \[\{{16}^{n}+10n-1 \; \vert \; n=1,2,\cdots \}?\]

For any positive integer $n$, let $D_n$ denote the greatest common divisor of all numbers of the form $a^n + (a + 1)^n + (a + 2)^n$ where $a$ varies among all positive integers. (a) Prove that for each $n$, $D_n$ is of the form $3^k$ for some integer $k \ge 0$. (b) Prove that, for all $k\ge 0$, there exists an integer $n$ such that $D_n = 3^k$.

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]

For a finite set $A$ of positive integers, a partition of $A$ into two disjoint nonempty subsets $A_1$ and $A_2$ is $\textit{good}$ if the least common multiple of the elements in $A_1$ is equal to the greatest common divisor of the elements in $A_2$. Determine the minimum value of $n$ such that there exists a set of $n$ positive integers with exactly $2015$ good partitions.

Let $S$ be an infinite set of positive integers, such that there exist four pairwise distinct $a,b,c,d \in S$ with $\gcd(a,b) \neq \gcd(c,d)$. Prove that there exist three pairwise distinct $x,y,z \in S$ such that $\gcd(x,y)=\gcd(y,z) \neq \gcd(z,x)$.

For each $m\in \mathbb N$ we define $rad\ (m)=\prod p_i$, where $m=\prod p_i^{\alpha_i}$. [b]abc Conjecture[/b] Suppose $\epsilon >0$ is an arbitrary number, then there exist $K$ depinding on $\epsilon$ that for each 3 numbers $a,b,c\in\mathbb Z$ that $gcd (a,b)=1$ and $a+b=c$ then: \[ max\{|a|,|b|,|c|\}\leq K(rad\ (abc))^{1+\epsilon} \] Now prove each of the following statements by using the $abc$ conjecture : a) Fermat's last theorem for $n>N$ where $N$ is some natural number. b) We call $n=\prod p_i^{\alpha_i}$ strong if and only $\alpha_i\geq 2$. c) Prove that there are finitely many $n$ such that $n,\ n+1,\ n+2$ are strong. d) Prove that there are finitely many rational numbers $\frac pq$ such that: \[ \Big| \sqrt[3]{2}-\frac pq \Big|<\frac{2^ {1384}}{q^3} \]

Positive integers $m$ and $n$ have no common divisor greater than one. What is the largest possible value of the greatest common divisor of $m + 2000n$ and $n + 2000m$ ? (S Zlobin)

A sequence $ a_1, a_2, \ldots$ of non-negative integers is defined by the rule $ a_{n \plus{} 2} \equal{} |a_{n \plus{} 1} \minus{} a_n|$ for $ n\ge 1$. If $ a_1 \equal{} 999, a_2 < 999,$ and $ a_{2006} \equal{} 1$, how many different values of $ a_2$ are possible? $ \textbf{(A) } 165 \qquad \textbf{(B) } 324 \qquad \textbf{(C) } 495 \qquad \textbf{(D) } 499 \qquad \textbf{(E) } 660$

What is the greatest common factor of $12345678987654321$ and $12345654321$? [i]Proposed by Evan Chen[/i]

Determine all pairs $ (n,p)$ of positive integers, where $ p$ is prime, such that $ 3^p\minus{}np\equal{}n\plus{}p$.

Find all triples of natural numbers $ a $, $ b $, $ c $ such that $$ \gcd (a ^ 2, b ^ 2) + \gcd (a, bc) +\gcd (b, ac) +\gcd (c, ab) = 239 ^ 2 = ab + c . $$

Prove that the equation $x^3+y^3+z^3=t^4$ has infinitely many solutions in positive integers such that $\gcd(x,y,z,t)=1$. [i]Mihai Pitticari & Sorin Rǎdulescu[/i]

For every positive integer $n$, define the number of non-empty subsets $\mathcal N\subseteq \{1,\ldots ,n\}$ such that $\gcd(n\in\mathcal N)=1$. Show that $f(n)$ is a perfect square if and only if $n=1$.

We call a positive integer $n{}$ [i]peculiar[/i] if, for any positive divisor $d{}$ of $n{}$ the integer $d(d + 1)$ divides $n(n + 1).$ Prove that for any four different peculiar positive integers $A, B, C$ and $D{}$ the following holds: \[\gcd(A, B, C, D) = 1.\]

Let $f : \mathbb{Z} \rightarrow \mathbb{Z}^+$ be a function, and define $h : \mathbb{Z} \times \mathbb{Z} \rightarrow \mathbb{Z}^+$ by $h(x, y) = \gcd (f(x), f(y))$. If $h(x, y)$ is a two-variable polynomial in $x$ and $y$, prove that it must be constant.

Prove that the expression \[ \dfrac {\text {gcd}(m, n)}{n} \dbinom {n}{m} \] is an integer for all pairs of integers $ n \ge m \ge 1 $.

The sequence $\{a_n\}_{n\geq 1}$ is defined by $a_{n+2}=7a_{n+1}-a_n$ for positive integers $n$ with initial values $a_1=1$ and $a_2=8$. Another sequence, $\{b_n\}$, is defined by the rule $b_{n+2}=3b_{n+1}-b_n$ for positive integers $n$ together with the values $b_1=1$ and $b_2=2$. Find $\gcd(a_{5000},b_{501})$.

Prove that for every positive integer $d > 1$ and $m$ the sequence $a_n=2^{2^n}+d$ contains two terms $a_k$ and $a_l$ ($k \neq l$) such that their greatest common divisor is greater than $m$. [i]Proposed by T. Hakobyan[/i]

Find all functions $f:\mathbb N\to\mathbb N$ satisfying $$\operatorname{lcm}(f(x),y)\gcd(f(x),f(y))=f(x)f(f(y))$$ for all $x,y\in\mathbb N$.

Find the number of pairs $(a, b)$ of positive integers with the property that the greatest common divisor of $a$ and $ b$ is equal to $1\cdot 2 \cdot 3\cdot ... \cdot50$, and the least common multiple of $a$ and $ b$ is $1^2 \cdot 2^2 \cdot 3^2\cdot ... \cdot 50^2$.

For $x, y$ positive integers, $x^2-4y+1$ is a multiple of $(x-2y)(1-2y)$. Prove that $|x-2y|$ is a square number.

Suppose that $ k,l $ are natural numbers such that $ \gcd (11m-1,k)=\gcd (11m-1, l) , $ for any natural number $ m. $ Prove that there exists an integer $ n $ such that $ k=11^nl. $

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.\]

For a finite set $A$ of positive integers, a partition of $A$ into two disjoint nonempty subsets $A_1$ and $A_2$ is $\textit{good}$ if the least common multiple of the elements in $A_1$ is equal to the greatest common divisor of the elements in $A_2$. Determine the minimum value of $n$ such that there exists a set of $n$ positive integers with exactly $2015$ good partitions.

Consider a regular polygon with 2007 vertices. The natural numbers $ 1,2, \ldots, 4014$ shall be distributed across the vertices and edge midpoints such that for each side the sum of its three numbers (two end points, one side center) has the same value. Show that such an assignment is possible.