diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
index f24c5e9108..bdbee85989 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
@@ -35,24 +35,12 @@
   ;;    ]
   ;; more likely to be floats
   [F* (real->double-flonum n) F] ; TODO fix pre-processing to avoid cast
-  [F (* F*)
-     (* F* F*)
-     (* F* F* F*)
-     (+ F*)
-     (+ F* F*)
-     (+ F* F* F*)
-     (- F*)
-     (- F* F*)
-     (- F* F* F*)
-     (/ F*)
-     (/ F* F*)
-     (/ F* F* F*)
-     (max F*)
-     (max F* F*)
-     (max F* F* F*)
-     (min F*)
-     (min F* F*)
-     (min F* F* F*)
+  [F (* F* ...)
+     (+ F* ...)
+     (- F* ...)
+     (/ F* ...)
+     (max F* ...)
+     (min F* ...)
      (add1 F*)
      (sub1 F*)
      (abs F*)
@@ -95,21 +83,11 @@
      (unsafe-fl/ F* F*)]
   ;; more likely to be integers
   [I* (exact-round n) I] ; TODO fix pre-processing to avoid cast
-  [I (* I*)
-     (* I* I*)
-     (* I* I* I*)
-     (+ I*)
-     (+ I* I*)
-     (+ I* I* I*)
-     (- I*)
-     (- I* I*)
-     (- I* I* I*)
-     (max I*)
-     (max I* I*)
-     (max I* I* I*)
-     (min I*)
-     (min I* I*)
-     (min I* I* I*)
+  [I (* I* ...)
+     (+ I* ...)
+     (- I* ...)
+     (max I* ...)
+     (min I* ...)
      (add1 I*)
      (sub1 I*)
      (abs I*)
@@ -128,36 +106,18 @@
      (lcm I* I*)
      (lcm I* I* I*)
      (arithmetic-shift I* I*)
-     (bitwise-and I*)
-     (bitwise-and I* I*)
-     (bitwise-and I* I* I*)
-     (bitwise-ior I*)
-     (bitwise-ior I* I*)
-     (bitwise-ior I* I* I*)
-     (bitwise-xor I*)
-     (bitwise-xor I* I*)
-     (bitwise-xor I* I* I*)
+     (bitwise-and I* ...)
+     (bitwise-ior I* ...)
+     (bitwise-xor I* ...)
      (bitwise-not I*)
      (integer-length I*)
      ]
-  [E (* E*)
-     (* E* E*)
-     (* E* E* E*)
-     (+ E*)
-     (+ E* E*)
-     (+ E* E* E*)
-     (- E*)
-     (- E* E*)
-     (- E* E* E*)
-     (/ E*)
-     (/ E* E*)
-     (/ E* E* E*)
-     (max E*)
-     (max E* E*)
-     (max E* E* E*)
-     (min E*)
-     (min E* E*)
-     (min E* E* E*)
+  [E (* E* ...)
+     (+ E* ...)
+     (- E* ...)
+     (/ E* ...)
+     (max E* ...)
+     (min E* ...)
      (add1 E*)
      (sub1 E*)
      (abs E*)