Let k = 15 - 22. Let l = 10 + k. Solve -l = 3*o - 0*o for o.
-1
Let d(l) = -l - 5. Let w be d(-6). Let f(a) = a**2. Let o be f(w). Let q = 2 + 2. Solve q + o = -5*r for r.
-1
Let p = -2 - -25. Suppose 4*r = -0*r + 5*h + 2, 5*r - p = -4*h. Solve q - 16 = -r*q for q.
4
Let p = -1 - -4. Let g = 3 + -5. Let u be (-2)/(-1) + g*1. Solve x - 2 + p = u for x.
-1
Suppose -5*p - 5 = -5*u, -p - 3 = -4*u + 4. Solve 0*y + p = y for y.
1
Let i(n) = 2 + 3 - 4*n - 6 - 2. Let q be i(-3). Solve -3*h - q = -0*h for h.
-3
Suppose 18*t - 20*t = 0. Let w(a) = a + 20. Let n be w(0). Solve t = 5*k - 0*k - n for k.
4
Let y(n) = n + 1. Let x be y(-1). Solve x = -4*b - 16 for b.
-4
Suppose 0 = i - 1 - 2. Suppose -4 = i*o + 4*r, -5 = 3*o + 2*r + 3*r. Solve o = -3*z + 3 - 9 for z.
-2
Let l be ((-2)/(-5))/(18⁄90). Solve 0 = -7*w + l*w - 10 for w.
-2