h, 4 in decreasing order.
4, u, h
Suppose -5*k - 9 = 4*k. Put 2, 4, 29, k in decreasing order.
29, 4, 2, k
Suppose -4*k - 8 = -2*k. Let w be (-15)/15*1*-1. Put -3, w, k in decreasing order.
w, -3, k
Suppose -4*i + 28 = -44. Let v be (-8)/(-36) + (-58)/i. Let p(c) = c**3 + 6*c**2 - c - 8. Let o be p(-6). Sort v, o, -4 in decreasing order.
o, v, -4
Suppose -y + 9 = 4*u, 2*y - 6*y = -2*u. Let a = -2 + u. Put -4, a, -2 in increasing order.
-4, -2, a
Let j = 24 + -25. Sort -1/18, 3, j in descending order.
3, -1/18, j
Let i be 8 + -2 + -2 - 4/4. Put i, -9, -3 in ascending order.
-9, -3, i
Let f = 22 - 21.5. Let t = -0.2 + 0.1. Sort 0, t, f in descending order.
f, 0, t
Let q = 75522 - 831752/11. Let g = -92 - q. Let c = -5 - -1. Sort c, 0.5, g in ascending order.
c, g, 0.5
Let n(w) = -w**3 + 2*w**2 + w. Let g be n(-1). Let x(d) = d**3 - 33*d**2 + 31*d + 31. Let u be x(32). Sort u, 1, g in ascending order.
u, 1, g
Let w = 3 - 1. Let q be w - (0 + 2 - 5). Let a = 0 + -1. Put -4, a, q in ascending order.
-4, a, q
Let z = -0.4 + 1.4. Let r = -3 - z. Let c = -9 - r. Put -1/6, c, -2/3 in descending order.
-1/6, -2/3, c
Suppose 0*c - 4 = 5*v - 2*c, -3*v - c - 9 = 0. Let z(d) = -3*d**2 + d - 1. Let h be z(1). Let j be 2/v*(0 - h). Sort j, -0.2, 2/5.
j, -0.2, 2/5
Suppose -5*j + 2 - 2 = 0. Put -0.5, j, -3/2, 1/4 in decreasing order.
1/4, j, -0.5, -3/2
Suppose 9 = 5*b + 4*h, 5*h + 6 = -5*b + 16. Let c = 12 + -7. Sort -1, c, b in ascending order.
-1, b, c
Let f = 4 - 6. Suppose 5*v = -0*z + 4*z - 130, 0 = z - 3*v - 36. Let d be 20/z*9/(-4). Put f, 4, d in increasing order.
f, d, 4
Let u = -0.3 + 0.8. Let r = 0.73 - -0.07. Let f = r - u. Sort 2/7, -0.3, f in decreasing order.
f, 2/7, -0.3
Let z = -0.033 - -0.133. Put z, 0.28, -2 in ascending order.
-2, z, 0.28
Let z(w) = w - 21. Let k be z(18). Sort 4/7, k, -1/3.
k, -1/3, 4/7
Let f = -1.04 + 1.09. Sort f, 0.1, -2/3, 0.5 in increasing order.
-2/3, f, 0.1, 0.5
Let x be 2/12 - 7/42. Put 3, x, -5, 4 in decreasing order.
4, 3, x, -5
Suppose 3 = -2*z - 5. Let v = 15 - 13. Put z, 1, v in ascending order.
z, 1, v
Let h(b) be the first derivative of -b**4 - b + 2. Let k be h(-1). Let x(p) = 3*p + 4. Let c be x(-3). Sort 1, k, c in descending order.
k, 1, c
Let a = 0.007 - -0.093. Sort a, 5/4, 3/2, 3 in decreasing order.
3, 3/2, 5/4, a
Suppose -b + 2*l = 2, -3*b = -5*b - 2*l + 14. Sort -4, b, -13, -2 in decreasing order.
b, -2, -4, -13
Let h = 42.1 + -42. Sort -5, h, -1/5.
-5, -1/5, h
Let d = 60 + -361/6. Let l = -0.4 + 0.7. Put d, l, 1 in increasing order.
d, l, 1
Suppose -35*x = -42*x + 77. Put 1, -5, 4, x in descending order.
x, 4, 1, -5
Suppose -4*u + 4*g - 4 = 0, 2*u - 5 = g - 2. Sort 1, u, 0 in decreasing order.
u, 1, 0
Let g = 0.69 - 0.7. Sort 1/3, g, 0.5 in decreasing order.
0.5, 1/3, g
Let g(c) = c + 4. Let h be g(-4). Sort -2, h, -5 in decreasing order.
h, -2, -5
Let v = -42 - -43. Put -0.4, v, -0.15 in decreasing order.
v, -0.15, -0.4
Let r be 7*(-4)/42*-3. Let h(l) = l**3 - 2*l**2 + l. Let y be h(r). Sort -2, -3, y.
-3, -2, y
Let a = 913/5 - 182. Suppose 4*k + 0*k = 2*w + 8, -4 = 3*k + w. Suppose 2*x + k*x = 2. Sort x, a, 4 in increasing order.
a, x, 4
Let v(u) = -5*u**3 - 14*u**2 + 8*u. Let y(s) = -14*s**3 - 41*s**2 + 24*s - 1. Let t(f) = -17*v(f) + 6*y(f). Let c be t(7). Let g = 3.07 - 0.07. Sort 0.5, g, c.
0.5, c, g
Suppose 11 = -g - 4*v, 5*g = -5*v - 10 - 15. Sort 2, 1, g.
g, 1, 2
Suppose -v - 1 = -2*v. Sort 4, -1, v in ascending order.
-1, v, 4
Let g be -6 - ((2 - 4) + -1). Let c(p) = -p. Let y be c(g). Put 5, 1, y in decreasing order.
5, y, 1
Let u(w) = w - 13. Let r be u(21). Sort -1, -2, r in ascending order.
-2, -1, r
Let o = -6 + 3. Let u = 0.1 - -3.9. Sort u, 2/9, o in ascending order.
o, 2/9, u
Let l = -0.15 - -0.13. Let u = l + 0.52. Put 0.2, 4/7, u in decreasing order.
4/7, u, 0.2
Suppose -3*m + 7*m - 12 = -2*z, z + 3*m = 8. Let o be 7 + -9 - 1*z. Sort -4/3, 1, o in decreasing order.
1, -4/3, o
Let p = -4 + 12. Let u = -5 + p. Let z = 2 + u. Sort -0.3, 0, z in descending order.
z, 0, -0.3
Suppose -4*n + 120 = 28. Let p be n/(-4) + 30/40. Sort -4/7, -0.1, p.
p, -4/7, -0.1
Suppose -m - m = 0, 2*m = -3*s. Suppose 5*h + 0*k = k + 55, 2*h + 5*k + 5 = s. Suppose -3*d + 1 - h = 0. Sort -1, d, 4.
d, -1, 4
Let l = 6 + -4. Suppose 0 = 3*j - 6, 5*a + l = -0*a - 4*j. Sort 2, -3, a.
-3, a, 2
Let h = 68 + -69. Sort 3, h, -5 in decreasing order.
3, h, -5
Let r be ((-4)/16)/(-3 - (-58)/16). Put -5, -1, r, -3 in descending order.
r, -1, -3, -5
Let y = 0.3 + 0.2. Let q = -4.41 - -0.01. Let z = 4 + q. Sort z, y, -5 in decreasing order.
y, z, -5
Let s = -2/947 + -1864/14205. Let w(u) = -2*u - 1. Let a be w(1). Let n be (a + 5)*(-2)/(-4). Sort -3/7, n, s in descending order.
n, s, -3/7
Let k(f) = -2*f**3 - 4*f**2 - 3*f - 1. Let a be k(-2). Suppose 2*v = 4*c + 16, v - 2*c - 4 = 2*c. Suppose 0 = 3*b - 0*b + v. Sort b, -3, a.
b, -3, a
Let n be (3/(-6))/((-2)/4). Let s = n + -3. Let j be (-1)/1 + s + 0. Put j, 0.4, 5 in descending order.
5, 0.4, j
Let u = 0.3 - 0.5. Sort 3, -4, -5, u.
-5, -4, u, 3
Suppose 4*j - 6 = 2. Suppose -j*x + 10 = 5*v - 4*x, 2*v = 5*x + 25. Sort 1, v, -3 in descending order.
1, v, -3
Let a = -0.2 + -0.2. Let l = 0 - 0.2. Let o = 0 - l. Sort 0.4, a, o in descending order.
0.4, o, a
Let u be 5/5 - 398/(-8). Let x = 37 + 14. Let t = u - x. Sort -2, t, -0.5.
-2, -0.5, t
Let c = -6 + 15. Let a = c + -4. Let z be 10/(-6)*(-8)/(-10). Put z, -3, a in ascending order.
-3, z, a
Let g(q) = q - 8. Let w be g(7). Let v(b) = 3*b**2 - b. Let c be v(w). Put -5, 0.4, c in descending order.
c, 0.4, -5
Suppose 12 = 3*h, 0 = -0*q - q - h. Let o = -0.04 - -1.64. Let l = o + -0.6. Sort l, q, -5 in decreasing order.
l, q, -5
Let s(l) = -l. Let a be s(-5). Suppose 5*c = -4*k - 11, 5*c = 2*c + 5*k - 14. Sort c, 1, a.
c, 1, a
Suppose -i - i - 2*a + 18 = 0, 28 = 4*i - 4*a. Suppose u - 4*y + 10 = 0, 0 = 2*u + 2*y - 6*y + i. Sort -2, u, -3 in ascending order.
-3, -2, u
Let t be 0/((-4)/6*3). Sort 5, 1, -3, t.
-3, t, 1, 5
Let t = 25 + -17.9. Let z = -2 - -9. Let c = t - z. Sort c, -2, -0.5.
-2, -0.5, c
Let q be 6/(-8) + 116/(-16). Suppose 9 = h + 21. Let z = h - q. Put -3, z, 1 in descending order.
1, -3, z
Let l = 0.9 - -0.1. Sort -0.1, l, 1/9, -5 in descending order.
l, 1/9, -0.1, -5
Let q = -126 + 125. Let g = -4 + 3.6. Sort g, 3, q.
q, g, 3
Let x = -0.1 - -0.05. Let y = x - 0.05. Let v = 7 + -6.6. Put v, -1/4, y in ascending order.
-1/4, y, v
Suppose 0 + 4 = -d. Suppose 0 = 18*v - 22 - 32. Put v, 2, d in descending order.
v, 2, d
Let b(p) = p**3 - 7*p**2 - 9*p + 6. Let j be b(8). Put 5, 0.02, j in decreasing order.
5, 0.02, j
Let x be (-24)/84 - 16/(-7). Sort 5, 3, x in ascending order.
x, 3, 5
Let j(b) = -2*b**3 - 19*b**2 - 5*b + 14. Let w(n) = n**3 + 10*n**2 + 2*n - 7. Let u(z) = -3*j(z) - 5*w(z). Let d be u(-6). Sort -3, d, -2 in decreasing order.
d, -2, -3
Let h = 0.1 - 0.1. Let f = -0.04 + 4.04. Put h, -0.4, f in ascending order.
-0.4, h, f
Let q(k) = k. Let z be q(1). Let x = 8 + -10. Sort x, -5, z.
-5, x, z
Let p = -0.205 - -0.005. Sort -1, p, -0.4 in descending order.
p, -0.4, -1
Suppose 6 = h + 1. Sort -2, h, 1 in decreasing order.
h, 1, -2
Let c = 14 - 9. Suppose 0*w = c*d - 3*w - 37, d + 11 = -4*w. Let f = 50 + -50. Put 3, f, d in decreasing order.
d, 3, f
Let p be 3/(-12) - (-3)/4. Let f = -2.7 - -2.4. Sort f, p, 1.
f, p, 1
Suppose 0 = m - x - 2, -4*m + 5*x + 21 = 8. Let d be m/9 - (-46)/(-42). Put -4/5, -0.5, d in descending order.
-0.5, -4/5, d
Let h be 5 + 0 - (8 - 3). Let v(b) = -b**3 - 2*b**2 + 2*b - 2. Let u be 1/5 - 32/10. Let c be v(u). Put 0.3, h, c in decreasing order.
c, 0.3, h
Let m = 168 + -200. Sort -5, 3, m in ascending order.
m, -5, 3
Suppose 0 = c - 3*b + 3, -3*b + 18 - 6 = 0. Put -1, c, 2 in descending order.
c, 2, -1
Suppose -275 + 273 = -2*l. Let x = -6 - -3. Sort l, x, -5 in descending order.
l, x, -5
Let d(k) = -2*k + 20. Let z be d(8). Sort 5, z, 2 in decreasing order.
5, z, 2
Let m be 100/(-28) - (-9)/(-21). Put 3, m, -2 in descending order.
3, -2, m
Let n = 3.8 - 3.6. Sort -3/4, n, 8 in descending order.
8, n, -3/4
Suppose m = -5*f - 18, 21 = -m - 3*m - 3*f. Let i be (-34)/(-8) + 4/(-16). Sort i, m, 0 in ascending order.
m, 0, i
Suppose 2*v + 5*n + 0 = 49, -n + 41 = 3*v. Suppose -u 