pose 0 = -l - 0*l. Let i be (l + -1)/(0 - -1). Put x, -4, i in ascending order.
-4, i, x
Let k be 6/15 + (-374)/10. Let t be (-2)/7 - k/7. Put 0.1, t, 4 in increasing order.
0.1, 4, t
Let u = 3 + 0. Suppose 0 = -3*f + k - 13, -5*f + 3*k - u = 6*k. Let x(r) = 3*r**3 + 2*r**2 - r. Let m be x(1). Sort 0, f, m in ascending order.
f, 0, m
Suppose 8*p = 6*p - 2. Put -5, -3, p in descending order.
p, -3, -5
Let v be (-1)/(-3) - (-60)/9. Let i be (2/v)/((-9)/21). Let s be 2/(-5) - 39/(-60). Sort i, s, 5 in decreasing order.
5, s, i
Let t be ((-2)/4)/(3/(-18)). Let u = t - -2. Suppose 2*d = u*d + 15. Sort 0, d, -2 in decreasing order.
0, -2, d
Let g = -3.94 + -0.06. Let p = -0.08 + 3.08. Let t = p - 2.7. Put g, 0.5, t in increasing order.
g, t, 0.5
Let q = -6 + 14. Let z be 4/(-18) - 112/(-18). Let s = q - z. Sort s, 1, -3 in descending order.
s, 1, -3
Let c = -54.9 + 56.9. Let f be 10/(-12)*6/(-20). Put c, f, -2 in descending order.
c, f, -2
Let k be 12/14 - (-2)/14. Suppose -k = 3*z - 4*f, 5 + 7 = 4*z - 2*f. Sort 1, z, 2 in increasing order.
1, 2, z
Suppose 0 = -k - 12*k - 52. Sort -1, 8, k, 1 in ascending order.
k, -1, 1, 8
Let q(o) = 2*o + 1. Suppose 2*i + 6 = -0. Let f be q(i). Sort 4, f, -2 in descending order.
4, -2, f
Let s(h) = 23*h**2 - 2*h - 1. Let v be s(-1). Suppose -w - v = -4*n + w, -n + 20 = -4*w. Let c be ((-1)/2*n)/(-2). Put 5, 3, c in descending order.
5, 3, c
Let n be 1/(-4 + 38/10). Put -1, 2, n in increasing order.
n, -1, 2
Let h(k) = -k**2 - 12*k + 1. Let t be h(-12). Let s(z) = z**2 - 5*z. Let f be s(6). Let i be -3*(-2 - (-8)/f). Put 3, t, i in ascending order.
t, i, 3
Let c = -44 + 43. Put c, -4, 3, -9 in descending order.
3, c, -4, -9
Let a(c) = -c**2 + 5*c. Let b be a(5). Let d be b + 0 + (-1)/1. Let w be 0*(2 - (-9)/(-6)). Put 3, d, w in descending order.
3, w, d
Let x = 3 - 3.2. Let j = 12 + -19. Let t = 7.3 + j. Put x, t, -5 in descending order.
t, x, -5
Let m be 4/(-20) + (-6)/(-10). Put m, -1/2, 0.1 in ascending order.
-1/2, 0.1, m
Suppose m - 5 = -2. Let l be 3*m/((-18)/(-10)). Let i = -7 - -5. Sort l, i, 2 in descending order.
l, 2, i
Suppose 5*d + a = 0, a = -0*a. Let f be 0*(0 - 1 - -2). Let i(s) = -s**2 + 5. Let w be i(f). Put d, -3, w in increasing order.
-3, d, w
Suppose 0 = -4*r - 0 - 4. Suppose 4*c - 2*c + 12 = 0. Let g be c/(-8) - 9/(-4). Sort r, g, 4 in increasing order.
r, g, 4
Let t be (-1)/((0 + -1)*-1). Let h be -1 + 0 + (t - 0). Let q = -1 - h. Sort -4, 2, q in decreasing order.
2, q, -4
Suppose 4*o = -0*w + 5*w - 24, -5*o - 17 = -3*w. Sort o, -3, -2, -6 in increasing order.
-6, -3, -2, o
Let z = 2 - 0. Let k = 0.17 + -7.17. Let x = z + k. Put -0.3, x, -1/4 in descending order.
-1/4, -0.3, x
Let p(b) = b**2 + 2*b - 12. Let w be p(-5). Let h = w + 0. Suppose 0*o = -3*o + 6. Sort o, h, 1 in increasing order.
1, o, h
Let d = 0.41 + -0.11. Let t = 0 - 0.1. Let z = 4.1 + t. Put z, 2/11, d in decreasing order.
z, d, 2/11
Let u be (-4)/(-10) + 52/20. Suppose 7*a - u*a - 16 = 0. Let b be 1/4 - (-6)/8. Sort b, a, 2/5 in decreasing order.
a, b, 2/5
Let x = 7 - 12. Let s = x + 3. Put 0.3, 3, s in increasing order.
s, 0.3, 3
Let m = -3.5 - -3. Let z = -15 - -13. Let s be ((-2)/4)/(1/(-2)). Put m, z, s in increasing order.
z, m, s
Suppose 5*s + 0*p - 5*p + 10 = 0, -p = 4*s + 18. Suppose -26 + 6 = -4*c. Sort c, 0, s.
s, 0, c
Let u = -9.9 - -6.9. Let o be (-4)/(-2) + 42/(-18). Put u, -4, o in decreasing order.
o, u, -4
Let y = -9 - -3. Let v = -5.9 - y. Sort 2, v, -2.
-2, v, 2
Suppose 5*z - 15 = -0*z. Let f(p) = -p**3 - 7*p**2 + 9*p + 7. Let s be f(-8). Put s, 1, z in descending order.
z, 1, s
Let s = 78.9 + -78. Sort s, 2, 0 in decreasing order.
2, s, 0
Let t = -21 + 18. Put -5, -4, t in descending order.
t, -4, -5
Let i(a) = a - 2. Let g be i(5). Suppose -4*f = 5*z + 116, -g*z = -0*f - f + 56. Let n be (4/(-8))/((-2)/z). Sort n, 0, -2.
n, -2, 0
Let u = -4 - -16. Suppose b = 5*b + u, 4*b + 17 = -5*d. Let y be ((-12)/(-10))/((-12)/40). Put 0, d, y in increasing order.
y, d, 0
Let z be 1/(1 + (-9)/(-6)). Sort -2/5, -2, z in decreasing order.
z, -2/5, -2
Let t = -0.86 - 1.14. Sort 3, t, -13, 1 in descending order.
3, 1, t, -13
Suppose 28*x = 24*x + 16. Put x, 2, 12 in ascending order.
2, x, 12
Suppose 2 + 3 = k. Let d = 12 - 0. Suppose -2*a - d = -2*m, -5*a - 32 = 4*m - 11. Sort a, -3, k in decreasing order.
k, -3, a
Let b be (0 + 2)/(2/38). Let j be b/(-4) + 4/8. Let m(f) = -f**2 - 11*f - 13. Let w be m(j). Put 0.5, w, -0.3 in ascending order.
-0.3, 0.5, w
Suppose 18*v = 11 + 61. Put 2, -4, v, -3 in decreasing order.
v, 2, -3, -4
Let g = 18 + -13. Suppose -3*k = 2*k - g. Sort k, 6, 4 in descending order.
6, 4, k
Suppose -2*i - s + 1 = 0, 3*s = -3*i - 0*i - 6. Put -4, 1, i in decreasing order.
i, 1, -4
Let u = -0.02 + 0.42. Let p = -0.7 + u. Sort -3, p, -2 in decreasing order.
p, -2, -3
Let b = -21 - -20.85. Let y = 0.45 + b. Let s be (-2 - 0)*(-5)/(-2). Sort y, -3/7, s in descending order.
y, -3/7, s
Let a = -73934 - -301841/4. Let g = 1512 - a. Let i = -14 - g. Put i, -2, -4 in descending order.
i, -2, -4
Let q be (-9)/(-1 + 4) + (-3 - -3). Suppose t = x - 3, -x + 13 = -t - 2*t. Sort 2, q, x in ascending order.
q, x, 2
Suppose 4 = -2*c + 4*c. Let b be (c + 9/(-12))*-16. Let z be b/(-8) - 2/(-4). Sort z, -3, -5 in descending order.
z, -3, -5
Let k(m) = 4*m + 2. Let q be k(5). Let u = q + -20. Put -4, u, -2 in ascending order.
-4, -2, u
Let y = 18 + -17. Put 8, -3, y in ascending order.
-3, y, 8
Let d = 0.92 + 0.08. Sort -0.11, d, -1 in decreasing order.
d, -0.11, -1
Suppose 0 = 31*q - 36*q + 5. Put q, -10, 2 in descending order.
2, q, -10
Let q = 2 - 1. Let j = -0.22 - -0.12. Sort j, 0.4, q.
j, 0.4, q
Let g be 20/30 + 16/(-6). Put 4, 3, g in increasing order.
g, 3, 4
Let z(q) = q**3 - 6*q**2 - q + 7. Let s be z(6). Let p be -1 + 2 + s/1. Put p, -2, 3 in decreasing order.
3, p, -2
Suppose 3*f - 3 = 6*f. Let u = 0.32 - 0.3. Let v = u + 2.98. Sort f, 3/4, v in decreasing order.
v, 3/4, f
Suppose 2*g = -3*m - 14 + 11, -3 = 3*m - 2*g. Let c = -10 + 6. Put c, m, 1 in descending order.
1, m, c
Suppose 4*f = -f + 15. Suppose -f*q = -4*q + 3. Suppose 0*v - 14 = -s - 4*v, 4*v - 16 = 0. Put q, s, -4 in descending order.
q, s, -4
Let m be -1*1/2*(-20)/50. Sort 5/4, m, 0.3, 5.
m, 0.3, 5/4, 5
Let m = 1 + -1. Let k = -0.55 + 0.05. Let i = m - k. Sort -2, 0, i in increasing order.
-2, 0, i
Suppose 0 = z - 2*j + 3 - 1, 16 = 3*z + 5*j. Sort -2, -3, z, -5 in decreasing order.
z, -2, -3, -5
Let t(n) = -n**2 - 8*n. Suppose 2 + 3 = -v. Let z be t(v). Suppose 4*u = -3*y + 3*u - 3, -3*y - 5*u = z. Sort -1, y, -2/5 in decreasing order.
y, -2/5, -1
Let q(r) = -r**3 + 2*r**2 - 3*r + 2. Let n be q(2). Let u = n - 0. Sort 0, 2, u in descending order.
2, 0, u
Let r = -21 - -17. Sort -3, r, 0.
r, -3, 0
Let h(f) = 3*f**2 + f - 1. Let r be h(1). Suppose r*v - 4 = 2*v. Put -0.4, -2, v in descending order.
v, -0.4, -2
Suppose -15 = v - 4*o, -4*o = 4*v - 3*o - 25. Suppose 0*p - 4*p = 4. Let r = p + 2. Sort r, v, 4 in increasing order.
r, 4, v
Let g = -94.6 + 95. Sort g, 0.044, -2/11 in decreasing order.
g, 0.044, -2/11
Suppose 4 = -4*w - 0*w. Let a = 6 - w. Sort 1/5, -1/3, a in ascending order.
-1/3, 1/5, a
Let h = 2 - 2.4. Let y = -4.1 + 0.1. Sort y, h, 4 in descending order.
4, h, y
Suppose -11*v + 2*v = -45. Sort 6, v, 3, 0 in decreasing order.
6, v, 3, 0
Let o = -16 + 14.8. Let k = o + 1.21. Sort -1/2, 0.5, k in descending order.
0.5, k, -1/2
Suppose -3*d = 4*m - 64, 0*m + 68 = 5*d - 3*m. Suppose -4*z = d, 3*z + 3 = l + z. Suppose h + 7 = -6*h. Sort h, -4, l.
l, -4, h
Suppose -7*c + 4*c = -15. Let l = -128/9 + 14. Sort c, -1, l in descending order.
c, l, -1
Suppose 0 = -5*z + w, 4*z - z = -3*w. Let q be 2 - (z - (-3 + 5)). Sort 3, 0, q in descending order.
q, 3, 0
Let b = 3.98 + -4. Let o = 0.08 - -0.2. Let i = b - o. Sort 2/17, i, -1 in descending order.
2/17, i, -1
Let f(d) = d**2 + 8*d + 7. Let z be f(-6). Sort -2, 1, z in descending order.
1, -2, z
Suppose 2 = -2*s + 8. Let o = 21 - 22. Sort s, 1, o in ascending order.
o, 1, s
Let g be (-4 + 5)*(-18)/(-10) - 2. Put 61, g, -1/8 in increasing order.
g, -1/8, 61
Let d(o) = -7*o**2 + o**2 + 3*o**2 - 1 + 2*o**2 - o. Let z be d(-1). Put -5, 4, z in decreasing order.
4, z, -5
Let p be 2 + ((-3)/1 - 