 + 12 = h, 0 = -z*b + 4*h + 17. Sort 2, b, -13, 1 in ascending order.
-13, 1, 2, b
Suppose 50*p = 440 + 852 + 108. Sort p, -12, -5 in decreasing order.
p, -5, -12
Suppose 245*i + 1054 = -1141 + 235. Put -7, i, -1 in increasing order.
i, -7, -1
Let p be 4/20 + (-144)/(-80). Suppose 0 = -2*n - z + 4*z - 4, 4*z = 4*n + 8. Put n, 0, p in descending order.
p, 0, n
Suppose 4 = -0*m + 2*m. Suppose -m = -4*d + 10. Sort -11, d, 5, -3 in decreasing order.
5, d, -3, -11
Let o = -127133/83265 - -103/1586. Let v = -22/35 - o. Sort -0.5, v, 0, 1/4.
-0.5, 0, 1/4, v
Let f(p) = -26*p - 309. Let h be f(-12). Sort h, 2, 85.
2, h, 85
Let r be (-1 + 2 + 63)/((-41)/492). Put -3, 3, r in descending order.
3, -3, r
Let h = -22.9 + 532.9. Let x = 507.952 - h. Let a = -0.048 - x. Sort a, -1, -12 in ascending order.
-12, -1, a
Let w = 9951.1 + -9951. Sort 12, -0.5, 0.7, w in ascending order.
-0.5, w, 0.7, 12
Let c(t) = -3*t**3 - 15*t**2 + 12*t + 62. Let o be c(-5). Put o, -451, 10 in descending order.
10, o, -451
Let d = 73.93 + -73.99. Sort -0.1, d, 1/2, 7 in decreasing order.
7, 1/2, d, -0.1
Let q(t) = t**2 + 3*t + 7. Let d be q(-2). Let l be ((-16)/20)/(-3 - (-13)/d). Put l, -4, -29 in descending order.
l, -4, -29
Let n = 3.12 - -0.165. Let p = n + -0.285. Put 4, p, -0.88 in decreasing order.
4, p, -0.88
Let c = -24286.6 - -24287. Put 176, c, -1/3, 4 in descending order.
176, 4, c, -1/3
Let t be 13/((-364)/8) - 149/(-7). Let w(o) = -o + 18. Let k be w(t). Sort 1, k, -4, 3 in increasing order.
-4, k, 1, 3
Let b(l) = -273 + 273 + 0*l - l. Let f be b(-4). Suppose -11 = -5*v - f*y, -2*y - 2 = -5*v - 15. Put -16, 0, v in descending order.
0, v, -16
Let p be 9 - ((-34983)/182)/(-23). Sort -3, -5, p, 0 in decreasing order.
p, 0, -3, -5
Let s be (-12)/22 + (-954)/(-2970)*10. Put 5, -2, s in ascending order.
-2, s, 5
Let z = -53 + 107. Let w = -53 + z. Let y = 4.045 - 0.045. Sort y, -2, w in decreasing order.
y, w, -2
Let q(b) = b**2 - 9*b + 16. Suppose -13*r + 4*t = -8*r - 7, -2*r + t + 4 = 0. Let d be q(r). Let z = -6 - -14. Put d, z, -5 in ascending order.
-5, d, z
Let p = -638 + 640. Let u be 0 + (p - 8) + 6. Suppose 5*q + 29 = n, q + 19 = -2*q - n. Sort -0.5, q, u in descending order.
u, -0.5, q
Suppose 14*b - 13*b = 4. Suppose -4*k - 23 = -5*p, 3*p - b*k = 1 + 16. Suppose 0 = 3*q + f, 0 = -4*f + f. Put -4, p, q in descending order.
p, q, -4
Let k = -0.3 - -0.8. Let a be (-1344)/1617 - (-12)/22. Let w be (-2)/6*(-9)/(-6). Put w, a, k, 14 in ascending order.
w, a, k, 14
Let q = -62 + 36. Sort q, 1, -1, 2 in decreasing order.
2, 1, -1, q
Let d = -2657 + 2563. Sort 36, -1, d in descending order.
36, -1, d
Let r = 497 - 497. Suppose r = -212*k + 214*k + 20. Sort -1, 2, k in decreasing order.
2, -1, k
Let x = 717 - 722. Let p(b) = b**3 + 6*b**2 + 7*b + 13. Let u be p(x). Suppose 5 = 5*f - 5. Put -1, -4, u, f in descending order.
u, f, -1, -4
Let c = -39 + 43. Suppose 3*m + v + 16 = 7*m, -m - c*v = -4. Let t be m - (15/5 + 4*-1). Sort t, 3, -1.
-1, 3, t
Let k = 2768/3213 + -2/459. Sort -13, 1/13, k, -1/2, -1.
-13, -1, -1/2, 1/13, k
Let r(n) = 5*n**2 + 7*n - 9. Let q(z) = -z**2 + z + 1. Let u(b) = -4*q(b) - r(b). Let v be u(-12). Suppose 54 - 30 = 8*t. Sort 2, v, t, -4 in ascending order.
v, -4, 2, t
Let j = -208 + 156. Let d = j - -52. Sort 0.4, 0.2, d, -5 in decreasing order.
0.4, 0.2, d, -5
Let s = -6396.3 - -6396. Sort 0.2, 4.1, s, -27 in increasing order.
-27, s, 0.2, 4.1
Let p = -10629 + 10634. Sort -51, -10, 0, p in descending order.
p, 0, -10, -51
Suppose 0 = -2*o + 4*y + 12, 363*o - 365*o = 5*y + 33. Sort 0.5, 24.5, o in decreasing order.
24.5, 0.5, o
Suppose -2*f + 14 = 0, -10831 + 2874 = -3*z - 4*f. Sort -3, z, 4 in ascending order.
-3, 4, z
Let q = 10 - -46. Let k be (4/14)/(8/q). Suppose -k - 2 = -4*r. Sort 3, 0, -3, r in decreasing order.
3, r, 0, -3
Let g = 10524 - 10524.1. Put 4, 7, -53, -3, g in descending order.
7, 4, g, -3, -53
Let c be (-1752)/38 - 6/(-57). Let o = c + 42. Put 4, o, -3 in descending order.
4, -3, o
Let m = 5440 - 5435. Sort 26, -3, m, 3.
-3, 3, m, 26
Let i = 429 + -429. Let y(s) = 2*s**2 + 3*s - 4. Let f be y(5). Suppose -4*c + f - 57 = i. Sort c, 2, -2 in descending order.
2, c, -2
Suppose -7*p - 328 = -9*p. Suppose -p = -12*z + 88. Suppose -3*x - z - 11 = i, -x = -3*i + 14. Sort 2, x, 0, -5 in descending order.
2, 0, -5, x
Let r be 2/11*(-1012)/(-368). Put 44, -1/6, r in descending order.
44, r, -1/6
Let n(t) = -42*t**2 - 841*t - 21. Let j be n(-20). Put -5, -197, j, 2 in decreasing order.
2, j, -5, -197
Let z be (-6 + 7)*(-1)/(3/(-129)). Suppose 31 - z = 3*d. Let o be ((-6)/10)/(3/15). Sort d, -1, o in descending order.
-1, o, d
Let i = 984 + -550. Let h = i + -434. Let r = 5 - 2. Sort 0.5, h, -3, r in increasing order.
-3, h, 0.5, r
Let j = 88/45 - 14/9. Let u = 13/45 - j. Let l = 0.001 + -0.101. Put 0, 1, u, l in decreasing order.
1, 0, l, u
Let d = -300.71 - -0.71. Let j = d + 305. Put 7, -0.2, 1, j in descending order.
7, j, 1, -0.2
Let l = -5.48 - 215.52. Let y = -216 - l. Let t = 4 - 4. Sort y, -5, t in descending order.
y, t, -5
Let y = 301.1 - -10.9. Let b = y - 309. Sort -2/15, 5, b in descending order.
5, b, -2/15
Suppose 0*d - 2*d = 5*q + 152, -2*d = -4*q - 136. Suppose -5*c = u - 19, -2*u - 251 = 2*c - 257. Sort q, c, -5 in descending order.
c, -5, q
Let l = -253 + 255. Suppose 2*f = -2*g - l*g + 88, 0 = -2*g - 3*f + 36. Sort -3, g, -5.
-5, -3, g
Suppose -2*m - 6 = -2*z, -4*z = -3*z - 4*m. Suppose s = -5*o - 2, -z = 3*s - 3*o + 2. Let r = 2/77 - 24/77. Put r, s, 8 in increasing order.
s, r, 8
Let s = 0 - 1. Let f be (45/18*1 + -5)/(1/(-2)). Sort -5/4, s, -0.1, f in decreasing order.
f, -0.1, s, -5/4
Let i(d) = 5*d**2 - 39*d - 22. Let v be i(13). Let p = -316 + v. Put 72, p, -3 in decreasing order.
72, p, -3
Suppose -5143*p = -5167*p + 24. Sort -3, p, -5, 424 in ascending order.
-5, -3, p, 424
Let z = -22 - -2. Let v = -38 - z. Let b = 3/41812 + 41797/209060. Put b, 4/3, v in descending order.
4/3, b, v
Suppose 0 = j - 2*g, 2*j - 41*g = -38*g + 2. Sort -60, 22, j in increasing order.
-60, j, 22
Let p be ((-2)/(-9) - 168/432)*2. Let y = -4 - -3.82. Sort y, p, -0.2 in descending order.
y, -0.2, p
Let g be 20/30 + (-4)/6. Suppose 4*v = -g*v. Suppose -1 = 4*k - 4*n + 3*n, -k + 5*n - 24 = v. Put -1, k, 3 in increasing order.
-1, k, 3
Let p(j) = -j**3 + 11*j**2 + 21*j + 73. Let t be p(13). Let l(g) = -g**3 + 8*g**2 - 10*g + 52. Let q be l(t). Sort q, -5, 2, 4.
q, -5, 2, 4
Suppose 4*q + 15 - 23 = 0. Suppose 12 = 4*g + q*g. Let a(k) = k**3 + 7*k**2 + 13*k + 7. Let i be a(-5). Put g, -2, i in ascending order.
i, -2, g
Let r = -1/39 + -5/39. Let t = -9.555 - -0.355. Let l = -13.2 - t. Put -1/3, -0.5, r, l in increasing order.
l, -0.5, -1/3, r
Suppose -65*d - 50*d + 376 = 261*d. Let j be -1 + 3 - (-6)/(-2). Put 14, -4, d, j in descending order.
14, d, j, -4
Let r be (-8)/((-4 - 35/(-10))*4). Suppose 0 = -17*w + 18*w + r. Sort -0.4, 0, w, 5 in decreasing order.
5, 0, -0.4, w
Let b = 2743 - 2743. Sort -10, 4, 0.2, b, -0.3 in descending order.
4, 0.2, b, -0.3, -10
Let y = 8 - 4. Suppose 4*n - 2*n = -y. Suppose 3*g + h - 1 + 2 = 0, 4*h = 3*g - 4. Put 5, n, g in descending order.
5, g, n
Let v = 321/104 + -51/26. Let x = 1/24 + v. Let j be (-21)/(-9) - (-1)/(-1). Sort j, x, 0.3, -0.4 in descending order.
j, x, 0.3, -0.4
Let y = 151.78 + -148. Let z = y - 4.78. Sort z, -4, 37 in ascending order.
-4, z, 37
Let f = 55.037338 - 0.037338. Let h be 4/(-10) - (-24)/10. Put 1/2, h, f in increasing order.
1/2, h, f
Let s be 13*(-1314)/(-1404) - (-5)/6. Put -5, s, 242, 0 in decreasing order.
242, s, 0, -5
Suppose -5*g - 2*z + 18 = 0, -3*g + 3*z - 2*z + 13 = 0. Suppose 6*h - 130 + 274 = 0. Let r be 2*h/(-64)*-12. Sort r, 5, 0, g in descending order.
5, g, 0, r
Let u be (150/(-12))/5*2. Put u, 1, -168 in increasing order.
-168, u, 1
Let j(f) = -30*f + 2427. Let w be j(81). Put w, 48, 4, -2 in increasing order.
w, -2, 4, 48
Suppose 2*x + 45 = -3*x. Let p = 69287 - 69291. Put p, 13, x in ascending order.
x, p, 13
Let t = -193 + 193. Let j = -0.0186 - 4.9814. Sort -198, j, t.
-198, j, t
Suppose -120 = 5*w + 3*w. Let a be (-1 - w)/2 + -4. Let h = -1023/7 + 146. Sort 1, a, h in decreasing order.
a, 1, h
Let g(m) = 1200*m - 5. Let d be g(1). Let c = d - 16