Suppose 30*o - 29*o = 5. Solve 6 = o*h - 4 for h.
2
Let a be (-2 + (-35)/(-10))/(6⁄40). Solve a + 5 = -5*u for u.
-3
Let v(n) = 2*n - 4. Let y be v(2). Let d = y + 1. Solve h + d = -0*h for h.
-1
Suppose -5 = -5*u, -2*a = 5*u + 2 + 1. Let y = 6 + a. Solve 2*p = p + y for p.
2
Suppose -2*r + 21 = -t - 6, -3*t = 3*r - 27. Let i(v) = -v3 + 3*v2 + v - 2. Let u be i(3). Let w = u + -1. Solve w = -5*o + o - r for o.
-3
Suppose 4*d = 2*d + 4. Suppose d*c - 3*c + 4 = 0. Solve -4 = -c*x + 3*x for x.
4
Let x = 36 - 32. Solve -x*m - 6 = -2 for m.
-1
Let o(n) = 4*n3 + n2 - 1. Let l be o(1). Let i(d) = -2*d3 - d2 + 1 + 4*d2 + d3. Let k be i(3). Solve -3*p - l = -k for p.
-1
Let w = 0 + -2. Let j be w + -3 - -1 - -2. Let l(m) = m**2 + m + 2. Let o be l(j). Solve a + o*a + 15 = 0 for a.
-3
Let h = -8 - -3. Let a = h + 10. Solve 0 = -4*q + a*q for q.
0