Sort z, -5, 0 in descending order.
0, z, -5
Suppose -17*z - 8 = -13*z. Sort 3, z, -2/167.
z, -2/167, 3
Let i = -3978166736/1897 - -2097083. Let g = i - -2/271. Let m = -1 + 0. Sort -2, m, g.
-2, m, g
Let v be (-2)/(-7) + (-2)/7. Suppose 2*f + 4*u + 8 = 6*f, v = 4*f - 2*u - 2. Sort -2/5, f, 0 in decreasing order.
0, -2/5, f
Let i = -0.21 + 0.31. Sort i, -5, -3.
-5, -3, i
Let r = -0.03 - -3.03. Suppose 11 = 4*v - 1. Suppose -3*k + 2*k - v = 0. Sort r, k, 0.5 in increasing order.
k, 0.5, r
Suppose 0 = -3*b + 3, 5*b - 4 = -3*a + b. Put a, -3, 16 in increasing order.
-3, a, 16
Suppose 13*s = 17*s + 4. Put s, -4, 3, -2 in descending order.
3, s, -2, -4
Let w = -0.14 - -0.24. Put w, -2, 2 in descending order.
2, w, -2
Let r be (-98)/735 + (-29)/15*2. Sort 6, r, 0.02, 3 in increasing order.
r, 0.02, 3, 6
Suppose 0*d - 6 = -d. Suppose 7 = o + d. Sort -0.7, -1/7, o.
-0.7, -1/7, o
Suppose 8 = 3*v - 4. Let j be (-1)/(-4)*(3 - v). Put j, 4, -0.5 in decreasing order.
4, j, -0.5
Let l(g) = -g + 1. Let p = -3 - 0. Let i be ((-3)/p)/(2/4). Let v be l(i). Put -2, -3, v in descending order.
v, -2, -3
Suppose 3*d - h + 2*h = 11, -5*d - 4*h = -30. Let y be 4 - (d - -1 - 2). Let m be 3*(-2)/3*1. Put y, m, 2 in ascending order.
m, 2, y
Suppose -p - 2*p = -3*w + 12, 3*p = 5*w - 18. Suppose 2*u - 9 = 4*a + 9, 0 = -3*u - w*a. Let x = 7 + -12. Sort 0, u, x in decreasing order.
u, 0, x
Suppose 3*p + u + 5 = 0, -p + 5*u + 25 = -3*p. Suppose -3*m = -p*m + 18. Let o = 5 + m. Put -3, 2, o in descending order.
2, o, -3
Let a be (-1)/2*0/(-5). Put a, -2, 1 in increasing order.
-2, a, 1
Suppose 2 = -u - 1, 3*q + 12 = 4*u. Sort -5, 1/4, q in decreasing order.
1/4, -5, q
Suppose 3*v - 6 = -0. Suppose -6*r + 12 = -2*r. Let m = 2 + -7. Sort r, m, v in increasing order.
m, v, r
Let d = -5.08 + 0.08. Let v = -9 - d. Let s = 8 - 7.8. Put s, v, -1/5 in decreasing order.
s, -1/5, v
Let u = -45 + 42. Sort 1/5, -2, 2/5, u in descending order.
2/5, 1/5, -2, u
Let j(v) = -v**3 - 6*v**2 + 8*v + 6. Let b = 14 + -21. Let u be j(b). Let n = u + 6. Put n, 4, -4 in ascending order.
-4, 4, n
Let q be (12/9)/(-1 - -3). Sort 0.1, q, 0.
0, 0.1, q
Let b = 0.39 - 0.09. Let y be 2/6 - (-8)/12. Suppose x = y - 4. Sort x, b, 2/15 in decreasing order.
b, 2/15, x
Let z be 0/(1 + -4 - -1). Suppose -3*a + 0 + 3 = z. Let o be (-1)/(18/(-15) - -1). Put a, o, 3 in descending order.
o, 3, a
Suppose 16 = 5*f - 9, -4*a - 4*f + 32 = 0. Suppose -5 + 17 = a*i. Suppose z - i = 1. Sort z, -4, 0.
-4, 0, z
Let x = 582/7 + -83. Put 1, x, -0.2 in ascending order.
-0.2, x, 1
Let x(y) = -2*y - 5. Let a be x(-4). Suppose 0 = -5*o + 4*v + 18 - 2, 2*v = -5*o + 22. Suppose -a = o*w - w. Sort -5, -4, w in ascending order.
-5, -4, w
Let t = 11 + -7. Suppose 2 = -7*m + 9*m. Sort m, t, -1 in ascending order.
-1, m, t
Let q = 1.2 - 6.2. Put 0.3, q, -93 in decreasing order.
0.3, q, -93
Let g = 2.2 - 4.3. Let l = 0.1 + g. Sort 0.2, 3, l in descending order.
3, 0.2, l
Let s = -6 + 0. Let c be ((-1)/3)/((-2)/s). Sort 2, c, -4 in descending order.
2, c, -4
Suppose 0 = 3*j + 2*b + 3*b - 5, 4*j = 3*b + 26. Sort -3, 2, j in ascending order.
-3, 2, j
Let f be (-3 - (-4 + 6))/(-1). Suppose -2*k - 2*k = -8. Suppose 2*t = -i + 3, -5*i = k*t - 0*t + 1. Put f, -5, t in ascending order.
-5, t, f
Let g(z) = -z + 2. Let o be g(-3). Suppose -2*a - 13 = -o. Let t(j) = -j**2 + 7*j + 10. Let c be t(8). Put c, -2, a in increasing order.
a, -2, c
Let w(c) = c**3 - 23*c**2 - 24*c + 1. Let l be w(24). Put 4, -5, l, 2 in ascending order.
-5, l, 2, 4
Suppose 5*h = 2*q + 12, 3*q + 5*h - 7 = 25. Let x be (-4)/(-14) + (-23)/7. Let b be (-4)/(-14) + 24/14. Sort x, q, b in descending order.
q, b, x
Let s(m) = 2*m**2 + 5*m - 4. Let i be s(-4). Let z be (-5 - -30)/5 + -1. Put 2, z, i in ascending order.
2, z, i
Let s = 6 - 4. Let k = 2 - s. Put 2/9, -5, k in descending order.
2/9, k, -5
Let j = -1 + 0.2. Let g = 0.7 + j. Let b be -22*(-1)/(-8) - -3. Sort b, g, -0.3 in descending order.
b, g, -0.3
Let h be 44/14 + 0 + -3. Let x = -0.01 + 0.31. Put 1/2, x, h in increasing order.
h, x, 1/2
Let l = -6 - -9. Suppose a = 2*t - 7*t - 12, 0 = 5*t + l*a + 6. Put -0.4, 0.3, t in descending order.
0.3, -0.4, t
Let j(a) = -7*a - 51. Let v be j(-8). Let h = -1 - -4. Sort v, h, -0.4 in descending order.
v, h, -0.4
Let b = -1 - -8. Let q = b - 5. Let p = q + -7. Sort -2, -0.2, p in descending order.
-0.2, -2, p
Let c = -0.4 + 0.3. Let z = 0.9 - c. Put -0.3, -3, z in increasing order.
-3, -0.3, z
Let f = 14 - 17. Put -2, -5, f in descending order.
-2, f, -5
Let w(z) = z**2 + 7*z + 12. Let u be w(-3). Sort 3, u, 5, 2.
u, 2, 3, 5
Suppose -20 + 8 = 4*n. Suppose -v - 4 = 2*p, -5*v - 13 = -p - 4. Let d = -3 - p. Sort n, -5, d in descending order.
d, n, -5
Let u be 2/(-3) + 203/21. Suppose -2*m - 17 = -u. Let z = 5 - 7. Put m, -3, z in ascending order.
m, -3, z
Let t = -47 + 46.97. Sort -2/9, 0.5, -1, t in descending order.
0.5, t, -2/9, -1
Let p(a) = a**2 + 3*a - 2. Let o be p(-6). Suppose -1 + o = 3*k. Sort -3, -4, k in increasing order.
-4, -3, k
Let j(f) be the third derivative of f**4/24 - 4*f**3/3 - 3*f**2. Let l be j(5). Put l, -4, 2 in descending order.
2, l, -4
Let v = -0.4 - -0.6. Let o be ((-12)/10)/((-9)/30). Put o, 5, v in increasing order.
v, o, 5
Let x = -15.9 - -16. Let b = -65/3 - -452/21. Let q = 0.2 + -0.4. Sort x, b, q in decreasing order.
x, b, q
Let l be (-4 - -3) + 3 + 0. Suppose -2*r - l*o + 18 = -5*o, -2*o = -3*r + 17. Put r, -3, 1 in decreasing order.
r, 1, -3
Suppose -1591 = 4*d - 379. Let j be (-6382)/21 - (-4)/12. Let z = d - j. Sort z, -1, 0.5 in descending order.
z, 0.5, -1
Suppose -3*y + 0 = -9. Sort -1, -17, y.
-17, -1, y
Let g = -0.04 + 3.54. Let i = 1.5 - g. Put -0.5, 7, i in decreasing order.
7, -0.5, i
Suppose 4*q = -6 - 14. Sort 1, 6, q in ascending order.
q, 1, 6
Let b be 0*((-2 - -2) + 1). Put -1/4, b, -3 in descending order.
b, -1/4, -3
Suppose -2*f = -3*f. Suppose f = s - 0*q - q + 4, -3*s + q - 4 = 0. Sort 1, s, 2.
s, 1, 2
Let j be -2 - -1 - (10 - 6). Sort 4, -2, 2, j.
j, -2, 2, 4
Suppose 0 = -3*x + 2*x. Suppose -5*z - 2*d - 44 = x, 2*z - 3*d = -3*z - 34. Let l = z + 5. Sort -5, 3, l.
-5, l, 3
Let x be 16/(-15) + 2/5. Let v = 31 - 28. Let p = -0.3 + -0.1. Sort x, p, v.
x, p, v
Let c = 0.41 - 0.01. Let j = -123 + 122. Put 1/11, j, c in increasing order.
j, 1/11, c
Let l = -41 - -206/5. Put 2, 2/7, l in increasing order.
l, 2/7, 2
Suppose -5*j - 9 = 3*l - 2*j, -2*j = 10. Let z = 12 + -17. Sort z, 5, l.
z, l, 5
Suppose 8*l - l + 21 = 0. Put -9, 0, -5, l in ascending order.
-9, -5, l, 0
Let a(b) = b**2 + 7*b + 8. Let f be a(-6). Suppose 4*q - 30 + 13 = 5*d, -f*q + 2 = 4*d. Sort 1, -3, d in ascending order.
-3, d, 1
Let c = -5 - -9. Let i = c - 8. Sort 5, 4, i in increasing order.
i, 4, 5
Let d(p) = p**2 + 5*p + 8. Let l be d(-4). Sort 3, l, -4, 2 in ascending order.
-4, 2, 3, l
Let v = 40 + -45. Sort v, -0.04, 3/7 in descending order.
3/7, -0.04, v
Suppose 4*u = 3*m - 2*m + 21, -2*u + 5 = 5*m. Put 22, -2, -3, u in decreasing order.
22, u, -2, -3
Let p = 72/205 - -2/41. Let w = -2 - -1.3. Sort p, w, 2 in decreasing order.
2, p, w
Let d(m) = 2*m**2 - 7*m - 2. Let q be d(4). Sort 0, -3, q in ascending order.
-3, 0, q
Let j = -57 - -48.8. Let h = j + 8. Let q = 0.1 - 0.2. Put q, -2/7, h in increasing order.
-2/7, h, q
Let y = -27 - -30. Put 2, y, 0.1 in decreasing order.
y, 2, 0.1
Suppose 0 = x - 5*g - 21, -3*x - 2*g + 0 - 5 = 0. Put -1, 4, x in increasing order.
-1, x, 4
Let z = 10 - 6. Let w = z + 5. Let f = w + -14. Put f, -1, 0 in descending order.
0, -1, f
Suppose -1 - 7 = -a - l, 0 = 3*a + l - 14. Sort 3/8, 0.3, a.
0.3, 3/8, a
Suppose -p + g + 4*g - 24 = 0, g - 8 = -3*p. Suppose 4*h - 14 = -2. Sort h, -5, p in descending order.
h, p, -5
Let w = -14/11 + 20/33. Sort 0.4, -3, -4/7, w in increasing order.
-3, w, -4/7, 0.4
Let z = -0.6 + 0.7. Sort 0.2, -3, z.
-3, z, 0.2
Suppose p - 7 = -j, -3 - 10 = -j + 5*p. Let f(y) = -y**3 + 8*y**2 + 3. Let t be f(j). Suppose -t*g - 5*m = -m, 4*m = 2*g. Put 0.5, -1/2, g in increasing order.
-1/2, g, 0.5
Let b(v) = -2*v**2 + 2*v. Let a be b(2). Suppose -3*t + 12 = 0, 3*j - 4*t + 4 = -j. Put -3, j, a in descending order.
j, -3, a
Let g be (-6 - -10) + (0 - 4). Sort -1, g, -2.
-2, -1, g
Let h(v) = 2*v - 6. Let m be