Let w = -617 - -345. Let h be (-2)/(-12) - w/96. Solve 0 = h*i - 0*i - 9 for i.
3
Let a(l) = -l**2 + 6*l - 1. Let p be a(6). Suppose -r - 2*r - 6 = 0. Let n be -1 + 3/p*r. Solve -5*q - 5 = n for q.
-2
Let t be -5*(-3 + (-12)/(-5)) - -1. Solve 0 = t*r + 14 - 6 for r.
-2
Let z® be the second derivative of r4⁄12 - 3*r3⁄2 + 9*r**2⁄2 - 3*r. Let p be z(6). Let m = -4 - p. Solve 3*c + m = -7 for c.
-4
Let h = 2 - 2. Solve 0 = -i - h*i + 4 for i.
4
Suppose 0 = 5*y - 6*y + 5. Solve 0*v = y*v + 15 for v.
-3
Suppose 0 = -3*y + 5*j + 1, 5*y - 12 = -2*j. Solve y*d - 3*d = 5 for d.
-5
Let k be -9(4⁄3)/(-2). Let d = 5 - 6. Let u be 0(1 + (d - -1)). Solve u = -k*a + 4*a + 10 for a.
5
Let r be 2/(-5) + (-186)/(-15). Solve 7*d + r = 3*d for d.
-3
Let z = -11 - -15. Suppose 36 = u + 3*u. Suppose -3*a + z*i = -30, -5*i - 6 = u. Solve 0*m - a = 3*m for m.
-2