-5)/(-25)). Let x = 60 + -60.2. Sort 4, p, x.
p, x, 4
Suppose l = -l + 12. Sort -3, l, 5, -5.
-5, -3, 5, l
Let y be (4 - 3)/((-2)/(-2)). Sort -12, y, 0, -5 in increasing order.
-12, -5, 0, y
Let v be 1 - (-4)/24*194. Let b = -34 + v. Put 3, 4, b in decreasing order.
4, 3, b
Let s = -0.2 + 0.3. Let o = 57 - 58.9. Let l = s - o. Put 2/7, l, 1/2 in ascending order.
2/7, 1/2, l
Let x(d) = 5*d + 31. Let m be x(-7). Sort m, -5, 10.
-5, m, 10
Let p be 4*(1 + 2/(-8)). Let j(d) = -d**3 + 5*d**2 + 6*d - 2. Let z be j(6). Let o = z - -2. Sort p, o, 4.
o, p, 4
Let d = -1.5 + 1. Suppose 0 = 2*y + 3*b - 12, b + 4*b - 20 = 2*y. Sort -2/7, y, d in descending order.
y, -2/7, d
Let f(o) = -o**2 + 2*o - 4. Let m be f(3). Let w = m + 11. Let y(r) = -r**3 + 2*r**2 - r. Let v be y(1). Sort v, w, 1 in descending order.
w, 1, v
Let l be (-4)/18 - (-6)/27. Suppose 5*k - 86 = -4*v - 24, 0 = 3*k - v - 27. Suppose l = -2*d - 2, -k = 5*a - d - 1. Put a, 2, -5 in ascending order.
-5, a, 2
Let x(f) be the first derivative of -f**2 + 10*f + 1. Let q be x(7). Suppose 0 + 2 = 2*z. Sort q, -5, z in decreasing order.
z, q, -5
Suppose 2*t - 7*t - 30 = 0. Let z(w) = 3*w + 13. Let m be z(t). Sort -3, 3, m in ascending order.
m, -3, 3
Let p(b) = -b**2 - 10*b + 4. Let i be p(-9). Suppose i = 2*s + 5. Let m = -5 - -3. Put s, m, -5 in decreasing order.
s, m, -5
Let t = 1.4 - -0.6. Let f = 4 + -2. Let r = -2.5 + f. Sort -0.1, t, r in ascending order.
r, -0.1, t
Let g be (1*-6)/((-42)/(-4)). Put g, -2/13, -0.1 in ascending order.
g, -2/13, -0.1
Suppose 2*w - 86 + 96 = 0. Sort -3/7, -1/2, w, 1 in decreasing order.
1, -3/7, -1/2, w
Suppose -2*i + 5*i + 10 = u, i = u - 6. Let g be 2 + (0 - 7) - 0. Sort i, -4, g.
g, -4, i
Let x = -17/143 - -3/11. Let o = -22 + 37. Let r be (2/(-15))/((-12)/o). Sort x, 2/3, r.
x, r, 2/3
Let q(r) = r**3 + 13*r**2 + 12*r + 5. Let n be q(-12). Suppose 2*l - 2 = 4*j, 3*l - 2*l = -j - n. Sort 4, l, 0 in decreasing order.
4, 0, l
Let n = 4.2 - -0.8. Let v = 3 - 2.96. Let f = -2.04 + v. Put f, 0.4, n in increasing order.
f, 0.4, n
Suppose 2*d = 3*o + 19, 3 = 3*o + 2*d + 14. Let w be (-1)/2*0/(-2). Suppose w*z - 3*z = 9. Sort z, -2, o in decreasing order.
-2, z, o
Let z = 0.66 + -0.6. Let r = z + -5.06. Let a = -678/5 - -136. Sort -1/3, a, r in descending order.
a, -1/3, r
Let n be ((-9)/((-189)/(-14)))/(1/(-6)). Sort -7, -5, -4, n in decreasing order.
n, -4, -5, -7
Let b = -7 + 6.7. Let f be (-7)/6 - 7/(-14). Sort 2/17, f, b in decreasing order.
2/17, b, f
Suppose 5*x = 83 + 42. Suppose c - 15 = 3*j, -x = 3*j + 2*j - 2*c. Sort j, -4, 5.
j, -4, 5
Let x = -35 + 34.4. Put x, -1, -4/3 in increasing order.
-4/3, -1, x
Let i(k) = -k - 1. Let a be i(-1). Suppose 4*r - 5*s = -26, -r = s - 6*s + 14. Let o be (r/(-5))/(2/5). Sort o, -5, a in increasing order.
-5, a, o
Let i = 18 - 9. Let s(m) = -m + 10. Let b be s(i). Suppose -2*n + 3*o = n + 3, -6 = 2*n - o. Sort b, n, -1 in descending order.
b, -1, n
Let u = -3 - -4. Let o be 16/10*10/4. Suppose o + 8 = -4*k. Sort k, 2, u in increasing order.
k, u, 2
Let b be 102/(-27) + (-4)/18. Let s(a) = -a - 2. Let f be s(b). Put 0, 1, f in decreasing order.
f, 1, 0
Let a(h) = -h + 9. Let v be a(7). Suppose 4*f - 10 = -s, -4*s - 12 - v = -2*f. Let y = 2 - 6. Sort 4, f, y in decreasing order.
4, f, y
Let o = -0.5 + 0.42. Let g = 1.08 + -1. Let y = o + g. Sort 0.1, 1/2, y in ascending order.
y, 0.1, 1/2
Let k be -1*(2 + 5/(-5)). Put k, 5, -4 in decreasing order.
5, k, -4
Let o be (-18)/(-28)*(-4)/(-6). Let z = -114 - -453/4. Put o, -1, z in descending order.
o, z, -1
Let u = 0.4 + 0. Let w = 5.5 + -5. Put w, -0.2, u in decreasing order.
w, u, -0.2
Let j be (-1 - 1) + 4 + 68. Suppose 7*a = 2*a - 2*t + j, 4*t = 3*a - 16. Suppose 0*w = 4*w + a. Put -1, 5, w in descending order.
5, -1, w
Suppose -x + 2*c - 5 = 0, 0 = -5*x + 2*x + 2*c - 11. Put x, 2, 1 in decreasing order.
2, 1, x
Let r = 3 + 0. Let o(j) = -2*j**3 - 2*j**2 + 3*j + 3. Let b be o(-2). Sort b, -5, r.
-5, r, b
Let u = -25 + 28.6. Let j = 4 - u. Let s = 0.1 + j. Sort -3, s, 2/5.
-3, 2/5, s
Let z(s) = s**3 - 4*s**2 + 4*s - 14. Let q be z(4). Put 20, q, 1, 3 in descending order.
20, 3, q, 1
Suppose 0 = 3*x - 8*x + 30. Suppose x*t - t = 0. Suppose -b + 0*b + 5 = t. Sort b, -1, -1/2.
-1, -1/2, b
Let l = -3.7 - -2.7. Put 3, l, 0.2, 1 in descending order.
3, 1, 0.2, l
Let s = -22 + 12. Let c be 2/(-5) - s/25. Sort c, 3, -2.
-2, c, 3
Let u be (-1)/(2/(-16)*-2). Let r(m) = -m**3 - 5*m**2 + 5*m - 1. Let b be r(-6). Suppose -a - 1 = -2*a + y, -b*y - 1 = -a. Sort a, 2, u.
u, a, 2
Let l(b) = 10*b. Let g be l(1). Let i be 119/(-21) + (-20)/(-30). Put i, g, 1 in decreasing order.
g, 1, i
Let m be 35/(-18)*53/5. Let d = 178/9 + m. Put 0.1, 2/5, d in ascending order.
d, 0.1, 2/5
Let y(n) = n**2 + 5*n - 6. Let i be y(-6). Let t be (-2)/10 + (-66)/(-30). Put t, i, 4 in decreasing order.
4, t, i
Let k be 0/(1/1 - 0). Let j = -6 - -3. Sort k, -4, j in ascending order.
-4, j, k
Let b = -118 + 114. Put b, -2, -3, 4 in descending order.
4, -2, -3, b
Let x = 2 - 1. Let k be 4 - (4 - (-3)/15). Sort k, -2/13, x in decreasing order.
x, -2/13, k
Let o(s) = s**2 - 6*s - 2. Suppose 2*g + 2*g - 28 = 0. Let w be o(g). Sort -3, w, 1 in increasing order.
-3, 1, w
Suppose -r + 0*a - 3*a = -13, 2*r - a + 9 = 0. Suppose 2*g = 2*x - 6*x - 10, -3*g + 5*x - 15 = 0. Let s = g + 6. Sort 0, s, r.
r, 0, s
Let l(w) = -9*w - 37. Let r be l(-4). Put -3, r, -5, 4 in ascending order.
-5, -3, r, 4
Let a = -7 - -5. Let q(y) = -2*y**2 - 11*y + 13. Let r(k) = -k**2 - 5*k + 6. Let i(u) = 2*q(u) - 5*r(u). Let j be i(-3). Sort j, 2, a.
j, a, 2
Let t = 4 - 3. Let g be 48/(-10)*(-40)/8. Suppose 0 = -2*p + 2*w + 2, -4*w + g = -p + 4*p. Sort 2, t, p in ascending order.
t, 2, p
Let h(s) = -s**3 - 5*s**2 - 3*s - 3. Let k be h(-4). Let x be 8/(-28) + (-30)/k. Let b(o) = o**2 - 8*o + 14. Let m be b(4). Sort x, -5, m in descending order.
x, m, -5
Let l = -8.4 - -5.4. Put l, 0, 5 in increasing order.
l, 0, 5
Suppose 0*t + 3*t + 3*x - 30 = 0, 3*t - 4*x = -5. Suppose 5*f - t = 5. Suppose 25 = -6*s + s. Put s, -2, f in descending order.
f, -2, s
Let q be 5 - (5 + -2 - (0 + 0)). Sort -127, q, -5.
-127, -5, q
Suppose 6*g - 20 = 2*g. Let b be -1 - (2 - (-26)/g). Let h = b + 8. Sort 4, 0, h in descending order.
4, 0, h
Let y = -477122/7 + 68040. Let h be 6/((-78)/40 - -2). Let u = h + y. Sort u, -0.5, -2 in increasing order.
-2, -0.5, u
Let q = -4.11 - -0.11. Let t = 132.6 + -133. Sort t, 0.1, q in decreasing order.
0.1, t, q
Let p(i) = -2*i**2 + 26*i - 7. Let l be p(13). Sort -5, l, -1.
l, -5, -1
Let r(y) = -y**2 - 6*y + 2. Let b be r(-6). Suppose -4*o + b*c = 0, -2*o + 0*o = c. Put -3, o, -4 in ascending order.
-4, -3, o
Let u = 84 - 88. Sort -24, u, -1, 1 in increasing order.
-24, u, -1, 1
Suppose 8*f = f - 14. Sort 5, f, -10.
-10, f, 5
Suppose 4*a + 6 = 2*a. Put 3, a, 5 in decreasing order.
5, 3, a
Let w be -15 - (-2 - (1 - 2)). Let c = -10 - w. Sort 0, 5, c in decreasing order.
5, c, 0
Let x(u) = 4*u - 1. Let k be x(1). Let i be (-22)/8 - (-3)/(-12). Let z(c) = -c - 4. Let w be z(i). Sort k, w, 2.
w, 2, k
Let u = 5 + -3. Put u, 4, 3 in decreasing order.
4, 3, u
Let i = 1.8 - 1.4. Sort -0.2, i, -8 in increasing order.
-8, -0.2, i
Suppose t + 1 + 0 = 0. Suppose 142*j - 138*j = -20. Put 4, j, t in descending order.
4, t, j
Let k = 5 - 7. Suppose -2*o + 2*l + 3 - 11 = 0, -3*o - l = 0. Sort o, 5, k.
k, o, 5
Let p be (-12)/(-15) - (-19)/(-5). Put -9, -1/2, p in decreasing order.
-1/2, p, -9
Let d = 7.7 + -2.2. Let z = -0.5 + d. Sort z, -4, 0.3 in ascending order.
-4, 0.3, z
Let v = 38 + -115/3. Let i be -2*(0 - 2/4). Put i, v, 2 in decreasing order.
2, i, v
Let g = 2.15 + -1.65. Sort -1, g, 0.02.
-1, 0.02, g
Let h = 14 + -15. Sort h, -3, -2.
-3, -2, h
Suppose -4*h - 5*p = -84, 3*h + 0*p = -5*p + 68. Suppose -5*k + 25 = 0, -1 - 8 = 2*a - 3*k. Suppose a*l = -l - h. Put 0, l, 1 in increasing order.
l, 0, 1
Let o be (-39)/12 - -3 - -1*1. Put o, -0.1, 3, -4 in increasing order.
-4, -0.1, o, 3
Let z(i) = i**2 - i + 1. Let t be z(0). Let u be (3 - 1) + (-4)/t. Sort 0, -3, u.
-3, u, 0
Suppose 15 - 3 = -4*q. Let u be (3/(-18))/(q/(-12)). Let n be 4/14 - 11/63. Sort 0, u, n.
u, 0, n
Let a(u) = 2*u + 3. Let k be a(-4). Sort 5, -1, k.
k, -1, 5
Let f be 2/(-10) 