 = -5*o + s + s - 14. Sort o, -3, 0 in increasing order.
o, -3, 0
Suppose 2*q - q + 15 = 0. Let w = 14 + q. Sort w, -5, -3 in decreasing order.
w, -3, -5
Let c = -14 + 13.8. Sort c, -1/2, -0.11 in increasing order.
-1/2, c, -0.11
Let v = 2.97 + 0.03. Let z = -6 - -6.1. Let x = z + -0.1. Sort -5, v, x.
-5, x, v
Let a = -14 - -19. Let x(o) = -o**2 + o + 1. Let g be x(2). Sort a, 2, g in ascending order.
g, 2, a
Let n = 1.2 + -1. Sort n, 4, 4/5, 10 in increasing order.
n, 4/5, 4, 10
Suppose 9*f + 29 + 16 = 0. Sort 0, f, 5, 2 in ascending order.
f, 0, 2, 5
Suppose 6*r + 13 + 5 = 0. Put -0.4, r, -0.02 in descending order.
-0.02, -0.4, r
Suppose -o - y = -5*y - 7, 3*o = 4*y + 37. Let n = 4 - -1. Suppose 0 = -g - n*t - 5, 4*t = -4*g + g - o. Put 0, -1, g in descending order.
0, -1, g
Suppose 4*s - 17 - 15 = 0. Suppose s*d + 8 = 7*d. Sort -4/7, d, -3/5 in increasing order.
d, -3/5, -4/7
Let u = -18 - -18. Sort u, -3, 2 in increasing order.
-3, u, 2
Suppose -3*q - 9 = 0, -3*m + 12 = 2*q - 5*q. Suppose -2 - 2 = -y. Let r be 1/(1*-1)*5. Put m, r, y in decreasing order.
y, m, r
Suppose 9 = 5*g - 16. Put g, -3, -5 in ascending order.
-5, -3, g
Let c(f) = f**2 - 14*f - 31. Let g be c(16). Put -2, 5, 4, g in increasing order.
-2, g, 4, 5
Let p = -7.96 + -0.04. Let s = -11 - p. Let k = -2.7 - s. Sort 3/4, k, -4/3.
-4/3, k, 3/4
Let t = -19 + 23. Suppose j - 2*l + 27 = l, -5*j - 116 = 4*l. Let a be (-22)/j + 2/(-8). Sort a, t, -1 in descending order.
t, a, -1
Let o = -0.56 - -4.56. Put o, 3, -9.4 in decreasing order.
o, 3, -9.4
Suppose -2*h = -5*g + 5, -g - 7 = h - 5*g. Sort h, -3, 1.
-3, 1, h
Suppose 32 = 5*j + 17. Put 1, j, -5 in decreasing order.
j, 1, -5
Let d = 2 + -2. Suppose d = -a - 4*a + 50. Let x be (-1 - -6)*a/(-25). Put -1, 0, x in descending order.
0, -1, x
Let s = 7 - 3. Suppose -z - 4*z = 5. Put z, 0, s in decreasing order.
s, 0, z
Let a(k) = 10*k. Let d be a(9). Let u be (d/(-27))/(2/(-3)). Put -3, -2, u in increasing order.
-3, -2, u
Suppose -3*s + 6*o = o + 37, 4*s - 4 = -4*o. Suppose 3*l + 21 = 3*i, 3*l + l + 4*i - 12 = 0. Sort l, s, 5 in increasing order.
s, l, 5
Let s be (-4)/(-15) + 2/(-5). Let b = 0.3 + 0.03. Let j = b - -0.07. Sort j, -1/6, s.
-1/6, s, j
Let b = 17 + -16. Put b, 0.1, -2 in descending order.
b, 0.1, -2
Suppose -4*m = -27*m + 69. Let d(a) = a**2 + 4*a + 4. Let y be d(-3). Sort y, m, 6 in descending order.
6, m, y
Suppose 5*k = -o + 18, 2*o - 2 = 4. Suppose k*u = -a + 7*u + 21, -5 = -5*a - 5*u. Suppose a*s - 5 + 20 = 0. Sort s, 0, 4 in decreasing order.
4, 0, s
Let k = 0.5 + -5.5. Let y = 41/30 - 22/15. Let l = -0.4 + 0.1. Put l, k, y in increasing order.
k, l, y
Let f = -3.4 - -3.1. Put f, -0.04, -2/11 in increasing order.
f, -2/11, -0.04
Let j be (-8)/(-12)*15 - 1/1. Sort 3, -5, j in descending order.
j, 3, -5
Let j = 0.2 - -0.8. Let m be 15/(-10) - (-64)/10. Let i = m - 22/5. Sort -1, i, j in increasing order.
-1, i, j
Let x = -62 - -66. Let o be 5/(-12) - 2/8. Sort 0, o, x in decreasing order.
x, 0, o
Let q(i) = 16*i**2 - 15*i + 21. Let w(p) = -3*p**2 + 3*p - 4. Let g(c) = -2*q(c) - 11*w(c). Let y be g(2). Put y, 1, -12 in ascending order.
-12, y, 1
Let o = -0.99 + 0.49. Sort -3, o, -1, -2/15.
-3, -1, o, -2/15
Let c = -8 + 9. Sort c, -5, -2 in descending order.
c, -2, -5
Let s(t) = -t**3 + 2*t**2 + 1. Let b be s(2). Sort 2, 0, b in decreasing order.
2, b, 0
Let q be (2 - (-12)/(-10))*20. Suppose -3*h - 3*k = -2*k + q, h + k = -8. Sort 0, -2, h in increasing order.
h, -2, 0
Suppose -28 = -5*a - 3*g - 0*g, -5*a + 4*g + 21 = 0. Sort a, -2, -3 in ascending order.
-3, -2, a
Let p = 18 - 20. Sort 1, p, -5 in descending order.
1, p, -5
Let l = -2 + 1. Let b(n) = 3*n + 6. Let a(g) = 13*g + 24. Let f(v) = -2*a(v) + 9*b(v). Let h be f(-3). Put h, 0, l in increasing order.
l, 0, h
Let o = 4/3 - 16/9. Let s = 0.11 + -0.08. Let p = 0.37 + s. Put -1, p, o in decreasing order.
p, o, -1
Let a = -0.2 - -0.4. Let r = -11 - -8. Sort r, 4, a in decreasing order.
4, a, r
Suppose -3*g = 3*g - 24. Suppose -g*t + 0 - 4 = 0. Let m(c) = -2*c - 2. Let y be m(-3). Sort y, t, 3.
t, 3, y
Let a = 3.8 + 0.2. Let q = a - 5. Let h = -0.1 + 0.6. Sort q, 4, h in ascending order.
q, h, 4
Let c(r) = -r**2 - 7*r - 4. Let g be c(-6). Let h(w) = w**3 - 3*w**2 + 2*w - 2. Let n be h(2). Sort n, -3, g in descending order.
g, n, -3
Suppose 5*r + 3*i = -2 + 1, -4*r + 5*i = -14. Put -5, r, -4 in ascending order.
-5, -4, r
Let s(i) = 8 + i**3 - 4 - 14*i**2 + 4 + 3 - i. Let o be s(14). Sort 3, o, 1 in descending order.
3, 1, o
Let l be 2/(-2 - (-6)/4). Let p be (-3)/12 + (-17)/l. Suppose 5*d + 6 - 29 = -p*z, -d - 7 = -5*z. Put d, -4, 4 in increasing order.
-4, d, 4
Suppose 0 = 15*h - 14*h + 4. Let j be (((-32)/26)/h)/(-2). Sort j, -0.1, -5.
-5, j, -0.1
Let n be -1*(5 + -3 + -1). Suppose 5*h + 8 = -2. Sort 1, n, h in ascending order.
h, n, 1
Let n(w) = w**2 - 7*w + 6. Let u be n(6). Sort 1, u, 32 in decreasing order.
32, 1, u
Let x = 31 - 31.09. Sort x, -4, -0.2.
-4, -0.2, x
Suppose 0 = -4*i - 2*l - 2*l - 24, 16 = -5*i + 2*l. Put i, -2, -1 in descending order.
-1, -2, i
Let j(a) = -2*a**2 + 20*a + 3 - 21*a + 3*a**2. Let h be j(0). Put 0.3, 0.2, h in descending order.
h, 0.3, 0.2
Let b be (4/(-36)*-6)/(-1 - -3). Sort b, 3, 2, 1.
b, 1, 2, 3
Let n = 13 + -15. Let r = -1 - -1. Put r, n, -3 in increasing order.
-3, n, r
Suppose 0 = -16*t + 4*t - 48. Put -6, t, 2, -8 in decreasing order.
2, t, -6, -8
Suppose 14 = -4*t - 2. Let w be (-2)/(-8) + t/(-16). Sort w, 0, 2 in increasing order.
0, w, 2
Let t be 15*2*2/10. Put t, -2, 3 in ascending order.
-2, 3, t
Let m = 43 + -128/3. Suppose n = 2, 4*w - 3*n = -0*w - 26. Sort 0.3, m, w.
w, 0.3, m
Suppose -5*v + u + 9 + 9 = 0, 3*u = -9. Suppose -13 = -v*k + 2*w, 4*k - 20 = 5*w + 2. Put k, 0.2, 0 in increasing order.
0, 0.2, k
Let n = -2/17 + 65/119. Put -2/7, n, 2 in increasing order.
-2/7, n, 2
Let w(v) = -v**2 + 5*v + 7. Let d be w(6). Suppose 5*t = -0*t + 5*q - 20, -q + 9 = -2*t. Sort 3, t, d.
t, d, 3
Suppose -4*h = 11 + 73. Let o be 8/70 - 6/h. Let l = 2/133 - -248/1197. Sort o, 0.1, l.
0.1, l, o
Let t = -3.1 - 0.9. Put -6, t, -2/5 in descending order.
-2/5, t, -6
Let v = -4 + 3. Let t = -16 + 24. Let g = 5 - t. Sort v, 4, g in descending order.
4, v, g
Let m = -1.2 + -14.8. Let a = 12.4 + m. Let j = a - -4. Sort -4, j, 1 in ascending order.
-4, j, 1
Let f(u) = 4*u**2. Let s be f(-1). Let z = s - 8. Let t be (-5*(-6)/(-12))/(1/(-2)). Put 4, z, t in descending order.
t, 4, z
Let m be 2 - (1 + -3 - -2). Suppose -4*u = -m*u + 2. Sort u, -4, -3 in ascending order.
-4, -3, u
Let q be 2 + 18/(-5)*10/15. Put -3/4, q, -5, 2/5 in ascending order.
-5, -3/4, q, 2/5
Let t = 1.5 + -2.6. Let j = 0.6 + t. Sort -0.01, 2, j in increasing order.
j, -0.01, 2
Let w be 6 + -3 + 0 + -1. Suppose 2*d - 4*d - 3 = -3*t, -3*t + 9 = -4*d. Sort 1, w, t in ascending order.
t, 1, w
Suppose 2*d - 2*f = 3*d - 1, 16 = 5*d - f. Let p(q) = q**2 - q - 2. Let h be p(2). Put h, d, -2 in ascending order.
-2, h, d
Let o = 3.97 + 0.03. Let g = -0.028 + -0.172. Put -2, o, g in ascending order.
-2, g, o
Suppose -4*s - 4*p = -28, s + 0*p - 5*p = -23. Let h be 2/(-3)*(-18)/4. Let v(o) = -o**2 + 2*o + 2. Let c be v(h). Sort c, s, -2 in descending order.
s, c, -2
Suppose 5*r = -y + 7 + 12, -7 = -4*y + 3*r. Suppose y*l - 4*w = 2*l + 10, -4 = 2*w. Let a = -56.2 + 56. Put a, 2/3, l in increasing order.
a, 2/3, l
Let v = 3.5 - 3.1. Put v, -4, -0.5 in increasing order.
-4, -0.5, v
Suppose 2*y + 774 = 5*y. Let h = y + -1803/7. Sort -1/6, h, -4 in descending order.
h, -1/6, -4
Suppose 4*z - 22 = 5*z + 5*h, 0 = -5*z + 4*h + 35. Let v(k) = k + 4. Suppose 4*a = 16, -2*i + 2*a = 4*a - 8. Let r be v(i). Sort -3, r, z in increasing order.
-3, z, r
Let c(s) be the third derivative of -s**5/60 - s**4/6 + 4*s**3/3 - 2*s**2. Let h be c(-6). Sort h, 3, 1.
h, 1, 3
Let m = -725/21 - -104/3. Put -1/2, 1, m in decreasing order.
1, m, -1/2
Let y = 2.056 - 0.056. Sort 2/11, 9, -4, y in increasing order.
-4, 2/11, y, 9
Let j(r) = -2*r - 21. Let h be j(-9). Sort -7, h, 4 in decreasing order.
4, h, -7
Let t = 2/233 - -219/1631. Put -2/7, -3, t in increasing order.
-3, -2/7, t
Let i be (2/4)/(6/(-12)). Put i, -2, 0 in descending order.
0, i, -2
Let x be (-2)/(-3) + (-32)/12. Let p be (-4 + (-20)/(-15