Let y be 1 + (-2 - 0)/2. Let n = y - -2. Solve 2*t - 6 - n = 0 for t.
4
Let f be (0/(-2))/(-2 - (-2 + 1)). Solve f*r = 2*r - 6 for r.
3
Suppose 11 = -2*t - 1. Let j be (4 + t)/((-4)/6). Solve j + 7 = 5*k for k.
2
Let a(q) = -q3 - 2*q2 - 2*q. Let p be a(-1). Solve -3*m - 7 = -p for m.
-2
Suppose h + 2 + 10 = 4*m, 9 = 3*m. Suppose 71 - 23 = 12*p. Solve h = -x + p for x.
4
Let l(f) = -2*f - 3. Let t be l(7). Let o = t + 17. Solve o = -2*b - 2 - 4 for b.
-3
Suppose -3 + 7 = -2*l. Let n = 6 + l. Suppose -n*k = -5*z - 8 - 1, -4*k = -z - 5. Solve -2 = x + k for x.
-3
Suppose -3 = 5*a + u, -2*a + u - 5*u + 6 = 0. Let s be (-4 - a) + (2 - -4). Solve m = -s - 2 for m.
-5
Let a be -2 + (9 - (-2 + 1)). Let j be 76⁄28 - a/(-28). Solve 3*t - j = 3 for t.
2
Let d(f) = 3*f - 1. Let k be d(2). Let i = k + -2. Solve -i*j + 5*j - 10 = 0 for j.
5