Um estudante deseja resolver a equação do primeiro grau 3x + 5 = 20. Ele decide isolar o x, subtraindo 5 de ambos os lados da equação. Após essa operação, qual é o valor de x que ele encontra?