How to isolate a variable within multiple ceiling and floor functions?

Blue's comment in the original post had the answer. My simple formula given at the bottom was just a different way of writing my more complex formula. Once Blue pointed that out, I was able to make the necessary substitutions to find what I was looking for.

prove that $(p,mp]$ will always contain at least $y-1$ cubes

Collatz $4n+1$ rule?

If $f \colon M \to N$ is surjective, $K \subseteq \ker f \subseteq M$, and $M/K \cong N$, does that imply $K = \ker f$?

Showing that $\lim_{h\rightarrow0}\max_{y\in[x,x+h]}f(y)=f(x)$

Compactness of automorphic quotient - quaternion group and $\mathrm{GL}_{2}$

Hoeffding type inequality for bounding deviation of a sequence

If sequences $A$ and $B$ satisfy $A,B=B,A$ then $A$ and $B$ are concatenations of the same sequence

Prove that $\text{Id}_{\text{dom }\mathcal R}⊆\mathcal R^{-1}∘\mathcal R$ and $\text{Id}_{\text{rank }\mathcal R}⊆\mathcal R∘\mathcal R^{-1}$

Problem handling free groups in algebraic topology

Find all the natural numbers between $1 \leq a \leq 1000$ which fulfill $a^{11764} \equiv a^4\pmod{25725}$ [duplicate]

How can $\sqrt{x^2}=|x|$ [duplicate]

Can Cauchy Schwarz inequality be proven using Jensen's inequality?