Let b be (-2)/(-3)*(4 + 2). Let y be 135⁄36 - (-1)/b. Suppose y*m - 60 = -m. Solve 2*h + m = -h for h.
-4
Let s be (-7 - 1)*2⁄4. Let p be 20⁄3 - s/(-6). Let v be 2/(-10) + (-42)/(-10). Solve -p*b - v = -2*b for b.
-1
Suppose -4*t + 8 = -2*p, -p + 0 + 2 = 0. Solve -2*r - t*r = -5 for r.
1
Let k be (-10)/4 + 2⁄4. Let l = k - -6. Solve z = -0*z + l for z.
4
Let j be 3⁄3*-1 - -5. Suppose 2*y - 3*u = 3*y, 0 = 2*u. Solve -r = -y*r - j for r.
4
Let w(u) = -3*u3 - 24*u2 - u - 2. Let a be w(-8). Solve k = -1 + a for k.
5
Let a(f) = -10*f3 - f2 - f. Let z be a(-1). Suppose -z = -3*k - 2*k. Suppose 0 = 3*b - 15, -18 = -3*t - k*b - 2. Solve 2*x = -t*x for x.
0
Suppose 2*z = -2*z + 60. Let l be (4⁄3)/(10/z). Solve 5 + 5 = -l*k for k.
-5
Let g(l) = -2*l - 3. Let u be g(-4). Solve 15 + 10 = u*c for c.
5
Let c(v) = v**3 - v + 3. Let o be c(0). Let m be 22 + -10 - (-1 + 4). Solve o*u - m + 0 = 0 for u.
3