On the Subject of Puzzword

I imagine finding the disarm code is a simple matter of just putting in the right letters. I mean, it tells you exactly what they are.

The module displays a set of symbols which represent constraints on a set of six values from 1–26. Disarm the module by determining the correct values that satisfy all of the constraints, converting them to letters using A1Z26, and entering the letters.

Sometimes there are two pages of constraints; tap the screen at the top to toggle between them.

Input

  • The bottom 6 displays can be used to submit the 6-letter word. Tap any one of these displays to start entering letters. Keep tapping to cycle to the desired letter. Then tap another screen to start entering another letter there. The letters can be entered in any order.
  • After 5 seconds of no input, the module will disarm if the six screens are set to the correct letters, or register a strike otherwise.
  • An ongoing submission may be canceled by tapping the top screen before the 5 second timeout elapses.

Symbols

The following symbols are used to represent the six letter positions, in this order. These will be referred to as variables.

First
letter
Second
letter
Third
letter
Fourth
letter
Fifth
letter
Sixth
letter

The following four symbols represent base-4 digits. Numbers written in this way will be referred to as constants. Unless stated otherwise, constants are written horizontally from left to right or vertically from top to bottom.

= 0
= 1
= 2
= 3

Constraints

(constant is horizontal or a single digit)
This value is not present.
(constant is vertical and ≥ 2 digits)
Two of the variables add up to this value.
(top constant has smaller value)
There is a variable whose value is between the specified bounds (exclusive).
(right constant has smaller value)
One of these values is present, but not both.
(top constant has greater value)
There is a value outside the specified bounds (exclusive).
(right constant has greater value)
Both of these values are present, or neither.
No other variable is less than this one.
Another variable is less than this one.
No other variable is greater than this one.
Another variable is greater than this one.
This variable is a prime number.
This variable is not a prime number.
This variable is a square number.
This variable is not a square number.

(continued on next page)

Constraints (cont.)

This variable’s value is greater than this constant.
This variable’s value is less than this constant.
(constant is upside-down)
A variable later in the word than this one has this value.
A variable earlier in the word than this one has this value.
(constant is written from bottom to top)
(constant is horizontal or a single digit)
This variable’s value is divisible by this constant.
(constant is vertical and ≥ 2 digits)
This variable’s value is not divisible by this constant.
The constant is the sum of these variables.
The constant is the product of these variables.
(constant is upside-down)
The constant is the absolute difference of these variables.
The constant is the variable with the greater value divided by the other.
(constant is written from bottom to top)
(constant is horizontal or a single digit)
The constant is numerically between the variables’ values (exclusive).
(constant is vertical and ≥ 2 digits)
The difference between the variables is a multiple of the constant.

(continued on next page)

Constraints (cont.)

The base-10 concatenation of the larger-symbol variable followed by the smaller-symbol one is divisible by the constant.
The base-10 concatenation of the larger-symbol variable followed by the smaller-symbol one is not divisible by the constant.
(constant is upside-down)
The larger-symbol variable modulo the smaller-symbol one equals the constant.
The larger-symbol variable modulo the smaller-symbol one does not equal the constant.
(constant is written from bottom to top)
The two variables have different values.
The smaller-symbol variable’s value is less than the larger-symbol one.

Large-screen constraints

The variables on the left, when added, equal the variable on the right.
The variables on the right, when multiplied, equal the variable on the left.
The larger-symbol variable on the left modulo the smaller-symbol one equals the variable on the right.
The base-10 concatenation of the larger-symbol variable on the right followed by the smaller-symbol one is divisible by the variable on the left.