Let v(k) = 5*k**2 + 3k. Let c be v(-2). Let d be 7((-10)/c + 1). Solve d + 3 = 5*g for g.
1
Let k = -12 + 16. Solve -2 = k*d + 2 for d.
-1
Suppose -2*g + 4 + 11 = b, -10 = -2*g. Solve 1 + b = -3*z for z.
-2
Suppose -4*b - 4 = -6*b. Let z(o) = 2*o3 + o2 - 2. Let j(x) = x3 + x2 - x. Let s(w) = j(w) - z(w). Let g be s(0). Solve 0 = g*i + b for i.
-1
Suppose 3*u - 5*i = -1 - 10, 3*i - 12 = 0. Suppose 3*c = 19 - 10. Solve -u*k + 2*k = -c for k.
3
Suppose -11 - 14 = -o + 5*z, -5 = 2*o + z. Solve -l + 2 = -o for l.
2
Suppose -3*g = -4*n - 2*g + 25, 0 = 4*g + 4. Solve -2*u + 5*u = -n for u.
-2
Suppose -3*f = -8*f. Solve f = -4*d - 1 + 5 for d.
1
Let b = 15 + -11. Suppose 5 = 5*n - b*q, 4*n + 0*q - 45 = -5*q. Suppose n = 2*j + 1. Solve j*w - 10 = -0*w for w.
5
Suppose 5*q - 6 = 3*q. Solve p - 16 = -q*p for p.
4