O dobro de um número somado com 7 resulta em 31. Qual é esse número?