Let q be -2 - (-23)/(-1) - -4. Let t = -16 - q. Solve 4 = -3*z - t for z.
-3
Suppose 5*u - 8u = 0. Let a be u(-2)/(-18)*3. Suppose 3*z + z - 12 = a. Solve z*b - 6 = b for b.
3
Let f = 2 + -2. Suppose 0 = -n + 5*n - t - 14, 3*n - 14 = -t. Let l = -1 + n. Solve f*z - 3 = -l*z for z.
1
Let j be (-1)/(1 - 3⁄2). Let h = 61 + -43. Solve -5*v - j = h for v.
-4
Let n be 2⁄2*2 + 2. Let j be ((-2)/n)/((-1)/2). Suppose -j - 3 = -m. Solve 4*z + m = -0*z for z.
-1
Let x be (-3 - 22/(-6))*3. Suppose 0 = 2*l - 4 - x. Solve l*k - 15 = -2*k for k.
3
Let l(z) = -z3 + z2 + z + 1. Let s be l(0). Let i(a) = 3*a**2 + a - 1. Let r be i(1). Let y be 1*0*r/(-12). Solve y + s = m for m.
1
Suppose -2*q - 14 = -4*q. Let a = 6 - q. Let n = a + 6. Solve -7*m - n = -2*m for m.
-1
Let r = 67 + -45. Suppose h - r = -h. Suppose -2*v = d - 7*v + 17, 5*v = 3*d + h. Solve 0 = -d*f - 0 - 6 for f.
-2
Let k = -40 + 44. Solve 5*a - 5 = k*a for a.
5