On the theories of free solvable groups