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:
  • Then $n + 10 = 2m + 1$ for some integer $m$
  • Then we know that $n + 10 = 2m + 10 = 2(m + 5)$
  • Therefore, $n + 10$ is an even integer.
  • So $n + 10$ can be rewritten as $2$ times some integer
  • Since $m$ is an integer, $m+5$ is an integer.
  • Suppose by way of contradiction that $n + 10$ is odd.
  • 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$.
  • We can rewrite this as $n = 2m - 9 = 2(m - 5) + 1.$
  • Since $m$ is integer, $m-5$ is integer
  • Let $n$ be an arbitrary even integer.
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:50:18 (CDT)
Duration:
0s
Show/Hide answer
{
  "even-implies-even": [
    {
      "tag": "1",
      "uuid": "fa142ed0-6d05-4e28-95f4-a78649304f0f",
      "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": "d59b485b-96aa-4786-b126-3bf818c0e3dc",
      "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": "c896e65c-587d-4017-9ac3-65dd85e078c6",
      "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": "c71b3d0c-9305-418c-96d5-371ac5245357",
      "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": "e2c5051c-0c97-4285-8581-5ef8fba6ff13",
      "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": "df68ba4f-8b48-4445-bcff-5806b557bd8b",
      "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": "cec9f3b1-2177-4cc8-a8de-82ab7fd78942",
      "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": "a6ec6eb3-c4bc-422b-b718-dd78b833fa21",
      "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": "dcbfc4c1-d6f5-4293-8ff8-24ee0e238843",
      "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": "a8184bf6-4626-4e12-affb-ea40541632e9",
      "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": "f230e892-7bc9-4add-91ab-48419af77692",
      "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": "c688f339-1065-4cd1-a540-83f036a40697",
      "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": "a100e4be-c954-462f-b1f9-2ab238d5edaa",
      "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": "b3dabf21-1b68-4aea-a661-954a79bf610c",
      "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": "e10f3e31-c7cb-4b16-8849-c558e1a237f6",
      "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": "ba55c323-e81b-4087-9e59-f157c085d158",
      "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": "d0b38e1b-5157-4353-b71f-0db3937bdaca",
      "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