Let h = 6 - 0. Let q = h + 1. Solve 17 - q = -2*i for i.
-5
Let t(i) = -i**3 - i. Let l be t(0). Solve 3*d + d + 8 = l for d.
-2
Suppose 0 = i - 2*i + 11. Let t be 17⁄3 + (-4)/6. Suppose i = 3*l + t. Solve -l*w = 2*w for w.
0
Let t(q) = -4 + 4 - 1 + 6*q. Let o be t(1). Suppose 0 = 3*y - 3, 56 = 3*w - 4*y - 0*y. Solve -o*i + 0 = -w for i.
4
Let a = 5 + -5. Suppose a = -2*z + 4*z - 2. Solve 0 = -l - 2 - z for l.
-3
Suppose -31 = -5*c - 11. Solve 0 = u + c - 6 for u.
2
Let f = 18 - 13. Solve 0 = f*r - 2*r for r.
0
Let z(x) = -x + 11. Let o be z(8). Solve -o*j - 21 = -6 for j.
-5
Let k(s) = 2*s**2 - 2*s - 2. Let h be k(3). Suppose d - 6*d + h = 0. Solve d*a + a = -9 for a.
-3
Suppose 4*j - 24 = 4*g, 3*g - 32 = 3*j - 5*j. Let q be (j/(-4))/(2/(-4)). Solve 0 = -2*h + q*h - 6 for h.
2