Let f(n) = -n**2. Let r be f(0). Solve r = -0*b - 4*b for b.
0
Let u = 6 + -7. Let a be (-8 + -10)*1*u. Suppose 5*i + 3 = a. Solve 0 = q - i*q + 2 for q.
1
Let b® = 2*r3 - r2 + 3*r - 4. Let i be b(2). Suppose i = -z + 8*z. Solve 0 = z*u - 0*u for u.
0
Suppose u + 2 = -1. Let c(y) = -y**2 - 3*y + 7. Let r be c(u). Solve 0 = 2*v + r - 1 for v.
-3
Suppose 5*h - y - 8 = 0, -3*h + 12 = -y - 2*y. Let z = h - -2. Solve z*r - 5*r = -6 for r.
3
Let x(w) = 3*w**2 - 1. Let f be x(1). Suppose -3*b + 16 = 5*j, 0*j - f*j - b = -6. Suppose -j*u = -47 + 7. Solve u = 5*z - 0 for z.
4
Let g® be the first derivative of r4⁄4 + 5*r3⁄3 - r**2⁄2 - r + 3. Let c be g(-5). Solve -5*n + c = -1 for n.
1
Let j(l) = l3 + 3*l2 + 3*l + 2. Let y be j(-2). Suppose y = 4*p + p. Solve p = 2*v - 0*v - 6 for v.
3
Let z = 37 + -17. Suppose -3*f = -2*v + 7, 3*f = 6*v - 5*v - 2. Suppose 3*b - 4*g - 40 = 0, 3*b - 24 = v*g + z. Solve 0 = -4*a - 0*a - b for a.
-2
Let h = 9 - 5. Suppose 2*o = -5*n - 0*o + 8, n + h = o. Solve n = -0*k + 2*k + 2 for k.
-1