Let t(l) = -l**2 - l + 2. Let y be t(1). Solve y*r = -5*r + 20 for r.
4
Suppose -29*t + 40*t - 33 = 0. Solve t*o + 2 + 4 = 0 for o.
-2
Let n = 14 + -14. Solve 0 = -i - n*i + 1 for i.
1
Suppose -3 - 3 = -i. Solve 12 = i*j - 2*j for j.
3
Suppose -4*x + 8 = -12. Solve x = -5*m - 15 for m.
-4
Suppose 2*c + 5*j - 13 = 20, -j = c - 9. Solve 0 = -c*x + 8*x for x.
0
Let j = 1 + 3. Suppose 0 = -2*z + 1 + 5. Suppose -j*g + 3*g - 2*h + 10 = 0, -h + 20 = z*g. Solve 0 = -u - u + g for u.
3
Suppose 4*n + 4*b - 16 = 0, 0 = -b - 0 + 1. Suppose 3*f - 11 - 7 = 0. Solve 0 = n*s - f*s for s.
0
Suppose -4*t + s = 1, 3*t + 2*s + 3 = 5*s. Solve -5*b + 4 + 11 = t for b.
3
Suppose 5*j - 5*u = 40, 3*j + 3*u - 25 = 7*u. Solve -4*t - j = -3 for t.
-1