06, -0.03, -0.5, n.
-0.5, -0.03, n, 0.06
Suppose -28 = -3*u - 7. Suppose -3*x = -3*f + 2*f + 10, u = -3*x - 2*f. Let c be (2 - (-18)/(-10))*x. Put c, 4, 6 in descending order.
6, 4, c
Let c = 5.92 + -6. Let g = -0.00102 + -0.39898. Let i = 0.07 - 2.07. Sort c, g, i.
i, g, c
Let n(j) = -7*j + 31. Let h be n(4). Let f(r) = r**3 + 4*r**2 - 7*r - 6. Let o be f(-5). Sort 0, o, h in descending order.
o, h, 0
Let y = -1.5 + 1.5. Let o = 1 - y. Let c = 4 - 7. Sort 2/15, c, o in descending order.
o, 2/15, c
Let d = 461 + -461.1. Sort 4, -61, d in descending order.
4, d, -61
Let g = -2 + 5. Let y be ((-3)/9)/(17/(-255)). Suppose -9 = -3*q + 3*c + c, -y*c = -g*q + 9. Put 9, -1/2, q in increasing order.
-1/2, q, 9
Let v = -2 - -15. Let o = -15 + v. Sort o, -1, 4 in descending order.
4, -1, o
Let a be (-1 + 3)/(2/4). Let i(d) = -51*d + 4118. Let m be i(80). Put a, m, 5 in descending order.
m, 5, a
Let p = 3.021 + -0.021. Sort -0.4, -4/35, p in decreasing order.
p, -4/35, -0.4
Let a = -111 - -97. Let i be (2/a)/(16/56). Sort 0.3, -1, i, -5/2 in descending order.
0.3, i, -1, -5/2
Let f(p) = p**2 + 6*p - 31. Let d be f(-9). Let b be (-7 - -6)/((-7)/d + -2). Sort b, 3, 2.
2, 3, b
Let p = 49 + -56. Let t(z) = 2*z**2 + 2*z - 2. Let c be t(-2). Sort c, 4, p in ascending order.
p, c, 4
Suppose -40*o + 124 = -44*o. Let x be (-8)/(-7)*(-7)/(o - -3). Sort 2, -0.5, 4, x in increasing order.
-0.5, x, 2, 4
Let v = 0.1 - 0.6. Let y = -1.62 + 0.02. Let o = 1.4 - y. Sort o, -2/11, v in ascending order.
v, -2/11, o
Let w = 1895 + -1895. Sort 6, 17, w in decreasing order.
17, 6, w
Let m(c) = -35*c + 383. Let d be m(11). Sort -3, d, -15, 4 in descending order.
4, d, -3, -15
Let q(o) = -2*o + 4. Let m be q(0). Suppose 2*t + m = -0. Let a be t/10*15/(-12). Put 5, 4, a in ascending order.
a, 4, 5
Let c be ((-24)/18)/((-1)/(-3)). Sort c, 3, -3 in ascending order.
c, -3, 3
Suppose -5 - 17 = -2*i. Suppose -i = -3*d + h, -2*h = d - 6*d + 17. Suppose -3 = -5*n + 7. Put n, d, -2 in decreasing order.
d, n, -2
Let o be (-2)/7 - (-58)/7. Suppose -5*z + 3*x + 25 = 1, z + x = o. Let y be z/(-2) + (-3 - -7). Put 2, y, -5 in descending order.
2, y, -5
Suppose j + 15 = -5*o - 4*j, 0 = -2*o - 5*j - 6. Put 8, o, 2 in decreasing order.
8, 2, o
Suppose 3*y = -4*a - 7, -2*y + 7 + 15 = -4*a. Let v = a + 5. Let b be (-6)/(-5)*130/(-39). Put b, 2, v in descending order.
2, v, b
Suppose 12 = -5*a + 3*j - 5*j, -4*a - 32 = -4*j. Let y be (66/a)/3 + 15/(-10). Put y, 1, 0 in increasing order.
y, 0, 1
Let q be (-2)/(-77)*7 + 106/22. Sort -3, 1, 23, q in ascending order.
-3, 1, q, 23
Let p = 20.1 - 19.8. Put -2, 3, p, -5 in increasing order.
-5, -2, p, 3
Let j = -0.4 + 4.4. Let k = 0.007 - -0.993. Let i = -75/133 - -8/19. Sort i, j, k.
i, k, j
Let d = -59.06 + 59. Let v = -0.16 - d. Sort -4, -5, 2, v in decreasing order.
2, v, -4, -5
Let v(s) = s**2 + 3*s + 2*s + 2*s + 8. Let t be v(-6). Let l = 4.9516 - -0.0484. Sort t, l, -1 in descending order.
l, t, -1
Suppose 0 = -2*f + 32 - 2. Suppose -11 = 2*h - f. Suppose 4*c - 5*p = -14, 0 = -h*p + p + 2. Sort c, 0, 1 in decreasing order.
1, 0, c
Suppose j = -3 - 1. Let d(x) = -2*x - 1. Let y be 4/(-3) - (-3)/9. Let t be d(y). Sort t, j, 5 in descending order.
5, t, j
Let u = -25 + 27. Let g be u*-4*20/(-32). Sort -2, g, 1, -7 in increasing order.
-7, -2, 1, g
Let r be (4/(-4) + 0)/(34/4). Put 4, 2/53, r, 2 in decreasing order.
4, 2, 2/53, r
Let a = 847 - 846. Sort a, -10, -1, -3 in descending order.
a, -1, -3, -10
Let q = 26 + -22. Suppose s = 8 - q. Suppose 0 = -a + 6*a + 5. Put s, a, -4 in descending order.
s, a, -4
Suppose k = 5*t - 13 + 2, -2*t - 5*k - 1 = 0. Suppose -2*o - t = -3*o - y, -o + y = -2. Let q be -2 - (o + 62/(-14)). Sort -1, q, 5 in decreasing order.
5, q, -1
Suppose -3 = 6*x - 27. Let j(a) = -a**2 + a + 4. Let o be j(3). Sort x, o, -3 in ascending order.
-3, o, x
Let h = 68.28 - 68.68. Suppose 0*y - 4*y - 4 = 0. Put h, 0.06, y in decreasing order.
0.06, h, y
Let p be 15/(-9) - 1/3. Let b = -4 - 5. Let j = b + 12. Put p, 0, j in descending order.
j, 0, p
Suppose v + 4*v = 2*h + 33, -2*h = 4*v - 12. Suppose -4*f - 37 = 4*c - 7*f, 2*c = -3*f - 23. Let m = c - -7. Sort m, v, 2 in ascending order.
m, 2, v
Let u = 175 + -161. Suppose -3*a - 75 = -8*a. Let t = a - u. Sort t, -3, 2 in descending order.
2, t, -3
Let o = 776 + -776. Put 20, 6, o in descending order.
20, 6, o
Let w = -0.1 + 0.4. Let u = 62.7 - 61.7. Sort 2/3, u, -0.15, w in ascending order.
-0.15, w, 2/3, u
Let s = -42 - -48. Suppose 3*d - s*d + 9 = 0. Put -5, 1, d in increasing order.
-5, 1, d
Let q = 9.5 - 9.78. Sort q, -1, -0.3, -1/2 in descending order.
q, -0.3, -1/2, -1
Suppose -19 = -4*t - 39. Put 17, -0.4, -0.3, t in decreasing order.
17, -0.3, -0.4, t
Suppose -35*c + 31*c = -24. Suppose c = 7*t - 4*t. Sort t, -4, -1 in descending order.
t, -1, -4
Let v(w) = -w**2 + 17*w - 37. Let g be v(13). Suppose -g*s + 3 = -18*s. Sort s, -11, 0.
-11, s, 0
Let o = -1.9 - -0.1. Let r = o + 2. Let s = -14 - -40/3. Sort s, -5, r in ascending order.
-5, s, r
Let v(r) = 2*r**2 + 13*r + 27. Let o be v(-4). Let d(c) = c**3 - 6*c**2 + 1. Let k be d(6). Suppose o = 2*t - k. Sort t, -1, -4 in descending order.
t, -1, -4
Let g = -699 + 698.9. Sort g, 3.1, -4/9 in decreasing order.
3.1, g, -4/9
Suppose 0 = -2*n - 5*t + 15, 2*n + 3*n - 12 = -4*t. Sort n, 3, -5 in descending order.
3, n, -5
Suppose 5*u = p - 8, u + 3 + 10 = 4*p. Let x = -1 - u. Let n(h) = h**2 + 29*h - 63. Let k be n(-31). Sort -3, k, x in ascending order.
-3, k, x
Let y be 6 - (-7 + (12 - -3)). Sort -6, y, -1 in descending order.
-1, y, -6
Let m(g) = 2*g**2 + 71*g - 36. Let n be m(-36). Let d be (-22)/6 + 6/9. Put n, d, 2 in decreasing order.
2, n, d
Let r(h) = h - 5. Let a be r(9). Suppose 0 = -a*l - 2*k + 18, -4*l = -l - 5*k + 6. Suppose 0 = -0*i + l*i + 15. Sort 4, 0, i.
i, 0, 4
Suppose -1 = 5*j - 11, -18 = 4*v - 3*j. Suppose -5 = -1424*d + 1425*d. Let a be (-13)/(-5) + (-2)/(-5). Sort a, d, v in increasing order.
d, v, a
Suppose -3*u + 5*o + 9 = 0, -3*u + 4*o + 9 = 9*o. Sort -0.17, -2, -5, u.
-5, -2, -0.17, u
Let j = -746 + 714. Put j, 2, -1, 4 in descending order.
4, 2, -1, j
Let y be 2*(-3 + 2/(-8))*2. Put 1, 3, y, 0 in descending order.
3, 1, 0, y
Let y(f) = -f**3 + 8*f**2 - f + 10. Let g be y(8). Suppose 3*u = -g*u + 20. Put -4, 3/5, u in descending order.
u, 3/5, -4
Let c = 404 + -404. Put c, -0.01, 0.3 in descending order.
0.3, c, -0.01
Suppose 4*d = -2*x - 8 + 4, 8 = -4*x - 5*d. Suppose -2*j - 4 = -2*a + 3*j, a = -3*j - 9. Let y be (0 + 0)/(4/2). Put y, a, x in decreasing order.
y, x, a
Let n = -2 - -2. Suppose 0 = 23*u + 4015 - 4107. Put n, u, 36 in increasing order.
n, u, 36
Let d(f) = 3*f**2 - 3*f + 2. Let v be d(1). Put v, -5, 35 in increasing order.
-5, v, 35
Let i = 0.0473 - 330.0473. Put 2, i, -2, 2/11 in descending order.
2, 2/11, -2, i
Suppose 217*j - 202*j = 0. Sort -2, -1, 3, j.
-2, -1, j, 3
Let t = 291.3 - 291. Let x = 0.1 + -1.1. Put 3/2, x, t, 1 in descending order.
3/2, 1, t, x
Let g(j) = 3*j + 4*j**2 + 0*j + 6*j**2 + 6 - 7*j**2 + j**3. Let y be g(-3). Let m(v) = -3*v**2 - 8*v + 3. Let k be m(y). Sort 3, 1, k in increasing order.
k, 1, 3
Let d = 7 + -4. Let f = 3079/84 - 147/4. Sort d, f, 0.1.
f, 0.1, d
Suppose 4*v - n = -15, 2*v = v + 5*n + 20. Let u = 4.2 + -4. Let m = u + -0.2. Sort 4/7, m, v in ascending order.
v, m, 4/7
Let b = -5.09 + 0.09. Let v = 14 - 15. Let q be 23/5 + (24/5)/12. Sort q, v, b in decreasing order.
q, v, b
Let h = -499 - -502. Sort h, -1, 22, 5 in increasing order.
-1, h, 5, 22
Let d = 0.37 + -0.4. Let b = d - 0.07. Let y = -18.5 + 22.5. Sort -5, b, y in descending order.
y, b, -5
Let f = -306 + 306.2. Let m = 0.44 - 0.5. Sort m, f, 0.5 in ascending order.
m, f, 0.5
Let g be (4/8)/((-6)/(-444)). Sort -4, -3, 4, g in decreasing order.
g, 4, -3, -4
Suppose -32 = -14*w + 38. Sort -1, 0, w, -71 in decreasing order.
w, 0, -1, -71
Let m be ((-3)/(-5))/((-1)/(-10)). Suppose 4*a = 4*i + 12, i + 0*i - 4*a = -18. Sort -4, -1, m, i in descending order.
m, i, -1, -4
Let j(y) = 2*y**3 + y + 1. Let t be j(-4). Let a = -132 - t. Suppose -4*u + 2*r = 10, -3*u + 3*r - 11 = -2*r. Sort a, u, 0 in descending order.
0, a, u
Let k = -4.28 - -4.7. Let g = 0.12 - k. Let h = 43/12 + -13/3. Put h, 0.1, g in asce