Let c be (-1)/((-1)/2 + 0). Let i = 8 - c. Solve -5*l - i = -7*l for l.
3
Let j(u) = u3 - u2 - u + 1. Let c be j(0). Solve r + 0*r - c = 0 for r.
1
Let l(h) = h - 5. Let i be l(10). Solve 0 = -x - i for x.
-5
Let v be 1/(-2 + (2 - -1)). Let p be (-3 - -2 - 1) + 6. Solve p*l = -v - 3 for l.
-1
Let k(h) = -h**2 + 7*h + 1. Let d be k(7). Let m = 0 - -3. Let r = d + m. Solve 2 - r = 2*b for b.
-1
Let a = 5 + -8. Let o = a + 7. Suppose 0*t = o*t - 4. Solve f = t - 3 for f.
-2
Let m(x) = 5*x3 - 2*x2 + 1. Let d be m(1). Solve a = -d*a for a.
0
Suppose 4*t + 0*t - 120 = 0. Suppose -3*y - t = -5*n, 2*n = -5*y - 6 - 13. Solve -z - 2 = -n*z for z.
1
Let w = 0 - -3. Suppose w*n + p + 2 = 5*p, 4*p - 4 = 2*n. Suppose 0 = n*z - 5*z + 78. Solve 5*h - 1 = -z for h.
-5
Let q(h) be the second derivative of 5*h4⁄6 + h3⁄3 + h**2⁄2 - 2*h. Let d be q(-1). Suppose 4*v = -y + 21, 6*y - 4*v = 2*y + 4. Solve -y*k = -d - 1 for k.
2