Suppose r = o - r - 1, 0 = -3*o - 5*r - 8. Let q be -2*1 + 2 + 1. Let t = q + o. Solve -3*b = -3 - t for b.
1
Let n be 2/(-4)*(3 + -2 + -5). Solve 4*t = n*t + 10 for t.
5
Let s be (-4 - -5) + 1⁄1. Suppose 10 = 7*m - s*m. Solve -m*u = -3*u for u.
0
Suppose -2*a - 6 = 0, 0 = s - a - 5. Suppose -7*n = -s*n. Solve 2*g = -n*g for g.
0
Let m = 18 - 18. Solve n + 1 = -m for n.
-1
Suppose 0 = c - 17 + 13. Solve -k + c*k = 0 for k.
0
Let c(l) = -2*l**2 + 3*l + 2. Let f be c(2). Solve -5 + f = 5*y for y.
-1
Suppose 32 = 5*s - 4*f, 0 = 2*s - 5*f - 16 - 7. Solve s*v + 6 = -2 for v.
-2
Let h(u) = 6*u - 4. Let n be h(4). Suppose 0 = -2*g - 4*c, -2*c = -2*g - c - n. Let i = g + 15. Solve 8 + i = -3*d for d.
-5
Let k be (1/(-2))/(1/(-4)). Solve -25 = -7*c + k*c for c.
5