5, h in descending order.
0.5, h, b
Suppose -3*f = -u + 5, 4*u = -3*f - 0*f + 20. Put u, -2, 3 in decreasing order.
u, 3, -2
Suppose 3*a + 36 = -5*p - 11, -p - 4 = 0. Let h be 9*(12/a - -1). Sort h, -7, 2.
-7, h, 2
Let g = -25 - -24. Sort 1, -17, g.
-17, g, 1
Let g = 5.5 - 2.5. Sort g, 2, -0.2 in increasing order.
-0.2, 2, g
Let b(h) = -h + 7. Let s be b(6). Let r be 1 - s/(3 + 0). Suppose 0 = -0*p - 3*p + 3. Sort -0.4, p, r.
-0.4, r, p
Let x = 1/32 - 35/96. Let h = x + 11/6. Let d be 6/4*2/12. Sort d, 2, h in descending order.
2, h, d
Let o(v) = -4*v - 9. Let y be o(-5). Suppose n + 6 = 2*b - y, n + b = -2. Put n, -1, -2 in decreasing order.
-1, -2, n
Let i = -0.9 - -0.4. Let j = i - -0.5. Sort j, 0.5, -4/3 in descending order.
0.5, j, -4/3
Suppose 0 = 4*d + n + 5, 7*n + 20 = 2*d + 3*n. Sort 5, 1, 8, d.
d, 1, 5, 8
Let k = 2 - -1. Suppose 3 = k*s - 9. Sort s, -2, 3 in decreasing order.
s, 3, -2
Suppose 0*q = -3*q - 4*g - 16, -4 = 2*q - 4*g. Put 5, -2, q in decreasing order.
5, -2, q
Let o be (-48)/(-72)*(-3)/4. Put 2, o, 1 in descending order.
2, 1, o
Suppose 0 = -2*s + 3*x + 6, 4*s - 3*x = x + 8. Suppose 0 = 5*t - 6*t + 1. Put s, t, -4 in descending order.
t, s, -4
Let j(v) = 3*v + 1. Let b be j(1). Sort b, -5, -3/8 in ascending order.
-5, -3/8, b
Let v(r) be the second derivative of -r**3/6 + 3*r**2/2 + r. Let b be v(3). Let o = 0 + 1. Sort b, o, 4.
b, o, 4
Let x = 7 + -7. Sort -1.3, -4, x in increasing order.
-4, -1.3, x
Let l(n) = n**3 + 2*n**2 + 3*n + 3. Let j be l(-2). Let u = 10 - 7. Suppose 1 = 5*s + p + p, -4*s + u*p + 10 = 0. Sort s, -2, j in increasing order.
j, -2, s
Let k = 0.03 - -0.37. Let n be (249/(-20))/(-3) + -2. Let c = -7/5 + n. Sort k, c, 5.
k, c, 5
Let f = 47 - 48. Suppose 2*p - 6 = -0. Sort p, -4, f in increasing order.
-4, f, p
Let j be 86/18 + (-10)/(-45). Let g = 0.3 + 0. Sort g, j, 0.4.
g, 0.4, j
Suppose -4 - 4 = 4*v. Let z = 3 - 7. Let q be (-2)/z - 33/6. Sort q, 3, v in decreasing order.
3, v, q
Let x = -1 + 2. Let d(u) = -3*u - 1. Let o be d(-3). Let w = o + -5. Sort x, 4, w in ascending order.
x, w, 4
Suppose 0 = -5*f + 1 + 9, -14 = 2*i - 4*f. Let z = 0 + 0.06. Let o = z - 2.06. Put o, i, -1/10 in descending order.
-1/10, o, i
Let j(c) = c**3 - c**2 - 20*c - 3. Let t be j(5). Let o = 0 + 2. Let b = -13/54 + 1/54. Put o, b, t in decreasing order.
o, b, t
Let f = 0.2 - 1.2. Let b = -0.13 - -1.12. Let t = 0.01 + b. Sort f, t, 3/2 in descending order.
3/2, t, f
Suppose 0*f + 16 = 4*f. Suppose 0*r + 4*j - 16 = -4*r, j = f. Let i be (0 + 1)/(3/(-12)). Sort r, i, -1 in ascending order.
i, -1, r
Suppose 2*o - 3*k + 2*k + 1 = 0, 5*k = 25. Suppose -2*z - 10 + 2 = 0. Sort z, 3, o in descending order.
3, o, z
Let u = -1.5 - -1.8. Put 1, u, 0.6 in increasing order.
u, 0.6, 1
Let x be (-22)/6 - 2/(-3). Put 1, x, 1/6 in descending order.
1, 1/6, x
Let u = -257/174 + -2/87. Let m(h) = 2*h - 15. Suppose 2*t = -3*t + 50. Let n be m(t). Put -2, n, u in descending order.
n, u, -2
Let u = 5.88 - -0.12. Let x = 0.6 - 0.8. Sort x, 0.5, u in descending order.
u, 0.5, x
Let h be (0 + -3)/3*2. Let s be -4 + h/2*0. Sort -3, s, -5 in descending order.
-3, s, -5
Let u be 4/4*(0 + 1). Let y = 0 - 3. Sort -5, u, y.
-5, y, u
Let x = -115/3 - -38. Sort -2/7, 4, x in decreasing order.
4, -2/7, x
Let g = 0 + 3. Suppose 0 = g*v - v. Let r be 6/(-27)*1 - v. Sort r, -4, 0.1 in decreasing order.
0.1, r, -4
Let z = -0.19 + -0.21. Let n = -3/10 + 2/15. Sort z, n, 4.
z, n, 4
Let p(b) = -b**2 + 4*b - 1. Let x be p(4). Put 2, -4, x in ascending order.
-4, x, 2
Suppose b - 17 = -6*p + p, -4*p = -4*b - 28. Suppose 5*f - f = 5*q + 40, -4*q = 4*f - p. Put q, -5, -2 in decreasing order.
-2, q, -5
Let h be 6/(-2)*(-48)/(-36). Let p be ((-4)/(-2))/(0 + -1). Put 1, p, h in ascending order.
h, p, 1
Let o(i) = i**3 + i - 8. Let y be o(0). Let q = 10 + y. Sort 6, q, 4 in descending order.
6, 4, q
Let n = -28 - -27.9. Sort 1/3, 3, n in increasing order.
n, 1/3, 3
Suppose u - 30 = -4*u. Let c = u - 10. Put 1, c, 4 in descending order.
4, 1, c
Suppose -45 = -7*u + 4*u. Let w = u + -11. Sort 3/4, -0.1, w in descending order.
w, 3/4, -0.1
Let b be ((-15)/(-9))/(2/6). Suppose 3*j - 6 = 3. Let p = j + -4. Sort p, -4, b in decreasing order.
b, p, -4
Let p = -4 + 1. Suppose -4*m - 4 = 4*q, m = q + 1 + 6. Let s = 3 + q. Sort -2, s, p in ascending order.
p, -2, s
Suppose m - 1 = 0, -6*s + m = -5*s - 54. Suppose -3*u - 11 = s. Let x be u/10 + (-2)/(-10). Sort -3, -5, x in decreasing order.
x, -3, -5
Let r be (-1)/2 - (-65)/30. Put -0.2, -7, r in decreasing order.
r, -0.2, -7
Let r be (-2)/(-9) - 2/((-126)/(-329)). Sort 1, 3, r in ascending order.
r, 1, 3
Let r = -13 - -8. Let w = r + 5. Put -3, w, 1 in decreasing order.
1, w, -3
Suppose -2*z + 4*b = 2, 3*z = 5*b - 3 + 1. Suppose i - u + z = 5*i, 2 = i + 2*u. Sort i, 4, 5 in ascending order.
i, 4, 5
Let q = -21 - -21.5. Let o be 2 + -3*(-24)/(-33). Sort 1, o, q in ascending order.
o, q, 1
Let h = 14 + -18. Suppose 0 = -5*i + 4*i + 5. Suppose 15 = i*j + b + 3*b, 5*j - b - 15 = 0. Sort -2, j, h in increasing order.
h, -2, j
Let s = 7 + -8. Let u(f) = f**3 - 6*f**2 + 4*f + 1. Let a be u(5). Sort s, -2, a in decreasing order.
s, -2, a
Let u = 14 + -20. Let r be (-4)/u - (-52)/(-60). Put 2/7, 4, r in ascending order.
r, 2/7, 4
Suppose 4*l - 16 = -4*b, b - 4 = -2*l + 3. Sort l, 4, -1, 0 in descending order.
4, l, 0, -1
Let n(c) = 2*c - 3. Let h be n(-4). Let j = h + 6. Let q be ((-1)/(-3))/(-1 + (-2)/(-3)). Sort 0, j, q in ascending order.
j, q, 0
Let i be (-124)/(-10) + 6/(-15). Suppose 3*b - i = 0, -3*s = -0*b + b + 2. Let w = s - -7. Sort w, -1, 4 in descending order.
w, 4, -1
Suppose m + 5 = 1. Let k = 0 - 0. Sort 1, k, m.
m, k, 1
Let v = -6 + 10. Suppose -v*i = -5*i - 1. Let z(o) = o**3 - 6*o**2 + 4*o + 3. Let g be z(5). Put i, 2, g in descending order.
2, i, g
Let n = 16 - 16.1. Let c = -9 - -6. Put 5, n, c in decreasing order.
5, n, c
Let p = -3.9761 + -0.0239. Let y = 0.3 + 0.7. Let o = -2 + y. Put 4, p, o in decreasing order.
4, o, p
Let j = -0.03 - -3.03. Let s = -5 + 3. Suppose -4*z + z + x = 8, 0 = x + 1. Sort j, s, z in decreasing order.
j, s, z
Let x(r) = -r - 6. Let l(w) = -w - 13. Let h(f) = 3*l(f) - 7*x(f). Let t be h(4). Suppose -4*z = 5*i + t, 5*i + 13 = -3*z - 5. Sort -5, i, 0.1.
-5, i, 0.1
Let q(z) = -z - 2. Let s be q(-3). Let j(i) = i - 2. Let b be j(6). Let l be -12 - -14 - (-6)/(-2). Sort l, s, b in decreasing order.
b, s, l
Suppose 0 = -3*r - 13 + 4. Sort -2, r, 3.
r, -2, 3
Let k = 47387 - 7771435/164. Let i = k + 2/41. Sort i, -4, 2/3 in descending order.
2/3, i, -4
Suppose -6*t + 3*t - 45 = 0. Let f = t - -18. Let g be (-1)/3 + (-1)/(-3). Sort f, g, -6 in increasing order.
-6, g, f
Suppose -5*j - 5*v = -4*v + 15, -13 = -j + 3*v. Let x be j/11 - (-4)/22. Put x, 0.4, 2 in descending order.
2, 0.4, x
Let w = 45 + -77. Let h be (-8)/28 - w/14. Suppose 2*y - 9 = 3*o, -5*o + h*o = -y + 12. Sort 5, 0, o in decreasing order.
5, 0, o
Suppose 2 + 6 = -4*x. Suppose -1 = k + 2*w, 3*k + 5*w + 1 = -0*k. Sort x, 5, k in decreasing order.
5, k, x
Let a be 1*2*(161/(-28) - -6). Sort 1/4, a, -3/5, -1/4.
-3/5, -1/4, 1/4, a
Let b = -15 + 15. Suppose 0 = -2*n - n + 15, -n = 4*x - 1. Sort x, -2, b in decreasing order.
b, x, -2
Let d(x) = -x**3 - x**2 + x. Let a be d(0). Let r = 6 - 4. Suppose 5*u - p = 15, r*p - 4 = -14. Sort u, -2, a in increasing order.
-2, a, u
Let f = 0.108 - 0.108. Suppose -2*b - 4 = -b, x + b + 395 = 0. Let m = 5867/15 + x. Put m, f, -2/9 in descending order.
m, f, -2/9
Let o = 57 + -57.1. Sort -4, 6, o in decreasing order.
6, o, -4
Suppose -10 = -3*d + 8*d. Suppose 0 = 5*b - 1 - 29. Sort d, b, 3 in decreasing order.
b, 3, d
Let c = 13 + -12.89. Let p = -1.11 + c. Let v = 21 - 127/6. Put p, v, 4 in ascending order.
p, v, 4
Suppose 0 = -o + 5*o - 12. Suppose 4*a - 3*a = -4. Sort a, o, -1 in decreasing order.
o, -1, a
Let b = -0.6 + 0.6. Let a = b + 0.5. Sort -5, 1/3, a in decreasing order.
a, 1/3, -5
Suppose 14 - 34 = 5*c. Sort c, 4, 5 in descending order.
5, 4, c
Suppose -5*g + 3*g = 6. Put -6, -5, g in descending order.
g, -5, -6
Suppose 0 = -6*r + r. Let s = 13 + -8. Let f = -7 + s. Sort 4, r, f in decreasing order.
4, r, f
Suppose 0 = -5*b + 5 + 10. Suppose b*l + 2*i - 5*i + 21 = 0, 7 = -4*l - 3*i.