Suppose -3*r - 1 = -4*z - 6, -5*r - 4*z - 13 = 0. Let k be r + 0 - (0 + -2). Let n be 3 - (-2 + k - 0). Solve -a = n*a for a.
0
Let l(s) = -s - 7. Let a be l(-7). Suppose 2*y + 3*y = a. Solve y = -2*i - 3*i - 25 for i.
-5
Let u® = r3 + 11*r2 + 9*r - 5. Let d be u(-10). Suppose 2*n = h + 4, 2*n - 23 = -d*h + 5. Solve n*i = -0*i - 4 for i.
-1
Let o be (-3)/(-6)*(5 - -1). Suppose -a - 3*k - 3 = -0*a, -3*k = o. Solve a = j - 3*j - 10 for j.
-5
Let r = -20 - -5. Let u = r + 20. Solve 3*l + u + 4 = 0 for l.
-3
Let f = 4 - 4. Suppose f*w + 2 = w. Let d be 6 + (w - 2 - 1). Solve 3*x = d*x for x.
0
Suppose -2 = w - 4. Solve 0 = -w*l + 1 + 7 for l.
4
Suppose 5*y = 6*y. Suppose -3*t = t - 2*z - 12, -2*z = y. Solve -t*h + 0 = -6 for h.
2
Let r(x) = x**2 + 6*x + 3. Let q be r(-6). Solve 0*v = -q*v + 3 for v.
1
Let b = -21 - -23. Solve -5*h + b*h = 0 for h.
0