Let i(j) = j3 + 3*j2 - j. Let z be i(-3). Suppose 2*u - 5 = -s, -u = z*s + 2*s - 25. Let a = -11 + 21. Solve u = 2*w - 0 - a for w.
5
Let i(h) = h + 7. Let v be i(-5). Suppose -4*b - 18 = -7*b - 3*y, -2*b = -5*y + 16. Suppose 3*m + 2*q - q = 0, -b*q = 3*m + 3. Solve -r - m - v = 0 for r.
-3
Suppose 16 = -4*p - 0. Let s = 9 + p. Solve -7 - 3 = -s*i for i.
2
Let o = -17 - -16. Let k be (-1 + 1)/((-2)/o). Solve g - 3*g = k for g.
0
Let a be ((-12)/(-18))/((-2)/3). Let u be (a - -1)*(-3 + 4). Solve y + 4 + u = 0 for y.
-4
Let i = 6 + -4. Suppose -i*f = -f - 4. Solve 2*w = 3*w + f for w.
-4
Suppose 10*a - 6 = 14. Solve a*n = -0*n + 4 for n.
2
Let o = -10 - -13. Solve 2*k - o*k = -3 for k.
3
Let n = 43 - 39. Solve -n*p - 7 = -15 for p.
2
Let x(z) = -z**2 + 3*z + 2. Let k be x(2). Suppose 0*r - 20 = -5*r. Suppose 0 = -r*m + k. Solve -3*f + m = -2 for f.
1