
Suppose 0 = l - 3*z - 7, -5*l - 2*z - 17 = -1. Suppose -177*f + 40 = -169*f. Sort 1, l, f.
l, 1, f
Let j = 0.5 + -1. Let l = -0.37 - 0.03. Let g = l - j. Put 0.2, -1, g in increasing order.
-1, g, 0.2
Suppose 0 = -3*p - 2*p + 25. Put -2, p, 2 in decreasing order.
p, 2, -2
Let q = 0.1 + 0. Let m = -6.9 - -3.5. Let h = m - -0.4. Put q, -0.1, h in ascending order.
h, -0.1, q
Suppose -3*q - 3 = 6. Suppose -4*x + 22 = d + d, 4*d + 5*x = 35. Suppose 2*j + 5*a - 4 = 0, d*j - a - 3*a - 10 = 0. Put -4, q, j in ascending order.
-4, q, j
Let p = -7/18 - -2/9. Sort 3, p, -4 in ascending order.
-4, p, 3
Let u = 0.3 + -0.7. Let h = 9 - 13. Put -1, u, h in decreasing order.
u, -1, h
Let f = 40.4 - 40. Sort 0, -2, 0.3, f in ascending order.
-2, 0, 0.3, f
Let q = 0.9 - 0.6. Let z be 2 - 1 - (2 - 1). Suppose -p - 1 + z = 0. Put 5, p, q in descending order.
5, q, p
Suppose -10 = -k + 6*k. Sort 1, -4, k in decreasing order.
1, k, -4
Let w be (-12)/(-99)*6/(-4). Let i = 24 - 17. Let l be i/(-28)*(-2 - 0). Sort w, l, 0 in increasing order.
w, 0, l
Let v = 19 + -10. Let p = v - 7. Sort -1/2, p, -2.
-2, -1/2, p
Let a be 1*(4 + -3 - -7). Suppose 0 = -4*k - 2*z - a + 30, 0 = 2*k - 2*z + 4. Put -5, -3, k in descending order.
k, -3, -5
Let d be 4 + (4 + -2)*-1. Let c = 5 - d. Sort 2, c, -4 in ascending order.
-4, 2, c
Suppose 3*s - s + 4*w = 22, -3*w = -9. Let u = -28 + 13. Let x = 11 + u. Sort 0, s, x in descending order.
s, 0, x
Let i(s) = -s + 5. Let a be i(7). Let t be (-5)/15 - a/(-6). Put 2/3, 1, t in descending order.
1, 2/3, t
Suppose -2*y - 15 = 3*y. Let k be 66/9*(-3)/(-2). Let o = k - 15. Put y, -1, o in increasing order.
o, y, -1
Let k(d) = d**3 - 6*d**2 + d - 1. Let y be k(6). Suppose -c - 4*p = -24, 6*p - 25 = p. Sort c, y, -2 in ascending order.
-2, c, y
Let f be (6/(-12))/((-1)/6). Let a be -5 + 5 + f/1. Let h = -0.08 - 0.22. Sort h, a, 5.
h, a, 5
Let v = 0.5 + -1. Let s be (2*-3)/(-2) + 42. Let q be -2 - (1 - 141/s). Sort v, q, 4 in decreasing order.
4, q, v
Let p be (-153 + 1 + 1)/(-88). Let h = 23/11 - p. Sort 2/7, 1, h in increasing order.
2/7, h, 1
Let i = 443/5 + -89. Let v = 10 - 2. Sort 1, i, v.
i, 1, v
Suppose 3*g + 31 = 5*g - 5*d, 4*g - d = 17. Put 2, -2, g, -4 in ascending order.
-4, -2, 2, g
Suppose 3*z - 102 = -3*m, -3*m + 166 = 4*z + 35. Suppose 4*t + 23 = -z. Let s = t + 9. Put -1, s, 2 in increasing order.
s, -1, 2
Let u = 4.018 - 0.018. Let i = 2 + -1.99. Let r be 0 - (2/(-9))/(-1). Put u, r, i in descending order.
u, i, r
Let h(z) = z**3 + 5*z**2 + 4*z + 1. Let s be h(-4). Let x = -11 - -16. Put x, s, 2 in decreasing order.
x, 2, s
Let w = -24 - -22. Suppose p = -p. Sort p, w, -4.
-4, w, p
Let a = 2.7 + 2.3. Sort -5, a, 4 in increasing order.
-5, 4, a
Let v = -76 + 73. Let d = 1271/10 - 127. Let w = 2/5 + d. Sort v, 0.2, w in ascending order.
v, 0.2, w
Suppose 0*n - 4*n + 4 = 0. Suppose 0 = -3*y - 0*y + 9. Suppose y*i - 4*s = 13, -5*s = 5*i + 7 + 18. Sort -3, n, i in descending order.
n, i, -3
Let b be (-15)/(-18)*(-20)/(-25). Sort b, -2/3, 0 in decreasing order.
b, 0, -2/3
Let j = 15 - 14.9. Put j, 1/3, 0 in decreasing order.
1/3, j, 0
Let n(z) = -z**2 - 9*z + 1. Let x be n(-8). Let k be 10/(-4)*(-2 - -4). Let a = k + x. Put 2, -2, a in ascending order.
-2, 2, a
Let p = -34 + 38. Suppose 0 = -4*l - u + 5*u + 24, 4*l - 3*u - 20 = 0. Suppose -2*b + 1 = -t, -6*b = -4*t - l*b + 8. Sort p, -1, t.
-1, p, t
Let b = 3 + -4. Let h = 2/23 - -55/161. Put b, h, 3 in decreasing order.
3, h, b
Let r = -5/9 - -2/9. Put r, -4, -3 in descending order.
r, -3, -4
Let j = -9 + 4. Let f = 33 - 98/3. Put j, 0, f in ascending order.
j, 0, f
Let a be (-21)/14*40/6. Let i = -8 - a. Let f(v) = v**3 - 2*v**2 + 1. Let h be f(1). Sort -4, i, h in increasing order.
-4, h, i
Let t = -2.5 - -0.5. Put -3, 0, -2/21, t in increasing order.
-3, t, -2/21, 0
Suppose -2*h - 2 = h - 5*p, 4*h + 3*p + 22 = 0. Suppose r - 2*g = -9, -2*g = -6*r + r - 5. Sort 0, r, h in ascending order.
h, 0, r
Let u = -9.22 + 6.3. Let m = u + -0.08. Sort -2, m, -1 in decreasing order.
-1, -2, m
Let w = -0.01 - 0.59. Let u = -2.9 - 0.1. Sort w, u, 1 in descending order.
1, w, u
Let d = -20 + 20.9. Let o = d - 1. Put o, 0.5, -1/7 in descending order.
0.5, o, -1/7
Let q = -6 + 2. Let a = q + 3. Sort -4/5, -2/13, a.
a, -4/5, -2/13
Suppose -4*v - 2*d = -8, 3*d - 3 + 0 = -3*v. Sort -5, v, -11.
-11, -5, v
Let k = 53/130 + 5/26. Let q = 0.06 + 0.94. Let z = 1.5 - q. Sort -4, k, z in decreasing order.
k, z, -4
Let i(u) = u**3 - 3*u - 1. Let l be i(2). Put -4, 4, l in decreasing order.
4, l, -4
Suppose -8 = -4*q + 12. Let x = -8 - -5. Let y be (-1)/(x + q - 1). Sort -4, -3, y in descending order.
y, -3, -4
Let s = 10 - 11. Sort -3, s, -10 in descending order.
s, -3, -10
Let c be (1/2)/(2/20). Let z(x) = -x**2 + 17*x - 72. Let i be z(10). Sort i, c, -5.
-5, i, c
Let f be (-2)/((-2)/1 - 0). Let b = 5 + -3. Suppose -z - b = -s + 3*s, 2*z + 3*s = -1. Put -4, f, z in decreasing order.
z, f, -4
Let d be 24/(-16)*(-2)/(-3). Let s be 3 - (d + 9/1). Let x(j) = -j**2 + 8*j + 1. Let z be x(8). Put s, z, -1 in decreasing order.
z, -1, s
Let c = -2/1823 - -31051/54690. Let q = c - 1/6. Let x = 3/10 + 1/2. Sort 5, x, q.
q, x, 5
Let a = -0.054 + 4.054. Put a, 4/3, 46, 5 in descending order.
46, 5, a, 4/3
Let l = -8 - 4. Let r = l - -14. Sort 0.5, -1/2, r in descending order.
r, 0.5, -1/2
Let y = -2.9 - -0.2. Let x = -2.4 - y. Put 1/8, x, 5 in increasing order.
1/8, x, 5
Let s = -0.032 + -2.968. Let l = -9 - -14. Put 2/11, s, l in descending order.
l, 2/11, s
Let o = -3 - -6. Let h be 1/6 + 14/12. Sort o, -2, h in descending order.
o, h, -2
Suppose -a - 4 = -0. Let s = -2 - -1. Sort -2, s, a.
a, -2, s
Let u be 2/6*-2*(-114)/(-2). Put -4, 3, u in decreasing order.
3, -4, u
Suppose 5*k = -3*y + 3 + 22, -3*k = -2*y - 15. Put -19, -4, y in descending order.
y, -4, -19
Suppose -1 = -2*g + 17. Let h(o) = o**3 - 24*o**2 + 24*o - 24. Let x be h(23). Put -4, g, x in increasing order.
-4, x, g
Let a(z) = z + 11. Let l be a(-10). Sort -3, 5, l.
-3, l, 5
Let i = 57 - 55. Sort -4, i, -33 in decreasing order.
i, -4, -33
Suppose 6*n + 31 = 13. Sort 3, 5, n, -5 in decreasing order.
5, 3, n, -5
Let j(v) = -v - 4. Let z be j(-9). Suppose 2*f + z = f. Sort f, -2, 5.
f, -2, 5
Let u(l) = -5*l**3 + l**2 - l. Let y be u(1). Suppose 38 - 26 = 3*h. Put 2, h, y in decreasing order.
h, 2, y
Suppose 10 = 6*h - h. Suppose 4*u = -r + 33, 8 - 41 = -3*u + h*r. Suppose 4 = 7*k - u*k. Put k, -0.1, -6 in ascending order.
-6, k, -0.1
Let h = 7/4 - 23/12. Put h, -2/11, 1/3 in increasing order.
-2/11, h, 1/3
Let k = -0.6 - -2.6. Let o = 704 - 1377/2. Let x = 16 - o. Put 5, x, k in decreasing order.
5, k, x
Let m = -3.5 - -3. Let t be (-16)/24 - 10/(-21). Let q = t - -83/105. Sort q, m, -0.1.
m, -0.1, q
Let t be ((-2)/3)/((-6)/(-27)). Sort 5, t, 0 in increasing order.
t, 0, 5
Let z = 5 + -3. Let m be (1 - 12/8)*0. Sort z, m, -3.
-3, m, z
Let f = -20 - -25. Put f, 4, 13 in increasing order.
4, f, 13
Let p(w) = -w**2 - 4. Let a = 13 - 13. Let k be p(a). Put -5, k, -2 in decreasing order.
-2, k, -5
Let i be 2/(-8) + 4/16. Suppose 5*z - z - t + 4 = 0, -12 = 4*z + t. Sort i, -3, z in descending order.
i, z, -3
Let i be ((-15)/6 + 3)/(2/20). Let f be ((-2)/5)/(1/5). Sort f, i, -1.
f, -1, i
Let q = 9 - 9. Sort 4, q, -1/8.
-1/8, q, 4
Let b = -9 + 12. Suppose -2*h + 7 = -2*k - b, -8 = 4*k. Suppose -5*j + 0*j - 40 = -4*v, 2*v = 3*j + 22. Sort h, 0, j in decreasing order.
h, 0, j
Let t = 311 + -321. Let s = 3 - -1. Put -4, s, t in ascending order.
t, -4, s
Let w = 59 - 57.7. Sort -0.3, -1/3, w, 2 in decreasing order.
2, w, -0.3, -1/3
Suppose 3*x + 10 = -5. Suppose -a - 3 = 4*n - 5, 4*a = n + 8. Sort 5, x, n in descending order.
5, n, x
Let x = 12.984 + 0.016. Sort -0.3, 5, x in decreasing order.
x, 5, -0.3
Suppose 0 = -8*f - 17 - 15. Let i(r) = r**3 - 6*r**2 - 7*r - 2. Let t be i(7). Let o(p) = p**2 + p + 1. Let a be o(t). Put f, a, 1 in descending order.
a, 1, f
Suppose -2*f + 4*t - 6 = 0, -2*f + 9 = -t + 2*t. Let n(x) = -5*x + 2 - 1 + x**2 + f. Let m be n(4). Put -0.5, -1, m in decreasing order.
m, -0.5, -1
Let t(i) = -5*i + 52. Let n be t(10). Let m(c) = c + 3. Let p be m(-8). Sort p, n, 5.
p, n, 5
Let j = 7.53 - -0.47. Let s = 8 + -6. Sort j, 4, s.
s, 4, j
Supp