Let d(x) = -x3 - 4*x2 - x. Suppose -5*m + 15 = -2*m. Let q(s) = -2*s + 6. Let v be q(m). Let r be d(v). Solve -r*t - 1 = 3 for t.
-1
Let i be (0 - 0)/(-2) + 0. Suppose 5*o + 4*t = -0*t + 20, 0 = -2*o + t - 5. Let q = o - i. Solve -1 = -n - q for n.
1
Let w be (-1)/5 - 11/(-5). Let z = w + 2. Let l = 0 + z. Solve -1 = -r - l for r.
-3
Suppose -3*n = -28 - 23. Suppose 3*q + 2*z = n, 3*z = 12 - 0. Suppose -5*h = -2*h. Solve -y - q*y = h for y.
0
Let c(x) = -x3 + 10*x2 + 10*x + 13. Let z be c(11). Let q be (-4)/10 - 87/(-5). Suppose 0 = y - 3*y + 10. Solve y*v = z - q for v.
-3
Let x be -5*1/((-5)/3). Let z be (-3)/(((-15)/6)/5). Suppose 3*n - 4*n + z = 0. Solve x*l + 0*l = n for l.
2
Let i(o) = 2*o**2 + 4*o - 7. Let y be i(-4). Solve -y = -5*d + 11 for d.
4
Let j be ((-3)/3 - -2)*0. Solve -2 = -j*l + 2*l for l.
-1
Let f = 7 - 9. Let v be f/(-2)-1-19. Suppose 0 = 2*i - 0*i + 5*d + v, -2*i - 3*d - 9 = 0. Solve -s + i*s - 8 = 0 for s.
4
Let w be (-1*(-2 - -7))/(-1). Suppose -3*n + 32 = 5*y, -3*n + 8 = -4*y + 3*y. Suppose -n*j - 5*l = 5, -l = -2*j + j + 1. Solve -20 + j = -w*u for u.
4