Let j = 18 - 16. Let u be ((-8)/(-6))/(j/3). Solve 0 = 3*t - u*t + 1 for t.
-1
Let o(z) = -z. Let m be o(5). Let p(x) = x3 + 5*x2 + 7. Let w be p(m). Let g = -7 + w. Solve -t + 2*t + 1 = g for t.
-1
Let d(z) = -z - 1. Let c be d(-10). Solve 6*i - c = 9*i for i.
-3
Let g = 2 - -1. Let o(u) = u**2 - 3*u. Let q be o(g). Solve -2*s + 6 - 4 = q for s.
1
Let h be (3/(-4))/((-3)/12). Suppose 0 = 2*f + 30 - 10. Let c be (-1)/(h/(f - 2)). Solve 0 = -5*u - c - 6 for u.
-2
Suppose 2 = -2*o - 4*t, 0*o + t - 5 = 5*o. Let x(g) = -15*g + 5. Let y(n) = n - 1. Let p(v) = x(v) + 4*y(v). Let i be p(o). Solve 0 = -5*h + h + i for h.
3
Let m(l) = l3 - 5*l2 + 3*l + 4. Let u be m(4). Suppose u = -0*i - 2*i + 4. Solve 0 = i*s - 4 - 6 for s.
5
Suppose -2*r - 7 = k, 5*k - 4*r - 32 = k. Solve 2*w + k*w + 5 = 0 for w.
-1
Let l(d) = d + 2*d + d**2 - 4 - 9*d. Let c be l(8). Suppose -k + 5*k = c. Solve k*v + 15 = 3 for v.
-4
Let u = 0 - -2. Suppose -4 = -4*m, 4*q - 3*m + u - 7 = 0. Suppose q*l - 4 = -0. Solve 3*r = l + 4 for r.
2