h + 31 = 4*h. Put 2, 3, c in increasing order.
c, 2, 3
Let v be 8 + -77 + (0 - -1)*-1. Let j = v + 74. Put j, 2, -3, 5 in descending order.
5, j, 2, -3
Let k = -13 + 18. Suppose 0*b = 5*b + 4*f - 16, 0 = -4*b - f + 4. Sort k, 2, b in descending order.
k, 2, b
Let o = -186 + 181. Put o, 47, 4, 3 in increasing order.
o, 3, 4, 47
Suppose 4*a = 3*s + 17, 10*a - 6*a + 5*s - 25 = 0. Sort a, 10, -2.
-2, a, 10
Let m(g) = -g**3 + 26*g**2 + g - 26. Let v(c) = 4*c - 10. Let u be v(9). Let i be m(u). Sort -5, i, -1, 1 in increasing order.
-5, -1, i, 1
Suppose -2*d - 5*z = -1, -3*d - 5*z = -2*d + 2. Let n = d - 3. Suppose -5*m + 6*m = -4. Put 1, n, m in ascending order.
m, n, 1
Let u = 31 - 23. Suppose -5*d - u*d + 65 = 0. Put 4, -2, d in ascending order.
-2, 4, d
Let r be (-2)/18*(-6)/4. Let p = -25.9 - -25.5. Put p, r, 0.06, 3 in increasing order.
p, 0.06, r, 3
Suppose 0 = -41*j - 5*j - 184. Sort -27, j, 5.
-27, j, 5
Let o(d) = d**2 - 4*d - 6. Let y be o(4). Let r = y + 5. Sort 8, -2, r.
-2, r, 8
Let k(b) = -b**3 - 5*b**2 - b + 3. Let x be k(-5). Let m be (-3)/1 + 1*x. Suppose m - 14 = -j. Sort -4, j, -2.
-4, -2, j
Let m = -65.91 - -65.8. Let t = 6 + 1. Let x be 2/t + (-190)/175. Sort -2, m, x in decreasing order.
m, x, -2
Suppose -3*m - 36 = -3*n, -3*m = -9 + 3. Put 5, n, 1 in decreasing order.
n, 5, 1
Let y = -8 + 12. Put -2, y, 110 in ascending order.
-2, y, 110
Suppose -10*b = -6*b - 44. Suppose b = -6*m - 19. Let t be 0/(-1*(-2)/2). Sort -1, t, m in increasing order.
m, -1, t
Let y = -20 - -14. Let q be (8/y)/(84/(-14)). Let r be 1 - 2/(4/(-1)). Sort r, q, 3 in decreasing order.
3, r, q
Let a be 3/(-12) + (-33)/(-4). Suppose 4*g - h = 3*h + a, 5*g + h = -20. Let d be (15 + 0 - 8) + -7. Sort g, d, -2.
g, -2, d
Suppose 59 - 206 = 21*x. Put x, 1, 5 in ascending order.
x, 1, 5
Let s = 9 - 14. Let l(i) = 39*i + 620. Let o be l(-16). Sort s, 3, o, 0 in decreasing order.
3, 0, o, s
Let b = -56 + 56.02. Let d = 238.98 - 236. Let q = b + d. Sort 5, 1, q in increasing order.
1, q, 5
Let c = 1.815 + -1.76. Let i = c - 0.255. Let h be 9/(-4) - (-1)/4. Sort i, h, 1/5.
h, i, 1/5
Suppose -l - q = -6*q - 10, 3*q + 8 = l. Sort -1, 4, 1, l in descending order.
l, 4, 1, -1
Let k be -2 + -3 - (-1 + -2)*2. Sort -3, 7, -1, k.
-3, -1, k, 7
Let m = -624 + 628. Let r = 11 + -6. Suppose z = r*z + 16. Sort z, 0, m in ascending order.
z, 0, m
Let v = -6525.2 - -6525. Let g = 3 + -4. Sort g, -4, -3, v in ascending order.
-4, -3, g, v
Suppose 5*b + 5*l - 15 = 0, -234*l + 233*l = 3*b - 1. Sort 3, -3, -34, b.
-34, -3, b, 3
Let x be -1*(2 - 1)*-31. Suppose 0 = x*q - 35*q - 4. Sort 5, q, -4 in descending order.
5, q, -4
Suppose 5*a - 5*i + 22 = 87, 2*a - 6 = -2*i. Let s be 2/4 + a/(-20). Let g = -46 - -48. Put 0.2, g, s in descending order.
g, 0.2, s
Let c(s) = -13*s + 172. Let l be c(10). Put -1, l, 1 in increasing order.
-1, 1, l
Suppose 0 = -4*v - 8 + 20. Let k be (-162)/14 + 1 + -23 + (-2310)/(-98). Sort k, 5, 4, v in descending order.
5, 4, v, k
Suppose 7 = -x + 2*h + h, 5*h - 11 = 2*x. Suppose x*b + 3*z = -2*b + 12, b = -3*z + 3. Let o be 1/(((-4)/(-6))/(-2)). Put b, o, 5 in descending order.
5, b, o
Let o = 12 + -17. Suppose -8 = -11*s + 3. Put -2, s, o, 2 in increasing order.
o, -2, s, 2
Let k = 24 - 49/2. Let b = 81.9 + -82. Let j = 0.2 + -0.4. Sort j, k, b in descending order.
b, j, k
Suppose -8*y = 6 + 18. Let o(l) = l**3 + 4*l**2 + l - 3. Let q be o(y). Put -4, q, -3 in descending order.
q, -3, -4
Let y be 33/(-5) + 5 - -2. Let v = 1.4 + 10.6. Let a = v + -12.3. Put 5, y, a in descending order.
5, y, a
Let o(h) = -h**3 + 4*h**2 - 4*h - 5. Let i be o(2). Put -1, -4, 0, i in increasing order.
i, -4, -1, 0
Suppose 0*h + 2*h - 4*y = 50, -85 = -5*h + 2*y. Suppose 0 = -0*r - 3*r + h. Put -5, 0, -0.2, r in increasing order.
-5, -0.2, 0, r
Let b = -4.07 - 1.23. Let t = 69 - 74. Let i = t - b. Put 1, i, -1 in ascending order.
-1, i, 1
Let g be 260/(-30) - 2*2/(-6). Let v(l) = -l**3 - 7*l**2 + 9*l + 11. Let o be v(-8). Suppose -17 = -5*u + o. Sort u, g, -4.
g, -4, u
Let s(c) = c**3 - 7*c**2 + c - 2. Let r be s(7). Put 1.1, r, 4, -0.5 in ascending order.
-0.5, 1.1, 4, r
Let l(d) = d + 4. Let x be l(-8). Let w be (x - 0)/(3 - 1). Suppose -30 = -2*j + 5*i, -j + 4*j - 7 = -2*i. Sort j, w, -5 in increasing order.
-5, w, j
Suppose 16 = s + 4*k, 138*s - 136*s + 3*k - 12 = 0. Put 37, s, 4 in descending order.
37, 4, s
Suppose -4 = -4*k, 4*r + 0*k + 5*k = 25. Suppose -5 = -0*m + r*m. Put m, 7, 4 in ascending order.
m, 4, 7
Let r = 33 - 25. Let f be 36/432 - (-2)/r. Put 4, -3, f, 1/7 in increasing order.
-3, 1/7, f, 4
Let z be (-4 - -11) + -9 + (-2 - -4). Suppose -5*f + 3*s = -10*f - 44, -2*f - s = 18. Sort -4, z, 1, f.
f, -4, z, 1
Let g = 0.892 - 0.792. Sort 4/3, -0.1, g, 9.
-0.1, g, 4/3, 9
Suppose -4*b - 4 = 10*n - 5*n, -4*n - b = 1. Put n, 1, -7 in increasing order.
-7, n, 1
Let l = 3/100 - -19/200. Let h = 1.92 - -11.08. Let o = 3322/5789 + -2/827. Sort l, o, h in ascending order.
l, o, h
Suppose 5*w - 23 + 43 = 0. Sort w, 3, -18.
-18, w, 3
Let h(t) = 9*t - 2*t**2 + 3*t**2 + 0*t**2 + 8. Let b = 63 - 71. Let j be h(b). Sort j, -0.03, -4 in decreasing order.
j, -0.03, -4
Let r = 1 + 0. Let j be 2/5 - 2492/(-60)*3. Let g = 127 - j. Put r, -1, g in descending order.
g, r, -1
Suppose -71*t - 241 = -28. Put t, -5, 7 in decreasing order.
7, t, -5
Let d be 296/32*(-37)/(-602). Let y = -1/344 - d. Put y, -2, 0.3 in ascending order.
-2, y, 0.3
Let w = 236/63 - 35/9. Sort 0.1, w, -4/5, -9/17.
-4/5, -9/17, w, 0.1
Let f(h) = -h**3 - h**2 + h. Let w be f(-1). Suppose n = 2*n. Let v = -175 - -176. Sort v, n, w in descending order.
v, n, w
Let d = 0.4 - 0.36. Let h = 0.26 + d. Let z = -0.027 + 2.027. Sort -2, z, h in ascending order.
-2, h, z
Let b = -3 + -1. Suppose 3*l + 10*l = 117. Suppose -6 = 4*t - 6*t, t - 13 = -2*z. Sort b, l, z.
b, z, l
Let p be (-14)/(-35) + (-16)/(-10). Suppose 0 = -a - p*a + 45. Suppose -3*f = a - 9. Put -5, 12, f in descending order.
12, f, -5
Suppose o - 8 = m - 10, -3*m + 12 = -5*o. Put -4/7, m, 2, 0 in ascending order.
m, -4/7, 0, 2
Let f(h) = -13*h - 243. Let n be f(-19). Put -5, -1, n in ascending order.
-5, -1, n
Suppose 5*u = 2 + 8. Suppose o - 6 - 4 = 0. Suppose -r = -11*r + o. Put u, r, 4 in decreasing order.
4, u, r
Let j = 9023 - 9028. Let c be (-1)/(-8)*-2*-2. Put 0, -4, j, c in descending order.
c, 0, -4, j
Let d = -6 + 1. Let n = 0.024 + 4.976. Sort -2, d, n in ascending order.
d, -2, n
Let c = 2/219 - 229/1095. Let u be 0 + -1*(-4)/18. Sort c, u, -3.
-3, c, u
Let i be 1/(6/46) - (-40)/(-60). Put i, 4, -1/3, 3 in descending order.
i, 4, 3, -1/3
Suppose 945*m + 6 = 939*m. Sort 6, -3, m, -7 in increasing order.
-7, -3, m, 6
Let f be (54/147)/3*(14 - 7). Put -5, f, -2 in descending order.
f, -2, -5
Let z(o) = 23*o + 119. Let r be z(-5). Sort 3, r, -1, -3 in decreasing order.
r, 3, -1, -3
Let q = -25.75 - -38.48. Let f = -0.27 - q. Put f, 3/2, 4 in descending order.
4, 3/2, f
Suppose 4*j + r + 15 = 4*r, -4*j + 4*r = 20. Let h be (44/(-77))/((-1)/7). Suppose 2*g + h*g - 42 = 0. Sort g, -1, j in ascending order.
-1, j, g
Suppose 2*t = -2*g - 2, 2*t - 2 + 4 = -5*g. Sort -3, g, -117.
-117, -3, g
Suppose -4*r = -7 + 15. Sort -81, 1, r.
-81, r, 1
Let s = 0.2 + 0.3. Let o = 3 + 8. Suppose 4*w - 7 = -o. Sort s, w, 0.4 in descending order.
s, 0.4, w
Let w be 91/14*(18 - -2). Let s(z) = z + 130 - w. Let f be s(4). Sort -7, f, -5 in increasing order.
-7, -5, f
Let s = 0 - 3. Let v(q) = q**3 + 11*q**2 - 11*q + 11. Let m be v(-12). Let k be (3/(-8))/(1*3). Sort s, k, m.
s, m, k
Let s = 14 - 18. Let i be s/2*(-4)/8. Let p(j) = j + 2. Let l be p(-6). Sort 0, i, l.
l, 0, i
Suppose r + 8 = 5*w, -12*w + 10 = 2*r - 9*w. Let o be -1 + 2 - (-2 - -3). Suppose -3*i - 21 = -6, o = -3*l - i + 7. Put l, r, -4 in descending order.
l, r, -4
Let r(n) = -n**2 - 20*n - 40. Let w be r(-17). Suppose 4*s + 23 = 5*c - 12, -w = s - 2*c. Let z = 258/5 - 52. Sort s, z, 2.
s, z, 2
Suppose 2*l + 7 = -b, -5*b + 6*l = 2*l + 63. Let f be b/33 - 22/6. Suppose 0 = -s - 5*a - 5, -3*s + s + 5*a = -20. Put f, -1, s in ascending order.
f, -1, s
Let m = 0 - -0.5. Let n be (48 - 2/2)/(-3). Let f = n - -326/21. Sort f, m, 0 in decreasing order.
m, 0, f
Let f(z) = -18*z - 19. Let o be f(-1). Put 0.4, 0.3, o, 22