r + 4*k. Suppose 5 = -h, -z = -3*z + 5*h + 21. Sort 6, r, z in descending order.
6, r, z
Let t be (24/(-16))/(3/(-4)). Let n be t/(-12)*6/4. Sort -0.4, 3, n.
-0.4, n, 3
Suppose -2*t - 40 = -2*u, -4*t - 10 + 50 = 4*u. Suppose -o - 4*b + 7 = -2*b, 0 = 2*o + 5*b - 15. Suppose 0 = -2*g - s + o, 2*s - 5 = -u. Sort g, 0.5, 2/7.
2/7, 0.5, g
Let g be (2/(-6))/((-9)/(-135)). Suppose -m = -2*a + 2, -4*a = -7*a + 4*m - 2. Suppose 0 = 5*t + 7*x - a*x + 25, -4*x - 16 = 0. Put t, 2, g in decreasing order.
2, t, g
Let n = -5.8 + 1.8. Let o = -2 + 4. Sort o, -0.5, n in descending order.
o, -0.5, n
Let j be ((-2)/(-4) - (12 + -13))/3. Put j, 10, 5 in increasing order.
j, 5, 10
Let n = -52 + 34. Let z = n - -38. Suppose 0 = 5*g - z, g + 1 = -0*q + q. Sort -1, -4, q in decreasing order.
q, -1, -4
Let y(f) = f**3 + 6*f**2 - 5*f + 10. Let a be y(-7). Put 0, a, -3 in decreasing order.
0, -3, a
Suppose -3*u - u - 16 = 0. Let g = 0.06 + 3.94. Let n = -3.6 + g. Sort u, n, 0.2.
u, 0.2, n
Let f = -6 - -10. Suppose 0 = -i + 4*i. Suppose 0 = -4*q - 5*b + 2 - 3, 3*q - 7 = 4*b. Sort q, f, i in increasing order.
i, q, f
Let c(d) = -d**3 - 3*d**2 + 6*d + 6. Let s be c(-4). Let n be 10/12 + s/4. Sort n, 2/13, -4 in decreasing order.
n, 2/13, -4
Suppose 5*v - 21 + 6 = -3*d, -3*v + 9 = 4*d. Sort -2, -3, -6, d in ascending order.
-6, -3, -2, d
Let m be -1*(-2)/((-4)/(-10)). Sort m, -5, -7.
-7, -5, m
Let i = -10 + 6. Let c(y) = -y - 3. Let h be c(-6). Let l = 4 - 9. Sort h, i, l in decreasing order.
h, i, l
Let o be (9/12)/((-2)/(-16)). Suppose -o = -2*f - 0*f. Suppose 0 = -f*k + 1 - 13. Put 2, k, -2 in increasing order.
k, -2, 2
Let x(h) = -h**3 + 10*h**2 - 10*h + 7. Suppose 0 = -4*p + 2*u + 46, p - u - u - 19 = 0. Let z be x(p). Sort z, 4, -5 in ascending order.
-5, z, 4
Let c = 3574 + -32236/9. Let k = -8 - c. Put 1/3, 0.3, k in decreasing order.
1/3, 0.3, k
Suppose 9 + 3 = 2*k. Let s be (-3)/(-3 + 27/k). Let y be (-2 + 1)/((-1)/5). Sort y, 1, s.
s, 1, y
Suppose 0 = -8*h + 2*h - 18. Suppose 3*q + 2*j + 3 = 5, 0 = q + 4*j + 6. Sort q, h, 4.
h, q, 4
Suppose 5 + 1 = 3*n. Let t be (-20)/n*2/(-4). Let l = 29 + -31. Sort l, -5, t in descending order.
t, l, -5
Let d be 4/14 - (-25)/35. Let a be 0/(d*(-1 - -2)). Put 1, a, 5 in descending order.
5, 1, a
Let y = 8 + -7. Let f be 4/5*(-2 - -7). Let z = 48 + -51. Sort f, z, y in increasing order.
z, y, f
Suppose 6*y + 7 = 5*w + 3*y, 0 = 2*w - 3*y - 1. Suppose -w*g + 0*g = -h - 4, 1 = -3*g + 5*h. Sort g, -1, -4 in ascending order.
-4, -1, g
Let h = 141.1 + -135. Let t = h - 6. Put 3/4, 5, t in increasing order.
t, 3/4, 5
Suppose 2*t + t = 15. Let b(f) = f**2 - 5*f + 6. Let u be b(4). Let j(s) = s**3 - 2*s**2 - s. Let w be j(u). Put t, w, -5 in descending order.
t, w, -5
Let j = -2 + 7. Suppose 3*s - 4*s = 5*k + 2, k + 4 = -2*s. Put j, -3, k in increasing order.
-3, k, j
Suppose -10 = 5*i + 5. Let x be (1/i)/((-3)/2). Sort -0.2, 3/4, x in decreasing order.
3/4, x, -0.2
Suppose 24 = 3*y - 3*j, 2*y + 5*j + 2 = -3. Let u be -2 - (-8)/9*2. Put y, 4, u in increasing order.
u, 4, y
Let x(d) = -2*d - 15. Let r be x(-7). Sort -3, -5, r, 4.
-5, -3, r, 4
Let n = 47.3 + -55. Let a = n + 8. Sort a, 3, -4.
-4, a, 3
Suppose -4 = o, 2*g + 26 = -0*g - 4*o. Let h = g - 0. Sort h, 1, -4 in decreasing order.
1, -4, h
Let o be -1*(-1)/(-2)*-2. Let m be o*(-2)/(2*-1). Let y = 8 + -13. Put m, 4, y in increasing order.
y, m, 4
Let b = 4.066 - 0.066. Sort b, 0.4, 0.08, -5.
-5, 0.08, 0.4, b
Let s(d) = d - 4. Let q(g) = g - 5. Let f be q(8). Let j be s(f). Sort -5, j, 1.
-5, j, 1
Suppose 0*q = -4*y - 5*q + 5, 3*y - 3*q + 3 = 0. Put y, 5, -2 in decreasing order.
5, y, -2
Let n be (-5*(-2)/4)/(9/72). Put n, 4, 5 in increasing order.
4, 5, n
Let k = 6 - 112/19. Let f = -2 + 3. Let v = -2 - f. Put v, k, 3 in ascending order.
v, k, 3
Let s = -158 + 156. Put 4, 1, s, 2 in increasing order.
s, 1, 2, 4
Let y be -9 - (3 + 1*-4). Let f be 3*1*y/12. Sort -4, f, 0.
-4, f, 0
Let u = 0.055 + -2.355. Let m = 0.7 - u. Sort m, 0.2, 5 in decreasing order.
5, m, 0.2
Let d = -13/168 - 1/21. Sort -0.1, -4, d in ascending order.
-4, d, -0.1
Let i be (-1)/((-1)/(1*4)). Suppose -23*o - 3*o - 78 = 0. Sort o, i, 5 in descending order.
5, i, o
Let g = -4.252 - -0.182. Let o = 0.07 + g. Let i = -269 + 2961/11. Put o, i, 2/17 in decreasing order.
i, 2/17, o
Let f = 104 + -313/3. Sort 4, 3/7, 5, f in decreasing order.
5, 4, 3/7, f
Let w = -1 - -2. Suppose -2 = i + 3*c - 1, -4*c - 8 = -2*i. Let j be -5 + 7 - (1 + i). Sort j, 4, w in increasing order.
j, w, 4
Suppose 0 = -0*k - 4*k - 2*h - 6, 4*h = 2*k - 2. Let o(v) = v. Let y be o(4). Sort 0, k, y.
k, 0, y
Let t = -0.7 - 0.3. Let l = 0 + t. Sort 4, -1/7, l in ascending order.
l, -1/7, 4
Let q = 7 - 0. Let r = 5 - q. Put -1/4, r, 0.4 in descending order.
0.4, -1/4, r
Let k = 12 - 11.9. Let c = k + -0.3. Sort c, -3, -7 in ascending order.
-7, -3, c
Suppose -5*q - 4 = 1. Suppose 0 = -3*d - c + 6*c - 8, 4*d - 4 = 3*c. Let x be (d - (0 - q))/(-1). Put x, -2, -1 in decreasing order.
-1, -2, x
Suppose -2*z - 5 = 5, 30 = -4*k - 2*z. Put 3, 7, k, 2 in decreasing order.
7, 3, 2, k
Let z = -0.6 + 5.6. Sort z, -1, 0.13 in decreasing order.
z, 0.13, -1
Let l = 0.88 - 0.55. Let u = l - 0.03. Put -2/3, 4, u in decreasing order.
4, u, -2/3
Let o(f) = f**3 - 6*f**2 + 5*f + 1. Let u be o(5). Let v = 4 - 2. Put -4, u, v in decreasing order.
v, u, -4
Suppose 0 = -6*q + q - 10. Suppose -4*s = -0*s + 12. Put s, q, 4 in decreasing order.
4, q, s
Suppose -r + 25 = 4*r. Let k(z) = -z - 1. Let f be k(-4). Sort -3, r, f in ascending order.
-3, f, r
Let u = 11 - 21. Let w be (u/(-4))/(4/(-8)). Let g = -3 - -1. Sort w, -3, g in ascending order.
w, -3, g
Let y = 2 + -6. Let t = -5 - -12. Let b = t - 15/2. Put 0.5, b, y in descending order.
0.5, b, y
Let t be 2/(-8) - (-14)/(-8). Let o = 41 - 36. Put o, t, -3 in ascending order.
-3, t, o
Let b = 0.1 + -0.1. Let g = b - -1. Sort 2/13, g, 2 in descending order.
2, g, 2/13
Let q = -4 - -6. Let i = q - -3. Let d = -5 - -8. Sort 0, i, d in decreasing order.
i, d, 0
Let b = 0.32 + -0.29. Sort -0.2, 0, b, -1.
-1, -0.2, 0, b
Let h = -17 + 16.8. Sort h, 3/5, 0.5.
h, 0.5, 3/5
Let d be (1*-3)/((-6)/(16/8)). Sort 5, d, 0, -5 in descending order.
5, d, 0, -5
Suppose 3*r + 2*r + c - 22 = 0, 0 = 2*r + 4*c - 16. Let g(z) = z**3 + 8*z**2 + 6*z - 4. Let p be g(-7). Suppose -2*w = -p*w. Put r, w, 3 in descending order.
r, 3, w
Let a = 30/7 + -95/14. Let l = -70/11 - -166/33. Suppose 2*g - 5 - 1 = 0. Put g, l, a in decreasing order.
g, l, a
Suppose 3*n - 2 = 1. Let x = n - 3. Let b = x + 0. Sort 4, -3, b.
-3, b, 4
Let s = -22.64 - -2.34. Let t = s + 20. Put -1/6, 0.3, t in descending order.
0.3, -1/6, t
Suppose 2*q - 3 = 3. Suppose -5*y = -q*x - 22, y + 14 = 3*y + 4*x. Sort -4, 0, y in decreasing order.
y, 0, -4
Let o(w) = -w**3 - w**2 + w - 2. Let m be o(-2). Let q be (-46)/(-10) - 4/(-10). Put 3, q, m in decreasing order.
q, 3, m
Suppose -o = -0*o. Suppose o = -0*w + w. Put w, -2, -3 in decreasing order.
w, -2, -3
Let p = -55 + 58. Sort -3, 2, p in increasing order.
-3, 2, p
Suppose -2*s - 2*s - 56 = 0. Suppose -55 + 328 = -13*t. Let j = t - s. Sort j, 1, 3 in increasing order.
j, 1, 3
Let s be (0 - (-3 - 1))/1. Suppose 3*w = -0*l - 2*l + s, 4*l = 4*w - 32. Let v = 3 - 8. Sort w, -1, v in increasing order.
v, -1, w
Let y be -1 - 2 - (0 - -4)/(-2). Put 3, 1, y in ascending order.
y, 1, 3
Let q = -0.13 + 0.43. Sort q, 5, -0.3 in ascending order.
-0.3, q, 5
Let c be 12/(-22)*11/(-66). Sort c, 0.3, 1/7 in descending order.
0.3, 1/7, c
Suppose 3 + 43 = 5*z - 3*f, -5*f = -4*z + 42. Let s = z + -5. Put s, -3, -4 in increasing order.
-4, -3, s
Let k = -0.02 - 0.38. Let d = k + 0.5. Put d, 3, 0.3 in decreasing order.
3, 0.3, d
Suppose 0*s + 4*s + 17 = 3*k, 5*k - s = 17. Put 4, k, 2 in ascending order.
2, k, 4
Let s = -9 + 14. Let q = -1.7 + 0.4. Let x = q - -0.3. Put s, x, 4 in ascending order.
x, 4, s
Let k(m) be the first derivative of m**3/3 - 4*m**2 + 4*m - 1. Let r be k(7). Let f be (0 - 5/(-3))*-3. Sort 4, f, r.
f, r, 4
Let o = 16 - 11. Let b(x) = 3 - 4*x + x + x**2 + 2*x - 4*x. Let k be b(o). Sort 2, 0.3, k in descending order.
k, 2, 0.3
Let f = 10 - 13. Sort -2, -1, f.
f, -2, -1
Let y(t) = -t**3 + 15*t**2 + 16*t + 3. Let f be y(16). Sort -11