Como simplificar quociente e mod no domínio inteiro

Question

Eu quero simplificar (a*32 + a%32)/32, e a é inteiro.

Então eu escrevo:

Simplify[Quotient[a*32 + Mod[a, 32], 32], Element[a, PositiveIntegers]]

No entanto, isso me dá:

Quotient[32 a + Mod[a, 32], 32]

e eu espero vera

Answer 1

Deve ser um bug.

 Simplify[Quotient[32 a + Mod[a, Range[32], 0], 32, 0], 
 Assumptions -> Element[a, PositiveIntegers]]
      
    (* {a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, \
    a, a, a, a, a, a, a, a, Quotient[32 a + Mod[a, 32, 0], 32, 0]} *)