Explore related knowledge and questions →
← Question derivation index · Original question batch
R0008-04790 · q-20261008-advance-20261011-r03-variable-expression-0015
All operations and evaluations are exact in Q, not truncated natural-number arithmetic. E(x)=(14)x+(7) is an expression, not an equation. Ordered x environments=[14/3, -15/2]. Give the two E values. Use exact reduced fractions with positive denominators, retaining /1 for integers.
G001 — All operations and evaluations are exact in Q, not truncated natural-number arithmetic. E(x)=(14)x+(7) is an expression, not an equation. Ordered x environments=[14/3, -15/2]. Give the two E values. Use exact reduced fractions with positive denominators, retaining /1 for integers.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.
Before
typed rational expression and explicitly given environment
After
evaluation,not solving an equation
Conditions: none
Evaluating an expression is not solving an equation;substitute only the supplied environment without inventing roots or changing bindings.
Rule: expression_environment_scope · Uses: G001
Before
environment0 ax := mul(14, 14/3)
After
environment0 ax = 196/3
Conditions: none
Substitute this environment's x into the product term.
Rule: exact_rational_arithmetic · Uses: G001, S001
Before
environment0 ax+b := sum(196/3, 7)
After
environment0 ax+b = 217/3
Conditions: none
Then add b from the same expression.
Rule: exact_rational_arithmetic · Uses: G001, S002
Before
environment1 ax := mul(14, -15/2)
After
environment1 ax = -105
Conditions: none
Substitute this environment's x into the product term.
Rule: exact_rational_arithmetic · Uses: G001, S003
Before
environment1 ax+b := sum(-105, 7)
After
environment1 ax+b = -98
Conditions: none
Then add b from the same expression.
Rule: exact_rational_arithmetic · Uses: G001, S004
Before
[217/3, -98/1]
After
ordered independent evaluations of the same expression
Conditions: none
Read both environments from the original data;the second evaluation does not inherit a mutated first substitution.When a=0 the constant expression is independent of x.
Rule: separate_expression_environments · Uses: G001, S005
S006 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.S005 · premise_and_result_audit — Recompute environment1 ax+b with exact rational arithmetic, not rounded decimals.S004 · premise_and_result_audit — Recompute environment1 ax with exact rational arithmetic, not rounded decimals.S003 · premise_and_result_audit — Recompute environment0 ax+b with exact rational arithmetic, not rounded decimals.S002 · premise_and_result_audit — Recompute environment0 ax with exact rational arithmetic, not rounded decimals.S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.(217/3, -98/1)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
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.
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 9fc3b38351e89f4804987c5a9b03d61c373ef30993c7cdb7f580c0f7d1b0a941candidate record SHA-256: ebb0ced6e39ce5f2ec0e521d6825f77f91c7a8569469fc510d2cc644730772d0semantic review receipt SHA-256: b6e05a3e8193a93db505dbf337528fca72e2e41528b1e92b698a3f0683d74289question-first witness SHA-256: caa8693baf0b91acd09a20215d1aa6954ae513fc0b0814f26ac1c8c834b60d67Lean: NOT_RUN · human review: NOT_PERFORMED