Let d = 31 - 0. Suppose 4*u = 103 - d. Solve -2 + u = 4*f for f.
4
Let o(w) = 4*w + 25. Let q be o(-4). Solve -3*f - q = -0*f for f.
-3
Suppose -20 = -4*i - 4*m, 0*i + 2*i + 3*m = 11. Suppose -5*x = -i*x. Suppose -t - t = x. Solve t = 3*r - 6 for r.
2
Let r be (-4)/18 - 8/(-36). Solve c + 0*c - 3 = r for c.
3
Suppose 0 = -b - c - 0*c + 9, 1 = -b + c. Let m be -1 + (b - -1 - 0). Solve 0 = -m*a + 4 + 4 for a.
2
Let w(q) = q - 1. Let c(n) = n**2 - 9*n + 4. Let x(a) = c(a) - w(a). Let j be x(10). Suppose -3*f = -0*f - 18. Solve j*y = f - 1 for y.
1
Let g(x) = -x**2 - 10*x + 4. Let l be g(-10). Solve 0 = l*n - 2*n for n.
0
Let l = 8 - 7. Let c be 3 - (2 - (2 - l)). Solve -c + 6 = -4*s for s.
-1
Suppose -5*m = -4*q - 21, q + 2*q + 12 = 3*m. Suppose -3*i = 2*i - 40. Let r(b) = -b + 1. Let a be r(1). Solve m*x - 3*x + i = a for x.
-4
Suppose -4*j + i - 1 = -3*j, -2*j + 2 = -i. Let z(u) be the third derivative of -u6⁄120 + u5⁄12 + u4⁄6 + u2. Let w be z(5). Solve -j*d - w = d for d.
-5