solve for x in x - 0.15*x = 3000