uppose 5*t = 4*y - 5*y - k, y = 4*t + 7. Suppose 0*o - 6 = -3*o. Sort y, o, 0 in decreasing order.
y, o, 0
Let a = 12 - 6. Suppose 0 = 2*v + 4*z + a, 0 = -0*v + 3*v + 2*z + 13. Sort v, 1, -4, 12 in decreasing order.
12, 1, -4, v
Suppose 4*d + 7*d = 88. Suppose 3*q + 6*j - j + 8 = 0, 5*j = 4*q - 1. Put 1, d, q in decreasing order.
d, 1, q
Let d(p) = p**3 - 12*p**2 + p - 11. Let s be d(12). Let l(b) = -b + 3. Let j be l(8). Put j, 5, s in descending order.
5, s, j
Let z(x) = 17*x**3 + x**2 + 12*x - 11. Let n(c) = 4*c**3 + 3*c - 3. Let l(v) = -9*n(v) + 2*z(v). Let d be l(2). Put -5, -4, d in decreasing order.
-4, -5, d
Let j be (1 - 1)*(-4)/(-8). Suppose 0 = -o + i, -4*o + j*o - 3*i = 21. Let z be (-6)/9*3 - -1. Sort o, z, 2 in decreasing order.
2, z, o
Suppose 5*t + 15 = a + 8, -5*a = 3*t + 21. Let x(f) = f**2 + 7*f + 1. Suppose -5*q - 17 = 13. Let p be x(q). Put 3, a, p in descending order.
3, a, p
Suppose 0*j = -4*j. Suppose j = c + 1 + 1. Suppose 0 = -2*r - 2*r + 16. Sort r, -1, c in ascending order.
c, -1, r
Let q be 4 + 4/(-2) - 2. Let p = -5 + 9. Let w = p - q. Sort w, 1, 3 in ascending order.
1, 3, w
Let w = -1.31 - -11.31. Sort w, 2/15, 5, -1 in increasing order.
-1, 2/15, 5, w
Let o be 3 + (-148)/52 + 111/(-468). Put o, -9, 3 in ascending order.
-9, o, 3
Let c = 7 + 0. Let b be 266/76*50/(-35). Sort b, c, 5 in decreasing order.
c, 5, b
Let y = 27.5 - 31. Let m = -3.3 - y. Sort m, 0.3, 1.
m, 0.3, 1
Let g(p) = -p**3 + p**2 + 19. Let c be g(0). Let j(x) = x**3 - 19*x**2 + x - 16. Let o be j(c). Let z be 24/(-112)*8/6. Sort o, -1/3, z in ascending order.
-1/3, z, o
Let l = 10 + -5. Suppose -20 = -l*n - 0. Let f be (-3)/n + 5/(-20). Put f, 1, -3 in descending order.
1, f, -3
Let h(z) = -z**2 - 5*z + 4. Let i be h(-5). Let r = 12496 + -12482. Put i, r, -1 in increasing order.
-1, i, r
Suppose 0 = -3*s + 7*s - 4*l - 40, -3*s = -l - 30. Sort -6, s, 0, -3 in increasing order.
-6, -3, 0, s
Suppose 5*q + 81 = 6. Let x be (0 + q)*(-10)/(-30). Sort x, -2, 2 in descending order.
2, -2, x
Let p = 216 + -215.93. Sort p, -0.2, 2/15 in decreasing order.
2/15, p, -0.2
Let g be (15/2 - 0)/(35/70). Suppose 12*p = 7*p - g. Suppose 4*f = -4 - 16. Sort -6, f, p.
-6, f, p
Let t = 14 - 12. Let f = 3 - t. Let s = 962/7 - 138. Put s, -0.3, f in increasing order.
s, -0.3, f
Suppose 8*d = -11*d - 10*d. Put -4, d, 3, 15 in increasing order.
-4, d, 3, 15
Suppose -8 = 2*z + 4*i, 5*z - 8*i + 4*i = -20. Suppose 0 = -c - 3 + 6. Sort c, z, 2, 0 in decreasing order.
c, 2, 0, z
Suppose -34*d + 30*d = 16. Let j be (-4 - -1)/((-3)/(3 + -6)). Sort d, 3, -1, j in descending order.
3, -1, j, d
Suppose 5*d + 20 = 2*l, -9*d = 4*l - 12*d - 26. Sort -2, 105, l in ascending order.
-2, l, 105
Let d = -0.224 - -0.074. Let z = -0.35 - d. Put 1/35, 4, z in increasing order.
z, 1/35, 4
Let j = 37 + 31. Let g = j + -65. Sort -3, g, -12, 1 in decreasing order.
g, 1, -3, -12
Let s(q) = q**3 - 5*q**2 + q - 5. Let y(t) = 2*t**3 - 11*t**2 + 2*t - 11. Let p(h) = 7*s(h) - 3*y(h). Let j be p(0). Put j, 4, 0, -5 in decreasing order.
4, 0, j, -5
Let l = 3.65 + -2.65. Suppose d = -5, -4*d - 16 = -t - t. Let h be ((-2)/(-12))/(1/t). Put -0.1, h, l in increasing order.
h, -0.1, l
Suppose -53 = 5*v - 18. Let n(o) = o + 5. Let m be n(v). Let r be 0*(m/6 - 0). Put r, 2, 5 in descending order.
5, 2, r
Let m = 296 + -296. Sort -0.005, -0.5, m in descending order.
m, -0.005, -0.5
Let u = 149.6 - 142.6. Sort -1/2, 0.06, u, 0.3.
-1/2, 0.06, 0.3, u
Suppose -3*c = -5*z + 13, 5*c - 13 = z - 20. Put -3, 3/4, c in decreasing order.
3/4, c, -3
Suppose 153*q = 150*q + 18. Suppose 3*b - 13 + 25 = 0. Put q, -3, -1, b in descending order.
q, -1, -3, b
Suppose 0 = -3*h + 4 - 10. Let p = -0.031 + -3.969. Put p, 1/6, h in increasing order.
p, h, 1/6
Suppose 2*a - 23*a = 84. Suppose -b = -v, 6 = 2*v - 3*v - 5*b. Sort a, v, 0 in decreasing order.
0, v, a
Let s = -12 + 19. Suppose -s*n + 8*n = 4. Let i(w) = -w**2 - 4*w - 1. Let u be i(-2). Sort n, u, 2 in increasing order.
2, u, n
Suppose 114 = -8*n + 138. Let s be (-8)/6*(-9)/(-2). Let t(x) = x + 6. Let k be t(s). Sort k, n, 4 in decreasing order.
4, n, k
Let q = -947 + 952. Put 3/5, -0.7, 2/5, q in increasing order.
-0.7, 2/5, 3/5, q
Suppose 0 = 3*u - 1 + 4. Let x(m) = m**3 - m**2 + 4*m + 2. Let h be x(0). Sort h, -3, u, 1 in decreasing order.
h, 1, u, -3
Let i = 39.23 - 42.23. Let l = 0.1 + 0. Let f = 0.2 + -0.3. Sort f, l, i.
i, f, l
Let t = -0.081 + 0.09. Let c = t + 21.391. Let g = c + -21. Put 4, g, 3 in ascending order.
g, 3, 4
Let d = -0.2 - -0.09. Let f = 19.7 + -20. Put d, -1/10, f, 3 in increasing order.
f, d, -1/10, 3
Let s = -3.9 - 1.1. Let g = -100.5 + 100.9. Sort -0.4, g, s in increasing order.
s, -0.4, g
Let g be ((-1)/(-3))/(9/(-27)). Let n be -1 + (-9)/(-3)*-1. Put g, 1, n in descending order.
1, g, n
Let d be (-2)/(-3)*465/62. Put 4/7, 0.4, d, -1/6 in increasing order.
-1/6, 0.4, 4/7, d
Let c be ((-18)/24 - 78/(-40))*-5. Let a = -19/39 + 2/13. Put c, a, 1 in increasing order.
c, a, 1
Suppose 5*v = -v + 24. Suppose c + 2*t - 3*t = 7, c = 4*t + 13. Suppose -5 = c*a + 35. Sort a, v, -1 in decreasing order.
v, -1, a
Suppose 25 = 5*x + m, -3*m - 2 = -5*x + 23. Sort 46, -1, x in ascending order.
-1, x, 46
Suppose 2*k = 5*u + 29, -3*u + 14 - 37 = -4*k. Let s = -3 - k. Let q = 3 - 5. Sort 5, q, s in decreasing order.
5, q, s
Let q be (-1)/((8/(-44))/2). Suppose -4*i = 4*w + 28, -3*i = -4*w + 10 + q. Sort -4, i, -1 in decreasing order.
-1, -4, i
Let o(f) = f**2 - 7*f + 2. Let b be o(7). Suppose -2 = -3*w - 8. Sort 4, b, w, -6 in descending order.
4, b, w, -6
Suppose 31*v + 23 = 178. Put 4, v, 22, 6 in decreasing order.
22, 6, v, 4
Let b be -4 - -14 - 1/(-3)*-9. Suppose -5*t = -h + 3 - b, 4*h = t + 3. Sort h, 2, -11 in descending order.
2, h, -11
Let n = -6.9 + 7. Put -4, 44, n in decreasing order.
44, n, -4
Let k(c) = -3*c - 5. Let l be k(-5). Suppose -w - l = -5*h - 3*w, 0 = -3*h + w + 6. Put 1, -1, h in ascending order.
-1, 1, h
Suppose -1 = -2*l - 11. Sort l, -3, -26 in ascending order.
-26, l, -3
Let r be -4*(264/(-32) + 9). Sort 3/5, -27, r.
-27, r, 3/5
Suppose -2*r + 2*d = -12, -6 = d - 4. Sort 0, -4, r, 1 in descending order.
r, 1, 0, -4
Let u be (-315)/18*180/(-7). Let n = 7652/17 - u. Sort 1/9, -4, 0.05, n in ascending order.
-4, 0.05, 1/9, n
Let y = 537 + -535. Suppose 3 = -3*o - 9, 5*f + 2*o + 18 = 0. Let i be (f/(-1))/(-2) - 1. Sort 5, i, y in increasing order.
i, y, 5
Suppose -4*y + 8*y + 5*i - 16 = 0, -3*y + 5*i - 23 = 0. Put 131, y, -6 in ascending order.
-6, y, 131
Let o be 3/39*63 + 6/39. Put 13, -3, o, -2 in decreasing order.
13, o, -2, -3
Suppose -2*h = -3*c + 12, -c - 3*c - 4*h + 16 = 0. Suppose 2*v - c = v. Suppose 0 = -0*g + v*g + 12. Sort g, -5, 5 in increasing order.
-5, g, 5
Suppose 9*y - 24 = y. Sort -4, 4, y, -1/5 in descending order.
4, y, -1/5, -4
Let l = 0 + -3. Let g = 34 + -35. Let j be 4/g - 0 - -9. Sort -1, l, j in decreasing order.
j, -1, l
Let b = 3.74 + -3.81. Sort b, -13, -1.
-13, -1, b
Let x = -1.16 + 0.11. Let m = x + 1. Let d(v) = v**2 - 5*v + 1. Let l be d(4). Put m, l, -0.5 in descending order.
m, -0.5, l
Suppose -16*p + 11*p - 25 = 0. Sort -19, 5, p in increasing order.
-19, p, 5
Suppose 3*o - 11*o = 832. Let d be o/(-210) - 4/42. Let l = -0.5 - 3.5. Sort d, -3/4, l in ascending order.
l, -3/4, d
Suppose -x - y = 447 + 615, 4*y = -16. Sort -3, 2, x in increasing order.
x, -3, 2
Let z = -2 - -0.6. Let r = -12.6 + z. Let m = -14 - r. Sort 1/6, m, 1/3 in increasing order.
m, 1/6, 1/3
Let g = -0.4 - -0.4. Let h = 96.955 - 97. Let t = h - -0.545. Sort -0.9, g, t in ascending order.
-0.9, g, t
Let k = 236 - 237. Sort 1, 1/7, k, -0.6.
k, -0.6, 1/7, 1
Suppose 3*r = 20 + 1. Suppose 20 = r*x - 15. Sort 14, x, -5, 3 in increasing order.
-5, 3, x, 14
Let f be 50/(-4)*((-299)/(-65) - 5). Sort f, 0, 16 in increasing order.
0, f, 16
Let o = 0.37 + -0.07. Let m = -7.2 + 8. Let l = -1.1 + m. Sort o, 2/7, l in decreasing order.
o, 2/7, l
Let w = -3 - 1. Let k be (-30)/w*26/39. Sort 0, k, 1 in ascending order.
0, 1, k
Suppose 5*g - 2*m + 3 = -11, -g + 2 = 2*m. Let l be 9 + (-3)/12 + 3/12. Let b be (-7)/21*l*(0 + -1). Sort g, b, -5 in increasing order.
-5, g, b
Let o = -0.1132 + 5.1132. Sort o, -1, 0.09, -0.02 in ascending order.
-1, -0.