
z, -0.5, 2, 4
Let y be (4/8)/((-2)/16). Suppose -9 = -l + 6*l + r, -2 = 3*l + 4*r. Sort y, 1, l in decreasing order.
1, l, y
Let j = -3.5 - -3.9. Put -0.4, j, 0.3, -9 in descending order.
j, 0.3, -0.4, -9
Suppose -10*l = 4*l - 154. Put 5, 0.3, l, -1 in descending order.
l, 5, 0.3, -1
Let i = 10 + -7. Suppose 5*p = -i*f - 19, 10 = -2*p - 0*p. Sort -2, -3, f in descending order.
f, -2, -3
Let g be ((-10)/2)/((-9)/(6/(-2))). Sort g, 5, 2 in decreasing order.
5, 2, g
Let d = 137 + -139. Sort d, -1, 1, -3 in ascending order.
-3, d, -1, 1
Suppose -5*d + 2 + 13 = 0. Let c be (2 - (-40)/(-5))/(-3). Sort c, d, -5 in ascending order.
-5, c, d
Let l = 30 + -30.3. Sort -15, 4, 0.5, l.
-15, l, 0.5, 4
Let g be ((-68)/6)/(6/9). Let n be g/4 + 3/(-4). Sort 5, n, 2 in decreasing order.
5, 2, n
Suppose 2*h - 7*h + 1520 = 0. Let r = h - 5166/17. Sort -2, 0, r in decreasing order.
r, 0, -2
Let p = -7 + 5.6. Let x = -1.4 - p. Sort -3, x, -1.
-3, -1, x
Let k = 1.12 - -0.02. Let s = 1 - k. Sort 0, -5, s in increasing order.
-5, s, 0
Let o(l) = 6*l - 34. Let c be o(5). Put 5, c, -8 in ascending order.
-8, c, 5
Let v be 4 - 20/(12/3). Let g be ((-5)/v)/(2/2). Sort g, -4, 4 in ascending order.
-4, 4, g
Suppose -r + 2*p = 4, 0*r + 5*p = -3*r - 1. Put r, -7, -3 in decreasing order.
r, -3, -7
Suppose -6 = r - 2*v - 3*v, 5*r = -5*v. Let y be (-1)/((4/10)/(-2)). Put 7, y, r in ascending order.
r, y, 7
Let u be (0 + -2)/(-2) - 1. Let z(r) = -2*r. Let w be z(-1). Suppose -w*m = 2*h + 2, -h + 4*m = m - 15. Sort 1, u, h.
u, 1, h
Let c(l) = l**2 + 5*l - 9. Let h be c(-7). Let t(j) = -j**3 + 12*j**2 + 27*j + 16. Let p be t(14). Put p, h, 1 in decreasing order.
h, p, 1
Let t = -6 + -3. Let i be t/12 + (-3)/12. Sort -3, i, 1 in decreasing order.
1, i, -3
Let y = -3.076 + -0.024. Let g = y + -0.9. Let d = 1.5 - 4.5. Put d, g, -5/3 in increasing order.
g, d, -5/3
Let u be 130/(2/1) - 2. Let f = u + -43. Suppose -w = -5*w + f. Sort w, -3, 0 in descending order.
w, 0, -3
Let c be (-2 - -1)/2 + 2. Let k = -100 + 99. Put 2/7, c, k in descending order.
c, 2/7, k
Let d = 5.11 - 0.11. Let q = -2 + -3. Put d, -1, q in ascending order.
q, -1, d
Let h be (-3 - -1 - -2) + -2. Put -0.5, 0.3, h in descending order.
0.3, -0.5, h
Suppose -g - 4 = -5*a, -3*g + a = g - 3. Suppose 0 = 2*l - 2*s - 4, 4 - 14 = l - 5*s. Sort g, l, -1 in ascending order.
-1, g, l
Let r = 397 + -396.7. Let l = 185/3 + -61. Put 2/5, l, r in ascending order.
r, 2/5, l
Let c be (-2)/(2/25*(-5)/1). Sort 4, c, -5 in decreasing order.
c, 4, -5
Let l = 24 + -28. Sort 0.4, l, -5/2 in increasing order.
l, -5/2, 0.4
Let j = 4010 - 6776. Let f be j/(-15) + 6/(-2). Let t = f + -182. Sort -2/9, t, -1/3 in descending order.
-2/9, -1/3, t
Let x be (-16)/(-10) + (-8)/(-20). Let d be ((-3)/(-2))/((-1)/x). Sort d, 3, -5.
-5, d, 3
Let a be 29/(-6) + 1/(-6). Put a, -1, 2 in ascending order.
a, -1, 2
Let l = 0.029 + 6.971. Sort -1/4, l, -5 in increasing order.
-5, -1/4, l
Suppose -1 = -3*i - 7. Put 2, 3, i in descending order.
3, 2, i
Let k be (-2)/7 + (-30)/(-7). Suppose 3*n - 4*n = 0. Sort n, 1, k in descending order.
k, 1, n
Let r be (-168)/(-152) + 1 + -2. Put -2/13, r, -2 in increasing order.
-2, -2/13, r
Let d = -4 - -4.03. Let y = d - 5.03. Let r be 15/25 - 2/(-5). Put r, 0.4, y in descending order.
r, 0.4, y
Let j be 2/(-8) + 15/12. Let f be (0 - 3)*(3/3 + 0). Put 0, f, j in increasing order.
f, 0, j
Suppose 9 = -5*i + 29. Suppose 3*d = 9, -5*o + 3*d - d + 9 = 0. Put o, -4, i in decreasing order.
i, o, -4
Suppose -g - 16 = 4*v, 3*v + 12 = 3*g - g. Put 2, v, 4 in descending order.
4, 2, v
Let r = -11593/28 + 414. Let b = r - 13/28. Sort -1, b, 2 in ascending order.
-1, b, 2
Let y(d) = d - 4. Let l be y(4). Suppose -3*m - 3 + l = 0. Sort 4, m, 2 in descending order.
4, 2, m
Suppose -3*g + 9 + 18 = 0. Let w = 14 - g. Let h(a) = a**3 - 17*a**2 + 29*a + 18. Let u be h(15). Sort -5, u, w in descending order.
w, u, -5
Let z(k) = k**2 + 3*k + 2. Let l be z(-2). Let h be 2/(-3) + 66/18. Let y be -3 - (3 + -6) - h. Sort l, y, -1 in ascending order.
y, -1, l
Let i = -2.5 - -2. Let c be 3 - (-5 - 408/(-52)). Sort i, c, -7 in increasing order.
-7, i, c
Let x(n) = -4*n + 3. Let f be x(2). Let m = 22 - 19. Sort f, m, -2.
f, -2, m
Suppose u + 5*t - 14 = 0, t = u + 3*t - 8. Put -1, 3, u in increasing order.
-1, 3, u
Let i(b) = -b**2 - 14*b. Let x be i(-10). Put 2, x, 5 in increasing order.
2, 5, x
Let d(i) = -i**2 - 4*i. Let t be d(-5). Suppose -3*o - 9 = 5*f, 0 = -2*f + f. Let a = o + 5. Sort a, -3, t in ascending order.
t, -3, a
Let x(l) = l**3 - 8*l**2 + 6*l + 9. Let s be x(7). Let f = -3 - s. Sort -4, f, -2/5.
f, -4, -2/5
Suppose 12*f = 4*f - 24. Suppose b = 2 - 3. Sort b, 0, f in decreasing order.
0, b, f
Let s = 0.08 + -4.08. Sort s, 0, -3/5.
s, -3/5, 0
Let v be 3/(-12)*(1 + 1)*0. Sort -1, 5, v, 3.
-1, v, 3, 5
Let j = 0.137 - -1.863. Suppose -4*q - 2 = -2*q. Let w be ((-3)/66)/(q/4). Put j, w, 5 in ascending order.
w, j, 5
Let v(g) = g - 3. Let n be v(3). Suppose 2*l + 5*w + 25 = n, -8 = l + w - 0*w. Suppose -5*f + 20 = -5*u, -1 = 4*u - f + 6. Sort 3, u, l in descending order.
3, u, l
Let f be (1/1)/(6/15). Sort -4/5, f, 2/11.
-4/5, 2/11, f
Let a = 0.8 - 0.6. Let b(j) = -j**2 + 2*j + 6. Let x be b(5). Let l be ((-3)/(-11))/(x/(-6)). Sort 2, l, a.
l, a, 2
Suppose g + 3*g - 5*h = 33, -g + h + 7 = 0. Sort -4, g, -1 in increasing order.
-4, -1, g
Let i = -123 + 1231/10. Let h be (2/5)/((-1)/(-15)). Suppose -m = h - 2. Sort -4/5, i, m in decreasing order.
i, -4/5, m
Let a = -1 - 0. Let r = -4 + -7. Let b = -16 - r. Sort -3, b, a in ascending order.
b, -3, a
Let c = -4.5 + 6.5. Sort 11, 0.4, c in decreasing order.
11, c, 0.4
Let s = 0.7 + 4.3. Suppose 2 = 5*h - 7*h. Let p be (-4)/(-3) + h/3. Sort p, s, -0.1 in decreasing order.
s, p, -0.1
Let b(k) = -k**3 + 3*k**2 - k. Let t be b(2). Let w = t + -3. Suppose -15 = 3*z + 2*z. Sort 3, z, w in increasing order.
z, w, 3
Let y = 0.67 + -0.47. Sort y, 0, -0.06 in decreasing order.
y, 0, -0.06
Suppose 0 = -2*b + 4*a + 8, b - 10 = -0*a + 5*a. Put 6, -4, b in descending order.
6, b, -4
Let p = 1.7 - 1.4. Let n = -0.55 + 0.05. Let g = 0.5 + n. Sort p, -1, g in increasing order.
-1, g, p
Let f = -9 + 5. Let l(t) = t + 4. Let v be l(f). Sort -3, v, 3 in decreasing order.
3, v, -3
Let f(h) = h**2 + 5*h + 2. Let n be f(-3). Let m be (5/n)/((-2)/(-8)). Let w = m + 10. Sort -5, 2, w in descending order.
w, 2, -5
Suppose -j - 48 = 11*j. Put -7, j, -0.4 in decreasing order.
-0.4, j, -7
Let i(t) = t**3 + 3*t**2 - 3*t + 2. Let z be i(-4). Sort -3, z, 2 in decreasing order.
2, z, -3
Let u = -0.49 + 1.39. Sort u, 2, 5, -0.4 in ascending order.
-0.4, u, 2, 5
Let p be 0 - 0/(3/1). Let y = 15 + -15.32. Let f = y - -0.02. Sort f, 1/10, p in decreasing order.
1/10, p, f
Let a = 2.2 + 25.8. Let s = a - 30. Put 4/3, s, 1 in decreasing order.
4/3, 1, s
Let c be (-7)/21*(-2 + 6). Let g = -3358/15 + 224. Sort c, g, 2/3.
c, g, 2/3
Let r = -133 - -134. Suppose d = 2*d + 2. Sort -4, d, r in decreasing order.
r, d, -4
Let b be (0 + -1)*2/6. Let o = -6 - -23/4. Sort -2/13, o, b in ascending order.
b, o, -2/13
Let n(q) = 2*q**2 + 4*q + 8. Let s(l) = l**2 + 5*l + 8. Let a(h) = 2*n(h) - 3*s(h). Let i be a(8). Put -4, i, -1 in increasing order.
-4, -1, i
Suppose 4 = -4*l - 16. Let w = -48.08 - -51. Let d = w - -0.08. Sort 2, l, d in descending order.
d, 2, l
Let m(h) = h**3 - 8*h**2 + 6*h + 2. Let j be m(7). Sort -1/2, j, 0.4 in decreasing order.
0.4, -1/2, j
Let h = -56/9 - -374/63. Let x = -156.3 + 147. Let m = -9 - x. Put -0.2, m, h in ascending order.
h, -0.2, m
Let z = -24.9 + 21. Let n = z - 1.1. Put 0, n, 5 in decreasing order.
5, 0, n
Suppose 2*y - 4 = -2*y. Suppose -3*n + 2*n = -3. Sort 0, n, y.
0, y, n
Let z(f) = 6 - 3*f + 4*f - 1 + 2. Let b be z(-6). Sort -2, b, -0.2 in increasing order.
-2, -0.2, b
Let w(m) = 3*m**3 - m**2 + m + 1. Let l be w(-1). Put 2, -6, 4, l in ascending order.
-6, l, 2, 4
Let v be 21/3 + -2 + -1. Let d be 0 + 1/2*-6. Sort d, v, 1 in decreasing order.
v, 1, d
Let l = 0.13 - 0.03. Let j = 0.09 - 0.19. Sort -0.5, j, l in descending order.
l, j, -0.5
Let b be 8/10 - (164/(-20) + 5). Sort b, 5, -5, -4 in ascending order.
-5, -4, b, 5
Let v(t) = 2*t**2 + t - 2. Let h be -2 + 12/(12/3). Let n be v(h). Sort 2, 