Suppose 5*t + 15 = 5*z, -t = -2*z - 6*t - 8. Solve y = z - 0 for y.
1
Let r be (-6)/(-4)(-16)/(-12). Let j be r/6(-21)/1. Let a(x) = x3 + 7*x2 - x - 7. Let g be a(j). Solve -6 = -2*w - g for w.
3
Suppose 5*i = -2*u + 62, 0 = 4*i - u - 33 - 27. Let h = 29 - i. Suppose 0 = -q - 3*q + 8. Solve 5*v + h = q*v for v.
-5
Let r = -33 + 56. Solve 5*u = -2 - r for u.
-5
Let d(i) = i**2 + 2*i - 2. Let t be d(2). Let j be ((-6)/t)/(2⁄4). Let q = j + 3. Solve 4 + q = v for v.
5
Let u be -4 + 4 + 0 + 2. Solve 0 = u*o - 6*o for o.
0
Suppose -2*c + 4*k = 15 - 5, 5*c = -2*k + 23. Solve -c*g + 5*g = 8 for g.
4
Suppose 53 = 3*c + a - 6*a, 2*c + a - 31 = 0. Solve -4 + c = -3*q for q.
-4
Suppose -2*w = -5*d + 55, -d + 12 - 1 = -w. Let x = 9 + -5. Let f be x/30 - 43/(-15). Solve 0 = 4*v + f - d for v.
2
Let f(u) = -u**2 - 4*u + 4. Let y be f(-4). Solve 0 = -7*i + y*i - 6 for i.
-2