Suppose 2*s - 56 = -2*s. Suppose s = -j + 4*g, g + 10 = 3*g. Solve 0 = -4*o + o + j for o.
2
Let c(j) = j3 + 24*j2 + 24*j + 29. Let o be c(-23). Solve o = -2*i - 4 for i.
-5
Let y(s) = -s3 + 4*s2 + s + 1. Let g be y(4). Let c(z) = -z**2 + 1. Let b be c(1). Suppose b = 2*k - 3*k. Solve k*h + 15 = -g*h for h.
-3
Let j be 5/((-20)/6)*-2. Suppose -j*m + 6 = -m. Solve -m*v - 3 = -0*v for v.
-1
Suppose 5*q + 2 = 2*i - 29, 4*i - 17 = q. Let g be ((-1 - -4) + -2)*4. Suppose 20 = 5*u + i*b, -2*u - g*b + 19 = -3. Solve 2 = -n + u for n.
-1
Let u = 7 - 5. Let c(g) = 6 - 6 - 9 - 2*g + 3*g. Let n be c(12). Solve 0 = u*q - n*q - 4 for q.
-4
Let l = -2 + 2. Let k = 21 - 13. Suppose -w - 4*w + k = -2*x, 0 = w - 2*x. Solve w*c + l = 10 for c.
5
Let l(s) = -s + 17. Let u be l(13). Let o = 17 - 0. Suppose -3*w + 5*k + 63 = o, 4*w - 2*k - 38 = 0. Solve -w = i - u for i.
-3
Suppose -4*u = -2 - 2. Let f be ((-2)/(-3))/(14⁄147). Suppose -x = -0*x - f. Solve -x = 4*d + u for d.
-2
Let i = -18 - -20. Let r(n) = 2*n3 - 3*n2 + n. Let s be r(i). Solve -3 + s = b for b.
3