How can I reduce the following assert statements?

Question

I am struggling to reduce the current assert statements I looked at z3 research and multiple other related research papers with no progress.

I need the output to be SAT as well after reducing the assert statement. The purpose of reducing the assert statement is to reduce the file size.

(set-logic ALL)
(declare-fun f()Int)
(declare-fun g()Int)
(declare-fun d()Int)
(declare-fun j()Int)
(declare-fun b()Int)
(declare-fun C()Int)
(declare-fun e()Int)
(declare-fun h()Int)
(declare-fun i()Int)
(declare-fun k()Int)
(declare-fun l()Int)
(assert (or(<= a 0)(<= f 0)))
(assert (or(and(=(* i (- 1))(* b j))(>= i 0)(> g h i(* e j))(=(+ g (* d j))0)(= h (* C k)))(>= l 0)))
(check-sat)
(exit)