Suppose 0 = 5*n - 5 - 0. Let v be 3 + n + (-1)/1. Solve 0 = -5*y + v + 2 for y.
1
Let v be (-3)/(-1)*(0 - -1). Suppose 0 = -0*c - v*c + 24. Solve -2*k + 6*k = c for k.
2
Let x be ((-1)/1)/(1/(-3)). Suppose 3*n = -2*c + c + 16, -4*c + 24 = 2*n. Solve n = x*t - t for t.
2
Let r(i) = -2*i + 1. Let j be r(-1). Suppose -3 = k + j*a - 7*a, -4*a = 2*k - 18. Solve k*f - 1 = 14 for f.
3
Suppose 0*y = -2*y + 24. Solve 0 = 6*j - 3*j + y for j.
-4
Let x = 154 - 153. Solve -q + x = -2 for q.
3
Let n = 18 - 17. Let o be (-10)/(-4) + (-1)/2. Solve g + o = n for g.
-1
Let j(g) = -g**2 - 6*g + 6. Let m be 10*2⁄10*2. Let u be m/(-10) + 112/(-20). Let t be j(u). Solve h = t*h for h.
0
Let i be -4 - ((8 - 4) + -9). Solve 1 = -f - i for f.
-2
Let q = 0 - -3. Suppose 0 = -q*f + 2*f. Solve f*r + 9 = 3*r for r.
3