Scala がインストールされ、正常に動作しています。
scalacheck.jar は /bin に配置されます。
次のコマンドを使用しました
$ scala -cp scalacheck.jar
その後、以下のコマンドを試したところ、
scala> import org.scalacheck.Prop.forAll
次のエラーが発生しました。
<console>:7: error: object scalacheck is not a member of package org
import org.scalacheck.Properties
^
scalacheck の使用に間違いを犯した可能性があります。Ubuntu でインタープリター モードで scalacheck を操作できるように、修正して適切なコマンドを提供してください。