Let m = -6 - -6. Suppose m = 5*d - 0*d. Suppose z - 5 = -d*z. Solve -5 = z*o - 0 for o.
-1
Suppose 3*p + p - 8 = 0. Suppose q - 28 = -5*d, -q - p*d + 23 = 2*d. Solve -2 - 1 = -q*r for r.
1
Suppose -2*x + 2*v - 2 = -3*x, 5 = -5*v. Let a = -4 + x. Suppose a*c + 5*c = 10. Solve -c*u - 3*u = 25 for u.
-5
Suppose -5 = d - 0*d. Let v(k) = k3 + 4*k2 - 6*k - 3. Let a be v(d). Solve l + a*l = 12 for l.
4
Let h(u) = 0 - u2 - 3*u2 + 1 + 17*u**2. Let j be h(1). Suppose -j = -5*n + 1. Solve -5 = -n*x - 11 for x.
-2
Let c be (-14)/(-4) - 5⁄10. Suppose 2*m = -c*m. Suppose -f + 0*f = 4*a - 16, a + 2*f = 11. Solve 2*s - 5 - a = m for s.
4
Suppose -6*o = -2*o - 24. Solve -5*u + 19 = -o for u.
5
Let h = -7 + 11. Suppose s = 5*s - 20, -h*w = -s + 5. Solve w = 2*d - 7 + 3 for d.
2
Let i(z) = -z + 6. Let r be i(6). Let p be 0*(1⁄2 - 1). Suppose -9 = -3*l - 0, 5*d - 5*l - 5 = p. Solve r*g + d*g = 4 for g.
1
Let d(i) = 5*i2 - i + 4 - 2*i2 + i3 - 2*i2. Let c be d(0). Solve c*o - 16 + 0 = 0 for o.
4