∫ g[x] f[z] dz があらかじめ定義されているとして
∫f[z] dz　= Fを定義して、∫ g[x] f[z] dzをF g[x]と
変形するような計算はmathematicaではどうやってやるのでしょうか？

積分変数でない変数しか含まない関数を外に追い出す命令があればあとは
replaceで簡単なのですが・・・