Let y(t) = -3*t3 - 2*t2 + 1. Let g be y(1). Let w = g - -20. Solve -2*u - 2*u = w for u.
-4
Let i© = 2*c - 17. Let f be i(10). Solve 15 = f*u - 8*u for u.
-3
Suppose 0 = -3*t + 7*t. Suppose 12 = -4*n, 0 = -3*y - 3*n - t*n. Solve -y*f + f = 8 for f.
-4
Let f be (4⁄4 - (-7)/3)*3. Solve -5*a + 0 = -f for a.
2
Suppose -5*l = -8 - 2. Solve 2*r = -l*r + 20 for r.
5
Suppose -3 = 3*r, -h - 3*r + 0*r - 1 = 0. Solve 0 = -h*a + a - 3 for a.
-3
Let o(j) = -j**2 + 6*j + 16. Let p be o(8). Solve 4 = -p*i + 2*i for i.
2
Suppose -5*l = -2*j - 0*j - 80, -5*l + 90 = -4*j. Let y be 2⁄3*147/l. Solve 0 = y*p - 3*p for p.
0
Let k = 1 + -1. Suppose -5*b + 25 = -k*b. Suppose 0 = b*m - 30. Solve m*s - 2*s + 4 = 0 for s.
-1
Suppose 2*i + 13 = -5*w, -3*i - 14 = 4*w - 5*i. Let s(b) = -2*b - 4. Let j be s(w). Let d(k) = k**2 + 4*k - 12. Let t be d(-6). Solve -2*l - j = -t*l for l.
-1