 order.
3, n, -3
Let s(a) = 2*a**2 - 2. Let j be s(2). Let n be ((-4)/(-6))/((-2)/j). Sort n, 1, 4 in decreasing order.
4, 1, n
Let m be 15/4 + (-1)/(-4). Suppose 3*v + 3*h + 3 = 0, 5*h = v - 2*v - 1. Let x = v + -4. Sort m, 5, x in ascending order.
x, m, 5
Let n = -0.27 - -0.17. Put 0, n, -5 in descending order.
0, n, -5
Let r = -1 - -4. Let j = 183 + -182. Let h = 0.8 + 3.2. Sort h, r, j in decreasing order.
h, r, j
Let h be ((-32)/14 - -2) + 88/14. Sort h, -4, -6 in descending order.
h, -4, -6
Let p be -1 + (-24)/(-15) + 16/(-40). Let o = 2/131 - -240/1441. Sort o, 2/15, p in increasing order.
2/15, o, p
Suppose 27 = 3*z + 9. Put 3, z, 2 in ascending order.
2, 3, z
Let l = 0.78 + -0.18. Let v = -0.57 + l. Sort 1, v, 1/7 in decreasing order.
1, 1/7, v
Suppose -12*i = -8*i - 16. Sort i, 1, -4 in descending order.
i, 1, -4
Let k be -1 - 0 - (-2)/2. Let l = -99 - -96. Sort l, 5, k.
l, k, 5
Suppose -4*r = -2*r. Suppose 0 = -i - 0*i. Suppose 2*p + i*p + 6 = -2*u, 0 = -p - 4*u. Put 3, r, p in descending order.
3, r, p
Suppose 2*s + 1 = -25. Let x = s + 18. Put x, 1, -3 in decreasing order.
x, 1, -3
Let s = 4 - 13. Let y be 19/(-36) - s/12. Put -2, 1, y in descending order.
1, y, -2
Let q be ((-32)/6)/(14/(-48)). Let i = q + -18. Let c = 1/48 - -283/240. Sort i, c, -3 in descending order.
c, i, -3
Let t(d) = d**2 + 3*d + 1. Let f be t(0). Sort -8, f, 5 in decreasing order.
5, f, -8
Suppose -4*r = a - 3, 8*a = 3*r + 3*a - 31. Suppose -r*b = -4 + 12. Let l be ((-4)/6)/(b/6). Sort -1, l, -3 in decreasing order.
l, -1, -3
Let b = -3 + 3.3. Suppose 0 + 1 = -4*a + l, 4*l = a + 19. Sort a, 0.4, b in decreasing order.
a, 0.4, b
Let r be (6/3)/(-2) + 8. Suppose -4*q + 2*h + 3 = -7, 2*q = 5*h - r. Suppose q*v = -0*v - 4. Sort -2, 1, v in decreasing order.
1, v, -2
Let a be 3 + 1/(1 - 2). Let r = -0.05 - -4.05. Let n = 3.4 - r. Sort a, n, 5/3 in decreasing order.
a, 5/3, n
Let k be 14/(-63) - (-48)/135. Suppose 2*x = 2*r - 6*r - 12, 4*x - 28 = 5*r. Sort x, k, 5 in decreasing order.
5, x, k
Let x be 1*0*1/(-2). Let i = -14 + 16. Suppose 5*s + 2 = -2*g, -4 = 2*g + i*g + 5*s. Put g, -5, x in ascending order.
-5, g, x
Let j = -2.7 - -0.7. Let w = j + 2.4. Sort w, 3, -2 in decreasing order.
3, w, -2
Let l = -1.9 + 1.7. Put -3, -1, l, -0.1 in decreasing order.
-0.1, l, -1, -3
Let g(c) = -2*c - 6. Let k be g(-4). Let b be k + -1*(-1 + 0). Let p be 3*b/((-27)/6). Sort p, -3, 1.
-3, p, 1
Let x = -1/14 + 17/42. Sort 0.4, x, 1.
x, 0.4, 1
Let g = 6 + -5.5. Put 1, -5, g in descending order.
1, g, -5
Let o = 3 + -4. Let s = -1 - o. Suppose r + s*p + 3*p = 16, 3*p - 19 = -4*r. Sort -5, r, -2 in decreasing order.
r, -2, -5
Let n = 0.3 + -0.3. Let d = 1 - n. Suppose 2*r - 2*u - 2 = 0, -3*r + 6 = -u - 1. Sort d, -1/2, r in increasing order.
-1/2, d, r
Suppose 3*d - 24 = -4*l - 12, 6 = 2*l - 3*d. Put 0, l, 6, -2 in descending order.
6, l, 0, -2
Let x be 0/(3 - (0 - -2)). Sort x, 3, 4, -1 in increasing order.
-1, x, 3, 4
Suppose 3*f = 5*i - 17, -3*f - 2 - 12 = -2*i. Put 4, i, -1 in increasing order.
-1, i, 4
Let g = -143 + 138. Sort -3, g, 5, 4 in increasing order.
g, -3, 4, 5
Let c(o) = o. Let q be c(3). Suppose 2*d = 2*m - 14 + 6, 0 = -d - 3*m - 8. Put q, -4, d in ascending order.
d, -4, q
Suppose h = -3*h + 20. Let m(p) = -p**3 + 5*p**2 - p. Let v be m(h). Suppose -5*l + 10 = 5. Put l, -2, v in descending order.
l, -2, v
Suppose -u + 3*w + 10 = 4*u, 8 = 4*u - w. Put 0, 1, -1, u in descending order.
u, 1, 0, -1
Let j = 0 + -4. Sort 4, j, -1.
j, -1, 4
Let m be (-12*1)/(12 + -14). Sort m, 0.4, 3 in increasing order.
0.4, 3, m
Suppose -i - 3*i - t + 5 = 0, 4*i - 2*t - 14 = 0. Suppose 14 = -3*n - p, -n = 2*p + 5 - 2. Sort i, 1, n in descending order.
i, 1, n
Let h(r) = r**2 - 2*r + 1. Let j be h(-2). Suppose -20 = -j*q + 4*q. Put -1, 0, q in ascending order.
-1, 0, q
Let m = -1.2 - -1.7. Let n = 5 + -5.4. Put n, m, -1 in ascending order.
-1, n, m
Let d be 0 + ((-10)/4)/(-5). Let x = -6.4 - -0.4. Let m = x - -4. Sort d, 2/7, m.
m, 2/7, d
Suppose -3*u = -2*p - 23, 2*u + 17 = 3*u - 3*p. Suppose -5*w - 10 = u*f, 3*w + 4*f + 9 = -1. Sort w, 1, 4 in descending order.
4, w, 1
Let r = 42 - 42. Sort 3, r, 8 in decreasing order.
8, 3, r
Let o = -132 + 131.7. Sort o, -5, -6 in decreasing order.
o, -5, -6
Suppose 5*k - 3*f + 20 = 2*f, 4*f = -2*k + 10. Put -4, k, 1 in descending order.
1, k, -4
Let f = 4 + 4. Suppose -o = o - f. Sort o, 1, -1 in descending order.
o, 1, -1
Let m = 4 - 1. Let z = 61 + -59. Put z, -1, m in increasing order.
-1, z, m
Suppose 0*h - 4*h - 20 = 0. Put -3, h, 2 in increasing order.
h, -3, 2
Suppose 0*g + 2*g = 0. Suppose -4*h - 11 = -7*h + 2*c, h - 4*c - 17 = g. Let m(y) = -y**2 - 3*y + 1. Let i be m(-4). Sort h, i, 5.
i, h, 5
Let c be (2 - (-20)/(-8))/((-2)/12). Put -15, -4, c, -5 in descending order.
c, -4, -5, -15
Let s = 35 - 27. Sort -2/5, 0, s in decreasing order.
s, 0, -2/5
Let g = 1.1 - 1. Let s = -4 + 1. Let f = 1.88 + 0.12. Sort g, s, f.
s, g, f
Suppose 0 = 2*w + 14 - 4. Sort 3, w, 0.1.
w, 0.1, 3
Let c = -0.21 + 0.21. Put c, 0.3, -1 in descending order.
0.3, c, -1
Let u = -153 - -1685/11. Suppose -h + 6*h + 20 = 0. Let r = 0.7 - 0.3. Put u, h, r in decreasing order.
r, u, h
Let g = -55 - -53. Let q(j) = j - 4. Let r be q(7). Sort r, g, 1 in decreasing order.
r, 1, g
Let b be 3/((-3)/3)*-13. Let y be (-4)/16 + b/12. Let n be (y + -6)*2/12. Sort -1, -2, n in increasing order.
-2, -1, n
Let j(i) = i**3 + 5*i**2 + 4*i - 2. Let z be j(-4). Let l be (7/1)/(1/2). Suppose -4*n - x = 2*x - l, -2*n + x = -12. Put -1, n, z in ascending order.
z, -1, n
Suppose -5*j = -u + 6*u + 10, -j - 10 = 3*u. Let n be (0/(-2 - u))/(-2). Suppose n = p - 5*z + 21, p - z + 1 = -4. Put 3, p, -2 in descending order.
3, p, -2
Let q be -2 + 0 + 2/8*4. Put 3, q, 4 in decreasing order.
4, 3, q
Suppose 5 = -m, 2*d = m + 2*m + 17. Let l(c) = c**2 - 2*c - 1. Let i = -8 + 7. Let y be l(i). Sort d, y, -5.
-5, d, y
Let y = -3 - 0. Sort -2, y, 4, 0 in increasing order.
y, -2, 0, 4
Let h be (-1 - -2) + 10 + -9. Suppose h*z - 3*z - 8 = 0. Put z, 3, -0.1 in increasing order.
z, -0.1, 3
Let n = 1 - 0. Put 3, -3, n, -2 in decreasing order.
3, n, -2, -3
Let i be 45/(-55) - 2/(-2). Put 12, -5/4, i in descending order.
12, i, -5/4
Let s be ((-2)/12*-9)/((-5)/(-20)). Suppose 0 = -4*d - 11 - 5. Sort -2, d, s in ascending order.
d, -2, s
Suppose g - 6 = -g. Let y be (-6)/(-8) - g/4. Sort 3, y, 2 in increasing order.
y, 2, 3
Let a = 8 - 4. Let s = 22 - 26. Put a, s, -1 in increasing order.
s, -1, a
Let m(j) = 2*j**3 - 2*j - 1. Let d be m(-1). Let a = -2 - d. Put a, -2/3, 5 in increasing order.
a, -2/3, 5
Let x(d) = 5*d**2 - d + 6. Let s(j) = 11*j**2 - 2*j + 13. Let z(g) = 4*s(g) - 9*x(g). Let k be z(2). Let q be (-1 + -5)*(-2)/k. Sort 5, 2, q.
q, 2, 5
Let u = -9 - -6. Let z = 0.2 - -0.2. Let m = -2 - -5. Put u, m, z in ascending order.
u, z, m
Let j be (2/(-6))/((-2)/(-6)). Let x = -16 + 14. Put x, j, -4 in descending order.
j, x, -4
Let j be ((-10)/(-6))/(5/54). Sort 1, j, 5 in ascending order.
1, 5, j
Let r be 1/(5*4/60). Sort -2, -5, r in decreasing order.
r, -2, -5
Let b = 23 - 18. Let f = -0.01 + 0.21. Sort b, 4/9, f in decreasing order.
b, 4/9, f
Let m = -0.8 - 5.2. Let z = 58 - 69. Let k = z - m. Sort -0.2, k, -2/5 in increasing order.
k, -2/5, -0.2
Let k(s) = -s**2 - 13*s - 2. Let u = -29 - -16. Let g be k(u). Sort g, 1, 6.
g, 1, 6
Suppose 3*z = -23 + 8. Suppose 4 = 2*a + 4*x, -a + x - 2 - 2 = 0. Sort 5, z, a.
z, a, 5
Let t = 9 + -9. Suppose t = -2*l - 0 + 4. Sort -5, 0, l in descending order.
l, 0, -5
Suppose -c - 9 = 2*l - 0*l, l = -5. Let b be 2/4 + 4/(-8). Suppose 9 = 3*s + i, b = 4*s - 4*i + 3*i - 12. Put -3, c, s in increasing order.
-3, c, s
Let j = 12 - 30. Let d = -11 - j. Let b = -12 + d. Sort b, 3, 0.3 in descending order.
3, 0.3, b
Suppose -2*u + 3 = -3*u. Let h be -4*(1 + -2) + -3. Let a = u - h. Put a, -3, -5 in increasing order.
-5, a, -3
Let n = 4 + -10. Let a be (-6 + -2)*(-3)/n. Sort a, 2, -6/7.
a, -6/7, 2
Suppose 7*j - 5*j - 8 = 0. Sort -4, j, -12, 1 in descending order.
j, 1, -4, -12
Let k = 0.16 + 1.64. Let u = -2 + k. Let q = -11 - -7. Sort -0.5, u, q in ascending order.
q, -0.5, u
Let x be -2*((-2)/4 + 1). Let l = -0.6 - -0.66. Let z = -2.94 - l. Put -0.4, x, z in increasing