Let b(u) = -u - 2. Let s be b(-2). Suppose 9 = -s*q + 3*q. Let a = -11 - -17. Solve q*d + a = -0*d for d.
-2
Let m = 4 + -16. Let u = -10 - m. Solve -5*k = 17 - u for k.
-3
Let t be -4*(21⁄12 + -1). Let h be 1/(1 + 2/t). Let x = h + 3. Solve x*z = 4*z - 4 for z.
-2
Suppose -2*h - 6 = h, 5*s - h - 17 = 0. Let x(g) = 10*g + 1. Let t be x(s). Solve -11 = 4*a - t for a.
5
Let i = -38 + 40. Solve b + 9 = -i*b for b.
-3
Let b(p) = 2*p**2 - p + 1. Let x© = -c + 2. Let t be x(4). Let y be b(t). Suppose y = -5*f + 31. Solve 0 = f*g - 2*g - 2 for g.
1
Suppose -5*r = 3*m - 6, 3*m + m - r = 8. Let d = -5 + m. Let a be 4⁄6 - 7/d. Solve -6 = -a*y + 6 for y.
4
Let x(k) = 3*k - 3. Suppose 0 = -s + 5*z - 1, 3*s + 0*z + 3 = -2*z. Let t = 3 + s. Let v be x(t). Solve 0 = -2*n + v*n + 5 for n.
-5
Suppose 0*s + 50 = 2*g + 4*s, 0 = -5*g + s + 92. Solve -3 = -4*n - g for n.
-4
Let q(x) = x3 + 17*x2 + 17*x + 20. Let m be q(-16). Solve -m*l - 8 = -0*l for l.
-2