Ruby 2.7 + gem install humanize, 61 bytes
require'humanize'
f=->v{(1..13).any?{_1.humanize.count(v)<1}}
Ruby 2.7 -n, (削除) 104 (削除ここまで) 90 bytes
Saved 10 bytes by removing duplicate chars from number names.
p %w[one two thre four five six sevn eight nie ten elvn twelv thiren].any?{_1.count($_)<1}
TIO uses an older version of Ruby, while in Ruby 2.7, we've numbered parameters, i.e., _1, which saves 2 bytes.
vrintle
- 3k
- 1
- 14
- 34