Suppose 2*z - 4 = 2*x, 16 = 2*x + 3*z - 0. Let b = 5 + -2. Suppose -t + b*t = 18. Solve x*u + 3 = t for u.
3
Let k(f) = f**2 + 12*f + 9. Let x be k(-12). Solve 5*m - x = -4 for m.
1
Let q be 3⁄1 + -1 + -4. Let a = q - -6. Let w = 0 + 0. Solve -8 = a*n - w for n.
-2
Suppose 8*k - 18 = c + 3*k, -2 = 5*c - 3*k. Suppose -i - 1 = -c. Solve 1 = b - i for b.
2
Let o(m) = m**2 - 6*m + 6 - 3*m + 2*m. Let f be o(6). Suppose f = -3*k, 6*r + 4*k - 6 = 4*r. Solve -r*s + 4*s = -1 for s.
-1
Suppose 4*t - 7*t = 9. Let n = -1 - t. Solve f = -n*f - 6 for f.
-2
Let n be 2/(1/(10⁄4)). Let s© = -c**2 + 4*c + 6. Let w be s(n). Let j be (w + 2)/((-4)/(-8)). Solve j*a - a = -20 for a.
-4
Let w be 14 + -3 + (1 - 1). Solve -2*v + 1 = w for v.
-5
Let j = 0 + 3. Suppose -j = h + 1. Let x be (6/h)/(6/(-88)). Solve 2 = 4*r + x for r.
-5
Let q(g) = g**2 - 3. Suppose -2 = m - 2*m. Let a be q(m). Solve b + a - 3 = 0 for b.
2