Let k(b) = 2*b**2 - 10*b + 4. Let w be k(5). Solve 0*d = -2*d + w for d.
2
Suppose a = -4*a - 5*t + 35, 4*a - 26 = -3*t. Suppose 6*n - 3*n + 2 = -a*c, 3*c + 4*n + 10 = 0. Solve 0 = 2*j - c - 8 for j.
5
Let x(l) = -2*l - 3 - 4*l + l3 + l2 + 3*l**2. Let v be x(-5). Solve 6 = k + v for k.
4
Let i(o) = o**2 + 14*o + 18. Let w be i(-13). Solve 4*t - 17 = -w for t.
3
Suppose 0 = -4*t - 5*p + 5, 0*p = 2*p + 6. Suppose -t*v - 4*l + 8 = 0, 2*v = 6*v - 5*l - 31. Solve 3 + 17 = v*r for r.
5
Suppose 0 = -5*r + 2*s + 21 + 4, 3*r + 4*s = -11. Let y = -2 + r. Let q(k) = 5*k - 1. Let w be q(1). Solve -w*o - y = 11 for o.
-3
Suppose 0 = 3*k + k - 20. Let v = k - 3. Solve -2 = j + v for j.
-4
Let b = 8 + -8. Solve b = -a - 4*a + 5 for a.
1
Suppose -3*j + 36 = -3*i, 3*j = -2*i + 7 + 4. Solve 0 = -2*t + j*t - 5 for t.
1
Suppose 3*v - 28 = -4*y, 3*y = 2*y + 1. Suppose v = 4*t - 12. Solve 2*d - t = -3 for d.
1