 2 = 2*c. Let k = f + -3. Let j be -1 - (-1 - -1)/3. Put k, j, 5 in ascending order.
k, j, 5
Let a = -18 + 13. Suppose -3*r - 2*r = -20. Put a, -2/5, r in decreasing order.
r, -2/5, a
Let l = -3 - 2. Suppose 2 = -2*m - 0*m. Let y = 2 + m. Sort l, y, 4 in ascending order.
l, y, 4
Let d(t) = -2*t**2 + 3*t + 4. Let z be d(3). Put 3, z, -12 in decreasing order.
3, z, -12
Let n be 4*9/(-48) + 9/(-4). Sort -5, n, 0.2, -1/6 in descending order.
0.2, -1/6, n, -5
Let g = -3.3 + -0.7. Let o = -4.7 - -1.7. Sort g, o, -5 in decreasing order.
o, g, -5
Let k be (-4)/4*(-3)/3. Let n(b) = -b - 1. Let h be n(-3). Suppose 1 = h*r - 7. Sort 2, r, k.
k, 2, r
Let c = 19 + -9. Suppose -h = 5*i - 8, 5*h = 4*i + c - 28. Sort i, 0, 1 in decreasing order.
i, 1, 0
Let t = -3 + 6. Let b = 10.5 + -10. Let m = -1.8 + 2. Sort t, b, m.
m, b, t
Suppose 0 = 4*i - 3*i - 2*v + 3, -5*i - 5*v = 15. Let p be (-2)/i*(12 - 3). Let w be (-33)/(-9) - p/9. Put 0.5, w, -1 in increasing order.
-1, 0.5, w
Let d be (8/(-10))/((-1)/5). Let y(g) = 4*g - 2. Let t be y(2). Let i = 9 - t. Sort 5, d, i in decreasing order.
5, d, i
Let q(l) = -l - 13. Let t be q(-12). Let v be 0/(-2) + (-1 - t). Sort v, -5, 3.
-5, v, 3
Let v(b) = -b + 13. Let h be v(9). Suppose 3*u - h = -10. Suppose -2*l = 4*y - 16, -5*y + 6 = -4. Sort l, 1, u in descending order.
l, 1, u
Let f be (-2)/7 - 9/(-7). Sort 0.1, 1/4, f in ascending order.
0.1, 1/4, f
Let u = 0.7 + -0.5. Sort 5, -0.4, u in descending order.
5, u, -0.4
Let z = -7800 - -163763/21. Let h = z + 10/7. Let g = 185.2 + -185. Sort g, h, 0.4 in ascending order.
h, g, 0.4
Let h = 3 + -3.1. Let j be 2 + ((-4)/18 - (-88)/(-90)). Sort j, -0.3, h in increasing order.
-0.3, h, j
Let l = 0.6 + -0.7. Let z = -0.1 - l. Put 1, 0.2, z in decreasing order.
1, 0.2, z
Suppose -3 = 4*t - 4*c + 5, -5*c + 15 = 0. Put 0.1, t, -4 in increasing order.
-4, 0.1, t
Let m(k) = -k - 1. Let o be m(-6). Suppose o = -t, -i + t + 17 = -2*t. Suppose 0 = -p - 1 + i. Sort 0.1, p, 0.3.
0.1, 0.3, p
Let r = -4 - -8. Let c be ((-7)/3)/((-1)/3). Suppose -3*q - 20 = -c*q. Put -5, q, r in descending order.
q, r, -5
Suppose 10 = -4*f - f. Let v(w) = w**3 + 5*w**2 - 6*w + 5. Let c be v(-6). Suppose c - 14 = 3*q. Put q, -4, f in decreasing order.
f, q, -4
Let l = 3 - 3. Suppose d - 4 = i, d = -4*d + 20. Let j be (4 + -7)*(i - -1). Sort l, j, 4 in decreasing order.
4, l, j
Suppose 5*h + 2*x - 9 + 30 = 0, 0 = -2*h + 2*x. Put 2, 0, h in increasing order.
h, 0, 2
Let p = 38 + -17. Let a be (-6)/(2 - p/6). Put 2, a, 1 in descending order.
a, 2, 1
Suppose 0 = 2*u - 16. Suppose u - 2 = 3*y. Suppose -s - y*s = 0. Sort -2, s, -3 in descending order.
s, -2, -3
Let x(i) = i**2 + i - 1. Let q be x(0). Let a be (4/6)/(q/(-2)). Let g = 1.984 + 0.016. Sort g, a, -1/5 in descending order.
g, a, -1/5
Let c = 150 + -455/3. Sort c, -1.7, -2 in decreasing order.
c, -1.7, -2
Let u be (0 + 6/(-15))/((-4)/(-14)). Sort -0.3, 0, u, 4 in decreasing order.
4, 0, -0.3, u
Let m = -10.8 + 11.8. Put -1, 2/5, 4, m in increasing order.
-1, 2/5, m, 4
Let x = -48 + 47. Put -2, x, -7 in descending order.
x, -2, -7
Let j = -43 - -31. Put j, 0, -4 in decreasing order.
0, -4, j
Let b be (80/(-24) + 3)/((-1)/(-15)). Suppose -3*f = -6*f + 15. Sort f, -1, b in descending order.
f, -1, b
Let y(i) = 3*i**3 - i + 1. Let l be y(1). Put 5, -4, l in decreasing order.
5, l, -4
Let w be (5 - (10 + -6)) + 3. Let t = -13 + 5. Sort 2, w, t in descending order.
w, 2, t
Let m(y) = 58*y**3 - y**2 - 2*y - 1. Let p be m(-1). Let k = 98 + p. Suppose -5*q - k = -4*b, -2*b = -0*q + q - 6. Sort 2, -2, q in decreasing order.
2, -2, q
Let r be (6 - 7) + 3*1. Suppose 0 = -4*c + 2*k + 6, 0*c + 4 = 4*c - 4*k. Suppose h = -c*u - u - 6, h = -u. Put h, r, -5 in ascending order.
-5, r, h
Let p = -5 - -10. Put -1, -1/4, p in ascending order.
-1, -1/4, p
Let a = 44 + -49. Sort 0.01, a, -4 in increasing order.
a, -4, 0.01
Let n = 4 + -3. Let v be (n/(-20))/(4/(-16)). Sort -13, -0.3, v in descending order.
v, -0.3, -13
Let i = -0.22 - -0.3. Let q = i - 0.18. Put 3/4, q, 2 in descending order.
2, 3/4, q
Let s be (-2)/(-1) + (-2 - -4). Let l be 1 + 0 + (-6)/(-6). Suppose -4*f + 14 = -l*b, 5*f = 3*b + 19 + 1. Sort 3, f, s in decreasing order.
s, 3, f
Suppose -4*v - 3 = x - 11, 0 = x + 3*v - 5. Let k be (6/(-190))/((-10)/(-75)). Let t = -139/266 - k. Put x, t, -1/2 in decreasing order.
t, -1/2, x
Let v = 83 + -164. Sort -0.1, v, -0.2 in decreasing order.
-0.1, -0.2, v
Let o be (-2)/(-2) + 690/(-696). Let l = o - -7/29. Let u = 2 - 2.5. Put 3/4, u, l in decreasing order.
3/4, l, u
Let b be 145/58*5/(25/(-6)). Let q(f) = 7*f**2 - 2*f - 1. Let o be q(-1). Let n = o - 5. Sort -2, n, b in decreasing order.
n, -2, b
Let n be (1 + 0)*-2 + -2. Sort 0, -2, n in ascending order.
n, -2, 0
Let v = 18 - 19. Put 17, v, -2 in increasing order.
-2, v, 17
Let s(w) = -w**3 - 6*w**2 + 8*w + 8. Let p be s(-7). Put -1, -5, p in increasing order.
-5, -1, p
Let i(r) = r**3 + r**2 + 1. Let u be i(-2). Sort 3, 0, u in increasing order.
u, 0, 3
Let y be 5/(-6)*(-3)/10. Let w = 5 - 3. Let f be (-26)/7 + w/(-7). Put 3/7, f, y in ascending order.
f, y, 3/7
Let q = -24/19 - -196/95. Let o = -1 + -1. Let x be 3*(-2 - (1 + o)). Sort q, 1/9, x.
x, 1/9, q
Let i be (-2)/7 + (-4)/(-14). Suppose 5*o = 2*b + 16, 3*b + 2*b - 10 = 0. Put 2, i, o in decreasing order.
o, 2, i
Suppose 2*v - 5*i = -25, 4*v + 4*i - 3*i = 5. Put 5, 4, v in ascending order.
v, 4, 5
Suppose 0 = -2*x + 4*x - 6. Put -4, 1, x in decreasing order.
x, 1, -4
Let h(s) = -s**3 - 7*s**2 + 15*s - 23. Let z be h(-9). Put z, 30, 0 in ascending order.
0, z, 30
Let m = -43.5 - -43. Put 1/3, -3, m in descending order.
1/3, m, -3
Suppose -5*p = -5*x - 3 - 2, 0 = 3*p - 2*x - 4. Sort -5, p, -3 in decreasing order.
p, -3, -5
Let d = 11 + -10.9. Sort 0.5, -5, 0, d.
-5, 0, d, 0.5
Suppose -5*f + 40 = 65. Sort 0, 9, f in decreasing order.
9, 0, f
Let d(j) = -7*j + 3 + j**2 - 3. Let m be d(7). Let u = 1 + -2. Sort m, u, -3 in decreasing order.
m, u, -3
Let u = 8 + -3. Let j be (-4)/(24/15)*2. Suppose 14 + 5 = -3*v + 5*x, 4*x = 3*v + 17. Put u, j, v in descending order.
u, v, j
Suppose 0 = y + 4*y + 4*n + 21, -2*n = 8. Let t be 24/(-45) + (-2)/(-6). Sort y, 4, t in decreasing order.
4, t, y
Let i(j) = -j**3 + j**2 + 2*j + 1. Let g be i(2). Let f(k) = k**3 - 16*k**2 + 4. Let y be f(16). Suppose 0 = -3*r - q + 1, y*r + 3*q = 2*q. Sort g, r, -2.
-2, r, g
Let v(k) = -k + 4. Let u be v(7). Put 6, u, 3 in ascending order.
u, 3, 6
Let r = 10 - 5. Put 0.4, -0.7, r in descending order.
r, 0.4, -0.7
Let r = -22377/170 - -851/34. Let p = r + 107. Put p, -0.2, -2 in ascending order.
-2, -0.2, p
Let f(p) = p**2 - 10*p - 25. Let x be f(12). Put x, -2, -4, 5 in decreasing order.
5, x, -2, -4
Suppose z = 5*z + 8. Let u be (-7)/(14/(-4)) + 3. Sort u, z, -4 in ascending order.
-4, z, u
Let s(p) = p + 21. Let r be s(-17). Let o be ((-2 + 0)/(-2))/(-1). Let k be o/(2*(-2)/r). Sort -5, 4/7, k in increasing order.
-5, 4/7, k
Let z = -2.9 - -3. Let b be -1 + 2 + (-49)/42. Sort 2/11, z, b in decreasing order.
2/11, z, b
Let y = -10 + 4. Let u = y - -11. Suppose -3*r = 4*q + 4, -2*q - 2 + 0 = r. Put u, 2, r in ascending order.
r, 2, u
Suppose -4*i - 20 = -6*i. Put 3, i, 5 in ascending order.
3, 5, i
Let i = -4.3 + 4.7. Suppose -6*d = -2*d - 272. Let c = d + -339/5. Sort c, i, -0.4 in descending order.
i, c, -0.4
Let l(f) = f**2 - 6*f + 1. Let p be l(6). Let j(v) = 2*v - 4. Let n be j(4). Suppose 0*t = -2*t - 6. Sort n, t, p in decreasing order.
n, p, t
Suppose -3*c - 3*s + 0*s + 12 = 0, -2*c - 3*s + 10 = 0. Suppose c*y - y = 2. Suppose -y*k + 3*v - 4*v - 1 = 0, -3*v = 4*k + 1. Sort k, -5, 4.
-5, k, 4
Suppose 20 = 4*u, 5*t + 44 = 5*u + 14. Put 2, 1, t in descending order.
2, 1, t
Let w be (4/(-2))/(1/(-2)). Put 5, w, -1, 2 in decreasing order.
5, w, 2, -1
Let b = 1 - 3. Let r be (0 - (-2 - 0))*1. Suppose -r*m = -m + 3, 5*w = 2*m - 9. Sort -5, b, w in ascending order.
-5, w, b
Suppose -4*w - 3 - 9 = 0. Sort 5, -1, w in descending order.
5, -1, w
Suppose -2*w = 4*k + 14, 3*w - 4*k = -w + 8. Sort -3, w, 3 in decreasing order.
3, w, -3
Let k = 23.18 - 23. Let l = -0.02 - k. Let i = 0.4 - -3.6. Put 2, i, l in descending order.
i, 2, l
Let k be -2 + 19/(-9) - -4. Sort -1/4, -1, k in ascending o