Let v(q) = q + 9. Let i = 9 + -14. Let p be v(i). Suppose 0 = 5*n - p*w - 20, 3*n + 0*w = 5*w + 25. Solve 3*a + 3 + 0 = n for a.
-1
Suppose -k - 1 = 0, 6*k + 1 = -4*a + k. Let y(t) = 6*t**3. Let j be y(a). Suppose -u - 4*r = -r - j, 2*u - 34 = 5*r. Solve -9*l + 5*l = u for l.
-3
Let g = 2 + -4. Let v = g + 5. Solve 8 = -f + v*f for f.
4
Suppose 5 = w + 10. Let n be (-4)/(-8) - w/2. Solve n*v = -0*v + 3 for v.
1
Let o be 4/(-16) - (-9)/4. Suppose -o*a + 2 = -2. Solve k = a*k + 2 for k.
-2
Let w(q) = -q - 4. Let r be w(-7). Solve -2 = -r*l + 10 for l.
4
Let s be (2 + -1)/(19⁄38). Solve 0 = 2*c + 4 + s for c.
-3
Let f(m) = 3*m3 + 5*m2 + 7*m - 5. Let r(a) = 7*a3 + 9*a2 + 15*a - 11. Let z(n) = 5*f(n) - 2*r(n). Let u be z(-6). Solve u*b - 15 = -2*b for b.
3
Let w be (-15)/(-2)*2⁄3. Suppose w*f = 2*f. Solve 0 = -j + 3 - f for j.
3
Suppose 3*u + 76 = -u. Let h = u + 21. Solve m + 3 = -h for m.
-5