Let n(z) = -z. Let v be n(-4). Let k(u) = u - 4. Let i be k(v). Solve i = -2*m - 2 - 2 for m.
-2
Suppose -3*l + d + 10 = 0, 5*l - 3*d + 2*d - 16 = 0. Solve -2 = -c + l for c.
5
Let s(n) = 3*n + 10. Let d be s(-2). Solve 5*o - d*o + 4 = 0 for o.
-4
Let n be -4*2/(2 + -3). Suppose n*g = 3*g. Let v = -8 - -11. Solve 0 = v*x - g + 6 for x.
-2
Let u(a) = a + 18. Let b be u(-10). Suppose 3*x - b - 1 = 0. Solve -x*t = 4 - 1 for t.
-1
Suppose 7 = u - 2*u. Let a = -5 - u. Solve -2*z = 12 - a for z.
-5
Let u be 2/((-2)/20*-4). Suppose 0 = -2*s, 5*g - 7 = -3s - 2. Let a be g(5 - (2 + 2)). Solve -11 + a = -u*x for x.
2
Let c(k) = -k3 + 3*k2 + k - 1. Let q be c(3). Suppose 0 = -p + 5*w + 19, q*p + 5 = 4*p + w. Solve -y = 3*y - p for y.
1
Suppose -2*s = -0*s - 6. Solve 0*d = -s*d + 15 for d.
5
Suppose p - 19 + 16 = 0. Solve 1 = 2*i + p for i.
-1