Let t(o) = -o - 9. Let k be t(-6). Let l be (1⁄2 - k)*2. Solve -2*i - 5 = -l for i.
1
Let r(s) = s**2 - s + 2. Suppose 0 = 3*n + 2*z - 1 - 1, 3*n - z = -1. Let o be r(n). Solve 0 = v + o - 3 for v.
1
Suppose 0 = -2*h - 0*h + 10. Suppose -v + 5 = 5*p, -h = -4*p - p - 5*v. Let k(y) = y3 + 2*y2 - 3*y - 3. Let g be k(-2). Solve 0 = 2*b + g + p for b.
-2
Let p(o) = o**2 + 3*o - 2. Let x be p(-3). Let a = 2 + x. Suppose v - 4*c - 23 = a, -5*c - 1 + 6 = v. Solve 5*b = -5 - v for b.
-4
Suppose n + 3 = 2*n. Suppose 0 = n*f, -4*f + f = 4*c - 16. Solve 0 = -c*u + 7*u - 6 for u.
2
Let t be 4⁄6*(9 + 3). Let o = 23 - t. Solve 4*l + 5 = -o for l.
-5
Suppose -10 = -4*x - x. Solve 0 = x*i - 3*i for i.
0
Let b = 86 + -86. Suppose 2*q = 3 + 3. Solve 3 = -q*s - b for s.
-1
Suppose 0 = -5*m - 4 - 11. Let y = m - -6. Solve -y*w + 16 - 4 = 0 for w.
4
Let i = 241 - 239. Suppose -8*v - 50 = -5*a - 6*v, -10 = -a + 4*v. Let u be 2/(-5) - (-34)/a. Solve u*c = -i*c for c.
0