Over Q, ax+b=0 is linear only for a≠0; a=0 is a degenerate constant equation. Candidate a=0, b=1. Give (is a nonzero?, [1/1,b/a] or undefined, original solution class). Use all Q, no-solution, or single-solution n/d.
G001 — Over Q, ax+b=0 is linear only for a≠0; a=0 is a degenerate constant equation. Candidate a=0, b=1. Give (is a nonzero?, [1/1,b/a] or undefined, original solution class). Use all Q, no-solution, or single-solution n/d.
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
density14/15 use FULL-prefix underscores;density17 uses LOCAL hyphens.The coordinate and circle frames differ.Retain THIS family ordered answer roles/types and all original bilingual JSON/status.
Eligibility,the row after division by a,and the original solution set are SEPARATE fields.a=0 is a legal No/undefined row while the constant equation still has a solution class;all Q does not make it linear.
S003 · premise_and_result_audit — Reverse-check using the ORIGINAL data,types,indices and premises.Consistency auditing does not claim the conclusion uniquely determines its inputs.Keep finite candidates,independent review,formal proof and publication separate.
S002 · premise_and_result_audit — Reverse-check using the ORIGINAL data,types,indices and premises.Consistency auditing does not claim the conclusion uniquely determines its inputs.Keep finite candidates,independent review,formal proof and publication separate.
S001 · premise_and_result_audit — Reverse-check using the ORIGINAL data,types,indices and premises.Consistency auditing does not claim the conclusion uniquely determines its inputs.Keep finite candidates,independent review,formal proof and publication separate.
Result
(No, undefined, no-solution)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.