Let q be (3 - (3 + -2))*1. Suppose -s - q*h + 9 = 3*h, -s + 2*h = -2. Suppose s*y + 0*y = 0. Solve -3*x + 5*x = y for x.
0
Let x be 0 + 2*(3 + -2). Suppose 0 = x*l - 6*l. Solve 3*b - 7 - 5 = l for b.
4
Let k be -1*(1 - 0) + 1. Suppose y + k*y - 6 = 0. Solve -y - 14 = -5*u for u.
4
Suppose -x + q = -4*q - 27, -5*q - 29 = -2*x. Suppose p = -5*k - p + 7, x*k - 2*p - 14 = 0. Solve 4*l - k = 13 for l.
4
Suppose 4*g = 8 + 4. Suppose 13 = h + g*a - 8*a, -h + 2a = -10. Let u be (-4)/h-1*4. Solve x + u = 4 for x.
2
Let z be 14⁄5 - (-9)/45. Suppose 0*u + 30 = z*u. Solve 0 = -4*v - u - 6 for v.
-4
Let w(u) be the second derivative of u4⁄12 + u3 + 2*u**2 + 2*u. Let b be w(-3). Let o = b + 8. Solve 2*l + 4 = o*l for l.
4
Let q = -8 - -7. Let z be (3/(-3) - q)/3. Solve z = -a + 4 - 5 for a.
-1
Let w = 19 + -9. Suppose 5*m - 5*k = w, 3*m + 5*k - 3 = -13. Solve -15 = -m*o + 5*o for o.
-3
Suppose -5*l = -k - 8, 5*l - 15 = -3*k + 1. Let y(i) = i**2 - 1. Let c be y(2). Suppose -c*q - 8 = -7*q. Solve q*t - k = 8 for t.
5