0.2, -3
Let a = -12 - -17. Let b(x) = x - 1. Let u be b(0). Sort a, u, 1.
u, 1, a
Let f be ((-16)/(-8))/((-2)/(-7)). Suppose 0 = -3*p - f + 1. Put 5, -1, p in descending order.
5, -1, p
Let o = 11 + -16. Sort 2, 1, o.
o, 1, 2
Suppose 5*z - 8 = 3*z. Suppose 0*d = -z*d. Suppose -k + 3*j + 15 = j, -3*k - 3*j = 0. Sort k, -3, d in descending order.
k, d, -3
Let t = 17.78 - 18. Let n = t - 0.08. Put 3/5, 1/10, n in descending order.
3/5, 1/10, n
Suppose 2*d - 3*c - 10 - 3 = 0, 5*c - 15 = 0. Suppose -3 = 2*z + d. Let o = z + 3. Sort -5, 3, o in decreasing order.
3, o, -5
Let x = -1 + -4. Sort x, -1, 1/11 in decreasing order.
1/11, -1, x
Suppose -3*d + 7 = 10. Put 0, d, 3 in decreasing order.
3, 0, d
Let x = 2.2 + 1.4. Let w = x - 0.6. Put w, 5, 0.1 in ascending order.
0.1, w, 5
Let c(s) = s**3 + 5*s**2 - s - 7. Let a be c(-5). Put -28, a, 1 in descending order.
1, a, -28
Suppose 0 = 3*u - 0*u + 3. Sort 3, -5, u in descending order.
3, u, -5
Suppose 4*z = 2*z. Sort 4, 2, z in descending order.
4, 2, z
Suppose -27 = 3*a - 12. Let d = -1/22 - 7/88. Put d, -0.1, a in ascending order.
a, d, -0.1
Let w(j) = -2*j**2 + 11*j + 8. Let x be (12/14)/((-13)/(-91)). Let b be w(x). Put 6, b, -1 in descending order.
6, b, -1
Let l = -16.12 + -0.38. Let w = l + 17. Sort w, -3, 0.1 in ascending order.
-3, 0.1, w
Let r(l) = -2*l + 25. Let i be r(10). Put i, -2, 0 in descending order.
i, 0, -2
Suppose 0 = 3*u + 2 + 7. Let j(g) = -g**3 + 6*g**2 - g + 4. Let n be j(6). Let v(q) = 4*q + 3. Let b be v(n). Sort b, u, 4 in descending order.
4, u, b
Let m = 5.1 + -5. Suppose 8*j - 15*j + 21 = 0. Put m, j, 0.3 in ascending order.
m, 0.3, j
Let t be 26/(-4) - (-2)/(-8). Let b = 7 + t. Let q = 67 + -71. Sort q, b, 1/7 in ascending order.
q, 1/7, b
Suppose 0 = 2*j + 3*j - 15. Put 8, j, -5 in descending order.
8, j, -5
Let k = 49 - 55. Suppose -3*c = -0*c - 3. Let i = c + k. Sort 0.1, 5, i in descending order.
5, 0.1, i
Let b be (8/(-42))/((528/(-56))/11). Let d be 0*(-2)/(4/(-2)). Sort d, b, -3.
-3, d, b
Let n = 26/9 + -97/18. Sort -1/5, -3, n in ascending order.
-3, n, -1/5
Let f = 34 - 24. Let y(g) = -g**2 - 8*g - 3. Let l be y(-8). Put l, -1, f in descending order.
f, -1, l
Let y = -2.7 + 7.7. Let o be (-3)/(-8)*(0 + -4). Sort o, 4, y in ascending order.
o, 4, y
Let s = -43 - -45. Sort -5, 1, -1/4, s in descending order.
s, 1, -1/4, -5
Let d(s) = s**2 - 2*s - 7. Let j be d(5). Let t(x) = 0*x - 2*x + 10*x + 8 + x**3 + j*x**2. Let g be t(-7). Put g, 0, -2 in ascending order.
-2, 0, g
Let y = 45 + -31. Put y, -2, -3 in decreasing order.
y, -2, -3
Let o = -12 + 8. Let v = -1 + 2. Sort o, 4, v in increasing order.
o, v, 4
Let q = -26 + 21. Put -4, -3, q in descending order.
-3, -4, q
Let z(t) = -t + 11. Let i be z(13). Let a be i/((-1 - 0) + -1). Sort 0, a, 2 in descending order.
2, a, 0
Let s = -4 - -4.3. Let f = 5.26 - 0.56. Let t = f + s. Put t, -5, 0.5 in decreasing order.
t, 0.5, -5
Let a = -5 - -5.4. Let v = -2 - -1.99. Let s = v + -0.29. Sort 2/25, a, s in increasing order.
s, 2/25, a
Let w = -3.97 - 0.03. Let g = -5 - w. Let k = 1.5 + g. Sort k, 0.3, 0.1.
0.1, 0.3, k
Let i = -0.15 - -0.2. Let y = 0.35 - i. Sort -0.2, y, -1.
-1, -0.2, y
Let s be 2 - 0/((-6)/(-3)). Suppose 3*p = -1 - 8. Put p, s, 3 in increasing order.
p, s, 3
Let g = -170/261 + 6/29. Sort -0.05, g, 5.
g, -0.05, 5
Let o = -2 + -4. Let n = -6 - o. Sort n, -0.3, -5 in decreasing order.
n, -0.3, -5
Let j be 0 - -1*(-3)/(-99). Let t = j - 15/11. Put t, 0.1, 1 in increasing order.
t, 0.1, 1
Suppose -2*s - 1 = o + s, -2*o - 2 = -5*s. Sort o, 10, 0 in increasing order.
o, 0, 10
Let m = -15 - -20. Let a be (m - 2 - 3)/2. Put a, 5, 2 in ascending order.
a, 2, 5
Let j(c) = c**2 - 6*c - 5. Let k be j(6). Let d = 15 + -16. Put d, k, -3 in increasing order.
k, -3, d
Suppose -56 = 4*h - 0*h. Let s = 17 + h. Put 4, s, 2 in decreasing order.
4, s, 2
Let i be (((-45)/12)/(3/(-8)))/(-2). Sort 1, 6, i, -1 in descending order.
6, 1, -1, i
Let p = -3 - -2. Let w(r) = r**2 + 5*r + 3. Suppose -9 = 2*g + 1. Let v be w(g). Put 2, v, p in decreasing order.
v, 2, p
Let r = 4.99 - -0.01. Sort r, 0, -2/7 in increasing order.
-2/7, 0, r
Let y = 51.5 - 52. Sort -1/4, -0.4, y, 2 in decreasing order.
2, -1/4, -0.4, y
Let t = -0.1 - 2.1. Let o = t + 1.9. Let m = 5 + -8. Put o, 5, m in increasing order.
m, o, 5
Let q(f) = f**3 - 10*f**2 + 10*f - 9. Let u be q(9). Let h be u - ((-1)/(-6) + 0). Put -0.3, 0.3, h in descending order.
0.3, h, -0.3
Let t = 6 + -3. Suppose 0 = -h - 4*h + 20, 5*y + 31 = 4*h. Sort -1, y, t in decreasing order.
t, -1, y
Suppose 3*s - 3*n = -3, -13 - 1 = 2*s + 2*n. Put s, -1, 1 in ascending order.
s, -1, 1
Suppose -p + 2 = 3*u - 23, 15 = u + 2*p. Let o be (12 - u)*8/(-10). Suppose 0 = -7*i + 3*i + 20. Sort i, -1, o in increasing order.
o, -1, i
Let n be ((-4)/(-5))/((-1)/5). Put 2, n, 5 in descending order.
5, 2, n
Let m(c) = -c**3 + 12*c**2 + 15*c - 28. Let z be m(13). Suppose 0*r - 4*r = -12. Sort r, z, 4.
z, r, 4
Let d = 16 - 23. Let f be (-3)/((-3)/d) - -2. Suppose 3*q = -2*n + 1 + 8, 4*n = 4*q - 12. Put q, 4, f in ascending order.
f, q, 4
Suppose 2*z - 2*t + 7 = -z, 18 = -2*z + 4*t. Sort 3, 5, z in increasing order.
z, 3, 5
Suppose 5 + 3 = 2*m. Suppose l + l = 0. Suppose m*r + 1 + 3 = l. Sort -2, r, -3 in increasing order.
-3, -2, r
Let f = -8 - -11. Let n(w) = -w**2 + 3*w. Let s be n(f). Let i be (s - -1) + (-49)/35. Put -1/5, i, 2 in descending order.
2, -1/5, i
Let s = -257 - -258.09. Let c = s + -0.09. Sort -0.5, -1, c in decreasing order.
c, -0.5, -1
Suppose 2*a + 3*a - 30 = -5*b, a + 4*b - 21 = 0. Let f = a - 2. Suppose 2*r + 6 = 5*p + 18, -2*r - p = 12. Put f, r, 0 in decreasing order.
0, f, r
Let a = -27 - -30. Sort -1/4, -2, a.
-2, -1/4, a
Let b = -0.58 + 0.08. Let d = b + 2.5. Let x = -1.4 + 0.4. Put x, -2, d in descending order.
d, x, -2
Let z be (5/(-20))/((-1)/4). Put -6, -4, z in descending order.
z, -4, -6
Suppose 0*b - 10 = 2*b. Suppose 1 - 21 = -4*r. Put b, 1, r in increasing order.
b, 1, r
Let h = 3.7 + -4. Let z = 99 - 51. Let a = z - 526/11. Sort h, a, 0.2 in descending order.
0.2, a, h
Let k be ((-2)/(-18))/(23/(-69)). Sort 1, k, 2/7 in increasing order.
k, 2/7, 1
Suppose 19 = 2*y + 5*v, 4*v - 4 + 2 = 5*y. Let g(o) = -o**2 + 5*o - 2. Let t be g(5). Let q = t + 3. Sort 3, q, y in increasing order.
q, y, 3
Let a = -103 - -103. Let z(j) = j. Let v be z(-3). Sort v, -1, a in decreasing order.
a, -1, v
Let f = 25 + -41. Let k = f - -16.11. Sort -2/5, -2, k in decreasing order.
k, -2/5, -2
Suppose 4*h + 60 = -6*h. Put h, -1, 2, -5 in descending order.
2, -1, -5, h
Let o be 10*8/520 + 100/(-143). Put -0.3, 3/7, 4, o in descending order.
4, 3/7, -0.3, o
Let a be (0 - 2)/((-36)/27). Put -3/2, a, 0.5 in descending order.
a, 0.5, -3/2
Let j = -2.026 + 0.026. Put 2, -1/2, j, -0.4 in descending order.
2, -0.4, -1/2, j
Let z = -21.77 - -22. Let c = z - 0.73. Let r be 1 - (78/22)/3. Sort c, r, 1/3.
c, r, 1/3
Suppose -3*a = -10 + 34. Let u be a/(-6) + (-1)/3. Sort -1, -3, u.
-3, -1, u
Let x = 13 - 20. Let c be 1/(((-147)/(-12))/x). Put c, -5, 0.4 in ascending order.
-5, c, 0.4
Let q(u) = u - 3. Let z be q(2). Let l = 4/5 + z. Sort 2/5, -2, l in decreasing order.
2/5, l, -2
Let f = 17 + -22. Let u = 0.4 - 0.9. Sort u, -2, f in decreasing order.
u, -2, f
Let o be (-12)/(-8)*1*-2. Put 7, o, 4 in decreasing order.
7, 4, o
Let d(u) = u**3 + 7*u**2 - 9*u - 2. Let v be d(-8). Suppose 0 = -i + v*i. Sort i, 5, 4 in ascending order.
i, 4, 5
Suppose 29*z = 27*z - 10. Sort 0, 13, z.
z, 0, 13
Suppose -i - 7 = 4*m, i + 3*m = 4*m - 2. Put 1, -2, 2, i in descending order.
2, 1, -2, i
Let d(i) = 3*i + 22. Let p be d(-9). Let z(r) = 2*r**2 + 2*r. Let h be z(-2). Sort h, p, 3.
p, 3, h
Let u = 24 - 26. Let i(k) = 3*k**3 + 2*k + 1. Let c be i(-1). Sort -0.1, c, u.
c, u, -0.1
Let w = -0.16 - -0.46. Let g = 3 + -2. Sort g, -5, w in decreasing order.
g, w, -5
Let h = -64 + 64. Let g be 29/5 - 3/(-15). Sort g, h, 3 in ascending order.
h, 3, g
Suppose 0 = -3*w - 3*t + 9, -3 = -2*w - 5*t + 15. Let x be w*(-22)/(-4)*-2. Let i be 1/3*(x - -4). Put i, -1, 1 in descending order.
i, 1, -1
Let w = 19 + -12. Let a be w + -2 - (2 - 2). Suppose 5 = n, 3*k + 2*n - a + 1 = 0. Sort 5, k, -2/3 in decreasing order.
5, -2/3, k
Suppose 2*q + 17 = 5