0.4, m in decreasing order.
m, s, -0.4
Let g(i) = -2*i**2 + 14 + 3*i**2 - 2*i - 20. Let q be g(5). Sort 0, -5, q in increasing order.
-5, 0, q
Let d = -1 + 1.3. Put d, -1/2, -5 in increasing order.
-5, -1/2, d
Suppose 0*r = 4*r + 4. Suppose 0 = x - 0*x. Suppose 8*g - 3*g + 20 = x. Put r, 5, g in decreasing order.
5, r, g
Let c = 34 + -33. Sort -2, -4, c.
-4, -2, c
Let z be ((-3)/(-4))/(1/(-4)). Suppose -q - 2 = 5. Let b = -4 - q. Sort b, -5, z.
-5, z, b
Suppose 0 = j + 5*q + 14, -q - 94 = 3*j + q. Let z be (-2)/10 + j/(-70). Let w = -2 + 2.1. Sort z, w, -5 in increasing order.
-5, w, z
Let h be ((-5)/(-3))/(1/3). Suppose 5*d = 5*a - 30, 3*d + 4*a + 1 = 2*d. Sort 2, d, h.
d, 2, h
Let t = -29 - -17. Let b be 2/(-2*3/t). Sort -4, b, 3 in ascending order.
-4, 3, b
Let d = 15 - 15. Suppose 8 = -2*r, 5*l + 18 = 3*l - 4*r. Let q = 2 - l. Put d, 5, q in descending order.
5, q, d
Suppose 3 - 24 = -h. Let j be ((-2)/h)/(10/(-915)). Let p = j + -9. Sort -6, p, -5 in descending order.
p, -5, -6
Suppose -5*s + 2*f = 35, 8*f - 25 = 3*f. Let w be ((-2)/5)/((-16)/30). Put -2/7, s, w in increasing order.
s, -2/7, w
Suppose -2*w = -0*u - u - 17, 0 = -2*w - 4*u + 42. Let p = w + -7. Let c = -4.04 - -0.04. Sort c, 0.2, p in descending order.
p, 0.2, c
Suppose 5*h - 9 = 11. Let n = -6 - -8. Suppose 2*r - 5*r - 4 = 4*i, 5*i + 12 = -n*r. Sort i, -3, h.
i, -3, h
Let u(y) = -4*y**2 - y - 1. Let q be u(-1). Suppose 0 = -2*l - 3*l - 25. Sort 3, l, q.
l, q, 3
Let l be 2/(-3)*6/4. Let n be 1/(-3) + l - -2. Let s = -3 - -3. Sort 0.4, n, s.
s, 0.4, n
Let y = -6 + 2. Let g = -10.6 - -8.6. Put g, y, 4 in increasing order.
y, g, 4
Let j = 17 + -16. Let o be -2 - -3*5/(-5). Sort o, -3, j in ascending order.
o, -3, j
Suppose 3*x - 12 = 2*r - 5*r, 13 = 5*r - 2*x. Suppose p - f = -0*p, 4*f - 5 = -p. Put p, r, 0 in decreasing order.
r, p, 0
Let l be -10*(-1 - 21/(-15)). Let n(t) = t + 8. Let z be n(-6). Let s = z + -2. Sort l, -2, s in decreasing order.
s, -2, l
Let t(y) = y**3 - 5*y**2 + 7*y - 7. Let a be t(4). Sort a, -5, -4.
-5, -4, a
Let f = -3/4 - -1/4. Sort 2/5, -3, f in increasing order.
-3, f, 2/5
Suppose 3*x - 10 = 5. Let j = -0.1 + 0.1. Let o = -4 + j. Put x, o, -2 in descending order.
x, -2, o
Let c(n) = -4*n**3 + 2*n - 1. Let x be c(1). Let a be -6*-3*x/9. Sort a, -3, -2.
a, -3, -2
Let v = 0.32 + -0.32. Put 1/5, -1/3, -2, v in ascending order.
-2, -1/3, v, 1/5
Let f = 0.5 + -0.2. Let g = 6 - 6.2. Put g, 2, f in descending order.
2, f, g
Let u = -1 + 10. Let t be u/(-14) + 2/4. Put 3/8, t, -3 in decreasing order.
3/8, t, -3
Let p = 1 + -1. Let a = 0.1 - p. Put -1/2, 1/2, a in descending order.
1/2, a, -1/2
Let n(a) = a**2 + 7*a + 6. Let o be n(-4). Let j = 0 - o. Let x be (-3)/(0 - (-9)/j). Sort 3, x, -3 in ascending order.
-3, x, 3
Suppose -9 = 4*q + 7. Let i be (-2)/(-6) - (-464)/48. Let z be (-243)/(-45) + (-4)/i. Put -1, z, q in ascending order.
q, -1, z
Let b = 4 - 6. Let h be b/51*-3*1. Sort h, 0.4, -4/5.
-4/5, h, 0.4
Suppose -l = 4*k - 2*k, -k + 9 = -4*l. Let i = -6 + 6.4. Put -5, l, i in increasing order.
-5, l, i
Let q = -85 + 88. Let w = 1 - 0. Put -5, w, q in increasing order.
-5, w, q
Suppose -2*q - 5 = -3*q. Suppose 8*o - 25 = 3*o. Suppose 0 = -2*m - 5*d + 2*d - 5, o*d = -5. Sort m, 3, q in decreasing order.
q, 3, m
Suppose 0 = -3*m - 5*k - 17, 14 = -3*m - k - k. Let i(x) = -3*x**2 - x**3 + x - 3*x + 6*x + 1. Let l be i(-4). Sort m, l, -3.
m, -3, l
Let h(l) = -l + 15. Let m be h(14). Put m, 0, -5 in decreasing order.
m, 0, -5
Let g(p) = -p**3 - 3*p**2 + 4*p - 3. Let m be g(-4). Put 0.4, m, -2/21 in increasing order.
m, -2/21, 0.4
Suppose -k = 2 - 7. Let b be (8/(-3) + 0)*-3. Suppose 2 = 3*s + b. Sort s, k, -4 in ascending order.
-4, s, k
Let g = -1 + 1. Let t be 24 + 1 + g + -1. Suppose -b + 13 = -4*o, -2*b - 2*b = -2*o - t. Sort o, -3, 2.
-3, o, 2
Let v(i) = 5*i**2 + 1. Let q be v(1). Sort q, -2, 2 in descending order.
q, 2, -2
Suppose y = 3*y + 2. Let o(g) = -13*g + 95. Let j be o(7). Sort j, y, 2 in ascending order.
y, 2, j
Suppose 0 = a - 5, -2*i - 5*a + a + 30 = 0. Suppose 4*n = -2*k - 16, -4*n - 23 - 5 = -4*k. Let b = -8 + 3. Sort b, k, i in descending order.
i, k, b
Let s be 6*(0 - -1)*(1 + 0). Sort -5, 0, 3, s in descending order.
s, 3, 0, -5
Let z be 1 + 0 - 26/22. Let o = 8 + -7. Put o, -0.5, z in decreasing order.
o, z, -0.5
Let f(l) = -l**3 - 6*l**2 - 5*l + 2. Let c be f(-4). Let b(k) = -k**2 - 11*k - 11. Let o be b(c). Let q = -5 + 9. Sort q, o, 5 in descending order.
5, q, o
Let v = -7.08 - -0.08. Let b = v + 6. Let m = 3 - b. Sort m, -2, -1/3 in increasing order.
-2, -1/3, m
Let r = -1 - -0.5. Let w be 23/(-6) + 2/6. Sort w, r, 3.
w, r, 3
Suppose 24 = 8*r - 16*r. Sort r, -1, -8.
-8, r, -1
Let a = 29 + -30. Let x = 8/13 - 3/26. Sort a, 0.3, x in descending order.
x, 0.3, a
Let z be (-408)/187 + 1*2. Let n = 3 - 3.2. Let p = n + -0.8. Sort 3, z, p.
p, z, 3
Let j = -24 + 38. Let q = -16.3 + j. Let o = q + 2. Sort -0.4, o, -1/5 in ascending order.
-0.4, o, -1/5
Suppose 3*q - a = 52, 2*a - 12 = 3*q - 68. Suppose -4*z - q - 4 = 0. Put 4, z, 0 in increasing order.
z, 0, 4
Let a = -5.61 - -0.61. Put 3, a, -2/21 in ascending order.
a, -2/21, 3
Let b = -84 + 84.4. Let k = 3/79 - -137/553. Put k, b, 5 in increasing order.
k, b, 5
Let q = -4 + 8. Sort 0, q, 1/3 in descending order.
q, 1/3, 0
Let w = 0.2 + -0.6. Let a = w + 0. Let k = -3.6 + 3.5. Put a, k, 2/9 in ascending order.
a, k, 2/9
Let d = -16 + 16.2. Let v = 0.3 - -1.7. Let c = v - 1.5. Sort c, d, 3 in descending order.
3, c, d
Suppose 4*w = -0*w + 5*v + 8, -5*v = 2*w - 4. Suppose u = -4*u - 5. Let r = -5 - u. Sort w, 1, r in ascending order.
r, 1, w
Let d(t) = 3*t + 6. Let g be d(-3). Sort 1, 5, g.
g, 1, 5
Let u(m) = -m**3 + 8*m**2 + 2*m - 13. Let v be u(8). Put 5, 2, v, -5 in ascending order.
-5, 2, v, 5
Let h = 13/115 - -2/23. Let k = 1 + -4. Sort h, k, 1.
k, h, 1
Let b be (-26)/5 + 3/15. Sort -4, -1, b, 3 in descending order.
3, -1, -4, b
Let h(p) = 3*p**2 + 2*p + 1. Let v be h(-1). Suppose 0 = -v*y + 7 + 11. Let m = -14 + y. Sort m, -4, -3/7 in increasing order.
m, -4, -3/7
Let b = -1.94 + 2. Let q = b - -0.14. Sort 3, q, 3/2 in increasing order.
q, 3/2, 3
Let x = 5 + -9. Let d = 58 - 58.5. Let s = -4 + 2. Put s, x, d in descending order.
d, s, x
Let g = 166 - 832/5. Put -10, 1/3, 2/3, g in increasing order.
-10, g, 1/3, 2/3
Let j be 2/(-5) - 13/5. Let v(y) = -y - 2. Let h be v(0). Put 5, h, j in ascending order.
j, h, 5
Let k be 4*(-22)/16*-2. Let c = k - 7. Put 0.4, 4/9, c in ascending order.
0.4, 4/9, c
Let r = 0.7 + -0.2. Let l = r - 0.3. Let u = 1 - 0.7. Sort -0.1, l, u in ascending order.
-0.1, l, u
Suppose 4*b = 3*b + 15. Suppose 0 = -0*v - 3*v - b. Put -2, -5/3, v in decreasing order.
-5/3, -2, v
Suppose -3*v - 17 = -a + 3*a, 0 = -v - 3*a - 8. Sort v, 4, 3 in increasing order.
v, 3, 4
Let i(a) be the third derivative of a**6/120 - a**5/12 - 5*a**4/24 - a**3 + 3*a**2. Let t be i(6). Sort t, 1/2, -0.2.
-0.2, t, 1/2
Let r = -1 + -2. Suppose 0 = -3*s + 4*s + 7. Sort r, s, 4 in ascending order.
s, r, 4
Suppose y = 2*y + 4. Let i be 2 + -1*(1 - 4). Sort y, 1, i.
y, 1, i
Let s(v) = 8*v - 13*v - 6 + 6*v. Let m be s(6). Put 2/13, m, -5 in descending order.
2/13, m, -5
Suppose 5*h = 4*k - k + 8, -3*k = 3*h. Sort 4, -21, k.
-21, k, 4
Let l = 6 + -1. Let d be -3*(-2 + 3)/1. Let p = -2 + d. Sort l, -3, p in descending order.
l, -3, p
Let r(j) = 6*j + 1. Let p be r(-1). Let b = 1 - -1. Suppose -3 + 5 = -b*q. Put q, p, 3 in decreasing order.
3, q, p
Let i = 1.41 - 0.91. Let t = -5.6 - -0.6. Let u = t - -2. Put i, u, 6/5 in decreasing order.
6/5, i, u
Let n be 4 - ((-1 - -1) + 1). Let c = 25 - 21. Let k = c - n. Sort -3, k, -2 in increasing order.
-3, -2, k
Suppose -2*u + 18 = 5*z, -4*u + u + 20 = 4*z. Let f be 8/(-10) + (-3)/15 + 0. Put f, -4, u in decreasing order.
u, f, -4
Let y = 33.6 - 34. Sort -3, y, -9 in ascending order.
-9, -3, y
Suppose h - 6 = -3*m, -3*h + 0*h - 6 = m. Put -1, m, -4, 4 in increasing order.
-4, -1, m, 4
Let p be (-6 + 10)/(4/6). Suppose -11*c - 35 = -p*c. Put -4, 0, c in increasing order.
c, -4, 0
Suppose 0 = -2*c - 2*t - 2, -5*c = -3*t + 13 - 0. Let a(z) = -z**2 - 5*z - 1. Let q be a(-6). Sort q, c, -3 in increasing order.
q, -3, c
Let h be 1 - (4/14 - 162/(-168)). Pu