Let k = 1 - 1. Let m = k - -1. Solve 0 = 4*j - m - 11 for j.
3
Suppose -4*m = t + t + 12, -t = -5*m - 15. Suppose t = 2*s - 3*s + 4. Suppose 0 = -s*i + i. Solve y + 2 = -i*y for y.
-2
Let a be -5*((-3)/(-5) + -1). Let z(s) = -2*s + 2. Let k be z(0). Let f = k + a. Solve 0 = f*m - 7*m + 6 for m.
2
Let q = 19 + -19. Solve q*n + 1 = n for n.
1
Let t = -22 - -24. Let y© = 0 - 2 - c + 3. Let g be y(-1). Solve -6 + t = g*r for r.
-2
Let x(m) = -2*m + 11. Let j be x(5). Let i = j + 1. Solve -5*u - 12 + i = 0 for u.
-2
Let o = -4 - -4. Let q be o/(-1 - (-2 + 2)). Let y be q-1(-3)/(-3). Solve y = -4*b - b + 20 for b.
4
Suppose t - 25 = -4*t, 3*f - 4*t = -38. Let b be f/9 - 14/(-3). Suppose 0*z + 8 = b*z. Solve 0 = o + z*o for o.
0
Let a(t) = -3*t2 + 7*t + 8. Let x(n) = -2*n2 + 4*n + 4. Let s(d) = 3*a(d) - 5*x(d). Let r be s(-3). Solve 5 = -5*c - r for c.
-3
Let q(i) = i3 - 2*i2 - i - 1. Let o be q(3). Suppose -p = -6*p - 5*v + o, -v + 1 = -3*p. Solve p = -3*h + 4 - 19 for h.
-5