 1, k
Let l = -2.46 + 0.26. Let n = l - 0.8. Let m = 8 + -7.6. Put m, -3/5, n in increasing order.
n, -3/5, m
Let g = -1095.93 - -1090. Let s = g - -6. Put s, -1, -0.5 in ascending order.
-1, -0.5, s
Let z = -169 + 168.9. Let u = 1 + -1. Put 0.4, u, z in descending order.
0.4, u, z
Suppose -9*z + 10*z = 3. Suppose z*c - 4 = 2*c. Put -3, c, -5 in decreasing order.
c, -3, -5
Let y be 4/(-10) + 196/(-10). Let x be 1 - y/(-4)*1. Put -1, -5, x in increasing order.
-5, x, -1
Let j = -3 - 0. Let r be 2 + 93 - (-2)/1. Let k = 775/8 - r. Sort k, 5, j in decreasing order.
5, k, j
Let i be -1*2/(-4)*10. Suppose -9 = -r - i*o, r - 3*o = 2*r - 7. Put r, 0, 2 in descending order.
r, 2, 0
Suppose w = -0*n - 4*n - 1, -3*n + 6 = 3*w. Put w, 5, -2 in ascending order.
-2, w, 5
Let z = -17 + 12. Let c = 1 - 0.5. Put z, c, -2/3 in descending order.
c, -2/3, z
Let a(b) = -3*b - 10. Let h be a(-2). Sort -14, h, 1, -2.
-14, h, -2, 1
Suppose -2*k - 6 = 3*x, 4*x + 0*k - 2*k - 6 = 0. Let f = 2 - 0. Put 1, x, f in descending order.
f, 1, x
Suppose -4 + 1 = v. Put 5, -1, v in descending order.
5, -1, v
Let r = -305 + 18604/61. Let w = -78275087/259093779 + 2/606777. Let m = r - w. Sort 2, m, -0.2.
-0.2, m, 2
Suppose 5 = -3*o - 7. Sort -5, 3, o in increasing order.
-5, o, 3
Let z = 805 - 571. Let p be (-2)/z*-3*6. Let n be (1/5)/(3 + -4). Sort n, p, -0.3.
-0.3, n, p
Let n = -0.06 - 0.34. Let p be (-84)/(-60) + (-4)/2. Sort p, -4, n.
-4, p, n
Let h = 197 + -71. Let d = 120.3 - h. Let q = d - -6. Sort 0.2, q, -0.1 in ascending order.
-0.1, 0.2, q
Let j = -0.06 + -0.34. Let b = -2 - -1.5. Let l = -1/40 - 17/120. Put l, j, b in ascending order.
b, j, l
Let w = -18 - -23. Put w, 3, 1 in descending order.
w, 3, 1
Suppose 2*k + 5 = 3*k. Suppose b - 4 + k = 2*d, 0 = -d + 2*b + 8. Let t be (-10)/40 + (-22)/(-56). Sort -2/9, d, t in decreasing order.
t, -2/9, d
Let b be (-1)/((4 - 3)/(-2)). Let x be 4/(-8) - (-2)/4. Put x, -3, b in descending order.
b, x, -3
Let l be 552/(-132) - 4/(-22). Sort 3, -7, l in increasing order.
-7, l, 3
Let z = -1.7 - -1.8. Put 1/5, -0.6, z in descending order.
1/5, z, -0.6
Let a be ((-21)/(-28))/(3/2). Suppose x = -1 - 4, 3*x + 12 = l. Let s be (5/(-4))/((-3)/4). Put s, l, a in ascending order.
l, a, s
Let o = -9 + 7. Sort 4, 2, o in increasing order.
o, 2, 4
Let u = 0.08 - -2.92. Let t(z) = -8*z**2 - 1. Let a be t(1). Let g = a - -14. Sort -3/7, g, u.
-3/7, u, g
Let g be 4*(-1 + 3/6). Let r be 8/(-10) - 1 - g. Let x = -2 + 1.5. Put 0.5, r, x in ascending order.
x, r, 0.5
Suppose 2*h + 22 = -2*d, -3*h + 25 = 5*d + 70. Let u = -4 - d. Sort 4, u, -1.
-1, u, 4
Let l = -9 - -8.92. Let g = l + -0.02. Let u = 0 - -3. Sort u, 4, g.
g, u, 4
Suppose -3*a - 3*y = -12, 3*a = 6*a + 2*y - 8. Sort 0.5, -1/6, a.
-1/6, a, 0.5
Suppose -m + 3 = -0*m. Suppose 0 = -3*j + 9, 4*f + 25 = -j + 4*j. Let c be -5*5/((-100)/16). Sort c, f, m in increasing order.
f, m, c
Let n = 121 + -128.15. Let j = 0.15 + n. Sort j, -0.1, 4 in descending order.
4, -0.1, j
Suppose 0 = 4*o - 8*o + 4. Put 3, o, -2 in increasing order.
-2, o, 3
Let r(f) = -f**3 - 4*f**2 - 4. Let b be r(-4). Put 5, b, 6, 1 in ascending order.
b, 1, 5, 6
Let o = 0 + 0. Let r = 47/3 + -16. Let d = 4.808 - -0.192. Put o, d, r in ascending order.
r, o, d
Let g = -2.81 - -0.21. Let m = g - -0.6. Sort 2/3, m, -0.5 in increasing order.
m, -0.5, 2/3
Suppose -20*u - 4 = -24*u. Sort -1, 4, u.
-1, u, 4
Let m = 0.09 + 4.91. Let r be ((-9)/(-6))/(-1 - 1). Sort 0.4, r, m in ascending order.
r, 0.4, m
Let m = 63 - 66. Put -2, m, -1 in increasing order.
m, -2, -1
Let u = -6 + 5.6. Let m = -12.3 + 13. Let d = u + m. Sort d, -2/3, 3/2 in ascending order.
-2/3, d, 3/2
Let u = -5.79 - 0.21. Let d = -6.3 - u. Let c(w) = w - 7. Let f be c(5). Put d, f, -4 in increasing order.
-4, f, d
Let n = -1 + 0. Let a = n - -6. Suppose 2*p + 10 + 12 = 4*v, a*v + 3*p = 0. Sort 0, 1, v in decreasing order.
v, 1, 0
Let o(y) = -y**3 + 2*y. Let b be o(-2). Suppose f + 5*j + 0*j - 25 = 0, 11 = -f + b*j. Sort 4, -4, f in ascending order.
-4, 4, f
Let k be (-5)/(-10) - (-2)/(-4). Suppose 0 = -4*s + 2*s + 2*y, -s + 8 = -3*y. Sort k, -2, s in descending order.
k, -2, s
Let d = -73/476 + 1/28. Let x be 4/(-10) - (-76)/(-530). Let i = x - 3/53. Put 0, i, d in descending order.
0, d, i
Let d be (-24)/110 - (-4)/(-22). Let s = 6 + -7. Sort s, d, 0 in increasing order.
s, d, 0
Let i(s) = s**2 - 2*s - 2. Let x be i(3). Let n = 28 + -33. Put n, x, 0 in ascending order.
n, 0, x
Suppose 2*m - 2 = -3*r, 0 = 5*m - 5*r - 0 + 45. Let v = 1 + -3. Sort m, v, 2 in decreasing order.
2, v, m
Let g(p) be the first derivative of -p**4/4 - 8*p**3/3 + 5*p**2 + 5*p - 1. Suppose 36 = -0*k - 4*k. Let b be g(k). Sort 3, b, 4 in descending order.
4, 3, b
Suppose -4*o + 12 = -4*f, -o = 5*f + 3*o - 30. Put -2, 0, 1, f in decreasing order.
f, 1, 0, -2
Let d = -12.6 - -12.6. Put -2, -0.2, d in increasing order.
-2, -0.2, d
Let z = 0.37 - 0.17. Put -5, z, -0.5 in descending order.
z, -0.5, -5
Suppose 0 = 4*n - 5*m - 23, -m - 7 = 4*n + 4*m. Let s be 134/(-201)*(1 - (-10)/(-4)). Put s, -1, n in descending order.
n, s, -1
Let y = -0.4 - 0. Put y, -0.5, -0.1 in decreasing order.
-0.1, y, -0.5
Let b(i) = -2*i - 3. Let r be b(0). Suppose 3*d = 8*d + 40. Let v(c) = c**3 + 7*c**2 - 6*c + 11. Let l be v(d). Put l, 3, r in decreasing order.
3, r, l
Suppose -2*c = -t + 15, -5*t + 35 = -0*c - 2*c. Let j = 1.92 - -0.08. Put j, 2/7, c in ascending order.
c, 2/7, j
Let j = 3 + -2. Let x = -11 - -7. Sort -5, j, x in descending order.
j, x, -5
Let g be (-3)/2 - 238/(-196). Put 0.1, 0.06, -2/5, g in increasing order.
-2/5, g, 0.06, 0.1
Let d = 18 + -12. Put d, -5, 4 in decreasing order.
d, 4, -5
Let w = 4 + -4. Let f = 5 + w. Let g be (-2)/(-3)*(-9)/(-3). Put g, f, 1 in descending order.
f, g, 1
Let x = 11.4 - 11. Let i = -0.09 - -5.09. Sort x, 0.1, i in descending order.
i, x, 0.1
Let c = -3.5 - -0.5. Let d = 0.04 + -3.04. Let r = c - d. Put -3, -5/3, r in descending order.
r, -5/3, -3
Let v be 1*5*(-4)/(-10). Suppose -2*g + 7 = 1. Sort g, 5, v in descending order.
5, g, v
Let n = 23.8 + -9.8. Put 1/2, n, -3 in descending order.
n, 1/2, -3
Let n(h) = -h**3 - 10*h**2 + 25*h + 12. Let f be n(-12). Let k = 5 + -2. Suppose 0 = -q - 1 - 3. Sort f, q, k in decreasing order.
k, f, q
Let f(v) = v**2 - 20*v - 67. Let g be f(23). Suppose 1 + 11 = -4*x. Put x, g, 5 in descending order.
5, g, x
Let b(n) = n**3 + 12*n**2 + 23*n + 22. Let g be b(-10). Sort g, 5, 3, 2 in descending order.
5, 3, 2, g
Let a(i) = i**2 + 3*i + 1. Let d be a(-3). Put d, -5, 5 in decreasing order.
5, d, -5
Suppose 0 = -2*k + 6*k + 12. Suppose t = 3*t - 10. Put k, 0, t in increasing order.
k, 0, t
Suppose 2*a - 6 = -0*a. Suppose -n - 1 = -a*t + n, -5*n = t - 6. Put t, -5, -2/13 in descending order.
t, -2/13, -5
Let y = 24 + -20. Let u = -0.1 - -0.3. Let h = u - 0.5. Sort h, -1, y.
-1, h, y
Let x = -25 + 29. Sort -3, -1, x in decreasing order.
x, -1, -3
Suppose 4*w + 4*d + 4 = -0*d, 6 = 2*w - 2*d. Suppose -4*c + 2 = 2*v, -c + 0*v = -v + 1. Sort -4, c, w in decreasing order.
w, c, -4
Let i = -26 - -26. Sort i, -2, -1 in decreasing order.
i, -1, -2
Suppose 0 = 4*a - 3*a - 2. Suppose -5*t = -2*f - 2, -5*f + t + 12 = -6. Sort f, a, -1 in decreasing order.
f, a, -1
Let l be 10/12 - (0 - -1). Let a = 25 - 20. Sort l, 0, a in decreasing order.
a, 0, l
Suppose -3*b = -2*x + 16, 22 = 5*x - 2*b - b. Let a be (-23)/(-5) + 4/10. Let f be a/4 - (-3)/(-12). Put x, 4, f in increasing order.
f, x, 4
Suppose -4*l - 4 = -3*u - 0, 2*l - 24 = -5*u. Let s(n) = n**3 - 4*n**2 + 4*n - 3. Let j be s(2). Sort u, j, 2 in ascending order.
j, 2, u
Let j = -21 + 18. Put 2, -1, j in descending order.
2, -1, j
Let g(n) = -n**2 - 3*n - 2. Let w be g(-3). Let p = -0.6 + 1. Sort p, w, 0.2.
w, 0.2, p
Let u = 410 + -9428/23. Suppose -5*y - x - 2 = 0, 4*x + 6 = -4*y - 2. Sort 1, u, y in increasing order.
y, u, 1
Suppose -i = 3, -3*x + 26 = 2*i + 8. Let k(t) = t - 11. Let y be k(x). Sort -4, -2, y in decreasing order.
-2, y, -4
Suppose -4*s = -4*y - 51 - 1, 0 = -2*y + 3*s - 23. Put y, 0, 3 in decreasing order.
3, 0, y
Let m be (-1)/(2 + 75/(-39)). Let s = m - -12. Put -3, s, -2 in decreasing order.
s, -2, -3
Let s = 7.11 + -0.11. Put -0.1, -2, s in decreasing order.
s, -0.1, -2
Su