Let x(l) = l**2 + 2. Let d be x(0). Let m be 16 + -3 + d + 0. Solve -4*v + m = -v for v.
5
Suppose 0 = -3*h + 5*v - 25, -5*v + v = -2*h - 20. Suppose -3*l - 3*g + 8*g - 17 = h, -5*g + 20 = 0. Solve a + l = 4 for a.
3
Suppose -35 = -11*c + 4*c. Solve c = 3*p + 2 for p.
1
Let m = 81 + -74. Solve m*b = 6*b + 3 for b.
3
Let l(a) = 4*a + 1. Let c be l(1). Let w(m) = -m3 - 5*m2 - 5*m + 3. Let r be w(-4). Let s be r - (-1)/(2/(-4)). Solve c*b = 5 + s for b.
2
Let k be -1 - -1 - (-5 - 1). Let n be 1/(-5) - (1 + 84/(-20)). Solve k*a = n*a - 9 for a.
-3
Let q(b) = 3*b3 + 2*b2 - 2*b + 1. Let n be q(1). Suppose 5*r - 70 = -2*p, 4*r + p = 6*p + 23. Solve n = 4*w - r for w.
4
Suppose 0 = 5*a + 3*d + 11, 0 = d + 3 - 1. Let v = 1 - a. Solve 5*x - v*x = -12 for x.
-4
Suppose 0 = -3*r + 2*r + 4. Solve 0 - r = 2*w for w.
-2
Let q be 14⁄4 - 6/(-4). Suppose -5*h = 3 - 13. Solve q*f + h = 7 for f.
1