O dobro de um número x é igual a cinco.