Let q(y) = -y3 - 7*y2 + 9y + 9. Let h be q(-8). Let u be (-1)/(-2)-2 - -2. Let x = 2 + u. Solve -2*f = x + h for f.
-2
Suppose 2*k - 6*k - 3*u = -16, 4*k - 16 = 4*u. Suppose -16 = 4*d, 3*m = -0*m + 2*d + 14. Suppose w = k*f + 14, 4*w - f - m = -3*f. Solve w*q + 3 = -q for q.
-1
Let w be (-80)/12 - (-4)/6. Let d be (-146)/w - 7⁄21. Solve d = -4*k + 4 for k.
-5
Let g(a) = a + 1. Let f be g(-1). Let y(b) = 3*b**2 - b. Let z be y(1). Suppose 16 = -f*o + z*o. Solve -5*r + 2 = -o for r.
2
Let s be -9 + 9 + 0/(-1). Suppose 2*l - 5*l = s. Solve h + 3 = -l*h for h.
-3
Let h = 2 - 3. Let m = 2 + h. Let s = m - -1. Solve -s*n = -n for n.
0
Suppose 4*k + d = 23, -2*k - 2*d - 26 = -6*k. Suppose u = k*u. Solve u = 2*t + t for t.
0
Let n = 56 - 50. Solve -h + n*h = 0 for h.
0
Let a(m) = m + 6. Let j be a(-2). Suppose -d = -t - 2*t + 5, -2*t + 5 = d. Solve t*l - j = l for l.
4
Suppose 4*u - g = -17, 3*g + 9 + 0 = 0. Let a = 7 + u. Suppose -2*j = 5*h - 16, -5 + 13 = a*j + h. Solve j*k = -0*k for k.
0