= h + 0.2. Let i = v - 2. Put 3/2, -4, i in increasing order.
-4, i, 3/2
Let x(n) = 5*n + 5. Let q(r) = -4*r - 4. Let o(b) = -4*q(b) - 3*x(b). Let t be o(-4). Sort 0, t, 3 in descending order.
3, 0, t
Suppose 18 = 3*o - o. Put -1, 4, o in descending order.
o, 4, -1
Suppose -2*v + 5*d + 25 = 0, -2*d - 2 = v + 8. Let b(t) = -t - 12. Let p be b(-7). Put 3, p, v in increasing order.
p, v, 3
Let o = -1.4 - -2.1. Let g = 0.9 - o. Put g, -0.3, 0.5 in descending order.
0.5, g, -0.3
Let u(c) = 12*c**2 + c + 1. Let z be u(-2). Suppose 5*x = -17 + z. Let r(l) = -l + 10. Let g be r(x). Put -4, g, 0 in descending order.
g, 0, -4
Let u = -111.8 - -112. Put 3, 0.1, u, 3/4 in decreasing order.
3, 3/4, u, 0.1
Suppose -5*u = -1 + 11. Suppose 5*v - 2*v = 9, -4*v + 8 = 4*q. Suppose -5*a + 4 + 1 = 0. Put u, q, a in descending order.
a, q, u
Let b = -73 - -75. Let u be 51/15 - 2/5. Sort u, -5, b in decreasing order.
u, b, -5
Let v = -47 + 49. Let t = 5.1 + -1.1. Sort 1/7, t, v in descending order.
t, v, 1/7
Let m = -1.9 + 2.1. Sort 5, m, 0, 3/4.
0, m, 3/4, 5
Let x be (3 - -8)*-1*-1. Suppose -2*l + 0*n = 3*n + x, 2*l - 19 = 3*n. Put 5, -5, l in increasing order.
-5, l, 5
Let u = 0.2 - -0.2. Let h = u - 0.4. Sort h, 0.2, 1/3 in ascending order.
h, 0.2, 1/3
Let n = -5 + 4.02. Let a = -0.02 + n. Put -1/8, a, 4 in decreasing order.
4, -1/8, a
Let m = 9 + -14. Let n = m - -6. Sort -1, n, 2 in descending order.
2, n, -1
Let p = 4.95 - 5. Suppose n - 6 = -2*t - 0, 4*t - 2*n = 20. Sort t, 2/3, p.
p, 2/3, t
Let b = -35 - -38. Put b, 1, -2 in descending order.
b, 1, -2
Let j = 3.3 - 0.3. Put -5, j, -4 in ascending order.
-5, -4, j
Let d = -29 + 26. Sort d, -6, 4 in decreasing order.
4, d, -6
Let a be 1/((-5)/15) + 6. Let g(c) = -2*c. Let n be g(2). Put -3, n, a in ascending order.
n, -3, a
Suppose 4 - 1 = -3*p. Suppose 9*t + 20 = 4*t. Sort p, 2, t in increasing order.
t, p, 2
Let d be 1*-3*2 - -1. Sort d, 0, -2 in decreasing order.
0, -2, d
Let f = -0.22 - -0.15. Sort -0.3, f, -3, -1/2 in decreasing order.
f, -0.3, -1/2, -3
Let x = 136 + -73. Put 5, x, -5 in increasing order.
-5, 5, x
Suppose -4*u = 3*r - 3, -4*r + 4 = 7*u - 2*u. Let t be (-2 - -2) + (6 - 3). Let d be 1*(-1 + t + -3). Put d, 4, r in increasing order.
d, r, 4
Let c = 1.37 + -0.27. Let f = -0.9 - c. Sort f, 0.2, 1/2 in decreasing order.
1/2, 0.2, f
Let c = 24.979 + 0.021. Let v = c - 22. Let y = 4474/13 + -344. Sort y, 1, v in decreasing order.
v, 1, y
Let q(g) = -g - 8. Let y be q(-9). Sort -1/2, y, -3.
-3, -1/2, y
Let f = 5 + -3. Let h be f/4*(-56)/7. Let t = -4 - -2. Put -6/7, t, h in ascending order.
h, t, -6/7
Let o be 1790/8*(-2)/(-5). Let r = 88 - o. Sort r, -4, 0.5 in decreasing order.
0.5, r, -4
Let c = -6 + 4. Let p = -3.8 + 4. Let l = p + 0.3. Put -5, l, c in descending order.
l, c, -5
Let l be 2 + 43 + 0/(-2). Let y be (-2)/9 + 55/l. Suppose y = s + 4. Put -1, s, 0 in decreasing order.
0, -1, s
Suppose -2*w + 17 = -3*i, -3*w - 2*i = -19 - 0. Let p be -11 - -7 - (0 + -4). Put -2, w, p in decreasing order.
w, p, -2
Suppose 3*d - 7*d + 4 = 0. Suppose -2*o - 2*k - 18 = 0, 1 = -2*o + 3*k + 3. Let j = 2 + o. Put -4, d, j in ascending order.
-4, j, d
Let x = 6 - 9. Sort 5, 2, x.
x, 2, 5
Let v be 68/32 - (1 - -1). Let f(h) = h. Let j = -3 - -6. Let b be f(j). Sort b, v, -0.5 in decreasing order.
b, v, -0.5
Let y = -2384/1995 + -2/399. Let u = 1 + -0.5. Sort u, y, 0.4.
y, 0.4, u
Suppose 0 = 3*u + 5 + 1. Suppose -t - 4 = a + 2, -27 = 4*t + 5*a. Put u, t, 1 in decreasing order.
1, u, t
Let p = 5 + -5. Let j(u) = u**3 - 5*u**2 + 6*u + 2. Let a(z) = -z**2 + 1. Let f(s) = 3*a(s) + j(s). Let m be f(7). Put 4, m, p in ascending order.
m, p, 4
Suppose -2*q - 2 = 0, -2*q + 1 = y + 2*y. Sort y, 5, -3/2 in decreasing order.
5, y, -3/2
Let t = -50 - -55. Put -4, 15, t, -5 in increasing order.
-5, -4, t, 15
Let v = -19 + 21. Suppose v*j - 4 = 4. Put j, -1, 6 in descending order.
6, j, -1
Let i(l) be the first derivative of 5*l**3/3 + l**2 + l - 1. Let x be i(-1). Let a = x + -3. Put a, -5, 4 in increasing order.
-5, a, 4
Let d be (4/35)/(8/20). Let j = 8 + -8.1. Sort 0.1, d, j in ascending order.
j, 0.1, d
Let y be (3 - 4/(-8))*2 + -2. Sort y, 3, 1, -2 in decreasing order.
y, 3, 1, -2
Suppose 12*o - 30 = 6*o. Sort -8, 2, -3, o in decreasing order.
o, 2, -3, -8
Let z = -84 - -88. Sort z, 7, -2 in ascending order.
-2, z, 7
Let m = 34 + -18. Let r be (-38)/84 + m/56. Put 3/5, r, 2 in increasing order.
r, 3/5, 2
Let j = -0.96 + 3.96. Let v = 0 + -1. Sort v, -2, j in decreasing order.
j, v, -2
Let k(u) = 2*u - 29. Let x be k(14). Suppose 0*i + 8 = -2*i. Put i, x, -2 in increasing order.
i, -2, x
Let a be -2 + 1 + -2 + 4. Suppose -5*g - 4*f + 17 = 0, f - a = -3. Sort 0.4, -2, g.
-2, 0.4, g
Suppose -9 = 2*z + 3*w, 3*w + 0*w = 5*z - 9. Let v be 3/(1 + 5)*z. Let n be 2/5 - (-17)/(-5). Sort n, 1, v in increasing order.
n, v, 1
Let q = 15 - 9. Let v = 4 - q. Let s = -0.5 - -0.3. Sort -5, s, v in decreasing order.
s, v, -5
Let q = 3 + -3.1. Put -0.5, q, 1 in ascending order.
-0.5, q, 1
Let n(p) = -3*p - 20. Let b be n(-7). Put b, 3, -5, 4 in descending order.
4, 3, b, -5
Let p = -15 - -15.09. Let z = -0.01 - p. Put 5, z, 0 in decreasing order.
5, 0, z
Suppose 3*v + 3 = -3*d, 4*v + 2*d - 5*d = -18. Sort -0.2, 3, v in increasing order.
v, -0.2, 3
Let f = -1.5 - 0.5. Let r = -523/3 + 174. Put 0.03, r, f in decreasing order.
0.03, r, f
Let k = -68.7 - -69. Put 1.8, k, -1/9, -1 in decreasing order.
1.8, k, -1/9, -1
Suppose -5*b - 5*i + 20 = 0, i - 30 = -4*b + 4*i. Let p = b + -6. Sort p, -4, 1 in decreasing order.
1, p, -4
Suppose -3 = 5*x - 18. Suppose -l = x - 4. Suppose -4 = -z + l. Sort -1, 0, z in decreasing order.
z, 0, -1
Let g = -475/4 - -118. Sort 5, g, -4.
-4, g, 5
Let q = 1.6 - 0.6. Let h = q - 0.9. Sort 4, h, -0.4 in ascending order.
-0.4, h, 4
Let s be (-38)/(-8) - (2 + 54/(-24)). Sort -17, s, 2.
-17, 2, s
Let i = 12 + -14. Put 4, i, -2/7, 0.2 in ascending order.
i, -2/7, 0.2, 4
Suppose 0 = -21*i + 19*i - 8. Sort 1, 5, 8, i in ascending order.
i, 1, 5, 8
Let k = 18 - 13. Let r be (0/1 - -3) + -4. Sort -4/3, r, k in ascending order.
-4/3, r, k
Let r(w) = -w**2 - 5*w - 1. Let o be r(-2). Let b(d) = -d - 3. Suppose -f = -0*f + 5. Let l be b(f). Put l, o, -3 in ascending order.
-3, l, o
Let m = -0.02 + 0.12. Put 8/3, 1, m in increasing order.
m, 1, 8/3
Let i = 21 + -14. Suppose 4*d - 8 = 0, i*d + 15 = -5*p + 2*d. Sort 2, p, -2 in ascending order.
p, -2, 2
Let m = 4 - 0. Suppose 0*l = 3*l + 4*j + 32, -m*j = -3*l + 8. Let v = -2 - -2.2. Put -1/7, v, l in decreasing order.
v, -1/7, l
Let u be 12/(-171)*(-3)/2. Let k = 3 - 1. Sort k, u, -1.
-1, u, k
Let t = 0.34 + 0.06. Sort t, 5, -3.
-3, t, 5
Let r be 0*(-2 + 21/9). Sort r, -0.3, 10.
-0.3, r, 10
Let u = 59 - 58.6. Let x = 0.7 - -0.3. Let y = -4 - x. Put y, -2, u in decreasing order.
u, -2, y
Let d be 11/(-33) + (-32)/(-6). Sort -4, -6, d, -1 in increasing order.
-6, -4, -1, d
Let b = 4.6 - 5. Suppose -t - t = -2. Let q = t - 3. Put 0.2, q, b in ascending order.
q, b, 0.2
Let v = 3 - 5. Let j = -0.173 + 3.293. Let i = -0.12 + j. Put 0.4, i, v in increasing order.
v, 0.4, i
Let n(v) = v - 3*v + 1 + 1 - 3*v. Let s be n(-1). Sort 4, -1, s.
-1, 4, s
Let g = -37/65 - -10/13. Let s = 4 - 3. Suppose 0 = 5*a - 15 - 10. Put s, g, a in decreasing order.
a, s, g
Suppose -2*z + 4 = v - 3*v, -3*v - 16 = -z. Suppose 2 + 15 = h - 5*k, -4*k = 2*h - 20. Let i = v + h. Put i, 2, -1 in descending order.
i, 2, -1
Suppose 4 = 3*c + 4*s, -c = -4*s + 7 + 13. Sort 2, c, -7 in descending order.
2, c, -7
Suppose 4*p + 8 = 0, 6*d - p - 12 = 4*d. Sort 1, -1, d, -10 in increasing order.
-10, -1, 1, d
Let h = 14 - 16. Let m = 0.07 - -3.93. Sort -3/8, m, h in ascending order.
h, -3/8, m
Let p = -15/931 + -1/98. Let q = p - -21/76. Let t = 133/393 - 2/393. Sort q, t, 3 in increasing order.
q, t, 3
Let n = -0.1 + -0.4. Let w = -0.01 + 2.01. Let k = w - 1.9. Sort n, k, -1.
-1, n, k
Let n(i) = -i**3 - i**2 + i. Suppose -x + 6 = -3*x. Let b be n(x). Suppose -b = -3*j - 3. Sort 2, j, -2 in descending order.
j, 2, -2
Let z = 4.86 + 0.14. Put 4, -2, z in decreasing order.
z, 4, -2
Let a = 11 - 9. Let m = 3.01 - 3. Let w = m + 0.39. Put a, 4, w in decreasing order.
4, a, w
Let k = -5 - -1. Let a(j) = -j**2 + j - 1. L