Эквивалент 10.000 реалов. То есть надо смотреть на текущий курс. Декларация (если у вас более 10.000 реалов) заполняется на выходе из аэропорта перед прохождением таможни (после паспортного контроля и после того, как заберёте багаж).
С долларовой карточки снимать не выгодно! Если банк российский, то доллары вначале будут конвертированы в рубли, а потом в реалы! Двойная конвертация, двойная комиссия. С рублёвой выгоднее – тогда рубли будут напрямую конвертированы в валюту страны пребывания. В Бразилии большие комиссионные при обмене валют, так что снять с пластика будет дешевле, да и вопросы безопасности в этой стране не последние. Возьмите 70% денег на пластике, 30 на всякий случай наличными. Снимайте эквивлент не менее 100-200 долларов, чтобы комиссия была не сильно заметна в общей сумме. Лучше карты Visa. Master бывает виснет.