= -5 - m. Sort -4, l, 5 in ascending order.
-4, l, 5
Let o = -0.34 + -0.06. Let y(i) = 4*i - 14. Let d be y(4). Put o, d, 2/3 in increasing order.
o, 2/3, d
Suppose -2*h = -a - 0*a + 21, -h + 4*a - 14 = 0. Let c = h + 10. Put -5, 1/9, c in descending order.
1/9, c, -5
Let p = 13 + -10. Sort p, -0.5, 2/3.
-0.5, 2/3, p
Let d = 142 - 177. Put 2/5, 0, d in decreasing order.
2/5, 0, d
Let z be (0 + -21)/7 + (0 - -6). Let f = 2 - 1. Let n = -2 + 0. Put f, z, n in descending order.
z, f, n
Suppose -4*q + 15 = q. Put 6, q, -1 in descending order.
6, q, -1
Suppose 25 = -9*i - 2. Put -4, i, -39 in increasing order.
-39, -4, i
Let n = 0.3 + 0.3. Let d = -2.6 + n. Let a = -0.3 - 2.7. Put a, d, 3 in ascending order.
a, d, 3
Let d = -0.24 - -4.24. Let w = -2 - -6. Let m = w - 7. Sort d, m, -0.5.
m, -0.5, d
Let p be 5/7 + (-20)/(-70). Put -4, p, -0.3 in increasing order.
-4, -0.3, p
Let o be (21/(-6))/(2/(-4)). Suppose -5*f - o = 3. Let y(n) = 2*n + 1. Let r be y(f). Put -5, r, 3 in descending order.
3, r, -5
Let u be (-3 - -6 - 3)/3. Sort u, -4, -5.
-5, -4, u
Let g(l) be the first derivative of 2*l**3/3 - l**2/2 - l + 6. Let o be g(-1). Sort o, -4, 3 in descending order.
3, o, -4
Suppose 0 = t + t + 4. Let f be -2*((-2)/4 - t). Let s = 4 - -1. Sort 1, s, f in increasing order.
f, 1, s
Let k = -96 + 92. Sort k, 2/3, 0.07 in increasing order.
k, 0.07, 2/3
Let b = 0.04 - -0.36. Let y = -18 - -17.8. Let h = 0.5 - 0.8. Sort b, h, y in decreasing order.
b, y, h
Let l = 0.1 + -0.2. Let s = 0.107 + -0.007. Let g = s + l. Sort 1, g, -2 in decreasing order.
1, g, -2
Suppose -3*l + 6*l = 2*z + 1, -2*l = -6. Put 3, z, 2, 6 in increasing order.
2, 3, z, 6
Let s(v) = -4*v + 2. Let a be s(3). Let d = -5 - a. Sort -4, d, 0 in ascending order.
-4, 0, d
Let z = 30 - 18. Let k = 2 - z. Let s = k + 6. Put s, -3, -1 in decreasing order.
-1, -3, s
Let j(l) = -l + 2. Let k be j(0). Suppose -2*n - d - 7 = -k*d, 0 = -3*d + 3. Let v be 1*(n/(-21) - 0). Sort 3, v, 1/2 in increasing order.
v, 1/2, 3
Let k be (-1)/(-4) + (-28)/(-48). Let x = 19 - 23. Sort k, -3, x in descending order.
k, -3, x
Suppose -5*l - 3*x - 22 = 0, 6*x = 2*l + 3*x + 13. Let f = 6 + l. Sort -2, -5, f in descending order.
f, -2, -5
Let x be 1*(-2)/18*-3. Let i = 5.3 - 5. Let g = 3.6 + -3.4. Put x, g, i in increasing order.
g, i, x
Suppose 3 + 2 = -k, -80 = 5*g + 4*k. Let m be g/15*(-5)/2. Suppose 0 = j - 3*j + 10. Sort m, -1, j in descending order.
j, m, -1
Let a be 101 + ((-6)/2)/3. Suppose 3*r = 8*r - a. Suppose 0*g - 4*g = r. Put g, -4, -1 in descending order.
-1, -4, g
Let u = 20 - 19. Sort 4, -10, u in decreasing order.
4, u, -10
Let k = -7 + 5. Let r = k - -1. Let g = r + 4. Sort -5, -2/3, g in decreasing order.
g, -2/3, -5
Suppose 9*l + 32 + 22 = 0. Put 3, 2, l, -4 in ascending order.
l, -4, 2, 3
Let m = 18 + -22. Let u(f) = f**2 - 5. Let q be u(0). Sort 3/5, q, m in descending order.
3/5, m, q
Let u be (-26)/(-40) - 2/8. Let j = u + 1/10. Put j, 1, -0.3 in increasing order.
-0.3, j, 1
Let d be (-2)/6 - 35/(-15). Suppose -f + 0*f - z = d, 3*f + 5 = -2*z. Put f, -5, 6 in decreasing order.
6, f, -5
Let j = 3.91 - -0.09. Let y = j - 3.6. Put -0.5, -1, y in decreasing order.
y, -0.5, -1
Suppose 24*g = 20*g. Suppose 2*v + 16 = -2*v. Sort g, v, 1 in decreasing order.
1, g, v
Let f = 15.4 - 15. Let w = 0 - 0.5. Sort f, w, -1 in descending order.
f, w, -1
Let h be (1 + 4)*(-7)/(-7). Put h, -3, -11 in decreasing order.
h, -3, -11
Let s be (-9)/12*((-15)/5 - 1). Put -4, s, -1 in descending order.
s, -1, -4
Suppose 4*f - 2 = 18. Let w(j) = -j**3 + j**2 - j - 2. Let l be w(0). Sort f, l, -4 in increasing order.
-4, l, f
Let j = -25.5 - -25. Let p = -3 + 2.9. Let b = 0.4 - -0.1. Sort j, p, b in descending order.
b, p, j
Let c = 80 + -80. Sort c, -4/3, -20.
-20, -4/3, c
Let g = -355/7 - -51. Let m = -198 + 397/2. Sort -1, g, m in decreasing order.
m, g, -1
Let p be (10/(-75))/(3/(-9)). Put 3, -1, p, 1/3 in increasing order.
-1, 1/3, p, 3
Let p be (-6)/2 - (-172)/(-44). Let b = p - -499/77. Sort 2, -0.1, b.
b, -0.1, 2
Let o = -6 - -6.1. Suppose s - 5 = -2. Put s, -0.3, o in descending order.
s, o, -0.3
Let a be 20/(-130) + 40/91. Let u(l) = l**3 + 5*l**2 + 2*l - 4. Let z be u(-4). Sort -1/3, a, z in descending order.
z, a, -1/3
Suppose 3*c = -5*i - 2 + 5, -2*c + 2 = 2*i. Let j be 0 + (-4)/(-2) - -2. Sort i, -2, j.
-2, i, j
Suppose -26*u = -18*u - 40. Let z = 3 - 2. Sort u, z, -4 in increasing order.
-4, z, u
Let x = -0.02 + 0.09. Let b = x + -3.07. Let k = -0.02 + -0.38. Sort -0.1, b, k in increasing order.
b, k, -0.1
Let c be 100/160 + 1/8*-2. Suppose 0*y + 14 = y + 5*z, 0 = 2*y + 4*z - 4. Let v be (y/(-5) - 1) + 0. Sort v, 3/2, c in descending order.
3/2, c, v
Let h = -13 + 11. Sort 0, -0.06, h in ascending order.
h, -0.06, 0
Let f = -160.79 + 160. Let n = -0.21 + f. Put n, 0.3, 1/10 in decreasing order.
0.3, 1/10, n
Let o(k) = k**3 + k**2 - 3*k - 4. Let v be o(-3). Sort -2, 1, v in descending order.
1, -2, v
Let u(x) = x**2 - 5*x - 1. Let c be u(6). Suppose c*s - 3 = -13. Sort -1, -6, s in increasing order.
-6, s, -1
Let y = -281/4 + 70. Sort 0, 0.6, 2/15, y in increasing order.
y, 0, 2/15, 0.6
Suppose 8 + 2 = 2*g. Suppose -3 = -w - 1. Suppose 4*x - 4 = -0*x - 4*h, -1 = 4*x + 3*h. Put x, g, w in descending order.
g, w, x
Suppose 0*j = 2*j - 12. Suppose j*l - 10 = l. Let i be 2/(3/(-9)*l). Sort i, -2, 3 in descending order.
3, -2, i
Let d = -0.6 + 0.9. Let v = 2.4 + 0.6. Let h = v - 3.2. Sort d, -2, h.
-2, h, d
Let q = 21 + -17. Sort -4, 5, q in descending order.
5, q, -4
Let x = -4 + 9. Let k be -2 - ((-20)/14 - 0). Sort k, -0.4, x.
k, -0.4, x
Let t = -4 - -3. Let c be -1 + -1 + (-1 - -1). Sort 3, c, t in increasing order.
c, t, 3
Let x be (6/(-392))/(8/42). Let t = x - 1/16. Let f be (((-2)/3)/2)/1. Sort t, -3, f in descending order.
t, f, -3
Let u = 16.5 - 16. Let h = u - 0.1. Put -7, h, 3/7 in decreasing order.
3/7, h, -7
Suppose 4*m = 3*m + 1. Let s be 1/2 - (-6)/(-4). Put -5, s, m in descending order.
m, s, -5
Suppose 0 = s + s - 8. Sort 3, s, -3 in decreasing order.
s, 3, -3
Suppose 32 = 5*n + 27. Sort 2/17, 31/3, 5, n in increasing order.
2/17, n, 5, 31/3
Let u = -13 - -18. Let q = 11 - 8. Sort u, 1, q.
1, q, u
Let p(q) = -q - 2. Let d be p(2). Let c = -19 - -130/7. Put c, d, 0.1 in descending order.
0.1, c, d
Suppose 2*s + 3*j - 4*j - 12 = 0, -3*s = -3*j - 24. Suppose 0 = 4*f - 5*f - 2*g + 4, -16 = -s*g. Put -1, f, -3 in decreasing order.
-1, -3, f
Let f = -12 + 17. Suppose 5*r - o - 8 + 23 = 0, -f*o = -4*r + 9. Let k be (-14 + 8)*1/(-2). Put k, r, -3 in decreasing order.
k, -3, r
Let k = -24 - -27. Let n be 1/(-3)*(-9)/6. Suppose 0 = d - 2*d + 5. Put n, k, d in decreasing order.
d, k, n
Let k = -6 + 5. Let z = 0.8 + k. Let g = -0.6 - z. Sort -2, g, 5 in descending order.
5, g, -2
Let o = -24 - -21.8. Let a = o - -17.2. Let z = -10 + a. Put 3, z, -0.3 in ascending order.
-0.3, 3, z
Suppose 6 = -2*f + 10. Let i(n) = n**2 + 3*n + 1. Let m be i(-1). Put f, -3, m in descending order.
f, m, -3
Let m(v) = 5*v**3 + v. Let f(h) = -4*h**3 + h**2 - 2*h + 1. Let n(w) = 4*f(w) + 3*m(w). Let y be n(3). Put y, 2, -3 in ascending order.
-3, y, 2
Let z = 39 - 40. Put 4, 3, z in ascending order.
z, 3, 4
Let f = 0.7 - 1. Let d = 6 + -3. Put 0.3, d, f in descending order.
d, 0.3, f
Let s = 17 + -1. Suppose -s = -4*r, 0*a + 2*r - 8 = -2*a. Sort 4, 0.1, a.
a, 0.1, 4
Let d = -0.5 + -1.5. Let k = 146 + -151. Sort d, k, -0.5 in descending order.
-0.5, d, k
Suppose 2*g - i + 1 = 0, i = -5*g - 4*i + 20. Put g, -1, 0.4 in descending order.
g, 0.4, -1
Suppose h + 32 = -5*i + 3*h, 5*i - 5*h + 35 = 0. Let m(o) = 1. Let p(s) = s + 4. Let f(v) = 4*m(v) + p(v). Let j be f(i). Sort -4, j, -5 in increasing order.
-5, -4, j
Suppose -4*s - 4 = 2*v, 5*s - 5*v + 3 + 17 = 0. Sort 5, -1, s.
s, -1, 5
Let c(r) = -2*r - 10. Let y be c(-5). Sort 1, y, 5 in ascending order.
y, 1, 5
Let p = -1.2 + 1. Let s = -0.2 - p. Let j = 2.6 + -7.6. Sort -1/4, s, j in decreasing order.
s, -1/4, j
Let p = -27.2 - -27. Put p, 2/5, 1/2, 2 in increasing order.
p, 2/5, 1/2, 2
Suppose -4*c - 3 = 9. Suppose 4*z - 23 = -y, -3*z + y = -z - 7. Put c, z, 0 in increasing order.
c, 0, z
Let n = 4.8 - 5.8. Put 3, -2, n in descending order.
3, n, -2
Suppose 0*s - 12 = 3*s. Let c