Let r be ((-10)/8)/((-1)/4). Suppose 0*k + 9 = 3*k. Let v = 1 + k. Solve r*x - v*x + 2 = 0 for x.
-2
Suppose 0*l = 2l + 4. Let f be l(-5)/(-2)*-1. Let b = f + -2. Solve v + b = 1 for v.
-2
Suppose -5*q + 4 = -6. Suppose 0 = q*f + 2*f. Let g(w) = w3 + w2 - w + 1. Let j be g(f). Solve 0*x - x = -j for x.
1
Suppose 10*i + 16 = 11*i. Let y = i - 6. Solve -4*j - y = 10 for j.
-5
Let z = 8 - 11. Let d = -5 - z. Let g be 3*(d - (-20)/6). Solve -3*y - g = -y for y.
-2
Let i be (-4 - -2)/(2⁄6). Let w be (-34)/i - 6⁄9. Let z be (-2)/(3 + 21/(-6)). Solve -w = -z*c + 3 for c.
2
Let y(n) = -n3 - n2. Let c be y(-1). Let q be (-16)/(-6) + 4/(-6). Solve c = -2*r - q for r.
-1
Suppose 0 = 2*t + 5*y - 24, -2*y - 2 = -3*y. Let n be (-1 + (0 - t))/(-2). Let p(w) = w**2 - 6*w - 2. Let j be p(7). Solve j*r = n*r - 4 for r.
-4
Let n be 1/(-1 + (-16)/(-14)). Solve n*z + 9 = 10*z for z.
3
Suppose 2*y + 3 = 5. Suppose 2*z - 3 = -y. Suppose 4*v - 16 = -4*l, z = -5*l + 3*v + 13. Solve 0 = -0*u - l*u + 6 for u.
2