Let l(x) = x**2 - x + 12. Let q be l(0). Suppose 3*k + 0 = -q. Let j = k - -4. Solve 3*r + j*r - 15 = 0 for r.
5
Let d(m) = 4*m**2 - 1. Let a be d(-1). Let z be (-3)/a - (1 + -5). Suppose -z*u + 4*y + y = -20, -3*y = 2*u - 26. Solve w = 3*w - u for w.
5
Let f(q) = -q + 9. Let w be f(4). Suppose -w*p - g + 2 = -5, -1 = 3*p - 2*g. Suppose -8 - p = -3*u + d, 5*u - 22 = 4*d. Solve 0*o = -2*o - u for o.
-1
Suppose 24 = 3*t + 2*t - w, 0 = -2*t + 3*w + 20. Suppose -t*j + 5*j = 0. Solve j*r = -r for r.
0
Suppose 2*b + 6 - 2 = 0. Let k(z) = -5*z - 1. Let n be k(b). Suppose 0 = 4*u - 8 - 12. Solve -6 = u*x + n for x.
-3
Suppose 0 = -2*y + 2*u + 6, 0 = -5*y - 0*u + u + 3. Solve -3*z + 6*z = y for z.
0
Let r = 6 + -4. Let d be (-26 + r)*(-2)/4. Let y = d - 8. Solve -10 = y*v + 2 for v.
-3
Let n(d) = -d + 0 + 0*d - 1. Let g be n(-3). Suppose -g*l = -4*p + 20, 4*p - 4*l = 33 - 9. Solve -2*o = -p*o + 8 for o.
4
Let w = 21 - -4. Suppose 0*t + w = 5*t. Solve 0*l = t*l + 25 for l.
-5
Let d(f) = -f3 - 8*f2 + 9*f + 4. Let j be d(-9). Solve 12 = j*v + 4 for v.
2