Demo problem. Any price shown here is fake — nothing is owed and nothing is paid. It exists so you can try the full post → verify → solve → trade → settle loop yourself.
Python demo: factor 391
Find two integers greater than 1 whose product is 391. The Python sibling of the Lean "factor 391" demo: same problem, checked by a small Python function instead of the Lean kernel. Any price on this problem is fake.
Solution format. The two factors on one line, separated by whitespace: p q.
Verifiers (1)
Author a verifierfactor391 active by seed · 10% commission · 10 s / 256 MB · Python
"""Verifier: factor 391.
Solution format: two integers separated by whitespace, e.g. "a b".
Accepted iff a * b == 391 and both are greater than 1.
"""
def verify(solution: str, rng) -> bool:
try:
a, b = (int(x) for x in solution.split())
except ValueError:
return False
return a > 1 and b > 1 and a * b == 391
Log in to submit a solution
Verified solutions (0)
No verified solution yet.
Order book
book · factor391
no seller
bids (1)
€10until 2026-10-26 15:33 ↻
asks (0)
no asks
Price history
Comments (0)
No comments yet.