Suppose s + 4*s - 25 = 0. Suppose 0 = s*r - 2*r - 6. Solve -r*t - 2*t = -16 for t.
4
Let g = 3 - -1. Let a = g + -3. Solve -3*z - 2 = a for z.
-1
Let p = 112 + -110. Solve -p*s + 0 = -2 for s.
1
Let j(h) = 4h + 1. Let w be j(-1). Let a be 3/((-6)/4)-2. Let i = a + w. Solve -16 = 3*l - i for l.
-5
Let f(i) = 9 + 7*i - 4 + 2*i + i**2 + 6. Let v be f(-8). Solve v*a = -a - 4 for a.
-1
Let c = -13 - -25. Suppose -3*h + c = 3. Solve 0*m - h = m for m.
-3
Let k = -3 + 15. Solve -5*z + 2 - k = 0 for z.
-2
Suppose 12 + 4 = -4*p. Let d(q) = 2*q**2 + 5*q + 1. Let s be d(p). Let k = -8 + s. Solve -k*n - 1 - 4 = 0 for n.
-1
Let l be ((-2)/2)/((-3)/6). Suppose -b = 2*b. Let f(a) = -a3 - 2*a2 - 2*a. Let w be f(-2). Solve -w*u + 2 + l = b for u.
1
Let j = -84 + 84. Solve 0 = 2*b - j + 2 for b.
-1