. Sort 5, -2, z in decreasing order.
5, z, -2
Suppose 3*h = -5*x + 6*x - 10, 13 = -2*x - 5*h. Sort x, 3, -2, 4 in descending order.
4, 3, x, -2
Suppose -25 = -6*r + r. Let q = 10 - 8. Sort r, q, 1 in descending order.
r, q, 1
Let q = -7 + 9. Suppose y = 3 - 1. Suppose 3*p = -y*n + 3, 5*p - 21 = -3*n + 5*n. Sort n, q, 1 in descending order.
q, 1, n
Suppose -2*m = -6*m + 32. Suppose 5*z + 17 = -c, 0 = -c - 3*c - m. Let o = 5 + -7. Put o, z, 1 in decreasing order.
1, o, z
Let t(m) be the second derivative of m**5/20 + m**4/2 - m**3/3 - 9*m**2/2 - m. Let u be t(-6). Suppose u*s = 2*s. Sort 2, 4, s.
s, 2, 4
Let m(l) = 5*l**2. Let w be (-9 + 11)/(1*-2). Let d be m(w). Sort -1, d, 0 in descending order.
d, 0, -1
Suppose 0 = -4*j - 2*j + 12. Sort j, -9, -5.
-9, -5, j
Let h = 18 - 13. Put -2, -2/5, h in descending order.
h, -2/5, -2
Let g be 2/(0 + -2) - (1 + 3). Sort 0, 3, -1, g in increasing order.
g, -1, 0, 3
Suppose 0*c - 5*v + 34 = 3*c, -4*c - 5*v = -37. Let l = -76 + 75. Sort l, 2, c in descending order.
c, 2, l
Let h(a) = a + 1. Let b be h(2). Let g = -4 + 6. Let u be g/(0 + 2) + -3. Sort u, -5, b in descending order.
b, u, -5
Let l(v) be the first derivative of 4*v**3/3 - v - 1. Let w be l(-1). Put -5, 0, w in increasing order.
-5, 0, w
Let q = 7 + -10. Let z = -1 + q. Sort 1, 0, z in ascending order.
z, 0, 1
Let k be (-40)/(-22) + (-4)/(-22). Suppose -5*p + 27 = 3*r, -4*r + 19 = 4*p - 3*p. Sort k, p, -5 in increasing order.
-5, k, p
Let d(s) = -s**2 + 9*s - 6. Let i be d(8). Let y = 0 + -2. Sort i, y, -4 in descending order.
i, y, -4
Let i = -0.529 + 52.829. Let l = i + -56. Let u = -0.3 + l. Put u, 2/7, 1 in decreasing order.
1, 2/7, u
Let b = -32 + 35.6. Let p = b - 0.6. Let i = -0.5 + 0.6. Sort -3, i, p.
-3, i, p
Let g be 50/2 + (-2)/2. Let n be g/(-11) + -3 + 5. Let f = 0.04 - -2.96. Put f, n, 0.3 in decreasing order.
f, 0.3, n
Let n be ((-12)/(-10))/(1/(-5)). Let s = n + 1. Sort 5, s, -2 in increasing order.
s, -2, 5
Let v = 8 - 4. Put -3, v, 1 in decreasing order.
v, 1, -3
Let w = 52 + -207/4. Sort 2/9, 2, w in decreasing order.
2, w, 2/9
Let o be ((-2)/(-5))/(-4 + 2). Suppose -5 - 11 = -2*n. Let y be (-1)/(10/n) + 1. Sort o, y, 1/10 in descending order.
y, 1/10, o
Let j(f) = -f**3 + 7*f**2 - 5*f - 2. Let u be j(6). Suppose -u = -4*r + 12. Suppose 3*d + 4 = -2*m - r, 4 = -4*m. Sort 1, 4, d in descending order.
4, 1, d
Let h = -7.7 - -8. Let f = 13 + -12.9. Sort h, -0.4, f.
-0.4, f, h
Let k = 56 + -53. Sort 2, 0, k, 9 in decreasing order.
9, k, 2, 0
Suppose -5*o = 3*z - 20, 5*o + 12 = 4*z - 3. Suppose 2*w = d - o, 2*d = 2*w - 7*w - 16. Put 2, d, -1 in increasing order.
d, -1, 2
Suppose -10 = -4*m - a - 1, 5*m = 3*a + 7. Suppose m*g - 3 = -g. Let k be g + -2 - (-1 + -5). Sort 4, -5, k in descending order.
k, 4, -5
Let b(r) = -r**2 + 3*r - 1. Let u be b(3). Let o = 5.1 + -0.1. Let y = 4.7 - o. Sort 4, u, y.
u, y, 4
Suppose 0*f + 3*f = 0. Let b = 2 - 7. Sort f, b, 4 in descending order.
4, f, b
Let x = 0.06 + -0.1. Let o = -0.24 - x. Put -5, -1/2, o in ascending order.
-5, -1/2, o
Suppose k + k = -12. Let r be 8/k*(-12)/(-8). Suppose 3*y - 4*y = 1. Sort y, r, 3 in ascending order.
r, y, 3
Suppose -5*m + 30 - 10 = 0. Suppose -2*i + d = 0, m*d = -3*i - i - 24. Let l be (i/(-4)*4)/7. Sort l, 1, 0.3 in descending order.
1, 0.3, l
Let h(d) = -6*d - 1. Let u be h(0). Sort -4, 5, 3, u in descending order.
5, 3, u, -4
Suppose 0 = -0*r - 2*r. Let f be -1 + 2 - 0 - r. Put f, 5, -5 in decreasing order.
5, f, -5
Let u(h) = -h**3 - 4*h**2 - 6*h - 4. Let n be (-5)/1 + -1 + 2. Let f be u(n). Suppose -3*c + 16 = -2*l, -3*c = -5*l - f - 11. Sort 1, -4, c.
-4, 1, c
Let d be 8/10*(-10)/(-12)*-3. Sort -2/27, 4, d, 0.4.
d, -2/27, 0.4, 4
Let u = 9/2 + -5. Put u, -0.1, 1 in descending order.
1, -0.1, u
Let k be (9/(-15))/(12/15). Put 3, k, 5 in ascending order.
k, 3, 5
Let p be 4/(-1*4/8). Sort 3, p, 2 in increasing order.
p, 2, 3
Let y be (0 - 2)*(-2)/(-2). Let v be y/(-5) + 28/(-20). Sort v, 2/9, -2/19 in ascending order.
v, -2/19, 2/9
Let b = -0.1 + -0.9. Let r = 4.009 + -0.009. Sort b, r, -0.4 in ascending order.
b, -0.4, r
Let a = -1.33 + 1.4. Let h = 0.03 - a. Sort 1/3, h, -1.
-1, h, 1/3
Suppose 5 = -5*v, -5*x - 3*v - 12 - 11 = 0. Let y = x + 7. Let w(t) = t**2 - 6*t - 7. Let f be w(7). Put y, f, 5 in ascending order.
f, y, 5
Let j = 23 - 14. Let i = j + -8.64. Let z = i - -0.04. Sort -2/15, 4, z in decreasing order.
4, z, -2/15
Suppose -j + 2*j = 3. Sort 24, j, 2.
2, j, 24
Suppose 5*r = o - 10, 0 = 5*r + 3*o + 4 + 6. Let h = r - 9. Put -1, -5, h in descending order.
-1, -5, h
Let r = 2.2 + -1.1. Let v = 2.9 + r. Sort -5, 0.4, v in descending order.
v, 0.4, -5
Let c = 321/193 + 2/579. Let v = 8 - 5. Let i = 2.8 - v. Sort i, c, 1/3.
i, 1/3, c
Let t = 13.7 - 14. Let y = -0.7 - -0.3. Let s = 0.02 + -4.02. Put s, t, y in decreasing order.
t, y, s
Let g be ((-1)/2)/((-8)/48). Let z(i) = -3 - g - 2*i + 0*i. Let x be z(-6). Put x, 0, 3 in decreasing order.
x, 3, 0
Let z = -1 + 2. Let u = 64 - 62. Put z, u, 3 in descending order.
3, u, z
Let i = 2 - 2.1. Let y = 443/6 + -74. Sort i, y, 0.4.
y, i, 0.4
Let i = -30 - -16. Let c be (-4)/i - (-37)/(-7). Put 2, c, -2 in descending order.
2, -2, c
Let u = -5/33 - 2/11. Let y = -6 - -4. Let f be y - 1 - (-6 - -3). Sort f, 0.4, u in descending order.
0.4, f, u
Let g(b) = b**2 - 6*b + 7. Let c be g(5). Let n be (-7 - (1 - c))/(-2). Put -5, n, -2 in decreasing order.
n, -2, -5
Let t = 19 - 15. Put -4, t, -6 in descending order.
t, -4, -6
Suppose -3*i - 12 = -0*i. Let j be 2/4 + 5/(-10). Let b be 3 + 0/(-2 + j). Put b, i, -2 in increasing order.
i, -2, b
Let s = 0.46 + 0.14. Sort 0, s, 5 in ascending order.
0, s, 5
Let h = -4 - -3.5. Sort h, -2/5, 5 in ascending order.
h, -2/5, 5
Suppose -j = 3*j. Let u = 1 + -1.2. Let n = -0.02 + 0.12. Sort n, u, j in ascending order.
u, j, n
Let x be (4 + 42/(-15))/(-2). Sort x, -1/4, 1.
x, -1/4, 1
Let h(z) = -2*z - 6. Let v be h(-5). Suppose 3*n = n - v. Suppose 6*u = 4*u + 8. Sort u, -5, n in decreasing order.
u, n, -5
Let m = -1298/3 - -16784/39. Let g = -253/104 - m. Let d = 0.4 + -0.3. Sort -0.5, d, g.
-0.5, g, d
Let s be (-16 + 21)/(1 - 2). Sort -6, 4, s in decreasing order.
4, s, -6
Let f = -3.54 - -0.14. Let t = f + 1.4. Let d = 2.2 + 0.8. Sort 0.5, t, d.
t, 0.5, d
Let j(b) = b**2 - 5*b - 5. Let w be j(6). Put -3, 13, w in increasing order.
-3, w, 13
Let a = 6.88 + 0.12. Let u = -6.5 + a. Sort -3, u, -4 in descending order.
u, -3, -4
Suppose 4 = -2*u + 4*n, -4*n + 4 = -0. Let v = -1 + -1. Sort u, 1, v in ascending order.
v, u, 1
Suppose -5*w = 2*c + 53, -2*w - 1 = 9. Let i = 13 + c. Sort 0, 2, i.
i, 0, 2
Suppose 0*s = -2*s. Let n(d) = d**3 + d**2 + d - 1. Let j be n(s). Let y be (-15)/(-6)*j/10. Put 0.1, -0.2, y in ascending order.
y, -0.2, 0.1
Suppose 0 = -3*k + 2*k. Sort -2/7, 2/3, k, 2.3 in decreasing order.
2.3, 2/3, k, -2/7
Let n = 0.045 + -0.345. Put 5, n, 0, 4 in ascending order.
n, 0, 4, 5
Let x(s) = -4*s + 11. Let o be x(3). Let c = 8 - 5. Sort -5, o, c in descending order.
c, o, -5
Let w = 0 + -5. Let l(i) = -i**3 - 5*i**2 - 5*i - 3. Let u be l(-4). Let z be -4 - (3 + (-3 - u)). Sort w, -1, z in increasing order.
w, z, -1
Let m = -4/83 + 360/581. Let r = -0.4 + 3.6. Let o = 0.2 - r. Sort -1/4, o, m in descending order.
m, -1/4, o
Let n(b) = b - 9. Let q be n(8). Let f = -905/7 + 129. Sort -3/2, q, f in descending order.
f, q, -3/2
Let n = 18 + -9. Suppose 5*b - n*b + 4 = 0. Sort 0.03, b, -2.
-2, 0.03, b
Let v = -5.06 - -5. Let n = v + 1.06. Sort -3, -2/3, n in decreasing order.
n, -2/3, -3
Let u = 7 - 3. Let k = 2 + 0. Sort u, k, -0.3 in decreasing order.
u, k, -0.3
Suppose -5*d - 11 = -11. Put d, 5, -4 in decreasing order.
5, d, -4
Let h be -4 - -5 - (-1 - 0). Let q = 4 - 0. Put h, q, -1 in decreasing order.
q, h, -1
Let k be (6/9)/(2/12). Suppose -2*j + k + 0 = 0. Let h be -4 + j - 2 - -1. Put 2, h, -2 in decreasing order.
2, -2, h
Let z = 15 + -9. Suppose -5*d = -2*h - z, -h = 3*d - 4 - 4. Let m be 2*2/16 - (-57)/12. Sort h, -2, m in ascending order.
-2, h, m
Let f(l) = -l**2 + 5*l - 5. Let r be f(5). Sort -0.1, 0.5, r in increasing order.
r, -0.1, 0.5
Let a = 20 - 19.93. Sort 2/7, a, 2.
a, 2/7, 2
Let p = -8 - -4. Let x = -0.12 + -6.88. Let y = x + 7.2. Sort p, y, -0