solve ((x%5E3)%5E(21-k)) * ((1%2Fx)%5Ek)) %3D x%5E19 for k