5. Logic

Assign consistent truth values to the following statements in order to find the solution to this puzzle.

  1. The total number of true statements is even.
  2. The total number of true statements is odd.
  3. The answer word is obtained by chopping up the forty truth values into eight segments of equal length, and using a common five-bit encoding.
  4. The answer word is obtained by chopping up the forty truth values into five segments of equal length, and using a common eight-bit encoding.
  5. Exactly half of the first ten statements are true.
  6. If statement 7 is true, then statement 8 is true.
  7. There is a block of four or more consecutive false statements.
  8. The next statement is true.
  9. Of the statements numbered with a multiple of 9, at least half are true.
  10. Of the statements numbered with a multiple of 10, all are true.
  11. Of the statements numbered with a multiple of 11, all are true.
  12. Of the statements numbered with a number that gives a remainder of 2 after division by 8, at least one is false.
  13. If the next statement were replaced with "All of the statements beginning 'Of the statements' are true", its truth value would remain the same.
  14. If the previous statement were replaced with "If the next statement were replaced with "All of the statements beginning 'Of the statements' are false", its truth value would remain the same", its truth value would change.
  15. All or none of the next three statements are true.
  16. Each statement numbered with a number ending in 5 is false.
  17. Both the previous and next statements are false.
  18. The next two prime-numbered statements are false.
  19. Of the next three statements, an odd number are true.
  20. There are as many true statements preceeding this statement, as there are true statements following this statement.
  21. Exactly one of the previous and next statements are true.
  22. Statement 26 is true.
  23. The next statement is the first statement in the longest block of consecutive false statements.
  24. Either both or neither of the previous two statements are true.
  25. Statement 20 is false.
  26. Statement 36 is false.
  27. At least half of the statements numbered with a number divisible by four are true.
  28. More than half of the next five statements are true.
  29. If the next statement is true, then so is this one.
  30. Exactly one of the previous and next statements are true.
  31. Statement 6 is false, and statement 3 is true.
  32. Statement 15 is true.
  33. The previous statement is true.
  34. Of the next three statements, an even number are true.
  35. Exactly one-third of the true statements are numbered with a prime number.
  36. Exactly one of the previous and next statements are true.
  37. There is only one true statement on the list after this statement.
  38. Of the previous and next statements, either both or neither are true.
  39. Mathcamp 1999 was held in an fortified concrete bunker buried 100 feet below ground, and an unspecified location somewhere outside of Ft. Collins, Colorado.
  40. Mathcamp 1999 was held at the University of Washington in Seattle, Washington; and, of the statements which are labelled with a number giving a remainder of 4 on division by 6, the number which are true is a multiple of 3.  Well, either that, or this entire statement is false, and the clause after the semicolon in the previous sentence is false.