Deciding Properties of Automatic Sequences