+ 5. Sort w, 1, x in ascending order.
x, 1, w
Let j = 4.5 + -5. Sort j, 2/7, -5 in ascending order.
-5, j, 2/7
Let g = -11 + 12. Sort 5, 3, g.
g, 3, 5
Let w(x) = -x + 8. Let h be w(7). Let q = -3.2 - -0.2. Put q, 0, h in increasing order.
q, 0, h
Let q be (10/(-75))/(-2)*9. Sort 3, -6, q in increasing order.
-6, q, 3
Let a = 0 - -0.6. Let j = 0.2 - a. Let p = 5.1 + -5. Sort j, -3, p in increasing order.
-3, j, p
Suppose -3*g = -m - 11, -4*g + 1 = -7*g + 4*m. Let v(r) = r**2 - 7*r + 7. Let o be v(g). Sort -4, o, -2.
-4, o, -2
Let k(p) = p**3 - 4*p**2. Let i be k(4). Let t be (-15)/(-6)*20/25. Suppose 4*r = t*a + 24, -5*r = 4*a - 4*r + 3. Put -1, i, a in descending order.
i, -1, a
Let o = -2.9 + 3.3. Put o, -1.2, 0.5 in ascending order.
-1.2, o, 0.5
Suppose 0 = 181*v - 180*v - 11. Put v, -1/7, 3, 0 in decreasing order.
v, 3, 0, -1/7
Let r(n) = -n**2 - 15*n - 16. Let z be r(-14). Sort 0.4, z, -0.09 in descending order.
0.4, -0.09, z
Let d be 1/3 - (-6)/9. Let m = 5 - 7. Let a be 1*((m - -4) + -5). Put a, -4, d in ascending order.
-4, a, d
Let x be (5 + 5/2)*2/(-3). Let a = -5/22 + -3/11. Sort a, 1/2, x in ascending order.
x, a, 1/2
Let i = -2.13 - 0.27. Let z = -0.2 + 2.2. Let u = i + z. Sort -1, u, -5 in descending order.
u, -1, -5
Let q be 0/(-2 + 1) - 1. Let g be (-1 + 0)/1 + q. Let v be (-5)/(60/(-42)) - 9/(-6). Sort -3, g, v in decreasing order.
v, g, -3
Suppose -5*t + 4*t = 3*u + 2, -10 = 5*t - 4*u. Put t, 0, 0.1, -1 in ascending order.
t, -1, 0, 0.1
Let s = 0.429 + -0.129. Put s, -3, 2, -5 in decreasing order.
2, s, -3, -5
Suppose 4*h = -0 + 12. Put -1, h, 4 in decreasing order.
4, h, -1
Suppose 5*q - 12 = t + 3*q, t + 4*q = 12. Sort 3, t, 4, 2 in decreasing order.
4, 3, 2, t
Let n = 7 + -5. Let u be ((-15)/10)/(n/8). Let x = -1 - u. Put x, -1, 3 in increasing order.
-1, 3, x
Suppose 5*g - 15 = 5. Let z be ((-10)/4)/((-2)/g). Suppose d + 20 = -5*y, 0 = -4*d + 2*y - y - 17. Put d, -2, z in decreasing order.
z, -2, d
Suppose 0 = 2*x - 5 + 1. Let q be x*3/54*3. Sort -0.1, q, 0.5 in decreasing order.
0.5, q, -0.1
Let z = 29 + -18. Let c = z - 6. Suppose -4*q + 20 = -5*s, -3*q + 2*q + c = 3*s. Sort 4, -5, s in decreasing order.
4, s, -5
Let o = 0.08 - -3.42. Let g = o - 4. Put 3, g, -3 in descending order.
3, g, -3
Let l = 8 + -8. Suppose 0 = 5*d - 4*h - 4, -5*d = 3*h - 32. Let m = 3 - d. Sort -3, m, l in descending order.
l, m, -3
Let g = 4.5 - 0.5. Let j = -0.31 - -0.01. Let m = -8.2 - -10.2. Sort m, g, j in decreasing order.
g, m, j
Let d be (-8)/6 - 4/6. Suppose 5 - 29 = -3*l. Suppose -3*s + 3*i = -6, 4*s = 2*s - 4*i - l. Put 5, d, s in decreasing order.
5, s, d
Let m be 22 + -19 + 3 + -1. Put -1, -4, m in ascending order.
-4, -1, m
Let d = -6 + 11. Suppose 0 = 7*t - 0*t + 28. Put -5, t, d in decreasing order.
d, t, -5
Suppose -2*f = 4*r - 24, -2*f + 0*f + 2*r = 0. Suppose 0 = 5*c - 3*t - 5, 0 = 3*c - 5*c - 3*t + 2. Put f, 3, c in increasing order.
c, 3, f
Let i(w) = 10*w + 2. Let o be i(1). Let y be (-8)/(o/3)*-2. Put y, 3, 1 in decreasing order.
y, 3, 1
Let x be (-69)/(-18) + -3 - 1/(-6). Sort -6, 0, x in decreasing order.
x, 0, -6
Let r = -0.4 - -0.3. Sort r, 2/5, 4 in decreasing order.
4, 2/5, r
Let w(j) = j**3 + 5*j**2 - 5*j + 7. Let k be w(-6). Let g = -7 - -33/5. Let s = 9 - 9.5. Sort s, k, g in decreasing order.
k, g, s
Suppose 3*l + 17 = o - 0*l, -l = 2*o + 1. Sort -3, o, 5.
-3, o, 5
Let g = -1 + -5. Sort -0.4, 4, g in decreasing order.
4, -0.4, g
Let b = 24.4 - 24.4. Let q be 8/6*9/78. Put 1, q, b in increasing order.
b, q, 1
Let j(v) = v**2 + 8*v - 4. Let q be (-58)/7 - 2/(-7). Let g be j(q). Put 1, g, 0 in increasing order.
g, 0, 1
Suppose 4*w - 2*n - 19 - 3 = 0, 2*w = -3*n + 23. Sort -2, 2, w, 5 in ascending order.
-2, 2, 5, w
Let u = -8 + 5. Suppose 2*v = -i - 13, -v = -6*v + 4*i. Put 1, u, v in descending order.
1, u, v
Let o(a) = a**3 - a**2 - 4*a - 1. Let k = -5 + 8. Let z be o(k). Suppose -4*g + y - 11 = 0, -3*g + y = 2 + z. Put g, 1, 3 in increasing order.
g, 1, 3
Let f = 0 - -2.5. Let l = f - 2.7. Sort l, -1, 3/4.
-1, l, 3/4
Let s(a) = a**3 + 9*a**2 - 12*a - 17. Let z be s(-10). Put 0, 2, z in increasing order.
0, 2, z
Suppose 12*k - 11*k = 0. Sort -3, k, -2/5, 1/2 in ascending order.
-3, -2/5, k, 1/2
Let i = -18 + 55/3. Sort 1/19, i, 4, 2/3 in decreasing order.
4, 2/3, i, 1/19
Let o = -65 + 39. Let l = o + 105/4. Let n = -6 - -6. Put l, n, 1/6 in descending order.
l, 1/6, n
Let d = -4.3 - 6.7. Let m = -17 + 5. Let p = m - d. Put -0.4, p, -5 in increasing order.
-5, p, -0.4
Let l be (7*-2)/(-1) + 0. Let p be (-4)/l + (-90)/(-21). Let y = -15 - -10. Sort p, 0, y in descending order.
p, 0, y
Let c = 0.574 - 0.074. Put c, 0.4, -4 in descending order.
c, 0.4, -4
Let b = 0 + -0.2. Let s = b + 0.7. Let z = -0.6 - -0.9. Put s, 1/6, z in descending order.
s, z, 1/6
Suppose 4*b + 4*w = -32, 3*w - 2 = b - 2*w. Sort b, -2, -4.
b, -4, -2
Let t(w) = w**3 - 2*w**2 + 2*w - 2. Let y be t(2). Suppose -5*c = -3*i - 7, 5*i - 6*c = -4*c + 1. Put i, y, 4 in decreasing order.
4, y, i
Let b be 1/((5 + -3)/(-6)). Sort -24, b, -5, 5.
-24, -5, b, 5
Let i(w) = -w**2 + 7*w + 11. Let d be i(8). Let v = d - 2. Put 4, -4, v in descending order.
4, v, -4
Let t = -0.31 + 0.01. Put 0, 4/3, 32, t in descending order.
32, 4/3, 0, t
Let d = -10 - -19. Let j = 0.31 + 13.69. Let u = d - j. Put 0.3, 5, u in ascending order.
u, 0.3, 5
Let h be (-4)/(-2)*(-15)/10. Suppose -5*p + 13 = -12. Put p, 1, h in decreasing order.
p, 1, h
Let w = -1 - -3. Suppose -w*x + 4*v + 86 = -x, -8 = 4*v. Let y be x/63 - 6/9. Put y, 2, 0.4 in decreasing order.
2, y, 0.4
Let u = 4.9 - 6.9. Let a = -2 + 1. Let j = -3.6 - -4. Sort a, u, j in descending order.
j, a, u
Let w be (3 + -1)/(0 - 1). Let s(c) = c**3 + 4*c**2 - c + 5. Let a be s(-4). Let b = a - 5. Put w, b, 3 in decreasing order.
b, 3, w
Suppose 26 = -5*s + 1. Sort -3, s, -2/9 in decreasing order.
-2/9, -3, s
Let q be (6/(-27))/((-3)/(36/(-8))). Sort -5, -1, q.
-5, -1, q
Let x = -5.11 + 0.11. Let u = 76 - 761/10. Sort -2, u, x in decreasing order.
u, -2, x
Let s be ((-16)/10)/((-6)/45). Suppose w - 8 = s. Suppose -w = -5*a - 5. Sort -2, -5, a in descending order.
a, -2, -5
Let y(w) = -3*w - 5. Let a be y(-2). Sort -3, 3, a in ascending order.
-3, a, 3
Let f(o) = -o**3 + 3*o**2 + o - 5. Let n be f(0). Put n, 4, -4 in ascending order.
n, -4, 4
Suppose 5*s = 5*x + s + 8016809, -x - 1603349 = -4*s. Let g = -1114338963/695 - x. Let y = g + 2/139. Put 4, 1/2, y in increasing order.
y, 1/2, 4
Let w be -12*(-10)/(-35) + 4. Sort -0.1, w, -1/6 in ascending order.
-1/6, -0.1, w
Let c = 103 - 83. Sort 4, c, -5 in descending order.
c, 4, -5
Let h = -1 + 3. Suppose -h*s + 2 = -2. Sort s, 3, 5 in ascending order.
s, 3, 5
Let b = -25 + 28. Sort 3/5, -0.4, b in descending order.
b, 3/5, -0.4
Let r(g) = g**3 - 8*g**2 + 5*g + 9. Let n be r(7). Sort 5, n, 0 in decreasing order.
5, 0, n
Let v be (-4)/(-14) - 176/28. Let a = -6 - v. Let g = 7 + -4. Put 1, g, a in decreasing order.
g, 1, a
Suppose 2*a = -9 - 1. Let u be 84/9 + 2 + -2. Let w = u + -193/21. Sort a, -0.4, w in descending order.
w, -0.4, a
Let p = -345 + 344. Let q = -3 + 2.8. Put 2, p, q in descending order.
2, q, p
Let r = 11 + -16. Sort 0.5, r, 5.
r, 0.5, 5
Suppose 15 = -0*a + 3*a. Put a, -5, 2 in increasing order.
-5, 2, a
Let b = 61 + -66.8. Let c = -2.5 - b. Let t = -0.3 + c. Put t, 2, -2 in descending order.
t, 2, -2
Let c = -1.46 - -0.43. Let f = c + 1. Sort 4, -1, f.
-1, f, 4
Let w = -12.9 - -13.9. Let m = -3.8 - -4. Put 1/7, m, w in ascending order.
1/7, m, w
Let d = -38 + 37.7. Sort -1.2, d, 0.2 in increasing order.
-1.2, d, 0.2
Let k = 9 + -8.7. Let n = k + 0. Sort n, -2/9, 2/13 in descending order.
n, 2/13, -2/9
Suppose 2 = c, c - 1 - 13 = -3*k. Suppose -2*y = d + 8, -k*d + 4*y = -0*d - 4. Sort 4, 1, d.
d, 1, 4
Let o = -21.1 - -21.4. Let z = 1 - 1. Sort z, 1, o.
z, o, 1
Suppose 0 = 4*w - 20, a + 0 = -3*w + 18. Sort a, -1/9, 5.
-1/9, a, 5
Let m be 2 + -1 - (-4 + 8). Suppose 0 = -4*y + 4 + 4. Put y, -4, m in ascending order.
-4, m, y
Let i be -2*(-1 - -2)/(-1). Let g(k) = k**2 + 5*k + 4. Let s be g(-4). Suppose i*a = -s + 2. Put a, -1, -4 in increasing order.
-4, -1, a
Let l = -36 - -106/3. Let t = -0.191 + 3.271. Let c = 0.08 - t. Sort l, c, 0.2.
c, l, 0.2
Suppose -16 