s - 4*p - 3 = 15. Put s, 5, o in decreasing order.
5, o, s
Suppose -30 = 4*m - 10. Sort -6, 4, m in increasing order.
-6, m, 4
Suppose 3*c = -9 + 24. Suppose -2 = 3*n - 2*n. Sort -5, n, c in ascending order.
-5, n, c
Let b = -8 + 5. Let w(c) = c**3 + 6*c**2 - 6*c + 6. Let g be w(-7). Let p(s) = 2*s - 43. Let n be p(22). Sort n, g, b in increasing order.
b, g, n
Suppose -3 = -3*o + 3*y, 2*o = o - 4*y - 9. Sort o, 4, 7 in increasing order.
o, 4, 7
Let k(j) = -j**3 - 6*j**2 - j - 6. Let h be k(-6). Let f be 1/(-2 - (h - 1)). Put f, 3, 4 in decreasing order.
4, 3, f
Let k be (-3 + 6)/(-3) + 16/12. Sort k, 2/5, -2, -5/4 in decreasing order.
2/5, k, -5/4, -2
Let k = 0.2 - -1.8. Let v = -171 - -171.1. Sort k, -5, v in descending order.
k, v, -5
Suppose -4*q + 24 = -2*a, 0*q - 2*a = q - 16. Sort 5, q, 1 in descending order.
q, 5, 1
Suppose -4*b = 4*a - 12, a + 4*b = 6*a - 6. Let o be (-129)/(-86)*(-6)/1. Sort a, 5, o in descending order.
5, a, o
Let o = -2563 + 10309/4. Let q = o + -1303/92. Put q, -4, 3 in decreasing order.
3, q, -4
Suppose -2*n + 6 = -3*i - 0*i, 5*n + 3*i = -6. Let z = 51 - 52. Let s = n - z. Sort s, 4, 2 in increasing order.
s, 2, 4
Let c be (-78)/(-66) - 4/22. Let r = 5 + -8. Sort r, 4, c in ascending order.
r, c, 4
Let d = 243/518 - 3/74. Let o = 0.8 + -0.2. Let h = o - 0.55. Sort 1/5, h, d in decreasing order.
d, 1/5, h
Let f be (-3 + 2)*2*-1. Suppose -12 = -5*k + f*q, -2*k + 5 = q - 2*q. Let v be ((2 + -6)/k)/1. Sort 3, v, -5 in decreasing order.
3, v, -5
Let c be ((-5)/4)/((-5)/20). Sort c, -3, 4, 0.
-3, 0, 4, c
Let n = -3.1 - -3. Let x = -1.9 + n. Sort -4, x, -2/3 in increasing order.
-4, x, -2/3
Let y(p) = p**2 - p + 4. Let o be y(0). Suppose 0*j - 14 = -4*j - 3*c, 0 = 2*j + o*c - 12. Sort j, 0, -4.
-4, 0, j
Suppose 5*u - 26 = -11. Let d(g) = 3*g - 3 - 5*g + g - 8. Let m be d(-11). Sort m, 4, u in decreasing order.
4, u, m
Let h(x) = -x**2 - 4*x. Let i be h(-2). Sort 2, i, -3 in decreasing order.
i, 2, -3
Let c(l) = -l**2 - l + 4. Let u be c(-3). Let o be 3 + (2 - (-2)/u). Sort -5, -2, o in decreasing order.
o, -2, -5
Let c(t) = t**2 - 3*t + 6. Let q be c(4). Put -2, q, -1/7 in ascending order.
-2, -1/7, q
Suppose 2*n + 10 = -5*f, -5*f - 5 = n - f. Put 9, n, -1 in descending order.
9, -1, n
Suppose -2*a = a + 3. Let r(b) = -b**3 - 11*b**2 - 12*b - 2. Let d be r(-10). Suppose -7 - d = -5*f. Sort a, -2, f.
-2, a, f
Let n = 56 + -48. Put 5, 2, n, 3 in ascending order.
2, 3, 5, n
Let o = -59 - -41. Let f = o + 13. Let m = f + 8. Put m, 0.3, -4 in decreasing order.
m, 0.3, -4
Let n = 81 + -76. Let f be 4/3*6/92. Sort f, n, -0.5 in ascending order.
-0.5, f, n
Let l = -126 - -131. Sort -5, -1, l in descending order.
l, -1, -5
Suppose -12 = 2*u + 4*n, 0 = -u + 3*n + 2*n + 29. Let l be 2/(-8)*u/7. Let j = 0.1 + -0.2. Sort j, 0.5, l in ascending order.
l, j, 0.5
Let i(s) = -7*s**3 - 4*s**2 + 11*s + 9. Let j(c) = 11*c**3 + 6*c**2 - 17*c - 14. Let x(r) = -8*i(r) - 5*j(r). Let o be x(-3). Sort o, 2, -4.
-4, o, 2
Let s be 2 - (2 - -1) - (-1 + 4). Put 9/4, 5, s in decreasing order.
5, 9/4, s
Let t be ((-8)/(-3))/(-6 + 100/15). Suppose 3*q - 6*p - 18 = -2*p, 4*q + 4*p + 4 = 0. Put -1, q, t in descending order.
t, q, -1
Suppose -7 = -2*i + 5*x, -4*x = -4*i - 8*x - 56. Sort 0, -1, 1, i in descending order.
1, 0, -1, i
Suppose 0 = 4*j, -3*y + 2*y = 3*j - 4. Let m(x) = x**3 + 8*x**2 + 6*x - 5. Let f be m(-7). Sort -1, f, y in descending order.
y, f, -1
Let n be (1 + 1)*1/1. Suppose 22*p + 18 = 16*p. Put p, n, -8 in descending order.
n, p, -8
Let a = 57 + -59. Let v = -3 + -1. Put 5, v, a in ascending order.
v, a, 5
Let s = -52 - -54. Suppose 4*r = 2*r. Let n = -2 - -1. Put s, r, n in decreasing order.
s, r, n
Suppose 0 = c - 6*c + 35. Let n = -12 + c. Suppose -k + 5*x = -20, -5 = 2*k + 3*x + 2*x. Put n, -2, k in ascending order.
n, -2, k
Suppose -5*w + x - 21 = 0, 3*w + 4*x - 2 + 10 = 0. Sort w, 1, 0 in ascending order.
w, 0, 1
Let g = 6/5 + -43/15. Sort -0.5, -1, -4, g in decreasing order.
-0.5, -1, g, -4
Let b = -5 + 9. Let c = -7 + b. Sort -3/8, c, -1/5 in decreasing order.
-1/5, -3/8, c
Let w = -3 + 2. Let j(c) = c**2 - 5*c + 3. Let b be j(3). Let m be 2/24 - b/12. Sort 0, w, m in descending order.
m, 0, w
Let c = -1.819 - 0.181. Sort -2/5, c, -1 in descending order.
-2/5, -1, c
Let p = 16 - 22. Let j = 414/5 - 82. Sort j, p, -2/7 in ascending order.
p, -2/7, j
Let p = 27 - 25. Put -0.5, p, 1, 0 in increasing order.
-0.5, 0, 1, p
Suppose 2*x = -6*y + y + 30, -x + 18 = 3*y. Sort 0, -2, y.
-2, 0, y
Let b = -1.6 + -0.4. Let z = -11 - -58/5. Sort b, -0.2, z in ascending order.
b, -0.2, z
Let w be -2 + (1 - 0) + 4. Suppose -y - 24 = -4*d - 3*y, -d = -w*y + 8. Let g(x) = -x**2 + 3*x - 2. Let q be g(3). Put q, d, -4 in increasing order.
-4, q, d
Let c be (-4 - 0 - -1) + 3. Sort -2, -1, c, -8.
-8, -2, -1, c
Let q be (-24)/(-231) - (0 + 2/(-11)). Sort -2/7, 0.5, q, -4 in descending order.
0.5, q, -2/7, -4
Let c(r) be the second derivative of -3*r**5/20 + r**4/12 - r**2/2 + 3*r. Let q be c(-1). Sort -2, q, 5 in increasing order.
-2, q, 5
Let f = -9 + 14. Suppose 0 = -2*k - j - 3, 3*k + 0*j + 3*j + 12 = 0. Let z = 7 - 12. Put f, z, k in descending order.
f, k, z
Let f = -12 + 5. Let z(q) = -q**3 - 8*q**2 - 8*q - 6. Let x be z(f). Let l be (-8 + 2)*3/6. Put l, -4, x in decreasing order.
x, l, -4
Let b = 57/145 + 6/29. Put -4, b, 0.2 in descending order.
b, 0.2, -4
Let t = -36 + 34. Sort 3, 2, t in ascending order.
t, 2, 3
Let o = -0.35 - -0.05. Let j = 0.3 + -0.24. Let k = -0.34 - j. Sort k, -3, o in descending order.
o, k, -3
Let s be 51*(14/6 - 2). Suppose -3*x - f - 9 = s, 18 = -x - 5*f. Let u be (-2)/x - 28/(-16). Put -3, u, 1 in ascending order.
-3, 1, u
Let y = 0.88 - 0.78. Sort 0.4, y, 0.6, -1/2 in ascending order.
-1/2, y, 0.4, 0.6
Let m = 108 - 97. Sort 4, 1, 2, m in decreasing order.
m, 4, 2, 1
Let g = 5 + -2. Let a = -3.5 + g. Let m be ((-10)/4)/(-5)*(-5 + 13). Sort a, 2/11, m in descending order.
m, 2/11, a
Let f = 12 + -7. Let h = f + -10. Put 2, h, -0.5 in descending order.
2, -0.5, h
Let g(p) = -4*p - 1. Let o(k) = k**2 - 3*k + 1. Let t be o(2). Let u be g(t). Let c = 6 - 2. Put 1, c, u in ascending order.
1, u, c
Let j be (8/12)/1 - (-42)/(-9). Sort j, 1, -5.
-5, j, 1
Suppose -4*w - 14 = -3*w. Put 0, -5, w in decreasing order.
0, -5, w
Let v = -1.5 + 1. Suppose 0 = 10*d - 6*d - 24. Put v, 1, d in increasing order.
v, 1, d
Suppose 0 = -4*m + 5*v - 21, 3*m + 22 = 3*v + 2*v. Suppose -2*g - 30 = 4*g. Suppose 3*z = -0*z - 6. Put g, m, z in decreasing order.
m, z, g
Suppose 2*o + 6 = -5*q + 1, -4*q = 3*o + 4. Sort 2, 4, 9, o in descending order.
9, 4, 2, o
Let o be (-1)/6 - (2166/(-36))/19. Sort o, -12, 0, -2 in descending order.
o, 0, -2, -12
Let y = -4 - -9/2. Sort y, -3, -0.1 in descending order.
y, -0.1, -3
Suppose -1 = d, -5*d = 4*z - 3 - 0. Put -7, z, -6 in ascending order.
-7, -6, z
Let m(l) = l + 1. Let o be m(3). Let a = 4 - o. Let n = 4.3 - 4. Sort a, 4, n in descending order.
4, n, a
Let h be (-4)/(-10) + (-123)/(-5). Suppose -3*d = -2*b + 2*d + 37, 5*b + d = h. Let z = 9 - b. Put z, 4, 2 in descending order.
4, z, 2
Let h be (-6 + 4)/1 - -2. Suppose -3*v = -5*z - 24, z + 4*v - 7 - 2 = 0. Sort 3, z, h.
z, h, 3
Let i = -295/1206 + 3/134. Sort -0.4, -1/8, -0.3, i.
-0.4, -0.3, i, -1/8
Let v = 2.2 + -1.1. Let t = 5.1 - v. Put 3, t, 1 in decreasing order.
t, 3, 1
Let o(h) = 2*h**2 - 4*h + 2. Let v be o(2). Suppose 0*t + t = -v. Put 4, 0, t in descending order.
4, 0, t
Let l(g) = g**3 + 2*g**2 - 2*g + 1. Let h be l(-3). Suppose 0 = 4*s - 7 - 5. Let a(c) = -2*c**2 - 4*c + 1. Let y be a(-3). Put y, h, s in ascending order.
y, h, s
Let q = -25 + 32. Suppose 5*v - q + 17 = 0. Put 3, v, 5 in decreasing order.
5, 3, v
Let o = -10 + 5. Sort 5, o, -2 in descending order.
5, -2, o
Suppose 0 = -0*w - w. Suppose 2 = t - 0. Let m(q) = -2*q**2 + 3*q. Let s be m(t). Put -1/2, w, s in ascending order.
s, -1/2, w
Let y(x) = x**3 - 2*x**2 + 2*x - 10. Let w be y(3). Put 1, w, -2, 4 in increasing order.
-2, 1, 4, w
Let c = -3.5 - -4. Let l be 10/8*8/(-6). Put -3, c, l in decreasing order.
c, l, -3
Let p be (-2)/(-9) + -1 - (0 + -1). Sort 3, 0.3, p in descending order.
3, 0.3, p
Let s = 1031/7 - 147. Let y be ((-905)/(-140))/((-39)/(-8)). Let r = y - -