已知4x=y，根据等式的性质，则4x+7=y+；20x=y× 。