Let o© = 14*c**2 - c + 1. Let w be o(1). Let i be (-4)/w + 2⁄7. Suppose -4*v + 7*v - 12 = i. Solve 0 = -h - v*h - 20 for h.
-4
Suppose 2*o = 6 - 0. Let k = 2 - 0. Solve -1 = -k*x - o for x.
-1
Suppose u = i + 3 + 3, 4*i = -5*u - 6. Suppose -3*b = -2*b + 2. Let k = b + 4. Solve -u*g - k = 2 for g.
-2
Let r(u) = u - 7. Let i be r(7). Solve 5*a - a - 16 = i for a.
4
Suppose d = -4*d + 20. Suppose c = -1 + d. Let y(t) = t**2 - 2. Let o be y(-2). Solve -f = -o*f - c for f.
-3
Suppose 2*d - 26 = -4*n, -3*n + 2 = -2*d - 14. Solve 2*w + 0*w = -n for w.
-3
Suppose -4*r + 3*h + 15 = 0, -5*r = -2*r - 2*h - 12. Let q be 6⁄9 - (-146)/r. Solve -2*b - 3*b - q = 0 for b.
-5
Suppose w + 4*r - 13 = -0*r, 0 = -2*w + 5*r. Solve 0 = -w*c + 5 for c.
1
Let p be (1 - 0)*(0 + -13). Let g(l) = l3 + 4*l2 + 2*l - 1. Let k be g(-4). Let a = k - p. Solve a*o - 20 = -o for o.
4
Suppose 3*l + 0*l + 12 = 0. Let b(o) = -o3 - 5*o2 - 4*o + 1. Let g be b(l). Solve g = 2*x - 5 for x.
3