, m.
-5, m, 0.4
Let l be ((-10)/14)/(78/(-91)). Let u = 2 - 6. Sort l, -5, u in decreasing order.
l, u, -5
Let l be (-9 + 7)*2/4. Let h(i) = i + 6. Let w be h(-5). Suppose 0*m - w = m - p, 4*m - 12 = -4*p. Put -3, l, m in descending order.
m, l, -3
Let c(a) = a - 10. Let g be c(11). Sort g, -1, -4 in increasing order.
-4, -1, g
Let u = 1 + 3. Let z = 2 + 0. Put z, -2, u in ascending order.
-2, z, u
Let c(y) = -y - 3. Let n be c(-3). Suppose n = 4*d + 2*j - 22, 2*d + 3*j = -2*j + 31. Sort d, -5, -1/9 in increasing order.
-5, -1/9, d
Suppose 0 = 5*u + 8 + 37. Sort 2, 3, u, 0 in descending order.
3, 2, 0, u
Let x = 3.2 + -3. Let q be (-5)/50*(-30)/(-112). Let w = 209/560 - q. Put -1/7, w, x in decreasing order.
w, x, -1/7
Let j = -5 + 4.5. Let f be ((-4)/10 + 2/10)*2. Sort 1/6, f, j in descending order.
1/6, f, j
Let h = -38 - -42. Sort -0.4, h, 5.
-0.4, h, 5
Let g be 1/(4/((-36)/3) - 0). Sort 4, -13, 3, g in ascending order.
-13, g, 3, 4
Suppose -4*j = -8*j + 16. Let m = -22 + 20. Sort -1, j, m in increasing order.
m, -1, j
Let l(i) be the first derivative of i**2/2 + 4*i + 1. Let k be l(-5). Suppose a - 5*a = -4. Sort a, 2, k in ascending order.
k, a, 2
Suppose -4*g + w + 2*w = 27, -5*g + w - 20 = 0. Put 1, g, -5, 4 in ascending order.
-5, g, 1, 4
Let r = 10 - 15. Let x = -11475/23 - -499. Sort x, r, 5 in descending order.
5, x, r
Suppose -2*l - 1 - 1 = 0. Let g = 40 + -24. Suppose 4 = 4*z + g. Sort z, -5, l in descending order.
l, z, -5
Suppose -2*q - 3*b + b = -6, 2*q - 5*b - 6 = 0. Suppose q = -5*g - 2*c + 3*c, 4*c = -4*g + 12. Sort 4, g, 0.2 in decreasing order.
4, 0.2, g
Let x(v) = 2 + 1 + 4*v - 1 - 3. Let j be x(-1). Sort 4, -4, j in descending order.
4, -4, j
Let m = -2.3 + 2. Let n = -2 - -7. Sort m, n, -2 in descending order.
n, m, -2
Let s(y) = y**3 + 9*y**2 - 1. Let n be s(-9). Sort n, -17, -4.
-17, -4, n
Let y be 2/12*-10*-3. Suppose 5*m - 19 = 4*q, 0 = y*q - 4*m + 5 + 12. Sort q, -0.5, 3/4 in increasing order.
q, -0.5, 3/4
Let t = -26 + 25.8. Let l = -0.1 + 0.14. Let c = 0.26 + l. Sort t, c, -1.
-1, t, c
Suppose 0 = -4*p, 4 = 4*w - 0*p - p. Suppose 8*c - 4*c = -5*b + 30, 3*c + 2*b = 19. Sort 2, w, c in decreasing order.
c, 2, w
Let k be 0 - (-2 - (-9)/6). Sort 5, k, -10 in descending order.
5, k, -10
Suppose -1 = 2*k + 13. Suppose 2*q - 5 = -7. Let n(i) = -5*i - 1. Let z be n(q). Sort z, 3, k in ascending order.
k, 3, z
Suppose -3*y + 40 = -y. Suppose 0 = -3*l - l + y. Suppose 5*p + 5*t = -l - 20, 4*t + 18 = -3*p. Put p, -3, 5 in descending order.
5, p, -3
Suppose 7*b - 12 = 3*b. Suppose b*u = 2*u + 5. Let o(w) = w - 4. Let z be o(2). Sort 2, u, z in ascending order.
z, 2, u
Suppose 0 = 5*j - 5*i, 0 = -j - i - i - 3. Sort j, 1, -17 in descending order.
1, j, -17
Let c be 6*(-1)/(-2)*3. Sort c, -5, 2 in decreasing order.
c, 2, -5
Let x = -22.2 - -22. Let r = -5.2 - x. Sort r, -0.3, 0.2 in decreasing order.
0.2, -0.3, r
Let g = 0.13 - 0.23. Put -0.04, -3/4, g in descending order.
-0.04, g, -3/4
Let c(t) = -t - 8. Let u be c(-9). Sort 1/4, u, -1 in ascending order.
-1, 1/4, u
Let l = 4 - 0. Suppose i - y = 6*i + 9, 5*i + l*y + 6 = 0. Let w be (-11)/(-9) - (3 + -2). Sort w, 0.1, i in descending order.
w, 0.1, i
Let v = 6 + -10. Sort v, -1, 4.
v, -1, 4
Let o = -2.3 + 5.3. Sort -3, 2/3, o.
-3, 2/3, o
Let w be -17 + 1 - (-2 + 1). Let z = -382 + 387. Put -2, z, w in increasing order.
w, -2, z
Let a(m) = m + 6. Let j be a(-8). Let r = -5 - j. Put 0, r, 0.3 in decreasing order.
0.3, 0, r
Let i be 8*-1*3/(-6). Let f = i + -1. Suppose 3*c + 18 = 3*v, 3*c - 14 = 4*c - f*v. Put 4, c, 1 in descending order.
4, 1, c
Let q = -4/7 + 13/35. Sort q, -1/6, 1.
q, -1/6, 1
Let r(u) = u**3 - 5*u**2 + 4*u - 5. Let m be r(4). Suppose 17*x - 4 = 13*x. Sort m, 5, x in ascending order.
m, x, 5
Let u = 0.041 + -0.541. Sort -2/13, u, 0.7 in increasing order.
u, -2/13, 0.7
Suppose 3*c - 3 = 12. Let b = -16 + 11. Sort -2/3, b, c.
b, -2/3, c
Let w = 0.1 - -0.1. Let u = 0 - 0. Let p = -2/159 + 356/3021. Put u, p, w in decreasing order.
w, p, u
Suppose 0 = -4*y + 3 + 5. Let f be (-7)/y + 1/2. Put 3, f, 5 in increasing order.
f, 3, 5
Suppose -7*d - 10 = -2*d. Put d, -2/5, -4 in descending order.
-2/5, d, -4
Suppose -4*p + 17 = -7. Let d be (1 - 0)/((-2)/(-4)). Sort 3, p, d.
d, 3, p
Let f(k) = k**2 + 27*k - 4. Let w be f(-27). Let h = 7 - 10. Put w, h, 1 in decreasing order.
1, h, w
Let f be 1*205/(-65) - -3. Let z = -0.2 + -0.8. Sort f, -0.5, z in descending order.
f, -0.5, z
Let o = 0.3 - 5.3. Let v = 10 + o. Let b = -9 + v. Sort -1, b, 2/17 in ascending order.
b, -1, 2/17
Suppose -j + 0*j - 17 = 4*n, 2*j - 3*n = 10. Let p be ((-8)/6)/(10/(-15)). Let w(x) = -x**2 + 5*x + 7. Let s be w(6). Put j, s, p in ascending order.
j, s, p
Let j(p) = p**2 - 4*p - 6. Let t be j(5). Suppose -24*q + 5 = -25*q. Put 2, q, t in decreasing order.
2, t, q
Let o = -0.19 + -2.01. Let j = o - -1.2. Sort -0.2, 0.5, j in decreasing order.
0.5, -0.2, j
Let j(c) = -c**2. Let y(i) = 2*i**2 - i - 1. Let r(b) = -j(b) - y(b). Let h be r(2). Sort -4, h, 2 in descending order.
2, h, -4
Suppose 0 = 10*r + r - 11. Suppose -1 = -3*o - 7. Put -0.5, o, r in ascending order.
o, -0.5, r
Suppose 0 = -18*u + 18 + 54. Let f = 1 - -1. Sort -3, u, f in decreasing order.
u, f, -3
Let a(s) = -s**3 + s**2 - s + 1. Let o be a(1). Let r = -1 - -6. Put o, r, -2 in descending order.
r, o, -2
Let w = -2 - 10. Let q = w - -12.2. Let g = -2 + 2. Put q, -0.4, g in decreasing order.
q, g, -0.4
Let z = -17 + 22. Put -1, z, -3 in ascending order.
-3, -1, z
Let c = -51 - -34. Put c, 3, -5 in descending order.
3, -5, c
Let a = 3.5 - 3.1. Let r = 0.8 - 0.5. Put a, -0.5, r in ascending order.
-0.5, r, a
Let r(k) = k**3 - 3*k + 1. Let x be r(2). Sort 0, -1, x in descending order.
x, 0, -1
Let b(a) = -3*a**2 + 30*a - 2. Let s be b(10). Suppose 0 = 4*i - 7 - 1. Let c be i/(-7) - (-44)/7. Put s, 5, c in descending order.
c, 5, s
Let s = -0.03 - 2.97. Let p = s + 1.8. Let q = p - -1. Sort -2/5, 3, q in decreasing order.
3, q, -2/5
Let c = 11 - -2. Let b = 15 - c. Sort -3, 5, b in decreasing order.
5, b, -3
Let k be (144/105 + (-4)/7)*-5. Put 2, -1, 5, k in ascending order.
k, -1, 2, 5
Let s(i) = 2*i + 11. Let h be s(-6). Put -3, 1, h, 3 in descending order.
3, 1, h, -3
Let l = -1 - -3. Suppose -5*z = u - 7 + 2, -z + l*u + 12 = 0. Sort -2, z, 0 in decreasing order.
z, 0, -2
Let b = -2/117 - 37/117. Let o = -2 - -7. Sort o, 2, b in descending order.
o, 2, b
Let i be 5 - 8 - -1*5. Sort -5, i, -4 in increasing order.
-5, -4, i
Let n = 8.45 - 3.5. Let j = n + 0.05. Let v = -4.7 + j. Put -4, v, 5 in decreasing order.
5, v, -4
Let y(f) = f + 16. Let v be y(-19). Let g be -4*((-3)/2 - -1). Suppose -25 = 5*m + 3*s, -5*m + s + 1 = 6. Sort m, g, v in ascending order.
v, m, g
Let u = 7 + -13. Let d = -7 + 3. Let b = d - u. Sort 1/7, 3, b in decreasing order.
3, b, 1/7
Let z be ((-6)/9)/((-2)/(-12)). Suppose 0 = -4*y + 7*y - 30. Sort z, 5, y in decreasing order.
y, 5, z
Let p = 176 - 181. Sort 5, -6, 3, p in descending order.
5, 3, p, -6
Let l = -0.5 + 1.9. Let a = l - 1.2. Let q = 0.03 + 0.37. Sort 2/11, q, a in descending order.
q, a, 2/11
Suppose 2*a + 2*a = 16, 3*a = -2*w + 18. Let k be (5/15)/((-2)/6). Put 5, w, k in increasing order.
k, w, 5
Let i(q) = q - 25. Let w be i(20). Put w, 7, 5 in descending order.
7, 5, w
Let x(i) = i**3 + 6*i**2 + 3*i - 7. Let p be x(-5). Let c = p - 5. Sort -5, c, 4 in ascending order.
-5, c, 4
Suppose -5*k = 3*o - 12, 5*k - 1 = 4*o - 17. Sort o, -2, -23 in descending order.
o, -2, -23
Let d(q) = 5*q**2 - q + 1. Let x be d(0). Sort x, 4, 0.5 in decreasing order.
4, x, 0.5
Let w be (4/(-2))/((-6)/12). Sort 15, w, 0 in decreasing order.
15, w, 0
Let b be -2 + -30*(-6)/99. Put -2, b, 5 in ascending order.
-2, b, 5
Suppose -2*j + 4 = -4. Suppose 4*k - 4*a = 12 - 32, 4*a = -4*k - 4. Sort k, -1, j in increasing order.
k, -1, j
Let p = 2.5 - 2.2. Put p, 0.4, 1 in ascending order.
p, 0.4, 1
Let m be 30/5 - (1 - 1). Let x be (-22)/m - (-8)/12. Put 5, x, 1 in decreasing order.
5, 1, x
Let n(x) = 2*x**3 - 9*x**2 + 4*x. Let l be n(4). Put l, 17, -5 in increasing order.
-5, l, 17
Let o = 0.99 + 1.01. Sort -2/15, o, -2/11 in descending order.
o, -2/15, -2/11
Suppose 0*d = -4*d + 96. Let m be ((-1)/((-3)/d))/2. Put 1, m, 