{"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":"e26ff3ad-d803-5a94-904f-16abdd1f0df9","task_key":"bbeh~5fboolean~5fexpressions--full--e26ff3ad-d803-5a94-904f-16abdd1f0df9","task_revision_id":"4","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 (The capital of Gambia is Libreville.) or (False)) or not not not (not (-4 * 5 > -1) and (7 * -8 + -5 * -5 is greater than -6 * 10))) and (not not not (not (False) or (max(6, 9, -6, -7) - min(6, 9, -6, -7) <= 9)) and not not (not not not (max(-2, 2, 1, 6) - min(-2, 2, 1, 6) is greater than 6) and not not (False)))) or (not not (not not ((False) and (max(-10, -2, 10, 4) - min(-10, -2, 10, 4) <= 7)) or not not not (not (-9 - (-2 / -8) is less than or equal to -4) and (-7 * -2 + 5 * -5 <= 1 * 6))) or not not not (not (not not not (6 - (9 / 10) > 7) and not not (-3 * 10 + 5 * -1 > -4 * -3)) and (not (-6 * 3 + 1 * 3 is less than or equal to 9 * -2) and (5 - (8 / -4) is greater than -6))))\\n(B) not (not not not (not not ((not not (not (not (not not (-4 - (-7 / -6) <= -8) or not not not (True)) and (6 - (6 / -3) <= 6)) or (max(-5, 2, -2, 10) - min(-5, 2, -2, 10) is greater than 1)) or not not not (4 * 4 <= -1)) and (False)) or not not not (The capital of Afghanistan is Kandahar.)) and not not (The capital of Denmark is Copenhagen.)) and (-5 - (1 / -5) > -3)\\n(C) (not ((not (not not not (not not not (not not (-3 * 5 is less than or equal to -5) or not not not (max(9, -7, -10, 7) - min(9, -7, -10, 7) <= 2)) and not not (-6 * 1 is less than or equal to -2)) and not not (9 - (2 / 6) <= 8)) and (False)) and (False)) and (9 * 3 > -8)) and (False)\\n(D) not (not not (not (not (-6 - (-9 / 5) > 5) and (4 - (-1 / -9) is greater than -2)) or (not (max(-4, -6, 8, -2) - min(-4, -6, 8, -2) <= 6) or (The capital of Denmark is Copenhagen.))) or not not not (not (not not not (True) and not not (7 * -2 + -5 * 9 > 1 * 5)) or (not not (max(-10, 7, 1, 2) - min(-10, 7, 1, 2) <= 1) or not not not (1 * 5 > -3)))) and (not (not not not (not (-6 * 2 + -7 * 3 <= 7 * 6) and (The capital of Armenia is Yerevan.)) and not not (not (10 * -1 is less than or equal to -3) or (-10 * -3 <= -10))) and (not (not (The capital of the Nigeria is Abuja.) or (max(-5, -7, -8, 9) - min(-5, -7, -8, 9) <= 1)) or ((False) or (2 - (-9 / 5) is less than or equal to 7))))\\n(E) not ((not not not (not (not (not (not (not (not (not (not not not (The capital of Canada is Toronto.) and not not (False)) and (max(7, 8, 4, -10) - min(7, 8, 4, -10) <= 2)) and (max(8, -6, 9, 10) - min(8, -6, 9, 10) <= 8)) or (max(2, 6, -1, 1) - min(2, 6, -1, 1) <= 9)) or (3 * 8 > -3)) or (True)) or (max(2, -3, 9, 5) - min(2, -3, 9, 5) <= 2)) and (-4 - (4 / -5) is less than or equal to -2)) and not not (-8 * -1 + -5 * -1 <= -6 * -7)) and (-8 - (-4 / -3) is less than or equal to -5)) and (False)\\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":[]}