Let y(d) = d3 + 3*d2 - 6*d - 4. Let n be y(-4). Solve 2*u + 4 = -n for u.
-4
Suppose -3*r + 15 = 5*t, -r + t + 5 = 2*t. Solve r = -10*l + 5*l for l.
-1
Let d(n) = n**2 - 3*n + 1. Let v be d(4). Suppose 0 = v*u - 2*w - 7, u - 4*w = -14 + 1. Solve 2*m + 5 + u = 0 for m.
-4
Suppose 0 = -2*i - 4*f - 6, -4*i - 5f - 27 = 0. Let y = 18 + i. Let g be 4(2 - (0 - 1)). Solve r - y*r + g = 0 for r.
3
Let y = 8 + -6. Let k = 10 + -10. Suppose -4*b + 0*b + 12 = k. Solve y*h + b - 7 = 0 for h.
2
Let i be ((-3)/15)/(1/(-5)). Solve -5 + i = 4*p for p.
-1
Suppose -5*q - 10 = h, 2*h = -0*h + 2*q + 16. Solve -h = 5*u - 0*u for u.
-1
Suppose -15 = v + 4*b, 0*v - 3*v + 3*b + 30 = 0. Solve v*l - 4*l = 0 for l.
0
Let f(u) = u - 5. Let x be f(5). Suppose -5*p + 10 = -x*p. Let h = p - 1. Solve -t = 3 - h for t.
-2
Suppose h + 4 = s, 2*s + 1 = 5*h + 12. Let d be (-5)/(2 + -3 - 0). Solve -s*n - d = 10 for n.
-5