Suppose 4 - 6 = -2*f. Let l be -2 + (0 - -3)*f. Solve 0 = -u - l + 5 for u.
4
Let u be ((-2)/(-1))/((-7 - 1)/(-8)). Let s(k) = -4*k - 4. Let h be s(-4). Solve h = u*o + o for o.
4
Let x = 14 + -4. Suppose 0 = 2*h - 10 + 2. Solve -x + h = -2*i for i.
3
Let h = 12 - -3. Solve 0 = 5*n - h + 10 for n.
1
Let v = 5 + -4. Suppose q - v = 1. Suppose 0 = 3*a + a + f - 81, q*f = -2*a + 42. Solve l - a = 5*l for l.
-5
Let n(t) = t**3 - t + 2. Let a be n(0). Suppose k = 2 + a. Solve k = -d - 0 for d.
-4
Suppose 2*i - i + 48 = 0. Let d be i/10*140/(-42). Solve -4*y = -4 - d for y.
5
Let i = 1 - -4. Solve 0 = -t - 0 - i for t.
-5
Let f = 0 + 3. Suppose 0*r + 45 = -f*r. Let w be (-2)/(-10) + (-72)/r. Solve -3*z + w = 2*z for z.
1
Let k be 6⁄14 + 110⁄70. Suppose -h + k = -2. Solve -h*q - q + 20 = 0 for q.
4