Let z be 30⁄32⁄5. Let k be z/2 + 1-1. Solve k - 16 = -5*f for f.
3
Let x(u) = -u**2 - 4*u - 1. Let p be x(-4). Let t be 1/(2/(-8))*p. Solve 2*k - 6*k - t = 0 for k.
-1
Let s = 75 + -75. Solve s = -3*p - 7 - 8 for p.
-5
Let r = -3 + 6. Solve -h - 2*h = r for h.
-1
Suppose -2*n = -0*n - 4*g - 34, -g + 85 = 5*n. Let s = n - 11. Suppose 0 = 4*j + a - 12, -s = -3*j + j - a. Solve -j*y - y = -20 for y.
5
Let g = 2 - 6. Let q be 7 - 0*2/g. Solve 2*w - 1 = -q for w.
-3
Let m(g) = g3 - 8*g2 + 3. Let s be m(8). Suppose s*l = -u + 40, 0 = -5*u - 9 + 29. Solve -l = 3*d + 3 for d.
-5
Let r be 0/(-1 - -1 - -2). Let z(w) = -w + 6. Let t be z(3). Let y = r + t. Solve y = u + 6 for u.
-3
Suppose -t - t = 0. Let b(w) = w**2 + 2*w + 1. Let m be b(3). Suppose -m = -4*q + 2*l, 0*l + 20 = 5*q - 4*l. Solve 0*c + c - q = t for c.
4
Let k be (-2)/6 + (-14)/(-6). Suppose 2*i - 7 = 3*u, 0*i - 3*i = 4*u + 32. Let w = i + 5. Solve 9 - w = k*g for g.
4