v = 17 + -14. Let g = -2 + -3. Sort v, -1, g.
g, -1, v
Let k = 0.02 + -2.02. Let a = k - -7. Sort a, 2, 0.1 in increasing order.
0.1, 2, a
Let a = 38 - 38. Put -1/2, 0.06, a in ascending order.
-1/2, a, 0.06
Suppose j + 3 = -p, -j - p - 13 = 2*j. Put 5, 1, j in decreasing order.
5, 1, j
Let h = 3.02 + -0.02. Let b = 2 + h. Let i = -5 + 2. Put i, -5/4, b in increasing order.
i, -5/4, b
Let l = 4.5 + -5. Let q = 1 - 1.3. Let j = -0.1 - q. Put j, 2/5, l in increasing order.
l, j, 2/5
Let t = -0.07 + -3.93. Put 0, -1, t in descending order.
0, -1, t
Let m = 2.9 - 3. Let r = m + 0.4. Let l = -5/6 + 4/3. Sort r, l, -5 in increasing order.
-5, r, l
Let v = 0.07 - -3.93. Let n = 3.9 - v. Let o(r) = 3*r - 1. Let h be o(1). Put n, 0.1, h in decreasing order.
h, 0.1, n
Let w be 46/14 - (-4)/(-14). Suppose -w*r + 7 = t, -r + 21 = 6*t - t. Let z = r + 2. Put 0, 1, z in decreasing order.
z, 1, 0
Let k = -5 - -8. Sort 5, k, -7 in ascending order.
-7, k, 5
Suppose -3*w - 20 = -4*q + 2*w, 4 = 2*q - w. Suppose n = -q*n. Sort -1, 2, n.
-1, n, 2
Suppose 0*a + 203 = 2*a - o, -515 = -5*a + 5*o. Suppose p + 5 = a. Let g = p + -473/5. Sort -1, 4, g in decreasing order.
4, g, -1
Let p(d) = d**3 + 6*d**2 - 8*d - 11. Let q be p(-7). Suppose j + 2 = 2*j. Suppose 5*m = -j*z - 3*z - 35, m - 5*z = 17. Sort q, m, -1.
q, m, -1
Let j(n) = n - 7. Let o be j(11). Let r be (-3)/1 - (-3 + 4). Put r, o, 1 in descending order.
o, 1, r
Let n = 18/145 + 8/29. Sort -5, 0.2, -0.1, n in descending order.
n, 0.2, -0.1, -5
Let u be (-18)/(-8) + (-4)/16. Suppose -t - 6 = -j, 3*j - 2*j - 2*t - 9 = 0. Suppose p + 5 = j. Sort 1, u, p in decreasing order.
u, 1, p
Suppose 0 = -0*g + 2*g. Suppose 25 = 5*v - 0*v. Let m be (-1 + -1 - -2) + -2. Sort m, g, v.
m, g, v
Let n(d) = d**2 - 12*d + 15. Let y be n(11). Put 2/5, -26, y in ascending order.
-26, 2/5, y
Let h = -4 + 6. Let b be h/(-4) + (-14)/4. Put 1/7, b, -3/4 in descending order.
1/7, -3/4, b
Let x(w) = -w. Let z be x(3). Let b = 5 - 2. Suppose 2*j + 22 = -4*g, 2*g = -b*j + 7*j + 14. Sort z, -4, j in descending order.
z, -4, j
Let y be (-8)/(-3) - (1 + (-8)/6). Put 0, -1, y, -3 in decreasing order.
y, 0, -1, -3
Let c be (12/(-8))/((-6)/8). Sort c, 0, -5.
-5, 0, c
Let t = 3 - 2.7. Sort t, 2, 0.2.
0.2, t, 2
Let p(s) = 4*s**3 + s. Let m be p(1). Let q = 3 - m. Put 4, 1, q in ascending order.
q, 1, 4
Let y = -32 - -29. Sort -0.4, -1, y, 0.5 in decreasing order.
0.5, -0.4, -1, y
Let u = 2/117 + -43/234. Sort 1/3, u, -3/5.
-3/5, u, 1/3
Let j = 0.4 + -0.2. Let f = -11.82 + -0.18. Let p = 17 + f. Sort j, p, -2/9 in decreasing order.
p, j, -2/9
Let b(t) be the third derivative of t**6/120 + t**5/30 + t**4/8 - t**3/3 + 3*t**2. Let n be b(4). Let x be (-1)/(-34)*n - 3. Sort 4, -5, x in descending order.
4, x, -5
Let g = -5 - -8. Let v = g - 3.3. Let b = -14 + 12. Sort v, 0.5, b in descending order.
0.5, v, b
Let i = -15 + 12. Put -1, 3, i in ascending order.
i, -1, 3
Suppose 11*q + 20 = 6*q. Let f be (-5)/(-2)*(3 - 1). Put -2, q, f in increasing order.
q, -2, f
Let u(z) = -z**3 - 3*z**2 - z - 4. Let s be u(-3). Suppose 3*k = -7*w + 3*w + 5, 20 = -5*w. Suppose -3*y = k - 1. Sort s, y, -4 in decreasing order.
s, y, -4
Let g(p) = p + 2. Let i be g(-5). Let a(s) = s**3 - 7*s**2 - s + 8. Let k be a(7). Suppose 2*q = -2, 0*q = 5*v + 2*q - 23. Sort k, i, v.
i, k, v
Let t be (-4)/(-10) + (-6)/(-10). Suppose 5*y - 10 = 2*c + 4, 4*c - y - 8 = 0. Suppose -s - 15 = -3*i, -4*i + 9 + 11 = 2*s. Put c, t, i in ascending order.
t, c, i
Let i = 2 + -1.9. Let g = -97 + 97.3. Put 1/3, g, i in ascending order.
i, g, 1/3
Let f(y) = -y**3 + 3*y**2 + 3*y + 1. Let o be f(4). Put -4, o, 0 in descending order.
0, o, -4
Suppose 11*g - 8 = 3. Let a(h) = 17*h**3 - 2*h**2 + h. Let m be a(1). Suppose 0 = -j - 3*j - m. Sort 3, g, j in ascending order.
j, g, 3
Let o = -121 + 121. Put o, -1/3, 5/2 in ascending order.
-1/3, o, 5/2
Let b = -0.8 + 8.8. Let q = -10.4 + b. Let i = 0.6 - q. Put -1/2, i, -2 in descending order.
i, -1/2, -2
Let a = -8 + 7.9. Let b = 0.2 - a. Sort 0.2, b, -1/4 in ascending order.
-1/4, 0.2, b
Let t = 4 + -3. Sort -3, -5, t.
-5, -3, t
Let n = 12.5 - 13. Let x = 1 - 0. Sort x, n, -4/7 in increasing order.
-4/7, n, x
Let s = -1 + 5. Put s, 1, 5 in ascending order.
1, s, 5
Let u = -22 + 19. Let b be (-25)/(-4) + 1/(-4). Sort 2/3, b, u in ascending order.
u, 2/3, b
Let r = 134 - 133. Put 0.2, r, -2/15, -1 in increasing order.
-1, -2/15, 0.2, r
Suppose 3 - 19 = 4*u. Suppose d = -4*d. Suppose 4*n + 17 + 3 = d. Sort -3, u, n.
n, u, -3
Suppose 0 = 2*u - 10, 3*g - 3*u + 21 = -0. Put g, -1, 4, -25 in descending order.
4, -1, g, -25
Suppose -3*n - 11 = -5*j, 4*n = 3*j - 2*j + 8. Suppose 2*x + 4 = 4*b + 4*x, 0 = -b - x. Sort j, b, 5 in decreasing order.
5, j, b
Let g(z) = z - 17. Let b be g(16). Sort 3, b, -9 in decreasing order.
3, b, -9
Let o = -0.32 - -0.21. Sort -4, o, -5 in ascending order.
-5, -4, o
Suppose 2*a + 2 = f + 14, a = -3*f - 8. Sort f, 7, -2 in descending order.
7, -2, f
Let c be 0 + 14/(-20) + 7/35. Sort c, -6, -5, 0.2 in decreasing order.
0.2, c, -5, -6
Let g = -22 + 23.3. Let y = g + -0.3. Let q = -2/59 - 53/177. Put -3/2, y, q in descending order.
y, q, -3/2
Let l = -2 - 1. Put -4, 1, l in increasing order.
-4, l, 1
Let m = -0.28 + -0.12. Sort 0, 3/4, 0.3, m in decreasing order.
3/4, 0.3, 0, m
Suppose -3*l + 5 = -2*l. Suppose -l*c = -2*c + 6. Put c, 3, 1 in decreasing order.
3, 1, c
Let p = -2 - 3. Let s be (-1266)/15 - (-2 - -2). Let a = s + 84. Sort p, 0.5, a in decreasing order.
0.5, a, p
Suppose -3*k = 50 - 188. Let g = 277/6 - k. Sort -1/2, g, 1/3 in decreasing order.
1/3, g, -1/2
Suppose -8 = -4*y, -4*m + m - 2*y + 31 = 0. Put -4, m, 1 in descending order.
m, 1, -4
Let d = -4.4 + -13.6. Sort d, -2/7, 0 in increasing order.
d, -2/7, 0
Let c(w) = 73*w**2 + 2*w - 1. Let n be c(1). Let v be (-2)/(-15) - n/(-120). Put v, -1, -5 in descending order.
v, -1, -5
Let p = -1 - 0. Sort p, -2/9, -1/4 in descending order.
-2/9, -1/4, p
Let p be 0 + (-1)/2*0. Let l = -8 + 11. Sort 2, l, p in descending order.
l, 2, p
Let a(z) = z**3 + 2*z**2 - 4*z - 6. Let g be a(-3). Let w be 3/(2/(-4) + 2). Put w, g, -2 in increasing order.
g, -2, w
Let b(s) = -s + s**2 + 1 - 2 + 0*s**2. Let l be b(2). Let o = 4 - l. Sort o, -3, 0 in increasing order.
-3, 0, o
Let d = 3.1 - -3.3. Let k = d - 6. Put 5, -1, k in increasing order.
-1, k, 5
Suppose 6*x = x + 5. Let q be 7 - ((x - -1) + 1). Let c(m) = m**3 + m**2 - m - 2. Let d be c(-2). Sort 0, d, q in decreasing order.
q, 0, d
Let j = 6 + -2. Let h be 40/42 + 16/(-24). Sort h, j, -0.1.
-0.1, h, j
Let l be (-3)/(-15) - 1/5. Suppose 5*p - 5 = l, -4*x - 5 = 2*p + 1. Put x, -5, 5 in ascending order.
-5, x, 5
Let c = 39 + -10. Suppose 4*n = 9 + 7. Suppose 8 = 2*x - 2*t, 5*x + n*t = -0*t + c. Sort x, 1, -3 in decreasing order.
x, 1, -3
Let u be 341/(-121) - 2/11. Sort -4, -0.2, -5, u in increasing order.
-5, -4, u, -0.2
Let s = 0 + -1. Let o(j) = -j**3 - 12*j**2 + 16*j - 3. Let d be o(-13). Let y be ((-6)/14)/(6/d). Sort s, 0, y.
s, 0, y
Let r be -1 + 200/(-70) - (-2)/(-14). Suppose -2*s + 6*s + 4 = 0. Put 6, r, s in descending order.
6, s, r
Suppose 0 = -0*p + 3*p - 5*t + 46, 4*p + 3*t = -13. Let b = p + 4. Sort 0, b, -5 in decreasing order.
0, b, -5
Let y = 1.7 - 5.7. Sort y, -1, 1.
y, -1, 1
Suppose -o - 4 = -5*o, o = 5*m + 16. Put -5, 1, m in ascending order.
-5, m, 1
Let m = 5 - 2. Suppose 10*g - 30 = 7*g. Suppose 5*n + 0*n = g. Put -3, m, n in ascending order.
-3, n, m
Let u = -37 - -39. Let b = 0.3 + -1.3. Sort u, -0.4, b.
b, -0.4, u
Suppose -3*b + 2*b = 8. Let d be -2 + (-10)/b + 1. Let z be (20/14)/((-2)/(-7)). Sort d, z, -4 in descending order.
z, d, -4
Let t be (-35 + 32)*(-1 - (-13)/15). Sort 4, 0, t, 1 in decreasing order.
4, 1, t, 0
Let h = 125 + -749/6. Put 4, -0.4, h in decreasing order.
4, h, -0.4
Suppose 3*d = 5*j + 7*d - 20, -2*j + 3*d = -31. Suppose 2*f + 2*f = j. Sort f, -4, -1.
-4, -1, f
Suppose -5*t + 1 + 9 = 0. Suppose -t*j = -14 + 6. Sort 5, j, 3 in ascending order.
3, j, 5
Let c = -29 - -29.3. Put c, -0.2, 6 in descending order.
6, c, -0.2
Suppose -5*i = m - 14, 0*i + 14 = i + 3*m. Let y = -5 + i. Sort y, -2, 4 in descending order.
4, -2, y
Let d = 1.7 - 2. Suppose -c - 7 - 3 = 0. Let u(r) = -r**2 - 9*r + 11