Let x(y) = -y**2 + 4*y. Let l(z) = -z. Let o(d) = 2*l(d) + x(d). Let h be o(-2). Let r = -8 - h. Solve r*v = -v - 3 for v.
-3
Let j(t) = t**2 - 5*t + 6. Let s be j(6). Suppose s = 5*a + 4*p, 0*a + 2*p - 6 = -a. Solve a = 4*l - 0 - 8 for l.
2
Let n = -19 - -22. Solve 5*l = -13 + n for l.
-2
Let t(o) = -o3 + 9*o2 + o - 9. Let q be t(9). Suppose f - 4*s - 12 = -q, 4*f = 2*s + 20. Let u = -1 + 1. Solve u = n - 0*n + f for n.
-4
Let v be (-9)/(-4) - 21⁄84. Let g = -1 + 18. Suppose s - 11 = -2*y, -3*y + g + 0 = 2*s. Solve -v = b - s for b.
-1
Let b = -68 - -68. Solve -3*c + 21 - 9 = b for c.
4
Let c(s) = -s - 6. Let q be c(-6). Let v be -8*1⁄2 - 82. Let z = 129 + v. Solve -5*j + 18 - z = q for j.
-5
Let t be (-2)/(-9) - 4⁄18. Let a(f) = -f + 2. Let v be a(-4). Let o = 25 - 23. Solve t = -v*b + o*b + 12 for b.
3
Suppose 2*p + 0*p - 6 = 0. Suppose 5 + p = 4*o. Solve -o*u = -5*u - 3 for u.
-1
Let g = 11 + -9. Suppose 1 = g*z - z. Solve 2 = 3*c - z for c.
1