Consider the sequence $x_n = 2^n-n$, $n = 0,1 ,2 ,...$. Find all integers $m \ge 0$ such that $s_m = x_0 + x_1 + x_2 + ... + x_m$ is a power of $2$.

Prove that for any integer $k$ ($k \ge 2$) there exists a power of $2$ that among its last $k$ digits, the nines constitute no less than half. For example, for $k = 2$ and $k = 3$ we have the powers $2^{12} = ... 96$ and $2^{53} = ... 992$. [hide=original wording] Probar que para cualquier k entero existe una potencia de 2 que entre sus ultimos k dıgitos, los nueves constituyen no menos de la mitad. [/hide]

Let $n \ge 1$. Prove that it is possible to select some of the integers $1,2,...,2^n$ so that for each $p = 0,1,...,n - 1$ the sum of the $p$-th powers of the selected numbers is equal to the sum of the $p$-th powers of the remaining numbers.

For each positive integer $ n$, let $ f(n)$ denote the number of ways of representing $ n$ as a sum of powers of 2 with nonnegative integer exponents. Representations which differ only in the ordering of their summands are considered to be the same. For instance, $ f(4) \equal{} 4$, because the number 4 can be represented in the following four ways: 4; 2+2; 2+1+1; 1+1+1+1. Prove that, for any integer $ n \geq 3$ we have $ 2^{\frac {n^2}{4}} < f(2^n) < 2^{\frac {n^2}2}$.

For every non-negative integer $i$, define the number $M(i)$ as follows: write $i$ down as a binary number, so that we have a string of zeroes and ones, if the number of ones in this string is even, then set $M(i) = 0$, otherwise set $M(i) = 1$. (The first terms of the sequence $M(i)$, $i = 0, 1, 2, ...$ are $0, 1, 1, 0, 1, 0, 0, 1,...$ ) (a) Consider the finite sequence $M(O), M(1), . . . , M(1000) $. Prove that there are at least $320$ terms in this sequence which are equal to their neighbour on the right : $M(i) = M(i + 1 )$ . (b) Consider the finite sequence $M(O), M(1), . . . , M(1000000)$ . Prove that the number of terms $M(i)$ such that $M(i) = M(i +7)$ is at least $450000$. (A Kanel)

Let $a, b, c$ and $d$ be non-negative integers. Prove that the numbers $2^a7^b$ and $2^c7^d$ give the same remainder when divided by $15$ iff the numbers $3^a5^b$ and $3^c5^d$ give the same remainder when divided by $16$.

Let $ b, m, n$ be positive integers such that $ b > 1$ and $ m \neq n.$ Prove that if $ b^m \minus{} 1$ and $ b^n \minus{} 1$ have the same prime divisors, then $ b \plus{} 1$ is a power of 2.

Determine all pairs $(a,b)$ of positive integers such that $(a+b)^3-2a^3-2b^3$ is a power of two.

For each positive integer $ n$, let $ f(n)$ denote the number of ways of representing $ n$ as a sum of powers of 2 with nonnegative integer exponents. Representations which differ only in the ordering of their summands are considered to be the same. For instance, $ f(4) \equal{} 4$, because the number 4 can be represented in the following four ways: 4; 2+2; 2+1+1; 1+1+1+1. Prove that, for any integer $ n \geq 3$ we have $ 2^{\frac {n^2}{4}} < f(2^n) < 2^{\frac {n^2}2}$.

It is stated that $2^{2010}$ is a $606$-digit number that begins with $1$. How many of the numbers $1, 2,2^2,2^3, ..., 2^{2009}$ start with $4$?

Source: Lusophon MO 2016 Prove that any positive power of $2$ can be written as: $$5xy-x^2-2y^2$$ where $x$ and $y$ are odd numbers.