h in increasing order.
h, 0, 3
Let u(a) = -15*a - 9. Let c(w) = -7*w - 4. Let y(m) = 13*c(m) - 6*u(m). Let v be y(-2). Sort v, -5, -4 in decreasing order.
v, -4, -5
Let w be (-4)/(8 - 4) - 12/(-16). Put -8, -1/7, 0, w in increasing order.
-8, w, -1/7, 0
Let p = 32 + -22. Let r = -12.4 + p. Let b = -0.6 + r. Sort 2, b, 5.
b, 2, 5
Suppose -5*v = 20, v = -3*q + 2*v + 7. Let m(f) = 2*f**2 + 3*f + 2. Let j be m(-2). Sort j, q, 2.
q, 2, j
Let k = 11 + -13. Sort -1, k, 2 in increasing order.
k, -1, 2
Let p(d) = -d**3 - 9*d**2 + 11*d + 10. Let k = -2 - 8. Let r be p(k). Suppose 3*y = 4*y + 5. Put r, -1, y in ascending order.
y, -1, r
Let r = 17 - 16. Put 5, -2, r in ascending order.
-2, r, 5
Suppose 5 = -2*b + 1, 4*g = -2*b - 16. Put g, 0.1, 0.4 in ascending order.
g, 0.1, 0.4
Suppose 5*w - 32 - 8 = 0. Suppose 3*d - 17 = -3*m + w*m, 0 = -5*d - 2*m - 13. Let s = d + -2. Put 0, 1, s in descending order.
1, 0, s
Let u be (1/3)/(3/36). Sort 2, -4, u in increasing order.
-4, 2, u
Suppose -3*o = -0*o. Let a(b) = b**2 - b + 5. Let i be a(0). Suppose i*u + 0*u = o. Sort 2/5, u, 2.
u, 2/5, 2
Let z be 1/((-3 - -5)/(-8)). Sort z, 1, -6 in descending order.
1, z, -6
Suppose l = -l. Suppose l = 2*b - 4*q - 6, 0 = -2*b - 2*q - 5 - 13. Let v be 0 - (1 - 1/(-1)). Sort b, v, -3 in decreasing order.
v, -3, b
Let z = -0.182 - -0.052. Put z, 1/4, 0.1 in increasing order.
z, 0.1, 1/4
Let k = 0.44 - 0.04. Let t = 0.09 - 1.09. Let g = t - -0.7. Put 1, g, k in increasing order.
g, k, 1
Let a be 2/((5/2)/5). Let d = 2 + 0. Let z = -12 + 17. Sort d, z, a in ascending order.
d, a, z
Let m = 2.7 - 2.8. Let q = -0.7 - -0.2. Sort 3/5, m, q in descending order.
3/5, m, q
Let a be (-1)/(-22)*(-1952 - 2). Let d = 89 + a. Let g = 0.29 - 0.69. Put -5/3, d, g in decreasing order.
d, g, -5/3
Let q(x) = x + 1. Let k be q(6). Let u = 7 - k. Sort 5, -2, u in decreasing order.
5, u, -2
Let z(u) = u**3 - 13*u**2 - 16*u + 33. Let q be z(14). Put -2, -4, q, 2 in increasing order.
-4, -2, 2, q
Let z = 1 + -1.3. Let f = 0.08 + 1.92. Let g = f - -2. Sort 1, g, z in decreasing order.
g, 1, z
Let i be ((-3)/(6/4))/6. Sort -3, 0.4, i, -5 in ascending order.
-5, -3, i, 0.4
Let g be (-36)/162*(-1 + 2/5). Sort -21, 3/7, g in ascending order.
-21, g, 3/7
Let p = 3 + -3.2. Let c = 1 - 1.4. Let v = -2.6 + c. Put 1, p, v in ascending order.
v, p, 1
Let i = 13 - 13.3. Put 0, -3, i in decreasing order.
0, i, -3
Let s be (2 - 1 - 0)*18. Let d be (-10)/(-24) - s/27. Put -1, d, 2 in ascending order.
-1, d, 2
Suppose 0 = 3*j - 2*n - 111, -4*j + 91 + 64 = -5*n. Let s be (-3)/(-33)*j + -3. Sort -3, -0.3, s.
-3, -0.3, s
Let d = 8 - 5. Suppose 5 = -6*g + 5*g + 2*t, g + 3*t - 20 = 0. Sort -5, d, g.
-5, d, g
Let y(w) be the first derivative of w**3/3 + 3*w**2/2 + 3*w - 1. Suppose 4*x + 5 = -4*d + 1, 4 = 4*x. Let g be y(d). Put -3, g, -4 in descending order.
g, -3, -4
Let v be 2 + 0 + -1 - -5. Let j = -1 - -4. Sort v, j, -4.
-4, j, v
Let f = -84 - -83.99. Sort f, -4, 0.1, -1.
-4, -1, f, 0.1
Let b = -46.1 - -49. Let g = b - 3. Let l = 2 - -3. Put l, 0, g in decreasing order.
l, 0, g
Let x = -13 + 14. Put 2, -5, x in decreasing order.
2, x, -5
Let o(k) = k + 1. Let v be o(3). Sort -0.3, v, 2, -5.
-5, -0.3, 2, v
Let m(f) = f**2 - 5. Let l be m(0). Let i be ((-2)/l)/((-63)/15). Let b be 4/51*6/4. Put -2, b, i in descending order.
b, i, -2
Suppose 3 = 6*r - 9. Sort 12, r, -3 in descending order.
12, r, -3
Suppose 8*y - 429 = -5*y. Put -0.3, 3/7, y in descending order.
y, 3/7, -0.3
Let y = 11 - 12. Sort -2.7, y, 5.
-2.7, y, 5
Let t = 27 + -32. Let j = 2.99 - -0.01. Let k = j - -1. Sort 0.3, k, t in decreasing order.
k, 0.3, t
Let f be (-2)/8 - -3*(-4)/16. Put 1, 2, -2, f in ascending order.
-2, f, 1, 2
Suppose -2*i - 300 = -2*t, -4*i + t = -t + 606. Let u = i + 1069/7. Let w be -1 + -1 + (-5)/(-2). Sort -4, w, u in descending order.
w, u, -4
Let c be 15/(-4) - (-3 + 2)*4. Sort 0.3, c, -5/2 in increasing order.
-5/2, c, 0.3
Suppose 0 = -5*c - w + 4, 5*w + 8 = 3*c - 0*w. Put 2, -2, c in increasing order.
-2, c, 2
Let c be 3/((-24)/(-10))*-4. Suppose 1 = -f + 8. Suppose 6*z - z + f = 2*s, 5*z + s + 19 = 0. Sort c, 4, z in increasing order.
c, z, 4
Let h = -182 + 178. Sort 0.2, h, 0, 4.
h, 0, 0.2, 4
Let f = 7.1 + -6.7. Sort 22, -0.1, f, 2 in decreasing order.
22, 2, f, -0.1
Let x = -47/60 + 8/15. Let c = 0.11 - 8.11. Let z = -9 - c. Sort x, -0.3, z in increasing order.
z, -0.3, x
Suppose -3*v = -3*m - 12, v - 4 = -0*v + 3*m. Suppose v = -6*p + 2*p. Let c(a) = -a + 4. Let g be c(6). Put -4, g, p in descending order.
p, g, -4
Let m(x) = x**3 - x**2 - 5*x**2 + 4 - x - 3. Let f be m(6). Suppose -2 = -5*r - 22. Put r, -1, f in descending order.
-1, r, f
Suppose -4*s = 2*v - 96, -4*s = -2*v - 3*v - 110. Suppose -3*w + u = 15, -3*u + s = -5*w - 7*u. Put w, -1, 4 in ascending order.
w, -1, 4
Suppose 8 = -3*h - 4. Sort h, 1, -12 in ascending order.
-12, h, 1
Let g = -0.02 + -3.98. Let h = 123.8 + -124. Put h, g, -1 in descending order.
h, -1, g
Suppose -10 = 6*k - k. Let n = 5 + -4. Suppose 0 = s - 2*s - n. Sort k, s, 1.
k, s, 1
Let t be 26/1*1/(-2). Let j = 11 + t. Let s be 0 + 7/1 + -2. Sort s, j, 2 in descending order.
s, 2, j
Let s = -22.9 - 7.1. Let l = s - -22. Sort -0.3, -0.4, l in decreasing order.
-0.3, -0.4, l
Let h = -7 + 10. Sort h, 1, -2.
-2, 1, h
Let c = -14 - -10. Put 1, c, 6 in descending order.
6, 1, c
Let v = -1 + 2. Let q = -2 - -2.1. Put q, v, 2 in descending order.
2, v, q
Let o(q) = q + 11. Let s be o(-11). Suppose -2*v = 5*t + 5, s*v - 3*t - 3 = 2*v. Sort 2, -4, v.
-4, v, 2
Suppose 5*q = -4*w + 3*w - 24, 4*w - 29 = 5*q. Sort -10, q, 5 in increasing order.
-10, q, 5
Suppose 0 = 8*n - 3*n + 75. Let o be (n/(-10))/((-6)/16). Put 4, 3, o in increasing order.
o, 3, 4
Let g(k) = -k**3 + 4*k**2 + 4*k + 6. Let w be g(5). Let q = -4.07 - -0.07. Sort -1, q, w in ascending order.
q, -1, w
Suppose -4*k + 5*a = -0*a, 4*a = 2*k. Put -2, k, -3 in descending order.
k, -2, -3
Let r = 89 - 86. Put r, 0, -1, 4 in descending order.
4, r, 0, -1
Suppose 0 = -2*s + 5*y - 17, 5*s - 20 = -5*y + 25. Suppose 10 = -s*a + 3*a. Sort -5, a, 5 in descending order.
5, -5, a
Suppose -q - 8 + 2 = -3*l, 0 = -4*l + 2*q + 8. Suppose l*j + 3 = -m - 0*j, 0 = -4*m + 4*j - 12. Sort 1, 4, m in increasing order.
m, 1, 4
Let v = -23 + 23.4. Put v, -1, -2, 2/17 in decreasing order.
v, 2/17, -1, -2
Let f = 3.013 - 0.013. Put 2, 0.1, f, 1/3 in descending order.
f, 2, 1/3, 0.1
Let n(i) = i**3 - 6*i**2 - 1. Let a be n(6). Suppose 2 = -11*v + 46. Sort v, -4, a in descending order.
v, a, -4
Let d = -0.56 + 0.06. Put -2/15, d, 3 in descending order.
3, -2/15, d
Let d be (-6)/9*(-6)/8. Let l(v) = v**2 - 3*v - 13. Let n be l(6). Put n, -3, d in decreasing order.
n, d, -3
Let z be (2/(-6))/(1/(-6)). Let x be (0 + z)/((-8)/22). Let g = x + 5. Put 1/10, 2, g in increasing order.
g, 1/10, 2
Let c(b) be the second derivative of -b**3/6 - 4*b. Let w be c(-3). Sort w, -3, -4 in increasing order.
-4, -3, w
Suppose -3*y + 56 = 38. Sort 0, y, 0.5 in descending order.
y, 0.5, 0
Let i(w) = w**3 - w**2 - 4*w + 3. Let z be i(2). Let g be (2 - 0)/((-2)/7). Let a = -11 - g. Put a, z, 1/2 in ascending order.
a, z, 1/2
Let n = 19 + -18.6. Let o = 0.2 - n. Sort o, -0.1, 5/3 in ascending order.
o, -0.1, 5/3
Let r be (-10)/25 + (-34)/(-10). Sort r, -3, -8 in increasing order.
-8, -3, r
Let i = 80 + -76. Sort i, 3, -4 in descending order.
i, 3, -4
Let h = -3.9 - -4.4. Sort 0.4, h, -0.5 in descending order.
h, 0.4, -0.5
Suppose 3*d + b = 2*b + 13, -d = -5*b - 23. Let x = 0 + d. Let u be -2*(-6)/(-8) + (-207)/(-92). Sort x, u, 0.5 in increasing order.
0.5, u, x
Let k = 8 + -8. Let x = -0.3 + k. Sort 2/15, x, -0.1 in decreasing order.
2/15, -0.1, x
Let y(d) = -d**3 + 2*d**2 - 2*d + 1. Let s be y(1). Suppose 4*q + 24 = 6*q. Suppose 0 = 4*u - q, -2 = 2*a + u - 5*u. Put a, s, 2 in ascending order.
s, 2, a
Let x(h) = h**3 + 7*h**2 + 4*h - 1. Let p be x(-4). Suppose -4*d + p = -3*t, 0 = 2*d + 2*d + t - 11. Sort -3, d, -4 in descending order.
d, -3, -4
Suppose -6*r + r = -10. Suppose 16 = 5*o + r*x, -4*x = 7 + 1. Suppose 2*z - o = -0*z. Put z, 3, 1 in increasing order.
1, z, 3
Let v(d) = 4*d - 3. Let r be v(2). Let n be 1 + 2 - (r + -1). Put -5, -4, n in descending order.
n, -4, -5
Let k be 3 + 