Let m be (-1)/(-3) + (-40)/(-6). Let h = m + -4. Solve -2*c = -3*c - h for c.
-3
Let t(i) = -i**2 + 6*i - 3. Let l = 8 + -4. Let n be t(l). Suppose 5*v + 0 = -3*o + 9, 15 = 2*v + n*o. Solve 3*k + 16 - 4 = v for k.
-4
Let u(l) = 2*l3 + 2*l2 - 2*l. Let g(n) = n3 + n2 - n. Let k© = 5*g© - 2*u©. Let v be k(0). Suppose 0 = -v*d - 3*d. Solve 3*x + d*x = 15 for x.
5
Suppose 2*v - 3*v - 2*a + 4 = 0, -5*a + 24 = -v. Let o = v - -3. Let u = 3 + o. Solve -u*j - j = 0 for j.
0
Suppose 2*l + 0*l = w + 1, 5*l - 15 = 0. Solve -w*j + j + 12 = 0 for j.
3
Let g = -58 + 61. Solve c - g = -4 for c.
-1
Suppose -5*c + j - 5 = -9, -4*j - 16 = -4*c. Solve c*n = -4*n + 4 for n.
1
Let m(n) = n - 4. Let u© = 2*c3 - 2*c2 + c. Let l be u(1). Let o be (14⁄2)/(0 + l). Let q be m(o). Solve 2*h - 3 = q for h.
3
Suppose 5*f - z + 3 = 0, -5*f + 2*z = 9 - 3. Let c = -17 - -25. Solve f = c*b - 3*b for b.
0
Let p(u) = -u3 + 7*u2 + 9*u - 4. Let h be 11 + 1/((-1)/3). Let z be p(h). Solve -2 = z*g + 18 for g.
-5