 -2*u + 4*p - 6. Sort h, 1, u in decreasing order.
h, 1, u
Suppose -2*h + 7 = -3. Suppose -6*q + 55 = -q. Suppose 5 + q = -4*z. Put h, -2, z in decreasing order.
h, -2, z
Let l = 0.196 + 0.804. Sort -0.3, 0.2, -1, l in increasing order.
-1, -0.3, 0.2, l
Let t(p) = -p**3 - 49*p**2 + 391*p - 21. Let h be t(-56). Let o = 7 + -2. Sort o, -1, h in descending order.
h, o, -1
Let s be ((-2)/8)/(7/56). Let j(x) = -x**2 - 7*x - 5. Let t be j(-5). Sort s, t, -5, 2 in descending order.
t, 2, s, -5
Suppose 0 = 2*u - 3*l + 8, 53*u = 51*u - 3*l - 8. Let n(a) = -a**3 + 3*a**2 + a. Let g be n(3). Suppose p = g*p + 10. Put p, u, 1 in decreasing order.
1, u, p
Let i = 6.309 + -2.271. Let c = i - 0.038. Put c, -0.3, 6 in ascending order.
-0.3, c, 6
Let b(v) = 13 - 9*v + 2*v**2 - 15 - 3*v. Let n be b(6). Sort 3, n, -5, 2 in decreasing order.
3, 2, n, -5
Let u = 695 - 553. Sort u, -4, -2, -1 in ascending order.
-4, -2, -1, u
Let s(v) = -v**2 + 24*v - 107. Let q be s(6). Sort 0.08, -17, q in descending order.
q, 0.08, -17
Let u = 0 - -4. Let i = -33 - -35. Let a be i/17 + (-198)/816. Put a, u, -3 in decreasing order.
u, a, -3
Suppose 0 = -5*u + 3*u + 8. Let l = 3 - 1. Suppose -a + 2 + 22 = 5*t, -5*a = -l*t + 15. Sort u, a, -5 in decreasing order.
u, a, -5
Let a = -90 - -6. Let v be (-8)/70 + 24/a. Let c = 26 - 26. Sort c, v, 3/2 in descending order.
3/2, c, v
Let z(y) = y**2 + 5*y + 9. Let d be z(-4). Suppose -23 - 2 = d*x. Suppose -l = l + 4. Sort -4, l, x.
x, -4, l
Let c(p) = p**3 - 8*p**2 + 2. Let v be c(8). Suppose 0 = -v*f - 0*j + j + 30, 5*f = 3*j + 74. Let g = f - 110/7. Sort -1/3, -2, g in decreasing order.
g, -1/3, -2
Let u be -1 + 1 + 2 + (-1 - -157). Let d = u + -160. Sort d, -4, 13, 0 in ascending order.
-4, d, 0, 13
Let k = 2.2 - 3.5. Let v = -0.2 + k. Let r = v - -2. Sort r, 1, -0.1 in decreasing order.
1, r, -0.1
Let j = -68 - -65. Put 14, -2, j in increasing order.
j, -2, 14
Let y = -2.7 - 2.6. Let j = -12.3 - y. Put -4, j, 0, 0.3 in descending order.
0.3, 0, -4, j
Let h(w) = w**2 + 15*w + 24. Let o be h(-13). Let t be o - ((-77)/6)/7. Sort t, -2, -0.3, -0.4.
-2, -0.4, -0.3, t
Suppose -r + 18 = 5*q, -r = 3*q - 28 + 16. Suppose -3 = -3*j - 0*j. Suppose 2*w + 2*k = 10, -5*k = 2*w - 9 - j. Put q, -1/5, w in ascending order.
-1/5, q, w
Let a(r) = r - 1. Let y be a(7). Let g(b) = 2*b - 8. Let w be g(y). Let c be 2*-2*w/120. Sort -4/3, c, 0.3 in descending order.
0.3, c, -4/3
Suppose 25 = 5*y, -u + 3*y = 2*y - 23. Let l = -28 + u. Suppose l*i - 9 = -3*i. Put 2, -4, i in descending order.
i, 2, -4
Let i = -10.17 - -10.17. Put -3/7, 113, i, 4 in increasing order.
-3/7, i, 4, 113
Let k(c) = -18*c - 19. Let v be k(-4). Let n = v - 582/11. Sort n, -4, 5 in decreasing order.
5, n, -4
Suppose 123 = -5*h + 23. Let t = -11 - h. Let j be (-6)/t - 4/(-6). Put 5, j, -5 in ascending order.
-5, j, 5
Let g = -46.9 - -47. Sort -72, g, 2 in decreasing order.
2, g, -72
Let j be 11 + 0 + 42/7. Put j, 2, 4 in decreasing order.
j, 4, 2
Let d = -61 - -63. Let l be (-1)/(((-8)/(-10))/(-4)). Suppose -5*u = o + l, -u - 3*o - o = 20. Put -4, d, u in decreasing order.
d, u, -4
Let c = -659 + 664. Suppose -5*g = -2 - 3. Put c, g, 2 in ascending order.
g, 2, c
Let f = -0.208 + -2.792. Sort f, 0.3, 13, -2/3.
f, -2/3, 0.3, 13
Let x = -2493 + 2492.98. Put -2, -2/9, x, 11 in decreasing order.
11, x, -2/9, -2
Let o = -10.1978 - -0.1878. Let x = 0.01 + o. Let n = -13 - x. Sort 0, -0.5, n in decreasing order.
0, -0.5, n
Let w(t) = 4*t**2 + 2*t + 1. Suppose -n + 2*h = -h + 13, -n = -2*h + 9. Let s be w(n). Suppose 4 = y + s*y. Sort -1, y, 5 in increasing order.
-1, y, 5
Suppose -3*c - 48 + 36 = 0. Let o = -32 - -31. Put c, 2/9, o in ascending order.
c, o, 2/9
Let u(y) = 6*y**2 + y - 2. Let k be u(1). Put k, -4, -5 in decreasing order.
k, -4, -5
Let f = -2462/15 - -164. Sort -0.3, 1, f in ascending order.
-0.3, f, 1
Let y be 7/(28/8) - (0 - -4). Let b(h) = -h**2 - 7*h + 8. Let m be b(-7). Let s = 11 - m. Sort 12, s, y.
y, s, 12
Suppose 11*r - 7*r = 32. Suppose -r + 53 = -9*i. Sort 3, 4, i in increasing order.
i, 3, 4
Let m be 2/(-30)*(9 - 6)*0. Sort m, 1, 981.
m, 1, 981
Let g = 1468 - 1473. Suppose 0*c = 3*c. Sort g, c, 1.
g, c, 1
Let s = -8.9 - 1.1. Let d = 12703 + -12703.2. Sort s, 0.2, d in increasing order.
s, d, 0.2
Suppose 4 = -4*u, 5*j + 5*u = 9*j - 17. Suppose -3*p - 5 = -j*t - 5*p, 5*p - 9 = -4*t. Put t, -5, -1 in descending order.
t, -1, -5
Suppose -o - 1 = -2*o + 2*s, 5*o = 5*s. Let f be (3/2)/((-2)/16). Let p = 12 + f. Put p, o, -0.02 in decreasing order.
p, -0.02, o
Let g = 1345/2 + -672. Sort 0.4, -148, g in decreasing order.
g, 0.4, -148
Let n = 703.2 + -703. Suppose -2*m - 10 = 5*l + 10, 2*l + m + 9 = 0. Sort n, 5, l in descending order.
5, n, l
Let s = 919 + -914. Put -2, s, 9/4, 1 in decreasing order.
s, 9/4, 1, -2
Let n = 917 + -1024. Put -1, n, -5 in decreasing order.
-1, -5, n
Let y = -403 + 379. Let v be (-10)/((-120)/18)*2/3. Put 2, y, v in decreasing order.
2, v, y
Suppose 2*o + 0*o = 0. Suppose -55 = -3*k + 5. Let v = k - 21. Sort -5, v, o in descending order.
o, v, -5
Suppose -4*w + 4 = -2*a, -a - 4*w + 11 = -5. Let p be ((-41)/(-123))/((-1)/33) + 7. Put -1, a, p in decreasing order.
a, -1, p
Suppose -c + 2*c = -7. Let w = c + 13. Let r be (3/5)/((12/15)/4). Put 0, w, r in ascending order.
0, r, w
Suppose -4*f = -3*n - 3 - 18, 4*n = -2*f + 16. Sort f, -2, 22.
-2, f, 22
Suppose -14*q + 89 - 5 = 0. Suppose 0 = q*f - 0*f + 24. Put -12, f, 1 in decreasing order.
1, f, -12
Suppose 3*l + j = 106, 88 = 2*l - 3*j + 8*j. Suppose -l*z + 31*z = -15. Suppose -4*i = -4*d + 2*d - 26, 4*d + 36 = 4*i. Sort d, z, -4 in decreasing order.
z, -4, d
Let d = 0 - -1. Let w be -2 - (8*-36)/(-4). Let n = -69 - w. Sort -1, d, n in descending order.
n, d, -1
Let s = 0.387 - 0.787. Let h = -16 + 20. Sort s, -1, 1, h in ascending order.
-1, s, 1, h
Suppose 6 = -6*u + 4*u. Let h be 3*((-4)/3)/1. Let n be 4/((-16)/(-36)) - -7. Put h, u, n in decreasing order.
n, u, h
Let o = -118.11 + -2.89. Let a = o - -121.14. Sort a, -1/8, 6/5 in decreasing order.
6/5, a, -1/8
Let b = 0.0431 - -28.9569. Sort 7, b, 0.5.
0.5, 7, b
Suppose -v + 4 = 1. Suppose 0*c + 2*c = -5*k - 11, -c - 7 = 4*k. Sort -22, c, v in decreasing order.
v, c, -22
Let a = -42 + -16. Let x = 59 + a. Put x, 0, 4, -3 in increasing order.
-3, 0, x, 4
Let s = -114 - -114.3. Let w = 28 - 30. Sort w, s, 6/5 in decreasing order.
6/5, s, w
Let n(k) = -6*k + 39. Let w be n(7). Sort 0, w, 14 in ascending order.
w, 0, 14
Suppose 3*z = 5*f - 14, 2*z = 3*z - 2. Let p(m) = m**2 + 2*m - 1. Let o be p(4). Suppose u - 5 = f*g - o, 0 = -4*u + 3*g - 7. Put u, 3, 5 in increasing order.
u, 3, 5
Suppose -4*c = -3*a - 3, -6*c - a = -c + 1. Let z = -447/1105 + 1/221. Let m = 2/53 - 61/212. Put c, z, m in descending order.
c, m, z
Let c = 1412 + -1410. Put c, -14, -5 in increasing order.
-14, -5, c
Suppose -52 = -6*w + 20. Let r be w*(4 - 39/9). Suppose 2*t + 15 = -t. Put t, -3, r in decreasing order.
-3, r, t
Suppose 8 = -2*u - 0*u. Let f(v) = v**2 + 3*v - 2. Let h be f(u). Let i = 90 + -91. Put i, h, 1 in increasing order.
i, 1, h
Let j(b) = b**2 + 55*b - 3. Let a be j(-34). Put 5, a, -5 in increasing order.
a, -5, 5
Suppose 2*b - 20 = 2*l + 2*l, 0 = -5*l - 15. Let z = 120 + -134. Put z, -1, b in decreasing order.
b, -1, z
Suppose 10*l - 2 = 11*l + 3*g, -l + 3*g + 4 = 0. Sort -3, l, -5, 2/25 in descending order.
l, 2/25, -3, -5
Suppose -23 = -5*o + 2*x, -2*o - 5*x = 2*o - 25. Suppose -3*j - 6 = v, 3 - 4 = -o*j + 2*v. Put -3, -5, j, 4 in decreasing order.
4, j, -3, -5
Let i = 50.21 + -50. Let b = -0.4 + i. Let v = -1.19 - b. Put v, -2/15, -0.4 in decreasing order.
-2/15, -0.4, v
Let h(i) = i + 8. Let w be h(-7). Let o be 5*(0/(-2) - w). Let x be ((-140)/15)/7*-3. Sort x, o, 0 in decreasing order.
x, 0, o
Let w = 39.959 + -39.8. Let z = w + -1.159. Sort -18, -5, z in descending order.
z, -5, -18
Let d be 3/(-12) + (3 - 9/4). Put d, 2, -3, 1 in ascending order.
-3, d, 1, 2
Let b be 16*3*4/24. Suppose -3*m + b = -m. Let c be (-3)/(3/m) - -1. Sort -4, c, -2 in ascending order.
-4, c, -2
Let y be ((-3)/(-2))/(-2 - (-44)/16). Suppose -t - y*g + 0*g = -1, -3*t = 5*g - 4. Let q = -0.1 + 0.1. Sort t, q, 4 in ascending order.
q, t, 4
Let a be (55/45)/1 - 1. Let w = -