Task: Question Decomposition
Input (English): question: What are the carriers of devices whose software platforms are not "Android"?
Output (English): #1 return devices 
#2 return #1 whose software platforms are  Android 
#3 return #1 besides  #2 
#4 return carriers of  #3