Let l(x) = 3*x3 - 15*x2 + 7*x + 1. Let n(i) = i3 - 7*i2 + 3*i + 1. Let k(w) = 2*l(w) - 5*n(w). Let z be k(-5). Let q = z + 1. Solve -2*r + q = 5 for r.
-1
Let u = -16 - -18. Suppose 0 = g + 4 - 0, -3*c + 28 = -4*g. Suppose -u*k = -0*k - c. Solve 2 = -v - k for v.
-4
Let h be ((-6)/4)/((-4)/8). Solve -h*r + 17 = 2 for r.
5
Suppose -6*g - 10 = -g. Let j be (0 - -2)/(g/8). Let z = j + 13. Solve -20 = -z*w - 0*w for w.
4
Let t be 3 - (2 + 2) - -13. Solve 3*l = -0*l - t for l.
-4
Let j be (-1)/3 - (-2)/6. Suppose 2*b - 2*c = -0*b + 16, -16 = -2*b - c. Suppose -2*p + 4*p = b. Solve j = -4*s - p for s.
-1
Let t be (-1)/(1 - (-2)/(-1)). Suppose -25 = -10*v + 5*v. Solve 21 - t = -v*u for u.
-4
Let a be 1 + (-2)/(2 - 0). Solve 3*r + 6 = -a*r for r.
-2
Suppose -3*p + 2*f = -34, -1 + 10 = 3*p + 3*f. Let q = -2 + p. Solve -4*k = -k + q for k.
-2
Suppose 2*j = 2*g - 6, -g - 2 = 2*j - 11. Solve g = 4*a + 9 for a.
-1