Let v(x) = -x3 + 4*x2 - x - 1. Let a be v(3). Solve a*b + 23 + 2 = 0 for b.
-5
Let i = 5 - 2. Suppose -3*f + 2*f + 1 = 0, -j + 5*f + 4 = 0. Let w(z) = z + 11. Let g be w(j). Solve -i*v = -7*v - g for v.
-5
Let q be -3*((-5)/3 + -1). Suppose 0*n - q = -4*n. Suppose -2*l - z + 4 + 1 = 0, -5*z = 5*l - 15. Solve 0 = -n*b - l*b + 16 for b.
4
Let x(f) = 3*f - 1. Let q be x(1). Let v be (0 + (3 - q))*5. Solve -v*u + 4 = -11 for u.
3
Let g be 1 + 2 + (3 - 2). Let h(a) = -a3 - 3*a2 - 2*a2 + 2*a - 3 + 2*a2. Let x be h(-4). Solve -g - 11 = -x*o for o.
3
Suppose -3*k = -22 + 7. Suppose -7 = -k*f + 3. Solve 4*i + 10 = f*i for i.
-5
Suppose -3*t - x = -166 - 207, -3*t = 4*x - 358. Let y be (t/(-35))/((-4)/10). Solve 0 = -a + 4*a + y for a.
-3
Suppose 10*z - 82 = -2. Solve -3*x = -z*x for x.
0
Suppose 5*t + 3 - 13 = 0. Let k = 2 - t. Suppose 0 = f - 3*c + 1, -3*c - 3 = -3*f - k. Solve -r + f = r for r.
1
Let f be (-1)/(-7) + 3 + (-15)/7. Solve f + 7 = 4*o for o.
2