 Sort -5, 0, o in decreasing order.
o, 0, -5
Let r = -53.9 - -59. Let q = 0.1 - r. Let a = 10 + q. Sort -2, a, 3 in increasing order.
-2, 3, a
Let m = 176 + -179. Put -0.5, m, -0.1 in descending order.
-0.1, -0.5, m
Let a(c) = -6*c + 5*c**2 + c**2 + 3*c**3 - 4*c**3 + 0*c**3 + 7. Let t be a(5). Suppose -4*d - 4 = 0, h + 4*d + 6 = -d. Put h, -3, t in descending order.
t, h, -3
Let r = -1.3 - -0.8. Let l = r - -6.5. Let k = -5.7 + l. Put k, 2, -5 in descending order.
2, k, -5
Let r = 78.4 + -78. Sort -4, r, -0.4 in descending order.
r, -0.4, -4
Let v = -4 + 4. Sort v, 1, 3 in decreasing order.
3, 1, v
Let j = -4.1 + 4. Put -0.3, j, 3 in decreasing order.
3, j, -0.3
Suppose 6 = -4*w - 6. Put -5, w, 0, 1 in increasing order.
-5, w, 0, 1
Let g = -41 - -37. Let m = 0.06 - 0.46. Put g, m, 1/5 in decreasing order.
1/5, m, g
Let c = 27 + -31. Sort c, 4, -2/7.
c, -2/7, 4
Suppose 3*g + 1 = 16, 0 = b - 4*g + 6. Suppose b = n + 3*j, -18 = -3*n + 3*j - 6*j. Suppose -21 = 5*m - 6. Sort -5, n, m.
-5, m, n
Let d = 16.28 - 23.29. Let v = d - -7. Put 1/11, v, -1 in increasing order.
-1, v, 1/11
Let n(t) = -4*t**2 - 2*t + 1. Let f(u) = -u + 5. Let z be f(9). Let i be z/10*(-15)/6. Let r be n(i). Put -2, -4, r in increasing order.
r, -4, -2
Let h = 4.94 + -5. Let d = h - 2.94. Put 2/15, d, 3 in descending order.
3, 2/15, d
Let s(x) = -x + 6. Let f be s(8). Sort 0, f, 2 in decreasing order.
2, 0, f
Let a = 4.3 + -4. Let c = -13.5 + 13. Sort a, 0, c in descending order.
a, 0, c
Let y = 8 + -3. Suppose 5*m = 2*r + 2*r - 36, 0 = 2*r - y*m - 28. Let x be 51/(-9) + r/6. Put 4/7, x, 1/6 in increasing order.
x, 1/6, 4/7
Let u = 0.04 + -0.34. Let s = 0.5 + u. Let y = -2.1 + 1.7. Sort s, y, 0.1 in ascending order.
y, 0.1, s
Let o = 77 - 73. Sort 11, 0, o.
0, o, 11
Let n be (19/4 - 4)*(7 + -3). Sort n, 1, -3, -4 in increasing order.
-4, -3, 1, n
Let o = 7.36 - -0.64. Let s = -8/55 + 6/11. Put 5, s, o in decreasing order.
o, 5, s
Let r(x) = x + 10. Let s be r(-7). Let z be -1*4*(0 + 1). Let v(i) = -3*i**2 - 38*i + 14. Let k be v(-13). Sort s, z, k in descending order.
s, k, z
Let m = 128 + -125. Sort 2, -3, m in decreasing order.
m, 2, -3
Let z(f) = f**2 - 5*f + 2. Let t be z(4). Put t, 5, -4 in descending order.
5, t, -4
Let l = -34 - -35. Let s(y) = -y**2 + 5*y - 5. Let u be s(4). Sort l, u, -5.
-5, u, l
Let p = 35.5 + -35. Put p, -0.4, -3/2, -5 in decreasing order.
p, -0.4, -3/2, -5
Let a = 41 - 39. Sort 3, a, -2 in decreasing order.
3, a, -2
Let k(h) = -h**2 - 5*h - 1. Let l be k(-5). Let a(u) be the second derivative of -u**4/12 + u**3/6 + u**2/2 - 9*u. Let p be a(-2). Sort l, 5, p.
p, l, 5
Let q = 0.5 + -0.2. Let u = -8.3 + q. Let z = u + 5. Put z, 5, -4 in decreasing order.
5, z, -4
Let n(b) = -b**2 + 4*b - 4. Let h be n(3). Let c = 1.8 + -2. Sort c, 4, h in decreasing order.
4, c, h
Suppose -t + 8 = t. Suppose -2*r = 5*z - 25, 0*r - r + 3*z = 4. Suppose 0 = 4*k + 3*n - 0*n - 5, -r*k + 12 = -2*n. Put k, -5, t in ascending order.
-5, k, t
Let j be ((-44)/(-18))/(-11) + 58/18. Sort 0, 5, 4, j.
0, j, 4, 5
Let h be -3 - -2 - (-87)/3. Let p = h + -20. Sort 3, p, -3 in ascending order.
-3, 3, p
Let u = 29 - 2. Let c be (1/4)/(u/(-24)). Sort 0, c, 2/5 in descending order.
2/5, 0, c
Let c(a) = a**2 + 8*a + 9. Let o be c(-6). Let g(t) = -t + 7. Let z be g(7). Suppose z = x - 5*f - 22, -x + f + 2 = -2*x. Sort o, 5, x in increasing order.
o, x, 5
Suppose -2*n + 8 = 3*n + 2*y, -2*n - 5*y + 20 = 0. Suppose -6 = -2*d + 4*i + 4, n = 5*d + 5*i - 10. Sort d, 0.4, -0.3.
-0.3, 0.4, d
Suppose n + 2*f = -10, -2*f = -3*n - 4 - 2. Suppose -4*g + 3*r - 4 = 15, 15 = 5*g + 4*r. Sort -3, g, n.
n, -3, g
Let q = 20 + -16. Sort q, -2, -5, 1 in ascending order.
-5, -2, 1, q
Let h = -4 - -3.6. Let r = h - -0.1. Let t = 0.3 + r. Put 4, -2, t in descending order.
4, t, -2
Suppose 2 - 22 = 5*o. Let h = 20 - 18. Suppose -3*a + 5 = 2*a, -5*a = h*r - 13. Sort o, -2, r.
o, -2, r
Let r(x) = -4*x + 1. Let t be r(1). Let k be ((-10)/t)/(10/15). Suppose 5 - 3 = -2*o - 5*g, 2 = -g. Put o, 0, k in increasing order.
0, o, k
Let p = 0 + 0. Suppose -j - 3 + p = 0. Let x = j + 6. Put 0.5, x, 0.1 in increasing order.
0.1, 0.5, x
Let j(t) = t**2 - 4*t - 3. Let q be j(5). Suppose u - 5*n - 8 = 15, -4*u = -2*n - q. Sort u, 4, -3 in descending order.
4, u, -3
Let i = -235/92 + 30/23. Suppose 9 = -5*v + 1139. Let p = v + -2032/9. Put -2/5, p, i in increasing order.
i, -2/5, p
Let b = -0.937 - -0.037. Sort -2, 2/3, b in ascending order.
-2, b, 2/3
Let v be (4 - 10/2)*(4 + 1). Sort 1, v, 2 in decreasing order.
2, 1, v
Let g(k) = k + 6. Let h be g(-10). Sort h, -0.1, 2/9.
h, -0.1, 2/9
Let t(p) = p**2 + 12*p + 9. Let s be t(-11). Let n be 0 + (-2 - s) - 3. Let h be ((-5)/(-3))/(3/9). Sort h, 4, n in decreasing order.
h, 4, n
Suppose d - 4 = -9. Sort -2, d, 1, -3 in decreasing order.
1, -2, -3, d
Let p be 2/(-2)*(3 - 2). Let o be (-2 + 2)/p + 6. Suppose -f = -o*f - 5. Sort 0.1, f, 5.
f, 0.1, 5
Let d be 12 - (1 - 1 - -3). Let y be d/12*(-2)/(-12). Sort -5, -3/5, y in ascending order.
-5, -3/5, y
Let j(r) = r**2 + 4*r - 13. Let z be j(-6). Put 3, 0, z in descending order.
3, 0, z
Let j = -2 - -1.6. Let h = 0.3 - 0.6. Let d = -10 - -14. Sort j, d, h in ascending order.
j, h, d
Let q = 59 - 64. Put -3, 1, q, -4 in decreasing order.
1, -3, -4, q
Let r = 34.2 + -34. Sort -2, 4, -0.9, r.
-2, -0.9, r, 4
Let d = -15 + 15.07. Let i = -323.4 + 323. Sort d, i, -2/19.
i, -2/19, d
Let h be (3 + -3)/(5/10*4). Put h, 3, -3 in ascending order.
-3, h, 3
Suppose 0 = -2*s - 3*o - 15, 2*s - 4*s - o = 21. Let b = s - -7. Let c = 5 - 5. Put -4, b, c in decreasing order.
c, -4, b
Let t be 8/6 - (-2)/(-6). Let h(j) = -j**3 + 2*j**2 + j - 1. Let s be h(t). Sort 2, -5, s.
-5, s, 2
Suppose 6*q - 3*q - 3*z + 6 = 0, 0 = -3*q + 5*z - 4. Suppose 0*b + 4*b = -12. Let w = -1 - b. Sort -2, w, q.
q, -2, w
Let u(a) = -a**3 - 12*a**2 + a + 13. Let g be u(-12). Sort 5, g, -7, 3 in increasing order.
-7, g, 3, 5
Let c = 2 - 0. Let y be 4/(-2)*((-55)/(-10) - 5). Sort c, 4/7, y in ascending order.
y, 4/7, c
Suppose -c + 4 = -5*m, c + 0*c - 2 = 3*m. Let w be (-2 - -2) + (c - -2). Sort -5, w, 2.
-5, w, 2
Let g = -0.6 + 1. Sort -9, g, 0.1 in ascending order.
-9, 0.1, g
Suppose j - 2*n + 4*n = 1, -2*n = 3*j - 7. Let h be 2/2 + 0 + 3. Sort -3, h, j in increasing order.
-3, j, h
Let u = -248/3 + 84. Let f = 10.5 + -11. Sort -0.3, u, f in descending order.
u, -0.3, f
Let m = 8.9 + -3.9. Sort m, -2, -3, -1/4 in increasing order.
-3, -2, -1/4, m
Suppose 22*x = 2*x + 40. Let y = 7 + -2. Sort y, x, -2 in descending order.
y, x, -2
Let t = -5.6 - -0.6. Let v = 3 + t. Let d = v - -1.8. Put -1, -3/5, d in decreasing order.
d, -3/5, -1
Suppose 5*f = g + 4*g + 10, -4*f + 3*g = -5. Put -7, f, -5, 0 in descending order.
0, f, -5, -7
Suppose -74*p = -73*p - 7. Sort -2, p, 2, 0.
-2, 0, 2, p
Let x = 0.158 - 0.358. Sort -0.5, x, 32, 2/9 in decreasing order.
32, 2/9, x, -0.5
Let s(p) = -p**2 - 6*p. Let t be s(-6). Suppose -1 = -3*u - q, 2*u - q - 10 = -4*q. Sort u, t, -2 in decreasing order.
t, u, -2
Let u = -0.07 - -0.07. Let g = 0.1 - -0.2. Sort u, g, -4 in increasing order.
-4, u, g
Suppose -2*o + 3*p + p = -18, 14 = 4*o + 3*p. Let m(v) = -5*v - 5. Let i be m(-2). Let r = o - i. Put 5, -5, r in increasing order.
-5, r, 5
Let u = -0.067 + 0.467. Let z = 1.8 - 0.8. Sort 4, z, u.
u, z, 4
Let t(w) = -w**2 - 2*w - 1. Let v be t(-1). Put v, -3, -2 in ascending order.
-3, -2, v
Let p = 86 - 87. Let f(t) = -t + 1. Suppose -5*k + 1 = -q - 0, -3*q + 3*k - 3 = 0. Let w be f(q). Sort -3, w, p in ascending order.
-3, p, w
Let q = -117 - -114. Sort q, 6, -2, 3.
q, -2, 3, 6
Let b = -5.1 + 5. Let s = b + -0.4. Put 0.2, s, 5 in increasing order.
s, 0.2, 5
Suppose -4*b = 5*r + 15, -2*r = -1 - 1. Let t be ((-6)/(-4))/(15/(-80)). Let s = b - t. Sort -1/2, s, -2/11 in descending order.
s, -2/11, -1/2
Let i = 1 + 5. Let o = i + -8. Put o, 5, -5 in decreasing order.
5, o, -5
Let i = -0.4 - -0.4. Suppose -l - 6 + 0 = 3*o, -2*o = -l - 1. Let v be o/2*(-4)/(-1). Sort v, i, -1.
v, -1, i
Suppose -2*m - 2 = -4*i, -11 - 1 = i + 2*m. Put i, -4, -7 in decreasing order.
i, -4, -7
Let f = -15 + 9. Let h be (30/20)/(f/(-20)). Let x be (-2)/(-2)*(1 - 6). Sort x, 3, h in descending order.
h, 3, x
Suppose -5*f + r = -7, -f