. Put 0.2, i, g in ascending order.
g, 0.2, i
Suppose 0 = -0*n - n - u - 7, 5 = 5*n - 3*u. Suppose -4*l = -12 - 0. Suppose -9 = 4*a - 3*w, -4*w + 12 = -l*a + 2*a. Sort n, -4, a in ascending order.
-4, n, a
Suppose -p - 22 = 3*x - 8*x, -8 = -2*x. Put 1, p, 9 in ascending order.
p, 1, 9
Suppose 0 = -j - 7 - 2. Let f = j - -6. Let z be 7 - (3 + -3) - 5. Put z, 0, f in ascending order.
f, 0, z
Let g = 26 - 22. Let p be (g - 3)*(-2 - -4 - 3). Let z(j) = -j**3 - j**2 + j - 1. Let u be z(-2). Put p, -3, u in decreasing order.
u, p, -3
Let v be 2 + -1*3 - -5. Let s = 1 + v. Suppose -4*b - 4*g = -20 + 16, 4*b + 2*g = 0. Sort 3, s, b.
b, 3, s
Suppose 0*i - i = -2*i. Let o be i - ((-1)/12)/(15/30). Put 2/5, o, -0.7, -3 in descending order.
2/5, o, -0.7, -3
Let p = -1.6 - -1.1. Let m = 1 + -3. Let y be 3/(m + (-2 - -3)). Put p, y, -5 in increasing order.
-5, y, p
Let g = -38 + -45. Let i = 251/3 + g. Sort 2/17, 0.06, i in descending order.
i, 2/17, 0.06
Suppose 83*p - 114 = 135. Put -17, 4, -3, p in decreasing order.
4, p, -3, -17
Let m be (-11 + 13)*2/(-4). Sort -101, 5, m, -5 in descending order.
5, m, -5, -101
Suppose 4*h = 5*h - 15. Suppose -10*l = -5*l - h. Sort 7, 2, l in decreasing order.
7, l, 2
Let l(h) = -h - 2. Let q be 1*6*(9 - 10). Let a be l(q). Let j be ((-26)/6 - 2/(-6))/(-4). Put -6, a, j in descending order.
a, j, -6
Let h be (-27)/5 - (-20)/50. Suppose -3*b = -10 + 31. Let c = -8 - b. Sort h, c, -13.
-13, h, c
Suppose 0 = 12*t - 18*t - 6. Suppose 3*y + 25 = -4*b, 0*y + y = -3. Sort -7, -5, b, t in increasing order.
-7, -5, b, t
Suppose 0 = 4*x + 3 + 1. Let d be (0 - 1)*3*-1. Let t = 1 + d. Sort t, -4, x in descending order.
t, x, -4
Let m = 26.1 + 3.9. Let l = m - 35. Let t = 126 + -634/5. Sort l, t, -3/8 in decreasing order.
-3/8, t, l
Let a be 3 + (-147)/30 + 2. Let k = 38 - 34. Let w be ((-1)/(-1))/(-2)*-10. Put a, k, w in descending order.
w, k, a
Let p = 6 + -6.4. Let v = 0.42 - 0.92. Sort p, v, -3, -0.1 in descending order.
-0.1, p, v, -3
Let h = 0.4 - 0.57. Let o = -3.83 + h. Let j be (22/(-77))/(1/(-7)). Put 1, o, j in ascending order.
o, 1, j
Suppose -74*d = -10*d - 448. Put -15, -3, d in increasing order.
-15, -3, d
Let i(w) = w**2 - 28*w + 23. Let v be i(27). Put v, -44, -2 in descending order.
-2, v, -44
Let t = -10 - -10. Let r be -1 + 7/((-7)/(-2)). Let u(g) = -3*g**2 + g - 1. Let c be u(r). Sort c, 2, t in decreasing order.
2, t, c
Let j(u) = u - 7. Let g be j(32). Sort -1, 5, g in descending order.
g, 5, -1
Let i(u) = -u + 3. Let d be i(11). Let m = -3 - d. Suppose 2*l + k - 4*k - 2 = 0, -3*k + 4 = -5*l. Sort 4, m, l in ascending order.
l, 4, m
Suppose 3*z = 7 + 17. Let y = z + -10. Put -5, y, 1 in decreasing order.
1, y, -5
Let l = -81 - -247/3. Let x = -36 - 4. Let y = -39 - x. Put l, -2/9, y in descending order.
l, y, -2/9
Let m be -1 + ((-2)/2 - -1). Let h = -15.6 - -4.1. Let o = 12 + h. Sort m, -2, o in ascending order.
-2, m, o
Let o = -67 - -63. Let h = 23.8 + -24. Sort -0.5, -3, o, h in decreasing order.
h, -0.5, -3, o
Suppose 17 + 12 = 29*l. Sort 23, 4, -5, l in increasing order.
-5, l, 4, 23
Let z = -18 - -17.9. Put -0.2, z, -0.08, 0.5 in descending order.
0.5, -0.08, z, -0.2
Let v = 370 - 373. Sort 5, 1.4, v, 3 in decreasing order.
5, 3, 1.4, v
Let w be (-27)/(-33) - 1 - 186/66. Sort 1, w, -101 in decreasing order.
1, w, -101
Suppose 5 = 4*r - 11. Let q be (-45)/(-40) - (-2)/(-16). Sort q, -1, -2, r in descending order.
r, q, -1, -2
Suppose 2*i - 2 = -v + 5*v, -v + 13 = -5*i. Sort -1/6, -0.07, v in descending order.
-0.07, -1/6, v
Suppose -h - 4*h = 0. Suppose -k + 3*q = -12, 3*k = -2*k - 2*q + 26. Suppose -2*y + 4*w = 2*w - k, -w = -4*y. Sort h, y, -4 in decreasing order.
h, y, -4
Let w = -3 + 5. Let k(c) = c**2 - 4*c + 1. Let g be 45/12 + (-3)/4. Let a be k(g). Put w, 6, a in ascending order.
a, w, 6
Suppose 10*o + 52 = -58. Let l(d) = d**3 + 12*d**2 + 14*d + 24. Let x be l(o). Put 5, x, -2, 3 in decreasing order.
5, 3, -2, x
Let w = 0.4 + -0.6. Let j(p) = -p**3 + 9*p**2 - p + 9. Let l be j(9). Suppose 29 = 2*d + 5*g, -4*d + 3*g - 2*g + 3 = l. Put 3/5, d, w in descending order.
d, 3/5, w
Let k(j) = -2*j - 10. Let b be k(-6). Suppose -80 = -6*u + b*u. Let d be (-15)/u - 18/8. Put d, -4, 2 in decreasing order.
2, d, -4
Let d be ((-24)/(-36))/((-4)/(-30)). Suppose 0 = 4*k - 5*k + d. Let s(u) = -u**2 - u + 2. Let x be s(-3). Sort x, k, 4 in descending order.
k, 4, x
Let o = 1 - 42. Let r = o - -41.1. Put 0.4, -3, -5, r in increasing order.
-5, -3, r, 0.4
Let j(u) = 2*u**3 - 6*u**2 + u - 5. Let z be j(3). Put 0, -4, z in decreasing order.
0, z, -4
Suppose -3*s + 8*s = -5. Let b = s - -5. Put 3, b, -5 in increasing order.
-5, 3, b
Let n(v) = v**3 - 19*v**2 - 40*v - 39. Let l be n(21). Let w be 2 - (14 - (2 - 2)). Let a be (w/24)/(l/2). Sort 0, -0.4, a in ascending order.
-0.4, a, 0
Let b be 14 - (-2 + (1 - 0)). Suppose -2*l + 5*z - 21 - 37 = 0, -5*l - 111 = -4*z. Let g = l + b. Put g, 5, 4 in decreasing order.
5, 4, g
Let j = -1035/4 + 258. Sort 10, 3, -1/3, j in ascending order.
j, -1/3, 3, 10
Suppose -6 - 12 = 3*n. Let y be -2 - 2 - (-20)/10*1. Put y, n, 5 in increasing order.
n, y, 5
Let r be (-91)/(-39) - (-4)/6. Let j be 2 + (-2 + 0)*-1. Suppose 0 = -g + 5, j*k - 4*g = -0*g - 24. Sort r, k, -3.
-3, k, r
Let v be ((-1)/2)/(11/12). Let k = -655024/3531 + -100/321. Let f = k + 186. Sort f, -5, v.
-5, v, f
Let y be 2/6 + 16/6. Suppose -3*k + p - 58 = -p, -5*k + p - 92 = 0. Sort y, k, 5 in descending order.
5, y, k
Let h = 21.1 + -20.9. Put 13, h, 2/5 in descending order.
13, 2/5, h
Let c = -2 - -4. Suppose 0*g - 44 = -2*g. Let v be 11/(-44)*16/g. Put -1/3, v, c in ascending order.
-1/3, v, c
Let z = -17 - -16.99. Let n be 8/28*(9 + -2). Let h be (n/(-8))/(9/12). Put z, h, 0.5 in ascending order.
h, z, 0.5
Suppose 0 = 2*g - 4*f + 19 + 1, -2*f + 20 = -2*g. Sort 5, 3/2, g in descending order.
5, 3/2, g
Let y(z) = -2*z**3 + 2*z**2 - 2*z + 1. Let m(h) = h - 6. Let a be m(7). Let c be y(a). Let p be (-15)/(-99) - (-3)/(-9). Sort 0.1, p, c in ascending order.
c, p, 0.1
Let f be (-40)/25 - 3/(-5). Let h(w) = -5*w + 28. Let j be h(6). Let i(b) = b + 1. Let x be i(5). Sort j, f, x in decreasing order.
x, f, j
Let h be (1 + 20/(-4))*(-2)/4. Suppose -17 = -2*g + 2*t + 3*t, 3*g + 5*t = -37. Sort -3, h, g.
g, -3, h
Let x = -0.4214 - -0.0214. Sort 41/6, -2/7, x in ascending order.
x, -2/7, 41/6
Let s = -72 - -72.3. Suppose -24 + 4 = -5*f. Suppose f*y + 0*y = 0. Put -8, s, y in increasing order.
-8, y, s
Let p = -35.7 + 26.7. Sort p, 2/11, -0.4.
p, -0.4, 2/11
Suppose 4*q = -12, 7 + 3 = 4*t - 2*q. Let l = 20 + -16. Sort l, -1, -5, t in descending order.
l, t, -1, -5
Let h = 200 + -200. Put 11, 2, h in decreasing order.
11, 2, h
Let j(a) = -9*a - 286. Let c be j(-28). Put 0, -3/2, c, 1 in descending order.
1, 0, -3/2, c
Let z be (-2 + 30/18)*(9 + 0). Suppose 7*v = 12*v - 25. Put v, 2, 4, z in decreasing order.
v, 4, 2, z
Let h = 21 - 39. Let n = h + 18. Sort n, -0.2, -3 in decreasing order.
n, -0.2, -3
Let k = 0 - 0.07. Let r = -0.33 + k. Let h be 1/1*(-5 - -8). Put -0.5, r, h in descending order.
h, r, -0.5
Suppose -3*v + 15 = -3*x, -v - 17 = -4*v + 4*x. Let y be (0 - (-8)/(-4)) + 4. Suppose 0 = g - r, -g + y*r + 6 = -5*g. Put v, g, 4 in descending order.
4, v, g
Let g(h) = -49*h**3 - h**2 + h + 1. Let s be g(-1). Let u be (s/(-120))/((-3)/(-5)). Sort u, 3, -5/4 in descending order.
3, u, -5/4
Suppose 5*u + 6 + 4 = 0. Let y be 624/152 - u/(-19). Suppose r - y = -1. Sort -2, r, 2 in descending order.
r, 2, -2
Let x = -455 + 455. Sort x, -19, -2 in decreasing order.
x, -2, -19
Let v = -19.28 - -19.18. Sort 5, v, -26, -0.5 in increasing order.
-26, -0.5, v, 5
Let n = 0.12 - -0.08. Let u be 1 + (-33)/54 + (-2)/9. Sort n, u, 0.1, -1/2 in decreasing order.
n, u, 0.1, -1/2
Suppose 5*a + 5 = -5*v, 5*v + 7*a = 4*a + 3. Suppose 2*d = x - 4, -x + 2*x - 8 = v*d. Suppose 3*j + 0*j = 2*w - 1, 0 = w - 5. Sort x, j, 2 in increasing order.
x, 2, j
Let g = 16656/13 + -1281. Sort -2/13, g, -5 in descending order.
g, -2/13, -5
Let q = -121 + 125. Sort 2, -1, q, 2/5 in descending order.
q, 2, 2/5, -1
Suppose 0 = -5*f - 10, 6*p - 2*p - 22 = 5*f. Suppose 0 = 2*m - 3*m + 4. Let d be m/(-2)*(3 - 8). Sort p, 5, d in increasing order.
p, 5, d
Let a = 