Let z(k) = k**2 + k + 6. Let c be z(-6). Suppose 2*y + y = c. Suppose -2*t - 2*o = -y, -3 = -2*t + o - 0. Solve 8*i = t*i - 10 for i.
-2
Suppose 0*j = 4*j - 20. Solve -32 = -j*v - 7 for v.
5
Suppose -3*p + 4 = -p. Let y be 8⁄10*5/p. Let q = -6 + 9. Solve -y = i - q for i.
1
Let o = 0 + 2. Suppose 5*h - 14 = o*x - 0*h, -3*x - 2*h + 17 = 0. Let a(v) = -v3 + 3*v2 - 2*v + 1. Let y be a(2). Solve 2*d - x = y for d.
2
Let w be 1 - (2 + 1 + 4). Let v be w/(-8) + (-15)/(-12). Solve f - v - 3 = 0 for f.
5
Let w = 2 - 1. Suppose 1 + 8 = 3*k. Let l = k - w. Solve l*u - u = 5 for u.
5
Suppose 3*o - 6 = -0*o. Suppose -5*i = 5*u, i + o*u = -2*u - 15. Let m be (-1 + 0)/(1/(-4)). Solve i = p + m*p for p.
1
Suppose 5 = -f + 3, 2*f = 4*c - 12. Solve -c*v + 0 + 2 = 0 for v.
1
Let m(x) = x - 1. Let w(g) = 3*g. Let u be (-4)/(8/(-6)) + -2. Let r(b) = u*w(b) - 2*m(b). Let o be r(-2). Solve o - 2 = -z for z.
2
Suppose 2*o = -2o + 20. Let s be 3⁄9(-18)/(-2). Solve 0 = -s*m + 7 + o for m.
4