Let d(u) be the third derivative of u6⁄120 + 7*u5⁄60 + u**2. Let n be d(-7). Let s be ((-12)/(-10))/(2⁄20). Solve n = -q - 2*q - s for q.
-4
Suppose 5*g - 115 = -4*q, -1 = -5*g - q + 99. Let m = g + 1. Solve 4*y - 8 + m = 0 for y.
-3
Suppose 2*b - 3*b = 0. Solve l + 3 + b = 0 for l.
-3
Let l = -1 - -3. Solve l + 18 = -5*x for x.
-4
Suppose -4 - 11 = -3*a. Let v = a + 4. Suppose -v = -5*x + 1. Solve -x*d = -16 + 6 for d.
5
Suppose 0 = -3*o + o, 2*d - 8 = o. Solve m + 1 = d for m.
3
Suppose 3*n = -9, 2*n - 7 = -2*a + 3*n. Suppose 2*m - 29 = -5*d, 3*m - 2*d = a*d - 14. Suppose 2*t = 5*t - 12. Solve 2*h + t = -m*h for h.
-1
Suppose 0 = -2*t + t + 2*a, -t - 5*a + 21 = 0. Let l(w) = -w + 14. Let z be l(12). Suppose 0 = n + z*n - t. Solve -4 = -0*h + n*h for h.
-2
Suppose 0*j = 2*y - 2*j - 16, -2*y - 2*j + 28 = 0. Let l be 33⁄7 - (-4)/14. Solve -l*f + y = 31 for f.
-4
Let t = -28 - -30. Solve 2 + 0 = -t*z for z.
-1