4*y, 2*t - 3*y - 23 = -0*t. Suppose 0 = -z - z + t. Suppose 3*j - 19 = -z*u, 3*u + 6*j - 7 = 2*j. Sort 2, u, -4 in decreasing order.
u, 2, -4
Let b = -7 + 2. Suppose 3*r + 7*a = 3*a - 38, -4*r = -3*a + 9. Let s(l) = 2*l + 14. Let w be s(r). Sort -4, w, b in ascending order.
b, -4, w
Let j = -35.5 + 36. Put j, 0.3, 5 in decreasing order.
5, j, 0.3
Let h = -104/185 + 6/37. Sort -1, -3/5, h, 2 in decreasing order.
2, h, -3/5, -1
Suppose -5*o + 14 = -1. Suppose -3*y + o = 2*n + 20, 4*y = -n - 21. Let b(x) = 2*x + 3. Let g be b(-3). Sort y, g, -4.
y, -4, g
Let o(d) = -d + 4. Suppose -3*l + 0*l = u - 24, -5*l + 26 = -3*u. Let h be o(l). Sort -4, 4, h in ascending order.
-4, h, 4
Let d(p) = p**3 + 6*p**2 + 7*p + 6. Let j be d(-5). Let y be -2 - -2*(-1)/2. Suppose 0 = 2*c + 4*x - 10, -4*c + x - 1 = -12. Sort y, j, c.
j, y, c
Let z = 62 - 65. Sort -1, 2, 3, z.
z, -1, 2, 3
Suppose 2*t + 4*u = u - 6, -4*u - 7 = 3*t. Let p be (-1)/3 + (-2)/t. Sort -4, p, 0 in decreasing order.
0, p, -4
Let k = 0.4 - -1.6. Let h = -0.13 - 1.87. Sort k, h, -1.
h, -1, k
Let l = 5 - 4. Suppose -2*y + 5*y = 0. Suppose -4*i = -4*c + 3*c - 17, y = -3*c + 2*i - 1. Sort 0.1, l, c in decreasing order.
c, l, 0.1
Let h be (-8)/12 + (-4 - -4). Put -2/15, -1/5, -20, h in descending order.
-2/15, -1/5, h, -20
Let o be ((6/(-4))/(-3))/(-1). Let f = -1 - -1. Let i = -232 - -231.6. Put i, o, f in increasing order.
o, i, f
Let g = -1.1 - -0.8. Let h = 2 + -1.97. Let d = h + 0.17. Put d, 4, g in descending order.
4, d, g
Let q = -2.4 - 0.6. Let t be (-6)/(-20)*(-32)/(-12). Put t, 2/5, q in descending order.
t, 2/5, q
Let q be 57/5 + (-28)/70. Sort q, 2, 3 in descending order.
q, 3, 2
Let v(i) = -4*i**2 + i - 9. Let z be v(0). Sort -3, z, -1.
z, -3, -1
Let m(y) = 3*y**2 + 3*y + 2. Let u be 4/(-3) + (-4)/6. Let c be m(u). Suppose c = -2*l - 0*l. Sort l, -1, 0 in decreasing order.
0, -1, l
Let u be (-12)/9*(-1 - 2). Let n(x) = -x**2 + 5. Let f be n(-2). Sort -5, f, u.
-5, f, u
Let z be 2 - (9/(-3) - -1). Suppose z = -2*s + 4*s. Sort s, 1, -4 in ascending order.
-4, 1, s
Let d be -11 + 14 - (-14)/(-6). Sort d, -0.06, 5 in ascending order.
-0.06, d, 5
Let o(u) = -2*u - 16. Let w be o(-8). Let q = w - -4. Let n = 0.04 - -0.36. Sort q, -3, n in descending order.
q, n, -3
Suppose 0 = 3*u + o - 4*o, -3*u = 4*o. Put -0.5, 1/4, -9, u in decreasing order.
1/4, u, -0.5, -9
Let t = -10.064 + 0.064. Put 1, t, 1/4, 3/4 in decreasing order.
1, 3/4, 1/4, t
Let i = -66.6 - -77. Let q = i + -10. Put q, 6, -0.4 in decreasing order.
6, q, -0.4
Let d(j) = -4*j - 1. Let f be d(-1). Let l be (-3 - -6)*(1 + 0). Suppose f*g + 3 = -l. Sort 0, 5, g in decreasing order.
5, 0, g
Let s = 7.1 + -2.7. Let t = s - 4. Let a = -2/317 - 624/1585. Put -0.2, t, a in decreasing order.
t, -0.2, a
Suppose f + z = 0, 2*f = 4*z + 6 + 6. Suppose f*l + 2 = 10. Put -4, l, 5 in decreasing order.
5, l, -4
Suppose -2*x - 12 = -0*x. Put -5, x, 2 in descending order.
2, -5, x
Let o be (13 + (-1)/1)/(-1). Let n = o + 17. Suppose -4*w = 3*m - 0*w - 5, -3*m - 2*w - 5 = 0. Put m, -1, n in ascending order.
m, -1, n
Suppose -28 = -4*o - 3*f, -36 = -4*o + 2*f - 7*f. Suppose 12 = -3*h + 6. Sort o, 2, h.
h, 2, o
Suppose -4*d + u = -4*u - 4, -5*u = 3*d + 32. Let o be (1 - (-1 - -4))/(-1). Let v be (-5)/(o*2/(-4)). Sort -3, d, v in ascending order.
d, -3, v
Let p be 2 + -1 + 91/(-105). Let n be (-7)/6 + 1/3. Sort n, p, -3 in descending order.
p, n, -3
Suppose 0 = -3*c + 3*s, -12 - 15 = -5*c - 4*s. Suppose -2*a - c*a = -5*n + 20, 5*a - n + 12 = 0. Sort 2, a, 4 in increasing order.
a, 2, 4
Let d be 2 - ((-8)/(-6) - -2)*1. Sort -3, d, -1 in descending order.
-1, d, -3
Let k = -2.9 + 2.97. Sort -4, k, 1.
-4, k, 1
Let l = 1.5 + -1.7. Sort 0.2, l, -1 in ascending order.
-1, l, 0.2
Suppose 0 = 2*t + 8 + 8. Let y be 34/60 + t/20. Put y, 4, 0.3 in ascending order.
y, 0.3, 4
Suppose 3*u + 4 = 22. Suppose 2*m - u*g = -2*g + 8, g + 2 = 4*m. Put -1, m, 4 in ascending order.
-1, m, 4
Let h(j) = j**2 - 20*j - 72. Let x be h(-3). Suppose 3*z + 2*z - 15 = 0. Let r = -2 - z. Put x, 1, r in increasing order.
r, x, 1
Let x be (-32)/(-12) - 1/(-3). Let i = x + -2. Let p(j) = -j**2 + 3*j. Let v be p(4). Sort -5, v, i in decreasing order.
i, v, -5
Let p = 13.4 + -10. Let w = 3 - p. Let r = 0 + w. Put 2, 1/6, r in descending order.
2, 1/6, r
Suppose 5*k + 4 = -26. Let t(d) = -10*d - 49. Let j be t(-5). Put j, 0, k in decreasing order.
j, 0, k
Let j(v) = -v**2 - 4*v - 2. Let o be j(-4). Sort -5, -1, 3, o in descending order.
3, -1, o, -5
Let u be (1 - -1) + 0 - 2. Sort -3, -2/9, u.
-3, -2/9, u
Let d(a) = -3*a - 6. Let f be d(-3). Suppose 3*x = -3*u, f*u = 7*u + x - 3. Put u, 0, 5 in ascending order.
0, u, 5
Let k be 1*(1/(-1) + 2). Let q be -2 + -1 + -1 + k. Let z = 0 + 3. Put q, z, 4 in increasing order.
q, z, 4
Suppose -2*k = -5*k - 12. Suppose -3*t + 6 = -t - h, -3*h = -5*t + 16. Put 4, t, k in increasing order.
k, t, 4
Suppose 0*r = -2*r - 2. Let a = 18 + -13. Put a, r, -5 in descending order.
a, r, -5
Let j be (-1)/(1/3) + 3. Put -3, j, 1 in descending order.
1, j, -3
Let o(q) = -q**2 + 14*q - 18. Let w be o(13). Suppose -4*h - 16 = u, 0 = -u + 5*u - h + 13. Let j = u - -3. Put w, -2, j in decreasing order.
j, -2, w
Let o(t) = t**3 + t**2 - 4*t - 3. Let n = -3 - -1. Let m be o(n). Let g = 17 + -15. Sort m, 0, g.
0, m, g
Suppose -7*b = -3*b + 16. Sort 5, b, 4.
b, 4, 5
Let m = -0.48 + 4.48. Sort 3, -0.3, -2, m.
-2, -0.3, 3, m
Let c(m) = -m. Suppose 2*k - 4 = k. Let h be c(k). Suppose 5*d - 4 = 6. Put h, d, 5 in descending order.
5, d, h
Let o = 7 + -7.01. Sort 2, -5, o in increasing order.
-5, o, 2
Let m = -6 - -3. Sort -2, m, 2 in decreasing order.
2, -2, m
Let t be (-4 + (-26)/(-8))*2/(-3). Sort -0.09, t, 2/9, 1 in ascending order.
-0.09, 2/9, t, 1
Suppose -n - 3 = -4*w, -2*n = -5*w + 3*w + 6. Put 19, 3, w, 5 in ascending order.
w, 3, 5, 19
Let v = 1 - 0.5. Let c = 142 - 139. Sort -2/9, c, v in ascending order.
-2/9, v, c
Let z = 3 - 1. Sort -3, z, 1 in increasing order.
-3, 1, z
Let t = 2.17 + -0.17. Let m = -0.2 - -0.3. Sort t, 0, m in descending order.
t, m, 0
Let o = 0 + 1. Suppose -6 = -6*i + 3*i. Sort o, -1, i in decreasing order.
i, o, -1
Let q = 7.8 - 8. Put 1, -2/9, q in decreasing order.
1, q, -2/9
Suppose -2*q + 3*d = -0*d + 16, 0 = -2*q + 2*d - 12. Let c be (-3)/3 - (-1 + -3). Sort q, 4, c in descending order.
4, c, q
Let f = 0.05 - -0.25. Put -3, 0.1, f in ascending order.
-3, 0.1, f
Let w = -7.85 - 0.15. Let m = w - -6. Put 2/7, 0.2, m in descending order.
2/7, 0.2, m
Let w(r) = -3*r**3 - r + 1. Let h be w(1). Let g be ((-12)/24)/(2/(-12)). Sort h, g, -2 in descending order.
g, -2, h
Let k = -0.43 + 6.43. Sort -0.3, 0.1, 0, k.
-0.3, 0, 0.1, k
Let z be (6/(-4))/((-7)/14). Put z, -2, 5 in increasing order.
-2, z, 5
Suppose 0*z + 3 = z. Let o = 14 - 12. Suppose z*g - 15 = -o*g. Put 0, g, 2 in descending order.
g, 2, 0
Suppose 36 + 8 = 11*s. Put s, -12, -2/13 in decreasing order.
s, -2/13, -12
Let h be 1/(-1) + (-28)/(-20). Sort 3, 3/5, -3, h in ascending order.
-3, h, 3/5, 3
Let s(z) = -6*z**2 + 1 - 3*z**3 + 2*z + 2*z**3 + 0*z**3. Let r be s(-6). Let h(i) = i + 8. Let q be h(r). Sort 5, q, -4 in ascending order.
-4, q, 5
Let i be (10/4)/(9/(-18)). Put -1, i, -3 in ascending order.
i, -3, -1
Let x = -1206 + 1200.11. Let t = x - 0.11. Sort t, -4, -3.
t, -4, -3
Let y(u) = u**3 + u**2 - u - 4. Let f be y(0). Let t(c) = -c + 2. Let j be t(3). Suppose -10 = -5*h - 0*h. Put h, f, j in decreasing order.
h, j, f
Suppose -4*h - h = 0. Suppose h = -0*q + 3*q + 9. Let s = 3 + -4. Sort -0.3, q, s in decreasing order.
-0.3, s, q
Let n be (-5 - 5)/(4/(-2)). Let a(u) = -4 - u - 3*u + 5 - 2*u**2. Let v be a(-3). Sort 2, v, n in increasing order.
v, 2, n
Suppose s + 2 = -2*s + 4*m, -8 = -s - 3*m. Let c be s/(-8) - 2/(-8). Suppose b = -5 - c. Put 0, 1/2, b in decreasing order.
1/2, 0, b
Let x(o) = -o**3 - o - 1. Let r(q) = 2*q**3 - 6*q**2 - 3*q + 1. Let i(s) = -r(s) - 3*x(s). Let m be i(-5). Put -4, 1, m in increasing order.
-4, m, 1
Suppose 0 = 3*p - 16 + 10. Put 12, 0, p in ascending order.
0, p, 12
Let b(m) = -3*m + 1. Let x be b(2). Let n = 6 + x. Sort -5, -1, n.
-5, -1, n
Let u = 25.4 + -25. Sort -3, 2, u in increasing order.
-3, u, 2
Let r be (1/(-4))/(6/4). Put r, 2/5, 