Suppose 0 = 2*t - 6*t. Let x = t + 3. Solve x*y - 2*y = -2 for y.
-2
Let t = 11 + -6. Solve t*g + 25 = -0*g for g.
-5
Suppose 0 = u - 3*l - 0*l - 14, 5*u - 37 = 4*l. Let q be (2 + -3)/(6/(-222)). Solve 0 = -u*a + 12 - q for a.
-5
Let c = 30 - 25. Solve -20 = -5*w - c for w.
3
Let f(s) = -s3 - 6*s2 - 4*s + 7. Let k be f(-5). Suppose -6*u + 40 = -u + 5*d, -k*d = -10. Suppose 0 = -0*y + u*y - 9. Solve y*j = -j for j.
0
Suppose 0*t = -t + 3. Solve -t + 0 = -z for z.
3
Suppose 0 = -3*g - 6, -n - g + 6 = -2*g. Let h(y) = y**2 + 6*y - 10. Let j be h(-7). Let k be 3⁄9 + (-29)/j. Solve 6*a + k = n*a for a.
-5
Let h = -19 - -23. Solve 0 = h*c - 3 - 5 for c.
2
Let a(d) = -d3 + 5*d2 + 6. Let v be a(5). Suppose 5*t - v = 3*t. Let g = 15 - 7. Solve z + t = g for z.
5
Let o = 3 + -3. Suppose 0 = -s + 6*s - d - 25, 21 = 4*s - d. Solve o*p + p - s = 0 for p.
4