We know that a Closed Convex Polytope may be regarded as the set of solutions to the system of linear inequalities:
$$\begin{array}{ccc}{a_{11} x_{1} +a_{12} x_{2}+\cdots+a_{1 n} x_{n}}\leq b_{1} \\ {a_{21} x_{1}+a_{22} x_{2}+\cdots+}{a_{2 n} x_{n} \leq b_{2}} \\ {\vdots} \\ {a_{m 1} x_{1}+a_{m 2} x_{2}+\cdots+a_{m n} x_{n}}\leq b_{m}\end{array}$$
This can be concisely written as the matrix inequality $Ax≤b$, where $A$ is an $m×n$ matrix, $x$ is an $n×1$ column vector of variables, and $b$ is an $m×1$ column vector of constants.
My question is, for a given system of inequalities, how do I know the solution region is a Bounded Convex Polytope?
You can consider maximizing and minimizing each $x_i$ over your feasible set. These are $2n$ linear programs, each of which can run in polynomial time. If one of these is unbounded, then the polyhedron is unbounded. If all of them are bounded, then the polyhedron lives inside of the product of intervals given by the bounds you found, so it is bounded.
Note that linear program solvers can figure out if the max is $\infty$, they don't just run forever; for instance, being unbounded is equivalent to dual being infeasible but the primal being feasible. Both of these can be checked again by a linear program solver, using the reduction in the answer here: how to check whether feasible solutions exist for linear programming.
Also, polytope is the standard terminology for a bounded polyhedron, at least in the CS and combinatorics literature.