{"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":"0f92bace-9c4b-5dcb-9ae2-97efe7dc0b99","task_key":"bbeh~5fboolean~5fexpressions--full--0f92bace-9c4b-5dcb-9ae2-97efe7dc0b99","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 ((False) and (-2 * -2 + -10 * -4 is greater than 9 * 2)) or (not not (5 * 10 <= -4) or not not not (The capital of Afghanistan is Kabul.))) and (not (not not not (The capital of Iran is Tehran.) and not not (The capital of Turkey is Istanbul.)) or (not (The capital of Iran is Isfahan.) and (max(-5, 8, -4, 2) - min(-5, 8, -4, 2) <= 1)))) and ((not not not (not not (5 * 6 <= -5) or not not not (-2 - (5 / -1) is greater than 2)) and not not (not (max(7, 1, -5, 2) - min(7, 1, -5, 2) <= 3) or (True))) or ((not not not (7 * -2 + -1 * 2 > -4 * -7) and not not (max(9, 4, 7, 9) - min(9, 4, 7, 9) > 9)) or (not not not (-6 * 1 + 9 * -4 <= 5 * 4) and not not (max(9, -5, -9, 5) - min(9, -5, -9, 5) is greater than 7))))\\n(B) not not not (not not (not (not not (-1 * -10 + 6 * 8 is greater than 6 * 1) or not not not (False)) and (not (4 * 2 + 10 * 10 is less than or equal to -6 * 6) or (The capital of Nepal is Pokhara.))) or not not not (not (not not not (The capital of UAE is Dubai.) and not not (False)) and (not (5 - (3 / 6) <= -8) or (3 - (6 / 1) is less than or equal to 7)))) and not not (not (not (not not (9 * 2 + 8 * 8 is less than or equal to -1 * -3) or not not not (True)) or (not (-9 - (10 / -2) is less than or equal to -1) and (The capital of Germany is Berlin.))) and ((not (True) or (-5 * 5 is less than or equal to -9)) and (not not (-2 - (1 / 6) > 2) or not not not (-7 * -8 > -6))))\\n(C) not (not not (not not (not not (not not (not not (not (not not not ((not not (not not not (not (not not not (-5 - (9 / 8) <= -9) and not not (-5 - (-6 / -10) > -3)) and (max(-10, 10, 4, 9) - min(-10, 10, 4, 9) <= 1)) and not not (-1 - (6 / -6) > 10)) or not not not (False)) and (-8 - (-4 / 5) > 7)) and not not (1 * -3 > 1)) or (True)) or not not not (10 * -8 + 3 * 8 > 8 * -6)) or not not not (3 * 10 + 10 * 6 is greater than -5 * -5)) or not not not (8 - (3 / -7) is greater than -2)) or not not not (False)) or not not not (False)) or (-2 * -9 + -9 * -10 is less than or equal to 5 * 3)\\n(D) not not (not not (not (not (The capital of Nepal is Kathmandu.) and (4 * -4 + 1 * 7 <= -5 * -2)) or ((The capital of Iran is Tehran.) and (The capital of UAE is Abu Dhabi.))) or not not not (not (not not not (-1 * 4 + -2 * -5 <= -4 * -7) and not not (False)) and ((-10 * 1 > 10) and (3 * 6 + -6 * 1 <= 5 * 3)))) or not not not (((not not (max(-9, -6, -2, -8) - min(-9, -6, -2, -8) <= 8) or not not not (The capital of Belarus is Minsk.)) or (not not not (The capital of India is Mumbai.) and not not (-8 * 7 + -4 * -3 <= 3 * -4))) and ((not not not (False) and not not (9 * -7 > 7)) or (not not (max(-2, -8, -7, -8) - min(-2, -8, -7, -8) <= 9) or not not not (2 - (-3 / 3) is greater than -8))))\\n(E) not (not not (not not (True) or not not not (5 * 4 + 4 * 3 <= 9 * 6)) or not not not (not not not (9 * -9 > -2) and not not (max(-6, -1, 2, -10) - min(-6, -1, 2, -10) <= 2))) or (not not not ((The capital of UAE is Dubai.) or (True)) and not not (not not (3 - (2 / 7) is greater than -9) or not not not (max(-8, -4, 2, 9) - min(-8, -4, 2, 9) is greater than 5)))\\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":[]}