0, -3 = n + 5*s - 1. Put n, 3, -1 in decreasing order.
3, -1, n
Let d = -1.85 - -2. Sort -2/17, 3, 0.5, d in ascending order.
-2/17, d, 0.5, 3
Suppose l = 5*d + 12, -4*d = -0*l + l + 15. Sort 13, -1, d in descending order.
13, -1, d
Suppose 4*o - 56 = 4*n, -5*o = -2*n - 37 - 30. Sort 5/3, o, 1/4 in ascending order.
1/4, 5/3, o
Suppose -2*u - 16 = -5*q, 2*u - u + 5*q = 22. Suppose -g + 4*a - 9 = 0, -g + 11*a = 16*a. Put 1, g, u in descending order.
u, 1, g
Let m be (4 - 0) + -3 + 4. Suppose -3*d + 2 = -1. Sort m, d, -2 in decreasing order.
m, d, -2
Let z(s) = s - 10. Let p be z(10). Put p, -3, 5 in descending order.
5, p, -3
Let g = -7841/3 - -40519/15. Let j = -88 + g. Put 3, -1, j in decreasing order.
3, j, -1
Let t = 25.9 + -26. Let d = 5.1 - 1.1. Let q = 0.4 - 0. Sort d, q, t in decreasing order.
d, q, t
Let v = -4.7 - -4.8. Put 21, 1/3, v in descending order.
21, 1/3, v
Let l(g) = -g + 1. Let o be l(6). Suppose 2 = 3*n - 2*n. Sort o, n, -1 in decreasing order.
n, -1, o
Let u(b) = -8*b - 5. Let a be u(-2). Let z = a - 9. Put z, -4, 4 in increasing order.
-4, z, 4
Let b = -86 - 52. Let d be (-6)/(-4)*(-8)/b. Sort -3, d, 0.3.
-3, d, 0.3
Let z = -2 + 3. Let u = -0.7 + z. Suppose g = -5*d + 11, 18 = 5*d - g - 1. Sort u, d, -3 in descending order.
d, u, -3
Let l = -16 - -17. Sort l, 0, 1/6 in descending order.
l, 1/6, 0
Suppose 3*t = 5*z + 18, -2*z + t = 6*t + 32. Let p = -11 - -19. Let l = p + z. Put l, 5, 1 in descending order.
5, l, 1
Let w be (4 - 0)*-1 - 1. Suppose -2*p + 3*p - 43 = 0. Let f = p + -38. Sort 1, f, w.
w, 1, f
Suppose -3*o + 3*g + 12 = 0, 3*g - 32 = -2*o - g. Suppose -12*x = -o*x - 16. Sort x, -7, 3 in ascending order.
-7, 3, x
Let i(p) = -67*p**2 - 5*p + 2. Let m be i(3). Let o be 35/m - 1/8. Sort 0.5, o, 1/6 in increasing order.
o, 1/6, 0.5
Let s(x) = 2*x - 5. Let d be s(-10). Let b be (3/9)/(d/(-45)). Let i = 0.9 + -0.5. Sort 5, i, b in increasing order.
i, b, 5
Let a = -116 + 118. Put 0, a, 0.5, -2/11 in increasing order.
-2/11, 0, 0.5, a
Let d = -48.6 - -45. Let t = 0.6 + d. Let b = -62 - -65. Put b, t, 2 in decreasing order.
b, 2, t
Suppose -x = 2*x - 24. Let m = x + -3. Sort -2, m, -3 in ascending order.
-3, -2, m
Let d = 28 + -32. Sort -5, d, 2, -3 in decreasing order.
2, -3, d, -5
Let n = -3 + 3.4. Sort 1/4, 3/7, n in ascending order.
1/4, n, 3/7
Let a(o) = 2*o + 1. Let d be a(-2). Suppose -u - 1 = 3. Suppose -6*k + 30 = 4*k. Sort d, k, u in ascending order.
u, d, k
Let m = 224 - 2914/13. Sort 0.2, m, -1 in decreasing order.
0.2, m, -1
Let v(g) = -g**3 - 16*g**2 + 17*g + 2. Let f be v(-17). Suppose j - 4*j - 12 = 0. Put 1, f, j in increasing order.
j, 1, f
Suppose 3*x = 2 - 5. Let s be (-2 - -1)*1 - -1. Sort 5, x, s in descending order.
5, s, x
Let q = -3 - -4. Suppose -15*g = 41 + 19. Sort g, 0, q in decreasing order.
q, 0, g
Let y be 0*(2 + -2 + 1). Suppose 25 = 90*s - 85*s. Sort -2, y, s in descending order.
s, y, -2
Suppose -4*i + 8 = -0. Let p = 13 - 10. Sort p, 0, i in increasing order.
0, i, p
Let o = 0.2 + -0.1. Let m = -19 + 22. Sort -4, o, m in ascending order.
-4, o, m
Let f be (-5 - 30/(-8))/((-1)/4). Sort f, -5, -4, 25 in decreasing order.
25, f, -4, -5
Let x = -0.15 - -5.15. Sort -0.2, x, -4 in descending order.
x, -0.2, -4
Suppose 5*v - 5 + 0 = 0, -4*v - 6 = -2*i. Suppose -i*l = -0*l. Sort 3/2, -0.5, l.
-0.5, l, 3/2
Let x(d) = d**3 + 5*d**2 + 3*d - 2. Let f be 4/6*(0 - 6). Let y be x(f). Let v(r) = -r**2 - 6*r - 4. Let s be v(-5). Sort 3, s, y in decreasing order.
3, y, s
Suppose -l + 23 = -0*l. Suppose -12 = 3*g, -s - l = -4*s + 2*g. Suppose 0 = -v - y, 0 = 4*v - 5*v + 3*y - 12. Put s, 0, v in decreasing order.
s, 0, v
Let o = 1.2 + -0.1. Let z = -1.9 - o. Sort z, 5, 0.4 in increasing order.
z, 0.4, 5
Let x = -1 + 3. Suppose -5*s + x*s + 6 = 0. Let v be (-9)/s - 1/(-2). Sort 2, 3, v in decreasing order.
3, 2, v
Let l = -0.207 + -3.753. Let y = 0.04 - l. Sort y, -0.3, -0.2 in decreasing order.
y, -0.2, -0.3
Let m = -3 + -1. Let a(r) be the second derivative of -r**4/12 + 11*r**3/6 - 9*r**2/2 - r. Let s be a(10). Sort m, 0, s in ascending order.
m, 0, s
Let f = -52440 + 578426/11. Let c = -144 + f. Let p = 49 + -48.6. Put p, c, 2/7 in decreasing order.
p, 2/7, c
Let j = -34.7 - -33. Let g = j - -0.7. Sort g, 5, 0.4 in decreasing order.
5, 0.4, g
Let h be (-8)/(-3)*(-9)/(-6). Suppose u + q + 6 = 0, 10 = 4*u - 5*q - 2. Put u, h, -1 in increasing order.
u, -1, h
Let g = -10 - -6. Let o = -0.9 - -1.3. Let t be (-3)/2*2/(-12). Put g, t, o in descending order.
o, t, g
Let t = -161/855 - 2/171. Put t, -0.12, -0.1, -2 in decreasing order.
-0.1, -0.12, t, -2
Let p be (-1 + 1)*(-1)/1. Let r(g) = 2*g**2 - 2*g - 2. Let m be r(2). Put m, 4, p in ascending order.
p, m, 4
Let s = 3.6 - 4. Suppose 0*a = -5*a - 10. Put 0.3, s, a in ascending order.
a, s, 0.3
Let k = 23 - 27. Put k, 1, -5 in increasing order.
-5, k, 1
Suppose -5*l - 7 = 2*r + 7, -5*r + 23 = -2*l. Suppose 4 = -h + 2*h. Suppose 2*c + h*v + 16 = 0, 2*c + 12 = -2*c + 2*v. Put r, 2, c in increasing order.
c, 2, r
Let o(m) = m**3 + 8*m**2 - 8*m + 8. Let c be o(-9). Let n = 11 + -10. Sort c, 2/11, n in descending order.
n, 2/11, c
Let o(b) = 3*b - 3. Let u be o(2). Suppose -2*i + u = -1. Put 0, i, -4 in descending order.
i, 0, -4
Suppose 3 - 5 = -2*u. Sort -5, -6, -4, u in ascending order.
-6, -5, -4, u
Suppose -1 = -4*f - 9. Let y = -7 - f. Sort 4, -3, y in decreasing order.
4, -3, y
Suppose -5*r - 4 = -r. Put -5, 3, r in descending order.
3, r, -5
Suppose -3*z + 9 = -0*z. Sort z, -3, 1 in ascending order.
-3, 1, z
Let k = -307/225 + 23/25. Sort -5/2, 3, k, 4.
-5/2, k, 3, 4
Let l be (-2)/(-2 + 2 + 2). Let o be l - (1 + -2)*2. Let d be -1*o - 2/(-1). Put 3, d, -2 in ascending order.
-2, d, 3
Let d = 7 - 4. Let z = 51 - 158/3. Put d, 2, z in decreasing order.
d, 2, z
Suppose z - 3 = -2*z. Sort -3, z, -4 in decreasing order.
z, -3, -4
Let j = -12.92 - -13. Let s = j - -0.42. Sort -2/19, s, -0.2 in increasing order.
-0.2, -2/19, s
Let k = -46.5 - -46. Put 26, k, -0.3 in decreasing order.
26, -0.3, k
Let o = 43359/11095 + -137/35. Let f = -1294/4121 - o. Let t = f - 1/39. Put 1/4, -0.2, t in descending order.
1/4, -0.2, t
Let t be 1/2 - (-9)/(-2). Suppose -4*a = -0*a + 5*g - 22, 4*g = -4*a + 20. Suppose 0 = -3*z + 5*w + 26, 0*z + w = a*z - 10. Put t, z, 1 in decreasing order.
z, 1, t
Let j be 1 + 2 - 2*3. Let z(c) = c**2 - 5*c - 4. Let s be z(5). Sort s, -2, j in descending order.
-2, j, s
Let m = -13 + 11. Sort -1, m, -9 in descending order.
-1, m, -9
Let j(d) = 2*d**2 + 5*d + 4. Let t be j(-3). Let r = -2 - t. Let h be (2 + 1)*12/r. Sort 3, h, 5.
h, 3, 5
Suppose 25 = 5*z + 5*b, 5*b = 5*z + 1 - 26. Sort 1, -1, z, -10 in decreasing order.
z, 1, -1, -10
Let w be 6/20*(-16)/6. Put 2/15, -1/3, w in descending order.
2/15, -1/3, w
Suppose -o + 0*o = -5. Suppose -z + 8 = s, -6*s + s = -5*z. Sort 3, o, z in increasing order.
3, z, o
Let v(r) = -5*r + 92. Let i be v(19). Let f be (-76)/63 + (-4)/18. Sort -0.3, i, f in increasing order.
i, f, -0.3
Let q be (-3 + -120 - -2)/1. Let d = 1571/13 + q. Sort d, -0.3, 0.3 in decreasing order.
0.3, d, -0.3
Let i = -0.5 + -0.1. Let q = i - 0.4. Let x = -94 - -97. Put q, 3/4, x in increasing order.
q, 3/4, x
Let p be ((-5)/(-40)*8)/(1/(-5)). Let g(c) = c**2 + 4*c. Let h be g(-5). Put 1, p, h in ascending order.
p, 1, h
Let q = 57 + -31. Suppose 5*k - 3*w = -q, 0 = 2*k - 6*k + 4*w - 24. Sort k, 5, -2 in ascending order.
k, -2, 5
Let p = 6.01 - 6. Let c = p + 0.19. Let s be 1/(-4) + (-1)/(-36). Sort s, c, -2 in decreasing order.
c, s, -2
Let h(r) = -r + 2. Let d be h(1). Sort -0.3, -2, d in descending order.
d, -0.3, -2
Suppose -2*s + 7*s = -20. Let x be 1/(-1 - 12/(-9)). Sort -3, s, x in descending order.
x, -3, s
Let c(i) = -i. Let k be c(0). Let f(z) = -21*z**3 - 1. Let o be f(-1). Let x = o - 19. Sort -1, k, x in increasing order.
-1, k, x
Let n(i) be the second derivative of i**5/20 + 2*i**4/3 - 5*i**3/3 - 3*i**2 - 2*i. Let g be n(-9). Put 5, -1, g in descending order.
5, g, -1
Let w = 0 - 0. Let i be (2 + 6)/(2 - 0). Sort -4, i, w.
-4, w, i
Let d be (-4)/(-12)*3/7. Put d, -2/5, -4 in decreasing order.
d, -2/5, -4
Let q = -9 - -13. Let y be ((-10)/15)/((-4)/(-9)). Sort -2, y, q.
-2, y, q
Let c = -6.8 - -9. Let h = c - 2. Let y