 -0.5, 5, x in decreasing order.
5, x, -0.5
Let v = 0.4 + -1. Let w = v - -4.6. Sort -0.5, w, 3.
-0.5, 3, w
Let g(k) = -k**2 + k + 6. Let b be g(0). Let n = -212 - -209. Sort n, 3, b in descending order.
b, 3, n
Let h = 284 + -3694/13. Let d = -0.96 - -1. Let o = -0.26 - d. Sort o, h, 4 in increasing order.
o, h, 4
Let x be (-17)/4 - 12/(-4). Put 3/7, 5, x in decreasing order.
5, 3/7, x
Let f(n) = -n**2 - 2*n + 20. Let h be f(-6). Suppose 0 = -3*s - 11 - 4. Put h, s, 5 in ascending order.
s, h, 5
Let y = -16 - -15.7. Suppose -5*x - b = 3*b + 27, -4*b = 3*x + 21. Let i = -3 + 2. Put i, x, y in decreasing order.
y, i, x
Let w = 785599/23988 - -2/5997. Let l = 33 - w. Sort 0.5, -0.4, l in increasing order.
-0.4, l, 0.5
Let b be (-4)/2*(2 + -4). Let f = 0.17 + 0.03. Sort -1/5, b, f in descending order.
b, f, -1/5
Let m be 19/2 + -4 - (-3)/6. Put 5, m, 3, -5 in increasing order.
-5, 3, 5, m
Suppose 3*o = -2*y - 23, -y - 4 = 4*o + 20. Sort 3, y, -2 in descending order.
3, -2, y
Let r(v) = 4*v**2 - v - 1. Let z be r(-1). Let o be -4 + 1 + -3 + z. Put o, 0, 2/7 in ascending order.
o, 0, 2/7
Suppose 7 = 4*b + 15. Let q be 2 - (-2 - (3 + b)). Suppose z - 2 = -3*r + 3*z, 0 = 3*r + 3*z - 12. Sort q, -3, r in increasing order.
-3, r, q
Let c be (-2)/(((-36)/(-24))/(9/4)). Let x = -11 - -5. Let g be (9/(-6))/(x/(-8)). Sort c, 0, g.
c, g, 0
Let k = -13 + 18. Let l = 53/4 + -13. Let n = 0.04 - -1.96. Sort l, n, k in increasing order.
l, n, k
Let m be ((-2)/5)/(7/5). Let a be -4 + (-6)/3 + 1. Put a, -0.1, m in decreasing order.
-0.1, m, a
Suppose 3*q = 2*q + 5. Let z be (-2 + 2)/(-1) - 2. Sort q, -3, z.
-3, z, q
Let i be (-2)/(-8) - (-1 - (-62)/24). Sort -3, -4, 2, i in ascending order.
-4, -3, i, 2
Let j(t) = -t**3 - 9*t**2 - 8*t - 1. Let i be j(-8). Let a be i/(-5) - (-44)/(-20). Let s be -1 + a + 0/(-3). Sort 5, 0, s.
s, 0, 5
Let j = -8 - -8. Suppose j = -2*d - d + 51. Suppose 0 = -4*l + 5*t - d - 2, -l + 2*t - 7 = 0. Put l, -2, -0.5 in increasing order.
-2, l, -0.5
Let o(j) = -j. Let h be o(-2). Suppose -2 = 4*a - 5*f - 8, 4*a + h = f. Suppose -r + 22 = -5*l, 5*l + 12 = -3*r - r. Sort a, 4, l.
l, a, 4
Let w = 3 - 7. Suppose 16 = -2*f + 3*p + 45, 2*f = 4*p + 28. Suppose 5*k = -4*j + f, -j - 20 = 3*j - 4*k. Put j, w, -5 in ascending order.
-5, w, j
Let d = 10 + -31. Let j = 62/3 + d. Let b = 42 - 37. Sort j, b, 2/9.
j, 2/9, b
Let j(y) = -y - 11. Let n be j(-10). Suppose 5*o - 49 = 1. Let p(v) = -v**2 + 10*v + 1. Let q be p(o). Sort n, -4, q in increasing order.
-4, n, q
Suppose -2*q - 9 = -5*q. Let p be (-2)/9*q*-3. Let g be p - (-3)/(117/(-84)). Sort -5, 0.1, g in descending order.
0.1, g, -5
Let x = -22 - -22.4. Put -2/7, -3/2, x in decreasing order.
x, -2/7, -3/2
Let p = -2.03 + 0.03. Let w = 1956/11 + -178. Put w, -0.2, p in descending order.
w, -0.2, p
Suppose -24 = 2*z - 3*c, 3*z = -z - 5*c - 4. Let x be (-10)/(-3)*z/(-4). Suppose 0 = -x*q + 3*q + 3*i - 4, 0 = 2*i. Sort 1, q, -3.
-3, q, 1
Suppose 2*v = -5*v + 28. Sort -4, v, 3, -1.
-4, -1, 3, v
Let w = -2 - -2. Let q = w + 0. Let f be 2/10 + (-63)/165. Sort q, f, 4 in descending order.
4, q, f
Let u = -3.7 + 3.8. Put 2, u, 1, 0.2 in ascending order.
u, 0.2, 1, 2
Let l(a) = a**3 - 2*a**2 + 1. Let f be l(1). Let x = -5 + 8. Suppose 4*m + 3*c = -5, 2*m - 3*c = -2*c + 5. Put m, f, x in descending order.
x, m, f
Let c be (-1)/3*(-2)/(-1). Let g = 0 - 5. Sort -2, g, c in descending order.
c, -2, g
Let q = 18 - 5. Let w = q - 10. Put 1/3, w, -3/4 in increasing order.
-3/4, 1/3, w
Suppose -7*c + 0 = -7. Put c, -1, 3 in increasing order.
-1, c, 3
Let x be 3/30 + (-8)/(-20). Put -0.2, 3, x in decreasing order.
3, x, -0.2
Let a = 175/3 - 59. Let h = -0.5 - -0.53. Let i = h - -0.47. Sort i, a, 2/7 in increasing order.
a, 2/7, i
Let p = 2.95 - 3. Let t = 0.25 - p. Let o = -1 - -3. Sort o, t, -0.4 in increasing order.
-0.4, t, o
Let l(f) = -f**2 - 6*f - 5. Let v be l(-6). Sort 2, v, -10 in ascending order.
-10, v, 2
Let o = -28 - -52. Suppose 0*y = 4*y - o. Suppose -2*j - 7*u + 2*u = -2, -3*u = -y. Put 3, j, -5 in increasing order.
-5, j, 3
Let v = 2 + 0. Let d = v + -2. Let z = -211.7 + 212. Put z, -1/6, d in descending order.
z, d, -1/6
Let g = 7 - 17. Let i = g - -9.6. Sort i, -6, -4/3 in ascending order.
-6, -4/3, i
Let w = -3 - -7. Let r = 4 - 6. Let h = r + w. Put 1, h, -1/2 in descending order.
h, 1, -1/2
Suppose -3 = -5*x + 2. Let g(a) = -a**3 + 9*a**2 - 5. Let b(u) = -u**2 + u. Let o(l) = b(l) + g(l). Let r be o(8). Put 0, x, r in decreasing order.
r, x, 0
Let d be 1/4*-22*2. Let r = 6 + d. Sort -2, r, 3.
r, -2, 3
Let p = -4 - 1. Let a = 4 - 8. Sort -2, p, a in ascending order.
p, a, -2
Let l = -20.04 - -0.04. Let o = 19.7 + l. Sort o, -1, 0.1 in decreasing order.
0.1, o, -1
Let v(q) = -q**2 - q + 1. Let o be v(-2). Let i be (12/(-14))/(-1) + o. Sort 2/7, i, 0.4 in increasing order.
i, 2/7, 0.4
Let p = -6.06 + 1.18. Let j = -4.12 + 4. Let q = j + p. Sort 0, q, 1 in increasing order.
q, 0, 1
Suppose 1 = 4*u - 19. Let z(b) = 2*b - 4*b - 6 - 2 + b. Let v be z(-9). Sort v, -2, u.
-2, v, u
Suppose 2*h + 1 = 3*h. Sort -1, h, -3, 2 in decreasing order.
2, h, -1, -3
Let g = 0.64 - 0.71. Sort g, -0.4, 2 in increasing order.
-0.4, g, 2
Let y be (2 + -1)*(-5)/(-5). Suppose -2*h + 5*h - 9 = 0, 0 = 3*l - 2*h + 12. Put 7, y, l in ascending order.
l, y, 7
Let h = -36/31 + -3669/124. Let z = h - -31. Sort 0.2, 1, z in increasing order.
0.2, z, 1
Let r = 57 - 57.1. Put -15, 0.2, r in descending order.
0.2, r, -15
Suppose 2 = 2*k - 4*y, -32 = -6*k + k + y. Suppose -25 = 2*h + 3*h. Let j = 10 + -6. Sort j, h, k.
h, j, k
Let b = 4 + -12. Let n = -8.2 - b. Put 2/13, n, -4 in increasing order.
-4, n, 2/13
Let a(x) = -2*x**3 + 14*x**2 - 11*x - 1. Let b be a(6). Sort 3, b, 4.
3, 4, b
Let c be -6 + 4/((-12)/(-9)). Suppose 8*w - 18 = 14. Put c, w, -2 in increasing order.
c, -2, w
Suppose 4*z + 0*u + 2 = u, 4*u = 5*z + 8. Let m(h) = -h**2 + 7*h - 9. Let c be m(4). Put z, c, 4 in descending order.
4, c, z
Let o = -2.3 + -0.3. Let q = -5.4 - o. Let a = q - 0.2. Sort 0.3, 4, a in descending order.
4, 0.3, a
Let g be (-6)/4 - 30/12. Put 2, -55, g in increasing order.
-55, g, 2
Let f(p) = -p + 19. Let a be f(16). Sort -32, -2, a.
-32, -2, a
Let n = 0.032 + -0.232. Sort -1/2, n, 0.3, -0.4.
-1/2, -0.4, n, 0.3
Let s = -0.94 + -0.06. Let c = 3.6 + -3.4. Sort -1/17, s, c in decreasing order.
c, -1/17, s
Suppose s = -f + 1, -3*f + 28 = -2*s + f. Suppose -2*z - 3*z + d = -29, -4*z = 5*d. Sort z, -5, s in decreasing order.
z, s, -5
Let j = 18 - 15. Let g(u) = u**3 + 9*u**2 + 10*u + 11. Let x be g(-8). Sort x, j, 1 in increasing order.
x, 1, j
Let p be -3*(1/2)/(15/10). Sort p, 4, 19 in decreasing order.
19, 4, p
Let i be (-6)/(-10) - (-192)/80. Put i, 6, 0 in descending order.
6, i, 0
Let f be 10/22*(-4)/10. Let z = 4 + -7/2. Put 0.4, z, f in descending order.
z, 0.4, f
Let o be (-1)/(-2) + (-1)/6. Let y = -0.04 - -0.01. Let j = 1.03 + y. Sort -0.1, j, o in descending order.
j, o, -0.1
Let i = 9/11 + -38/33. Let o = -0.7 + -2.3. Sort i, -0.5, o in ascending order.
o, -0.5, i
Let u = -36 + 32. Sort 1/4, -2/13, u.
u, -2/13, 1/4
Suppose -3*c + 0*n + 3*n = -6, c - 2*n = -1. Let d = c + -6. Suppose 7*t - 8 = 3*t. Sort t, d, -4 in decreasing order.
t, d, -4
Let i be ((-1)/2)/((-100)/120). Let u be ((-5)/(-3))/((-2)/6). Put -4, u, i in ascending order.
u, -4, i
Let k = -3 - 1. Let l be 9/(36/8)*6/4. Sort k, l, 0.
k, 0, l
Let n = -11.8 + 12. Sort n, 3/5, -0.4 in descending order.
3/5, n, -0.4
Suppose -2*g - 10 + 4 = 0. Sort 0.5, g, 6.
g, 0.5, 6
Let d = 0.15 + -2.15. Put -1.9, -4, d in ascending order.
-4, d, -1.9
Let s(a) = a**2 - 6*a - 7. Suppose 5*j - 34 = -l, 6*l + 5 = l. Let k be s(j). Suppose 2*m + 2*m + 4*i = 40, -4*i = -20. Sort m, k, 4.
k, 4, m
Suppose 2 = -3*t - 19. Let f = -6 - t. Put f, 0, -3 in increasing order.
-3, 0, f
Let k be (-1)/(-2) - (-3)/(-6). Let m = -8 - -11. Let u be (-3)/(2 - 21/6). Sort u, k, m in descending order.
m, u, k
Let z = -139 + 134. Sort -4, z, 6, 1.
z, -4, 1, 6
Suppose 7*j - 9 - 19 = 0. Let k be (j/(-14))/((-6)/14). Let d = -3 + 2.9. Sort -1, d, k in decreasing order.
k, d, -1
Let w(i) = i**2 - 2*i. Let a be w(4). Let o(c) = 2*c. Let d be o(2). Suppose -a = d*q + 8. Put q, 5, -1 in increasing order.
q, -1, 5
Supp