Let i be (-4 + 7)/(6⁄4). Let n be 4*-2 + (i - 2). Let f = 11 + n. Solve 0 = f*a - 12 - 0 for a.
4
Suppose i - 60 = -4*i. Let k be (-1 + i)/(5 - 4). Solve 1 - k = -2*m for m.
5
Suppose -4*k = -2*k - 6. Let y be ((-1)/k)/((-4)/12). Solve -d - y = -0*d for d.
-1
Suppose -14*v + 17*v = 36. Solve 2*t = 6*t - v for t.
3
Let a(u) = -u3 + 5*u2 - 4*u + 2. Let d be a(4). Let q(i) = -3*i3 + i2 - 2*i + 3. Let l be q(d). Let h be 1 + (l/(-3) - 1). Solve 0 = -3*w + 5 + h for w.
4
Let f(j) = -2*j - 26. Let c be f(-13). Solve c = 4*l - 5*l for l.
0
Let o be 1⁄3 + (-56)/(-12). Suppose 4*l - o = 95. Solve l = 7*x - 2*x for x.
5
Let h(w) = -w**2 - 5*w - 4. Let k be h(-4). Suppose 5*s = 0, k*y - 15 = -3*y - s. Suppose 2*p = -3*j + y*p - 6, -3*j = 2*p - 19. Solve 4 = j*g - 2*g for g.
4
Suppose 4*v - 18 = -2*n, -3*n + 15 = -8*n + 5v. Let m = -3 - -6. Let b be m((-7)/(-3) - 1). Solve -b = -5*t + n for t.
1
Let r = 174 + -163. Solve r*g = 7*g + 12 for g.
3