Let v = -6 - -13. Suppose 0 = 3*s - q - v, -3*s + s = -2*q - 2. Solve 0 = o - 0 + s for o.
-3
Let a(o) = -o3 - 2*o + 5 + 6*o2 + 5*o + 4*o + 0*o. Let q be a(7). Solve -22 + 2 = q*x for x.
-4
Let d(p) = p3 + 5*p2 + 4*p + 3. Let y be d(-4). Suppose 117*r - 104 = 109*r. Let x = 0 + 4. Solve -r - y = -x*c for c.
4
Let r = -43 - -62. Solve 4 = 5*a + r for a.
-3
Let s be 6 + 1/(-1) - 2. Solve 2 + 1 = -s*a for a.
-1
Let y be -3*3/((-18)/10). Suppose 0 = -5*l - 2*c - 20 + 5, 21 = 4*l - y*c. Let t be 3/(3⁄1) + l. Solve t*q - 3 = q for q.
-3
Let y = 12 - 12. Suppose y = -2*t - t + 12. Solve 0 = -v + t*v + 3 for v.
-1
Let n = 8 - 3. Suppose -2 = -n*z + 18. Solve -16 = -4*u + z for u.
5
Let j = 0 - 0. Suppose 0 = q + o, -2*o = -j*q - 2*q. Let f = 3 + q. Solve f*z - 9 = -0*z for z.
3
Let q be 3*(-4)/(-8)*2. Solve 0 = 4*j - 13 - q for j.
4