4/23, m, -1/2
Suppose -4*s + 7*s - 15 = 0. Sort s, -3, -1.
-3, -1, s
Let d(a) = -a**2 + a. Let c = 12 - 10. Let o be d(c). Put 4, o, 1 in increasing order.
o, 1, 4
Let z = -39 - -41. Put -0.9, -1, z, 3/7 in decreasing order.
z, 3/7, -0.9, -1
Let t = 17 + -4. Let u = t - 13.02. Put u, 1, 4 in descending order.
4, 1, u
Let y = 3 + -2.99. Let o = y - -0.29. Let l be 55/(-44)*(-4)/10. Sort o, l, -2.
-2, o, l
Let g(j) = 14*j + 2 - 2. Let t be g(-1). Sort -5, -2, t in ascending order.
t, -5, -2
Let x(b) = -b**2 - 5*b - 1. Let t be x(-6). Let w = -5 - t. Put 5, w, 1 in increasing order.
1, w, 5
Let w = 17 - 9. Let k = w - 3. Sort -5, 2/9, k.
-5, 2/9, k
Let i = -34 - -34.3. Sort i, -0.5, -0.2, 2 in descending order.
2, i, -0.2, -0.5
Suppose 3*k + 20 = -2*t, -5*k = -3*t - t + 4. Put -2, k, 1 in increasing order.
k, -2, 1
Suppose -2*t - 4*m + 8 = 0, -5*t + 2*m + 20 = -3*m. Put 6, -3, t, -1 in increasing order.
-3, -1, t, 6
Let x be 2/6*2/(-3). Let a = 20 - 20.3. Put -1, x, a in descending order.
x, a, -1
Let c = -0.105 - -0.605. Sort 4, 0, 0.1, c in decreasing order.
4, c, 0.1, 0
Let u be (-6)/45*(-226)/4. Let n = u - 23/3. Sort -1, n, -5 in descending order.
n, -1, -5
Let c be -6*(-5 - (-85)/15). Suppose 0 + 3 = 3*h. Sort c, -3, h in increasing order.
c, -3, h
Let x = -2 + 2. Suppose i + 5 = 0, -i = -4*n + 5 + 8. Sort n, x, -0.4 in decreasing order.
n, x, -0.4
Suppose -3*w = 0, -5*r = -3*w + 1 - 6. Sort r, -2, -3, -1 in ascending order.
-3, -2, -1, r
Let z = 3 + -7. Suppose -4 = j + 3*j + u, 0 = 2*j + 4*u - 12. Put z, j, 4 in increasing order.
z, j, 4
Let n = -0.2 - -0.5. Let b be 10/25*(-2)/(-4). Let j = -1.6 - 0.4. Put b, n, j in decreasing order.
n, b, j
Let l(u) = u + 2. Let p = -3 + -2. Let h be l(p). Let i = -11 - -7. Put h, 2, i in decreasing order.
2, h, i
Let t = -6 - -2. Sort -1, 2, t in ascending order.
t, -1, 2
Let q = 27 + -13. Let d be (q/(-8) + 2)*2. Let o = 1.6 - 1.2. Put 3/2, d, o in decreasing order.
3/2, d, o
Let d = -0.08 - 0.32. Let h be (-4)/(-20) - 92/260. Sort h, -5, d in descending order.
h, d, -5
Let m = 1.2 - 1.16. Sort -2/15, m, -4 in ascending order.
-4, -2/15, m
Suppose 4*p - 28 = -4. Let h = p - 0. Suppose -4*b + h = -b. Sort 5, 0, b in descending order.
5, b, 0
Let l = -11 + 15. Put 0, l, -1 in increasing order.
-1, 0, l
Let y = -313/95 - -36/19. Let t = 53/20 + y. Sort t, -3/5, 0.3 in ascending order.
-3/5, 0.3, t
Let m be 2 - 3 - -3*2. Let f = m - 4. Put 4, 3/4, f in descending order.
4, f, 3/4
Let w = -3149593/55 + 57267. Let h = -14/11 + w. Put h, -1/4, -4/3 in increasing order.
-4/3, -1/4, h
Let r = -1 + -4. Let c = 12 - 22. Let u = c - -9.6. Put r, u, -1 in decreasing order.
u, -1, r
Let c(m) = -2*m - 6. Let r be c(-5). Suppose -9 - 7 = -r*z. Sort -4, 3, z in increasing order.
-4, 3, z
Let d = 0.042 - 0.142. Sort -0.3, d, 9 in descending order.
9, d, -0.3
Let y = 0.13 + -0.13. Sort 0.2, y, -2 in decreasing order.
0.2, y, -2
Suppose 0 = -4*l - 4*z + 5*z + 1, 2*z = 4*l - 2. Sort -2, l, -5 in decreasing order.
l, -2, -5
Let m = -19 - -20. Sort m, -0.5, 2.
-0.5, m, 2
Let c(k) = 5*k**2 - 41*k + 5. Let a be c(8). Sort a, 1, -1 in decreasing order.
1, -1, a
Suppose 0*j - 2*j + 20 = 0. Let w be 6/(-4)*j/(-5). Let u = -2 - -1. Put 4, u, w in decreasing order.
4, w, u
Let p(r) = r**2 + 2*r + 3. Let k be p(-3). Let j be (4/k)/(4/18). Put 4, -4, j in increasing order.
-4, j, 4
Let u(d) = d**3 + d**2 - 1. Let t(h) = 2*h**3 + h**2 + h - 3. Let n(i) = t(i) - 3*u(i). Let q be n(1). Let o be 0/((-2)/4*-2). Sort q, o, 3 in increasing order.
q, o, 3
Let d be -9 - -10 - (-1 + 0). Suppose 0 = -d*b - 3*a + 4, 0*b - 4*b + 2*a - 24 = 0. Put b, 4, -2 in ascending order.
b, -2, 4
Let b be (-6)/3*(-2 - -6). Let c = b + 3. Suppose -8*m + 3*m = 20. Put c, -3, m in ascending order.
c, m, -3
Let t(w) = -w**3 - 8*w**2 - 7*w - 1. Let x be t(-7). Let z be x/(0 - (-2)/10). Sort 3, 4, z.
z, 3, 4
Let b = -43 + 27. Let w be (15/10)/(6/b). Put 2, -3, w in decreasing order.
2, -3, w
Let p = -37 + 36.91. Let y = -0.218 + 0.008. Let l = y + p. Sort l, -3/2, -3.
-3, -3/2, l
Let o = 53 + -52.9. Sort o, 5/4, 0.4.
o, 0.4, 5/4
Let j = -2250/7 + 322. Sort 7, j, 2/25 in ascending order.
2/25, j, 7
Let g(n) = n**3 + 10*n**2 + 18*n + 12. Let u be g(-8). Put 4, 33, u in increasing order.
u, 4, 33
Let z = -23.1 + 23. Let j = -2/61 + -55/183. Put j, z, -2/3 in decreasing order.
z, j, -2/3
Let t = -55 - -54. Put t, -2, 5 in decreasing order.
5, t, -2
Let z = 137 - 141. Put -5, z, -3 in decreasing order.
-3, z, -5
Let a = 48 - 436/9. Let n = 5.6 + -2.6. Sort a, n, 0 in increasing order.
a, 0, n
Suppose 5*x + 15 - 65 = 0. Sort x, -3, -4 in descending order.
x, -3, -4
Suppose 2*r = -r + 9. Let k = r - -4. Suppose -4*w = -13 - k. Sort -4, -3, w.
-4, -3, w
Let g = 4 - 1. Let m = 0.05 + -0.45. Let s = -65 - -389/6. Sort s, m, g.
m, s, g
Let k = 1.39 + -1.69. Let v = -0.1 - 0.9. Put -2/9, v, k in decreasing order.
-2/9, k, v
Let a(d) = d**2 - 10*d + 3. Let q be a(10). Sort q, -3, -1 in descending order.
q, -1, -3
Let n be 12/(-18) - 16/(-18). Sort 5/6, -8, n in decreasing order.
5/6, n, -8
Suppose -4*j + a = -4*a, -5*j + 4*a = 9. Suppose 0*x - o - 9 = -x, 2*o = -2*x + 2. Sort x, j, 0.3 in ascending order.
j, 0.3, x
Let i = -10 - -12. Put 2/7, i, -3 in decreasing order.
i, 2/7, -3
Suppose 31 = s + 32. Put 5, 3, 2, s in descending order.
5, 3, 2, s
Let t(y) = -y**2 - 8*y - 5. Let v be t(-5). Let l = v + -7. Let q(r) = r**3 - 1. Let j be q(1). Sort 1, l, j in decreasing order.
l, 1, j
Let r = -2 + -1. Let a be ((-3)/(-108)*8)/((-2)/3). Put a, 2/13, r in descending order.
2/13, a, r
Suppose 0 = -0*n - 4*n. Suppose d + 4*d + 3*f = 2, -4*d + 4*f = 24. Put n, d, -3 in increasing order.
-3, d, n
Suppose 0 = -v - 3*v + 4. Let c(j) = 0*j**2 - 2 + 8*j - 3*j - 2 - j**2. Let w be c(5). Put v, w, 4 in descending order.
4, v, w
Suppose 3*c + c = -12. Put c, 0, -4 in decreasing order.
0, c, -4
Suppose -4*o - 1 = -37. Put -4, -3, o in increasing order.
-4, -3, o
Let y = -9 + 10. Put y, 4/7, 3 in decreasing order.
3, y, 4/7
Let p = 95/3 + -667/21. Let l be 4/(-30)*3/2. Put p, l, -3 in increasing order.
-3, l, p
Let x be 2*3/(-6)*-3. Suppose -x*n + 8 = -n. Let z be 1/n*(-28)/(-35). Put 2/13, z, 2/5 in descending order.
2/5, z, 2/13
Suppose 0 = -0*v + 3*v + 3*v. Sort 2, v, 1, -4 in decreasing order.
2, 1, v, -4
Let z = -183 - -182. Let b(d) be the third derivative of -d**4/24 - 4*d**3/3 + d**2. Let k be b(-4). Sort k, 3, z.
k, z, 3
Let d = 0.03 - 0.43. Sort 3, 0.1, d in decreasing order.
3, 0.1, d
Suppose i - 2 = -0*i. Suppose 14 = 4*u - i. Suppose -3*o - 3 - 3 = 0. Sort -1, o, u in increasing order.
o, -1, u
Let l = -34/3 + 281/24. Let a = 0 + -3. Sort -4, a, l.
-4, a, l
Let h be (-3)/(-9)*6/(-4). Sort h, 1/50, 3 in descending order.
3, 1/50, h
Let p = -0.1 - -0.5. Let q = -37.07 - -33. Let k = 0.07 + q. Put p, -0.4, k in increasing order.
k, -0.4, p
Let w be (0 + 2)/(3/6). Suppose 5*j = w*j. Let l be j/(4*3/6). Sort l, -1, -4 in ascending order.
-4, -1, l
Let r be ((-1)/(-28) - 14/49)/1. Put -0.5, r, -2 in descending order.
r, -0.5, -2
Let v = 0.01 + -4.01. Let a = -1 - -1. Let m = 125/748 - -1/68. Sort v, a, m in increasing order.
v, a, m
Let z(l) be the first derivative of -l**4/4 + 5*l**3/3 + 5*l**2/2 + 2*l - 1. Let t be z(6). Put -1, t, 4 in ascending order.
t, -1, 4
Let y = -33.5 - -33. Sort 1, 4, y in decreasing order.
4, 1, y
Suppose 0 = 6*u - 4*u - 5*f - 15, -3*u = 3*f + 9. Suppose u*d - 5*d - 5*n - 15 = 0, -4*n = d. Put d, 1, 3 in ascending order.
d, 1, 3
Let n = 68 + -65. Sort 26, n, 4.
n, 4, 26
Suppose -s + 0 + 5 = 0. Let o(f) = -f**3 + 8*f**2 + 9*f + 3. Let x be o(9). Suppose -6 + 0 = x*j. Sort s, 3, j in descending order.
s, 3, j
Suppose 0 = 5*d - 5*t - 30, -2*d + t + 1 = -8. Suppose d*h = 8 + 4. Let s be 2*(-5 - -3) - -4. Sort s, h, -3 in decreasing order.
h, s, -3
Let n = 9.1 - 8.7. Sort -1, n, 0, 2/9 in decreasing order.
n, 2/9, 0, -1
Let z = 5 + -3. Let s be (1*-1)/(7/14). Sort z, s, 5 in descending order.
5, z, s
Suppose x = 2*s - s - 8, -2*s = 4*x + 14. Sort -2, s, 4.
-2, s, 4
Suppose -9*a + a - 16 = 0. Let b = 36 + -147/4. Sort a, -1/5, b.
a, b, -1/5
Suppose -1 = 3*q - 10. Let g be (q + 2 + -7)*1. Suppose 0 = 5*w + 2*s - 1, 2*w - 10 = -2*w + 3*s. Sort -5, w, g.
-5, g, 