Element pl-order-blocks-optional: Dragging blocks to form one of the solutions to a problem

Drag and drop SOME of the following blocks to prove the statement:

Construct a python function that computes the sum of two numbers.

Drag from here:
  • 1
    def my_sum(first, second):
    
  • 1
    return sum
    
  • 1
    sum += first + second
    
  • 1
    sum += first
    
  • 1
    sum += second
    
  • 1
    sum = 0
    
Construct your solution here:
Drag and drop SOME of the following blocks to prove the statement:

If $n$ is an even integer, then $n + 10$ is also an even integer.

Drag from here:
  • So $n + 10$ can be rewritten as $2$ times some integer
  • Since $n$ can be written as 2 times and integer plus 1, then $n$ must be odd, which is a contradition.
  • Therefore, $n + 10$ is an even integer.
  • Since $m$ is integer, $m-5$ is integer
  • We can rewrite this as $n = 2m - 9 = 2(m - 5) + 1.$
  • Then $n + 10 = 2m + 1$ for some integer $m$
  • By the definition of even, there exists some integer $m$ such that $n = 2m$.
  • Then we know that $n + 10 = 2m + 10 = 2(m + 5)$
  • Since $m$ is an integer, $m+5$ is an integer.
  • Let $n$ be an arbitrary even integer.
  • Suppose by way of contradiction that $n + 10$ is odd.
Construct your solution here:

Correct answer

Student view placeholder

In student views this area is used for assessment and score info.
Tools

Staff information

Question

Title:
Element pl-order-blocks-optional: Dragging blocks to form one of the solutions to a problem

Variant

Started at:
2026-08-04 23:01:19 (CDT)
Duration:
0s
Show/Hide answer
{
  "even-implies-even": [
    {
      "tag": "1",
      "uuid": "ad7dcb7a-8a43-4f1a-ab57-e9fe999b13c1",
      "final": false,
      "index": 0,
      "indent": null,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Let $n$ be an arbitrary even integer.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "2",
      "uuid": "dec6bb09-6088-4356-8fe0-187525d0b8a0",
      "final": false,
      "index": 1,
      "indent": null,
      "depends": [
        "1"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "By the definition of even, there exists some integer $m$ such that $n =\n    2m$.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "3",
      "uuid": "abda9ec9-b1db-4d33-9db5-21ae43b3dfc9",
      "final": false,
      "index": 2,
      "indent": null,
      "depends": [
        "2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Then we know that $n + 10 = 2m + 10 = 2(m + 5)$",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "4",
      "uuid": "ec5ce432-b53f-4438-9ec6-4a16fb362885",
      "final": false,
      "index": 3,
      "indent": null,
      "depends": [
        "2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Since $m$ is an integer, $m+5$ is an integer.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "5",
      "uuid": "ab70076f-167c-44fe-b249-616135610542",
      "final": false,
      "index": 4,
      "indent": null,
      "depends": [
        "3",
        "4"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "So $n + 10$ can be rewritten as $2$ times some integer",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "7",
      "uuid": "c8e8214f-f1b9-432b-852a-3c9afda8d1a1",
      "final": false,
      "index": 5,
      "indent": null,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Suppose by way of contradiction that $n + 10$ is odd.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "8",
      "uuid": "e9abb54c-f068-4fef-8cc3-5b0b5c29fa9c",
      "final": false,
      "index": 6,
      "indent": null,
      "depends": [
        "7"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Then $n + 10 = 2m + 1$ for some integer $m$",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "9",
      "uuid": "e6689288-1111-46d4-9a85-0123a9bdf3cc",
      "final": false,
      "index": 7,
      "indent": null,
      "depends": [
        "8"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "We can rewrite this as $n = 2m - 9 = 2(m - 5) + 1.$ ",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "10",
      "uuid": "d097ed93-21a7-4d4c-904f-3bfa577b4cab",
      "final": false,
      "index": 8,
      "indent": null,
      "depends": [
        "8"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Since $m$ is integer, $m-5$ is integer ",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "11",
      "uuid": "c8ec1f80-237a-4685-bf93-f3b3c68f9073",
      "final": false,
      "index": 9,
      "indent": null,
      "depends": [
        "9",
        "10"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Since $n$ can be written as 2 times and integer plus 1, then $n$\n    must be odd, which is a contradition.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "6",
      "uuid": "c5f0f49a-b8e3-442b-a35d-49d58e0f003a",
      "final": true,
      "index": 10,
      "indent": null,
      "depends": [
        [
          "5"
        ],
        [
          "11"
        ]
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "Therefore, $n + 10$ is an even integer.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    }
  ],
  "python-plus-equals": [
    {
      "tag": "1",
      "uuid": "d968ac5c-8e5f-419a-bd51-a7a620d8eb18",
      "final": false,
      "index": 0,
      "indent": 0,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "<pl-code language=\"python\">def my_sum(first, second):</pl-code>",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "2",
      "uuid": "aa2ac9bf-7520-4be1-bad9-f159eabedcc3",
      "final": false,
      "index": 1,
      "indent": 1,
      "depends": [
        "1"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "<pl-code language=\"python\">sum = 0</pl-code>",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "3",
      "uuid": "fa1e7a19-8534-4f2d-aabe-a71f4daad966",
      "final": false,
      "index": 2,
      "indent": 1,
      "depends": [
        "2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "<pl-code language=\"python\">sum += first</pl-code>",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "4",
      "uuid": "dbdcbc30-a27f-4d36-b509-d16d408499df",
      "final": false,
      "index": 3,
      "indent": 1,
      "depends": [
        "2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "<pl-code language=\"python\">sum += second</pl-code>",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "5",
      "uuid": "a0d19c07-673e-4af9-9982-8e7c2fcaa1d6",
      "final": false,
      "index": 4,
      "indent": 1,
      "depends": [
        "2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "<pl-code language=\"python\">sum += first + second</pl-code>",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "6",
      "uuid": "bfe1b03c-904e-4235-b53e-89951f763307",
      "final": true,
      "index": 5,
      "indent": 1,
      "depends": [
        [
          "3",
          "4"
        ],
        [
          "5"
        ]
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "<pl-code language=\"python\">return sum</pl-code>",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    }
  ]
}
History
dec frac
rad deg