Let b = -15 - -25. Solve -4*c + b = c for c.
2
Suppose 0 = 5*u + 2*f - 2 + 7, 0 = 2*u + 2f + 8. Let c be 1(0 - -2)*u. Suppose -4*z + 15 - 3 = 0. Solve -z = -c*q + 5*q for q.
-1
Let b(g) = 4*g3 - g2 - g + 2. Let r be b(1). Solve -i + r*i = 0 for i.
0
Let x(z) = -z + 6. Suppose -5*c - 2*k + 6*k = 46, 4*c = -5*k - 4. Let b be x©. Suppose 0 = 3*m - b + 3. Solve 0 = m*a + a for a.
0
Let n(g) = g**2 + 6*g + 11. Let d be n(-2). Solve -5 = -x - d for x.
2
Let j be (-3)/12 - 68/(-16). Suppose 0 = 3*t - 5*t + j. Solve -t*v - 4 = -0 for v.
-2
Suppose 16 = -6*b + 2*b. Let c = 2 - b. Solve c + 14 = -4*j for j.
-5
Suppose 27 = 3*l + 2*b - 4, -4*b + 27 = l. Solve 4*n + l = -5 for n.
-3
Let p(s) be the third derivative of s5⁄12 - s3⁄6 - s**2. Let b be p(1). Suppose -b*n = -3*n - 2. Solve n*u - u = -1 for u.
-1
Suppose 0*k = 2*k. Solve -5 = c - k*c for c.
-5