sing order.
5, 1, x, -9
Let i = -2 - -4. Suppose -i*k = -4*y + 4, -4*k + 5*y - 6 = 2. Let g be (48/(-10))/6*-5. Sort k, -4, g.
-4, k, g
Let f = -73 + 62. Put -5, f, -4 in decreasing order.
-4, -5, f
Let m(d) = 8 - 4*d**3 - 6*d**2 + 5*d**3 - 2*d**3 + 8*d. Suppose 17*t = 21*t + 28. Let i be m(t). Sort -3, i, 2.
-3, i, 2
Suppose 0*c - 25 = 5*c. Sort c, -1, -2.
c, -2, -1
Let s = -2 + 0. Sort 1, s, 0, 5 in decreasing order.
5, 1, 0, s
Let y be ((-2)/(-3))/((-26)/39). Sort -4, 4, y.
-4, y, 4
Let b = -0.316 + 0.016. Put 0.1, 2/3, b, -5 in decreasing order.
2/3, 0.1, b, -5
Let j be (-3)/(4/(-16)*6). Let b = -6 + 9. Suppose -3*c - 12 = -b. Sort -2, j, c in ascending order.
c, -2, j
Let g be -2 + 8*(-2)/(-6). Let r = -0.4 - 0.1. Sort g, r, 1 in ascending order.
r, g, 1
Let x = -411/52 - -133019/780. Let i = x - 325/2. Sort 0.5, i, 4/5 in decreasing order.
4/5, 0.5, i
Suppose 12 = 5*j + 2. Let m be (0 + -1)/((-2)/2). Put m, 5, j in increasing order.
m, j, 5
Let l be 0*(2 + 0 - 1). Sort l, -4, -9.
-9, -4, l
Let w(l) = l + 11. Let b be w(-10). Suppose 5*j + 4*q - b + 6 = 0, -3*j + 3*q = -24. Let d = 0 - 0. Sort d, j, 5 in increasing order.
d, j, 5
Suppose -3*v - 23 + 5 = 0. Let r be (-3)/(-1) + 4 + v. Let l be (-2)/(-2 + r - -3). Put l, -0.4, 2/11 in increasing order.
l, -0.4, 2/11
Let j(g) be the second derivative of -g**3/6 + 2*g**2 + 8*g. Let b be j(6). Suppose 0 = 2*n + y - 0*y - 1, 7 = 4*n + y. Sort -3, b, n in descending order.
n, b, -3
Let a = -13 - -12.8. Put -1, a, -2/9 in descending order.
a, -2/9, -1
Let k = -293.93 + 298. Let y = -0.07 + k. Put -3, 0.4, y in decreasing order.
y, 0.4, -3
Suppose 4*u + 6 = 3*u. Put -1, -4, u in ascending order.
u, -4, -1
Let s be 102/4*8/(-6). Let a = 173/5 + s. Sort a, 4, -1 in descending order.
4, a, -1
Let f = 8 - 6. Let r be f*(2 + -3) - -14. Suppose 2*l = -l + r. Sort -3, l, 3 in decreasing order.
l, 3, -3
Let l = -14 - -11.9. Let j = l + 2.1. Sort 1/6, j, -5/4 in decreasing order.
1/6, j, -5/4
Let n(y) be the first derivative of 7*y**2/2 + 15*y + 1. Let a(s) = 20*s + 45. Let v(c) = 6*a(c) - 17*n(c). Let p be v(-10). Sort p, 0, -3 in ascending order.
-3, 0, p
Let u(b) = b**3 - b**2 + 2*b - 1. Let t be u(2). Suppose -3*l + a = t, -l = 2*a - 1 + 15. Sort l, 5, -3 in increasing order.
l, -3, 5
Suppose -3*c + 6 + 5 = 5*f, 2*c = -4*f + 8. Suppose 6 = a - p, 3*p + 5 = 4*a - 17. Sort a, 0, c in increasing order.
0, c, a
Let g = -6.5 + 1.5. Sort g, 1/3, 0.3.
g, 0.3, 1/3
Let n(s) = s + 6. Let l be n(-5). Let c = 0 + l. Let d = 5 - c. Sort -1, d, 1 in increasing order.
-1, 1, d
Let q(o) = o - 10. Let p be q(12). Suppose 0 = 6*r - 3*r - 12. Put -3/2, r, p in descending order.
r, p, -3/2
Suppose -20 = -5*k, -n + 5*k - 12 - 1 = 0. Put -1/4, n, -5 in ascending order.
-5, -1/4, n
Let i(c) = c**2 - 4*c - 4. Let d be i(4). Let s = 30.7 - 26. Let n = s + -5. Put d, 0.3, n in decreasing order.
0.3, n, d
Let b = 32.49 - 32. Let j = 0.01 + b. Sort 2, j, 0.2.
0.2, j, 2
Let o = 0.64 + -0.95. Let a = 0.01 + o. Let i be (-4)/(-10) - 48/170. Sort i, a, 1/4 in ascending order.
a, i, 1/4
Let p = 29/51 + -4/17. Sort 1, 0.4, p in ascending order.
p, 0.4, 1
Suppose d + 16 = 4*w, 2*d = -5*w + 13 + 20. Sort d, 7, 1 in ascending order.
1, d, 7
Let f = 69 - 143/2. Let n = 3 + -7. Sort n, f, -0.5.
n, f, -0.5
Let a = -6.8 + 10.8. Sort a, 0, 2/13 in descending order.
a, 2/13, 0
Let y = -110 + 992/9. Let k = 27 - 30. Sort y, 0, k in ascending order.
k, 0, y
Let b(h) be the second derivative of h**4/12 - 4*h**3/3 - 3*h**2 - 8*h. Let f be b(9). Put f, 10, 2/5 in increasing order.
2/5, f, 10
Let y = -197 + 1377/7. Suppose 3*h = -0*h + 4*n + 17, -3*n - 17 = 2*h. Sort y, h, -3.
-3, h, y
Suppose 0 = -2*h + 4*h - 10. Suppose 0 = -0*i + 3*i + 12. Put i, -0.4, h in decreasing order.
h, -0.4, i
Let r be ((-17)/34)/((-1)/(-2)). Put -2, 10, r in ascending order.
-2, r, 10
Let q be (6 - 40)*2/(-4). Sort -4, 1, q, -1 in descending order.
q, 1, -1, -4
Let l(t) = 2*t**2 + 2*t + 1. Let x be l(-2). Suppose 0 = -4*b, 0*u - x*b + 5 = -u. Sort 2, u, -2.
u, -2, 2
Let f = -4.48 - 0.12. Let n = f - -4. Let h = -0.4 - n. Sort -1, h, 2 in decreasing order.
2, h, -1
Suppose -8 - 27 = 3*m + 4*b, 4*m = -b - 51. Put -1, 1, -5, m in descending order.
1, -1, -5, m
Let a(g) = 2*g - 1. Let l be a(8). Let m be ((-2)/3)/(10/l). Put 5, m, 2 in decreasing order.
5, 2, m
Let v = 4.4 + 0.6. Let n = 2.281 + 0.019. Let x = n - -0.7. Sort 4, v, x in decreasing order.
v, 4, x
Suppose 3*s - 15 = 2*s. Suppose -5*i + 0 = s. Suppose 2*h - 3*h = 0. Sort i, -0.2, h in descending order.
h, -0.2, i
Let k = 0.2 + -0.6. Let g be (32/24)/(2/6). Let l = g - 7/2. Put l, k, -3 in descending order.
l, k, -3
Let l(s) = s**3 - 5*s**2 + s + 3. Let w be l(5). Suppose -w = 2*z, 2*h + 3 = z + 1. Let j(r) = r**2. Let x be j(-2). Sort -2, x, h.
h, -2, x
Let v(u) = 9*u**2. Let t be v(-1). Let m = t - 6. Put -3, 5, m in increasing order.
-3, m, 5
Let q be 2/6 - 8/(-12). Let m be 32/(-12)*(-6)/(-4). Put q, m, -5 in decreasing order.
q, m, -5
Let b be 1*4 + (-4 - -2). Suppose 0 = b*l, -2*a + 7*a = -5*l + 10. Suppose 7 = f - y, -2*f + 4*y = -4*f + a. Sort 0.2, f, 2/3 in decreasing order.
f, 2/3, 0.2
Let w = -1 + 0. Let u = -11 + 10.9. Sort w, -1/5, u in decreasing order.
u, -1/5, w
Suppose 3*s - 9 + 3 = 0. Suppose 0*b + 4*h = 3*b + 6, -2*b - s*h - 4 = 0. Sort -1, b, 3 in descending order.
3, -1, b
Suppose -2*a = -8*a - 12. Sort -3, 5, a in decreasing order.
5, a, -3
Let x = 6 - 5. Let r(k) = k - x + 1 - 1. Let d be r(5). Sort d, 1, -3 in increasing order.
-3, 1, d
Let s = -22 + 8. Let n be (-2)/8*(-8)/s. Let m = -0.3 + 0.6. Sort n, m, -0.2 in descending order.
m, n, -0.2
Let g be (-16)/8 - 12/(-2). Suppose -g*w + 3*q = 7*q - 432, -2 = -q. Let a = -744/7 + w. Put -1/7, 0.1, a in ascending order.
a, -1/7, 0.1
Let k = 1.04 + -1. Let x = 0.26 + k. Sort -4, x, 3 in ascending order.
-4, x, 3
Let u(x) = 3 + x**2 + 0*x - 3*x - 2*x**2. Suppose 0 = 5*z - 2*z + 12. Let d be u(z). Sort 3, d, 1.
d, 1, 3
Let i = 121 - 125. Sort 4, 2/7, -0.6, i in decreasing order.
4, 2/7, -0.6, i
Let x = -26 - -29. Sort 2, 0.2, x.
0.2, 2, x
Suppose -5*b + 57 = -58. Let q = 21 - b. Put 5, 4, q in decreasing order.
5, 4, q
Let z = 130/21 - 19/3. Let t(n) = 2*n + 1. Let x be t(-2). Let l be 2*5/(-50) + 39/(-105). Sort l, z, x in decreasing order.
z, l, x
Let t be ((-21)/28)/(2/16). Let f be t/(-10)*16/(-24). Let s = -0.1 + 0.1. Put 3, s, f in descending order.
3, s, f
Let w = -155/4 + 39. Put 1/8, 1, w in descending order.
1, w, 1/8
Let q = -19 - -20. Let y = q + -5. Sort y, 7, 1/7.
y, 1/7, 7
Let u(f) = -f**3 - 8*f**2 - f - 8. Let j be ((-8)/(-10))/((-5)/50). Let q be u(j). Let b be q/(4/2) - -2. Put 4, b, -3 in increasing order.
-3, b, 4
Let m = 0.01 - 3.71. Let n = m + -0.3. Sort -0.4, 3/8, n in increasing order.
n, -0.4, 3/8
Let l be -3 + (3 - (-12)/(-8)). Put 0, l, 2/7 in descending order.
2/7, 0, l
Suppose 0 = -4*b - v + 6, 0*b - v - 8 = -3*b. Let q be 60/(-18)*6/(-4). Put -4, b, q in decreasing order.
q, b, -4
Let z(y) = 2*y**2 - y - 2. Let g be z(2). Let f = -8 - -3. Sort g, -4, f in decreasing order.
g, -4, f
Suppose 5*f - 4*m = 11, 0 = -f - 5*m - 0 + 8. Let x = 8 - f. Let v = -18 - -13. Sort x, v, 4 in descending order.
x, 4, v
Let r be 3/(-15) + (-7)/(-10). Let o = 0.099 - -0.001. Put -3, o, r in ascending order.
-3, o, r
Let y = -23 + 45/2. Put -3, 0.1, y in ascending order.
-3, y, 0.1
Suppose 0 = -0*b + b. Let z be 1/1*(-4 - 1). Let y = z + 6. Sort y, 3, b in descending order.
3, y, b
Suppose -3*m = -7*m. Suppose -2*a - a = m. Let b be (a/(0 - 2))/1. Sort 0.1, -1/5, b in descending order.
0.1, b, -1/5
Let i = -188 + 184. Let m(p) = p. Let n be m(-2). Sort n, i, 2/5 in increasing order.
i, n, 2/5
Let g = 31 - 31.1. Sort 0.9, -0.3, 4, g.
-0.3, g, 0.9, 4
Suppose 0 = 3*f + 7 - 25. Put f, -1, -3 in decreasing order.
f, -1, -3
Suppose 0 = 4*m - 2 - 2. Put 2, 0, m in descending order.
2, m, 0
Let i be (-95)/20 + 9/12. Sort -8, i, 1 in decreasing order.
1, i, -8
Let c = 0.24 + 0.36. Sort c, -2, 5.
-2, c, 5
Suppose 2 + 2 = 4*n. Sort -1, n, 0 in decreasing order.
n, 0, -1
Let l = 4.3 + 0.7. Let c be (3 + 1)/(0 + -1). Sort -3, c, l.
c, -3, l
Suppose 0 = -14*w - 39 - 3. Let o be (1/2)/(1/(-10)). Put 5, w, o in decreasing order.
5, w, o
Let d(f) 