diff --git a/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls b/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls
new file mode 100644
index 00000000..467ea16f
--- /dev/null
+++ b/resources/testcases/regression/planning_engine/arithmetic_chain/run.rls
@@ -0,0 +1,9 @@
+%! Test related to 
+%! https://github.com/knowsys/nemo/issues/443
+
+A(1, 2).
+B(1, 10).
+
+C(?x, ?y * 5) :- A(?x, ?z), B(?x, ?v), ?y = ?z + ?v, ?y > 10 .
+
+@export C :- csv {}.
\ No newline at end of file
diff --git a/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv b/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv
new file mode 100644
index 00000000..af9c9e97
--- /dev/null
+++ b/resources/testcases/regression/planning_engine/arithmetic_chain/run/C.csv
@@ -0,0 +1 @@
+1,60
\ No newline at end of file