2, j, 4
Let z = -20 - 3. Let q = 28 + z. Sort -4, -2, q in decreasing order.
q, -2, -4
Suppose -2*s = 2*s + 52. Let b be ((-4)/(-5))/((-24)/20)*-24. Let w = b + s. Sort 4, 2, w.
2, w, 4
Let i be (279/(-18) + 7)/((-1)/(-2)). Sort 4, i, 3, 2 in descending order.
4, 3, 2, i
Let v(i) = -6*i**3 + i**2 - i + 1. Let q be v(1). Suppose 40*p = -21 + 101. Sort q, -4, 0, p.
q, -4, 0, p
Suppose y = -y - w - 11, 2*w + 10 = -y. Let n = 1385 - 1382. Sort 2, y, -20, n in descending order.
n, 2, y, -20
Let x be (-3)/((-14)/6 - -2). Let p be (x/15 + -1)*-5. Let n be (-26)/6 - 1/(-3). Sort n, p, -5 in increasing order.
-5, n, p
Let t = 0.07 - -4.93. Let l(p) = 6*p + 15. Let q(k) = -7*k - 16. Let c(v) = -6*l(v) - 5*q(v). Let i be c(-7). Sort i, -3/4, t.
i, -3/4, t
Let n = -9365 + 9370. Let z(d) = -d**2 - 4*d - 4. Let c be z(-4). Sort n, c, -8.
-8, c, n
Let s = -493/3 + 165. Sort 53, s, 0, 1 in ascending order.
0, s, 1, 53
Suppose 3*w - 146 + 140 = 0. Suppose 27 - 39 = -4*f. Sort -3, f, w, -2/5.
-3, -2/5, w, f
Let w be (2/(-2))/(2/(-4)). Suppose 120 = -h - 5*h. Let y be (6/(-4))/(25/h + 2). Sort -3, w, y.
-3, y, w
Suppose 4*n = 2*s + 16, 2*n + 3 - 7 = 3*s. Let d = -0.2 - -0.5. Sort 2/21, n, d.
2/21, d, n
Suppose -4*o = 5*a + 20 + 12, -5*a = 20. Let y(c) = -c**2 - 9*c - 7. Let j be y(-8). Sort o, j, -1 in descending order.
j, -1, o
Suppose -6*v + 15 = -v. Suppose 0 = 9*g - 11*g + 4*d - 40, -v*g - 4*d - 90 = 0. Sort -1, g, 0 in decreasing order.
0, -1, g
Let h = -821 + 821. Let a = 209 + -1883/9. Sort 2, a, h, 0.5 in descending order.
2, 0.5, h, a
Let k be (-4)/(-10) - 7/5. Suppose -48 = 11*b - 5*b. Sort b, k, 2.
b, k, 2
Let x be 0/((-30)/20*4/3). Suppose -l + 1 + 12 = x. Put -4, l, 0 in descending order.
l, 0, -4
Suppose -47 = 2*j - 49. Let d(q) = q + 3. Let p be d(j). Sort -2, 1, 11, p in descending order.
11, p, 1, -2
Let r = 34 - 49. Let s = r - -13. Let w(c) = c**2 + 3*c - 1. Let a be w(-3). Put a, 1, s in descending order.
1, a, s
Let a = 79 - 82. Let f(n) = -n**2 - 6*n + 7. Let y be f(-5). Put y, 2, a in descending order.
y, 2, a
Suppose -2*u + 4 = 3*z - 3, -4*z = -5*u + 6. Put -2, 0, z, -17 in increasing order.
-17, -2, 0, z
Let t(x) = -3*x**3 - x**2 - x + 1. Let z be t(-1). Sort -4, z, -27, 0 in increasing order.
-27, -4, 0, z
Suppose 2*o = -19 + 15. Sort o, 1, -1 in descending order.
1, -1, o
Let y = -151/55 - -50/11. Let t = -32/15 + y. Let v = 0.0566 - -0.3434. Sort v, -5, t in decreasing order.
v, t, -5
Let o = -333 - -330. Put 3, o, 6, -3/8 in descending order.
6, 3, -3/8, o
Let h be (-6)/(-24) - (1 + 5/4). Sort 3, 5, 25, h in descending order.
25, 5, 3, h
Let g = 802 - 877. Put 2/15, 2, -0.2, g in descending order.
2, 2/15, -0.2, g
Let n = 1 - 2. Let k = -49 - -49. Suppose k*w + 8 = -2*l - 2*w, 2*l - w = 4. Sort l, 1/8, n.
n, l, 1/8
Let p be 0*(3/(-9))/(12/(-18)). Sort 0.3, p, 37.
p, 0.3, 37
Suppose 4*y - 2*y - 16 = 3*f, 16 = 4*y - 2*f. Let a(n) = -4*n**2 + 4*n**2 - n - n**y - 5 + 0*n**2. Let p be a(0). Put 3, 4, p in increasing order.
p, 3, 4
Suppose -2*i = -3*o + 5 - 1, -2*o - 4 = 0. Suppose -2*a = 5*b + 16 + 13, -3*b = 15. Put -4, i, a in descending order.
a, -4, i
Let z = -0.093 - -40.093. Let w = -43 + z. Put w, -0.18, -0.1 in descending order.
-0.1, -0.18, w
Let c(d) = 2*d**2 + 11*d - 15. Let q be c(-7). Suppose 2*l + 2 = -2*b, -4*b - 4 - 5 = -l. Let j be ((0 - l) + 3)/(-2). Sort 2, j, q in decreasing order.
q, 2, j
Suppose -7*h = -2*h + 10. Let o be (h/1)/(4/(-6)). Let z(b) = -b**3 - 4*b**2 - 2*b. Let d be z(-2). Sort o, -2, d.
d, -2, o
Let k(n) = n**3 + 6*n**2 - 2*n - 9. Let l be k(-6). Suppose 281 = -299*z + 153 - 3759. Let m(f) = -f + 3. Let v be m(6). Sort l, z, v in decreasing order.
l, v, z
Let z = -0.1181 - 0.2819. Let c be 2/15*(-18)/(-3). Sort 2/3, c, z, 1.
z, 2/3, c, 1
Let m = 165 + -160. Put m, 4, -2, 3 in increasing order.
-2, 3, 4, m
Suppose 15 = 5*o - 4*d - 6, 3*d = -12. Sort o, 5, 0, -2 in descending order.
5, o, 0, -2
Suppose 26*b = -25 - 53. Sort -4, b, 9.
-4, b, 9
Let a be (63/(-35))/((-3)/2). Let i = a + -4/3. Put -2, i, 0.2 in descending order.
0.2, i, -2
Suppose 5*r - 8 = 2*b, -3*r - 5 = 2*b - 13. Suppose d - 14 = r*d + 4*t, 4*t + 2 = 5*d. Let l(a) = -a**3 + a**2 + a + 1. Let s be l(0). Sort 0, s, d.
d, 0, s
Let u = -43 + 17. Let n be (-333)/(-117) + (-4)/u. Suppose 5*k - 5 = -0, n*k - 13 = -2*s. Put -3, 0.4, s in ascending order.
-3, 0.4, s
Let k be 2 + 1/(-2)*332/(-6). Let a = k - 29. Let f = 3 + -2. Sort a, f, 0.03.
0.03, a, f
Suppose 5*b - 6 = 4. Suppose -3*q = -3*t - 13 + 19, -3*q - 18 = 3*t. Sort q, -5, b.
-5, q, b
Let q = 85 - 173. Let w = q + 88.59. Let n = w - 0.19. Put 1/3, 4, n in ascending order.
1/3, n, 4
Let y be 21/2 - (-3)/(-6). Suppose d = 3*d + 2*i - y, 5*d = -i + 5. Suppose d = -3*n - n - 4. Put -5, -7, n in decreasing order.
n, -5, -7
Let a = 535 - 538. Put 1, 5, 8, a in increasing order.
a, 1, 5, 8
Suppose 3*z - 17 - 49 = 3*g, 3*z = -2*g - 54. Put g, 3, 0 in ascending order.
g, 0, 3
Let y = 168.3 - 169. Sort y, -0.2, 5, 1/5 in increasing order.
y, -0.2, 1/5, 5
Let h(m) = 2*m**3 + 12*m**2 - 4*m - 14. Let r be h(-6). Sort -5, r, 3, 4 in decreasing order.
r, 4, 3, -5
Let q = 3.701 + -3.501. Let s = -464 - -12526/27. Sort 5, q, s in ascending order.
s, q, 5
Let k = 1187 + -1206. Sort 4, k, -0.03.
k, -0.03, 4
Let r be 3 + (20/(-5) - -6). Suppose 2*w = n + r*w - 4, -12 = -3*n - 3*w. Sort n, 2, -5 in increasing order.
-5, 2, n
Let v = -1.1 + -5.9. Let t = 12.8 + -1.8. Let n = t + v. Put 0.05, n, -0.1 in increasing order.
-0.1, 0.05, n
Let j = -181/30 + 31/5. Let r = 2753/17 + -162. Sort j, r, 2.
r, j, 2
Let q(d) = 2*d + 5. Suppose 4*i + 4 = 2*i. Let l be q(i). Sort -1, -5, l.
-5, -1, l
Let o = -0.04 - -0.08. Let w = 4.04 - o. Let m be 5/(-1)*(-9)/75. Put w, 2, m in descending order.
w, 2, m
Let b = 129 + -106. Sort b, 4, 5 in ascending order.
4, 5, b
Let c = -8 - -23. Suppose 6*x + c = 3*x. Suppose 13*b - 3*r + 3 = 16*b, -2*b + 2*r = -2. Sort 4, b, x.
x, b, 4
Let n(l) = l - 4. Let j be n(3). Suppose 3*w - 23 = 8*w + 2*m, 0 = -2*w + 2*m - 12. Sort 0, w, j.
w, j, 0
Let y = 2.1 - 4.1. Put -1/3, y, 44/9 in ascending order.
y, -1/3, 44/9
Suppose 88*z - 86*z - 4 = 0. Sort z, -6, 0 in decreasing order.
z, 0, -6
Let x be (-3)/(-6)*4 + -1. Suppose -x = 3*j + 5*o, -5*o + 5 = 5*j - 0. Suppose -2*n + 15 = n - j*k, -20 = 5*k. Sort 5, n, -1 in ascending order.
-1, n, 5
Let y = -2.11 + 7.11. Sort -0.1, -3, 9/5, y in descending order.
y, 9/5, -0.1, -3
Suppose 0 = 5*q - 4*v + 16, -2*q - 2*v = -12 + 4. Suppose q*x - 42 = -x. Let o be 54/7 - (-12)/x. Put -3, -5, o in ascending order.
-5, -3, o
Let n = -7.97 + 8. Let g be (2/2)/(4/(-20)). Let c be 5*2/10*g. Put n, 0.5, c in ascending order.
c, n, 0.5
Let f = -1736 - -1741. Sort -4, 6, f, 8 in increasing order.
-4, f, 6, 8
Let d be 2/4*-8*4/20. Sort 14/25, d, -1/2 in descending order.
14/25, -1/2, d
Let d be (1 + 2)*-1 + 15 + -12. Suppose -l + d*l = 4. Put -18, l, 5 in descending order.
5, l, -18
Let d = -70 - -96. Suppose -5*q + d - 3 = 2*g, 0 = 4*q - 2*g - 22. Let i = 0 - 1. Sort i, q, 2.
i, 2, q
Let h = 14 + -23. Let l(b) be the second derivative of -b**5/20 - 5*b**4/6 - 5*b**3/3 - b**2/2 + 2*b. Let m be l(h). Sort 0, -1, m in descending order.
m, 0, -1
Suppose h - 5*d = 2, -2*h - 3*h + 3*d + 32 = 0. Let g = -2/13 + -1/78. Sort g, h, 2 in decreasing order.
h, 2, g
Let w be (-390)/42 - -5 - 4/(-14). Let n = 2628/13 - 202. Let q be 10/7 + (-2 - -1). Sort w, q, n.
w, n, q
Suppose 2 + 18 = -4*p. Suppose i + y = -2*i - 11, 5*i - 2*y = -22. Suppose 53*c + 9 = 50*c. Sort i, c, p in descending order.
c, i, p
Suppose -3*h - 5 = 2*o, 4*h - 9 = 3*o + 9*h. Put o, -5, 85 in descending order.
85, o, -5
Let h = 17.1 + 1.9. Let v = 19.3 - h. Let f be 9/(-3) + 2 + -1. Put f, v, -0.1 in increasing order.
f, -0.1, v
Let h be ((-2)/(-36))/((-22)/(-1952)). Let k = 46/9 - h. Let r = -0.7 - -0.8. Sort k, 0, r in increasing order.
0, r, k
Let n = 2113 - 2125. Sort 5, n, 3.
n, 3, 5
Suppose v - 4 = -2*s, -s + 2*v - 2 = s. Suppose 27 = -25*j + 34*j. Put s, -1, j in increasing order.
-1, s, j
Let c = -176.28 + 175.88. Let i(h) = -h**3 + 5*h**2 - 4*h + 3. Let b be -2 - ((-2)/2 + -5). Let v be i(b). Sort -3, v, c.
-3, c, v
Suppose 4*f - 48 = -128. Let g be (f/(-180))/(-1*1/(-2)). Sort 5, 1, g, -3.
-3, 