y, 1
Let u = -50 + 51. Let b be -2 + -1*u/(6 + -5). Sort -1, b, -18, 0 in decreasing order.
0, -1, b, -18
Let j be (-4)/6*(68 - -10)/(-13). Put 3, -41, j, -5 in descending order.
j, 3, -5, -41
Let k be ((-30)/(-150))/(8/(-30)). Suppose 15*z - 8*z = 0. Put k, z, 3/2 in increasing order.
k, z, 3/2
Let p be (17 - 16)*((-2535)/6 + -2). Let q = p + 426. Sort q, 0.106, -3, 1/2 in decreasing order.
q, 1/2, 0.106, -3
Suppose -4*x + 3 = -3*p, 2*p + 4 - 2 = 5*x. Let z be (1 - 6)*(-4)/5. Suppose 5*l + z = 19, 3*l = -5*y + 24. Put y, 2, x, -3 in descending order.
y, 2, x, -3
Let b(g) = -7*g**2 - 4*g - 32. Let r be b(5). Let q = r + 224. Sort q, 5, 29.
q, 5, 29
Let b = -15415 + 15422. Put -0.3, -12, b, 1 in increasing order.
-12, -0.3, 1, b
Let p = -18/571 + -248349/1142. Let m = -218 - p. Put -4, m, -2, -0.4 in increasing order.
-4, -2, m, -0.4
Let p = -44 + 45.23. Let r = 89.55 + -89.05. Sort p, -0.2, r in decreasing order.
p, r, -0.2
Let v = -4072 - -44790/11. Sort v, -0.01, 1/3, 3 in decreasing order.
3, 1/3, -0.01, v
Let t = -6 - 0. Suppose -4*b - 3*d + 2*d + 49 = 0, 4 = -b + 3*d. Suppose -12*q - b - 1 = 0. Sort -3, q, t in ascending order.
t, -3, q
Let w(t) = -4*t + 73. Let g be w(16). Suppose 3*l + 2*z - g = 5*z, -3*l + z = -11. Sort l, 9, -1.
-1, l, 9
Let g = 2987.3 + -2987.3. Put -2/13, -0.4, 26, g in increasing order.
-0.4, -2/13, g, 26
Let u = -23 + 22.7. Let b = 334.5 + -333.7. Let p be (-12)/75*(-5)/(-6). Sort b, p, u.
u, p, b
Let s = 7590485/36 + -210814. Let z = -296/9 + s. Sort 4, z, -4/5.
-4/5, z, 4
Suppose -20*u - 534 = -434. Sort -1, -6, -4, u, 5.
-6, u, -4, -1, 5
Let g = -10 - -14. Suppose -4*a + 33 = 3*t + 4, t + 17 = g*a. Let i = a - 0. Put -3, i, 9 in descending order.
9, i, -3
Let m = 13158 + -13155. Sort 75, -9, m in decreasing order.
75, m, -9
Suppose -30*c = -22*c - 16. Suppose -3*t + 1 = -c*p, t - 5*t + 4 = 0. Sort 0.55, 3, p, 0.2 in ascending order.
0.2, 0.55, p, 3
Let g be (-6188)/78*36/(-7). Suppose 2*h - 403*i + g*i - 10 = 0, -4*h - 5*i = 0. Let a be -1 - (0 + 1 + -7). Sort a, 0.4, -0.03, h in descending order.
a, 0.4, -0.03, h
Suppose -5*b + 9 = -6*q, 2*q - 7*q - b = 23. Sort -2, q, -47, 3, -4/7 in ascending order.
-47, q, -2, -4/7, 3
Suppose -4*l = 30*t - 25*t - 106, -2*t + 3*l = -70. Put t, -2, 0 in ascending order.
-2, 0, t
Let v be 300/(-78) + 6/(-39). Let a(i) = -i - 4. Suppose r - 39 = -40. Let h be a(r). Put h, 4, v in decreasing order.
4, h, v
Let i = -0.0032 - 50.4968. Let w = i + 32.5. Sort -1, 0, w, -3 in increasing order.
w, -3, -1, 0
Let d be 2*(-4)/18 - 39/(-27). Let w be -2*(-6 - -4)*d. Sort -3/73, 3/8, w in increasing order.
-3/73, 3/8, w
Suppose 152 = -v + 12. Let x = v - -115. Let r = x - -29. Sort -7, r, -4.
-7, -4, r
Let s be (-4)/(-3)*(-3 - 0). Suppose 0 = 5745*n - 6175*n + 345 + 85. Put 10, n, 2, s in decreasing order.
10, 2, n, s
Let g be 161/(-322)*(-1 + 7). Sort g, -8, 1, 7 in decreasing order.
7, 1, g, -8
Let h(i) = 31*i + 122. Let b be h(-4). Suppose -y = 2*y - 54. Let a = y + -13. Sort b, 1, a, 0 in increasing order.
b, 0, 1, a
Suppose o + 11*t = 10*t + 7, 3*t - 11 = -2*o. Suppose -6*j = -4*j - 2. Let h = 280 + -283. Put o, h, j, 4 in ascending order.
h, j, 4, o
Let p be ((816/56)/(-17))/((-9)/42). Put p, 5, -673 in decreasing order.
5, p, -673
Let f = -1.9834 + 1.9334. Put -20, f, 4/3, 0 in ascending order.
-20, f, 0, 4/3
Let f(c) = -60*c + 360. Let s be f(6). Sort 88, s, -4 in decreasing order.
88, s, -4
Let f(b) = b. Let g be f(-1). Let y = -5989 - -5990. Sort y, g, 0.4, -0.01 in increasing order.
g, -0.01, 0.4, y
Let b be (0 - 2)*12*(-175)/(-840). Sort -20, b, -9 in ascending order.
-20, -9, b
Suppose 0 = 72*v + 14*v - 49 - 37. Put 0, v, -21 in increasing order.
-21, 0, v
Let p be (-14)/2 - 2068/(-1034). Let m = -13 + 26. Put p, 1, m, -1 in descending order.
m, 1, -1, p
Suppose 19*l = 25*l - 36. Suppose 0*y = -l*y + 30. Put 8, 1, y, -3 in descending order.
8, y, 1, -3
Let l = 6 + 374. Let z = 375 - l. Let r = -37.58 + -0.42. Sort r, z, -2 in descending order.
-2, z, r
Let i = 527 - 161. Let p = 368 - i. Sort -124, p, 1/3 in ascending order.
-124, 1/3, p
Let c(n) = 322*n - 967. Let d be c(3). Sort 936, 1, d in increasing order.
d, 1, 936
Let b(i) = -i**3 - 10*i**2 - 2*i - 14. Let r be b(-10). Suppose -2*d + 1 = 9. Let p be -2*(1 + r/d). Sort 4, p, -5, 3 in decreasing order.
4, 3, p, -5
Suppose -21*y + 72 = 8 - 20. Let d be (-4)/(-22) - 8/44. Sort y, 5, d in ascending order.
d, y, 5
Let q = 979.13 + -979. Put 2, 4, q, 2/17, -2/19 in descending order.
4, 2, q, 2/17, -2/19
Suppose 95*c = -95*c. Put 108, c, 6 in descending order.
108, 6, c
Let x(n) = -25*n**3 + n**2 - 2. Let o be x(2). Let k = o + 193. Sort k, -27, 1.
-27, k, 1
Let q = 11054 + -11049. Sort q, 10, 0, 2, -1.
-1, 0, 2, q, 10
Let c = 17/21 - 8/7. Sort -15.2, -0.3, c, -1, -1/5 in decreasing order.
-1/5, -0.3, c, -1, -15.2
Let g = 2.8 - 1. Let z = -1.8 + g. Let d be ((-104)/91)/(10/7). Sort -0.3, d, 3, z in descending order.
3, z, -0.3, d
Let i(y) = y**2 - y - 21. Suppose 3*u + 1 + 4 = 5*q, -4 = -2*u - 4*q. Let p be i(u). Let v = -17 - p. Sort v, 3, -4.
-4, 3, v
Let p be (1 + (-12)/20)*5/2. Let x be (0 - p)*(9 + -7). Let o be (-3 - -2)/(x/10). Sort 0, 6, o in increasing order.
0, o, 6
Let j be ((-1630)/652)/(2/((-8)/2)). Let c = -1/51 + 53/102. Sort c, j, -3 in decreasing order.
j, c, -3
Let i = 1958.2 - 1954.2. Sort i, -0.8, -1/5, -0.09.
-0.8, -1/5, -0.09, i
Let c(t) = -2*t**2 + 86*t + 90. Let d be c(44). Sort -4, 5, d, -5 in descending order.
5, d, -4, -5
Suppose -20*a + 2464 = 2*a. Let d be (3 + a/(-36))/((-8)/6). Let z be 3/(-6)*(-2)/5. Sort 3/4, z, d, 5 in ascending order.
d, z, 3/4, 5
Suppose -3*c - 19 = -x, -4*c + 191*x - 24 = 190*x. Let z(w) be the second derivative of -w**3/6 + w. Let a be z(4). Sort c, a, -10 in decreasing order.
a, c, -10
Let k(l) = -3*l + 16. Let o be k(4). Suppose o*z + 10 = -3*p, 0*p + 4*p = 4*z - 4. Put -5/7, 0, 0.2, z in increasing order.
z, -5/7, 0, 0.2
Suppose 2*b - 5*b = -2*d - 11, -3*b = 3*d + 9. Let p = -69.1075 - -0.0075. Let o = -68.6 - p. Sort 2, d, o in descending order.
2, o, d
Let a = 18.536 + -0.536. Put -5, a, 0.2, -1/2, -0.03 in ascending order.
-5, -1/2, -0.03, 0.2, a
Let m(z) = z**2 + 9*z + 21. Let g be m(-5). Let k = 1001 - 3005/3. Sort -26, g, 5, k in decreasing order.
5, g, k, -26
Let v(f) = f**3 - 8*f**2 + 10*f + 5. Let c be v(7). Let x be (c/65)/((-8)/(-10))*-2. Put x, -5, 1 in decreasing order.
1, x, -5
Let m(b) = b**3 - 6*b**2 + 11*b - 34. Let r be m(5). Sort -1, 3, 161, 2, r in increasing order.
r, -1, 2, 3, 161
Let a = 1570.5 - 1568.5. Put 0, a, 23/3, 4, 2/5 in decreasing order.
23/3, 4, a, 2/5, 0
Let c = -0.272 - 15.828. Let s = 16.5 + c. Sort s, -1, 1/23, 3 in increasing order.
-1, 1/23, s, 3
Let l be (-8)/(-6)*-3 + 4 - 0. Let c be -3 + 5 - (0 - -1). Let b be 3 + (1 - 0) + (c - l). Sort -4, b, -5 in decreasing order.
b, -4, -5
Suppose 0 = -24*l + 1413 + 363. Let g be (-8)/(-7)*(-259)/l. Sort g, -100, 0 in increasing order.
-100, g, 0
Let f be 24/14 + (10625/(-175) - -63). Let n = 2 + -4. Let d be n/((-2)/2)*-1. Put 1, f, d in descending order.
f, 1, d
Let k(h) = h**2 + 19*h - 92. Suppose -5*y - 5*i - 105 = 0, 4*y + 71 = 5*i - 31. Let x be k(y). Put -3, 38, x in descending order.
38, x, -3
Let w be (4/1)/(-1 + 0). Let x be -6 + 6/1 + 1. Let p be 318/53 + 0 + -17. Sort x, w, p.
p, w, x
Let y(k) = -2*k**2 - 63*k + 563. Let c be y(8). Put 4, 2, c in descending order.
4, 2, c
Let c be (3 + -1)/(166 - 169). Put 1, c, -26.9 in decreasing order.
1, c, -26.9
Suppose 20 = 12*d - 8*d. Suppose 0 = 800*w - 805*w + d. Sort 5, -1, w, 4 in decreasing order.
5, 4, w, -1
Suppose q - 5*d + 15 = 0, 2*d = 5*q + 1 + 5. Suppose 4*n - 6 - 16 = 3*t, -4*n + 14 = t. Sort 1, q, n, -5.
-5, q, 1, n
Let y = -3869.2 - -3869. Sort 13, 47, -5, 2, y in decreasing order.
47, 13, 2, y, -5
Let q = -12456 - -12458. Sort 27, q, -31, 4, -4 in descending order.
27, 4, q, -4, -31
Let x = -3825.837 - -3822. Let a = 0.163 - x. Sort a, 0.4, 0.5 in descending order.
a, 0.5, 0.4
Let g be -2*-2*1/(-38). Let m = -1.9518097 + -0.0481903. Sort -2/3, g, m, -5 in decreasing order.
g, -2/3, m, -5
Let h be 9/7 - (363/(-77) - -5). Suppose -n = -y - 1 - h, -5*y + 3*n = 0. Put -13, -4, 4, y in increasing order.
-13, -4, y, 4
Suppo