Some algorithmic problems for solvable groups