Let v = 10 + 2. Solve -2*p = p + v for p.
-4
Suppose -3*l = -6*l + 6. Suppose 0 = -l*j + 4. Solve 0 = -b + j*b + 2 for b.
-2
Let x be 1/((-6)/9)*4. Let c = -4 - x. Suppose 15 = c*o + o. Solve -5*a + o = -0 for a.
1
Suppose -11 = 3*z - 2. Let m be -3 - (z + (2 - 7)). Solve -7 = m*s + 8 for s.
-3
Suppose 5*o = 5*i + 3*o - 51, -4*o + 15 = 3*i. Solve -s = 2*s + i for s.
-3
Let x be ((-1)/(-3))/((-8)/(-120)). Solve -x*f = -3*f + 6 for f.
-3
Let c(p) = p**2 - 2*p + 1. Let x be c(0). Solve -2*k + 9 = x for k.
4
Suppose 9 = -0*y + 3*y. Suppose c + y*c - 60 = 0. Suppose t - 33 = -5*p, -3*p + c = t - 8. Solve 2*x = 6*x + t for x.
-2
Let q = 19 - 14. Suppose -q*l = -8*l + 24. Solve -l - 2 = 2*o for o.
-5
Let k = -9 + 11. Solve t = 3*t - k for t.
1