Let q be (-5)/(-10)*(-1 - -1). Solve 0*h - h + 2 = q for h.
2
Let x(u) = -u3 - 2*u2 + 3*u + 3. Let o be x(-3). Let b be (6/(-8))/(o/12). Let q be ((-12)/10)/(b/20). Solve -3*i - q = i for i.
-2
Let y(g) = -g3 - 2*g2. Let i be y(-2). Solve i = -d + 2*d + 3 for d.
-3
Let w(g) = 2*g3 - 2*g2 + 2. Let r be w(2). Let m = r + -10. Solve -2 = 2*u - m for u.
-1
Suppose 0 = -0*k + 2*k - 12. Let y = 6 - k. Solve -5*v = -y*v for v.
0
Let x(l) = l - 7. Let q(b) = 2*b - 13. Let y(z) = 2*q(z) - 5*x(z). Let d be y(7). Suppose -d*a + 3*a = 4*n - 17, n - 17 = -4*a. Solve -1 - a = u for u.
-4
Let z = -14 - -20. Suppose -z = 3*t - 6*t. Suppose 0*n + i = t*n - 16, i = 0. Solve j - n = 5*j for j.
-2
Let c = 17 - 12. Suppose 4*q + 116 = 40. Let p = q + 40. Solve -p = -4*g - c for g.
4
Let v(x) = -3*x + 78. Let z be v(25). Solve 0 = -4*w + z - 11 for w.
-2
Suppose 4*h + 7 = -0*h - 3*g, -3*g - 15 = 0. Solve h*c + c = -9 for c.
-3