| id |
satisfied |
message |
| Arithmetic_R1 (evaluation 1) |
satisfied |
$NetWorth=80000 = $Assets=100000 - $Liabilities=20000 |
| Arithmetic_R1 (evaluation 2) |
satisfied |
$NetWorth=85000 = $Assets=95000 - $Liabilities=10000 |
| Arithmetic_R1 (evaluation 3) |
satisfied |
$NetWorth=88000 = $Assets=90000 - $Liabilities=2000 |
| Arithmetic_R1 (evaluation 4) |
satisfied |
$NetWorth=82000 = $Assets=85000 - $Liabilities=3000 |
| Arithmetic_R1 (evaluation 5) |
satisfied |
$NetWorth=76000 = $Assets=80000 - $Liabilities=4000 |
| Arithmetic_R1 (evaluation 6) |
satisfied |
$NetWorth=71000 = $Assets=75000 - $Liabilities=4000 |
| Arithmetic_R1 (evaluation 7) |
satisfied |
$NetWorth=66000 = $Assets=70000 - $Liabilities=4000 |
| Arithmetic_R1 (evaluation 8) |
satisfied |
$NetWorth=61000 = $Assets=65000 - $Liabilities=4000 |
| Arithmetic_R1 (evaluation 9) |
satisfied |
$NetWorth=56000 = $Assets=60000 - $Liabilities=4000 |
| Arithmetic_R1 (evaluation 10) |
satisfied |
$NetWorth=51000 = $Assets=55000 - $Liabilities=4000 |
| Arithmetic_R1 (evaluation 11) |
satisfied |
$NetWorth=47000 = $Assets=50000 - $Liabilities=3000 |
| Arithmetic_R1 (evaluation 12) |
satisfied |
$NetWorth=42000 = $Assets=45000 - $Liabilities=3000 |
| Arithmetic_R1 (evaluation 13) |
satisfied |
$NetWorth=37000 = $Assets=40000 - $Liabilities=3000 |
| Arithmetic_R1 (evaluation 14) |
satisfied |
$NetWorth=32000 = $Assets=35000 - $Liabilities=3000 |
| Arithmetic_R1 (evaluation 15) |
satisfied |
$NetWorth=27000 = $Assets=30000 - $Liabilities=3000 |
| Arithmetic_R1 (evaluation 16) |
satisfied |
$NetWorth=23000 = $Assets=25000 - $Liabilities=2000 |
| Arithmetic_R1 (evaluation 17) |
satisfied |
$NetWorth=18000 = $Assets=20000 - $Liabilities=2000 |
| Arithmetic_R1 (evaluation 18) |
satisfied |
$NetWorth=13000 = $Assets=15000 - $Liabilities=2000 |
| Arithmetic_R1 (evaluation 19) |
satisfied |
$NetWorth=8000 = $Assets=10000 - $Liabilities=2000 |
| Arithmetic_R1 (evaluation 20) |
satisfied |
$NetWorth=3000 = $Assets=5000 - $Liabilities=2000 |
| Arithmetic_R1 (evaluation 21) |
satisfied |
$NetWorth=0 = $Assets=0 - $Liabilities=0 |