We can multiply $a$ and $n$ by adding $a$ a total of $n$ times.
$$ n \times a = a + a + a + \cdots +a$$
Can we define division similarly using only addition or subtraction?
How to Divide Using Addition or Subtraction
arithmetic
Related Solutions
$\dfrac ab + \dfrac ac = a\left( \dfrac 1b + \dfrac 1c \right) = a(b+c) \div (bc) $
It is false that your PEDMSA rule (without the left-to-right rule) suffices to correctly evaluate any arithmetic expression.
$(6/3)/2 \color{red}\ne 6/(3/2)$.
$2^{(1^2)} \color{red}\ne (2^1)^{^2}$.
This shows that you still need the left-to-right rule when processing each arithmetic operation, and need the inside-out rule for exponentiation. It is true that with these rules in place, PEDMSA works. But the justification given by other existing answers is incomplete. To handle arbitrarily long arithmetic expressions, you will need induction. Also take note that exponentiation in some programming languages like Python have right-to-left associativity, so 2**1**2 is interpreted as 2**(1**2); this is obviously because there is no superscript in source code.
Here is the proof that PEDMSA+LTR+IO (namely PEDMSA with the left-to-right and inside-out rules) works for all arithmetic expressions involving $+,-,*,/$ and superscript-exponentiation and brackets, but no unary negation.
Take any expression $E$. By induction we can assume that PEDMSA+LTR+IO works for expressions that have fewer operations than $E$. Here parentheses are counted as operations. We shall analyze what happens when we apply PEDMSA+LTR+IO to $E$. We have the following cases:
$E$ has a parenthesis: The inner expression has fewer operations than $E$, and is hence evaluated correctly. After that, the resulting outer expression now has fewer operations than $E$, and hence we get the correct answer.
$E$ has no parentheses but has exponentiation: $E$ is reduced in the same way as conventionally (inside-out for chained exponentiations), so we get the correct answer.
$E$ has division and no higher-precedence operation: Let $p$ be the position of the first $/$ in $E$. By considering the $*$ operations immediately to the left of $p$, if any, it is clear that $E$ is of the form $\cdots [x * \cdots] y / z \,\cdots$, where there is no $*$ or $/$ immediately before $x$, and there is only a chain of $*$ between $x$ and $y$, and here the square-brackets in $[x * \cdots]$ denote that that subexpression is optional (it will not be there if whatever operation immediately to the left of $p$ is not $*$). Then the value of $E$ is $\cdots \Big( \big( [x * \cdots] y \big) / z \Big) \,\cdots = \cdots \Big( [x * \cdots] \big( y / z \big) \Big) \,\cdots$, and so our reduction results in an equal expression with fewer operations, and hence we get the correct answer.
$E$ has multiplication and no higher-precedence operation: $E$ is reduced in the same way as conventionally (leftmost $*$ first), so we get the correct answer.
$E$ has subtraction and no higher-precedence operation: $E$ is of the form $[x + \cdots] y - z \,\cdots$, where there is only a chain of $+$ between $x$ and $y$, or possibly $[x + \cdots]$ is empty (if the first operation is $-$). The value of $E$ is $\Big( \big( [x + \cdots] y \big) - z \Big) \,\cdots = \Big( [x + \cdots] \big( y - z \big) \Big) \,\cdots$, and so our reduction yields an equal expression with fewer operations, and hence we get the correct answer.
$E$ has only addition: Our reduction yields the correct answer because any reduction does.
I shall leave it as an exercise to extend this theorem and proof to cater for unary negation. One must think very carefully about how to amend the evaluation rules to correctly handle expressions like:
$-3/-1*--4--2*---5$
If you do not consider this valid, then you must decide and precisely specify what expressions are valid.
Best Answer
To divide $60$ by $12$ using subtraction:
$$\begin{align*} &60-12=48\qquad\text{count }1\\ &48-12=36\qquad\text{count }2\\ &36-12=24\qquad\text{count }3\\ &24-12=12\qquad\text{count }4\\ &12-12=0\qquad\;\text{ count }5\;. \end{align*}$$
Thus, $60\div 12=5$.
You can even handle remainders:
$$\begin{align*} &64-12=52\qquad\text{count }1\\ &52-12=40\qquad\text{count }2\\ &40-12=28\qquad\text{count }3\\ &28-12=16\qquad\text{count }4\\ &16-12=4\qquad\;\text{ count }5\;. \end{align*}$$
$4<12$, so $64\div 12$ is $5$ with a remainder of $4$.