Let v(i) be the third derivative of -i6⁄120 + 11*i5⁄60 + 11*i4⁄24 + 2*i3 + 8*i**2. Let z be v(12). Solve d + 0*d = z for d.
0
Suppose 0 = 2*c - 3*i, 2*c + 2*c - 5*i = 0. Solve 4*u = -c*u + 4 for u.
1
Let q = 29 - 23. Let z(d) = -d - 6. Let s be z(-3). Let a = s + q. Solve 0*b - a*b + 15 = 0 for b.
5
Suppose -q + 4 - 1 = 0. Suppose -2*j - 3*l + 12 = 0, 5*j + l - 16 = -q*l. Solve j*w - 2*w = 0 for w.
0
Let i be -2 + 7 + (-1)/1. Suppose -z = i*z - 30. Let k(d) = d**2 - 5*d - 3. Let y be k(z). Solve y*h = 2 + 7 for h.
3
Suppose 13*q - 15 = 8*q. Solve 0 = -q*a + 14 - 5 for a.
3
Suppose -k - 3*g = -4, 2*k + g = -0 + 3. Suppose -5*z - 3*m + 7*m = -17, 5*z + 2*m - 29 = 0. Solve -r + k = z for r.
-4
Let w be 0/((3 - 1) + 2). Solve z - 5 + 2 = w for z.
3
Suppose -18 = -4*y - 2. Suppose a = 4*n + 20, 25 = 5*a - n - y*n. Suppose 7 = 5*p + 4*u - 7*u, a = 4*p + 4*u - 12. Solve p*h = 6*h - 16 for h.
4
Let h be 30⁄9*27⁄18. Let o = 7 - 5. Let n be -1 + o + -1 + 9. Solve h = -4*q + n*q for q.
1