--- 1806198.random8.output	2018-05-12 13:51:00.389312416 +0200
+++ random8.out	2018-05-02 18:11:04.021441774 +0200
@@ -1,2 +1,4 @@
-(((-5)+(+))+(-7))
+(((-5)+(-2))+(-7))
+((-7)+(-7))
+(-14)