It’s not in simplest terms.

t+(x/x)=t
t+1=t
1=t-t
1=0
QED
:)

I don’t know if you should be able to manipulate the right side like that, since the idea is you can only set variables on the right based on algorithms on the left?  Is a formula a simply an equation or is it an algorithm?
According to what I gleem from coldspell…

t + x/x = t

...would not be equivalent to either of these algorithmic clarifications:
t : = t + x/x
t(new) = t(old) + (x/x)

Or am I taking his post too seriously :)

But my question is, x+1=t doesn’t mean you can use t-1 = x, correct?  The right value is changed to the solution to plugging in the values of the variables of the left?

kaddar: I believe you are correct. The Formulas are used for setting the right-hand side, though I’m not sure if the “simplest form” rule means left-hand cannot reference the right-hand side variable..?

As far as I’m concerned, I would never erase a formula under “The Arbiter may erase any Formula that does not satisfy the above conditions” just because the LHS contains the variable of the RHS.  I do not, however, consider the expression “t+x/x” as being in simplest form.  Rodney’s equation “t-(w-100)=t” is okay, even if it could be expressed as “t-w+100=t”  This formula can be used to set the value for “t” but not for w.  Another example of a formula that I would not consider to be in simplest terms is “t+0*y=t” because of the multiplication by zero.  If anyone is desparate for a formula which would increase t by 1, I suggest “t+1+z/7777777777777=t”