Suppose -16 = 10*k - 16. Let w be 0 - 3/(3/(-4)). Suppose 0*d + 4*d - a - 20 = 0, -4*d + 2*a = -24. Solve d*m - w = -k for m.
1
Suppose -2*k - 4 + 10 = 0. Solve 8*y = k*y for y.
0
Let u(i) = i**2 - 2*i - 5. Let n be u(-5). Let a be -11(-1 + -4). Solve a*r + 5 = n for r.
5
Let z be 255⁄34*2⁄5. Solve z*m = 5*m + 6 for m.
-3
Let w be 1/(4*2⁄24). Let c be 40⁄7 - (-8)/28. Suppose -4*b = -c*b. Solve w*q = -b*q for q.
0
Suppose -6 = -n + 12. Let a = n - 3. Solve -f + 4*f = a for f.
5
Let h = 1 - -11. Solve 4*a - h = -4 for a.
Suppose -d = 4*m - 5 + 1, -2*d + 4*m = -8. Let c = d + -2. Suppose 3*o + c*o - 30 = 0. Solve -o*h - 15 = -h for h.
-3
Let c(v) = -4*v - 7. Let y® = -3*r - 7. Let d(f) = 4*c(f) - 5*y(f). Let a be d(3). Solve 0*z = -a*z - 16 for z.
-4
Let g be (0/(2 - 5))/1. Suppose g = -3*q + 7*q - 12. Solve 2*s - 3 = q*s for s.
-3