Let v(l) = l3 + l2 + 5. Let x be v(0). Solve x*j - 2*j = 0 for j.
0
Suppose 0 = 3*o - 4*o. Let l = -28 - -31. Solve o = l*j + j + 12 for j.
-3
Let m(l) = -l3 + 6*l2 + 6*l - 1. Let j be m(6). Let c be (10/j)/((-2)/(-14)). Solve h = c*h for h.
0
Let c = 1 + -4. Let y = c - -5. Let h be 0(-1 - 2-1). Solve -y = d - h for d.
-2
Suppose 3*h - 49 = u, 5*h - 2*h = 5*u + 65. Suppose -3*y = -0*i - 2*i + 15, -y + h = i. Suppose a - 5*m - 11 = 5*a, -3*a + i = -3*m. Solve 0 = -k + a for k.
1
Let v(n) = n3 + 11*n2 + 8*n - 8. Let t be v(-10). Let o = t + -8. Solve -y + o = -0 for y.
4
Let q = -10 - -12. Solve q = 5*i - 3 for i.
1
Suppose z - 4*j + 10 = -0*j, 0 = z + 5*j - 17. Suppose 4*m = 6*m. Solve 5*y - z*y = m for y.
0
Let b(k) = -2*k + 5. Let m be b(4). Let g = m - -3. Suppose g = -2*h + 7 - 3. Solve h*w = 6 - 2 for w.
2
Suppose 0 = 5*f - 2*f - 12. Solve f = 2*w - 0 for w.
2