{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"bbeh","formal_name":"BIG-Bench Extra Hard (BBEH)","introduction":"BIG-Bench Extra Hard evaluates language-model reasoning through challenging task categories. It offers full and mini distributions; this import contains 200 Boolean-expression questions from the full distribution.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/google-deepmind/bbeh","indexing_mode":"noindex","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[]}},"task_id":"24be959b-60c9-51e2-a4c6-e4860ec2db6d","task_key":"bbeh~5fboolean~5fexpressions--full--24be959b-60c9-51e2-a4c6-e4860ec2db6d","task_revision_id":"2","upstream_id":"","short_description":"From the following five expressions, only one evaluates to true. Which one is…","config":"bbeh_boolean_expressions","split":"full","body":"{\"input\":\"From the following five expressions, only one evaluates to true. Which one is it?\\n\\n(A) ((not (not not (not not (not not not (not not not (not not not (not (not ((not (True) and (-2 - (-2 / -7) <= -9)) and (False)) and (False)) and (-10 - (3 / -2) <= -9)) and not not (max(2, -9, 9, -10) - min(2, -9, 9, -10) <= 3)) and not not (1 * -6 is less than or equal to 3)) and not not (True)) or not not not (The capital of Cameroon is Yaounde.)) or not not not (The capital of Denmark is Aarhus.)) or (-10 * 3 + 1 * 6 > 2 * 1)) and (-4 * 5 > -5)) and (The capital of Cameroon is Douala.)\\n(B) not not not (not not (not (not not not (not (not not not (not (not (not (not not not ((not (not not ((-7 * -3 + -8 * -1 <= -6 * -8) and (-5 * 9 + -6 * 6 <= -1 * 1)) or not not not (True)) and (-1 * 7 + 9 * 2 > -8 * -8)) and (False)) and not not (6 * -7 + -2 * -7 <= 8 * 3)) or (-6 * 8 is less than or equal to -9)) or (The capital of Norway is Oslo.)) or (10 * -8 + -10 * 2 <= 6 * -7)) and not not (-9 - (-9 / 4) <= -7)) or (The capital of Jordan is Amman.)) and not not (1 - (-7 / -2) > 3)) and (1 - (4 / 4) is less than or equal to 1)) or not not not (-3 - (4 / 7) > 7)) and not not (-3 * -8 <= -1)\\n(C) ((not ((False) or (True)) and (not not (False) or not not not (2 * -9 is less than or equal to -8))) and (not (not (3 - (9 / -4) is greater than -8) and (False)) and (not (max(10, -3, -2, -1) - min(10, -3, -2, -1) is greater than 3) or (The capital of the Nigeria is Abuja.)))) or (not not not (not not not (not not (False) or not not not (-8 * -5 <= -6)) and not not ((max(-9, 4, -6, -10) - min(-9, 4, -6, -10) <= 2) and (False))) and not not (not ((max(1, 5, 1, -8) - min(1, 5, 1, -8) is greater than 8) and (True)) or ((-7 * -3 <= -8) and (-2 - (1 / 2) > 6))))\\n(D) not not not (not not not (not not (not not not (not (((not (not (not (not not (The capital of Germany is Berlin.) or not not not (-6 - (-5 / -5) is less than or equal to 9)) and (-10 * -1 + -7 * -2 is less than or equal to -8 * 8)) and (-8 - (-9 / 8) > 7)) or (-8 - (5 / -9) > -7)) or (-5 * 4 > 5)) or (False)) and (The capital of Belarus is Minsk.)) and not not (False)) or not not not (2 - (-1 / 1) > 3)) and not not (8 * -1 > 2)) and not not (6 * -3 + -9 * 2 is greater than 9 * -8)\\n(E) not (not not not ((The capital of Gambia is Libreville.) or (-9 * 4 > 10)) and not not ((True) and (-8 * -4 > 10))) and (not not ((4 * -1 is less than or equal to 2) and (-6 - (-6 / 8) is less than or equal to -5)) or not not not ((True) or (-3 * -7 > -8)))\\n\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/google-deepmind/bbeh","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}