Let p = -2397 - -2415. Solve 3*s - 9 = -3*z + p, 4*z - 28 = -2*s for s.
4
Suppose 0 = 5*y - 5*z, -y - 20 = -3*y - 3*z. Suppose h + 20 = 4*u, 0*h - y*h + 5 = u. Solve 13 = n - 3*d, d + h = -5*n + 17 for n.
4
Let w(f) = -f**3 + 16*f + 5. Let d be w(4). Suppose h - 4 = 5*r, -2*h + 9 = -d*r + 1. Solve 3*o + o - 2*l = 8, h*o = 4*l + 12 for o.
1
Let y® = -12*r + 6*r - 7 + 9*r. Let d be y(4). Solve d*b - 19 = 4*u + 16, 3*u + 3*b + 6 = 0 for u.
-5
Let u = -4028 + 4059. Solve -f + 5*f = 5*k - u, 2*f - k + 11 = 0 for f.
-4
Suppose -5*g + 25 = 0, -16 = -4*m - 3*g + 19. Solve 0 = -3*f + 3*k + 3, -3*f + m*k + 9 = -0*k for f.
-2
Suppose -14*v + 37 = -19. Suppose 1 = -a - 2, p + v*a + 6 = 0. Solve 2*y - 4 = -j - 0*j, -2*j - 2*y + p = 0 for j.
2
Let i be (-19 - -23)/(-1 + 13⁄11). Suppose 4*f + z - 3*z = 0, 3*z = -5*f + i. Solve 0 = -2*j + f*u - 18, -6*u + 40 = -4*j - u for j.
-5
Let v(l) = -2*l**2 + 27*l - 24. Suppose -5*f = -5*a - 50, -4*f - a = -3*f - 14. Let m be v(f). Solve 2*x - 5*t + 9 = -m, -3*t + 17 = x for x.
2
Let y(f) = 9*f - f - 5*f + 2. Let h be y(0). Solve q = b + h*b + 3, -2 = 2*b + 3*q for b.
-1