(* a = 859433;
   b = 859317;
   c = 756839;
   d = 756725;*)

    aMinvalue = 859000; (*range to check*)
    aMaxvalue = 859450;

    (*constraints*)
    a > b > c > d
    x = Differences[{(c - d), (a - b)}]
    x[[1]] < 12
    EvenQ[x[[1]]]

    x = (a - b)/(c - d)
    Numerator[x] == 58
    Denominator[x] == 57