# 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 1/4.

## Question 18801: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0051`; number: 18801
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0051/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0051.json)

## Question 18802: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0052`; number: 18802
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0052/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0052.json)

## Question 18803: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0053`; number: 18803
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0053/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0053.json)

## Question 18804: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0054`; number: 18804
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0054/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0054.json)

## Question 18805: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0055`; number: 18805
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0055/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0055.json)

## Question 18806: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0056`; number: 18806
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0056/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0056.json)

## Question 18807: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0057`; number: 18807
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0057/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0057.json)

## Question 18808: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0058`; number: 18808
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0058/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0058.json)

## Question 18809: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0059`; number: 18809
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0059/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0059.json)

## Question 18810: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0060`; number: 18810
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0060/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0060.json)

## Question 18811: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0061`; number: 18811
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0061/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0061.json)

## Question 18812: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0062`; number: 18812
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0062/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0062.json)

## Question 18813: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0063`; number: 18813
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0063/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0063.json)

## Question 18814: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0064`; number: 18814
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0064/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0064.json)

## Question 18815: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0065`; number: 18815
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0065/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0065.json)

## Question 18816: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0066`; number: 18816
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0066/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0066.json)

## Question 18817: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0067`; number: 18817
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0067/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0067.json)

## Question 18818: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0068`; number: 18818
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0068/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0068.json)

## Question 18819: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0069`; number: 18819
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0069/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0069.json)

## Question 18820: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0070`; number: 18820
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0070/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0070.json)

## Question 18821: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0071`; number: 18821
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0071/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0071.json)

## Question 18822: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0072`; number: 18822
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0072/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0072.json)

## Question 18823: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0073`; number: 18823
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0073/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0073.json)

## Question 18824: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0074`; number: 18824
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0074/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0074.json)

## Question 18825: Restore Input Signs in the Extended Euclidean Witness

- ID: `q-20261014-advance-20261105-r03-euclidean-algorithm-0075`; number: 18825
- Processing: second_context_reviewed
- MKO: [mko-euclidean-algorithm](/en/mko/mko-euclidean-algorithm/)
- Family: [qf-mod36-euclid-bezout-certificate](/en/explore/?family=qf-mod36-euclid-bezout-certificate)
- Batch: [batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0075/) / [Markdown](/en/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r03-euclidean-algorithm-0075.json)

[Next](/en/explore/index.md?batch=batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations&page=2)
