Put -4, 10, u in increasing order.
-4, u, 10
Let n = -6 - 3. Let r = n + 9. Sort -0.5, r, -5.
-5, -0.5, r
Let q = -0.015 - -5.915. Let o = -6 + q. Let s be 22/(-10) - 2*-1. Put s, 0, o in increasing order.
s, o, 0
Let n = 0.2 - 0.1. Let y = 4353/10 + -871/2. Sort n, 5, y.
y, n, 5
Suppose -44 = 4*j - 4*a, 0*j + 34 = -2*j - a. Sort -2, 5, j in descending order.
5, -2, j
Suppose h + 1 = 2*q + 4, -7 = -h - 2*q. Let f = -10 - -10. Put -2, h, f in descending order.
h, f, -2
Let m = -17 + 16.8. Put 0.2, m, 1/3 in decreasing order.
1/3, 0.2, m
Let s = 12 + -4. Let h(j) = j - 3. Let u be h(s). Suppose 0 = -2*z + u + 5. Put -2, -1, z in increasing order.
-2, -1, z
Suppose 4 = x + 1. Let g(n) = n + 3. Let t be g(-4). Sort x, 8, t in ascending order.
t, x, 8
Let t be -2 + (-2 - (-1 + 1)). Let n(d) = 3*d + 5. Let p be n(-2). Sort p, t, 4 in decreasing order.
4, p, t
Let p = -257 - -2059/8. Sort 3, -3, p, 1 in decreasing order.
3, 1, p, -3
Suppose 4*r - 3 = -3*x + 4, -5*r - 2*x + 14 = 0. Sort -3, -2, r in decreasing order.
r, -2, -3
Let s(u) = 10*u. Let k be s(-1). Let m = k - -9. Sort 3, m, 5 in ascending order.
m, 3, 5
Let w = 4 - 2. Let r be (-2)/3 + 11/12. Let x = -45 - -228/5. Put x, r, w in increasing order.
r, x, w
Suppose 2 = 4*y - 3*u, 0*u = 3*u + 6. Suppose 4*o = n + 36, -n + 38 = 5*o - 4*n. Let f = o - 14. Sort y, f, 2 in increasing order.
f, y, 2
Let p = 43 - 47. Let a = 3 - 0. Sort a, p, -2 in descending order.
a, -2, p
Let o = 2/1367 + 94313/6835. Let l = o - 14. Sort 5, l, 1/5 in descending order.
5, 1/5, l
Let v(d) = -d**2 - 2*d + 4. Let k be v(-4). Let b be -3 + (7 - 4) + 1 + -6. Suppose 3*f = 5*f + 4. Sort k, b, f in decreasing order.
f, k, b
Let t = 14 - 7. Suppose 0 = 4*b - 4, b - 23 = -4*r - 2. Suppose r*a = -3*w + 6*a, 5*w = a. Put t, -3, w in increasing order.
-3, w, t
Let y be (-2)/10 + 18/15. Sort -4, y, -7 in increasing order.
-7, -4, y
Suppose -11 = -5*m - 16. Put 3, 0, m, -5 in increasing order.
-5, m, 0, 3
Let t be (5 + 1 - 4)/2. Put -1, t, 5 in ascending order.
-1, t, 5
Let p = -2/3 - -7/6. Sort 0.1, p, 2/15 in ascending order.
0.1, 2/15, p
Suppose -8 = -4*c + 8. Suppose 4*i + 5*x = 3*x + 8, 3*x - 3 = -3*i. Suppose 7*u - 3*g + i = 2*u, 4*g = 4*u + c. Put u, 1, 2 in decreasing order.
2, 1, u
Suppose 8 - 17 = 4*u - 3*i, -2 = 2*u - 4*i. Sort 4, u, 10.
u, 4, 10
Let d be (-1)/((-3)/(-6)) - 2/(-1). Sort d, 1/3, -2/11, -4 in increasing order.
-4, -2/11, d, 1/3
Let b = 30 - 32. Sort 8, b, 3 in ascending order.
b, 3, 8
Suppose -1 = -m + 2. Sort -5, m, -1.
-5, -1, m
Suppose -70 = -5*x - 3*b, -7*x + 70 = -2*x - 2*b. Suppose 3*q = 4*y + 2 + 17, 2*q = 4*y + x. Put q, -2, -3 in ascending order.
-3, -2, q
Let w(i) = -i**2 + 9*i + 17. Let b be w(11). Sort 2, 3, 5, b in descending order.
5, 3, 2, b
Let l = 236903/1824 - 29/608. Let j = -129 + l. Sort 0.3, j, 0 in descending order.
j, 0.3, 0
Suppose 4*u + 7*t = 3*t, 4 = -u + 3*t. Let l be u - -3 - 4/4. Put -1, -5, l in ascending order.
-5, -1, l
Suppose -y - s - 4 = 0, -4 = 3*y - 5*y + 2*s. Suppose -5*u + 7 = -4*z + 40, -4*u = 3*z + 14. Let r be (-2)/7*z/(-4). Sort y, r, -2/13 in decreasing order.
r, -2/13, y
Let f be (-24)/96 + 1/2. Sort 1/24, -2, f in increasing order.
-2, 1/24, f
Let l be (6/9)/((-1)/(-6)). Put 11, l, -4 in descending order.
11, l, -4
Let p = -232/7 - -33. Let x(c) = 2*c**3 - 13*c**2 - 8*c + 6. Let i be x(7). Sort p, i, -0.4 in decreasing order.
p, -0.4, i
Let w = -113.9 - -114. Let a = -2.98 - 0.02. Sort a, w, -4 in descending order.
w, a, -4
Suppose -3*w = -6*w + 63. Let l = w + -13. Suppose -l = -4*z + 8. Sort 0, z, -5 in decreasing order.
z, 0, -5
Let m = 8 + -4. Let s be (6/(-8) + 0)/(-3). Put m, s, 1/9 in decreasing order.
m, s, 1/9
Let n(p) be the second derivative of p**3/6 - 8*p**2 + 5*p. Let z be n(13). Put 5, z, 4 in ascending order.
z, 4, 5
Let x = 0 + 0.5. Let h = -0.3 + x. Let u = h + -2.2. Put u, -1, -5 in ascending order.
-5, u, -1
Let f = 0 + -0.5. Let i = 2.4 - -0.6. Let s = i + -3.2. Sort f, s, -4.
-4, f, s
Suppose f - b = -3*f + 12, -2*f + 4*b - 8 = 0. Suppose l + f*l + 70 = 0. Let t = 9 + l. Sort -4, t, 3 in increasing order.
t, -4, 3
Let f = 80 + -77. Sort -5, -2, 0, f in ascending order.
-5, -2, 0, f
Let g = -0.02 - -2.02. Let x = -0.29 - 0.01. Sort x, -0.07, g in increasing order.
x, -0.07, g
Let u = 1.9 - 4.9. Put 0.1, u, -2/3 in increasing order.
u, -2/3, 0.1
Let u(t) = 5*t**2 + 3*t + 1. Let p be u(-2). Suppose 8*v - 3*v = -p. Let s be (-3 - -2) + 1 + v. Sort 4, s, 3 in descending order.
4, 3, s
Let v = -1.3 - 1.7. Sort -3/2, 3, v in ascending order.
v, -3/2, 3
Let f be (3/(-6))/(0 + -2). Sort f, 1/2, -2 in decreasing order.
1/2, f, -2
Let y be -3*1 + (13 - 11). Sort -5, -3, y, 0 in decreasing order.
0, y, -3, -5
Let d be (-5)/(180/(-28)) - (0 - -1). Put d, 0.3, -2/3, -0.4 in ascending order.
-2/3, -0.4, d, 0.3
Let q = 1.03 + -0.53. Put -5, q, 3, 0.1 in ascending order.
-5, 0.1, q, 3
Let q be 0*(7/(-2) - -3). Suppose 4*j + 4*p - 5*p - 11 = 0, q = 2*j - 5*p + 17. Sort -4, 0, j in decreasing order.
j, 0, -4
Let g = 640/7 - 91. Sort -5, g, -1/4 in descending order.
g, -1/4, -5
Suppose -5*i = 4*t + 11 - 1, i + 4*t = -2. Let a be 2*i/(-6)*3. Sort -2, a, 3 in decreasing order.
3, a, -2
Let n = -20 + 16. Sort n, 4, 0, 3.
n, 0, 3, 4
Suppose -i = -t + 1, -5 + 14 = -3*i + t. Sort i, 3/16, -1.
i, -1, 3/16
Let q = 0.83 + -34.83. Sort 0.2, 1, q in ascending order.
q, 0.2, 1
Let q = -29/2 + 57/4. Sort 5, -0.1, q.
q, -0.1, 5
Let i = -32 - -31. Put 2, i, 12 in decreasing order.
12, 2, i
Let v = 15 + -24. Let x be (9 + 0)*(-3)/v. Suppose 0 = -w + 2*i + 3, -x*w - 2*i = 3*i - 20. Sort 4, w, -5.
-5, 4, w
Let i = 5 - 3. Let k = i - 3. Sort 0, k, 2 in decreasing order.
2, 0, k
Suppose 2*c - 2*a = -4, -5*c - 19 = 4*a - 0*a. Let s = 2 - c. Suppose s*f - 9 = 2*f. Put -3, 2, f in decreasing order.
f, 2, -3
Let z be ((-14)/222)/(16/(-42)). Let n = 18411/370 - 249/5. Let k = n + z. Put -5, k, 1 in decreasing order.
1, k, -5
Suppose i + 0 + 5 = 0. Let l = -4 - i. Let c be 0 - -1 - 30/5. Sort c, l, -4.
c, -4, l
Suppose 0*p + 12 = -4*p. Let n = -0.22 + -0.08. Let c = 1.7 - n. Put p, -2/5, c in decreasing order.
c, -2/5, p
Let i be (30/8)/(-3) - -2. Let j = 1 - 0.9. Let z = 0.1 - j. Sort z, 2, i.
z, i, 2
Let s = -1542/7 - -220. Sort s, -23, -3 in increasing order.
-23, -3, s
Let x be 3*(-6 + (10 - -1)). Put x, 4, 3 in decreasing order.
x, 4, 3
Let z = -22 - -16. Let x = -6.1 - z. Sort 1, x, 1/4 in ascending order.
x, 1/4, 1
Let n be 1/(-2) + (-22)/(-4). Let i(q) = -2*q + 2. Let y be i(3). Let a be (-2)/5 - (-24)/10. Sort n, y, a in descending order.
n, a, y
Suppose -4*n + 10 - 2 = 0. Suppose 0 = 3*t + 4 + 2. Sort n, -4, t in increasing order.
-4, t, n
Let t = -0.06 + 7.06. Let x = -4 + t. Sort 1, x, 0 in descending order.
x, 1, 0
Suppose 0 = -3*d + 6*d. Put d, 1/5, 16 in decreasing order.
16, 1/5, d
Let u be 4/14 + 132/(-315). Put u, 2/5, -0.2 in descending order.
2/5, u, -0.2
Let u = 26 + -26.4. Sort -0.3, u, -1/4 in ascending order.
u, -0.3, -1/4
Let o = -7 + 4. Suppose -4*j = -2*j - 6. Suppose j*g + 0*i - 6 = 3*i, -2*g + 3*i = -8. Sort -4, o, g in increasing order.
-4, o, g
Let n = 60 - 60. Put -2/11, n, -2/7, -5/7 in descending order.
n, -2/11, -2/7, -5/7
Let c = 41 - 36. Put -0.1, 0.15, c in decreasing order.
c, 0.15, -0.1
Let k = -228 + 224. Let d(a) = -a**2 - 7*a - 7. Let u be d(-6). Sort 0, u, k.
k, u, 0
Suppose 5*f = -4*l - 32 + 5, 4*l + 21 = -3*f. Sort -5, l, 5 in ascending order.
-5, l, 5
Let z(i) = i + 5. Let f be z(-8). Let c(u) = u + 1. Let h be c(f). Let w = 0 + h. Sort w, -1, -5.
-5, w, -1
Let w = -1 - -3. Suppose -3*c + w*n + 0*n + 11 = 0, -5*c + 10 = 5*n. Let h be c*(15/(-9) - 0). Put h, 3, 4 in ascending order.
h, 3, 4
Let t = -0.0097 + -0.2903. Let s = -0.3 + 0.2. Let w = -0.4 + 0.8. Sort s, w, t.
t, s, w
Let w = -2.6 + 3. Let s be 0 + 2 + 24/(-18). Sort s, -4, w in descending order.
s, w, -4
Let a = 18 - 11. Sort a, 1, -2.
-2, 1, a
Let z = -28 - -29. Sort -3, z, -1 in decreasing order.
z, -1, -3
Let d be (-26)/(-6) - (-2)/(-6). Let z = 0.01 + -7.01. Let j = z + 12. Put j, d, 3/5 in ascending order.
3/5, d, j
Let n = -0.68 - -0.18. Sort 1/4, n, -3 in ascending order.
-3, n, 1/4
Let n = 29 + -29.07. Put -1, 4, n in decreasing order.
4, n, -1
Let w = 0.2 - 1.