 v in increasing order.
g, v, 3
Let n = -9.37 - 1.03. Let w = -8 - 2. Let m = n - w. Sort -0.3, 3, m in ascending order.
m, -0.3, 3
Let p = -2 + 1. Let d = -0.5 - p. Sort -5, d, -1/11.
-5, -1/11, d
Suppose 5*c - 22 = 8. Suppose 0 = 4*t + 4*n + 2 + 6, -3*t = 2*n + 1. Sort c, t, 1 in increasing order.
1, t, c
Suppose 4 = -0*u + 2*u. Suppose 19 = -u*g + 3*w, -5*w = g - 3 - 20. Let j = 1 + 0. Sort j, g, -1 in descending order.
j, -1, g
Let u = 4 + -4.2. Sort 12, -1/4, u.
-1/4, u, 12
Suppose 0 = -w + 5*d + 22, -3*w - 2 = -d + 2. Sort w, -9, -4, -2 in decreasing order.
-2, w, -4, -9
Let j(y) = -37*y - 1. Let q be j(-1). Let t be 1 - (-3 + q/10). Sort -0.3, t, 2 in decreasing order.
2, t, -0.3
Let f be (-1)/((-2)/(-6) - 0). Let c(k) = -k**3 - 3*k**2 - 2*k - 2. Let d be c(f). Let b = -316 - -315.6. Sort d, -0.5, b.
-0.5, b, d
Let d = -0.197 + -1.803. Put -1/2, 0.3, d in descending order.
0.3, -1/2, d
Let d = -0.12 - 4.88. Let u = d + 8. Sort -2/9, -5, u.
-5, -2/9, u
Let k be 3/2 + 60/40. Sort k, 1, -3 in decreasing order.
k, 1, -3
Suppose 0*g - 6 = 3*g. Let s be 11/(-3) + g/6. Put -3, -5, s in ascending order.
-5, s, -3
Let u = 3 + -7. Let t(x) = -2*x - 6*x**2 + 2*x**2 - 7 - x**3 + 6*x. Let m be t(-5). Sort m, u, 1.
u, m, 1
Let b = -6 + 5. Sort 0.6, 5, b.
b, 0.6, 5
Suppose 3*b = -2*b - 20. Suppose 0 = 3*p + 2 + 1. Let v(x) = -x. Let f be v(0). Sort p, b, f.
b, p, f
Let k(q) = q**2 + 4*q + 3. Let a be k(-4). Put 5, -3, a in descending order.
5, a, -3
Let x(y) = -y**3 - 4*y**2 - 4*y - 3. Let t be x(-3). Sort 3, 4, -16, t in ascending order.
-16, t, 3, 4
Let u(f) = -f**2 - 13*f + 136. Let v be u(-20). Let t be 2*-3*(-4)/6. Sort 1, t, v in descending order.
t, 1, v
Let o = -8 - -12. Put o, 5, -2/5 in descending order.
5, o, -2/5
Let w = 0.12 + -0.14. Let m = w + 0.62. Sort m, 2, 3 in descending order.
3, 2, m
Let z = -71 + 76. Sort 2/23, -2/5, z in descending order.
z, 2/23, -2/5
Let c be (-30)/(-4)*(-4)/5. Let k(y) = y**3 + 5*y**2 - 8*y - 6. Let a be k(c). Let j be 2/a - (-42)/9. Sort j, 4, 0.3 in increasing order.
0.3, 4, j
Suppose -5*q = 3*n + 12, 0*q + 4*q + 15 = 3*n. Let f be ((-8)/3)/(2/q). Sort 5, f, -2 in ascending order.
-2, f, 5
Suppose -18 = -4*b + 2*m, 2 = b - 4*m - 6. Let o = -6 - -5. Let j = -2 + o. Put 5, j, b in descending order.
5, b, j
Suppose n = -3, -5*c + 1 = 3*n - 15. Suppose 3 = -3*w + c*x - 4*x, -2*w + 2*x + 2 = 0. Let r = -0.9 - -1. Put r, w, -5 in descending order.
r, w, -5
Suppose -3*x = 8 + 7, -5*h + 25 = -x. Let b = h - 5. Sort 0.2, b, 3.
b, 0.2, 3
Let c be ((-10)/(-1 + 3))/(-1). Sort -5, c, 3, -1.
-5, -1, 3, c
Let q = 34 + -54. Let x be 4/q + (-4)/5. Let h = -1 + x. Sort 4, 1, h in ascending order.
h, 1, 4
Let k = 1 - 0.8. Let x = -0.29 + 0.3. Let h = x - -0.29. Put k, h, -2/5 in increasing order.
-2/5, k, h
Suppose 4*c - 5 + 25 = 0. Put 4, -3, c in decreasing order.
4, -3, c
Let m be 20/6 - (-11)/(-33). Suppose -m*o + x = 16, 8*o = 3*o - 5*x - 20. Sort o, 2, -3 in decreasing order.
2, -3, o
Let p = -5 + 9. Suppose -4*f + 2*a = -10, 5*f - a - 4*a = 20. Let b = -6 + 5. Put p, b, f in decreasing order.
p, f, b
Let u(f) = -6*f - 8. Let v be u(-1). Let t(z) = -z - 3. Let a be t(-3). Put -3, a, v in decreasing order.
a, v, -3
Let y be (-3 - (-2)/2) + 2. Suppose 3*q - 5 - 4 = y. Let u(h) = -h**2 - 6*h - 6. Let j be u(-5). Sort 0, q, j.
j, 0, q
Let x(i) = 4*i - 8. Let m be x(2). Put -2, m, -3 in descending order.
m, -2, -3
Suppose 0 = -3*g + 6*g + 12. Let u = 3 + 2. Sort u, 1, g in increasing order.
g, 1, u
Suppose 2*a - 3 = 3*t, 3*a + 3 - 12 = 0. Sort 9, -5, t in descending order.
9, t, -5
Let b = 5 + -1. Suppose 2 = -b*r + 10. Let w(z) = z**2 + 3*z + 1. Let l be w(-4). Put 3, r, l in decreasing order.
l, 3, r
Let g = -2/3 - 1. Let b(s) = -s**3 - 5*s**2 - 6*s - 5. Let i be b(-4). Suppose -i*n - 6 - 3 = 0. Put g, 1/2, n in decreasing order.
1/2, g, n
Let s(n) = n**3 - 5*n**2 + 6*n - 2. Let k be s(3). Let j = -13 - -9. Put j, 5, k in decreasing order.
5, k, j
Suppose -24 = 2*y - 5*f - 5, 4*y - 3*f + 17 = 0. Let h = 96/5 + -19. Sort y, -0.2, h in increasing order.
y, -0.2, h
Let u be 3/(2 - 7/2). Suppose -d + 2 = -0. Let s = 75 + -71. Put s, d, u in descending order.
s, d, u
Let s(i) = i**2 + 25*i + 46. Let b be s(-23). Put 1, 11, b, -4 in decreasing order.
11, 1, b, -4
Let w = -1270/7 - -182. Put 3, -2/3, w in ascending order.
-2/3, w, 3
Let q = 15.3 + -15. Sort -3, 0, q in decreasing order.
q, 0, -3
Let n be (-21)/(-6)*8/14. Sort -1, n, -4.
-4, -1, n
Let u = 5 + -3. Let l = 4.6 + -2.5. Let b = u - l. Sort -1, 5, b in increasing order.
-1, b, 5
Let u = -3.1 - -0.1. Put -0.3, -3/7, u in ascending order.
u, -3/7, -0.3
Let y(c) = c**3 + c**2 - c - 13. Let v be y(0). Let h = v + 16. Sort h, 4, 9 in ascending order.
h, 4, 9
Let d = 11897/36 + -13069/180. Let j = d - 258. Let v = 5 + -10. Put 0, j, v in descending order.
0, j, v
Let o = -5.6 - -6. Let p = -0.3 + o. Let s = -1 + 1.4. Sort -1, p, s in decreasing order.
s, p, -1
Let o(u) = 291*u**2 + 1. Let h be o(1). Let y = -447242 + 4922872/11. Let s = y - h. Sort 3/7, 0.4, s.
s, 0.4, 3/7
Let j = 29 + -18. Let w(r) = r**2 + 20*r - 15. Let g(h) = 4*h - 3. Let o(n) = j*g(n) - 2*w(n). Let p be o(2). Sort -2, p, 5 in increasing order.
p, -2, 5
Let j be ((-6)/9)/((-2)/27). Sort -4, j, 2 in decreasing order.
j, 2, -4
Let g = -8.5 + 10.68. Let r = 2.4 - g. Let a = r + 0.08. Sort -1/7, a, -3.
-3, -1/7, a
Suppose -6 + 10 = 2*a. Put 5, a, 25 in ascending order.
a, 5, 25
Let a = 3 + -4. Let p be (-1)/4 + a/(-4). Let q = p - -2. Sort q, -0.2, -2.
-2, -0.2, q
Let w be 2/4*(-20)/50. Let l = -0.3 - 0.7. Let a = l - -5. Sort a, w, -4/7 in decreasing order.
a, w, -4/7
Let o = -14 + 19. Sort 4, o, 2 in descending order.
o, 4, 2
Let x = 7.5 + -7. Suppose -4*u - 7 = -3*f - 27, -4*u = -5*f - 28. Sort x, u, -1/3.
-1/3, x, u
Suppose 0 = -b + 2. Let x(m) be the second derivative of m**4/12 + m**3 + 2*m**2 + 3*m. Let s be x(-6). Put s, -4, b in ascending order.
-4, b, s
Let m = 2 + -9. Let n = 18 + -29. Let s = m - n. Sort -0.3, 2, s in increasing order.
-0.3, 2, s
Suppose q = 4*q - 63. Let p = 14 - q. Sort p, -3, -1 in ascending order.
p, -3, -1
Let s(t) = 2*t - 10. Let y be s(-8). Let d be ((-2)/4)/(1/y). Suppose 4*o + r + d = 4*r, 14 = -3*o - 2*r. Sort 4, o, -3 in decreasing order.
4, -3, o
Let o = 4 - 3.8. Let k = -18 + 15. Sort k, o, 0.4 in descending order.
0.4, o, k
Let i be (-2)/(-8) - (-1)/(-4). Let o be 9*((-2)/3)/(-2). Suppose -o*u = -u + 6. Sort u, i, -4.
-4, u, i
Suppose -4*k = 2*w + 14, 4*k = -w + 6*w - 35. Let t(u) = -u**2 + 6*u - 2. Let o be t(w). Suppose 2*z = -o + 3. Put z, 0, -5 in decreasing order.
0, z, -5
Let o = -37 - -34. Put -2, o, 0 in decreasing order.
0, -2, o
Let m = 30 - 20. Suppose 2*x + 4 - m = 0. Put x, -4, 2/3 in descending order.
x, 2/3, -4
Let c = 4 + -1. Let x be c/7 + (-100)/(-28). Sort 2, x, -1 in descending order.
x, 2, -1
Suppose 3*n = 7*n + 24. Put n, -2, -5 in increasing order.
n, -5, -2
Let r(t) = 2*t**2 + 5*t + 6. Let f be r(-2). Put 1, 7, f, -3 in decreasing order.
7, f, 1, -3
Let s = -2 + 4. Let k = 95 + -96. Let n = s + k. Sort -1, -2, n in descending order.
n, -1, -2
Let y(r) = r**3 - 8*r**2 + 8*r - 6. Let v be y(7). Sort v, 3, 0 in increasing order.
0, v, 3
Let q be 1/1*(-17)/34. Let d(u) = 6*u + 5. Let h(z) = z + 1. Let m(r) = d(r) - 5*h(r). Let x be m(4). Sort q, x, -2/17 in ascending order.
q, -2/17, x
Let z = 0.5 - 0.1. Let l = 5 - 4. Suppose f = l, -3 = c - 3*f + 1. Put 1, z, c in decreasing order.
1, z, c
Let s = -356/35 - -48/5. Put 3, s, -0.3 in decreasing order.
3, -0.3, s
Let p = 31/55 + -4/11. Let c = -1/46 + 25/92. Let r = 7 + -6. Sort c, p, r in descending order.
r, c, p
Let g = -4.7 - -5.1. Sort 0.2, -5/4, g in decreasing order.
g, 0.2, -5/4
Let h be 148/18 - (-4)/(-18). Let j = -4 + h. Put j, 1, 2 in ascending order.
1, 2, j
Suppose -2*h + h - 3 = z, -4*z + 4*h = 20. Let k be (6/3)/(2/4). Suppose -2*u - k = -6*u. Sort -2, u, z.
z, -2, u
Let h be ((2 - 3) + 2)/1. Let r = h - 3. Sort 2, 0, r.
r, 0, 2
Let j = -66 + 112. Let h = j - 185/4. Sort h, 2, -4 in increasing order.
-4, h, 2
Let n be (-1 - (-2 + 3)) + -2. Let c be n/(-1) - 4/(-4). Sort 1, c, -2 in increasing order.
-2, 1, c
Let f be (-2)/(-10) - (-31)/(-5). Let u = 7 + f. Put -5, u, 5 in des