本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261018-r04-prime-number-foundations · 2026-10-13 · 100 題
自然數質數。操作=prime-divisor-classification；資料={"p":0}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(0, 所有正自然數, 否, 否)
擴展基礎核對=(0, 所有正自然數, 否, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":1}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(1, [1], 否, 否)
擴展基礎核對=(1, [1], 否, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":2}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(2, [1, 2], 是, 是)
擴展基礎核對=(2, [1, 2], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":3}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(3, [1, 3], 是, 是)
擴展基礎核對=(3, [1, 3], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":4}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(4, [1, 2, 4], 是, 否)
擴展基礎核對=(4, [1, 2, 4], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":5}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(5, [1, 5], 是, 是)
擴展基礎核對=(5, [1, 5], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":6}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(6, [1, 2, 3, 6], 是, 否)
擴展基礎核對=(6, [1, 2, 3, 6], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":7}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(7, [1, 7], 是, 是)
擴展基礎核對=(7, [1, 7], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":8}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(8, [1, 2, 4, 8], 是, 否)
擴展基礎核對=(8, [1, 2, 4, 8], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":9}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(9, [1, 3, 9], 是, 否)
擴展基礎核對=(9, [1, 3, 9], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":10}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(10, [1, 2, 5, 10], 是, 否)
擴展基礎核對=(10, [1, 2, 5, 10], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":11}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(11, [1, 11], 是, 是)
擴展基礎核對=(11, [1, 11], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":12}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(12, [1, 2, 3, 4, 6, 12], 是, 否)
擴展基礎核對=(12, [1, 2, 3, 4, 6, 12], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":13}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(13, [1, 13], 是, 是)
擴展基礎核對=(13, [1, 13], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":14}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(14, [1, 2, 7, 14], 是, 否)
擴展基礎核對=(14, [1, 2, 7, 14], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":15}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(15, [1, 3, 5, 15], 是, 否)
擴展基礎核對=(15, [1, 3, 5, 15], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":16}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(16, [1, 2, 4, 8, 16], 是, 否)
擴展基礎核對=(16, [1, 2, 4, 8, 16], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":17}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(17, [1, 17], 是, 是)
擴展基礎核對=(17, [1, 17], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":18}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(18, [1, 2, 3, 6, 9, 18], 是, 否)
擴展基礎核對=(18, [1, 2, 3, 6, 9, 18], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":19}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(19, [1, 19], 是, 是)
擴展基礎核對=(19, [1, 19], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":20}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(20, [1, 2, 4, 5, 10, 20], 是, 否)
擴展基礎核對=(20, [1, 2, 4, 5, 10, 20], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":21}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(21, [1, 3, 7, 21], 是, 否)
擴展基礎核對=(21, [1, 3, 7, 21], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":22}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(22, [1, 2, 11, 22], 是, 否)
擴展基礎核對=(22, [1, 2, 11, 22], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":23}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(23, [1, 23], 是, 是)
擴展基礎核對=(23, [1, 23], 是, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-divisor-classification；資料={"p":24}。請依 [p,positive_divisors_or_all,p_at_least_2,prime] 的欄序回答。
(24, [1, 2, 3, 4, 6, 8, 12, 24], 是, 否)
擴展基礎核對=(24, [1, 2, 3, 4, 6, 8, 12, 24], 是, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-divisor-classification · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":0}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(0, 不適用, 否)
擴展基礎核對=(0, 不適用, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":1}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(1, 不適用, 否)
擴展基礎核對=(1, 不適用, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":2}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(2, 2, 是)
擴展基礎核對=(2, 2, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":33}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(33, 3, 否)
擴展基礎核對=(33, 3, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":34}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(34, 2, 否)
擴展基礎核對=(34, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":35}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(35, 5, 否)
擴展基礎核對=(35, 5, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":36}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(36, 2, 否)
擴展基礎核對=(36, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":37}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(37, 37, 是)
擴展基礎核對=(37, 37, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":38}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(38, 2, 否)
擴展基礎核對=(38, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":39}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(39, 3, 否)
擴展基礎核對=(39, 3, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":40}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(40, 2, 否)
擴展基礎核對=(40, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":41}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(41, 41, 是)
擴展基礎核對=(41, 41, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":42}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(42, 2, 否)
擴展基礎核對=(42, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":43}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(43, 43, 是)
擴展基礎核對=(43, 43, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":44}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(44, 2, 否)
擴展基礎核對=(44, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":45}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(45, 3, 否)
擴展基礎核對=(45, 3, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":46}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(46, 2, 否)
擴展基礎核對=(46, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":47}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(47, 47, 是)
擴展基礎核對=(47, 47, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":48}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(48, 2, 否)
擴展基礎核對=(48, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":49}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(49, 7, 否)
擴展基礎核對=(49, 7, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":50}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(50, 2, 否)
擴展基礎核對=(50, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":51}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(51, 3, 否)
擴展基礎核對=(51, 3, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":52}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(52, 2, 否)
擴展基礎核對=(52, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":53}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(53, 53, 是)
擴展基礎核對=(53, 53, 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-smallest-factor；資料={"n":54}。請依 [n,smallest_factor_or_不適用,prime] 的欄序回答。
(54, 2, 否)
擴展基礎核對=(54, 2, 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-smallest-factor · candidate
自然數質數。操作=prime-factor-witness；資料={"n":20,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(20, 2, 是, 10, 合數見證成立)
擴展基礎核對=(20, 2, 是, 10, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":22,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(22, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(22, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":24,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(24, 5, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(24, 5, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":26,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(26, 2, 是, 13, 合數見證成立)
擴展基礎核對=(26, 2, 是, 13, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":28,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(28, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(28, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":30,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(30, 5, 是, 6, 合數見證成立)
擴展基礎核對=(30, 5, 是, 6, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":32,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(32, 2, 是, 16, 合數見證成立)
擴展基礎核對=(32, 2, 是, 16, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":34,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(34, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(34, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":36,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(36, 5, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(36, 5, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":38,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(38, 2, 是, 19, 合數見證成立)
擴展基礎核對=(38, 2, 是, 19, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":40,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(40, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(40, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":42,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(42, 5, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(42, 5, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":44,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(44, 2, 是, 22, 合數見證成立)
擴展基礎核對=(44, 2, 是, 22, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":46,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(46, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(46, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":48,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(48, 5, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(48, 5, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":50,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(50, 2, 是, 25, 合數見證成立)
擴展基礎核對=(50, 2, 是, 25, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":52,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(52, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(52, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":54,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(54, 5, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(54, 5, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":56,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(56, 2, 是, 28, 合數見證成立)
擴展基礎核對=(56, 2, 是, 28, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":58,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(58, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(58, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":60,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(60, 5, 是, 12, 合數見證成立)
擴展基礎核對=(60, 5, 是, 12, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":62,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(62, 2, 是, 31, 合數見證成立)
擴展基礎核對=(62, 2, 是, 31, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":64,"d":3}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(64, 3, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(64, 3, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":66,"d":5}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(66, 5, 否, 不適用, 不是非平凡因數見證)
擴展基礎核對=(66, 5, 否, 不適用, 不是非平凡因數見證)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-factor-witness；資料={"n":68,"d":2}。請依 [n,d,valid,quotient_or_不適用,classification] 的欄序回答。
(68, 2, 是, 34, 合數見證成立)
擴展基礎核對=(68, 2, 是, 34, 合數見證成立)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-factor-witness · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":0,"hi":20}。請依 [lo,hi,primes,count] 的欄序回答。
(0, 20, [2, 3, 5, 7, 11, 13, 17, 19], 8)
擴展基礎核對=(0, 20, [2, 3, 5, 7, 11, 13, 17, 19], 8)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":5,"hi":25}。請依 [lo,hi,primes,count] 的欄序回答。
(5, 25, [5, 7, 11, 13, 17, 19, 23], 7)
擴展基礎核對=(5, 25, [5, 7, 11, 13, 17, 19, 23], 7)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":10,"hi":30}。請依 [lo,hi,primes,count] 的欄序回答。
(10, 30, [11, 13, 17, 19, 23, 29], 6)
擴展基礎核對=(10, 30, [11, 13, 17, 19, 23, 29], 6)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":15,"hi":35}。請依 [lo,hi,primes,count] 的欄序回答。
(15, 35, [17, 19, 23, 29, 31], 5)
擴展基礎核對=(15, 35, [17, 19, 23, 29, 31], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":20,"hi":40}。請依 [lo,hi,primes,count] 的欄序回答。
(20, 40, [23, 29, 31, 37], 4)
擴展基礎核對=(20, 40, [23, 29, 31, 37], 4)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":25,"hi":45}。請依 [lo,hi,primes,count] 的欄序回答。
(25, 45, [29, 31, 37, 41, 43], 5)
擴展基礎核對=(25, 45, [29, 31, 37, 41, 43], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":30,"hi":50}。請依 [lo,hi,primes,count] 的欄序回答。
(30, 50, [31, 37, 41, 43, 47], 5)
擴展基礎核對=(30, 50, [31, 37, 41, 43, 47], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":35,"hi":55}。請依 [lo,hi,primes,count] 的欄序回答。
(35, 55, [37, 41, 43, 47, 53], 5)
擴展基礎核對=(35, 55, [37, 41, 43, 47, 53], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":40,"hi":60}。請依 [lo,hi,primes,count] 的欄序回答。
(40, 60, [41, 43, 47, 53, 59], 5)
擴展基礎核對=(40, 60, [41, 43, 47, 53, 59], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":45,"hi":65}。請依 [lo,hi,primes,count] 的欄序回答。
(45, 65, [47, 53, 59, 61], 4)
擴展基礎核對=(45, 65, [47, 53, 59, 61], 4)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":50,"hi":70}。請依 [lo,hi,primes,count] 的欄序回答。
(50, 70, [53, 59, 61, 67], 4)
擴展基礎核對=(50, 70, [53, 59, 61, 67], 4)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":55,"hi":75}。請依 [lo,hi,primes,count] 的欄序回答。
(55, 75, [59, 61, 67, 71, 73], 5)
擴展基礎核對=(55, 75, [59, 61, 67, 71, 73], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":60,"hi":80}。請依 [lo,hi,primes,count] 的欄序回答。
(60, 80, [61, 67, 71, 73, 79], 5)
擴展基礎核對=(60, 80, [61, 67, 71, 73, 79], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":65,"hi":85}。請依 [lo,hi,primes,count] 的欄序回答。
(65, 85, [67, 71, 73, 79, 83], 5)
擴展基礎核對=(65, 85, [67, 71, 73, 79, 83], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":70,"hi":90}。請依 [lo,hi,primes,count] 的欄序回答。
(70, 90, [71, 73, 79, 83, 89], 5)
擴展基礎核對=(70, 90, [71, 73, 79, 83, 89], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":75,"hi":95}。請依 [lo,hi,primes,count] 的欄序回答。
(75, 95, [79, 83, 89], 3)
擴展基礎核對=(75, 95, [79, 83, 89], 3)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":80,"hi":100}。請依 [lo,hi,primes,count] 的欄序回答。
(80, 100, [83, 89, 97], 3)
擴展基礎核對=(80, 100, [83, 89, 97], 3)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":85,"hi":105}。請依 [lo,hi,primes,count] 的欄序回答。
(85, 105, [89, 97, 101, 103], 4)
擴展基礎核對=(85, 105, [89, 97, 101, 103], 4)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":90,"hi":110}。請依 [lo,hi,primes,count] 的欄序回答。
(90, 110, [97, 101, 103, 107, 109], 5)
擴展基礎核對=(90, 110, [97, 101, 103, 107, 109], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":95,"hi":115}。請依 [lo,hi,primes,count] 的欄序回答。
(95, 115, [97, 101, 103, 107, 109, 113], 6)
擴展基礎核對=(95, 115, [97, 101, 103, 107, 109, 113], 6)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":100,"hi":120}。請依 [lo,hi,primes,count] 的欄序回答。
(100, 120, [101, 103, 107, 109, 113], 5)
擴展基礎核對=(100, 120, [101, 103, 107, 109, 113], 5)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":105,"hi":125}。請依 [lo,hi,primes,count] 的欄序回答。
(105, 125, [107, 109, 113], 3)
擴展基礎核對=(105, 125, [107, 109, 113], 3)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":110,"hi":130}。請依 [lo,hi,primes,count] 的欄序回答。
(110, 130, [113, 127], 2)
擴展基礎核對=(110, 130, [113, 127], 2)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":115,"hi":135}。請依 [lo,hi,primes,count] 的欄序回答。
(115, 135, [127, 131], 2)
擴展基礎核對=(115, 135, [127, 131], 2)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate
自然數質數。操作=prime-interval-inventory；資料={"lo":120,"hi":140}。請依 [lo,hi,primes,count] 的欄序回答。
(120, 140, [127, 131, 137, 139], 4)
擴展基礎核對=(120, 140, [127, 131, 137, 139], 4)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；0與1不是質數；因數檢查必須完整到平方根界。
自然數質數 · qf-ext18-prime-interval-inventory · candidate