Let a(t) = -t + 2. Let w be a(4). Let c be ((-17)/2 + -1)*w. Suppose -3*k - 12 = -5*k. Solve k = -5*r - c for r.
-5
Suppose -v + 5 = 0, -3*v = o + 2*v - 29. Let z(l) = -l3 + 3*l2 + 3*l + 4. Let f be z(4). Suppose 4*h - 112 = -f*h. Solve -o*m + 12 = h for m.
-4
Suppose 2*b = -2*i, 2*i + 2*b + 9 = -3*b. Suppose 4*q = -0*h - 5*h + 19, h - i = 0. Solve 3*w + 2 + q = 0 for w.
-1
Suppose -k - 2 = -d + 1, 16 = -2*k + 4*d. Solve 0*n - k*n = 2 for n.
-1
Let w be (-4)/18 + 220⁄18. Suppose -5*c = 5*l, -5*c - 3*l - l = -3. Suppose 18 = 2*a + c*x - x, 2*x = -a + 11. Solve -3*r = -a*r - w for r.
-3
Let d be 18/(-4)*(-160)/48. Solve 0*z = -5*z + d for z.
3
Let h(j) = -j**2 + 9*j - 8. Let s be h(5). Let b(i) = i - 3. Let c be b(6). Solve 3 = c*t - s for t.
5
Suppose 4*l - 9 = s, -4*l - s + 5*s = 0. Suppose -3*f = -q - l, -4*f - 2*q - 3 = -7*f. Solve 2*w + f = -1 for w.
-1
Suppose -s = -5*c - 6*s + 5, -2*c + s = -2. Let z be ((-1)/3 + c)*3. Solve -w = -0*w + z for w.
-2
Let y(m) = -m**2 - 6*m + 1. Let t be y(-6). Suppose u = 2*a - 7, -2*u - 11 = 3*u - 4*a. Solve u + t = d for d.
2