Let w(v) = v + 3. Let o be w(-2). Solve -5*x - o = 9 for x.
-2
Let h be (-3 + 7)*(0 + 1). Let f be 4/(-6) + 8⁄3. Suppose y + f*q - 18 = 6*q, 16 = y - 2*q. Solve -h*a + 2 = y for a.
-3
Let i© = c3 - 8*c2 + 7*c + 4. Let t be i(7). Suppose 3*u = t*l - 2 + 9, 5*u - 4*l = 9. Let f = 3 + u. Solve 0 = -f*w + 2 - 14 for w.
-3
Suppose 0 = -4*w + w. Let a = 2 - w. Let i(z) = 3*z**2 - 2*z - 2. Let o be i(2). Solve k = -o + a for k.
-4
Suppose -2*k + 0*k + 14 = 0. Suppose k = b + 5. Solve -4*l = 14 + b for l.
-4
Let f = 3 - -12. Suppose -4*a - 3*s - f = 0, 4*a - 6*s + s - 25 = 0. Solve 3*o + 0*o + 15 = a for o.
-5
Let x be -1*((-10)/5 - -2). Solve -3 = 3*i - x for i.
-1
Let a(n) = n**2 + 4*n + 4. Let d(s) = 2*s + 7. Let o = -12 - -7. Let t be d(o). Let w be a(t). Solve -5*b + 11 = w for b.
2
Let u(k) = k - 8. Let a be u(11). Solve a*g = -g for g.
0
Let m(b) = b**2 + 1. Let o be m(-1). Let w be (0*o/(-4))/(-1). Suppose -n = -w*n. Solve -4*a = -n*a for a.
0