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:
  • Since $m$ is integer, $m-5$ is integer
  • Since $n$ can be written as 2 times and integer plus 1, then $n$ must be odd, which is a contradition.
  • Since $m$ is an integer, $m+5$ is an integer.
  • Suppose by way of contradiction that $n + 10$ is odd.
  • We can rewrite this as $n = 2m - 9 = 2(m - 5) + 1.$
  • By the definition of even, there exists some integer $m$ such that $n = 2m$.
  • Then $n + 10 = 2m + 1$ for some integer $m$
  • Let $n$ be an arbitrary even integer.
  • Therefore, $n + 10$ is an even integer.
  • So $n + 10$ can be rewritten as $2$ times some integer
  • Then we know that $n + 10 = 2m + 10 = 2(m + 5)$
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:38:07 (CDT)
Duration:
0s
Show/Hide answer
{
  "even-implies-even": [
    {
      "tag": "1",
      "uuid": "d7a67b8d-2512-4747-b015-9825ddc4deff",
      "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": "a10495b3-5926-4180-bb0e-ccb1ca5cc7ec",
      "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": "b8e5d420-1990-4ba8-850b-83d5699af6f5",
      "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": "e8372fb2-0fc4-47a8-bc85-04442e7dc27c",
      "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": "cf0ba82b-0b5e-4e71-8fae-ded3b295fde9",
      "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": "fd54baf9-f295-42f5-9b18-5af7875a90de",
      "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": "c029a6c7-17e6-4aa0-a69f-e83cba3edb0a",
      "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": "cf69c045-20ac-4ca4-ada0-a748e58e8621",
      "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": "e448948e-0eb1-4ff3-8e15-0f8a2c056b24",
      "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": "bb661558-6d6f-43a9-8af4-391497884914",
      "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": "e6d7971f-eecb-4d4c-80db-281e0a14cdb5",
      "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": "f601e4f9-6a8c-4974-b688-14156a227171",
      "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": "a2d9acba-d8a5-42c2-9af7-1c161c27487f",
      "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": "a6547050-2194-43d8-a62b-457b0211d2b2",
      "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": "a3d73a81-d7f4-4837-98d2-ce5ef53a2b24",
      "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": "cd119694-9011-45b3-91bd-a1acc620a515",
      "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": "f8209848-82bc-4946-98cb-085b0e57aa3f",
      "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