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 $m$ is an integer, $m+5$ is an integer.
  • We can rewrite this as $n = 2m - 9 = 2(m - 5) + 1.$
  • 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)$
  • Suppose by way of contradiction that $n + 10$ is odd.
  • Let $n$ be an arbitrary even integer.
  • Since $n$ can be written as 2 times and integer plus 1, then $n$ must be odd, which is a contradition.
  • By the definition of even, there exists some integer $m$ such that $n = 2m$.
  • Then $n + 10 = 2m + 1$ for some integer $m$
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-09-19 11:11:53 (CDT)
Duration:
0s
Show/Hide answer
{
  "even-implies-even": [
    {
      "tag": "1",
      "uuid": "b8482f1d-5da0-412c-a6f8-589572ef9cd3",
      "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": "abd9667a-8f8b-4b94-b601-fe7db9f2f6b4",
      "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": "d6d9bfa2-03a8-4970-9746-da7f60cf77c4",
      "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": "dc14e402-4941-44ea-aacc-72f1b249839e",
      "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": "e48ac7d7-f44a-4b35-b760-9c878853bafa",
      "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": "b878866f-1cc2-4dc1-bb4f-fa92b03863d8",
      "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": "d5023997-e315-44eb-890f-650fd33c1ff7",
      "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": "e25d6ff0-0f42-4c73-bab6-cbd4e6f7363d",
      "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": "b0adcc4c-e9d4-4dc6-81b1-b4de4086c54c",
      "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": "f13ee75c-b2a6-4418-96c4-4af592db653d",
      "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": "f064d3ba-03f1-423d-8371-71ed473a4dd3",
      "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": "f3e85012-aa03-49e3-b501-5e86e97b65e4",
      "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": "f79f0667-26f0-4985-add6-f951eb2c302c",
      "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": "c94dcfdd-69a2-41ca-9c54-f9e3455ade38",
      "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": "dfeac198-145e-4d03-8ead-b5760506503d",
      "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": "abff78e4-9b43-4c13-a640-03eec60a279d",
      "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": "a4aa51b2-d7a5-4dc2-a4f5-aa1e7068eb21",
      "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