Let x be -1*(-6)/3 - -1. Suppose -18 - 20 = -3*a - 5*i, 0 = x*i - 12. Solve 5*m + a = 1 for m.
-1
Suppose 142 = -5*r + 437. Suppose 36 - 13 = q + 3*n, 3*q - n = r. Solve -4*k + q = -0*k for k.
5
Suppose 0 = 2*z - 7*z - 25. Let k be (2/z)/(1/(-5)). Solve 0 + k = -f for f.
-2
Let m(i) = i**2 - 3*i - 4. Let j be m(4). Suppose 4*z = z + 5*w - 55, 0 = -2*z + 5w - 40. Let g be (j + 3)(-10)/z. Solve -3*k = g - 5 for k.
1
Let n be (-2 + -2 - 0) + 1. Let k be (-2)/(-1) - (-5 - n). Suppose k*j + 33 = 5*x - 51, 0 = x - 5*j. Solve -3*i - i = -x for i.
5
Suppose 0 = y - 2 + 1. Let o = 7 + y. Suppose 5*a - a - o = 0. Solve 0 = -3*h + 2*h + a for h.
2
Let k(h) = -h3 + 6*h2 + 2. Let q be k(6). Suppose -q*z + 5 + 7 = 0. Let w = z - 1. Solve -w*m = -2*m - 12 for m.
4
Let y = 4 - 6. Let c = 2 + y. Solve -4*f + 3*f = c for f.
0
Let f = -17 - -19. Solve f = 2*n + 4 for n.
-1
Suppose 3*u = 0, -c = -3*u + 4*u - 5. Solve -c + 13 = 2*t for t.
4