 -5*y + 0*y = p + 28, -20 = 4*y + 2*p. Let j be t(y). Put -4, -1, j in descending order.
j, -1, -4
Suppose -5*m = 4*a + 17 + 1, -5*m = 2*a + 14. Let n = -68 + 73. Sort n, -1, m in increasing order.
m, -1, n
Let j = -147 - -48. Let w = j + 95.11. Let s = w - 0.11. Put -1/2, 5/4, s in descending order.
5/4, -1/2, s
Let w = 5.53 + -6. Let a = 14 + -13.93. Let l = w + a. Put 3, l, -5 in ascending order.
-5, l, 3
Let p = -1 + 1.5. Let j = 2.9 - 5.9. Sort -0.1, p, j in ascending order.
j, -0.1, p
Let p = 6.9 + -2.9. Put 0.01, 3, p in descending order.
p, 3, 0.01
Let y = 0.008 - 7.708. Let n = y - -8. Sort -1/6, -0.03, n.
-1/6, -0.03, n
Let c be -2*2/(-30)*-3. Let g = -0.59 + -0.01. Let t = -0.2 - g. Sort 0.5, t, c in ascending order.
c, t, 0.5
Let p = 2 + 1. Let i = -7 + 12. Suppose -i*q = -q. Put q, -2, p in ascending order.
-2, q, p
Let w = 0.9 + -0.5. Let q(m) = m + 17. Let f be q(-17). Put w, 2/15, f in decreasing order.
w, 2/15, f
Let m be -22 + 4/(3 + -5). Let s = 13 + m. Let b(p) = -p**2 - 11*p + 5. Let g be b(s). Sort -2, -1, g in descending order.
g, -1, -2
Let p be -5*(1 - 24/20). Let i(z) = -z + 2. Let l be i(5). Suppose t - 8 = -t. Put p, l, t in descending order.
t, p, l
Let d = -1.063 - -0.063. Sort d, 0, 6 in decreasing order.
6, 0, d
Let x be ((-5)/(-15))/(4/(-12)). Let w(i) = -3*i**2 + 1. Let n be w(1). Sort n, -4, x.
-4, n, x
Let f = 5 + -5.1. Let v be 4/(-10) - (-9)/35. Let h = -3 - -5. Sort v, h, f in increasing order.
v, f, h
Let i = -102/19 - 1031/38. Let t = i + 587/18. Sort -2/11, t, -0.3 in decreasing order.
t, -2/11, -0.3
Let o be (-4)/(4 - (-7)/(-2)). Sort o, -4, -2, 4 in increasing order.
o, -4, -2, 4
Suppose 4*g - s = 3, 5*g - 3*s = -2 + 4. Let w = -3 + 0. Sort g, w, 3 in decreasing order.
3, g, w
Let q = 0.2 + -0.4. Sort q, 2/13, 1/2.
q, 2/13, 1/2
Let j = -15 + 14.9. Sort 4/3, 1, j.
j, 1, 4/3
Suppose 0*h + 96 = 3*i - 3*h, 3*h = 4*i - 132. Suppose -n + i = 2*n. Let v be (n/30)/(1/5). Sort -1, v, -4 in increasing order.
-4, -1, v
Let d = 0.21 + 0.29. Let l = 0 - -0.2. Put -4, l, d in descending order.
d, l, -4
Let o be -5 - (2 - 3 - 4). Sort o, 1, -3 in increasing order.
-3, o, 1
Let x be (-3)/(4/(8/3)). Let u be 16/6*9/(-6). Put 5, x, u in descending order.
5, x, u
Suppose -2*n = 3*n + 50. Let t(q) = -q**2 - 11*q - 6. Let x be t(n). Let p be ((-4)/12)/((-2)/12). Put x, p, -5 in ascending order.
-5, p, x
Let j = 3 - 5. Let o = 12/5 + -53/20. Sort -0.2, o, j.
j, o, -0.2
Let g be 8 + (-4 - 1) - 98/26. Sort 1/3, -3, g in descending order.
1/3, g, -3
Let v = 58 - 39. Let u = -19 + v. Sort u, -5, -1/3 in decreasing order.
u, -1/3, -5
Let z be (-3 - -1)*(-18)/(-72). Sort 2/5, z, 1, -2/11.
z, -2/11, 2/5, 1
Let n = 3.3 + -0.3. Let w = n + -2.9. Let d = 0.1 + -0.2. Put d, -1/7, w in increasing order.
-1/7, d, w
Let f = -8 + 8. Suppose 4*j + 0 + 8 = 0. Let v = j + f. Put 1, v, -3 in descending order.
1, v, -3
Let x(h) = h + 21. Let y be x(-12). Suppose 5*v + 44 = y. Put v, 5, 0 in increasing order.
v, 0, 5
Suppose -3*q - 2 = -8*q + 3*s, q - s = 0. Suppose t = -q - 4. Let m be 2 - 2/2 - -1. Put m, 4, t in decreasing order.
4, m, t
Suppose 0 = 5*z + 28 + 42. Let r = z - -10. Sort -2, r, 5 in ascending order.
r, -2, 5
Suppose -3*q + 2*o + 38 = 0, -5*o = 2*q - 33 - 24. Suppose -x = -5*x - q. Sort -1, -2/3, x in descending order.
-2/3, -1, x
Let w be (-2)/6*(-15 - 0). Suppose -2*u + 3 = -w. Suppose -v - b + 1 = 0, 5*v - 4*b = v - u. Sort 2, -1, v in increasing order.
-1, v, 2
Let p(t) = -t**2 - 11*t - 12. Let r be p(-8). Let x = 10 - r. Let w = -6 - -1. Put x, 3, w in descending order.
3, x, w
Let f = 0.6 + 2.8. Let q = f + -3. Sort -0.4, q, 3/5 in decreasing order.
3/5, q, -0.4
Let o(p) = -p + 11. Let f be o(10). Let w be (f - 4)/(6/(-4)). Suppose w*j - 1 = j. Put j, -1/8, 3 in increasing order.
-1/8, j, 3
Let f be -1*1*3/1. Suppose -3*g = -2*g - 2. Sort 4, g, f.
f, g, 4
Let z = 0 - 0. Suppose 0 = -f + 1. Let u be (9/(-27))/(f/3). Sort z, 1, u in descending order.
1, z, u
Suppose 5*n - 4 + 14 = 0. Put -3, 3, -8, n in decreasing order.
3, n, -3, -8
Let n = 0.84 - 5.84. Sort 1/6, 5, -4, n in decreasing order.
5, 1/6, -4, n
Let o = 8 + -11. Suppose l = 4 - 6. Put 4, o, l in descending order.
4, l, o
Let r(j) = -j**3 + j - 6. Let a be r(0). Let c be 2 - (-3 + -1 + 1). Sort -4, a, c.
a, -4, c
Let d = -21 - -19. Let k be (-16)/(-9) - 4/(-18). Put k, d, -5 in decreasing order.
k, d, -5
Let l be 2 - 3*(-4)/(-12). Sort 3, -3, l in decreasing order.
3, l, -3
Let c = -47 + 50. Suppose 0*q = q + 5. Sort -3, q, c in decreasing order.
c, -3, q
Suppose 5*i - 15 = 2*l - 0*l, 2*l - 3 = -i. Let c(g) = -g - 5. Let w be c(-4). Sort w, l, -5 in decreasing order.
l, w, -5
Let k = -32/3 + 11. Put 1.9, 0, k in increasing order.
0, k, 1.9
Let t be (-8)/(-6)*(-12)/2. Let q be t/(-10) + (-4)/10. Let v(b) = -b. Let l be v(2). Put q, l, 0.2 in decreasing order.
q, 0.2, l
Let d = 0.45 - 0.15. Put 5, d, -0.4 in descending order.
5, d, -0.4
Let g(p) = p**2 + 7*p + 10. Let u be g(-7). Suppose 0 = u*t - 12*t + 2. Sort -0.4, -2, t in increasing order.
-2, -0.4, t
Let f = -5 - 7. Let z = f - -12.3. Sort 3/5, z, 3 in descending order.
3, 3/5, z
Suppose -3*r - 5*a = -4*a + 3, 0 = r - 3*a - 9. Suppose 2*x - 3 - 7 = r. Let m be (6/4)/((-9)/12). Sort m, x, -4 in ascending order.
-4, m, x
Let q = 1.2 + -1.6. Sort q, 0, 2/15 in descending order.
2/15, 0, q
Let q = 4.2 + 1. Let d = -0.1 - 0.1. Let x = d + q. Put x, 1, 0.2 in descending order.
x, 1, 0.2
Let k be (-3)/((-36)/15)*-4. Sort k, 0, 4 in ascending order.
k, 0, 4
Suppose -u - u + 10 = 0. Let r = -71 + 141/2. Put 3, r, u in descending order.
u, 3, r
Let t = 10.92 - -0.08. Let l = 6 - t. Let c = l + 4.5. Sort -5, -4/7, c in ascending order.
-5, -4/7, c
Let b = 33 - 43. Sort -1, -5, b, 0 in increasing order.
b, -5, -1, 0
Let w = -0.069 - 0.231. Sort 4, w, -5, -2.
-5, -2, w, 4
Suppose 5*f = -3 + 8. Let l = 0 - f. Let x be (0 - -1) + (2 - l). Sort -2, -4, x.
-4, -2, x
Suppose 4 = 9*c - 5*c. Let l(z) = -z**2 - 8*z - 10. Let h be l(-7). Put c, 3, h in decreasing order.
3, c, h
Suppose -3*l - 3*p + 33 = 0, -16 = -2*l - 5*p - 0*p. Let v = 21 - l. Let y be -2 - ((-18)/v + 1). Sort y, 3, -1.
-1, y, 3
Let w(a) = -a + 7. Let u be w(10). Suppose 2*f - 7 = r - 2, 2*f + 73 = -5*r. Let k = r - -8. Sort k, u, -2 in increasing order.
k, u, -2
Suppose -r + 4 = 5*f - 3, -r + 1 = -f. Let n = r - -3. Sort -1, -2, n in descending order.
n, -1, -2
Let z be ((-3)/(-4))/(45/(-10)). Sort -3, -1/3, z in decreasing order.
z, -1/3, -3
Suppose 2*i = -2*z - 6, -3*i + 5*i + 3*z + 11 = 0. Suppose 5*r = i*r. Let k(q) = q**2 + 4*q + 2. Let u be k(-3). Sort u, 1, r in decreasing order.
1, r, u
Let k = -0.06 + -2.94. Let m be 30/4*296/10. Let x = m + -1779/8. Put x, k, 3 in decreasing order.
3, x, k
Let g(k) = -14*k + 30. Let u be g(12). Let w be 4/(-22) - u/396. Sort -4, 2/5, w.
-4, w, 2/5
Suppose 4*u - 15 = 3*a, 3*u - 7*u = -2*a - 10. Let g = u - 1/5. Put g, -1/9, -4 in decreasing order.
-1/9, g, -4
Let m = -233/11 + 21. Let f = 1.5 + -1.3. Sort m, -4, f in decreasing order.
f, m, -4
Let o = -61 + 59. Sort -1, 4, o, -7 in decreasing order.
4, -1, o, -7
Suppose -4*i - 46 = 2*s, -2*s = -0*s + 6. Let d = i - -6. Let c(a) = -a**3 - 25*a**2 + 3*a + 70. Let k be c(-25). Put k, d, -1 in decreasing order.
-1, d, k
Let a = 14 + -7. Suppose -2 + a = v. Suppose 3*o = z - 2, 0 = 3*z - v*o + o - 11. Sort 1, -3, z in increasing order.
-3, 1, z
Let v be 6/(-4)*20*8/48. Sort -10, -4, v.
-10, v, -4
Let j be ((2 - 4) + 1)/(-1). Suppose 4*z + 4 = 3*g + 3, 3*z = -3*g + 15. Put j, 4, z in increasing order.
j, z, 4
Suppose -4*o + 5*o = 1. Let q be (-2 + o)*(-6)/3. Let p be -2 + 2 + 5*-1. Put q, p, 0 in ascending order.
p, 0, q
Let c be (1 - (-11)/(-5))*-5. Suppose c*w - 20 = w. Suppose -w*z + 0*h = -h + 9, 16 = 4*z + 4*h. Put z, -2, 2 in increasing order.
-2, z, 2
Suppose -4*o = -0*o + 8. Let v = 1472/11 + -134. Let c = 0 + -3. Sort v, c, o in decreasing order.
v, o, c
Let b(k) = -k**3 - 4*k**2 + k + 4. Let t be b(-4). Let u(y) = y + y - y + y + 0. Let s be u(-1). Sort t, 5, s in descending order.
5, t, s
Let q = 6 - 5. Let i = 2 - q. Sort 2, 4, i in ascending order.
i, 2, 4
Suppose 5*a = -4*b + 38, -b - 3*a = -3*b + 8. Let f be (-31)/b + 9/21. Let n = 0.3 - 0.4. Sort 0.5, 