Suppose 0 = 5*b + 3*x - 23, 3*b - x = 12 + 13. Let j = b - 5. Let k = 33 - 29. Solve -j*u - 6 = k for u.
-5
Let r be ((-2)/4)/(3⁄6). Let k be (0 - r) + (7 - 2). Suppose -2 = 2*c - k. Solve 0*s = c*s - 2 for s.
1
Let h(k) = 15*k**2 - k + 1. Let s be h(1). Suppose -3*m + s = 2*m. Suppose 0 = m*v + v. Solve v = t - 2*t for t.
0
Let i(k) be the third derivative of -k5⁄20 + k4⁄12 - k3⁄6 - 2*k2. Let n be i(1). Let w be ((-3)/n)/(6⁄8). Solve 0 = -7*o + w*o + 15 for o.
3
Let g(z) = -z + 10. Let f be g(7). Suppose -2*y = -3*y + 2*x + 10, -4*y + 18 = f*x. Solve -2*l - 4 = y for l.
-5
Let l(d) = -d - 3. Let b be l(-6). Suppose -b*h + 4*y + 5 = 0, -2*h + 9 = 2*y + y. Solve -h*s + 1 = 16 for s.
-5
Suppose -7*g = -2*g - 5. Let t be 6 + -3 - -2*g. Suppose -a - a - j - 1 = 0, 2*a - t*j - 29 = 0. Solve 0 = 4*n - 3*n + a for n.
-2
Let f be (-4 + (-7)/(-2))/(1/(-8)). Solve 0*b = -2*b - f for b.
-2
Let h be 3⁄15 + (-144)/20. Let i = 9 + h. Solve i*u + 8 = -2 for u.
-5
Let r(y) = 15*y**3 - y + 1. Let f be r(1). Solve -p - f = -6*p for p.
3