Suppose 32 + 0 = 4*f. Let p = f - 4. Suppose 2*m = -p*l + 24, 3*m + 5*l - 7 = 24. Solve m = 4*s - 18 for s.
5
Suppose 4*b = 2*r - 5*r + 25, -2*r + 3*b + 11 = 0. Suppose -8 - r = -5*a. Suppose 2 = -5*k + 7. Solve -u + a = -k for u.
4
Let i(u) = -u3 - 3*u2. Let a be i(-3). Let c = 0 - a. Let k = c - -3. Solve -k = -j - 0 for j.
3
Let i be 9*(1 + 8/(-6)). Let j be 2/(-3)*i*1. Solve 0 = -j*r - 0*r + 2 for r.
1
Let k be 3 - (2/(-1))/1. Suppose 5*c - 10*c + k = 0. Solve -4*d + 13 = c for d.
3
Let m(t) = 5*t - 5*t2 - t + 1 + 6*t2. Let a be m(-5). Let v(q) = -q**2 - 12*q + 5. Let r be v(-12). Solve -n = -a*n + r for n.
1
Let h(n) = n**2 - 4*n + 11. Let v be h(3). Solve 0 = 3*o + v - 17 for o.
3
Let u = 2 + 4. Let q = u + -4. Let v be 3/(-12) - (-5)/4. Solve d - v = -q for d.
-1
Let k be (3/(-30)*4)/(2/(-60)). Solve 4*p + k = -0*p for p.
-3
Let i be 3*8⁄6 - 2. Solve -2*x = i - 0 for x.
-1