 order.
0, -1/6, v
Let b = -0.04 + 0. Let d = 0.04 + b. Sort -5, 1, d in decreasing order.
1, d, -5
Let j(v) = v - 10. Let n be j(7). Sort 2, n, 3 in increasing order.
n, 2, 3
Let z(h) = -2*h. Let o be z(-2). Let d(k) = -4*k - 6. Let s be d(-6). Let i be 6/(-4) - (-117)/s. Put o, i, 2 in decreasing order.
i, o, 2
Suppose 0 = -2*i + k - 6*k + 14, -10 = -2*i - 3*k. Let z be (i/(-6))/(8/(-6)). Sort -0.5, z, -2/5 in increasing order.
-0.5, -2/5, z
Suppose 5*z = -26 + 6. Sort z, -3, 4, -2 in descending order.
4, -2, -3, z
Let i = 8.7 + -1.7. Let l = -11 + i. Let q = 2/3 + -1/6. Put q, l, 3 in descending order.
3, q, l
Let d = -10 + 6. Let i be (-2 - d)*(-10)/(-4). Let f = -5 - -8. Sort i, f, 4 in descending order.
i, 4, f
Suppose -7*m = -2*m - 15. Let l(n) = -2*n + 63. Let s be l(26). Put s, 5, m in ascending order.
m, 5, s
Let d(h) be the second derivative of -h**4/12 - 11*h**3/6 - 2*h**2 - 6*h. Let l be d(-11). Sort -2, 2, l in increasing order.
l, -2, 2
Let y be (0 - -1)*(-2)/10. Let v = -1.1 + 1. Put v, 5, y in increasing order.
y, v, 5
Suppose 3*m + 1 = 13. Let d = -7 + m. Sort -2, -4, d in descending order.
-2, d, -4
Let y be 201/39 + (-2)/13. Suppose 4*z + 6 = -18. Put z, y, 0 in descending order.
y, 0, z
Suppose -5*a - 2*p + 12 = -a, -4*p = -3*a + 9. Suppose -c + 5*x = -15, 5*c - 15 = a*x - 8*x. Put c, 0.3, -1/3 in descending order.
c, 0.3, -1/3
Let u be 34/6 - (-3)/9. Suppose -u*o + o + 10 = 0. Put 0, o, -3 in ascending order.
-3, 0, o
Let m = -0.75 + -14.25. Put -0.4, -1/10, m in ascending order.
m, -0.4, -1/10
Let g = -1.4 + 5.4. Sort -5, g, -1/3 in descending order.
g, -1/3, -5
Suppose -4*j + 6 = n + 24, 0 = 4*n + 2*j + 16. Let s be (n/(-10))/((-2)/6). Let f be 12/(-16) - 1/(-2). Put f, s, -1 in ascending order.
-1, s, f
Let z be (-1)/(-2)*(-18)/(-15). Sort -0.7, z, -4 in decreasing order.
z, -0.7, -4
Let u be 0 - 1 - (3 - 6). Suppose 8 + 2 = u*l. Let x(b) = b**2 - 3*b - 3. Let c be x(3). Put 2, l, c in descending order.
l, 2, c
Suppose k = 4*k - 3. Let s be (-2)/9 - 40/(-18). Suppose s*u = 4*z, 2*u = -0*u + 2*z. Put k, u, -5 in descending order.
k, u, -5
Suppose 5 = -4*k + 3*u, 0 = -k + 3*k - 2*u. Sort 1, k, 0.4 in increasing order.
k, 0.4, 1
Let h = 18 - 13. Let n(s) = s - 1. Let g be n(1). Put 3, h, g in descending order.
h, 3, g
Let k = -17 + 4. Let g = k + 13. Sort g, 3, 5.
g, 3, 5
Let b(j) = j + 7. Let a be b(-3). Suppose -2*s - a = -12. Suppose 0 = 3*r - s*u + 1 + 5, 3*r + 6 = 3*u. Sort 5, r, -4 in decreasing order.
5, r, -4
Suppose 2*b - 10 - 2 = 0. Suppose -3*o + o = -b, -3*t - 6 = -o. Sort -3, t, 3.
-3, t, 3
Let g(x) = -3*x**2 + 19*x - 5. Let b be g(6). Sort 6, -2, -4, b in descending order.
6, b, -2, -4
Let i = -0.07 - -0.07. Let m(l) = -l**2 + 6*l + 3. Let q be m(6). Suppose j = -q*j - 8. Sort i, j, 2 in decreasing order.
2, i, j
Let k be ((-2)/6)/((-1)/3). Let a(s) = -11*s + 35. Let d be a(3). Sort 5, k, d.
k, d, 5
Let h = 2389/11004 - 30/131. Let l = 179/924 + h. Sort 0.2, 4, l in decreasing order.
4, 0.2, l
Let d be ((-4)/3)/(12/(-18)). Sort d, -5, -7.
-7, -5, d
Let c = 125.98 - 117. Let g = c - 9. Let u = -0.08 + g. Sort 0.3, u, -3 in ascending order.
-3, u, 0.3
Let y = -2 - -3. Let p = -3.937 - 0.063. Let t = -23/105 - 4/35. Put y, p, t in ascending order.
p, t, y
Suppose 3*b - 2*b + 6 = 0. Suppose 0*a + 10 = 5*a. Put b, 5, a in decreasing order.
5, a, b
Let c = 20.6 + -20. Sort c, -3, 2/13 in ascending order.
-3, 2/13, c
Let h be (-1)/(-5) - (5 + -5). Let p = -2 + 2. Let q = -4 + p. Sort h, q, 2/5.
q, h, 2/5
Let z be (-2)/((-2)/1) - -14. Suppose 4*f = f - z. Let y = 9 + -5. Put f, y, 2/15 in ascending order.
f, 2/15, y
Suppose -2*l - 5*s - 15 = 0, 2*l - s = -l + 3. Let z(a) = -a**3 - a**2 - a + 3. Let n be z(l). Suppose -c + n + 1 = 0. Sort -1, c, 1 in increasing order.
-1, 1, c
Let r = -3 + 7. Let b be (-5)/((-4)/(16/r)). Sort 3, b, 1 in descending order.
b, 3, 1
Let b be (6 + -5)/((-1)/4). Put b, -1, -2 in decreasing order.
-1, -2, b
Let o = 2268/11 - 206. Let i be (18/(-36))/(6/4). Put i, o, 3 in increasing order.
i, o, 3
Let s = -2 + 4. Let v be (-2)/12 + (-2)/60. Put -3, s, v in increasing order.
-3, v, s
Let j be (1 - 2)/((-1)/3). Put 2, 4, j in decreasing order.
4, j, 2
Let d(q) = q - 8. Let p be d(7). Put p, -0.3, -0.8 in increasing order.
p, -0.8, -0.3
Suppose 3*h - 12 = 7*h. Let t = 8 - 4. Let l be (1 - -1 - 0)*-1. Sort h, l, t.
h, l, t
Let v be 3 + (-1 - 2) + 3. Sort v, -3, -1 in descending order.
v, -1, -3
Suppose 0*s + 8 = -2*s. Sort 1, s, 0 in decreasing order.
1, 0, s
Let a(h) = h**2 + 4*h + 4. Let o be a(-3). Let k = o - 2. Suppose 3*p + 4*t = 24, 6*p - 2*p + 4*t = 28. Sort -4, p, k.
-4, k, p
Suppose 5*w - 13 - 2 = 0. Suppose -3*d = -2*d + 2. Sort -4, w, d.
-4, d, w
Let h be (18/(-63) - 24/14) + -24. Sort -2, -5, h in descending order.
-2, -5, h
Suppose 0*j - 12 = 4*j. Let x be (-3)/(-1 - 2/(-8)). Put x, -1, j in decreasing order.
x, -1, j
Let u(f) = -12 + 12 - 5*f. Let h be u(-1). Sort h, -4, 4/3 in ascending order.
-4, 4/3, h
Let t = -12/7 + 31/14. Put 3/5, 3, t, -8 in descending order.
3, 3/5, t, -8
Let v = -47 - -51. Let d = 6 - 1. Suppose 0*z = -z + d. Sort z, v, 3.
3, v, z
Let x = -6.1 + 1.1. Sort -1, x, -0.4, -0.2 in decreasing order.
-0.2, -0.4, -1, x
Let x be 2/45 - 4/(-10). Let u = 21/2 + -11. Let q = 9 - 5. Put u, q, x in decreasing order.
q, x, u
Suppose 5*c = c + 16. Sort 2, c, 3 in ascending order.
2, 3, c
Suppose 5*n + 17 = -3. Let g be 7 + (-6)/3*1. Let v = 10 - g. Sort n, v, 1.
n, 1, v
Let f = 39 - 28. Let n = f + -15. Put n, 0, -3 in increasing order.
n, -3, 0
Suppose 7 = -f + 5. Let x be f/3 - 56/(-12). Let c be x/(-6)*3 + 4. Sort 0, 3, c.
0, c, 3
Suppose 4*l = 10 + 6. Suppose 3*b - l = 5. Put -4, -0.1, b in decreasing order.
b, -0.1, -4
Suppose 49 = -4*y - 5*d, -d + 1 = 6. Let o be 3 + (y/8 - 2). Put o, -3/8, 2/3 in increasing order.
-3/8, o, 2/3
Let w be 126/(-112) - (-1)/8. Put w, 0, 1/3, 5 in descending order.
5, 1/3, 0, w
Suppose 2*s = -5*g - 16, -5*g - 28 + 8 = 0. Sort -5, -4, s, 1 in increasing order.
-5, -4, 1, s
Let f be ((-2)/24)/((-5)/110) - 2. Sort -14/3, f, 0.5 in descending order.
0.5, f, -14/3
Let j = 31 - 28. Put -5, j, -13, -2 in ascending order.
-13, -5, -2, j
Let j = 17 - 29. Let r = j - -8. Sort -3, 5, r in descending order.
5, -3, r
Let k(i) = 2*i + 35. Let v be k(-18). Let h = 0 - 0.5. Let l = -1 - -1.1. Put h, v, l in descending order.
l, h, v
Let k = -0.215 + 0.415. Let u be 74/8 + 1/(-4). Let f be (-6)/u*(1 - 0). Put -0.4, f, k in decreasing order.
k, -0.4, f
Let z(p) = p + 8. Let s be z(-5). Let v = s + -4. Let i = -5.3 - -5. Put i, 3/5, v in ascending order.
v, i, 3/5
Let r = -9 - -9.05. Let m = 2 - 1. Sort r, m, 0.1 in decreasing order.
m, 0.1, r
Let o = 95.9 + -96. Suppose -4 = h - 0. Sort o, 1/4, h.
h, o, 1/4
Let z(v) = v**2 - 7*v + 3. Let d be z(6). Let q = -15 - -12. Let x = q + -1. Put x, d, 5 in increasing order.
x, d, 5
Let b = 12/25 + 89/75. Sort 0, b, 4, -0.01 in ascending order.
-0.01, 0, b, 4
Let u(b) = -b**3 + 5*b**2 + 6*b + 5. Let y = 16 + -10. Let q be u(y). Suppose 0*r = -r + 4. Sort q, r, -1/2 in ascending order.
-1/2, r, q
Let x = -4.94 + -0.06. Let s = 13 + -9. Sort x, s, 2.
x, 2, s
Let c = -20 + 15. Sort 14, -1, c.
c, -1, 14
Let g = 2.78 + -0.78. Suppose -7 = -2*b - 5. Put 5, b, g in increasing order.
b, g, 5
Let l(c) = -c**3 + 4*c**2 + 4*c + 7. Let h be l(5). Sort -12, 3, h in decreasing order.
3, h, -12
Suppose -2*l + 10 = j - 0*l, 35 = 5*j + 5*l. Suppose -2*x + 12 = -4*n - 0*n, -n + 11 = -4*x. Sort x, -1, j in ascending order.
x, -1, j
Let k(o) = -o**2 + 22*o + 27. Let n be k(23). Sort 1, -6, n in ascending order.
-6, 1, n
Let p = -6 - -2. Let k be (0/(1 + p))/2. Suppose 0 = 2*m - 4*s - 8, s - 3*s - 16 = 2*m. Put 2, k, m in increasing order.
m, k, 2
Let x(d) = d + 13. Let q be x(-10). Suppose -2*p = -1 + q. Sort 3, 2, p.
p, 2, 3
Let u = -8 - -22. Let h = u - 25/2. Sort 4, -4, h in ascending order.
-4, h, 4
Suppose -2*q - 25 = 3*q. Let m(u) = u**2 + 8*u - 22. Let r be m(-10). Let n = -3 + 2. Sort q, r, n in decreasing order.
n, r, q
Let q(u) = -u**2 - 4*u - 4. Suppose 3*b = -0*a + 2*a + 22, 4*a = -20. Suppose k + k + 6 = x, -b*k = 20. Let v be q(x). Sort 2, v, -2 in increasing order.
v, -2, 2
Let k = -335/7 + 48. Put 0.4, 1, 1/22, 