Let z be (0 + -1)/(3⁄9). Let k be 0/((-2)/z*3). Solve k*y = y + 2 for y.
-2
Suppose -l + 6 = -m, 2 = -m + 4*m + l. Let h be -2m/(-4)-2. Solve 3 = -p + h for p.
-2
Suppose -d + 16 = -5*d, 2*p = -d. Solve 2*g + p*g = -12 for g.
-3
Suppose 2*w - 19 + 7 = 0. Solve v - w*v - 10 = 0 for v.
-2
Let i(l) = -l3 - l2 + 6. Let j be i(0). Solve x - j = -x for x.
3
Let k = 14 + -10. Suppose r = 3*r - k. Solve n = -r*n - 6 for n.
-2
Suppose -3*h + 5 = p, 0*p = 2*p - 4*h. Solve p*q - 3 = -9 for q.
-3
Let x(i) = -i - 3. Let q be x(-3). Solve -6 = -q*w + 2*w for w.
-3
Suppose -5*c = -4*o + 13, c = -2*c - 4*o + 5. Let z be (c/(-3)*0)/(-2). Solve -1 = y - z for y.
-1
Suppose 4*t = 5*u + 24, -t - 2*u = -3*t + 10. Solve -3*w = -t - 8 for w.
3