Suppose 5*j - 2*v = 5, v - 6*v = 0. Let q be (20⁄8)/(j/2). Solve 0 = q*n - 0 + 5 for n.
-1
Let z(o) = o2 - 2. Let b(p) = p3 + 13*p**2 + 13*p + 10. Let f be b(-12). Let y be z(f). Solve y*j + 0*j = 0 for j.
0
Suppose 0 = j - 3*g - 21, -5*j + 6*j + 3*g + 9 = 0. Solve -o + j = 10 for o.
-4
Let y be 1*((15 - 2) + 2). Let a = -12 + y. Solve a*r - 4 = -r for r.
1
Let m(o) = o2 + 6*o - 3. Let x be m(-6). Let z(d) = -d2 - 4*d - 3. Let c be z(x). Suppose 5*b + 0*b = 80. Solve 0 = -c*a - 4*a + b for a.
4
Let d(z) = z3 + 6*z2 - 4*z + 3. Let n be -8 - ((-3)/1 - -1). Let j be d(n). Let t = j + -17. Solve -5*b = -3*b - t for b.
5
Let h(q) = q**2 - 7*q + 6. Let k be h(6). Suppose -4 = -k*t - t. Suppose 3*z - 2*v + 6 = 0, -5*v + 16 = -t*z + 1. Solve z = -2*d - 0*d + 10 for d.
5
Suppose -3*m + 4*h + 26 = 0, 3*m + 2*h - 5*h = 24. Suppose -p - 5*w - m = -0*w, -4*p = 3*w - 10. Suppose -r - 9 = -p*r. Solve 4*d - 5*d - r = 0 for d.
-3
Suppose -12 = -s + 3*h, -3*h - 16 = h. Solve 4*x + 0*x + 16 = s for x.
-4
Suppose s = -s. Suppose -7*u + 0 = -35. Solve -5*v + 5 + u = s for v.
2