Let q be ((-12)/30)/((-2)/(-10)). Let y be 12 + q - (-1 + 2). Let t(n) = -n**2 + 9*n + 2. Let m be t(y). Solve -f - m*f = -6 for f.
2
Suppose -5*n - 16 = 3*m, 5*m + 2 = n + 3*n. Let f be (-1)/m + 3/(-2). Let w be f/(-4) - 2⁄8. Solve w = -l - 4 + 1 for l.
-3
Suppose 3*h - 9 = 6. Let j = -3 + 6. Suppose 0*i = -j*i. Solve i = h*l + 1 + 24 for l.
-5
Let i(l) be the first derivative of 2*l**2 + 2*l - 3. Let x be i(1). Suppose 3 = 3*d, 4 = 4*t + 3*d - 7. Solve -x*b + t*b = 0 for b.
0
Suppose -3*u - 2*u = 0. Let d® = 0*r + 9 + u + r. Let m be d(-7). Solve -m*q + 0*q - 8 = 0 for q.
-4
Let i be 13⁄4 + 3⁄4. Suppose -3*x - 3*g + 2 = -4, i*x - 8 = -3*g. Solve 0 = -6*o + x*o for o.
0
Suppose r = -5*y + 15, r - 6*r = 4*y - 33. Suppose 0 = -3*w - 5*s + 9, s = -w + 5*w - 12. Solve 0 = w*t - r*t for t.
0
Suppose -5*i + 2*a + 12 = -17, -23 = -3*i + 4*a. Solve 0 = i*b + 16 - 1 for b.
-3
Suppose -2*k = -8 + 4. Solve 0 = k*o - 6 + 4 for o.
1
Let a be (-13 + 4)*(-1)/3. Solve 2*t - a*t = -4 for t.
4