l1 = Sequence(Sequence[(j, k), k, -30, 30], j, -30, 30)
A = Point(l1)
f(x) = x^(3) + x^(2) + (x(A) * x) + y(A)
B, C, D = Intersect(f, xAxis)
E: (x(A), y(A))
a = IsInteger(x(B))
b = IsInteger(x(C))
c = IsInteger(x(D))
Cdefined = Defined(C)
Int1: a ∧ (¬Cdefined) ∨ c ∧ (¬a) ∨ b ∧ (¬a)
Int2: a ∧ b ∧ (¬Defined[D])
Int3: a ∧ b ∧ c
IntAny: Int1 ∨ Int2 ∨ Int3
F: (x(A), y(A))
G: (x(A), y(A))
d: a + b + c
g = Factor(f)
h(x) = ((x + 1)^(2) * (x - 3))
p = Expand(h)