Let s(o) = o - 7. Let k be s(15). Let n = k - 7. Solve 2*p - 3*p = n for p.
-1
Let f = 3 + -3. Suppose 0*d + 3 = -d + 5*p, -d = 2*p - 4. Suppose -c = 4*v - 0*c - 5, -d*c - 3 = -5*v. Solve f*j + v = j for j.
1
Let k be (-4)/16 - 19⁄4. Let v be 18⁄5 - 2/k. Solve 2*q = v*q + 2 for q.
-1
Let v = 2 - -1. Suppose 0 = w + 2*w + 4*o - 13, w - 4 = -o. Solve v*i - 3 = w for i.
2
Suppose 0 = -10*z + 5*z + 15. Solve 5*a + 12 + z = 0 for a.
-3
Let d = 170 - 169. Solve 0 = -3*n + d - 10 for n.
-3
Let n(i) = -i3 - i + 1. Let d(o) = 2*o3 + 4*o**2 - 2*o. Let q(u) = -d(u) - 3*n(u). Let c be q(3). Solve -t = -c*t + 4 for t.
2
Let x(v) = v - 10. Let h be x(8). Let a be h/(-13) - (-450)/117. Suppose -5*l + 24 = -c, -c + 4*l - 16 = 3*c. Solve a = y + c for y.
3
Let f = 5 + -3. Let k = 45 + -27. Let o(m) = m**2 - 6*m - 3. Let v be o(7). Solve v*h - f = k for h.
5
Let s = 87 + -77. Solve -3*f - s = 2*f for f.
-2