Let t(u) = 3*u**2 - 3*u - 2. Let s be t(-2). Let w = s - 16. Let v(z) = -z - 7. Let r be v(-7). Solve 5*c + r*c - 15 = w for c.
3
Let i(a) = a + 6. Let y be i(-3). Suppose -y*m + 0*m + 3 = 0. Solve 3 + m = -4*t for t.
-1
Suppose -21 = -3*u + 9. Let x(n) = -n + 12. Let c be x(u). Solve -c = -m + 1 for m.
3
Let i(x) = x3 + 9*x2 + 8*x - 5. Let w be i(-8). Let a = 7 + w. Solve -a*k - 9 + 1 = 0 for k.
-4
Let g be 117⁄12 - (-4)/16. Let k be (g + -7)*5⁄3. Solve -3*a - 17 = -k for a.
-4
Let z = -5 + 8. Let y be (12/(-4))/((-1)/1). Suppose -3 = 2*p + z*f, -4*p - y = 2*f + 3*f. Solve 2 + 7 = -p*u for u.
-3
Let x(z) = 3*z - 8. Let a be x(6). Suppose -2*o - 3*o = 0. Solve -q - q - a = o for q.
-5
Let h(v) = -v3 - 5*v2 - 2*v - 3. Suppose 4*i = 8 + 12. Suppose a = 2*s - 1 + 4, 5*a - 5*s = -i. Let l be h(a). Solve 2*k = l*k - 5 for k.
1
Suppose -2*h - 17 - 1 = 0. Let y = h + 12. Solve -2*g = y*g + 5 for g.
-1
Let v be 4 - (-3 + (-3 - -8)). Let a(f) = 6*f + 5. Let j be a(-4). Let o = -3 - j. Solve -2*i - v*i = o for i.
-4