x - o + 14 = 12*x, -2*x - 2 = -5*o. Put -2, x, u in increasing order.
u, -2, x
Let i(x) = -x - 10. Let l be i(-8). Let p be -4 - (l/1 - 1). Sort 5, p, 2 in ascending order.
p, 2, 5
Let g = 4 - 3. Let i = 23/45 + -1/9. Sort g, -0.4, i.
-0.4, i, g
Suppose m - 5*m - 16 = 0. Let x be (-8)/(-6)*(-7 - m). Let j be 6/(-27) - 22/(-18). Sort j, -1, x in ascending order.
x, -1, j
Suppose 9*i + 9 = 3*c + 4*i, i - 5 = 4*c. Let f = 8 + -20. Let d = 9 + f. Put d, c, -6 in increasing order.
-6, d, c
Let h = -1.98 + -0.02. Let y be (-5)/10*(3 - 1). Let o be 0/(1/(y/(-3))). Sort -2/11, h, o in increasing order.
h, -2/11, o
Let v = -8 - -5. Let w = 17 - 16. Suppose -4*f + w + 19 = 0. Put v, -2, f in increasing order.
v, -2, f
Let y = 2 + 1. Let w be -1 + 0 + -2 + 2. Let g = 0 - w. Sort g, 5, y.
g, y, 5
Suppose 2*z - 7*z = -10. Suppose -z*g = 4*v - 28, v = -2*v - g + 19. Suppose -b - 2*b = 0. Put v, b, 3 in decreasing order.
v, 3, b
Let h = 31.3 - 31. Sort 2/3, 2/5, -2, h in descending order.
2/3, 2/5, h, -2
Let u = 66/7 + -379/35. Let o = 10018 + -350694/35. Let k = o - u. Put k, 0, -1 in ascending order.
-1, k, 0
Let z = -3.4 + 0.4. Let v = -5 - z. Let y = v + 1.6. Put 1, y, 2 in increasing order.
y, 1, 2
Let k be 2/(-3 + 8/6). Sort 0.5, 2, k.
k, 0.5, 2
Let k = -123 + 120. Sort -0.1, k, -4, -2/21.
-4, k, -0.1, -2/21
Suppose 6*r + 3*q = 3*r + 63, -2*r + 5*q + 28 = 0. Sort 0, -1, r in descending order.
r, 0, -1
Let v = 16 + -19. Sort 0, v, -1, 10 in ascending order.
v, -1, 0, 10
Let b = 1 + -1. Suppose -c = 2*p - 12, -5*c + 5 = -p - 0*p. Suppose 5*f + p*x = x + 31, -5*x + 20 = b. Sort 1/4, f, 2/11 in decreasing order.
f, 1/4, 2/11
Let r = -1 + 7. Let i be (-18)/45 + (18/20)/1. Sort i, r, 1/7 in decreasing order.
r, i, 1/7
Let y be 2*((-21)/(-6) + -3). Let d = 12 - 18. Let x = d + y. Sort x, 0, 1 in increasing order.
x, 0, 1
Let m be 4*-1*(-1 - 0). Suppose -2*h = -h - 3. Suppose 2*a + 14 = h*l, -l - 3 + 25 = -5*a. Sort m, a, -1.
a, -1, m
Let y = 5 + -5.4. Let q be 3/((54/8)/3). Let z = q - 22/21. Sort y, z, -4 in descending order.
z, y, -4
Let c = 0.3 + -0.34. Let o = -1.96 + c. Sort 5, 0.5, o.
o, 0.5, 5
Suppose -4*r + 1 + 71 = 0. Let g = 22 - r. Put 1/6, -2, g in increasing order.
-2, 1/6, g
Let o(u) = -u**3 - 6*u**2 - 2*u - 9. Suppose 0 = -2*t + 3*t + 6. Let j be o(t). Put 5, j, -4 in descending order.
5, j, -4
Let x(c) = 3*c**3 + c**2 + 4*c + 2. Let s be x(-1). Put 2, s, 3, 4 in increasing order.
s, 2, 3, 4
Suppose 4*d = 3*q + 27, 5*q + 31 = 5*d - 3*d. Let v(j) = j - 9. Let k be v(8). Sort 0, q, k in ascending order.
q, k, 0
Let x = 0.27 + -0.47. Sort 6, x, -1, 5 in decreasing order.
6, 5, x, -1
Let y be (-4)/10 + 104/10. Put y, 4, 0.2 in descending order.
y, 4, 0.2
Let h = -11 + 8. Sort -5, -1/2, -1, h in descending order.
-1/2, -1, h, -5
Let w(c) = -4*c**3 + 4*c - 3. Let j be w(1). Put -4, 5, -10, j in decreasing order.
5, j, -4, -10
Let f = -7 - -3. Put -1, f, 0 in ascending order.
f, -1, 0
Let g be -9*(1 + (-12)/(-9)). Let o be g/14*8/6. Let k = -0.5 + -4.5. Sort o, 5, k in decreasing order.
5, o, k
Let f be 2/8 - ((-38)/(-40))/(-1). Sort f, 3, 2/3.
2/3, f, 3
Let n be 4/5 - 357/(-85). Suppose -s - 15 = -4*i, 3*s + 2*s = -5*i + 25. Sort i, -1, n in decreasing order.
n, i, -1
Let f = -10.97 - 0.03. Let i = f - -13. Sort -3, i, -5.
-5, -3, i
Let y = -67 + 69. Sort 5, y, -5, 1 in descending order.
5, y, 1, -5
Let c(t) = -6*t**3 + t**2 + 2*t + 1. Let k be c(-1). Let y be 0 + 0 - k/(-9). Put 0.2, y, 0.3 in decreasing order.
y, 0.3, 0.2
Let j = -19 + 21. Let q be -1 + 2 + 1 + -7. Sort q, j, -4.
q, -4, j
Let n = 3 + -5. Suppose 28 = 7*y - 11*y. Let b = y - n. Put 2, 3, b in descending order.
3, 2, b
Let w(c) = -c**3 - 4*c**2 + 2. Let i be w(-4). Suppose 2 - 4 = -v - f, 2*v + 5*f = -i. Put -2/7, v, 1 in ascending order.
-2/7, 1, v
Let f be (19/(-4) - -1) + 3/(-12). Sort f, -2.1, 0.4 in decreasing order.
0.4, -2.1, f
Let y be 8 - (4 - -2) - 1*7. Sort 3, y, 2, 5 in ascending order.
y, 2, 3, 5
Let m = 89/120 + -3/40. Let z = -3.19 - -3. Let s = z - -0.09. Sort m, 3, s in decreasing order.
3, m, s
Suppose 0 = t - 0*t + 1. Suppose 7 = w + j - 6*j, -w - 5*j = 13. Suppose -12 = 2*f - i, 2*f + 2*i - 28 = 7*f. Sort f, w, t.
f, w, t
Let h = -4 + 4. Suppose 9 = 2*n + n. Suppose 0*o + n*u + 22 = -4*o, 5*u = -10. Sort -1, h, o in increasing order.
o, -1, h
Suppose -4*b + 5*t - 5 = 0, -3 = 2*b + 3*b - 3*t. Suppose g + 3*g - 4 = b. Put -5, -2, g in increasing order.
-5, -2, g
Suppose 0 = 4*r - 0*h + 4*h - 24, -5*r = -2*h - 16. Sort 1/4, r, -6, 0.1 in ascending order.
-6, 0.1, 1/4, r
Let b = 23 + -20. Put -1/6, 0.5, b, -4/7 in decreasing order.
b, 0.5, -1/6, -4/7
Let l = 131 + -130. Suppose 0 = -v - 3 + 1. Put l, 3, v in decreasing order.
3, l, v
Let o = -4 + 3.9. Let s = o - 1.9. Put s, -4, -0.3 in decreasing order.
-0.3, s, -4
Let v = -14 + 25. Let z = v + -13. Sort -4, 4, z.
-4, z, 4
Let f(n) = n**3 - 5*n + 5. Let y be f(2). Let b(z) = -z**2 - 3*z - 1. Suppose 5*j + 11 = -d + 3*d, 3*j + 9 = 0. Let t be b(d). Put y, 0, t in ascending order.
0, t, y
Suppose -v = -0*v - 8. Let r = v - 8. Put r, 3, 9 in ascending order.
r, 3, 9
Let x = 0.25 - 0.2. Let k = x + 2.45. Let y = k - 2. Put -5, y, 1/3 in decreasing order.
y, 1/3, -5
Let x = 92.74 - 93. Let p = 0.04 - 0.1. Let n = p - x. Sort 0.1, n, -2 in increasing order.
-2, 0.1, n
Suppose -3*v - o + 9 = 0, 3*v - o + 8 = 17. Suppose -u + 17 = v*x, -4*u + 5*x - 20 = -3. Sort 4, 0, u in decreasing order.
4, u, 0
Let r be -1*(-1)/(-3)*1. Sort r, -2, 4 in increasing order.
-2, r, 4
Suppose -9*r = -6*r + 27. Sort r, 5, 0.
r, 0, 5
Let n(x) = -x**2 - 2*x - 24. Let g be n(0). Let h = g - -23. Put h, -5, -2 in increasing order.
-5, -2, h
Let q = -8 + 4. Let h be (-1 - 0)*1/(-3). Sort -2, h, q.
q, -2, h
Suppose -5*t + 5*z = 25, -4*t + 3 - 5 = 5*z. Let i be (-2 + 1)*(0 + 1). Put i, 1, t in ascending order.
t, i, 1
Let a = 28 + -23. Let q(f) = f - 10. Let p = 0 + 7. Let k be q(p). Sort 1, a, k in decreasing order.
a, 1, k
Let u be ((3 - 4) + 0)*-2. Suppose u*m - 2 = -0*m. Sort 3, m, -4 in descending order.
3, m, -4
Let j = -512/45 - -58/5. Suppose -2*t + 5*t = 12. Suppose 7*v = t*v - 6. Sort v, 3, j in decreasing order.
3, j, v
Let c = 113 + -113.9. Sort -4, 2, 0, c in ascending order.
-4, c, 0, 2
Let m = -13 + 61/5. Suppose -2*f - 14 - 9 = -5*o, 3*o = -3*f - 3. Sort 1/2, o, m in ascending order.
m, 1/2, o
Let k be ((-4)/20)/((-1)/2). Sort k, -5, -0.2 in decreasing order.
k, -0.2, -5
Let n = -49 + 48. Sort -3, -8, n in increasing order.
-8, -3, n
Let x be (3/(-4))/((-3)/12). Let u = 24 + -26. Sort u, x, 4.
u, x, 4
Let i = -27.5 - -27. Let q = -0.1 + 0.5. Put q, 0.1, i in decreasing order.
q, 0.1, i
Let p(x) = -x + 4. Let k be p(-3). Suppose -f = -3*l - 8 + 56, -3*f + 5*l = 136. Let a be 23/6 - k/f. Sort 1/8, 0.1, a in descending order.
a, 1/8, 0.1
Let r be (2 + 1)/(-1*2). Let y(z) = z**3 + 3*z**2 - 5*z. Let p be y(-4). Suppose -p*j - 8 = -2*j. Put 0, j, r in increasing order.
j, r, 0
Let d(s) = s - 9. Let u be d(5). Let m = -4 - -1. Sort 0, m, u.
u, m, 0
Let i(z) = z + 11. Let g be i(-9). Suppose -2*o = 2*o + 8. Put o, 5, g in ascending order.
o, g, 5
Let d = 33 + -37.2. Let m = -4 - d. Let a = -0.38 + 0.08. Put -2, a, m in decreasing order.
m, a, -2
Suppose 2 = 2*s - 2*t + t, -3*t = -6. Suppose -c = -s - 5. Put -2, -4, c in ascending order.
-4, -2, c
Let s = -1.2 + 6.2. Let k = s + -9. Let b = k - -3. Sort -4/7, 2, b.
b, -4/7, 2
Let a = -0.05 + -0.35. Let p be 5/(2/4*-1). Let m be 6/p*(-10)/2. Put a, m, -4 in decreasing order.
m, a, -4
Let z = -72 - -76. Sort -14, 0, z, 3.
-14, 0, 3, z
Let x = 6 - 16. Let l be (-6)/(-30) - (-52)/x. Put -0.2, l, 3/7 in ascending order.
l, -0.2, 3/7
Let g = -25 - -91/4. Put g, -0.4, 0.4 in ascending order.
g, -0.4, 0.4
Suppose -8*u = -12 + 20. Put 4, -24, u in increasing order.
-24, u, 4
Let q = -5 - -1. Let f be 1 + (-3 - -5) + 0. Sort q, f, 4 in ascending order.
q, f, 4
Let z be (3/(-6))/((-1)/2). Put z, 5, -2 in ascending order.
-2, z, 5
Let l(r) = r**2 + 5*r + 3. Let c be l(-4). Suppose -33 = 5*d - 8. Sort c, d, 3 in decreasing order.
3, c, d
Let z = 8 + -6. Suppose -5*j = -z*j + 3. Let a be 5*(2/16)/(3/24). Put -2, a, j in ascending order.
-2, j, a
Let u = -7 - -2. Let m = -2.1 + -1.9. Sort -1/15, u, m.
u,