Sort j, -0.5, m in increasing order.
-0.5, j, m
Let f = -0.03 - -0.13. Let i be ((-6)/(-9))/(2/6). Sort i, f, -1/7 in decreasing order.
i, f, -1/7
Let m = 5 - 3. Let k(n) = n + 10. Let d be k(-10). Suppose -2*t + 5 = 5*j, d = -4*j - 4*t + m + 2. Sort -2/5, 0.4, j in ascending order.
-2/5, 0.4, j
Suppose 0 = -0*p - p - 8. Let v be ((-8)/p)/(2/10). Sort 1, v, 3 in ascending order.
1, 3, v
Let j = -4.2 - -32.2. Sort 1, 3, j in ascending order.
1, 3, j
Let k = -0.02 - 3.98. Let a = 153 + -149. Sort k, a, 0.5.
k, 0.5, a
Let a = 25 + -71/3. Put 3/4, -0.5, -0.4, a in decreasing order.
a, 3/4, -0.4, -0.5
Suppose -6*y + 2*y = -32. Suppose y = -m - 3*m. Let j be (-3)/(m - -5) - -1. Put 5, j, -2 in increasing order.
-2, j, 5
Let d = 0.1 - 0.3. Let p = -1.1 - -0.1. Sort -1/8, d, p in increasing order.
p, d, -1/8
Let w = 9 - 4. Sort w, 2, 8 in decreasing order.
8, w, 2
Let v(t) = t**3 - 12*t**2 - 28*t - 3. Let n be v(14). Sort 22, 0, n in ascending order.
n, 0, 22
Let r = 80 - 83. Put 1, -2, r in increasing order.
r, -2, 1
Let x be 1 + (2 - (-17)/(-6)). Sort -5, -0.4, x in descending order.
x, -0.4, -5
Let z be -3 + (-25)/((-25)/5). Suppose 4*x = -5*c + 16 + 20, x = 5*c - 16. Sort -10, c, z.
-10, z, c
Let x be (4/5)/(2/(-10)). Let r = 165 + -165.4. Sort 1, r, x in increasing order.
x, r, 1
Let j be (-40)/15*-2*(-2)/16. Put 2/7, -4/5, -2/17, j in descending order.
2/7, -2/17, j, -4/5
Let w be (-1 - 0)/(2/(-6)). Suppose -h + 0*u = u - 5, 0 = 4*h + 3*u - 19. Sort h, -3, w in descending order.
h, w, -3
Let s(k) = k + 3. Let z be s(-4). Let f be (-5)/z - (1 - -1). Sort -3, 4, f in descending order.
4, f, -3
Let y be -1 + 0 - 208/(-176). Put -1, y, -0.12 in ascending order.
-1, -0.12, y
Let n(i) = -2*i - 7. Let b be n(-5). Let t(h) = -4*h**2 - h. Let l be t(-1). Let j be (-1 + (-4)/(-2))*-4. Put l, b, j in ascending order.
j, l, b
Let w = -0.13 - -6.13. Let c = w + -5. Put -2/3, 2, c in decreasing order.
2, c, -2/3
Let w = 2 - 3. Let r = 3 - w. Sort r, 2, -3.
-3, 2, r
Suppose -3*k = k - 16. Put -4, k, 1 in ascending order.
-4, 1, k
Let a = 6 - 6.3. Let d be (-16)/200*(-20)/(-2). Let s = 0 + 3. Sort s, d, a in decreasing order.
s, a, d
Let c = 14.5 + -10.5. Sort c, 0.2, 1 in decreasing order.
c, 1, 0.2
Suppose 0 = -4*d - 4*z - 19 - 1, -z = 4. Let f be (2 + 3/(-3))*d. Put f, 5, 4 in ascending order.
f, 4, 5
Let z = -0.39 + -0.01. Let p = 0.7 + -0.5. Let h = p + z. Put h, -0.1, 4 in decreasing order.
4, -0.1, h
Let m be ((-9)/27)/((-2)/(-12)). Let l be ((-10)/(-25))/(m/(-10)). Sort 4, l, 0.
0, l, 4
Suppose 4*b + 4 = 5*s, 0 = -b + 3*s + 2 - 3. Let h be (-2 - -5)/1 + b. Sort 4, h, 3 in increasing order.
h, 3, 4
Suppose m + 1 + 5 = -3*j, -36 = -4*m + 3*j. Let o(b) = -1 + b - 2 + m + 2. Let r be o(-8). Put -5, r, -4 in descending order.
r, -4, -5
Suppose -2*f + 10*f = 7*f. Put -0.4, -3, 3, f in decreasing order.
3, f, -0.4, -3
Let j(g) = g**2 - 9*g - 6. Let r be j(10). Let l be (-1)/(-2)*(-1 - -1). Put l, r, -5 in descending order.
r, l, -5
Let d = -2.7 - 16.3. Let q = -21 - d. Put -0.3, q, -3 in decreasing order.
-0.3, q, -3
Suppose o - 21 = 4*x + 12, -2*x - 5*o = 11. Let i be (0 + -1)/(x + 7). Let k be i/(-1*(-3)/6). Put 8, -2, k in increasing order.
-2, k, 8
Let c = 52 - 48. Let x be (-3)/6 + (-2)/(-3). Sort 0.4, c, x in increasing order.
x, 0.4, c
Let d = -0.3 + 2. Sort -4, -4/3, d in increasing order.
-4, -4/3, d
Let d be 11 + -1 + -1 + -2. Let m be -8 + d - (-2 - -2). Put -3, 4, m in decreasing order.
4, m, -3
Let s be (-4)/(-15)*3/(-2). Let o be 3*((-4)/3 - -2). Suppose 7 + o = -3*p. Sort p, s, -2 in decreasing order.
s, -2, p
Let t(b) = 2*b**2 - 7*b + 3. Let m(s) = s**2 - 3*s + 1. Let r(g) = 5*m(g) - 3*t(g). Let c be r(4). Sort 1, c, 2 in descending order.
c, 2, 1
Let n = 9 - -1. Let m be (-14)/(-20) + (-2)/n. Let o = -26 - -77/3. Sort o, 3/8, m in decreasing order.
m, 3/8, o
Let w = 1 + -1. Suppose 4*o + 3 = -6*k + k, 0 = 4*k + 4*o + 4. Let y be 4 - (-3 - k*-2). Sort y, 3, w.
w, 3, y
Let v(g) = g + 9. Let j be v(-6). Suppose -7 = 3*n + j*w - w, -3*w = 2*n + 13. Suppose -4*a + 3*i - 2 = 0, -4*a + 5*i + 2 = -0. Put n, a, 0 in ascending order.
a, 0, n
Let h(u) = 3*u**2 - 2*u - 2. Let m(y) = 13*y**2 - 9*y - 9. Let r(b) = 9*h(b) - 2*m(b). Let v be r(0). Let j = -7 + 6. Put 3, v, j in descending order.
3, v, j
Let m = 3.9 - -0.1. Let g = -11.34 - -9.4. Let p = g - 0.06. Put m, -0.5, p in decreasing order.
m, -0.5, p
Suppose 0 = -5*w - 15, -3*i + 6*i + 2*w = 6. Put i, 2, -3 in decreasing order.
i, 2, -3
Let n = -4 - -4. Let t be (9*4/8)/(-6). Let v = -0.03 - 1.97. Put v, n, t in ascending order.
v, t, n
Suppose -2*w - 17 + 6 = 3*k, 2*k = w - 12. Suppose 0*h + 8 = w*h. Sort 5, h, 3 in ascending order.
3, h, 5
Let d = 0.9 + -1.1. Let b = 13.2 + d. Let g = b - 8. Sort g, 4, -1 in descending order.
g, 4, -1
Suppose -n = 5*j + 10, -4*n + 30 = -5*j - 5. Sort 4, j, -5 in increasing order.
-5, j, 4
Let v = -60 + 57. Put 0, 4, -0.1, v in decreasing order.
4, 0, -0.1, v
Let t = -52 + 263/5. Put 2, t, 1, 5 in increasing order.
t, 1, 2, 5
Let j = -11.1 - -1.1. Let b = -7 - j. Let v = b + -3.5. Put v, 0.2, 3/7 in descending order.
3/7, 0.2, v
Let d = -9 + 5. Let t = 4 + -7. Let k(x) = -x**2 + x + 3. Let j be k(0). Sort d, j, t.
d, t, j
Let a(u) = -u**3 + 10*u**2 + 2. Let f be a(10). Let m be (4/2)/(-1*1). Let y(d) = 3*d - 74. Let t be y(25). Sort m, f, t in decreasing order.
f, t, m
Let j be ((-22)/(-4))/((-2)/(-4)). Suppose 3*q - 2*h = -9, 4*q - 4*h - 3 = -j. Put -4, 2, q in descending order.
2, -4, q
Suppose -3*x - 4*n + 22 = 0, 4*x + 0*x - 2*n = 0. Suppose -3*p - 5*q - 20 = 0, 5*p = 3*p + q + 4. Sort -5, p, x in decreasing order.
x, p, -5
Let a = -19 - -18.6. Put -3, a, -0.3, 0 in descending order.
0, -0.3, a, -3
Let i(j) be the second derivative of -j**4/12 + j**3/3 + j**2/2 + j. Let x be i(2). Let s = 5/2 - 3. Sort s, x, 5 in increasing order.
s, x, 5
Let g(k) = 2*k**2 + 6*k + 5. Let y be g(-2). Sort 3/7, -0.4, 2, y in ascending order.
-0.4, 3/7, y, 2
Let w = -988/17 + 58. Sort 1.3, w, -1/3, -1/2 in descending order.
1.3, w, -1/3, -1/2
Suppose 0 = -3*m + 6*m. Put -4, -2, m in decreasing order.
m, -2, -4
Let b(z) = z**3 + 6*z**2 - z - 4. Let g be b(-6). Let s = 7 + -11. Suppose 2*r - 18 = -r - u, -2*r + 25 = 5*u. Put s, g, r in increasing order.
s, g, r
Let z = 1.4 + -1.5. Sort 0.04, 0.3, z in descending order.
0.3, 0.04, z
Let y be ((1*-2)/2)/1. Let u be 92/(-115) + (52/(-10) - -1). Sort 0, y, u.
u, y, 0
Suppose 0 = 3*t + 3*j - 0*j + 3, -5*j - 11 = 2*t. Suppose 0 = 4*d + 5*w - 4*w, d - 15 = -4*w. Let n be (-10)/3*(-6)/(-5). Sort d, t, n in ascending order.
n, d, t
Let t = 14 - 4. Put 1, -2, t in decreasing order.
t, 1, -2
Let w = 8 - 7. Suppose 5*n - 4 = -34. Let v be (2/(-6))/((-2)/n). Put w, -4, v in descending order.
w, v, -4
Let u = -98 - -99. Put 4, u, 15, -4 in decreasing order.
15, 4, u, -4
Suppose -t + n = -4*t - 18, -t + 10 = -5*n. Let z(m) = -m**2 + 7*m + 2. Suppose 0 = -3*s + 2*s + 7. Let q be z(s). Sort q, t, -4 in ascending order.
t, -4, q
Let u = -41 + 46. Put 1, -5, u in decreasing order.
u, 1, -5
Let x be 6/10 + 135/(-100). Sort -0.1, 2, x.
x, -0.1, 2
Let i(n) = -n + 16. Let w be i(8). Suppose 0*r = r + w. Let c = r - -11. Put -1, c, 2 in descending order.
c, 2, -1
Suppose 4*f = f + 6. Let r be ((-6)/24)/(f/20). Put -3, r, -0.3 in descending order.
-0.3, r, -3
Let r = 6 + -14. Let f = r + 4. Put -5, f, -1 in ascending order.
-5, f, -1
Let h be (-168)/(-70)*10/(-3). Put 5, h, 3 in descending order.
5, 3, h
Let n = 0.7 - 1. Let o be ((-2)/6)/(18 - 17). Put o, n, -5 in decreasing order.
n, o, -5
Let c be (0 - 2) + (-2 - -6). Let n(h) = -4*h + 7. Let i be n(2). Sort -2, i, c in decreasing order.
c, i, -2
Let o = -0.5 - -1. Let u = 40 - 45.7. Let n = -6 - u. Sort n, o, 2/3 in ascending order.
n, o, 2/3
Let k = 0.32 + 4.68. Put 0.4, k, -0.3 in descending order.
k, 0.4, -0.3
Let j = 2 - 2. Let p = 0.2 + j. Let r be (3 - 1 - 2) + -5. Sort p, -0.2, r in descending order.
p, -0.2, r
Suppose 4*l = 3*l + 3. Let v = -1 + l. Suppose -t - 3*j - 10 = -7*j, 2*t - v*j + 2 = 0. Sort t, 0.2, 1/11.
1/11, 0.2, t
Let k be (10/8)/(1/(-4)). Sort 8, 5, k in increasing order.
k, 5, 8
Suppose 5*s = -k + 2*k + 8, 0 = 4*s + 5*k + 11. Sort -5, s, -4 in decreasing order.
s, -4, -5
Let 