Let w(d) = 2*d**2 + d. Let q be w(1). Let n = -453 - -458. Solve n*t + q = 28 for t.
5
Let y(g) = -g**2 - 6*g + 7. Let w be y(-6). Solve 5 = 2*z - w*z for z.
-1
Let w(z) = 9*z**2 - z. Let m be w(-1). Let l = m - 6. Let t = l + 0. Solve -t*g = -6 - 10 for g.
4
Suppose -q + 3 = -0. Suppose -3*c = -3*v + 9, -v - q = -6*v + c. Solve -3*p + 2*p - 4 = v for p.
-4
Suppose 0*t = 4*b - 3*t - 25, -4*b - 4*t = -4. Let m(v) = v**2 + 10*v - 48. Let c be m(-14). Suppose 0 = b*y - 0*y - c. Solve -2*s + y = -4 for s.
3
Let m = 16 + -7. Let i = m - 4. Solve i*g + 4 = 9 for g.
1
Let u(m) be the first derivative of -m4⁄4 + 5*m3⁄3 - 2*m2 + 2*m + 6. Let p(a) = -a3 - a**2. Let q be p(-2). Let y be u(q). Solve 1 = y*z - 1 for z.
1
Suppose -16 = -2*u - 5*q, 2*u = 2*q - 0 + 16. Solve -9*r + 3 = -u*r for r.
3
Let i(h) = -2*h3 - h2 + 1. Let q be i(-1). Solve -q*g = -g for g.
0
Let j(l) = l3 - 11*l2 + 10*l + 8. Let i be j(10). Solve -2*s - 2*s - i = 0 for s.
-2