Let u = 34 + -32. Solve 3*n = u*n + 2 for n.
2
Suppose -m + 200 = 4*m. Let z = -19 + m. Solve -5*j + z = 1 for j.
4
Let t be 3/(-1)*-3 - -1. Suppose -3*m + 3*j = -36, 2*j - 5 = -3*m + 6. Solve t = -m*l + 2*l for l.
-2
Suppose -2*v = v - 12. Suppose -3*h = v*u - 18, -3*u + 4 = -3*h + 1. Solve -2*y - 4 = -h for y.
-1
Suppose -4*q - j - 1 = 0, -11*q - 20 = -6*q + 5*j. Solve 0 = m + 2 + q for m.
-3
Suppose 2*h - 1 + 3 = 0. Let r be 1 - 0h/3. Let b be (r + 0)(6 + -5). Solve f = -4 + b for f.
-3
Let i(h) be the first derivative of -h3⁄3 + 4*h2 + 3*h - 2. Let t be i(8). Solve -2*s + t*s = -1 for s.
-1
Let c(d) = 2*d + 3. Let n(z) = 3 - 1 - 4*z + 5*z. Let k(s) = 5*c(s) - 8*n(s). Let g be k(7). Solve 1 = 4*t + g for t.
-3
Let r(h) = 2*h + 30. Let n be r(-14). Solve -2*l = n*l - 16 for l.
4
Let q = -13 - -15. Solve -3*k - 1 = q for k.
-1