Let l = -8 + 13. Let t(q) = q2 + 2*q + 0*q2 - l + 4*q. Let w be t(-7). Solve 3 + 1 = w*r for r.
2
Let z(d) = 3*d. Let f(o) = o. Suppose 4*q = -2*l + 8, 3*l + 2*q - 4 = -2*q. Let c(i) = l*f(i) + z(i). Let a be c(-3). Solve -a*g = -0*g + 9 for g.
-3
Let b = 2 + 0. Let j be (2 + (-15)/6)*0. Suppose 2*v = -j*v + 4. Solve x - v*x = b for x.
-2
Let w = 8 + -3. Let v(m) = 4*m + m**2 + 0*m + 0*m. Let n be v(-4). Solve n + 15 = -w*c for c.
-3
Let b(u) = 2*u**2 + u + 2. Let k be b(-2). Let q = k + 6. Suppose -10 = 2*g, 2*x + 3*g = -3*x + 10. Solve -x*p + 11 = -q for p.
5
Suppose 4*b = 2*b + 10. Let k = b - 2. Solve 0 = -0*z - k*z + 12 for z.
4
Let t(b) = 0*b3 - b - 2*b2 + 2*b + 5*b**3. Let n = 8 - 7. Let m be t(n). Solve -q - m = q for q.
-2
Let k = 20 + -20. Solve k*s = 3*s + 9 for s.
-3
Let y = 14 + -10. Suppose 0 = -2*c + 2*d + 4, y*c + 2*d - 16 - 10 = 0. Solve 0*p = c*p - 5 for p.
1
Suppose 5*k = 5*m + 5, -5*m = 2*k - 2 - 0. Suppose 2*q = -m*q. Suppose n - 2 = -q*n. Solve 2*s + n*s + 4 = 0 for s.
-1