Let u = -7 + 12. Let f = 0 - u. Sort f, 0.1, a in increasing order.
f, 0.1, a
Let y = -3 - -2. Let x = -2 - -3. Let u = x - 1.4. Sort y, u, -4 in increasing order.
-4, y, u
Suppose 6*p - 5*p - 7 = 5*g, 3*g + 4*p = -18. Sort 2, -4, g in decreasing order.
2, g, -4
Let f(a) = -15*a. Let i be f(-1). Suppose 2*g = 35 - i. Suppose -m - m = g. Sort m, -2, 4 in decreasing order.
4, -2, m
Let l = -159/4 + 40. Let w be -2 - (0 - 12/3). Let x be w + -6 + 1 - -2. Put l, 0.3, x in decreasing order.
0.3, l, x
Let f = -0.07 + 0.07. Put 5, 1, f in descending order.
5, 1, f
Let z = -5.5 + 0.3. Let v = z + 0.2. Sort 0, -1/5, v.
v, -1/5, 0
Suppose -3*s - 10 = -8*s. Put -2, 1, s in increasing order.
-2, 1, s
Let z(s) = -s**3 + 2*s**2 + 3*s. Let i be z(3). Let l(h) = 2*h**3 - h**2 + h. Let r be l(1). Put r, 3, i in decreasing order.
3, r, i
Let j = 2 - -8. Let r be 0 - (j/8 + -1). Put 2, r, 2/13 in ascending order.
r, 2/13, 2
Suppose 2*n - 6*n - 4 = 0. Let y be (-1)/(-1)*n/8. Put -0.5, y, 0 in decreasing order.
0, y, -0.5
Suppose -r - 4*q - 4 = 0, -3*q = -2*r - 2*q + 10. Put -3, 0, r in ascending order.
-3, 0, r
Let l = 0.1 + -1.1. Let u = 0.2 + -3.2. Sort l, 0.3, u in ascending order.
u, l, 0.3
Let s = 7 - 6. Let z = s + -1.06. Let g = z + -0.34. Sort g, -3/2, -3.
-3, -3/2, g
Suppose -6*f = -3*f + 18. Let a be f/(-2) - (4 - 3). Sort a, 1, -2.
-2, 1, a
Let h = -5 + 3. Sort 0.5, h, 2 in ascending order.
h, 0.5, 2
Let d = 2.7 + -3. Sort -0.1, d, -2, 3.
-2, d, -0.1, 3
Let n be (7 - 2) + 0/1. Suppose n*b + 1 = -4. Sort -5, 2, b.
-5, b, 2
Let z be ((-11)/77)/((-8)/14). Put -2/9, -4/5, z in decreasing order.
z, -2/9, -4/5
Let o(k) = -3*k - 2. Let c be o(-2). Suppose c*q = -q - 15. Let i be 9/(-3) - 4/2. Sort q, i, -4 in increasing order.
i, -4, q
Suppose 0 = -3*f - 0*f - 12. Sort 5, f, -9 in increasing order.
-9, f, 5
Let w be (-1)/(-2 - (-18)/10). Let q be (-2)/(-1 + (-4)/(-2)). Sort 1, w, q in descending order.
w, 1, q
Let t = 18 - 16. Sort -4, t, 1 in increasing order.
-4, 1, t
Let q be (-10)/((-2 - 34)/6). Let u = -3 - -3.3. Sort 2, u, q in ascending order.
u, q, 2
Let t be ((-10)/(-4))/(20/16). Sort 2/5, 4, t in ascending order.
2/5, t, 4
Suppose -4 = 5*n + 2*d, 4*n - 5*d = n + 10. Let k = 3.8 + -4. Sort k, n, 0.1.
k, n, 0.1
Let g(h) = 2*h + 3. Let w be g(-7). Let j be 11/(-3) + 14 + w. Sort -4, 5, j.
-4, j, 5
Suppose 3*a + 13 = -2. Let t(n) = n**3 + 8*n**2 + 8*n + 6. Let m be t(-7). Sort 5, a, m in descending order.
5, m, a
Let r = 1/9 - -13/45. Sort 5, 1, -1/2, r in ascending order.
-1/2, r, 1, 5
Let g = -160 - -161. Sort g, -3, -8, -5 in ascending order.
-8, -5, -3, g
Let a be (0 - 3)*15/(-25). Let y = -31/20 + a. Let f be 6/(-12) - 5/(-18). Put y, 0.1, f in ascending order.
f, 0.1, y
Let v be (-5)/(20/12) - 1. Sort -5, -2, v in decreasing order.
-2, v, -5
Suppose 5*o - 3*o = -4*r - 6, 2*r - 3*o = 9. Put 1, -3, r, 5 in increasing order.
-3, r, 1, 5
Suppose -4*x + q = -5, 0*x + 3*x + 2*q = 12. Let a = 3 + -7. Let k = -1 - -4. Sort x, k, a in descending order.
k, x, a
Let v = -104 + 103. Sort 1, 4, v, -7 in ascending order.
-7, v, 1, 4
Let n = -0.303 + 0.003. Let p = -0.04 + -3.96. Sort p, n, -0.4.
p, -0.4, n
Let z = 0.1 - -0.1. Let i = z - -0.3. Let p = -980/9 - -109. Sort -4, p, i in decreasing order.
i, p, -4
Let v = -1.7 - -2. Let d = 0 - -0.6. Let r = d - v. Sort r, 2/11, -0.1 in ascending order.
-0.1, 2/11, r
Let y = -1 - -9. Suppose 0 = 5*p - p - y. Put -2, p, -1 in decreasing order.
p, -1, -2
Suppose -4*i + 3*x + 16 = -4, 0 = 3*i + 4*x - 15. Suppose -i*m - 17 = 3*h, 12 = -m - 3*h - 1. Put 9, m, -5 in increasing order.
-5, m, 9
Let x = -6.5 + 6. Let k = -1.5 - x. Let w = 0.2 - 0. Sort 2/5, w, k in decreasing order.
2/5, w, k
Let h(l) = -4*l - 15. Let i be h(-5). Sort 3, 4, i.
3, 4, i
Let b = -76 + 73. Sort 5, b, 16.
b, 5, 16
Let v = -2.7 + 1.7. Put 2, 0, v in decreasing order.
2, 0, v
Let l = -4 - -6. Let y = -4 + l. Sort y, -3, -4 in ascending order.
-4, -3, y
Let v = 0 - -1. Let k = -4 - 0. Put v, 3, k in ascending order.
k, v, 3
Suppose l + l + 5*c - 12 = 0, -l - 3 = -2*c. Sort 2, 4, l in descending order.
4, 2, l
Let x(n) = n**3 - 8*n**2 + 7*n - 5. Let t be (-3 + 1)*(-2)/4. Suppose w + 2*b - t = 0, 0*w - 3*w + 5*b + 36 = 0. Let s be x(w). Put 1, s, 5 in decreasing order.
5, 1, s
Suppose -5*t = -5*h - 7 - 13, 5*h = -3*t + 12. Let p = 3 + -3. Suppose 2*q + 16 = 2*b, -q - 4*b + 17 + p = 0. Sort h, q, 2 in increasing order.
q, h, 2
Let f = 2 - 2. Let p = f - -0.1. Sort 1/2, p, 5 in increasing order.
p, 1/2, 5
Let r = 6.4 + -7. Let l = r - -0.1. Let b be -2 - (1 - 19/6). Sort -4, l, b.
-4, l, b
Let l(d) = d - 2. Let p be l(1). Let k(t) = t**3 + 15*t**2 + t + 15. Let q be k(-15). Suppose -4*v + m = 5*m + 24, -4*v + m = 14. Sort p, q, v.
v, p, q
Let m(u) = 2*u - 27. Let y be m(12). Sort y, 1, 2 in descending order.
2, 1, y
Let n = 0.04 + -0.04. Let j = 2 - 12. Let r = j + 7. Sort -3/2, r, n in descending order.
n, -3/2, r
Suppose -3*u + 7 + 5 = 0. Let p be 16/20*(-10)/2. Put p, u, 3 in ascending order.
p, 3, u
Let a(o) = 9*o**2 + 6*o + 6. Let j be a(-5). Let b = -3017/15 + j. Sort -2, b, -1/3 in descending order.
b, -1/3, -2
Let v(c) = c**3 + 6*c**2 + c + 5. Let k be v(-6). Put k, -1/6, 0 in decreasing order.
0, -1/6, k
Let y = 7 - 4. Let n(l) = 3*l**2 - 2*l + 1. Let j be n(1). Put j, y, 4 in decreasing order.
4, y, j
Suppose -1 = -2*m + m. Let h = -2 + 1. Sort h, m, 0.
h, 0, m
Let s be (-2988)/(-9730) + 4/14. Let v = s + 1/139. Let g = -1/129 + -247/1419. Sort -1, v, g.
-1, g, v
Let i = 4 + -18. Let x = 17 + i. Let b be 2/4*4 - 1. Sort 5, b, x in decreasing order.
5, x, b
Let l = -0.3 - 0.2. Let s = -8 - -8. Let m = s + l. Sort 4, -2, m.
-2, m, 4
Let c = -25 - -15. Let z = 6 + c. Let t = z - -7. Put 5, -2/11, t in descending order.
5, t, -2/11
Let n(w) = -w + 0*w + 3*w**2 + 7*w**3 - w**3 - 7*w**3. Let b be n(3). Let g = -2.5 + 3. Put 5, g, b in increasing order.
b, g, 5
Let j(d) = d**2 - 2*d + 2. Let m be j(2). Suppose q = m*q - 3. Sort -1, q, -0.1 in increasing order.
-1, -0.1, q
Let i(p) = -4*p**3 - 1. Let f be i(1). Let b be ((-279)/135 + (-2)/(-5))*-3. Sort b, -2, f.
f, -2, b
Let x(r) = -r. Let c be x(-3). Put -40, 2, 0, c in ascending order.
-40, 0, 2, c
Suppose 0 = -2*t + t + 2. Let g = 21 - 21. Sort g, t, 9 in increasing order.
g, t, 9
Let r be (-4)/6 - 20/(-12). Let v be 0 - (2 + -4)/r. Suppose -4*k + 7 = -o - 0*o, 14 = -3*o + 5*k. Sort -1, v, o in ascending order.
o, -1, v
Let m(y) = -2*y + 25. Let a be m(15). Let i = 6 + -8. Sort i, 3, a in increasing order.
a, i, 3
Let t = 4 - 3.8. Let c = -0.14 - -0.64. Put -5, t, c in descending order.
c, t, -5
Suppose 2*s + 0*s - 4*j + 16 = 0, 2*s = -2*j + 14. Suppose g = -4*g - k + 30, 3*k = -5*g + 40. Sort 0.2, g, s in ascending order.
0.2, s, g
Let g be 20/(-14)*2/5. Let o = 3.02 + -0.02. Sort o, g, -1 in descending order.
o, g, -1
Let o = 21 - 16. Put o, -1, 9, -3 in ascending order.
-3, -1, o, 9
Let r be (-78)/(-15) - 1/5. Put 7, r, 4 in descending order.
7, r, 4
Let i = -0.07 - 0.1. Let d = i - -1.17. Sort -0.1, d, 3/4 in ascending order.
-0.1, 3/4, d
Let o = 5/22 + 1/44. Put 0.1, -1/2, o in decreasing order.
o, 0.1, -1/2
Let h = 18 + -7. Suppose -s + h = -6. Let y = 12 - s. Put -1, 5, y in increasing order.
y, -1, 5
Let x = 0.5 - 0.8. Suppose 3*k - 6 + 3 = 0. Sort -4, x, k.
-4, x, k
Suppose 4*h = -h + 25. Put h, -1, -2 in descending order.
h, -1, -2
Let m = -156.8 - -157. Let b(l) = l**3 - 5*l**2 - 7*l + 7. Let d be b(6). Put m, d, 3 in decreasing order.
3, d, m
Let r be (140/25 - 2) + -1*4. Put r, -5, 0.16 in descending order.
0.16, r, -5
Suppose 0 = -12*j + 15*j - 12. Sort j, -4, 2 in increasing order.
-4, 2, j
Let c = 1 + -1. Let n be 7/4 + c + -2. Let d = -5 - -8. Sort n, d, 0.1.
n, 0.1, d
Suppose 0 = -3*f + 15 - 0. Suppose -f*d - 23 = -2*x, -x + d = 4*x. Put -3, -5, x in descending order.
x, -3, -5
Let h be (-21)/2*(-4)/6. Suppose 0*d = h*d. Let u(g) = -g. Let l be u(2). Put d, l, 1 in descending order.
1, d, l
Let a be (2/6)/((-1)/(-6)). Let f be (a/5)/((-3)/(-15)). Let k = -28 - -31. Sort f, k, 0.2 in ascending order.
0.2, f, k
Suppose 0 = 5*t, -5*h + 5*t - 2 = -22. Let p = -3 + h. Let c = p + -1. Sort c, 2, -4.
-4, c, 2
Suppose -4*d + 47 - 67 = 0. Sort 0, d, -4 in decreasing order.
0, -4, d
L