Problem: (1) The present ( from 2013 to 2017 ) Mayor is Fernando Nogueira , elected by the PenCe ( municipal movement ) . The independent holiday is October 1 .
(2) Today ( from 2013 to 2017 ) the mayor is Fernando Nogueira , elected by the PenCe ( independent movement ) . The municipal holiday is October 1st .

Do (1) and (2) mean the same thing?

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
Finally , we say that a distribution is concave if formula _ 11 is regular .
Finally , we say that if Formula 11 is regular , a distribution is concave .
OPTIONS:
- no
- yes
Answer: yes

Problem: '' Hell or Highwater '' featured collaborations with John Shanks ( Melissa Etheridge band ) and Scott F. Crago ( The Eagles ) and was produced by Mark McKenna .
'' Hell or Highwater '' co-operated with Mark McKenna ( Scott F. Crago Band ) and John Shanks ( The Eagles ) and was produced by Melissa Etheridge .
OPTIONS:
- no
- yes
-+-
A: no

In July or August 1944 , he was captured in Lower Silesia with 18 other SOE officers murdered in the Gro-Rosenen concentration camp .
He was captured , with 18 other murdered SOE officers , at the Gross-Rosen concentration camp in Lower Silesia in July or August 1944 .

Are these two sentences paraphrases of each other? OPTIONS:
- no
- yes
yes

1. Injured with Sabin , America 's Most Wanted Dutt hit the death sentence to keep the titles .
2. Injured with Dutt , America 's Most Wanted Sabin hit the death sentence to obtain the titles .
OPTIONS:
- no
- yes

no

1. At Harper 's request , Smith resigned from the cabinet on 4 July 1968 .
2. On July 4 , 1968 , at Smith 's request , Harper resigned from the cabinet .
OPTIONS:
- no
- yes
no