 z, -5, 2/15 in descending order.
2/15, z, -2/11, -5
Let t = 0.3 + 0.2. Let f = -19.4 + 12. Let n = 7 + f. Sort t, -3/5, n in decreasing order.
t, n, -3/5
Let s(u) = u**3 + 14*u**2 + u + 18. Let i be s(-14). Let v be (-3)/(-6) + 2/(-4). Suppose -5*m = x - v*m + 22, 5*x - 6 = 4*m. Sort x, i, 5 in decreasing order.
5, i, x
Suppose 5*u - 5 = 5*i, -u + 3*i - 2 = u. Suppose m - 4 + u = 0. Let q be (8/(-3))/((-2)/3). Sort m, 0, q in increasing order.
m, 0, q
Let h = 16.5 + -16. Sort -0.3, -0.4, h in decreasing order.
h, -0.3, -0.4
Let w = 0.09 - 5.09. Let r = 10 + w. Let p = -0.1 - 0.4. Sort -1, r, p.
-1, p, r
Let i = 1.2 - 6.2. Suppose 1 = -y + v, 4*v + 17 = y + 3. Let j be (-15)/(-100)*(-5)/y. Put -4, i, j in increasing order.
i, -4, j
Let a = -0.06306 - 37.22694. Let h = a + 37. Let j = 0.01 - h. Put -3, 0.2, j in increasing order.
-3, 0.2, j
Suppose -6*w = -5*g - 4*w + 9, 5*w = 4*g + 3. Let k be g/((-3)/(4 + -1)). Sort 1, k, -4.
-4, k, 1
Let d(m) be the first derivative of -m**2/2 + m - 1. Let b be d(-2). Sort 0, 4, b.
0, b, 4
Let w = 15 + -9. Suppose w = -3*x - 0*x. Let v = -7 - x. Put 2, -1, v in ascending order.
v, -1, 2
Let g(k) be the first derivative of -k**3/3 - 3*k**2 + 6*k - 2. Let y be g(-7). Let q = 1 + y. Put -4, q, -2 in descending order.
q, -2, -4
Let f be 12/18 - 4/(-3). Put -10, f, -1 in increasing order.
-10, -1, f
Let i(a) be the first derivative of -a**2/2 - 2*a - 1. Let s be i(0). Put 5, s, 0 in decreasing order.
5, 0, s
Suppose 4*y + 2*l = 8, -2*y + y + 5*l + 24 = 0. Sort 0.8, -2, y in descending order.
y, 0.8, -2
Suppose 3*w + 2*m = -3*m - 5, 2*m = w - 2. Let u(d) = d - 23. Let h be u(18). Put 3, w, h in descending order.
3, w, h
Suppose -2*t = -5*t - 6. Sort -2/5, 2/9, t in decreasing order.
2/9, -2/5, t
Let b = 1.3 - 2.3. Sort b, 4, 3.
b, 3, 4
Let y = 0.267 + -0.067. Sort 1/2, -16/7, y in decreasing order.
1/2, y, -16/7
Let w = -2 + 1.6. Let l = -2.5 - -1.8. Let b = 0.4 + l. Put b, -0.2, w in descending order.
-0.2, b, w
Suppose -3*d - 1 = 8. Put -1, 2, d in ascending order.
d, -1, 2
Let x = 14.89 - -0.11. Let o = x - 9.2. Let u = -6 + o. Put 0.1, u, -1/4 in decreasing order.
0.1, u, -1/4
Let i = 10 + -15. Let w = i + 3. Sort w, -3, 2 in ascending order.
-3, w, 2
Let g be 7210/150 - (-4)/(-10). Let n = 47 - g. Sort -4, -0.4, n.
-4, n, -0.4
Let y = -0.11 - 0.29. Put -6, y, -1/9 in ascending order.
-6, y, -1/9
Suppose -3*l - 4*x = 7, -2*l - 13 = l + x. Sort 4, l, -4.
l, -4, 4
Let o(c) = c + 24. Let x be o(-17). Sort -5, x, -1.
-5, -1, x
Suppose -2*z - 44 = -3*m, 4*m = 4*z + 25 + 39. Suppose -16 = 4*q + m. Sort q, 3, -3 in descending order.
3, -3, q
Let u = -1.5 - 0.5. Let x = u - -1.6. Suppose 0 = 7*b - 5*b - 6. Put x, -0.1, b in descending order.
b, -0.1, x
Suppose 0 = -2*p + 5*w + 33, 4*p + w - 36 = 5*w. Sort -3, 3, p, -2 in decreasing order.
p, 3, -2, -3
Let k be 3/2 + 25/(-10) + 2. Suppose 1 = w + 3. Sort -5, w, k in increasing order.
-5, w, k
Suppose 5*h + 0*h = 0. Suppose 5*d + 5*d = 30. Let t = h + d. Put t, 2, -1 in descending order.
t, 2, -1
Let y(h) = h**3 - 5*h**2 + 3*h - 1. Let s = -1 + 6. Let p be y(s). Suppose -u + 17 = -4*i, 2*u + 17 = -5*i - p. Sort 5, i, -3.
i, -3, 5
Suppose -p - 6 = -2*p. Suppose 5*n = 3*b - 5, 4*b - p*b = -10. Let z be (0/3)/n - 2. Put -3, 3, z in descending order.
3, z, -3
Suppose 4*h = g + 17 + 6, -2*h = -g - 13. Put -13, g, 4 in increasing order.
-13, g, 4
Let i be (-6)/2 - (4 + -2). Sort 2, 4, i in increasing order.
i, 2, 4
Let r = 15 + -19. Put r, 5, 1/2 in descending order.
5, 1/2, r
Let r = -37 - -44. Put 2, 0.1, r in descending order.
r, 2, 0.1
Let v = -29/26 + 21/13. Sort -2/7, v, 0, 3 in decreasing order.
3, v, 0, -2/7
Let g = -3.9 - -1.9. Let t = -30 + 82. Let b be (-6)/(-15) + t/(-30). Sort 2, b, g in ascending order.
g, b, 2
Let o = 42.3 - 42. Sort -2, 0.4, o in descending order.
0.4, o, -2
Let n(y) = -y**2 - y + 2. Let v be n(-2). Suppose v = -2*k + 16 + 12. Suppose 0 = -4*r - 2 + k. Sort r, -5, 2/5 in ascending order.
-5, 2/5, r
Suppose x + 2 = 2*x - 2*k, 0 = 4*x + k + 28. Let n be (x/9)/(1/6). Sort 3, 1/4, n in decreasing order.
3, 1/4, n
Let l = 1 + 1. Let f be -1*l/2*1. Let j be 2*-5*(-2)/4. Sort j, f, -5 in increasing order.
-5, f, j
Let p(w) = 4 - w**2 + 1 + 0*w + 4*w. Let y be p(4). Let c be ((-6)/10)/(7/(-5)). Put -1/3, y, c in increasing order.
-1/3, c, y
Suppose y = 4*y - 3*z - 12, 4*z = -3*y - 16. Suppose -2*a = -j + 10, -a + y - 6 = -j. Let d = -3 - a. Put -1, -3, d in ascending order.
-3, -1, d
Suppose a - 3*j = -19 - 15, 4*j = 4*a + 112. Let t be ((-8)/a)/((-10)/(-25)). Sort 1, t, 5 in decreasing order.
5, 1, t
Suppose 0 = o - 4*o - 18. Let y be (-235)/47 + 3*2. Sort y, -3, o.
o, -3, y
Let g = 158.3 + -151. Let z = g - 2.3. Let n = 0.4 + -0.2. Sort 0.4, n, z in descending order.
z, 0.4, n
Let x = 11 + -11. Let z = 10 + -14. Let f = -2 - z. Sort x, f, 3 in descending order.
3, f, x
Let v be 19/44 - (-2 + 24/11). Sort 2/17, v, -2 in decreasing order.
v, 2/17, -2
Let m be (-4)/30*20/(-12). Let d be ((-6)/4)/(4/(-8)). Sort 0.3, m, d.
m, 0.3, d
Let p(m) = m - 11. Let h be p(10). Suppose 3*d = 4 + 5. Suppose 0*b - 14 = -n - 2*b, 4*n = d*b + 1. Sort -2, h, n.
-2, h, n
Let j = 1.5 + -1.4. Let a = -0.5 + j. Sort 2/7, a, 0.3 in descending order.
0.3, 2/7, a
Let i = -3 - 1. Let s = -0.01 + 0.11. Put s, i, -3 in descending order.
s, -3, i
Let m(y) = 9*y**2 - 82*y + 12. Let q be m(9). Suppose -8 = 4*u - 2*j, -12 - 24 = 5*u + 4*j. Let h be (-2)/5 + (-44)/(-10). Sort h, q, u in descending order.
h, q, u
Let s be ((-13)/26)/((-2)/12). Sort 4, s, -10 in decreasing order.
4, s, -10
Let z(l) = l**3 + 4*l**2 + 1. Let r be z(-3). Suppose -5*t - r - 13 = -p, 24 = -3*t + 4*p. Sort -3, t, 4 in descending order.
4, -3, t
Suppose 2 = 2*r - 2*f + 4, -5*r + 4*f = 3. Suppose -2 = 4*t + 2. Put t, r, 5 in decreasing order.
5, r, t
Suppose 0 = 4*i - 16, -3*g + 2*i + 7 = 3*i. Let z be ((-1)/g)/((-1)/10). Let r be z/3 + (-4)/12. Put r, 0, -3 in descending order.
r, 0, -3
Let l be 16/(-27) + 4/18. Let z = 76/351 + l. Let v = 5.3 + -5.5. Sort v, z, -1 in increasing order.
-1, v, z
Let r(v) = -v + 7. Let j be r(6). Let t be -5 + ((-2)/j - -5). Let h = -2 - -3. Sort h, t, 4 in descending order.
4, h, t
Let a = 1.29 - 1.3. Let g = -5 - -4.59. Let u = g - a. Sort u, 1/3, -2.
-2, u, 1/3
Let j = 4 + -1. Let l be 164/(-52) - -4 - 1. Sort 2/7, l, j.
l, 2/7, j
Let h = -61.6 + 56.51. Let s = -0.09 - h. Put 3, -4, s in descending order.
s, 3, -4
Let x = 4 - 3. Let v = x - 0.4. Let h = -5.6 + v. Sort h, 0.3, 0.1 in descending order.
0.3, 0.1, h
Let n = -1.9 - -14. Let v = 12 - n. Let r = 32 + -97/3. Put r, -1, v in increasing order.
-1, r, v
Let f = -64 - -61. Put 2, 3/8, 1.2, f in descending order.
2, 1.2, 3/8, f
Suppose 0 = -4*c - i - 1 + 23, -2*i - 34 = -5*c. Sort -5/2, c, -4 in decreasing order.
c, -5/2, -4
Suppose 0 = -5*k + 3*k + 2. Put k, -5, 0 in descending order.
k, 0, -5
Let l = -1 - -8. Suppose 5*y = 8 + l. Let c be y/(-4) - (-6)/4. Put c, 2, -1 in increasing order.
-1, c, 2
Suppose 0*a = 2*a - 5*i - 25, 4*a + 3*i + 15 = 0. Suppose -2*n + 8 = -0*n. Put -2, n, a in ascending order.
-2, a, n
Let b = -1 + 6. Let c(y) = y**3 - 14*y**2 + 14*y - 11. Let n be c(13). Put 3, n, b in descending order.
b, 3, n
Suppose -8*k + 2*k - 24 = 0. Let a be 26/8 - 1/4. Suppose -3*z + 2*n + n = a, 0 = 5*z + 5*n + 15. Sort k, z, -5.
-5, k, z
Let m = -27 - -29. Sort 0, m, -2.
-2, 0, m
Let x(l) = -l**3 - 6*l**2 + 7*l - 4. Suppose 0 = -3*t - 4*u - 5, 5*t + 31 = -4*u + 3*u. Let z be x(t). Sort z, -0.2, -3 in descending order.
-0.2, -3, z
Let r = 7 - 12. Sort r, -1, -0.1 in increasing order.
r, -1, -0.1
Suppose -3*y - 12 = -y. Let f(h) = h**2 + 7*h + 3. Let o be f(y). Let q = 3.05 + -0.05. Put q, o, -0.4 in decreasing order.
q, -0.4, o
Let k = 11.965 - -0.035. Sort 1/11, k, -1/2 in ascending order.
-1/2, 1/11, k
Let l = 54 + -54. Suppose 0*o = -2*o - 10. Put l, o, 4 in descending order.
4, l, o
Let n be (-8)/(-21)*(-109)/(-4). Let i be -11 + 4 + (-33)/9. Let b = n + i. Put 2, -0.4, b in ascending order.
-0.4, b, 2
Suppose 0 - 8 = -2*z. Suppose -5 = -5*r + 2*t, z*r + t - 4 = -0. Sort 3, -4, r.
-4, r, 3
Let u be ((-6)/21)/(2/(-28)). Put u, 2/3, -2/9 in ascending order.
-2/9, 2/3, u
Let s = 0.14 + -0.04. Let v = s - 0. Put