. Put l, o, y in increasing order.
o, l, y
Let u = 161 - 158. Put -2, u, 18 in descending order.
18, u, -2
Suppose 2*l + 3*x + 5 = -0*l, 1 = -2*l + x. Let t = -4 + -3. Put l, t, 3 in decreasing order.
3, l, t
Suppose 0 = h - 3*h - y - 6, h + 3 = -4*y. Suppose 2*a = -2*a + 16. Let g be (3 + -1)/(a/(-2)). Sort g, h, 3.
h, g, 3
Suppose -6*o + 2*o - 8 = 0. Let y = 0.037 - 3.037. Put 5, o, y in descending order.
5, o, y
Suppose 4*l = 3*l - 2. Suppose 3*q = -2*y - y - 6, 0 = 4*y - 4*q. Let r = y + 4. Sort 2, l, r.
l, 2, r
Suppose 0 = 12*i - 5*i + 7. Sort -4, -2, i, 2 in increasing order.
-4, -2, i, 2
Suppose 0*f + 6 = f. Let c = 6 - f. Put c, 0.5, -0.2 in descending order.
0.5, c, -0.2
Let f = 1 + -1. Let m(l) = -l**2 - 18*l + 20. Let d be m(-21). Let h = 40 + d. Sort f, 1, h.
h, f, 1
Suppose 0 = -18*j + 14*j + 4. Put j, 4, 2 in ascending order.
j, 2, 4
Suppose 2*m = -4 - 2. Let k = 253 + -248. Put -4, m, k in ascending order.
-4, m, k
Suppose -3*k = k + 8, 2*k = 2*p - 12. Let d(f) = -f**2 - 2*f + 4. Let x be d(-4). Sort p, -3, x in decreasing order.
p, -3, x
Let h be 4 - 4 - (1 + -3). Let t be h/(-8) - (-85)/20. Suppose 0 = -t*b, -b = -2*a - 0*b. Put -5, 2, a in descending order.
2, a, -5
Suppose -2*l + 60 = l. Suppose -a + l = -5*a. Let g = -4 - -5. Put 5, g, a in ascending order.
a, g, 5
Let k = 26 - 28. Put 0.02, 4, -0.1, k in decreasing order.
4, 0.02, -0.1, k
Let z = 0.06 - -0.14. Let l = 0 - 0.5. Put l, z, -4 in ascending order.
-4, l, z
Let w = 8 + -8. Suppose -5*s - 14 = -v - w*s, -v - 2*s = 0. Put 5, v, 1 in descending order.
5, v, 1
Let n(j) = j**2 + 2*j + 2. Let t be n(-3). Suppose 0*w + 20 = t*w. Suppose 0 = 4*p - w, 4*z = -3*p + p + 14. Sort z, -3, -4 in descending order.
z, -3, -4
Let d = 2.19 - 1.19. Sort -1/4, 2/5, d, -3 in descending order.
d, 2/5, -1/4, -3
Let c = 0 + 0.5. Let z = c + 0. Let d = 737/4 - 184. Put 0.1, d, z in descending order.
z, d, 0.1
Suppose -2*x + 4*z - 5 = 25, -3*x = -5*z + 41. Suppose 2*i + 4 = 0, 2*i = 5*u + 9 + 2. Sort u, -5, x in decreasing order.
u, -5, x
Let l(u) = -u**3 + 2*u**2 - 2. Let z be l(2). Let h be 3 + 0 + z/2. Put -1/8, h, 3 in descending order.
3, h, -1/8
Let l = -1 + -3. Suppose -1 = u + 4. Let c = 3 + u. Sort c, l, 5.
l, c, 5
Let c = 1.7 + -12.4. Let r = c + 11. Put -1, r, 2/5 in decreasing order.
2/5, r, -1
Let d = -274/3 + 90. Put d, 1/8, -5 in decreasing order.
1/8, d, -5
Suppose -9 = s - 3*a + 7, 2*s + 5*a - 12 = 0. Let b(i) = i + 3. Let w be b(s). Put -4, w, 1 in descending order.
1, w, -4
Let v = 1.3 - 1.5. Sort 0, v, -0.1 in ascending order.
v, -0.1, 0
Let z = 97/7 + -14. Let b = -18/13 - -28/39. Sort b, z, -3/2 in increasing order.
-3/2, b, z
Let v(f) = -f**3 + 2*f**2 + 3*f - 2. Let g be v(4). Sort g, 0, -2, -3 in descending order.
0, -2, -3, g
Let x = -4 - -9. Let c = 3.964 + 0.036. Let s = -4 + 4.4. Put s, c, x in decreasing order.
x, c, s
Let d(f) = f**3 + 22*f**2 + 20*f - 25. Let o be d(-21). Sort o, 0, 15 in descending order.
15, 0, o
Suppose -y + 2*y = -5. Let x be (-6)/(-70) + (-4)/14. Put y, x, 6/7 in decreasing order.
6/7, x, y
Let b = -14 + 14.5. Sort b, -1, -3 in decreasing order.
b, -1, -3
Let n be 4/12 - (-7)/(-39). Let k = -17 + 15. Put n, 2/7, k in ascending order.
k, n, 2/7
Suppose 3*g = 5*g. Sort g, -2/9, -2/7 in increasing order.
-2/7, -2/9, g
Let n(w) = 2*w - 12. Let k be n(6). Sort k, 5, -0.1 in ascending order.
-0.1, k, 5
Let p(u) = -u**3 + u**2 + 5. Let c be p(0). Let d be -3*4/(-12)*c. Sort d, -5, -3.
-5, -3, d
Suppose 4 = u + 1. Suppose -16 + 14 = 2*x. Let j(l) = l + 3. Let i be j(-6). Put u, i, x in descending order.
u, x, i
Let j = 4 + -7. Let z = j - -2. Let q = 72/35 + -13/7. Put -5, q, z in ascending order.
-5, z, q
Suppose w + 8 = -3*w. Let t be 4*-1 + 7 + -4. Sort w, 5, t in ascending order.
w, t, 5
Let j = 0.07 + -0.37. Let b = 4.7 + 0.3. Let c = b - 9. Put c, 0.2, j in descending order.
0.2, j, c
Suppose 6*h - h = 10. Suppose 0 = -0*d + 4*d. Sort d, h, -5 in increasing order.
-5, d, h
Let p = 1 + -2. Put 3, p, -3 in increasing order.
-3, p, 3
Let j(r) = 4*r**2 + r + 0*r**2 - 5*r**2. Let m be j(-1). Put 4, m, 5 in increasing order.
m, 4, 5
Let l = -0.083 - -7.483. Let i = l - 12. Let d = i + 5. Sort d, 1/4, 4 in decreasing order.
4, d, 1/4
Let c(g) = 0*g + 0*g**2 - g - 3*g**2 + 2 + 4*g**2. Let u be c(0). Sort -3, u, 1 in increasing order.
-3, 1, u
Let x = 35 + -34. Sort x, -12, 3 in descending order.
3, x, -12
Let i = 24 - 26. Let c = 169/7 + -24. Put i, c, 0.4 in decreasing order.
0.4, c, i
Suppose -s - 38 = -u, -4*u - 65 = 2*s + 17. Put 5, -2, s in ascending order.
s, -2, 5
Let i = 0 + -0.4. Let p = -0.06 - -4.56. Let f = -5 + p. Sort i, f, -1/4 in ascending order.
f, i, -1/4
Let x = 9 - -8. Suppose -5*g = -x + 7. Sort 0, -1, g in decreasing order.
g, 0, -1
Suppose -z - 3*q = -18, -z + 2*q + 22 = 6*q. Suppose -z = -4*d - 2. Let v be -2*(-3)/(-6)*d. Put -4, 1, v in ascending order.
-4, v, 1
Let c be (-2 - 14)*(-3)/3. Suppose -j = 3*j + c. Let k = -6 - j. Put k, -4, -1 in ascending order.
-4, k, -1
Let z = -5 + 12. Suppose -2*d + z*d - 20 = 0. Let f = -1.2 - -1.4. Put f, 3, d in decreasing order.
d, 3, f
Let b(m) = -m**2 + 8*m - 2. Let o be b(8). Sort -5, 4, o in decreasing order.
4, o, -5
Let j = -188/3 + 63. Put -1/5, 2/9, j, 0.2 in ascending order.
-1/5, 0.2, 2/9, j
Suppose v + 12 = 3*v. Let f(x) = x**2 - 6*x + 4. Let w be f(v). Suppose 4*s + 28 = -4*m + 12, m - w*s + 4 = 0. Sort m, 0, 4 in ascending order.
m, 0, 4
Suppose 1 = 2*w + 3. Let b be 4/3*(-6)/(-4). Put w, b, 4 in decreasing order.
4, b, w
Let n(h) = -h - 7. Let s be n(-5). Suppose 0 = r + 5*r - 6. Sort r, 3, s in descending order.
3, r, s
Suppose -17 = 3*q - 2. Suppose -c + 2 = -0. Suppose -13*u = -16*u - 9. Put q, c, u in decreasing order.
c, u, q
Let x(s) = -s**2 - 5*s - 4. Let h be x(-4). Let c be h + (1 - 13/11). Let m = 134 + -138. Put -2/15, c, m in increasing order.
m, c, -2/15
Let r(h) = h + 5. Let q be r(-6). Let f = q + 1. Suppose f = 4*z + z. Sort -5, -4, z.
-5, -4, z
Let c = -9 + 5. Suppose -4*m = 3*d - 13 - 22, d = 2*m - 5. Suppose m*s = 3*w - 9, -4*w - 4*s - 13 = 7. Sort c, w, 4.
c, w, 4
Let a(z) = -6*z + 11. Let q be a(1). Sort -3, 36, q, 0 in decreasing order.
36, q, 0, -3
Let x be ((-4)/3)/(19/57). Let u = 17 - 15. Sort u, 0, x in decreasing order.
u, 0, x
Suppose -12 + 4 = -4*i - 2*s, 3*i - 6 = 5*s. Sort -4/3, 5, -0.5, i in descending order.
5, i, -0.5, -4/3
Let q = 3 + -2. Suppose -4*m = -3 + 7. Put q, m, 2 in increasing order.
m, q, 2
Let u(b) = 2*b. Let k be u(2). Let l = -0.13 - -4.53. Let q = -0.6 - l. Put k, -0.4, q in descending order.
k, -0.4, q
Let z = -12 + 11. Sort z, 5, 1.
z, 1, 5
Let s = 35.8 + -36. Put 2/9, -2/5, s in ascending order.
-2/5, s, 2/9
Suppose 2*s - s - 2 = -p, -s + 6 = -p. Sort p, 5, 2.
p, 2, 5
Let c = -18 - -36. Let v = c - 14. Sort -3, 5, v.
-3, v, 5
Let o = 28 - 26. Put -4, -0.3, o in decreasing order.
o, -0.3, -4
Let w = -4 + 6. Let k be (-5)/(w/(0 - -2)). Sort 4, k, 0 in descending order.
4, 0, k
Let v = 47/3 - 49/3. Let u = 1 - 1. Put -2, v, u in decreasing order.
u, v, -2
Let p be ((-70)/(-4))/(-5)*-2. Let t(y) = 2*y + 5. Let u(h) = -h - 2. Let i(w) = p*u(w) + 3*t(w). Let n be i(0). Put 0, n, 3 in decreasing order.
3, n, 0
Let k = 47/55 + -5/11. Sort -5/6, 3, 2, k in decreasing order.
3, 2, k, -5/6
Let r be (8 - 8)/(-1 - -3). Let s be (r*1/4)/(-2). Sort -1/2, 1/5, s in decreasing order.
1/5, s, -1/2
Let k = 3 - 8. Let z be ((-72)/(-20))/((-9)/(-30)). Let u be ((-1)/4)/(k/z). Sort 2/5, 2/3, u in descending order.
2/3, u, 2/5
Let g = 0.7 - -0.3. Let p(q) = 2*q - 2. Let m be p(2). Let w = 0.13 - 5.13. Put w, g, m in ascending order.
w, g, m
Let n = 19 - 22. Sort -2, 5, n in decreasing order.
5, -2, n
Suppose 2*c = -c + 9. Suppose 2*j = -5*r - 6, -3*j - 3*r - 2 = -j. Put j, c, -1 in ascending order.
-1, j, c
Suppose b - 12 = -2*b. Suppose -3*c + n = -0*c, -2*c + 2*n = -b. Suppose -3*m = s + 3 + 1, -4*m - 2 = 3*s. Sort 5, c, s in decreasing order.
5, s, c
Suppose 4*c = x - 4, 1 = 2*x - 5*c - 4. Suppose -3*v = 4*b - 59, 2*b + 3 = 4*v + 5. Sort 5, x, b in ascending order.
x, 5, b
Suppose q = 4*s, 2*s = -q + 3*s. Put -1, q, -5, -2 in decreasing order.
q, -1, -2, -5
Let z = 1.5 + -5.5. Put z, 2/3, -2 in decreasing order.
2/3, -2, z
Suppose 