0.5, z, -3
Let y(f) be the first derivative of -f**4/4 + 5*f**3/3 + 7*f**2/2 - 6*f + 3. Let b be y(6). Sort -3, 1, b in descending order.
1, b, -3
Suppose -4 = -4*o - 0. Suppose 3*s = -4*m + 31, -5 + 35 = 2*s + 5*m. Sort -4, s, o in increasing order.
-4, o, s
Suppose 0 = k + 5 - 2, 0 = -i - 5*k - 12. Let q be (-2 - 1 - -2)*-5. Let z be ((-3)/1)/((-15)/20). Sort i, q, z in increasing order.
i, z, q
Let c = 10 + -5. Let s = 3.01 - 0.01. Let m = s + -3. Sort m, -0.5, c.
-0.5, m, c
Let u = -1.6 + 2.6. Put u, 12, 2 in increasing order.
u, 2, 12
Let t be (-1 + -2 + 2)/((-5)/15). Put 5, -2, t in increasing order.
-2, t, 5
Let f = 7.92 - -0.08. Let m = 9 - f. Let p be (-1)/(-2) - 30/44. Sort 4, m, p in descending order.
4, m, p
Let x = 25 + -15. Let u = -6 + x. Let t = -17/20 - -5/4. Put t, 1, u in decreasing order.
u, 1, t
Let g = 99 - 101. Sort g, -20, -3/7, 2/9.
-20, g, -3/7, 2/9
Let d = 21/11 + -136/77. Let a = -9 + 5. Put 4, a, d in decreasing order.
4, d, a
Let h be (-18)/15 + (-5)/(5/(-2)). Sort 3/2, -0.1, h in ascending order.
-0.1, h, 3/2
Let r = 0.5 - 0. Let q = 12 + -7. Put q, -4, r in increasing order.
-4, r, q
Let t be (-2)/(0 - 2) + -2. Let i(f) = f**2 - 7*f + 7. Let c be i(6). Let o be t - c - (4 - 1). Put -4, 1, o in ascending order.
o, -4, 1
Let k = 31 + -13. Let c = 19 - k. Suppose 8 = -6*l + 4*l. Sort c, -1/5, l.
l, -1/5, c
Let q be 59/3 - (-8)/(-12). Let h = -16 + q. Sort h, -2, 2 in decreasing order.
h, 2, -2
Let k = -8.5 - -8. Sort -1, k, 0.
-1, k, 0
Suppose 4*x = 4*t, 3*t - 2*x + 4*x - 5 = 0. Suppose 0*q - t = -q, 5*y - 2*q - 3 = 0. Suppose 0 = -r - 0*r - 3. Sort y, r, -1.
r, -1, y
Let m = 67/219 + 2/73. Put 5, 4, m in decreasing order.
5, 4, m
Let c = 108 + -101. Let k = -0.8 - 0.2. Sort 1/4, k, c.
k, 1/4, c
Let i = 1 - 0.9. Suppose 0 = -o - 3*h + 11, o + 7 = 6*o + 3*h. Let k be 6/10*40/30. Sort i, k, o in increasing order.
o, i, k
Let b(k) = -k - 9. Let n be b(-6). Put 0, n, 4 in ascending order.
n, 0, 4
Let z = -0.04 + -0.26. Let g = 0 - -20. Let m be (6/(-28))/(15/g). Sort -2/11, m, z in increasing order.
z, m, -2/11
Let b be (-9)/12*16/(-54). Let s = 31/20 - 9/5. Sort 0.3, s, b in descending order.
0.3, b, s
Let x = -96 + 101. Put 0.5, 0, x, 3 in increasing order.
0, 0.5, 3, x
Let j(k) = k + 2. Let g be j(0). Let l = 7 - 3. Sort 1, l, g in ascending order.
1, g, l
Let x = -92 + 93.93. Let d = 0.13 - x. Let g = 2 + d. Sort g, -0.5, -0.4 in decreasing order.
g, -0.4, -0.5
Let v = -9 - -12. Let z be ((-3)/(-11))/v*-2. Let j = -5.4 + 5. Put 2, j, z in decreasing order.
2, z, j
Let k = -1 + 7. Sort k, -5, -4 in increasing order.
-5, -4, k
Suppose 2*a = -3*d + 383 - 89, 4*d = -2*a + 294. Let u be -4 + 0 + a/63. Let h = -38/3 - -13. Sort u, h, 1 in increasing order.
u, h, 1
Let j = -14 + 6. Let q = j + 10. Suppose 2*m + 2*f + 12 = -2*m, 8 = 4*f. Sort 2/9, m, q.
m, 2/9, q
Let v = 0.19 + -0.69. Put -6, v, 0.5 in descending order.
0.5, v, -6
Let b be (2/(-2)*-3)/(-1). Let v(h) = -h**3 - 6*h**2 - 6*h - 1. Let l be v(-5). Put b, l, 3 in decreasing order.
l, 3, b
Suppose -t - 4 = -6. Suppose 2*m + 2*p + 2*p - 8 = 0, -5 = -t*m - p. Let o be (-6)/(-4)*240/(-72). Sort o, m, -4.
o, -4, m
Let z = 4784 + -330082/69. Let y = z + 3/23. Put y, 4, -1 in increasing order.
-1, y, 4
Let l = 4 + 0. Sort 6, 3, l in ascending order.
3, l, 6
Let i = -0.254 + 0.054. Sort i, 2.1, 1 in decreasing order.
2.1, 1, i
Let c = 0.24 - 0.74. Sort 0.1, c, -4.
-4, c, 0.1
Let t(v) = v + 6. Let y be t(-10). Let h = 6 - 4. Put y, 0, h in increasing order.
y, 0, h
Suppose 3*a - 8*a - 15 = 0. Sort 0.5, 1.2, a.
a, 0.5, 1.2
Suppose 0*w = 4*w + 8. Let f(p) = -p - 8. Let n be f(-6). Let r(k) = -k**3 - 3*k**2 - 3*k. Let q be r(n). Sort 0, w, q in descending order.
q, 0, w
Let z = -54 + 53. Put -5, 1, -0.5, z in decreasing order.
1, -0.5, z, -5
Let s be ((-3)/2)/((-8)/(-16)). Let k be s/5 + (-138)/(-30). Let h = -6 + k. Put 3, 4, h in ascending order.
h, 3, 4
Let m be (-22)/6 - (-2)/(-6). Let j = -5801/10650 - -27/50. Let q = 139/639 - j. Put q, 2/3, m in decreasing order.
2/3, q, m
Suppose 0*p = 3*p + 3. Suppose 0 = -11*f + 14*f - 24. Put f, p, 5 in decreasing order.
f, 5, p
Suppose -11 = 4*j - 31. Suppose j*y - 10 = 5*z, 2*y - 2*z = y + 2. Let l = 0 + -5. Put y, 5, l in increasing order.
l, y, 5
Let u be (-1)/(-6 - (-1925)/320). Sort 4, 0.3, u in decreasing order.
4, 0.3, u
Let z(x) = -x + 4*x + 7 + x - 3*x. Let r be z(-6). Put 0, -4, r in increasing order.
-4, 0, r
Suppose -3*l + 0 = -6. Suppose -5*f + 10 = 5*c, 4*c + 3*f - 11 = -0*c. Sort 4, l, c in decreasing order.
c, 4, l
Let c = 22 - 7. Suppose -3*g - 15 = 0, -5*i + 3*g = 4*g + c. Sort 2, 0, i in decreasing order.
2, 0, i
Let a = -4 - -3. Sort -2, a, -3 in ascending order.
-3, -2, a
Suppose -5*g - 15 = k, 3*k + 0*g = 4*g + 50. Put k, -2, 1 in increasing order.
-2, 1, k
Let n be 20/24 + (-2)/6. Let j = 1 - 2. Sort j, 1, n in decreasing order.
1, n, j
Suppose 0 = 5*k - 5*y - 35, -2*k + 3*y = -7*k + 19. Put 3, k, 20, 0 in descending order.
20, k, 3, 0
Let t = 25 + -37. Put 0, -3, t in decreasing order.
0, -3, t
Suppose x + 8 + 13 = 0. Let k = 23 + x. Sort k, -3, 1 in descending order.
k, 1, -3
Let b = 4 - 3. Let w be -1 + -1 + -3 + 9. Suppose -w*v - 4 = -3*v. Sort 5, v, b in decreasing order.
5, b, v
Let z be 1/(1/(-4)*-1). Let h be (-1 + z)/((-6)/(-8)). Suppose -3 = h*r - 7. Put -4, 2, r in decreasing order.
2, r, -4
Suppose 5*y - 5*q + 114 + 86 = 0, 2*q + 160 = -4*y. Let r = -157/4 - y. Sort 11, 2, r in descending order.
11, 2, r
Suppose h = 4*h - 3*s - 12, s = -3*h + 4. Suppose h*o - 3*m = -17, -3*m = -3*o - 5 - 16. Let t be 0 + (-3)/2*-2. Put o, t, -3 in increasing order.
o, -3, t
Let c be 9/2*(-12)/18. Suppose 0 = z + 4*z - 10. Suppose -z*k + 20 = 3*k. Sort -1, c, k in descending order.
k, -1, c
Let g = -39/28 - -15/7. Let b be -2*4/(-4 + 5). Let d be -4 - (44/b - -2). Put g, d, 5 in descending order.
5, g, d
Let h(s) = 0*s - 1 + 4*s - 3*s + 0. Let g be h(0). Put 4, -2, g in decreasing order.
4, g, -2
Suppose 3 = q, -3*x + q = x + 443. Let i = 768/7 + x. Sort -1, i, 2 in ascending order.
-1, i, 2
Let s = -1 + 12. Let i = 8 - s. Put i, 0, 5 in ascending order.
i, 0, 5
Suppose o - 4*b - 6 + 0 = 0, 2*b = -4*o + 60. Let r be (32/o - 2)/1. Sort -0.2, r, 0.4.
-0.2, r, 0.4
Let n be ((-8)/20)/((-2)/(-20)). Sort 1, -0.3, -1, n in decreasing order.
1, -0.3, -1, n
Let h(y) = y**2 - y + 8. Let k be h(4). Let b = k - 15. Sort b, 2/7, 0.1 in descending order.
b, 2/7, 0.1
Let v = 0.12 - 0.21. Let p = 5.09 + v. Sort p, -5, 0 in decreasing order.
p, 0, -5
Suppose k + 2 = 8. Let d(c) = -c**2 + 6*c. Let a be d(k). Put -3, a, -4 in descending order.
a, -3, -4
Let m = 9 + -8. Sort m, 0.5, 1/7 in ascending order.
1/7, 0.5, m
Let t = 0.71 - 0.21. Put t, 2/7, 1 in descending order.
1, t, 2/7
Suppose -2*v + 0*v - 4 = -5*c, 3*c - 8 = 4*v. Sort -5, -13, v in decreasing order.
v, -5, -13
Let f be (-2)/4*-2 - (-84)/(-21). Sort f, 4, -5 in increasing order.
-5, f, 4
Let l = 6 + 11. Let b = l + -20.5. Let j = b + 0.5. Sort -0.1, j, 2 in increasing order.
j, -0.1, 2
Let v = 6 - 4. Let s = 0 + v. Sort s, 0, -0.5 in increasing order.
-0.5, 0, s
Let o = 4 + -5.1. Let m = o + 0.1. Let y = 2.4 - 5.4. Put -2/9, y, m in ascending order.
y, m, -2/9
Suppose 2 = y - 2*y. Let z be y/6 - (-75)/171. Let g = 0.53 + 0.47. Sort z, -1/6, g in descending order.
g, z, -1/6
Suppose -5*w + 3*m = m + 15, 4*w + m = -12. Sort 12, 0, w.
w, 0, 12
Let d = 0.07 - 0.37. Let a = -25.6 - -28. Let o = -1.4 + a. Sort d, 2/13, o in increasing order.
d, 2/13, o
Let u be (-2*1)/((-5)/5). Sort u, 4, -2 in descending order.
4, u, -2
Let o = 1.95 + 0.05. Sort o, 1/3, -4 in descending order.
o, 1/3, -4
Suppose 39*y = 36*y. Sort 4, y, -4 in decreasing order.
4, y, -4
Let c = -2 - -3. Let p = c + 1. Sort p, -4, 0 in ascending order.
-4, 0, p
Let k(i) = i**2 - i - 2. Let r be k(-2). Suppose -4*j - 2*p + 12 = 0, 21 = j - 4*p - 0*p. Suppose 0 = -2*c + 7*c. Put r, c, j in descending order.
j, r, c
Let o = -59 - -55. Sort o, 1, 8 in ascending order.
o, 1, 8
Suppose 4*l - 6 - 10 = 0. Let v(o) = -o**2 + 6*o. Let k be v(l). Let d = k + -5. Sort -2, d, -3 in ascending order.
-3, -2, d
Let a(u) = -u**2 + 8*u - 17. Let p be a(6). Sort -1, p, -2 in ascending order.
p, -2, -1
Let z = 0.022 + 0.378