In strictest sense, an expression such as $1+2+3$ isn't even defined, only $(1+2)+3$ and $1+(2+3)$ are. It is the law of associativity that allows us to interchange the latter two expressions and motivates the usual convention of dropping parentheses altogether in such sums. In view of this, the "right" to evaluate a sum in arbitrary order is already implicit in the legitimiacy of leaving out parentheses. Similar for products.
The fact that we write $1+2\cdot 3$ without parentheses, although $(1+2)\cdot 3$ and $1+(2\cdot 3)$ differ, is not based on an arithmetic law, but rather on the convention that multiplication and division precede addition and subtraction. That is, $1+2\cdot 3$ is really a shorthand for $1+(2\cdot 3)$ whereas there is no shorthand for $(1+2)\cdot 3$.
Finally, a similar convention, namely that the non-associative operation of subtraction (as well as division) are to be done left to right. That is, of the two expressions $(1-2)-3$ and $1-(2-3)$, only the first has a shorthand notation of $1-2-3$.
Note however that exponentiation is not associative, e.g. $(2^3)^4\ne 2^{(3^4)}$. Since the former can be written simply as $2^{3\cdot4}$, we have the convention that the expression $2^{3^4}$ is a shorthand for $2^{(3^4)}$.
I think the best way to view this is in for of a tree where each node is either a leaf labelled with a number or (if the node has a left and a right subtree) an operator $+,-,\cdot,/$ or epxonetiation. You may additionally introduce negative signs and functions as unary operators (nodes with one subtree). For associative operations such as addition and multiplication, you may loosen these rules and allow more than two subtrees. This tree determines the order of operation (note that there are no parentheses needed to build the tree): In order to perform an addition, subtraction etc. you need to first compute the two subtrees and then combine these two results accordingly. Note that the overall sequence of operation is only very loosely defined/restricted by this: You can first evaluate the left tree, then the right tree, or vice versa, or intertwined. Only the "top" operation must be last. This is all there is behind the rules of precedence and parentheses: They clarify which of several possible trees is intended.
BOMDAS is just an acronym - Subtracting a number is the same as adding a negative number, while division is just multiplying by a number's multiplicative inverse. So it doesn't matter what order you do addition/subtraction on.
I don't understand your side question - but I think that you mean if BOMDAS should apply to both $3+7-6/2$ and $3\times(1+2)+2^2+2x = x$, which it does. The first expression simplifies to $7$, while the equation simplifies to $3(3)+2^2+2x = x\implies 3(3)+4+2x=x\implies 9 + 4+2x=x\implies13+2x=x\implies x=-13$
Best Answer
Think of it as $$ 80 \div 10 \cdot 5 $$ Since $\div$ and $\cdot$ have the same precedence. However, depending on the context is might also mean $\frac{80}{10 \cdot 5}$., but that is almost never the case unless you have brackets around $10 \cdot 5$.