 Let v be i(z). Sort 4, 5, v.
v, 4, 5
Suppose -4*d - 3*t = -2 - 6, d + 2*t - 2 = 0. Put 5, 3, d in decreasing order.
5, 3, d
Suppose 3*w - 9 = 0, 2*d - w + 0*w + 1 = 0. Put d, 4, -4 in decreasing order.
4, d, -4
Suppose -17 = -3*y - 8. Let n = y - 3. Suppose i - 9 = 5*z, 3*z + 4 + 2 = n. Sort i, 0.4, 3 in decreasing order.
3, 0.4, i
Let l = -2 + 6. Sort l, 2, -1 in descending order.
l, 2, -1
Suppose -9*t + 3*t = 14*t. Put t, 4, -8 in decreasing order.
4, t, -8
Suppose -5*u - 21 = -26. Put -0.3, u, 0.1 in decreasing order.
u, 0.1, -0.3
Let i = 7.6 - 7.6. Put i, 3, -5, 2/3 in decreasing order.
3, 2/3, i, -5
Let n(x) = x + 1. Let f(p) = p + 7. Let a be f(-5). Let c be n(a). Let g = -3 - 2. Sort 1, c, g.
g, 1, c
Let w = 100 + -104. Sort w, 1, 23, -2 in descending order.
23, 1, -2, w
Let u be 2/(-5) + 60/25. Sort 4, 22, u in increasing order.
u, 4, 22
Suppose 3*y - 9 = -3*w, -4*w = -6*y + 5*y + 3. Sort 1, y, -1 in descending order.
y, 1, -1
Suppose 3*c = -c - 16. Let o be ((-10)/c)/(5/(-10)). Sort -2, o, -4 in decreasing order.
-2, -4, o
Let g be ((-2)/6)/((-2)/6). Let j = -0.5 + -2. Let o = j + 3. Sort g, o, -0.5.
-0.5, o, g
Let k = 7 + -33/5. Put 2/9, -2, k in ascending order.
-2, 2/9, k
Suppose 0 = 2*k - 13 - 1. Put k, -2/9, -5 in ascending order.
-5, -2/9, k
Suppose 3*i - 3*g - 20 = -g, 4*g - 24 = -2*i. Let f = -12 - -59/5. Sort 0.1, i, f.
f, 0.1, i
Let t = -26 - -25. Let c be (-1)/(-1)*(-1)/2. Sort t, c, 0.03.
t, c, 0.03
Let y = -0.07 - 0.13. Sort -1, 1, y in descending order.
1, y, -1
Let o = 4 - 2. Let p be o/13 + 84/(-39). Sort -3, 2, p.
-3, p, 2
Let f(x) be the first derivative of x**4/4 - 3*x**3 - 5*x**2 - 4*x + 6. Let i be f(10). Let n be ((-1)/1 - 0)*3. Sort n, 0, i.
i, n, 0
Let q = 34 - 21. Suppose -2*r - q = 2*u - 1, -3*u - 6 = -r. Let y(c) = 2*c - 15. Let t be y(7). Sort r, t, 1/2.
r, t, 1/2
Let v = 41 - 71. Let u = v + 32. Sort -3/4, u, -2/15 in decreasing order.
u, -2/15, -3/4
Let b = -10 - -14. Suppose 0 = -2*u - b*d - 24, -d - 4*d = 5*u + 35. Sort u, 0.3, 2/7 in increasing order.
u, 2/7, 0.3
Let i = -2.91 + 2.9. Put 1/4, 0, i in descending order.
1/4, 0, i
Let n be (-6 - -10) + 46/(-11). Let z = 1709346/13 - 131834. Let u = 346 + z. Sort u, n, -0.3 in decreasing order.
u, n, -0.3
Let v = -58 + 62. Sort -4, v, 3, 5 in ascending order.
-4, 3, v, 5
Let m be (-26)/126 - (-4)/(-18). Suppose 3*j - 6 - 6 = 0. Sort -2/7, m, j.
m, -2/7, j
Suppose -25 = 19*x - 24*x. Sort 12, x, 1 in increasing order.
1, x, 12
Suppose -3*n = -2*k + 15, 5 = -2*n - 2*k - 5. Let p = 24 + -26. Put p, n, 3 in decreasing order.
3, p, n
Let o = -0.05 - 0.35. Let y = -1 - -1.2. Let s be (-4)/(-6) - 40/42. Put o, s, y in ascending order.
o, s, y
Suppose 2*q = -o - 2*q - 2, -5 = -5*o - 5*q. Let f be (42/(-35))/(o/5). Sort f, -1, 1 in descending order.
1, -1, f
Let f(o) = 2*o**2 - 16*o + 17. Let i be f(7). Sort i, -4, 2 in descending order.
i, 2, -4
Let y = -119/3 - -40. Sort y, 0.4, 0 in decreasing order.
0.4, y, 0
Let y(p) = -p**3 + 9*p**2 - 4*p + 8. Let h be y(7). Let i = 299299/9 - 33177. Let z = h - i. Sort 0.4, -0.3, z in ascending order.
z, -0.3, 0.4
Suppose 0*p + 2*p = 10. Let j = -0.6 + 0.1. Suppose 3*c + 5*q + 1 - 8 = 0, -c - 3 = -q. Put p, c, j in ascending order.
c, j, p
Suppose 5*k = 1 + 9. Suppose y + 7 = -0*y - f, 2*y + 26 = -5*f. Let a be (-30)/y*4/8. Put k, a, -1 in increasing order.
-1, k, a
Let n be 14/(-10) + (-2)/(-5). Let y be (-1)/2*(-6 - -2). Let k be (y/4)/((-1)/(-6)). Sort n, k, 5 in descending order.
5, k, n
Suppose -10 = -3*y + 5. Let h = -10 + 5. Let c = h - -4. Put y, c, 4 in descending order.
y, 4, c
Let k(i) = -i**2 + 6*i - 7. Let a be k(4). Put a, 3, 2 in decreasing order.
3, 2, a
Suppose f + 4*w = 14 + 2, -5*w + 20 = -5*f. Let g = -1 - -2. Let v = -13 + 9. Put f, g, v in decreasing order.
g, f, v
Let t = 59/2 + -29. Let v = -419/30 + 85/6. Sort 5, t, v.
v, t, 5
Suppose a - 4 = 0, -5*m = -4*m + 3*a - 118. Let j = m + -740/7. Put -4, j, 4 in ascending order.
-4, j, 4
Let h = -7 + 5. Let b be 0 + (5 - (3 + h)). Sort -3, b, -5.
-5, -3, b
Let n(l) = l**3 + 12*l**2 + 14*l + 34. Let k be n(-11). Let s(c) = c - 2. Let v be s(2). Sort -5, k, v in descending order.
k, v, -5
Let i = -157 + 157. Put 5, 14, i in increasing order.
i, 5, 14
Let q(r) = -r**2 + 3*r - 2. Let u be q(3). Sort -4, u, 2 in increasing order.
-4, u, 2
Let t = -21 + 39. Suppose -5*p - 3*f + 8*f + 30 = 0, -t = -5*p - f. Sort -5, -4, p in ascending order.
-5, -4, p
Suppose -3*v + 2*v = -3*s + 8, -5*v - 10 = 0. Put -3, s, 0 in decreasing order.
s, 0, -3
Suppose 0 = 4*n + 8, -5*q - 6 = -n - 3. Sort q, -3, 2 in increasing order.
-3, q, 2
Let k be 1/(-1 + 9/12). Let m(p) = -p**2 - 5*p - 1. Let u be m(k). Let o be (-2)/(-4) - u/2. Put -0.1, 3, o in increasing order.
o, -0.1, 3
Suppose 9 = -2*c + 7*y - 2*y, 0 = -2*y + 2. Let t be (42/(-18))/(1/3). Let w = t + 6. Sort -4, c, w.
-4, c, w
Let t = -8 + 13. Suppose -6*f - t = -5*f. Suppose 4*m = v - 0 - 11, -2*v + 4 = -2*m. Put 3, f, m in increasing order.
f, m, 3
Let m = -5 - -3. Let s = 4.3 - 0.3. Let l = 668/5 + -133. Put s, m, l in decreasing order.
s, l, m
Suppose 4 = 2*a + 5*c, -2*a + 10 = -4*a + 2*c. Let r be 7/(-3) - (-1)/3. Put r, a, -1 in decreasing order.
-1, r, a
Suppose 2*r = -r + 6. Sort r, -1, -2, 4.
-2, -1, r, 4
Suppose 12 = 4*a - 4. Sort -1, 0.5, a in decreasing order.
a, 0.5, -1
Suppose 3*o + 1 + 1 = -5*h, 0 = 3*h + 4*o + 10. Put -5, h, -3/7 in ascending order.
-5, -3/7, h
Let w = -6 - -10. Suppose w*b + 2 = -10. Suppose 17 = 4*v - 3. Sort v, 1, b in descending order.
v, 1, b
Let a(t) = 2*t**2 + 25*t + 3. Let w be a(-11). Sort 0, w, 1 in descending order.
1, 0, w
Suppose -9*r - 7 = -43. Sort -4, r, 31 in ascending order.
-4, r, 31
Let o be (-2)/(-2) - (-2 + 0). Suppose -o = -4*c - 5*i + 2, -3*c = 3*i. Let u(d) = d - 14. Let y be u(10). Put y, -3, c in increasing order.
c, y, -3
Let o = -2 + 3. Suppose 2*s + s - y - 1 = 0, 5*s - y = o. Let h be ((-6)/(-4))/((-3)/(-4)). Put h, s, -1 in increasing order.
-1, s, h
Let v = 17 - -11. Suppose -v = 5*w - 4*h, w - h + 3 + 3 = 0. Suppose 2*x + 4 - 2 = 0. Put w, 0, x in increasing order.
w, x, 0
Let t = -15 + 18. Put t, -2, -5 in increasing order.
-5, -2, t
Suppose -k - 3*k = 12. Let l be 20/(-15) + k/(-9). Sort 1, l, 3 in ascending order.
l, 1, 3
Suppose 0 = 5*p - 25, 4*j + p - 38 = 3*p. Let d = j + -7. Put d, -3, 3 in decreasing order.
d, 3, -3
Let u be (33/9 + -1)*3. Suppose 3*m + m + u = 0. Let l be 4/(-8) + (-2)/(-4). Sort m, l, -3 in increasing order.
-3, m, l
Let d be (-4)/18 - 188/(-36). Suppose l = -3*l - 3*p + 5, -d*l + 2*p + 35 = 0. Sort 2, -5, l in decreasing order.
l, 2, -5
Suppose 5*v = -j - 33, 6 + 18 = -4*v - 2*j. Let k = v - -3. Suppose 4 + 0 = a. Sort -1, a, k.
k, -1, a
Suppose 4*r = r. Sort 1, r, -2.
-2, r, 1
Let i = 12 + -18. Let m(c) = -2*c - 9. Let t be m(i). Sort -2, t, 0 in decreasing order.
t, 0, -2
Let d = -2 + -1. Let b(t) = t**3 + 11*t**2 + 2 - 6*t**2 + t - 4*t**2. Let s be b(0). Sort d, -2, s in decreasing order.
s, -2, d
Let l = -57 + 60. Put l, -4, 0, 18 in ascending order.
-4, 0, l, 18
Suppose 0 = 4*o + 13 - 9. Sort 14, o, -2 in ascending order.
-2, o, 14
Let z = 66 - 31. Let u be z/30 - 2/4. Sort -3/2, u, 1/6 in ascending order.
-3/2, 1/6, u
Let l = -142 + 139. Put -0.8, l, -2/3 in decreasing order.
-2/3, -0.8, l
Suppose 0 = h + 4*l - 23, h - 4*h + 5*l - 16 = 0. Sort h, 0, 5 in ascending order.
0, h, 5
Let d = 1 + -6. Let u be (-4)/10 - 36/(-15). Put d, u, 3 in increasing order.
d, u, 3
Let w = 0.4 - 0.5. Let l be 1 + 45/(-15) + (-12)/(-5). Sort l, w, 1 in ascending order.
w, l, 1
Let t = -0.94 - -2.94. Sort -2, -0.1, -1, t in descending order.
t, -0.1, -1, -2
Let s = -7 + 6. Let p = 0.1 - 0.3. Put s, 0.1, p in descending order.
0.1, p, s
Let u(m) = m**2 - 2*m + 1. Let n be (2 + 8/(-6))*3. Let k be u(n). Put 2, k, 0 in increasing order.
0, k, 2
Let k be (4 - (-1 + 0)) + -1. Suppose -5*n + 1 + k = -4*w, 0 = 5*w - 5*n. Suppose 3*p + 13 = -4*z, 5*p + 3*z = w*z + 13. Sort -1, 4, p.
-1, p, 4
Let a = -1 + 3. Let h be a*((-27)/15 + 2). Sort 1/6, h, 1 in decreasing order.
1, h, 1/6
Let a = -113 - -114.06. Let n = 0.06 - a. Put -4, n, -3 in decreasing order.
n, -3, -4
Let g be ((-2)/(-2))/1 + -3. Suppose 0 = 3*b - 12 - 0. Suppose h = -2*c - 3, -4*c + 12