Suppose 0 = 2*h - h + 15. Suppose -2*b + 63 = -2*n - b, 0 = -5*n - 4*b - 138. Let r = h - n. Solve -5*o + 2*o = r for o.
-5
Let i = -1 - -5. Suppose t = 3*c - 8*c + 161, 4*t - 116 = -4*c. Suppose -2*h - c = -5*l, h = 3*l - 4*h - 35. Solve -l*v - i = 6 for v.
-2
Let c(w) = -w3 + 3*w2 + 4*w + 2. Let b be c(4). Suppose -b*a - 3*a = -160. Suppose -5*q - a = -5*n - q, 5*n - q - 23 = 0. Solve -4*d - 16 = n for d.
-5
Let r be 2 + 1 - 0/(-8). Solve -r*v + 1 = -2 for v.
1
Let d be 56⁄10 - 2/(-5). Suppose -3 = -3*m + 3. Suppose -m*j + 4*k = 16, 5*j - 5*k + 20 = j. Solve j - d = -3*c for c.
2
Suppose -u + 2*u = 0. Suppose 6 = -3*l, -3*l - 16 = -2*c - u*c. Solve -2*o + 9 = -c*o for o.
-3
Suppose 0*u - 5*u - o + 35 = 0, -14 = -2*u + o. Solve 2*r = -u + 1 for r.
-3
Suppose 2*b - 5*q = 12, 5*b + 3*q + 1 + 0 = 0. Solve 4*i = 5*i - b for i.
1
Let o(m) = 3*m**2 + 2*m - 1. Suppose -2*n + 0 = -2. Let r be o(n). Solve -r = -5*c + 1 for c.
1
Let h = -60 + 61. Let l be (1 + 4)*(-3)/(-5). Solve h = -l*v - 2 for v.
-1