 0 = 4*c. Let v be (14 + f)*(3 + -2). Let p = 5 + -8. Sort p, v, -2 in decreasing order.
-2, p, v
Let o = -3502 + 3502.4. Put o, 3, -0.2, -3, -2 in ascending order.
-3, -2, -0.2, o, 3
Let b(a) = -650*a - 3251. Let y be b(-5). Sort 115, -4, y, -2 in increasing order.
-4, -2, y, 115
Suppose 2*u = -4*u - 24. Let w be (u/6)/1*3723/34. Let g = -363/5 - w. Put 0.2, g, 0.3 in descending order.
g, 0.3, 0.2
Let g = -1.657 - -1.74. Let a = -0.038 + g. Let h = a - 8.045. Sort -1, h, -2/5, -0.5 in descending order.
-2/5, -0.5, -1, h
Let c be ((33/98)/(-1))/((-156)/346). Let u = c + 2/637. Sort u, 1/3, 1/15 in increasing order.
1/15, 1/3, u
Let h(y) = -y**3 + 17*y**2 + 48*y - 189. Let j be h(19). Suppose -4 = 3*v - 4. Put j, -7, 3, v in descending order.
3, j, v, -7
Let z = 19.9 - -37.7. Let x = z - 56.6. Sort x, 1/15, -2, -1 in ascending order.
-2, -1, 1/15, x
Let u = 190 + -186. Sort -4, -0.159, u in decreasing order.
u, -0.159, -4
Suppose 0*i - 84 = -i. Suppose 60*s = 54*s + i. Sort 3, s, 4, 0 in descending order.
s, 4, 3, 0
Let y = 2.469 - 2.769. Put y, -11, -127 in increasing order.
-127, -11, y
Let i = 9530 - 9530. Put 2/11, -0.61, i, 5, 3 in ascending order.
-0.61, i, 2/11, 3, 5
Let a = -4 + 7. Suppose 3*f + 0 = -6. Let c = -16617 - -16614. Sort f, c, a.
c, f, a
Let l be 70/(-21)*(-12)/(-10). Let i = -11719 + 11716. Sort l, 300, i.
l, i, 300
Suppose 5796 = 7*q + 5831. Let j(k) = k - 24. Let x be j(12). Let y = 11 + x. Sort 4, -3, y, q.
q, -3, y, 4
Let u be 4/(-10) - 51/(-15). Suppose u*t + 3 = -9. Suppose -11 = 6*l + 25. Sort -3, t, l in increasing order.
l, t, -3
Suppose 4*n + 9*d - 4*d = -5, 0 = -3*n + 5*d - 30. Let r = -36966 - -36965. Let k(u) = -10*u + 11. Let f be k(-5). Sort n, f, r in descending order.
f, r, n
Let j be 2 + 0 - (-318)/(-129). Let k = 421/258 + j. Sort 2, k, -1/2, 1/4 in descending order.
2, k, 1/4, -1/2
Let j(r) = -19*r - 10. Let s be j(-6). Suppose 14*g + 314 - s = 0. Sort -5, 0.2, g, -1.
g, -5, -1, 0.2
Let v = 12 + -1. Let k = -15 + v. Suppose -18*o = -40*o + 22. Put 4, k, o, -2 in decreasing order.
4, o, -2, k
Let j be (-3460)/80 - 1/(-4). Let n = j + 45. Suppose 0 = -6*y + 3*y - 9, n*m + 3*y + 9 = 0. Sort m, -24, -2 in increasing order.
-24, -2, m
Let w be ((-1)/2)/((-10)/(-4)). Let n = -0.0881 - -0.0523. Let l = 0.0642 - n. Sort l, -3/5, -1, w.
-1, -3/5, w, l
Let w = -79 - -81. Suppose 15 = w*g - 7. Suppose 16*r + 5 = g*r. Put r, 4, -4, 11 in descending order.
11, 4, r, -4
Let n = -3874 - -3874. Sort -3/2, n, -2/7, -2/75 in decreasing order.
n, -2/75, -2/7, -3/2
Let p = -118/11 - -2330/209. Let r = 107/209 - p. Sort 1, 4, r in increasing order.
r, 1, 4
Let j = 27 - -215. Let z = -248 + j. Put z, -5, 0.02 in descending order.
0.02, -5, z
Suppose 190 = -2*u - r, -5*r + 3 + 7 = 0. Let n be 1 - 18/u*-4. Put n, 17, 0.1, 2/3 in decreasing order.
17, 2/3, n, 0.1
Let n = 142/3 - 48. Let z = -7 + 10. Let o = -9058 - -9060. Put z, o, n in ascending order.
n, o, z
Suppose 0 = f + f + n - 13, -5*f + 28 = n. Let m = 9031 - 9036. Sort m, f, -12, -2.
-12, m, -2, f
Suppose 7 = -2*b + 135. Suppose p = 4*q + 5, -201*p + 10 = 5*q - 199*p. Suppose 5*h - b + 54 = q. Sort -7, -2, h in increasing order.
-7, -2, h
Let z be 10/55 - 158/22. Let m be (178 + z + 15)/(6/(-4)). Let d = m + 122. Sort -4, d, 6, -3 in ascending order.
-4, -3, d, 6
Suppose 3*c - 314 + 327 = b, -3*c - 15 = 0. Sort 3, b, 43, 0.4, -0.1 in increasing order.
b, -0.1, 0.4, 3, 43
Let a = 160 + -149. Suppose q + a*b = 13*b + 12, 0 = -4*q - 5*b - 4. Put 6, -4, -3, q in decreasing order.
6, q, -3, -4
Let d(j) = 1663*j - 8. Let p be d(0). Let k = -11 + 8. Let m be k/5 + (-34)/10. Put m, -2, p, -5 in descending order.
-2, m, -5, p
Let n = 45.91 + -53.2. Let i = n - -7.12. Sort -0.1, 0.3, i in decreasing order.
0.3, -0.1, i
Let d = 3445 + -3450. Put -3/2, 795, d, -3 in increasing order.
d, -3, -3/2, 795
Let u = 2 + -1. Let r be 2 + 1/((-5)/10) + -2. Let v be (r/6)/1*-12. Put u, 2/9, v in decreasing order.
v, u, 2/9
Suppose 25*v + 19*v = 16*v. Put 2/3, v, 5, 3, 1/62 in increasing order.
v, 1/62, 2/3, 3, 5
Let z(w) be the first derivative of -7*w**2/2 + 135*w + 38. Let n be z(19). Sort -3, 9, 3, n in descending order.
9, 3, n, -3
Let a(c) = -6*c**3 - 82*c**2 - 51*c + 18. Let k be a(-13). Sort 0, 2, 1, 33, k in descending order.
33, k, 2, 1, 0
Let w be (1/3)/(55/1815). Put 0, -26, w in ascending order.
-26, 0, w
Suppose 5*f - 132 = -39*f. Sort -1, 8, 29, f.
-1, f, 8, 29
Suppose 433*k - 359*k = 0. Sort 3, -1, 20, k in decreasing order.
20, 3, k, -1
Let d = -2112 - -2108. Put -99, -0.2, -2, d in ascending order.
-99, d, -2, -0.2
Let s be 4 - 3 - 8*(-13)/26. Sort -1, -5, 2, s, -4 in descending order.
s, 2, -1, -4, -5
Let n be (-20)/((-20)/(-3)) - (1 - 0). Put 4, 1, n, -49 in ascending order.
-49, n, 1, 4
Let j = 10 - 6. Suppose 0 = 2*b - j*b. Let y be 20/2 + 952/(-102) + (-255)/153. Sort 3, b, y, 4 in descending order.
4, 3, b, y
Suppose 5*v - 38 = -4*l + 22, 68 = 4*l + 3*v. Suppose -39*r = -44*r + l. Put 1, -1, r, -6 in descending order.
r, 1, -1, -6
Suppose -3*j - 1 + 6 = 2*l, -17 = -3*j + 4*l. Sort j, 200, -5, 5 in decreasing order.
200, 5, j, -5
Let w(v) = -62*v**2 + 2109*v - 34. Let u be w(34). Let l be 19/(-6) - -1 - -2. Put 0.24, -2, u, l in decreasing order.
0.24, u, l, -2
Let f = 90 - 257. Let g = f - -166.8. Sort g, 7, -2, 6.
-2, g, 6, 7
Let b = -135768 - -135765. Let h(s) = -3*s - 1. Let f be h(-1). Put f, b, 0, 5 in descending order.
5, f, 0, b
Let v = -1.2892 - -0.0892. Sort v, -24, -5.
-24, -5, v
Let k = -372 - -386. Suppose 5*m + 9 = g, 5*m - 11*g + k*g = 7. Suppose 3*c - 3 + 0 = 0. Put 2, m, c, 3 in increasing order.
m, c, 2, 3
Let i(q) = -110*q + 1210. Let d be i(11). Sort 2/59, -2, 5, d in increasing order.
-2, d, 2/59, 5
Let f = -289 - -401. Let k = -114 + f. Sort 36, -4, k, -5 in descending order.
36, k, -4, -5
Let h = -0.0355 + -0.0645. Sort 3, 0.06, -0.5, h in ascending order.
-0.5, h, 0.06, 3
Let r(w) = -9*w + 76. Let b be r(9). Let k(x) = -x**3 - 4*x**2 + 5*x - 4. Let i be k(b). Let g = 38 + -30. Put g, i, -3, 4 in descending order.
g, 4, -3, i
Let v = 2422 - 2415. Put -26, 1, -4, v in descending order.
v, 1, -4, -26
Let s = 1625 - 1624. Let l be (37 - 1)/2 - (-6 - -4). Suppose 6 = -5*r + 1. Sort l, r, s in ascending order.
r, s, l
Let p = -31 + 35. Suppose n - 3 = -p. Let q be (-5)/n*(-3)/(-5). Put 0, q, -1 in ascending order.
-1, 0, q
Let z be (3/(-9)*-21)/7. Put -4, 4, z, -1679, -1 in increasing order.
-1679, -4, -1, z, 4
Let n(p) = -p**2 + p - 1. Let d(r) = -r**3 + 36*r**2 + 123. Let v(j) = d(j) - 4*n(j). Let c be v(40). Put -2, 1, c, 5 in decreasing order.
5, 1, -2, c
Let m(t) = 32*t**2 - 98*t + 9. Let a be m(3). Let i(f) = -2*f**3 + 2*f**2 + 2*f. Let z be i(2). Put 0, z, a, -1 in descending order.
a, 0, -1, z
Let z = -1559576/81 + 19254. Put -0.2, 3, -4, z, 0.2 in increasing order.
-4, -0.2, z, 0.2, 3
Suppose -20 = m - 5*m - 4*v, -4*v + 20 = 0. Let f(q) = 2*q + 58. Let x be f(-28). Let p be (-3 - -2 - 7)*(-11)/(-4). Sort x, p, m.
p, m, x
Let q = 2370 + -2368. Put q, -4, -12, 0 in decreasing order.
q, 0, -4, -12
Let q = -653 + 652. Let m = 43.01 - 43. Sort q, 5, -3/4, m in descending order.
5, m, -3/4, q
Let z = 13663 + -13666. Let q = -0.8 + -3.2. Sort -5, z, q.
-5, q, z
Suppose 22*u + 12*u = 11*u + 69. Let d be 44/3 + (-5)/(-15). Sort d, u, 4 in increasing order.
u, 4, d
Let f = 916.94 - 917. Sort f, -0.7, 5, -2, -0.3.
-2, -0.7, -0.3, f, 5
Let i(o) = 65*o - 823. Let r be i(13). Sort r, 0, -5, 4, 3 in decreasing order.
r, 4, 3, 0, -5
Suppose 29*c - 43*c + 0 + 0 = 0. Put -22, -5, -3, -20, c in decreasing order.
c, -3, -5, -20, -22
Let l be 12 - 4*(-564)/24. Sort 3, l, -0.3.
-0.3, 3, l
Let l = 26947 + -134731/5. Put 1/5, 658, l in ascending order.
1/5, l, 658
Let j be (-4)/((-3)/(-45)*-5). Suppose -3*l + x = -37, 3*x + 47 = 5*l - j. Sort l, 9, -4 in descending order.
l, 9, -4
Let w be (-7)/(8 + 115/(-10)). Let o be (-18)/(3*1/(-4)). Let g = o - 21. Sort w, g, -2.
-2, w, g
Let o = 0.734 - 0.034. Let d = 17092/7 - 2442. Put o, 0.5, -0.1, d in increasing order.
d, -0.1, 0.5, o
Let h = 68 + -70. Let m = 35 - 40. Sort 4, h, -3, m in ascending order.
m, -3, h, 4
Let x = 490801 - 490798. Let a = 2 - 1. Suppose 0 = -3*v + 6*v. Sort -32, x, a, v in ascending order.
