j = 6*c - 7. Let h be c/9 + (-58)/18. Sort t, 3, h in ascending order.
h, t, 3
Suppose m - 3*v + 14 = 0, 5*m + 5*v - 26 = 8*m. Put 2, 45, m in decreasing order.
45, 2, m
Suppose 14*o - 3*o - 385 = 0. Suppose 19*a - 12*a = o. Let q = 0.171 + 0.069. Sort a, 0.3, 0.1, q in decreasing order.
a, 0.3, q, 0.1
Let t = 182 + -181.69. Let j = 0.19 + t. Put 3/4, j, -0.13, -3 in decreasing order.
3/4, j, -0.13, -3
Let p = 8683.0513 + -8683. Put p, -1/10, 5 in descending order.
5, p, -1/10
Suppose v + 24 = 309*f - 304*f, 5*v + 16 = -f. Put -3, 6, -7, v, 0 in decreasing order.
6, 0, -3, v, -7
Let r = 20 + -13. Let f(v) = 2*v**3 + 10*v**2 + 2*v + 12. Let d be f(-5). Suppose -2*o - 10 = -6*o - 5*q, -2*o = q - d. Sort r, -3, o in descending order.
r, o, -3
Let v be (-5201)/(-11) - 72/(-396) - -1. Put 1, -0.4, v in increasing order.
-0.4, 1, v
Suppose -2*h - 2*t + 404 = 0, -5*h + 5*t = -68 - 992. Suppose 12*j = 11*j - 5*y - h, j - 4*y = -180. Sort 1, -0.1, 2/7, j in increasing order.
j, -0.1, 2/7, 1
Suppose 0*w = -2*w - 3*s - 14, 0 = -4*w - 5*s - 22. Sort 4, 1209, w in decreasing order.
1209, 4, w
Suppose -7*n + 3*n = 4*c - 8, n - 8 = -4*c. Suppose 0 = -c*t - 4 - 6. Let o be 2030/182 - 6 - 2/13. Sort o, 11, -2, t.
t, -2, o, 11
Let s = -442 - -337. Let k = 107 + s. Sort 139, 3, k.
k, 3, 139
Let p be (-8)/(-14)*(-6)/(-8). Let l = -10/8921 + -8891/26763. Sort p, l, 1/2, 2/3 in increasing order.
l, p, 1/2, 2/3
Suppose -4*h + 7*b - 5*b + 3058 = 0, 0 = 2*h - 2*b - 1530. Sort h, -2, -0.1 in decreasing order.
h, -0.1, -2
Suppose -7*r = -10*r + 18. Let j(d) be the first derivative of 5*d**3/3 - 10*d**2 - 10*d - 25. Let n be j(r). Sort n, -1, -2.
-2, -1, n
Suppose 513 - 485 = -14*l. Put 4, -353, -5, l in ascending order.
-353, -5, l, 4
Let r = -1.024 - 3.376. Put r, 3, -0.4, 1/8 in increasing order.
r, -0.4, 1/8, 3
Suppose 538*c = 539*c - 66. Suppose -35*p + 2*p = -c. Sort 33, 3, p.
p, 3, 33
Let j be 4*21*14/392. Sort 5, 782, j in descending order.
782, 5, j
Let w(y) = -y**2 + 2*y + 26. Let g be w(6). Let q be (-3 - -2)*-2*(3 - g). Sort q, -48, -1 in decreasing order.
q, -1, -48
Suppose -2*a = -s + 262, 67*a - 64*a = 5*s - 1289. Suppose -3 = c - 5. Sort s, -1, c.
-1, c, s
Let p be (36 - 39) + (2 - 3). Put -3, 135, p, 5 in descending order.
135, 5, -3, p
Let p be (-7 + 7)*18/72. Put -1, -316, -2, p, 1 in decreasing order.
1, p, -1, -2, -316
Let v = -3697 - -3696.6. Put -0.1, v, 3/11, -3/7 in decreasing order.
3/11, -0.1, v, -3/7
Let f be 12 + 3/((-3)/(-2)). Suppose -17 - 53 = f*g. Suppose -13 = -2*q + 3. Put q, 1, g in descending order.
q, 1, g
Let j = 0.1 - 0.1. Let v = -1329 + 1325. Sort v, j, 0.06, -1/4 in ascending order.
v, -1/4, j, 0.06
Let v(u) = 21 + 10*u - 14*u + 2 + 1. Let r be v(7). Let f(a) = a - 5. Let q be f(2). Sort 4, q, r in decreasing order.
4, q, r
Let m(b) = -144*b**2 - 1151*b + 4. Let x be m(-8). Put 0, 132, -5, x in descending order.
132, 0, x, -5
Let a be (-3674)/(-11058) + (-10)/30. Let f = -3680/5529 + a. Put 3, f, 0.5, 0.24 in decreasing order.
3, 0.5, 0.24, f
Suppose -4*m + 35*z - 14 = 36*z, -m - 7*z = -10. Suppose -7*s + 25 = -2*s. Sort 1, -1, s, m in descending order.
s, 1, -1, m
Let b = -0.2 + 0.7. Let u = 1258/69 - 8737/483. Sort -3, u, b in decreasing order.
b, u, -3
Suppose 33*w - 25*w = 216. Sort 5, 0, w in ascending order.
0, 5, w
Let k = 0.25151 - 0.05151. Sort -4, -1/7, -6/11, 3/89, k.
-4, -6/11, -1/7, 3/89, k
Suppose 28 = c - 0. Let d be c*1/(20/5). Let x = 0.196 - -0.004. Sort d, x, -4.
-4, x, d
Let l be -10*-2*(-1)/4. Let w be -4*(2 + 17/(-4)). Suppose w*j + 185 = 518. Put -3, 4, j, l in decreasing order.
j, 4, -3, l
Let c be 2/4*(-7 + 1). Suppose -4*t + 36 = -5*g, 1 = t - g - 7. Let q = 234 - 231. Sort c, t, q.
c, q, t
Let a(h) = -1 + 420*h - h**2 - 203*h - 212*h. Let s be a(2). Put 0.1, -1/12, -1/4, s in increasing order.
-1/4, -1/12, 0.1, s
Let d = 15/22 + 1187/66. Let x = d - 18. Let z = -3 + 2.5. Put z, 0.4, 2, x in ascending order.
z, 0.4, x, 2
Let w = 3827 + -3826.98. Sort 12, -0.03, w in descending order.
12, w, -0.03
Let i = 2103.3 - 2107. Sort i, 33, 0.2, 2/3, 0.5.
i, 0.2, 0.5, 2/3, 33
Let h(r) be the third derivative of r**5/60 - 5*r**4/24 - 181*r**3/6 - 6*r**2 + 4. Let j be h(-11). Sort -4, 9, j.
j, -4, 9
Let u = 193 + -98. Suppose 0*m - u = 5*m. Let w = -9368 + 9367. Put w, m, 4/9 in descending order.
4/9, w, m
Let h be (-40 - -35) + (-24)/(-3). Put h, 103, 2, 0 in decreasing order.
103, h, 2, 0
Suppose 12*z = 5*z - 14. Let m(l) = -2*l**2 - 48*l - 47. Let j = -28 - -5. Let w be m(j). Sort z, w, -4, 4 in decreasing order.
4, w, z, -4
Let n = -224 - -129. Let s = -146 - n. Let h = s - -48. Sort h, -2.7, -2/5.
h, -2.7, -2/5
Let y = 4589/35 - -18887/70. Let m = y + -401. Sort 4, m, -2, -0.4 in decreasing order.
4, m, -0.4, -2
Let r = 8 - 18. Let z be r + 664/72 + 4/(-18). Let x be (-2 + -4 + 1)*-1. Sort 3, z, 2, x in increasing order.
z, 2, 3, x
Suppose -q + 0 = -2. Let t(x) = 56*x**2 + 5*x - 5. Let r be t(2). Let h = r - 232. Put q, -5, h in decreasing order.
q, h, -5
Suppose 3*z - 4 = -28. Let q = z + 20. Suppose 0 = -3*y - 0*y - q. Put y, 1/4, -0.06 in increasing order.
y, -0.06, 1/4
Suppose -7*b = -3*b + 16. Let i(h) = 3*h**2 - 34*h + 12. Let s = -44 + 55. Let g be i(s). Sort b, -1, g in descending order.
g, -1, b
Let o = 24 + 41. Suppose 52*j - 56*j - 22 = 3*i, 0 = -j - 3*i - 28. Put o, 2/3, j in ascending order.
2/3, j, o
Let y = -498 + 498.351. Let l = y + -3.351. Sort l, 0.05, 0, 0.5 in increasing order.
l, 0, 0.05, 0.5
Let q = -618 + 344. Let d = -267 - q. Sort -0.22, d, 1/3 in increasing order.
-0.22, 1/3, d
Let a = 216 + -219. Let u be (5/a - -1)*(-79 - -88). Put u, 4, -13 in decreasing order.
4, u, -13
Suppose -21 = -3*x + 5*k - 15, -2*k + 6 = 3*x. Sort -81, 3, x in descending order.
3, x, -81
Let o = 2852.8 - 2853.3. Put 9/2, 0.1, -3, -22, o in descending order.
9/2, 0.1, o, -3, -22
Let f be 0/(-3) + (-13)/((-585)/(-10)). Let l = -12 - -13. Sort f, -1, -2/13, l in decreasing order.
l, -2/13, f, -1
Let b be (792/(-3))/(122/14 - 5). Let u = b + 71. Let c = 2/169 + -360/1859. Sort u, c, 0.3 in descending order.
0.3, u, c
Let d(c) = 7*c**3 + 48*c**2 - 7*c - 16. Let f be d(-7). Put 2, -5, 6, 3, f in ascending order.
f, -5, 2, 3, 6
Let l = 0.691 + -0.491. Sort l, 1, 5, -2/9, -3 in decreasing order.
5, 1, l, -2/9, -3
Suppose -2*g = -2*i - 68 + 54, 0 = i + 7. Let j = 3 - 2. Let x be (-3)/2*50/(-15). Put x, g, j, -2 in ascending order.
-2, g, j, x
Suppose j - 50 = -f, 3*f = -j - 3 + 47. Suppose -j + 11 = p. Let k = p - -47. Sort -3, k, 1 in decreasing order.
k, 1, -3
Let j be (-3 - 11/(-5)) + ((-7410)/(-75))/26. Sort -5, 2/3, 1317, j, 0.5.
-5, 0.5, 2/3, j, 1317
Let i = 5371/12 - 730/3. Let w = 205 - i. Put 0.9, w, -0.2 in decreasing order.
0.9, w, -0.2
Let h(r) = 34*r**2 + 201*r - 11. Let f be h(-6). Suppose 11*x + 16 = 7*x. Sort x, f, -6.
-6, x, f
Let s(l) = -3*l**2 + 66*l + 65. Let r be s(23). Suppose 2*c - 4*f = 6, 2*f - 6 = -2*c + 3*f. Suppose 6*j = c*j. Put r, j, 5 in decreasing order.
5, j, r
Let w(s) = s**2 + 54*s + 99. Let m be w(-2). Suppose 4*z - b - 20 = 0, -b = 3*z - 0*b - 8. Suppose 0 = 4*l + l - 5. Put -3, l, z, m in increasing order.
m, -3, l, z
Suppose 28 = p - 9*n - 0*n, 2*n = 5*p - 11. Put -2, -4, 24, -55, p in ascending order.
-55, -4, -2, p, 24
Let z = 0.011 - -421.989. Let q = z + -421. Sort -1, 0.1, 5, q in increasing order.
-1, 0.1, q, 5
Let a = 167 + -473. Let c = a - -306.1. Let u be (15/(-3))/(-2*2). Sort 0, u, c, 5 in decreasing order.
5, u, c, 0
Let k(r) = -r**3 + r**2 - 179*r + 1000. Let x be k(5). Suppose -2*a + 5*q = -3 + 15, 0 = 5*a - 5*q. Sort x, 7, 1, a.
1, a, x, 7
Suppose 3*h = -0*h - 4*o + 14, 4*h - 3*o - 2 = 0. Let x be ((-4)/40)/((-1)/h). Put 5, 0.4, x in decreasing order.
5, 0.4, x
Let w(j) = j**3 + 5*j**2 - 5*j + 11. Let n be w(-6). Let p be (-12)/2 - 117/(-21). Sort n, p, 0.4.
p, 0.4, n
Let p be (15 - -2)/(2/2). Suppose -3*r + 8*u = 9*u + p, 2*u = -3*r - 19. Put r, 5, 2, 0 in increasing order.
r, 0, 2, 5
Let a be 18/15*(-10)/42. Sort 4/7, -9, a, -66.
-66, -9, a, 4/7
Let c be 172/(-946) - ((-387)/11 - 0). Suppose -1652*y = -1645*y - c. Put y, -5, -4, 2 in decreasing order.
y, 2, -4, -5
Suppose 0 = -0*b - 4*b + 16. Let y = -239 - -248. Suppose 10*h = y*h. Sort b, h, -1 in decr