Sort 2, -2, x.
x, -2, 2
Let p = 2 - 3/2. Let a = 26 + -74/3. Sort 3, a, p.
p, a, 3
Let m = -2494/7 + 356. Let x = 4 - -1. Put x, m, -3 in increasing order.
-3, m, x
Suppose -2*q = -4*a - 18, -4*a + 12 = 2*q + 34. Let l(i) = -3*i**2 - 2*i - 1. Let p be l(-1). Sort a, 1, p in ascending order.
a, p, 1
Let p = -49 + 46. Suppose -a - 1 = -0*a. Sort 1, a, p in increasing order.
p, a, 1
Let f(x) = -x - 6. Let l be f(-7). Suppose -u + 5 = l. Sort u, 5, 2.
2, u, 5
Let n(x) = -5*x**3 + x + 1. Let s be n(-1). Sort 0, s, -4.
-4, 0, s
Let a = 0 - -4. Suppose 7*x - 4*x + 4*s = -a, -2*s - 8 = 0. Sort 1, -5, x.
-5, 1, x
Suppose 4*v + 0*v = -p - 9, 2*p + 18 = v. Let b be ((-30)/p)/(2/3). Put b, 0, -2/19 in descending order.
b, 0, -2/19
Let i = 52.8 + -52. Sort -3, i, 1/6, -0.1 in decreasing order.
i, 1/6, -0.1, -3
Suppose -7 = -5*u - 0*z - z, -10 = -5*z. Put -5, -1, u, 0 in ascending order.
-5, -1, 0, u
Suppose 4*b = 6*b + 6. Let i = 5 + b. Suppose 4 = i*w - 0*n + 3*n, 10 = 5*w + 3*n. Sort 3, -5, w in descending order.
3, w, -5
Let y be (-4)/1 - (1 + 0). Sort -1, y, 0 in decreasing order.
0, -1, y
Let x be (-6)/2*8/(-6). Suppose 18 = x*r - 3*m + m, 0 = -r - m + 6. Suppose -2*p + 0*p = 0, 9 = 3*i + 2*p. Put i, -4, r in increasing order.
-4, i, r
Suppose 5*l + 3*v = 28, 2*l + 6 = 3*l + v. Let d = l + -3. Suppose -4*k = -4*o - 24, -2 = k - 6. Put o, 1, d in increasing order.
o, 1, d
Let r(z) = z**3 + 8*z**2 + 8*z + 5. Let a(h) = -h**2 + h - 1. Let c be a(-2). Let j be r(c). Put 2, j, -1 in increasing order.
j, -1, 2
Suppose 0 = -i + 2 + 3. Suppose 25*w - 21*w - 12 = 0. Suppose 15 = k - 4*k. Sort i, w, k.
k, w, i
Let x = -37 + 32. Sort -1, x, 1, 5 in ascending order.
x, -1, 1, 5
Let i = 4.81 + 0.19. Sort i, -0.2, -4 in decreasing order.
i, -0.2, -4
Let q be (-2)/((-3)/(63/(-6))). Let y = q - -10. Let i(b) = -b**3 + 2*b**2 + 3*b + 3. Let x be i(y). Sort x, -1, -2/7 in ascending order.
-1, -2/7, x
Suppose -t = t + 6. Let y be 20/(-14) - t/7. Put -3, y, -5 in increasing order.
-5, -3, y
Let i(t) = -t - 1. Let l be i(2). Let w(k) = k - 3. Suppose 0 = -5*o - 3*p + 14, 4*o - 6 = -5*p - 0. Let d be w(o). Put 4, l, d in decreasing order.
4, d, l
Suppose -1 = -3*c + 4*h - 0, 0 = h + 1. Sort 1, -15, c, 2 in decreasing order.
2, 1, c, -15
Let o = -25 + 29. Suppose o*f = -5*q + 6*f - 23, -4*q + 2*f - 20 = 0. Put q, 5, 0 in ascending order.
q, 0, 5
Let f be 8/(-6) + 1/(-3) - -2. Put f, -3, 2/13, -0.04 in ascending order.
-3, -0.04, 2/13, f
Let o be (-4)/(-2) + 1 + 2. Suppose 32 - 12 = -o*d. Suppose 12 = -5*w + w. Sort d, w, -5 in decreasing order.
w, d, -5
Suppose -2*k + 5*j + 6 = 0, 3*k - j = -3*j - 10. Let f(v) = -2*v - 6. Let s be f(-4). Sort 4/5, s, k in ascending order.
k, 4/5, s
Let r = 2.28 - -0.32. Let i = r + -3. Let z be ((-4)/(-15))/(4/(-20)). Put i, z, 0 in increasing order.
z, i, 0
Let s = 6 - 10. Let p = s - -1. Sort -0.3, -2/13, p in decreasing order.
-2/13, -0.3, p
Let h(v) = -2*v**3 - 1. Let c be h(-1). Suppose 3*p = -4*s + 35, 3*p + 0 - 10 = s. Let a be (-6)/(-5)*(-3 - 4/12). Sort c, s, a in decreasing order.
s, c, a
Let x(r) = r**3 - r**2 - 2*r + 1. Let m be x(-2). Let q(h) = -h**2 - 6*h + 9. Let g be q(m). Let l be 5/2 - g/4. Put 5/3, l, 2/5 in descending order.
l, 5/3, 2/5
Let g be ((-153)/(-270) - (-4)/(-10))*-8. Put 5, 2/7, 2, g in ascending order.
g, 2/7, 2, 5
Let b be (-1 + 0)*13/(-13). Sort b, -3, -1 in ascending order.
-3, -1, b
Let w = -0.2 + 0.7. Let x be (-2)/((-12)/5*10/3). Sort 3/7, w, x.
x, 3/7, w
Let j be 10/(-35) - (-26)/(-7). Let h = -52 - -55. Sort 5, h, j.
j, h, 5
Let a be 2*26283/114 - 1. Let x = -460 + a. Let z = 0 + -0.4. Sort x, 5, z.
z, x, 5
Let x = 42 + -169/4. Put x, 1, -4 in descending order.
1, x, -4
Let m be (6/(-4))/((-7)/(-14)). Sort 4, 3, m, -4 in decreasing order.
4, 3, m, -4
Let k be 3/(-6)*-4 - 6. Let p = 7 + k. Suppose -2*z - p*b = 4, 10 = 4*z - 2*b - b. Put 3, -4, z in descending order.
3, z, -4
Suppose 0 = 2*k - 7*k. Let o be (-1 - k) + -3 + 1. Let t = o - -2. Put -5, t, -2 in decreasing order.
t, -2, -5
Let a = 26 + -27. Sort -8, 2, a.
-8, a, 2
Let c be 1 + -2*(-3)/2. Let u = 3 + -2. Put 3, u, c in ascending order.
u, 3, c
Let z be (-3 - -1)/(25/50). Sort 1, -17, z.
-17, z, 1
Let c = 47 + -51.2. Let z = c + 0.2. Let j be (1 - 4)*4/(-28). Sort j, 0.3, z in increasing order.
z, 0.3, j
Let g be (0 - 6/4)/3. Suppose 5 = 3*h - 8*h. Sort h, -2/9, g in increasing order.
h, g, -2/9
Let k = 223/146 + -2/73. Let h = 4.98 - -0.02. Put h, k, 1 in descending order.
h, k, 1
Let h = 0.2 - -1.8. Put -3/2, h, -4, 0 in descending order.
h, 0, -3/2, -4
Let v = -0.5 + 0.6. Sort -0.2, 2/17, v in increasing order.
-0.2, v, 2/17
Let a = 16 + -9. Let m = 10 - 14. Let w = m + a. Put 2, -1/5, w in increasing order.
-1/5, 2, w
Let g = 77 + -89. Sort 0.4, -2/9, -1, g.
g, -1, -2/9, 0.4
Suppose -4*m + 9 + 1 = -3*o, 4*o = -5*m - 3. Put o, -3, 1 in ascending order.
-3, o, 1
Let o be 1*(-38)/(-10) - 3/1. Sort 0.5, -3, o, 5 in ascending order.
-3, 0.5, o, 5
Suppose 5*z - 3*i + 5 = 0, -2*i = -3*z + 2 - 6. Sort 5, z, 4.
z, 4, 5
Let x = -12 - -10. Sort -5, x, 6.
-5, x, 6
Suppose f - 6*f + 9 = -4*m, -7 = 3*m - 4*f. Suppose h - 1 = -0. Let c = 0 + h. Sort m, c, 0 in descending order.
c, 0, m
Let c = 10 - 12. Put 1, 5, c in decreasing order.
5, 1, c
Let g = 11 + -7. Let h(b) = -b**3 + 1. Let s be h(-1). Let p be -1*s + 2 + -1. Sort p, g, -4 in ascending order.
-4, p, g
Let q(j) = j**3 + 5*j**2 + 3*j + 3. Let f be q(-2). Suppose 3*x - 5*x = -b - f, 5*x - 5*b = 20. Put 3, 2, x in ascending order.
2, 3, x
Suppose t + 20 = 4*u + 68, -u = -3*t + 12. Let x be (-11)/(-3) - u/(-18). Sort 0, x, 1 in descending order.
x, 1, 0
Let k = -385 - -385. Let p = -6 + 5.6. Put p, k, 1/3 in increasing order.
p, k, 1/3
Suppose 3*r + 5 = 17. Sort -5, -2, r in decreasing order.
r, -2, -5
Let m(d) = -d**2 - 4*d. Let g be m(-4). Let t be g + 2 - -1 - 1. Sort -5, t, 0 in descending order.
t, 0, -5
Let h = 2.84 + 0.16. Sort -3, h, -2/3.
-3, -2/3, h
Let l = 1 + 0. Let z = 0 + -3. Sort z, 0, l in decreasing order.
l, 0, z
Let l = 97 + -93. Put 2, -2, 0, l in descending order.
l, 2, 0, -2
Suppose 5 = -5*o - 3*m - 2*m, 0 = 5*o + 4*m + 7. Sort 10, 0, o in decreasing order.
10, 0, o
Let r be -15*(12/(-9))/4. Let m be (2/5)/((-1)/r). Let n be 0 - (2 - (-5)/m). Sort -3, n, 5 in increasing order.
-3, n, 5
Suppose 40 = -f - 4*f. Let w(k) = k + 5. Let t be w(f). Let i = -7 + 3. Put -1, i, t in descending order.
-1, t, i
Let x = -13 + 12.93. Let j = -0.13 + x. Sort 0.1, -1, j.
-1, j, 0.1
Let v(u) = -u**2 - 5*u - 1. Let a be v(-4). Suppose m - a*m + 4 = 0. Let n = 2 - 6. Put 1, m, n in ascending order.
n, 1, m
Let m(n) = -n**3 + 6*n**2 - 5*n. Let t be m(5). Put -1, 9, t in descending order.
9, t, -1
Suppose 20 = 10*m - 6*m. Sort 4, m, 3, -25 in descending order.
m, 4, 3, -25
Let o = 22.9 + -23. Sort 2/7, -1/13, o.
o, -1/13, 2/7
Let a(x) = x + 5. Let i be a(-3). Suppose i*z + 3 + 3 = 0. Let d = -0.01 + -0.29. Sort z, d, 1/6 in increasing order.
z, d, 1/6
Let b = 0 - 5. Let i = 11 - 10. Let j = i + b. Put 4, 0.5, j in increasing order.
j, 0.5, 4
Let d = -892/7 + 127. Sort d, -0.2, 2/17 in decreasing order.
2/17, -0.2, d
Let g be (-264)/(-7) + (-2)/(-7). Let a = g - 71/2. Sort 4, 2/5, a in decreasing order.
4, a, 2/5
Let r(f) = -15*f**3 - f - 1. Let j be r(-1). Suppose -4*i = 1 + j. Let g be (-5)/20 + (-42)/(-8). Put 3, g, i in descending order.
g, 3, i
Let p = -6 - -6. Let h be p/((-12)/4*1). Sort 0.1, -0.5, h in decreasing order.
0.1, h, -0.5
Suppose -2*s - 13 = 3*s + f, -4*f - 7 = 5*s. Sort s, 3, 0 in descending order.
3, 0, s
Suppose 0 = 3*f + 4*g + 21, -3*g - 1 = -5*f - 7. Put 3, -4, f, 4 in descending order.
4, 3, f, -4
Suppose -s - 6 = 2*s, -5*v - 9 = -3*s. Let j be 0 - (v + 3 + 0). Sort j, 1, 3 in ascending order.
j, 1, 3
Let s = 29/246 - -2/41. Put -1/4, 0, s, 0.1 in ascending order.
-1/4, 0, 0.1, s
Let r = -7.1 - -0.1. Suppose -16*x - 75 = 9*x. Sort r, x, 5 in ascending order.
r, x, 5
Let s = -1.5 + 1.74. Let q = -0.24 + s. Put 1, -3, q in descending order.
1, q, -3
Let c = -11/30 - -1/5. Let o(q) = -q**2 - 3*q + 2. Let v be o(-3). Let w be (0 + -1)/(1 - v). Put -2/5, w, c in descending order.
w, c, -2/5
Suppose 0 = -4*l - 2 + 22. Let x(u) = u - 9. Let b be x(l). Sort b, 0, 4 in descend