diff --git a/collects/tests/typed-scheme/succeed/symbols.rkt b/collects/tests/typed-scheme/succeed/symbols.rkt
deleted file mode 100644
index cf7fd44e2a..0000000000
--- a/collects/tests/typed-scheme/succeed/symbols.rkt
+++ /dev/null
@@ -1,24 +0,0 @@
-#lang typed/racket
-
-(: foo Symbol)
-(: bar Symbol)
-
-(define foo 'foo)
-(define bar 'bar)
-
-(symbol? foo)
-(symbol? 2)
-
-(symbol-interned? foo)
-(symbol-interned? (string->unreadable-symbol "bar"))
-(symbol-interned? (string->uninterned-symbol "bar"))
-(symbol-interned? (gensym foo))
-
-(symbol-unreadable? (gensym))
-(symbol-unreadable? foo)
-(symbol-unreadable? (string->unreadable-symbol "bar"))
-(symbol-unreadable? (string->uninterned-symbol "bar"))
-
-(symbol->string foo)
-(string->symbol (symbol->string foo))
-
diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
index fbe55655d2..b6d0d86ade 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
@@ -941,6 +941,25 @@
         (tc-e (string-locale-ci<? "a" "A") B)
         (tc-e (string-locale-ci>? "a" "A") B)
 
+        ;Symbols
+
+        (tc-e (symbol? 'foo) #:ret (ret B (-FS -top -bot)))
+        (tc-e (symbol? 2) #:ret (ret B (-FS -bot -top)))
+
+        (tc-e (symbol-interned? 'foo) B)
+        (tc-e (symbol-interned? (string->unreadable-symbol "bar")) B)
+        (tc-e (symbol-interned? (string->uninterned-symbol "bar")) B)
+        (tc-e (symbol-interned? (gensym 'foo)) B)
+
+        (tc-e (symbol-unreadable? (gensym)) B)
+        (tc-e (symbol-unreadable? 'foo) B)
+        (tc-e (string->unreadable-symbol "bar") -Symbol)
+        (tc-e (string->uninterned-symbol "bar") -Symbol)
+
+        (tc-e (symbol->string 'foo) -String)
+        (tc-e (string->symbol (symbol->string 'foo)) -Symbol)
+
+
 
         )
   (test-suite