Let s be (6 + (-72)/16)/(2⁄4). Solve -2 = s*q - q for q.
-1
Suppose 2*y - 4 = 0, 3*r - 2*y - 3 = y. Suppose -4*c + 5 = -r*c. Solve -7 = -c*t - 17 for t.
-2
Suppose -3*k + 1 = -14. Suppose -41 - 4 = -5*m. Let v = m - k. Solve v*t - 6 = -26 for t.
-5
Let t(d) = -34*d3 - 2*d2 + 2*d - 1. Suppose -5*q + 20 = 5*f, 5*q - 4*f + 2 = -5. Let o be t(q). Let b = -20 - o. Solve -h + b = 4*h for h.
3
Let m(y) = -3*y - 15. Let a be m(-5). Solve a = -2*f + 3 + 3 for f.
3
Let p be (-122)/5 + (-10)/(-25). Let m be (18/p)/((-1)/4). Solve m*z - 16 = -4 for z.
4
Let d(v) be the first derivative of -v4⁄4 - 7*v3⁄3 + 4*v2 - 3*v - 1. Let n be d(-8). Let g(l) = -l2 - 2*l + 3. Let z be g(n). Solve z = -r - 4*r for r.
0
Let d be ((-2)/1)/(2 - 3). Let k = d + -2. Let a be k/(2 - 1) + 4. Solve 3*f + 8 + a = 0 for f.
-4
Let n = 9 + -5. Suppose 0 = -4*t + 3*p + 8, -3*t - p + 4 = -2. Solve -n*q - t = -2*q for q.
-1
Suppose -t - 3 = -3*s, -t = 3*s - 0*s + 3. Solve 5*n = -s*n for n.
0