Let x(k) be the third derivative of k5⁄60 + k3⁄6 + 3*k**2. Let u be x(0). Let s be u/4 + 21⁄12. Solve 3*l + s*l - 20 = 0 for l.
4
Let q = -9 - -69. Suppose -5*k + 8*k - q = 0. Solve -k = 4*v + v for v.
-4
Suppose -2*b = -3*v - 3, 0*v = 2*b - v - 5. Let h = 95 - 93. Solve -h*m + 3 = -b*m for m.
-3
Suppose 18 = 5*a - 7. Suppose 4*r + 37 = -a*x + 6, -2*r - 11 = x. Let w be 3 - (3/x - -2). Solve 0*j = w*j + 8 for j.
-4
Let s = -118 + 118. Solve -1 = -s*t + t for t.
-1
Let t be (-6)/27 - 29/(-9). Solve -4*l - t = 5 for l.
-2
Suppose -4*i - 5*n + 59 = 0, 3*n = 4*n + 1. Suppose m - 2 = -3*k - 0*k, -4*k = -m + i. Solve -5*f = 17 + m for f.
-5
Suppose -3 - 6 = -3*c. Suppose 7 = c*d - 5. Suppose -j = -3*h + 9, 5*j + 0*j + 12 = 4*h. Solve j = g + d*g + 10 for g.
-2
Suppose -3*z + 2*h + 10 = -z, 2*z - 8 = 4*h. Solve 0 = 3*x + z for x.
-2
Suppose -21*q + 192 = 3*q. Solve 3*l - q*l = 5 for l.
-1