Vamos analisar cada uma das alternativas: a) O número \( n^2 + 3 \) é sempre um número ímpar. - Se \( n \) for par, \( n^2 \) é par, então \( n^2 + 3 \) é ímpar. Se \( n \) for ímpar, \( n^2 \) é ímpar, então \( n^2 + 3 \) é par. Portanto, essa afirmação não é verdadeira. b) O número \( n^3 \) é sempre divisível por 3. - Isso não é verdade, pois \( n \) pode ser qualquer número natural. Por exemplo, se \( n = 1 \), \( n^3 = 1 \), que não é divisível por 3. c) O número \( n(n-1) \) é sempre ímpar. - Essa afirmação também não é verdadeira, pois \( n(n-1) \) é o produto de dois números consecutivos, um deles sempre será par, resultando em um número par. d) O mínimo múltiplo comum entre \( n \) e \( 2n \) é sempre um número par. - O mínimo múltiplo comum (MMC) entre \( n \) e \( 2n \) é \( 2n \), que é sempre par, já que \( n \) é um número natural e \( n \neq 0 \). e) O máximo divisor comum entre \( n \) e \( 2n \) é \( 2n \). - Isso não é verdade, pois o máximo divisor comum (MDC) entre \( n \) e \( 2n \) é \( n \). Portanto, a alternativa verdadeira é: d) O mínimo múltiplo comum entre n e 2n é sempre um número par.