nding order.
k, p, -14
Let x be -2*((-21)/6 + 1). Let t be x*(12/10)/(-3). Sort 2, 3, t in increasing order.
t, 2, 3
Suppose n + 18 = -n. Let q be n/6*2*-1. Sort 0.1, q, 2 in increasing order.
0.1, 2, q
Let w = 2 + 3. Let h be -2 + -2*3/6 + 5. Sort 4, h, w in decreasing order.
w, 4, h
Suppose 16 = -5*h - 0*c - c, -4*h - 11 = -c. Let r be 2/3*(-6)/4. Let i(l) = l**2 - 5*l. Let z be i(5). Sort z, r, h.
h, r, z
Let z = 0.5 + 2.5. Let a = 2 + -1. Sort -4, z, a.
-4, a, z
Let t be (-26)/3 - 12/(-18). Let i = t + 7. Let x(d) = d**3 + 10*d**2 - d - 10. Let k be x(-10). Sort k, i, 4.
i, k, 4
Let i = 7.4 - 8. Let c = -5 + 2.6. Let w = i + c. Sort w, 3, -3/4 in decreasing order.
3, -3/4, w
Let r(n) = -3*n - 22. Let y be r(-7). Let q be 16/7 + (-2)/7. Put y, q, -2 in ascending order.
-2, y, q
Let b = -23 + 21. Let z = 11 - 7. Sort z, -2/5, b.
b, -2/5, z
Let l(x) = -3*x + 10. Let w be l(3). Put w, 0, -4, 5 in descending order.
5, w, 0, -4
Suppose -15 = -p - 2*p. Suppose -6 = -p*q + 19. Sort q, 4, 3 in descending order.
q, 4, 3
Let h = 1 + -5. Let i be (2/3)/(h/30). Sort i, 2, -1.
i, -1, 2
Let v = 10 + -17. Let i = 6.8 - -2.2. Let k = i + v. Sort -2, k, -5 in increasing order.
-5, -2, k
Let f(a) = -a**3 + 4*a**2. Let d be f(4). Let k be (-5)/(10/6) + -1. Let p be (-4)/(-3)*9/6. Sort p, d, k in increasing order.
k, d, p
Let y = 0.0253 - -13.9747. Let w be 14/(-24) + (-1)/(-3). Sort 1/4, y, w.
w, 1/4, y
Let b = 50 - 50. Let x = -3/22 - 51/110. Sort x, b, -0.2 in increasing order.
x, -0.2, b
Let h = -2 + 2.4. Let i be 64/(-144)*3/(-10). Put 3/2, h, i in ascending order.
i, h, 3/2
Suppose r - 20 = -2*b, 6*r = -2*b + 4*r + 22. Let y(o) = -o + 4. Let h be y(b). Let x = -12 + 8. Sort -3, x, h.
h, x, -3
Suppose -3*q = 3*b + 9, 0 = -4*q + 7*q - 2*b + 4. Suppose -k - 4*t = -0*t - 4, -t = -3*k - 1. Let f = k + q. Sort -1, f, 1.
f, -1, 1
Let x be (((-1)/4*0)/2)/1. Put -6, x, 3 in decreasing order.
3, x, -6
Let w = -1 - -2. Let p be (w/3)/(1/39). Suppose 0 = 2*o - p + 3. Sort -2, o, 2 in increasing order.
-2, 2, o
Let k = -4.5 - -2.5. Put -3, k, -1/2 in increasing order.
-3, k, -1/2
Let w = 2 - 0. Suppose 0 = w*g + 4*t + 42, 3*g - t + 3*t = -55. Let i = g - -12. Put i, -3, -0.1 in ascending order.
i, -3, -0.1
Suppose 5*r = 2*u - 3 - 16, r + 17 = -4*u. Let p(l) = -2*l - 4. Let j be p(u). Put 4, 4/7, j in descending order.
4, j, 4/7
Let r(u) = -u**2 + 11*u - 30. Let n be r(5). Sort -0.4, 2/11, 0.2, n in decreasing order.
0.2, 2/11, n, -0.4
Suppose 0 = 3*q - 2*t - 3*t - 5, -2*t - 2 = q. Put 1, -4, q, 5 in increasing order.
-4, q, 1, 5
Let t = 3/13 - -17/39. Suppose n + 236 = -5*q, 2*n - 3*q = -0*q - 459. Let i = -2539/11 - n. Sort i, t, -1 in increasing order.
-1, i, t
Let b = 39/8 + -835/168. Put -5, b, -10 in descending order.
b, -5, -10
Suppose -5*d = -2*h - 0 + 22, -5*h = -5*d - 40. Suppose 0 = 2*i + 3*g - 11, 11 = -i + h*g - 2*g. Put -1, -4, i in ascending order.
-4, -1, i
Suppose p + 2*t = -7, -2*p - 13 = -7*p + 2*t. Let r be 1/((-2)/(-2 + 4)). Let h = r + -2. Put h, 3, p in decreasing order.
3, p, h
Suppose 5*i + f - 4*f = -12, -4*f + 16 = -4*i. Let n = 1 + -2. Let j be (6/(-8))/(n/(-4)). Put j, -4, i in decreasing order.
i, j, -4
Suppose -13 = -2*w - 5. Let x be (-4)/(-3)*39/26. Sort -5, w, x in ascending order.
-5, x, w
Let u = 3.5 - 3.1. Sort -1, -15, u in decreasing order.
u, -1, -15
Suppose -5*b = a + 6, -2*a - 3 = 3*b + 2. Suppose 4*r + f = 5*f - 8, -3*f + 7 = -2*r. Sort a, -2, r in decreasing order.
r, a, -2
Let t = -65 - -70. Put t, 0, 2, -6 in descending order.
t, 2, 0, -6
Let i = 22 - 17. Put i, 3, 1 in decreasing order.
i, 3, 1
Let g(d) = -d**2 + 1. Let m be g(1). Put m, -3, 4 in ascending order.
-3, m, 4
Let m = -34 + 32. Sort m, 1, -1 in ascending order.
m, -1, 1
Let p = 7.2 + -7. Sort 5/3, p, 1.1 in ascending order.
p, 1.1, 5/3
Suppose 5 - 11 = 2*x. Let i(z) = -z**3 + 5*z**2. Let k be i(5). Let o be -5*(2 - (k - -3)). Put o, 0.1, x in decreasing order.
o, 0.1, x
Let y = 18817538/231 + -81461. Let p = -2/33 + y. Let v = -0.44 - -0.04. Put v, 3/5, p in ascending order.
v, p, 3/5
Let c(v) = -v**3 - 5*v**2 + 8*v + 7. Let d be (3/6)/(2/(-24)). Let n be c(d). Let u = -4.5 - -0.5. Put 1/7, u, n in decreasing order.
1/7, u, n
Let j = -2 - -4. Suppose 3*x = -j*x - 70. Let t be (-3)/(-9) - x/(-6). Sort -1, 0, t in increasing order.
t, -1, 0
Let k be (-4)/(-2) + (-2 - -2). Suppose -1 = -s - k. Put s, -4, -3 in decreasing order.
s, -3, -4
Let o be (4 + 0 - 4)/(-2). Suppose 3*a + 9 + o = h, 22 = -5*a + 4*h. Let i(d) = d**3 + 6*d**2 + 3*d - 7. Let m be i(-5). Sort 1, a, m in descending order.
m, 1, a
Let l be (-32)/(-24) - 1/3 - -2. Sort l, 4, -4/5 in increasing order.
-4/5, l, 4
Let z = -0.4 - -5.4. Put -2/3, 4, z in decreasing order.
z, 4, -2/3
Let j = -0.6 - 3.4. Let p = -2/107 - 200/749. Sort p, j, 2 in increasing order.
j, p, 2
Suppose -t + 4*t - 4*p - 22 = 0, 5*t - 31 = p. Suppose 0 = a + 5*w + 6, 12 = -2*a + t*a + 2*w. Sort -4, 3, a.
-4, 3, a
Suppose 0 = -3*l - l + 20, -2*l = 3*d - 25. Suppose d*o = -0*o - 25. Sort o, 0, 7 in ascending order.
o, 0, 7
Suppose 3*t = t + 2. Put -4, t, 2, -7 in descending order.
2, t, -4, -7
Let z be (-2)/6*(-3)/1. Let u be (7 + -3)*z/(-2). Put u, 1, 2 in decreasing order.
2, 1, u
Suppose 2 = d - 5*u, 6 = -d + 4*d + 3*u. Suppose v = d*f - 6*f + 7, -2*f + 14 = 4*v. Put f, 4, 0 in ascending order.
0, f, 4
Let x = -2 + 1. Sort x, 3, 2 in ascending order.
x, 2, 3
Let k = -32 - -37. Sort k, 1, 2, 0.
0, 1, 2, k
Let u(i) = i**2 + 3*i + 4. Let a be u(-3). Suppose 0 = 3*f - 2*f - a. Suppose -2*w - 6 = -4*l - 3*w, 0 = 4*l - 5*w + 6. Put -3, f, l in decreasing order.
f, l, -3
Let h be 20/6 + 6/9. Suppose -2*f + 0 = 2, 0 = -3*q - f - 1. Sort q, -3, h in increasing order.
-3, q, h
Let c(g) = -g - 4. Let h be c(-8). Let j be (h/6)/((-4)/(-18)). Suppose -w + 2*p + 1 = -8, -26 = w + 5*p. Sort w, 1, j in ascending order.
w, 1, j
Let o = -0.4 + 0.3. Let b = -0.2 + 0.2. Let u = o - b. Put u, -0.2, -2 in increasing order.
-2, -0.2, u
Suppose -5*f - 3*t - t = -19, -4*f - 2*t = -14. Let q = f + -3. Suppose -4*a = c + 8, -c + 2 = 5*a + 11. Sort q, a, 4 in descending order.
4, q, a
Let d = 0 + 0.2. Sort 16, 5, d.
d, 5, 16
Let r = 69 - 72. Put 5, r, -4, 0 in increasing order.
-4, r, 0, 5
Suppose -8 = -0*h - 2*h. Let o = h + -1. Put -4, o, -2 in decreasing order.
o, -2, -4
Suppose -53 = -13*z + 12. Sort -0.3, z, -2/19, 1/5 in descending order.
z, 1/5, -2/19, -0.3
Let k = 1.9 + -2. Let w = -22 + 1. Let m be (-2)/w*(-6 + 3). Sort k, -5/3, m in descending order.
k, m, -5/3
Let t be 2/(-14) - (-4)/(-21). Put 0.4, t, -2 in increasing order.
-2, t, 0.4
Let m(q) = -q**3 - 3*q**2 + 5*q + 5. Let z be (-8)/2 - 0/(-1). Let o be m(z). Let h be (4/(-6))/(2/12). Put h, 2, o in decreasing order.
2, o, h
Let f = -1895/9 - -211. Let n be 1/5*4/2. Sort n, 1, f.
n, f, 1
Let p = -8 + 6. Let g = p - -3. Sort 5, -5, g.
-5, g, 5
Let l = 10 + -6. Suppose -o = -l*o + 15. Suppose 2*u + 2*u = -o*h + 23, -6 = -3*u. Put 2/15, 1/2, h in ascending order.
2/15, 1/2, h
Let j = 2.6 + -3. Let z(q) = -2*q - 6. Let s be z(-5). Suppose m - 6 = -2*m, -12 = -4*r + s*m. Put 0.5, j, r in ascending order.
j, 0.5, r
Let l(b) = -b**3 - 4*b**2 + 5*b + 1. Let i(f) = f - 11. Let k be i(6). Let n be l(k). Sort n, 4, 3.
n, 3, 4
Suppose 12 = 3*s - 3*b, -b - 1 = 4*s - 2. Let c be -3*s - 12/15. Let v = c - -16/5. Sort 0.5, 2/7, v in ascending order.
v, 2/7, 0.5
Let t(p) = -p + 1. Let j be t(-4). Suppose 3*o + 2*r - 6 - 3 = 0, j*o - 28 = r. Put 0, o, 2 in descending order.
o, 2, 0
Let y = 2.5 - 4.2. Let t = 2.1 + y. Sort -2, t, 5 in increasing order.
-2, t, 5
Let n = -3 - -1. Let k be n*(-1 + 2) - -4. Let b(v) = v + 2. Let r be b(-6). Put r, 0, k in increasing order.
r, 0, k
Suppose -3*w - 3*j = -24, 3*w - 3*j + 0 = -6. Let u be (4/w)/(2/(-3)). Sort 4, u, 0 in decreasing order.
4, 0, u
Suppose k = -0*k + 1. Put k, -1, -10 in decreasing order.
k, -1, -10
Let y = -1 - -3. Suppose -y*m - o = -11, -m = -0*m - o - 4. Suppose 2*k + 2*z = -4, 2*z = 2*k - 7 - 9. Put k, -1, m in descending order.
m, k, -1
Suppose 4*f - 7 = c, -2*f + 12 = 2*f + 4*c. Let z = 1 - f. Let o be (-2 - -2 - 1)*-2. Sort o, z, 0 in ascending order.
z, 0, o
Let b = 2.94 - -0.06. Put b, 1, -2 in descending order.
b, 1, -2
Let z = 1.1 + -5.1