{"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":"44a2e022-4e01-5024-85c2-86d5e8bd558c","task_key":"bbeh~5fboolean~5fexpressions--full--44a2e022-4e01-5024-85c2-86d5e8bd558c","task_revision_id":"3","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 ((max(-3, -6, -8, -7) - min(-3, -6, -8, -7) > 10) or (The capital of Gambia is Libreville.)) or (-7 - (-10 / 8) > 2)) or (6 * -7 > -5)) and (The capital of Malaysia is Putrajaya.)) or not not not (The capital of Germany is Munich.)) and (False)) and not not (True)) or (1 * 1 + -2 * 10 > 8 * 10)) and not not (True)) or (-4 * -7 > -3)) or (-8 * -5 + 5 * 8 is less than or equal to 4 * -2)) and not not (2 * -3 is less than or equal to 3)) and (-7 * 2 > -5)\\n(B) ((not (not (10 * 5 + 7 * 7 is greater than -6 * 10) or (9 * -4 + 9 * -4 > 10 * -3)) and (not not not (-3 * -10 + 3 * 10 is greater than 3 * 10) and not not (False))) and (not not (not (The capital of Azerbaijan is Ganja.) or (max(-8, -9, -3, -2) - min(-8, -9, -3, -2) is greater than 6)) or not not not (not (-9 * -4 + -7 * -10 is greater than -7 * -2) and (False)))) and (not (not (not not not (-6 * -3 + 9 * -1 > -4 * -10) and not not (max(10, -9, -2, -3) - min(10, -9, -2, -3) <= 1)) and (not not (-7 - (8 / 7) > 8) or not not not (True))) and (not not not (not (The capital of Armenia is Gyumri.) and (The capital of Colombia is Medellin.)) and not not (not not not (10 * -7 + -9 * -3 <= 3 * -1) and not not (-5 * -7 + -10 * 5 > 4 * 7))))\\n(C) not not (not not not (not not ((-7 * -3 + -10 * -5 is less than or equal to 4 * -2) or (-2 * 5 + 10 * 4 > -9 * -7)) or not not not (not (The capital of Iraq is Beirut.) and (The capital of Germany is Berlin.))) and not not (not (not not not (max(10, 3, 5, -5) - min(10, 3, 5, -5) <= 8) and not not (-4 - (-5 / -7) is less than or equal to 4)) and (not (-5 - (8 / 1) is less than or equal to 2) or (7 * -7 + -5 * -3 is greater than 5 * -10)))) or not not not (not not (not not not (not (False) and (-5 * -9 + -4 * 5 <= 8 * 9)) and not not (not not not (8 * -2 is less than or equal to -7) and not not (5 * -10 is less than or equal to 7))) or not not not (((10 * -3 + -1 * -7 > -10 * -4) and (-4 * 9 > 3)) or ((max(-1, -4, -4, -10) - min(-1, -4, -4, -10) > 10) and (The capital of Iraq is Beirut.))))\\n(D) not (not not (not (not (not (not (not (not not (not (not (not not not ((not (The capital of Malaysia is Kuala Lumpur.) or (8 * 2 + 9 * 1 is greater than -9 * 7)) or (-7 - (6 / 1) is less than or equal to 3)) and not not (3 * 6 + 10 * -9 > -1 * -3)) and (3 * 1 is less than or equal to 3)) and (True)) or not not not (7 * 5 > -5)) or (False)) or (True)) or (-1 * 10 + -7 * -3 <= 9 * 10)) or (3 * -6 + 2 * 6 > 10 * 3)) or (False)) or not not not (4 - (9 / 5) > 4)) or (4 * -10 > -6)\\n(E) (not not (not not not (max(-7, 6, 10, 6) - min(-7, 6, 10, 6) <= 8) and not not (-8 * 2 + -4 * -1 > 4 * 4)) or not not not (not not not (-10 - (-7 / 10) is less than or equal to -3) and not not (6 * -2 > 10))) or (not (not (-10 * -4 + 3 * -2 is greater than 2 * -10) or (1 * -2 <= -7)) and (not (The capital of Azerbaijan is Ganja.) and (max(-6, 4, -6, -10) - min(-6, 4, -6, -10) is greater than 7)))\\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":[]}