-q = 4*q - 275. Let h = -107/2 + q. Put h, 0.2, k in increasing order.
0.2, k, h
Let r = 118 + -117.9. Sort 1, r, -1/10.
-1/10, r, 1
Suppose 4 = 2*x + 2. Put x, -3, 4 in decreasing order.
4, x, -3
Let j be -5 + 1 + 5 - (-2)/(-3). Sort j, -0.3, 0.2 in decreasing order.
j, 0.2, -0.3
Suppose -4 = 2*i + 2. Sort 0, 5, i in ascending order.
i, 0, 5
Suppose 0*y - y + 3 = 0. Suppose 2 = 2*t + y*a, -2*t - 5*a + 5 = -1. Sort 4, 5, t in descending order.
5, 4, t
Let f = 86 - 93. Let u(d) = 5*d**3 - 6*d**2 + 14*d + 9. Let n(j) = -4*j**3 + 6*j**2 - 13*j - 8. Let s(p) = 6*n(p) + 5*u(p). Let a be s(f). Sort 1, 2, a.
1, 2, a
Let s be 4/7*7/2. Let y(n) = n**2 - n - 1. Let p = 9 - 10. Let v be y(p). Sort s, v, 3 in increasing order.
v, s, 3
Let n(o) = -o + 8. Let v be n(7). Suppose 4*z = 8*z - 44. Let q = z - 6. Sort 2, v, q in ascending order.
v, 2, q
Let k be (482/5)/(7/(-10)). Let b = -138 - k. Sort 0.2, b, -1/9 in descending order.
0.2, -1/9, b
Let n = -19 - -13. Let i = -2.5 + -0.5. Let x = n - i. Sort x, 3, -2/5 in descending order.
3, -2/5, x
Let h(d) = -d - 5. Let t be h(-8). Suppose -t*f + 1 = w - 0*f, 2*w - 3*f = 11. Suppose -o + 0*o = 4*k + 8, -4*k - 8 = -4*o. Sort w, 1, k.
k, 1, w
Let l = 37 + -32. Put 2, l, 4, -4 in descending order.
l, 4, 2, -4
Let t be ((-6)/(-40))/(24/20). Sort -5, -2/15, -3, t in ascending order.
-5, -3, -2/15, t
Let x be (-1355)/(-5460) - (-2)/(-6). Let t = x - 3/52. Sort 2, 5, t in descending order.
5, 2, t
Let v = -33 - -33.5. Let s = -9 + 8. Sort s, v, -0.4.
s, -0.4, v
Let u(k) = k**3 - 2*k**2 + 2*k. Let i be u(2). Sort i, 0, 1.
0, 1, i
Let w = -18 + 109/6. Let v = -2 - -1.8. Let i = 4 - 2. Sort v, i, w.
v, w, i
Let x(i) be the second derivative of -i**3/6 + 17*i**2/2 - 2*i. Let j be x(13). Put j, -1, 2/9 in increasing order.
-1, 2/9, j
Let j = -0.5 + 0.7. Let l = -0.08 - 0.32. Let z = 0.07 + 4.93. Sort j, z, l in ascending order.
l, j, z
Suppose 2 + 1 = -g. Suppose 10*v = 6*v + 12. Put -1, g, v in decreasing order.
v, -1, g
Suppose 5*m - 20 + 10 = 0. Sort -3, m, 1 in ascending order.
-3, 1, m
Let k = -96 - -99. Sort -3, -4/3, k, -5 in decreasing order.
k, -4/3, -3, -5
Let x = 41/10 - 33/5. Let i(h) = -2*h + 7. Let f be i(6). Suppose -5*l + 22 = -s, 0*s - 3*s + 34 = 5*l. Put s, f, x in descending order.
s, x, f
Let u = -2 + 2. Let n be (-394)/1512 + 4/16. Let g = 52/189 - n. Put u, 0.4, g in ascending order.
u, g, 0.4
Let n be ((-10)/8)/((-1)/4). Let k = 0.5 - 0.4. Let m = 0.3 - k. Sort 4, m, n.
m, 4, n
Let d be 4/18 + 129/27. Let k be 8/6*3/(-2). Sort -6/11, k, d in decreasing order.
d, -6/11, k
Let y = 9 - 12. Sort y, -5, -1.
-5, y, -1
Let z be ((-170)/(-38))/5 - 1. Put -1, 1, z in decreasing order.
1, z, -1
Let t = 8 + -8.3. Let q = t + 0.6. Let d = q - -0.1. Sort d, 2, 4.
d, 2, 4
Let l(n) = 2*n - 4. Let x be l(4). Suppose 2*p + 2 = -2*v, -4*p + 2*p - x = 0. Put -5, v, -1 in descending order.
v, -1, -5
Suppose -5*h - 2*x = -x - 16, 13 = 4*h + x. Sort 0, 7, -3, h in descending order.
7, h, 0, -3
Let f = 54.151 - 0.151. Sort -2, f, 4 in decreasing order.
f, 4, -2
Suppose 0 = 2*a + 2*d, -2*a - d + 5*d = 12. Sort -1, -4, a in ascending order.
-4, a, -1
Let f(j) = -j**2 - 11*j - 6. Let n be f(-10). Suppose -z + 0 = n. Sort 4, -1, z in decreasing order.
4, -1, z
Let f be (10/16)/(1/2). Sort -3, 0.4, 3, f in decreasing order.
3, f, 0.4, -3
Suppose 5*b + 0 = 4*n - 3, -2*b = 5*n - 12. Suppose n*z + 2*z = -12. Suppose -4*g - 2*m + 26 = -0*m, 3*m = 4*g - 1. Put z, -5, g in ascending order.
-5, z, g
Let q = 23 - 21. Let g = 171/2 - 87. Put -2, q, g in descending order.
q, g, -2
Let q = 77/24 - 23/8. Put q, -0.2, 4/5 in increasing order.
-0.2, q, 4/5
Suppose 0*z - 2*z = 0. Suppose -5*f + 23 = 4*c, -f + z*c + 5 = c. Suppose 2*n = -f*n + 20. Sort -1, n, -3 in descending order.
n, -1, -3
Let c be (3 - 2) + 105/1. Suppose 2*m = -0*m - c. Let k = 211/4 + m. Sort k, -1, 2/7 in descending order.
2/7, k, -1
Suppose 2*x - 15 = -5. Sort -1, 0.6, x in descending order.
x, 0.6, -1
Let p = 18.3 - 21.3. Sort p, 0.2, 2/7, -4 in decreasing order.
2/7, 0.2, p, -4
Suppose -1 + 5 = -4*c. Suppose 7*j = -3*g + 3*j + 10, -6 = -g - 4*j. Suppose 0 = g*q - 0*q - 8. Sort q, c, -3 in descending order.
q, c, -3
Let i(u) = -u**2 + 13*u - 9. Let p be i(12). Sort -3, -1, p in decreasing order.
p, -1, -3
Let x(l) = -6*l + 11. Let p(c) = -c - 1. Let f(i) = 5*p(i) - x(i). Let j be f(11). Let b(a) = -2*a + 1. Let q be b(1). Sort -4, q, j in ascending order.
j, -4, q
Suppose 2*i + 39 = 5*h, -2*h - 3*i - i = -6. Let r = h + -13/2. Suppose 4*d + 3*b = b + 4, 2*b = 2*d - 14. Put -1/2, r, d in descending order.
d, r, -1/2
Let g = -311.03 - -313. Let k = g - -0.03. Let m = k + 0. Put -2/3, 0.3, m in descending order.
m, 0.3, -2/3
Let b = -14 + 127/9. Let g = -741/56 - -90/7. Sort g, 0.4, b.
g, b, 0.4
Let c(j) = j**3 - 12*j**2 + 12*j - 9. Let h be c(11). Suppose -2*x = -7 - 3. Sort h, 1, x.
1, h, x
Let y = 5.378 - -0.022. Let v = -5 + y. Let o = 0.4 + -0.8. Put v, -2, o in increasing order.
-2, o, v
Let s = 40 + -39. Sort s, 0.1, -1/5 in descending order.
s, 0.1, -1/5
Let f(q) = q**3 - 9*q**2 + 8*q - 3. Let g be f(8). Sort 0, 3, g, -5.
-5, g, 0, 3
Let f(x) = x**3 + 7*x**2 + 7*x. Let q be f(-6). Let z be (-2)/(q/(-9))*1. Put z, 4, 0 in decreasing order.
4, 0, z
Suppose -3*s - s + j + 12 = 0, -4 = j. Suppose s*b = 2, 4*h + 3*b + 10 + 7 = 0. Let w be ((-7)/7)/(1 - 2). Put w, h, 2 in increasing order.
h, w, 2
Let f = 21 + -16. Suppose -10 + f = 5*y. Let x = 0.9 + 3.1. Sort y, 3, x in descending order.
x, 3, y
Suppose 59*y - 63*y - 20 = 0. Put -3, y, 3, -2 in increasing order.
y, -3, -2, 3
Let g = 1 + 0. Let t be (g/2)/((-6)/(-4)). Sort t, 2/7, 2/5 in increasing order.
2/7, t, 2/5
Let i = 25 - 24.5. Put -8, 4, i in decreasing order.
4, i, -8
Suppose 3*l - 2*w = -8, 5*l + 2*w - 5 - 3 = 0. Sort l, 2, 0.2.
l, 0.2, 2
Let o = 1.6 + -5.6. Sort 4, -2, o in descending order.
4, -2, o
Let j = -53 - -75. Let v = j - 65/3. Let c = 0.2 - 0. Put v, -2, c in ascending order.
-2, c, v
Let r(b) = b - 6. Let p be r(6). Suppose 4*h + 14 = -2*x - p*h, -2*h = 10. Suppose x*u + 4 - 1 = 0. Sort 3, u, -5 in ascending order.
-5, u, 3
Let d(h) = h**3 + 4*h**2 - 4*h + 2. Let z be d(-5). Let o = -9 - -7. Let c = -4 - o. Sort z, -1, c in ascending order.
z, c, -1
Let z(k) = -k + 6. Let w be z(3). Let h = 2 + -5. Suppose -5*n = -n + 16. Put w, h, n in increasing order.
n, h, w
Let o = -20 + 16. Put -2/19, 0.4, o in ascending order.
o, -2/19, 0.4
Suppose -4*m = m - 15. Suppose 4*o + 1 = -m. Sort -3, o, 3.
-3, o, 3
Let r = -5 + 8. Let h = -2.6 + 3. Sort h, -5, r in decreasing order.
r, h, -5
Let c = 1 - -5. Let v = -4 + c. Sort -1, 5, v.
-1, v, 5
Let z(p) = p**3 - 10*p**2 + 11*p + 5. Let l be z(9). Let u = 20 - l. Sort -1, u, 1 in increasing order.
u, -1, 1
Let a = 0.3 + -0.1. Let j = -2272/25 - -91. Let f = -34/75 + j. Sort 2/3, f, a in descending order.
2/3, a, f
Let r be (10/15)/(2/(-3)) - 6. Sort r, 2, 3.
r, 2, 3
Let u(v) = v**3 + 11*v**2 + v + 13. Let s be u(-11). Suppose 5*k + o = 5*o + 20, -k + s*o + 4 = 0. Sort 0, k, -3.
-3, 0, k
Let i be 3 + -1 - (-1 - -1). Let c = i - 2. Let r be (2 + 1 + -2)*c. Put r, -2, 1 in descending order.
1, r, -2
Let a = -84 + 79. Put -2, 1, a in decreasing order.
1, -2, a
Let a be (-2)/4 - 175/(-10). Suppose -2*m = -7*m - j, -4*j + a = 3*m. Let b = 0 + 1. Put m, -5, b in ascending order.
-5, m, b
Let l = -17 - -71/4. Put 1, -58, l in ascending order.
-58, l, 1
Let v = 1.9 + -2.9. Put v, -2, 0 in descending order.
0, v, -2
Suppose 10*m = 35 - 15. Let w(x) = x**2 - 7*x + 4. Let s be w(6). Put s, m, 6 in increasing order.
s, m, 6
Let m = 0.003 + 0.097. Let b(z) = 6*z**2 - z. Let s be b(1). Put s, m, -1/2 in descending order.
s, m, -1/2
Let j be ((-4)/6 + 2)*12. Let b be (-4)/10 + j/(-10). Sort 0, 2, b.
b, 0, 2
Let h = 1 - 5. Let u(m) = -m**2 + 4*m - 2. Let a be u(3). Put h, a, -2 in increasing order.
h, -2, a
Let y be (-72)/12*(-2)/3. Sort -3/2, y, 0.2 in decreasing order.
y, 0.2, -3/2
Let p be (-2)/(-8) + (-19)/(-4). Suppose -3*z - p = 1. Put -5, 3, z in decreasing order.
3, z, -5
Let c = -1 - -3. Put -2, 4, c in increasing order.
-2, c, 4
Suppose -2*y = -y - 2. Let a be (y + 6/(-9))/6. Sort -2, a, 1 in ascending order.
-2, a, 1
Let q be (5 - 3)/2 + 4. Suppose 0 = -0*u + 