Let i(h) = 2*h3 + 4*h2 + 2*h. Let y be i(-2). Let s = y - -7. Suppose 5*f + s*t + 12 = 0, -4*t - 17 + 1 = 0. Solve f*j - 10 = 5*j for j.
-2
Let m(v) = v - 3. Let a be m(3). Suppose a = -3*i + i + 14. Let s = i + -5. Solve s*l - l = -4 for l.
-4
Suppose 5*s - 4 = 11. Solve 0 = s*h - 8*h + 15 for h.
3
Let v be -2 + (-2)/((-2)/9). Suppose -3*o + 2*k + 7 = k, o + 2*k = 7. Suppose y - v = -o. Solve y*u - 14 = -34 for u.
-5
Let i be -15*((-8)/(-10))/(-2). Let o(q) = q**2 + q + 3. Let c be o(-4). Solve c = -y + i*y for y.
3
Let s = -13 - -17. Let k = s + -4. Solve -5*u + 10*u - 5 = k for u.
1
Let j(z) = -z**2 - z + 2. Suppose 0 = q - 3*q. Suppose -2*o = -p + 5 + 2, q = -4*o - 3*p + 1. Let a be j(o). Solve a*r = 2*r for r.
0
Let r(i) = -i3 + i2 + 4*i - 3. Let w be (3 + 0)*10⁄15. Let p be r(w). Suppose 0 = n - 4 + p. Solve -n*z + 5 = -10 for z.
5
Let q = 5 + -4. Solve -q = -n + 2 for n.
3
Let c be (-5)/10 - (-39)/(-6). Let i = -2 - c. Solve i*r + 6 = -9 for r.
-3