# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

100 results; page 4/4.

## Question 35611: Induction Proof Obligations

- ID: `q-20260914-induction-proof-obligation-0016`; number: 35611
- Processing: second_context_reviewed
- MKO: [mko-mathematical-induction](/en/mko/mko-mathematical-induction/)
- Family: [qf-induction-proof-obligation](/en/explore/?family=qf-induction-proof-obligation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-induction-proof-obligation-0016/) / [Markdown](/en/questions/q-20260914-induction-proof-obligation-0016/index.md) / [JSON](/data/question-derivations/questions/q-20260914-induction-proof-obligation-0016.json)

## Question 35612: Induction Proof Obligations

- ID: `q-20260914-induction-proof-obligation-0017`; number: 35612
- Processing: second_context_reviewed
- MKO: [mko-mathematical-induction](/en/mko/mko-mathematical-induction/)
- Family: [qf-induction-proof-obligation](/en/explore/?family=qf-induction-proof-obligation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-induction-proof-obligation-0017/) / [Markdown](/en/questions/q-20260914-induction-proof-obligation-0017/index.md) / [JSON](/data/question-derivations/questions/q-20260914-induction-proof-obligation-0017.json)

## Question 35613: Induction Proof Obligations

- ID: `q-20260914-induction-proof-obligation-0018`; number: 35613
- Processing: second_context_reviewed
- MKO: [mko-mathematical-induction](/en/mko/mko-mathematical-induction/)
- Family: [qf-induction-proof-obligation](/en/explore/?family=qf-induction-proof-obligation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-induction-proof-obligation-0018/) / [Markdown](/en/questions/q-20260914-induction-proof-obligation-0018/index.md) / [JSON](/data/question-derivations/questions/q-20260914-induction-proof-obligation-0018.json)

## Question 35614: Induction Proof Obligations

- ID: `q-20260914-induction-proof-obligation-0019`; number: 35614
- Processing: second_context_reviewed
- MKO: [mko-mathematical-induction](/en/mko/mko-mathematical-induction/)
- Family: [qf-induction-proof-obligation](/en/explore/?family=qf-induction-proof-obligation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-induction-proof-obligation-0019/) / [Markdown](/en/questions/q-20260914-induction-proof-obligation-0019/index.md) / [JSON](/data/question-derivations/questions/q-20260914-induction-proof-obligation-0019.json)

## Question 35615: Induction Proof Obligations

- ID: `q-20260914-induction-proof-obligation-0020`; number: 35615
- Processing: second_context_reviewed
- MKO: [mko-mathematical-induction](/en/mko/mko-mathematical-induction/)
- Family: [qf-induction-proof-obligation](/en/explore/?family=qf-induction-proof-obligation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-induction-proof-obligation-0020/) / [Markdown](/en/questions/q-20260914-induction-proof-obligation-0020/index.md) / [JSON](/data/question-derivations/questions/q-20260914-induction-proof-obligation-0020.json)

## Question 35781: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0001`; number: 35781
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0001/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0001/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0001.json)

## Question 35782: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0002`; number: 35782
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0002/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0002/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0002.json)

## Question 35783: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0003`; number: 35783
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0003/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0003/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0003.json)

## Question 35784: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0004`; number: 35784
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0004/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0004/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0004.json)

## Question 35785: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0005`; number: 35785
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0005/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0005/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0005.json)

## Question 35786: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0006`; number: 35786
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0006/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0006/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0006.json)

## Question 35787: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0007`; number: 35787
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0007/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0007/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0007.json)

## Question 35788: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0008`; number: 35788
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0008/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0008/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0008.json)

## Question 35789: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0009`; number: 35789
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0009/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0009/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0009.json)

## Question 35790: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0010`; number: 35790
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0010/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0010/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0010.json)

## Question 35791: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0011`; number: 35791
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0011/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0011/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0011.json)

## Question 35792: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0012`; number: 35792
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0012/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0012/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0012.json)

## Question 35793: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0013`; number: 35793
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0013/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0013/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0013.json)

## Question 35794: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0014`; number: 35794
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0014/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0014/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0014.json)

## Question 35795: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0015`; number: 35795
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0015/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0015/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0015.json)

## Question 35796: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0016`; number: 35796
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0016/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0016/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0016.json)

## Question 35797: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0017`; number: 35797
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0017/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0017/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0017.json)

## Question 35798: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0018`; number: 35798
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0018/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0018/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0018.json)

## Question 35799: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0019`; number: 35799
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0019/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0019/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0019.json)

## Question 35800: Explicit Evaluation of an Algebraic Expression

- ID: `q-20260914-variable-expression-evaluation-0020`; number: 35800
- Processing: second_context_reviewed
- MKO: [mko-variable-expression](/en/mko/mko-variable-expression/)
- Family: [qf-variable-expression-evaluation](/en/explore/?family=qf-variable-expression-evaluation)
- Batch: [batch-20260914-domain-foundations](/en/explore/?batch=batch-20260914-domain-foundations)
- [Derivation](/en/questions/q-20260914-variable-expression-evaluation-0020/) / [Markdown](/en/questions/q-20260914-variable-expression-evaluation-0020/index.md) / [JSON](/data/question-derivations/questions/q-20260914-variable-expression-evaluation-0020.json)