Let s(u) = 1 + 1 - u + 6. Let g = -25 + 30. Let l be s(g). Solve -2*a + l*a + 2 = 0 for a.
-2
Suppose -5*n - 3*v + 11 = -1, 3*n = 4*v + 13. Suppose 3 = -s + 2*r, -4*r - 16 = -4*s - 3*r. Suppose -2*h - 2 = -4. Solve s = n*u - h for u.
2
Suppose -2*c - 42 = -o, 4*o - 4*c + 31 = 183. Let a = 30 + -21. Suppose 5*f = -a + o. Solve -4 + 9 = -f*n for n.
-1
Suppose x = -x + 16. Solve -z - z = -x for z.
4
Let j = 147 + -143. Solve 20 = -j*m + 12 for m.
-2
Let k = -3 + 7. Suppose 4*p + 2*b - 2 = -4, 12 = p - 2*b. Suppose t + 5 = p*t. Solve t*g = k*g - 1 for g.
-1
Let k be ((-10)/(-3))/(10⁄45). Suppose 4*i = 9 + k. Suppose -2*h + 3*h = 3. Solve i = t + h for t.
3
Let g(p) = p**2 + 3*p + 2. Let b be g(-4). Suppose 9 = 2*w + 3*x, w = 2*x + x. Suppose w*j - j = b. Solve 3*f + j = -3 for f.
-2
Let c be (-9)/(-4) - 1⁄4. Suppose 15 = 3*r + r - 5*y, -y - 4 = -r. Suppose -1 = r*g - 6. Solve -w - c = g for w.
-3
Suppose 0 = -171*c + 165*c + 90. Solve -h + c = -4*h for h.
-5