Let r(k) = 2*k2 + 2*k. Let x(q) = -2*q2. Let h be x(1). Let u be r(h). Let n = 11 - u. Solve -n - 1 = -4*g for g.
2
Let n(q) = -q + 3. Let p(d) = 6*d - 14. Let k(h) = -11*n(h) - 2*p(h). Let y be k(-9). Solve y*j + 0*j = 0 for j.
0
Let l = 20 - 8. Suppose 1 = -3*t + h, -2*t - 3*t - 2*h = -2. Solve t = 5*p - l - 13 for p.
5
Let x = 2 - -3. Solve x*a + 7 = -13 for a.
-4
Let r = -4 + 1. Let n be r/(-5) + 4⁄10. Solve -3*h - n = 2 for h.
-1
Let n be (-1 - -3) + -1*2. Let a = 8 + -8. Let f = 3 - a. Solve d + f*d = n for d.
0
Let w(j) = -j3 + 6*j2 + 8. Let q be w(6). Let c(p) = p - 8. Let v be c(8). Suppose -2*t + 36 = 5*a, 4*t + v*a - 16 = 4*a. Solve 4*b + t = -q for b.
-4
Let f be (-2)/3*(-1 + -2). Let a = 1 - 2. Let d = a + 1. Solve d*z + z = -f for z.
-2
Suppose 0 = a - 4*d - 4, 0 = -a + 2*d + 1 + 1. Suppose a = 2*r - 0*r. Let k be ((-3)/(-2))/(-3)*r. Solve k = -y - 2 + 3 for y.
1
Suppose 0 = 4*u - 4 - 56. Solve -4*h - u = h for h.
-3