Let k(u) = u + 1. Let h be k(2). Let x be -2 + (1 - -7 - h). Let o = -2 - -2. Solve x*w + o*w + 12 = 0 for w.
-4
Let h(y) = y**2 + 2*y + 3. Let b be h(0). Solve b - 1 = -2*j for j.
-1
Let u = 29 - 23. Solve -u*y + y = 20 for y.
-4
Let h = -18 + 24. Suppose 2*a = -5*l - 15, 0 = -2*l - 5 - 1. Solve a*m = 3*m + h for m.
-2
Suppose -2 = n - 5. Suppose 2*p + 36 = 5*o, -p - 2*p - 18 = -n*o. Solve -c + o = -3*c for c.
-4
Let s be 36⁄3 + 1 + -3. Let l = -11 - -5. Let m = l + s. Solve 0*c + m = -c for c.
-4
Let u be ((-12)/9)/((-3)/9). Let y be 1 + (-2)/(1*-2). Let i be 26⁄10 - 2/(-5). Solve 0 = -i*b + y*b - u for b.
-4
Suppose -2*q + 5*m + 32 = 2*q, 3*q + 2*m - 1 = 0. Solve -q*b + 5 = 8 for b.
-1
Suppose -3*c = -4*c + 4. Suppose -7 = h - 3*o + 4, -c*h + 36 = 4*o. Solve -1 = -h*p - 17 for p.
-4
Let q(w) = 4*w3 - 6*w2 + 5*w - 12. Let b(d) = -5*d3 + 6*d2 - 6*d + 13. Let a(o) = 3*b(o) + 4*q(o). Let s be a(6). Solve -s*x = -x for x.
0