Let w(v) = v3 + 8*v2 + 6*v - 3. Let y be w(-7). Suppose 2*z - 3*t + 3 = 0, -2*z = -y*t - 0*t + 4. Solve -2*i + 10 + z = 0 for i.
5
Let c = -24 + 24. Solve c = -5*u - 0 - 15 for u.
-3
Suppose -15*n + 2 = -13. Solve n + 19 = 4*g for g.
5
2
Let n = -2 + -1. Let k® = -3*r + 1. Let f be k(n). Let o be (6/(-5))/((-3)/f). Solve -y - o*y = 20 for y.
-4
Suppose -3*k = 0, 2 = 2*c - k - 0. Solve 0 = 5*a - c - 4 for a.
1
Suppose -4 = -w - 0. Suppose w*q - 8*q = 0. Solve -2*o + 4 + q = 0 for o.
2
Let n(x) = 4*x**2 + x - 1. Let s be n(1). Let w = s + -1. Solve -9 = -3*r - w for r.
2
Suppose 1 - 11 = -2*k. Suppose -4*b = -2*f - 38, 25 = 3*b - b + k*f. Solve 0 = r + r - b for r.
5
Suppose -2*t - j = 25, -j - 8 = t + 4. Let a = -9 - t. Solve -a*w = w - 5 for w.
1