x be i(8). Sort x, 3, u in decreasing order.
x, 3, u
Let r = 1 - 5. Put 0.5, r, -1 in decreasing order.
0.5, -1, r
Suppose -3*m - 2*z - 15 = 0, 5*m + 12 + 13 = -5*z. Let i(g) = 1 - 7*g**2 + 5*g - 2*g + g**3 + 3*g. Let v be i(6). Sort m, v, 3.
m, v, 3
Let x be (-84)/16 + (-1)/(-4). Let g = x - -5. Suppose -3 = 3*s - 6*s. Put g, 3, s in descending order.
3, s, g
Let k be (-6)/9 + (-2)/6. Let c = 5 + -5. Suppose -v - 13 = -2*l, -4*l + c*l + 14 = 2*v. Sort l, 2, k in increasing order.
k, 2, l
Let y be 18/20*(-4)/12. Sort y, 0.5, -1/3 in increasing order.
-1/3, y, 0.5
Suppose -l + 3 = -3*k, 2*k + k + 9 = 0. Put -3, l, 1 in increasing order.
l, -3, 1
Let y(b) = b + 11. Let r be y(-8). Suppose 4*v = 5*v - r. Put v, 1, -2 in descending order.
v, 1, -2
Let c be 1 - 1 - (-6)/(-2). Suppose 5*x - 15 = -y - 0*y, -2*x = 2*y + 2. Sort y, c, -2 in descending order.
-2, c, y
Let w = -0.6 - -0.2. Let b be (1/4)/((-6)/(-15)). Let f = b + -17/40. Put 0.4, w, f in descending order.
0.4, f, w
Let v = -0.21 + 0.11. Let z be 0/((2/2)/(-1)). Put z, -3, v in descending order.
z, v, -3
Suppose -6*d + 1 = -5*d. Suppose -4*q = -0*q + 3*m, -2*q + m = 0. Put 3, d, q in decreasing order.
3, d, q
Let u = 0.72 + 2.28. Put u, 8, -1/8 in ascending order.
-1/8, u, 8
Let m(t) = t**3 - 4*t**2 - 4*t - 2. Let o be m(-1). Sort o, 3, -2, -16 in descending order.
3, -2, o, -16
Suppose 0*h = 4*u - 5*h - 12, 5*u = h + 15. Put u, -3, -21 in ascending order.
-21, -3, u
Let o = -1.4 - -5.4. Put -1/3, o, 10 in ascending order.
-1/3, o, 10
Let m = -20.1 - -21.01. Let v = -0.11 + m. Let r = v - 0.3. Sort -1, r, -4 in increasing order.
-4, -1, r
Suppose -r = -5*x + 13, x = -2*r - 3*x + 2. Let a = -7 - -6. Put r, a, 0 in descending order.
0, a, r
Let a be 11/2 + (-15)/10. Suppose 0 = 3*b + 12, -5*r + 8 = b + 2*b. Suppose -9*h + r*h + 30 = 0. Put -3, a, h in ascending order.
-3, a, h
Let f = -29 - -31. Sort 4, f, -1/3 in ascending order.
-1/3, f, 4
Suppose r + 4*r = 0. Sort r, -8, -2 in ascending order.
-8, -2, r
Let x be ((-24)/30)/((-2)/5). Suppose -3*k - 19 = x*d, 0 = -2*d + k + k - 4. Put 4, d, -4 in descending order.
4, -4, d
Let b = 4 - 3. Suppose j + 5*x + 3 = 4, 3*j + x = -11. Suppose -3 = 5*k - 18. Sort k, j, b in decreasing order.
k, b, j
Suppose -4*k + 8 = 8*w - 3*w, -2*k - 2*w + 4 = 0. Suppose -4*c = -2*c - 10. Sort -0.2, k, c in increasing order.
-0.2, k, c
Suppose 0 = 5*k + 4*w + 13, 6 + 1 = k - 4*w. Put -6, k, 0.4 in descending order.
0.4, k, -6
Let j = -16 - -11. Let p be ((-4)/(-2))/((-2)/7). Let i be 1*(0 + (-2)/p). Put i, 5, j in decreasing order.
5, i, j
Let b(g) = g + 8. Let x be b(-6). Suppose 2*u + 3*u = 2*c + 33, -4*c = 4*u - 4. Suppose -19 - 6 = -u*h. Put x, 0, h in descending order.
h, x, 0
Let g = -7/4 - -9/4. Let t be 27/(-16) - -2 - 2. Let w = 319/208 + t. Sort w, g, 3 in descending order.
3, g, w
Suppose -2*w = 3*w - 5. Let k(f) = -f + 3*f - 3*f + 2*f**2. Let b be k(w). Sort b, 4, -4 in descending order.
4, b, -4
Let v be (-17)/2*(-1 + 5). Let w = v - -76. Let d be ((-88)/w + 2)*3. Put d, 2, -5 in descending order.
2, d, -5
Let p(y) = -y**3 + 9*y**2 + y - 6. Let o be p(9). Put 2, o, 11 in increasing order.
2, o, 11
Suppose -2*j - 16 = -4*v, 2*v + 41 = -3*j + 9. Let n be 2/10*(-8 - j). Let f be 0 - (0 - 1/(-2)). Put f, n, 0.1 in increasing order.
f, 0.1, n
Suppose -2*o - 10 = -4*o. Suppose 2*n + o*w - 16 = 0, -5*n - w - 5 = 1. Sort n, 0, 2 in ascending order.
n, 0, 2
Suppose -7*n + 3*n + 8 = 0. Let v = -3 - 2. Put n, 8, v in increasing order.
v, n, 8
Let y = 5.7 - 6. Suppose -s = 1 - 0. Let n = -2 + 3. Sort y, s, n in descending order.
n, y, s
Let q = 18 - 7. Let s = -11 + q. Sort s, -0.3, 1.
-0.3, s, 1
Let h = -9 - -6. Let d be (0 + 0)/(h - -2). Suppose -2*x + 6 = 3*u, -5*x + u + 17 = 2. Put x, -4, d in descending order.
x, d, -4
Suppose -2*z + 610 = 5*l, -3*l - 155 = 5*z - 521. Let y be (1 - l) + -3 + 1. Let x = 1352/11 + y. Sort x, 0.2, 0.5 in decreasing order.
0.5, 0.2, x
Suppose -2*y + 2 = 6. Let h(l) = -l - 3. Let s be 49/(-6) - 6/(-36). Let m be h(s). Put -3, y, m in descending order.
m, y, -3
Let w = -2 - -2. Let x be -1 + 0 - (0 - w). Let v = 5 + x. Put -2, 5, v in increasing order.
-2, v, 5
Let l = -6 - -8. Suppose 2*r = -3*k + 19, 0*k + 5*r = -4*k + 37. Put 0, l, k in increasing order.
0, l, k
Let n be (-5 - 0/(-2)) + 1. Let v be 1/8*n/3. Suppose 3*d + 5 = -4. Sort 0.3, v, d in decreasing order.
0.3, v, d
Let n = 6/5 + -52/35. Let b = 19 + -24. Sort n, b, 2/3 in ascending order.
b, n, 2/3
Let y = -6.1 - -4.1. Sort y, 4, -5, -4.
-5, -4, y, 4
Let v = -23 - -13. Let z = 7 + v. Sort 2, 4, z in ascending order.
z, 2, 4
Let c = -0.4 - -0.8. Let t = 0.4 + -14.4. Let n = 18 + t. Sort -2, n, c in descending order.
n, c, -2
Let m be -16 - -9 - 3/(-1). Let s = 0 - 3. Sort m, s, -1 in decreasing order.
-1, s, m
Suppose 0 = -2*q + 6, -2*q + 7 = 4*j - 3. Sort 2, -5, j.
-5, j, 2
Let x be (-1)/(-1*1/4). Suppose -4*h + 6*u = 3*u - x, 8 = h + u. Put -0.3, h, 3 in decreasing order.
h, 3, -0.3
Let s = 2 - -2. Suppose 2 = s*i - 2, 3*o = i - 4. Sort o, 5, -7 in increasing order.
-7, o, 5
Let u = -11 + 14. Sort 2/5, u, -3/7 in descending order.
u, 2/5, -3/7
Let n = 23 - 23.9. Let x = n + 0.5. Let p be (1 + 1)*3/9. Sort x, -0.5, p in decreasing order.
p, x, -0.5
Let i = 74 - 73. Let b = 3/34 - 95/306. Put 2, b, i in decreasing order.
2, i, b
Let k = -4.93 - 0.07. Let b = -9.1 + 9. Suppose -3*u = 3 - 12. Sort b, k, u in decreasing order.
u, b, k
Let q = -7 + 12. Let p = 154 + -170.9. Let f = 17 + p. Sort f, q, 3 in descending order.
q, 3, f
Let g be ((-18)/8)/((-1)/(-4)). Let a be ((-2)/3)/(2/g). Let i(p) = p**2 - 5*p - 10. Let q be i(7). Sort q, -5, a in increasing order.
-5, a, q
Let x(j) = -5 - 7*j - j**2 + 7*j. Let q be x(0). Sort q, -3, 3 in increasing order.
q, -3, 3
Let h = 119 + -1073/9. Sort -1/4, 3/2, h in descending order.
3/2, h, -1/4
Let t = 0.25 - -0.05. Sort 3, t, -3/4.
-3/4, t, 3
Let b = 0.12 + -0.07. Let q be -8*((-9)/(-6) - 2). Sort 0.1, q, b in decreasing order.
q, 0.1, b
Suppose 10 = -o - 5*x - 7, -4*x - 12 = 0. Let i = -2 + -3. Let t be i - (0/3 - 1). Sort t, -0.2, o in descending order.
-0.2, o, t
Let k be (-10)/(-4)*56/910. Let t = -8 - -10.5. Let i = -2 + t. Sort k, 0, i in ascending order.
0, k, i
Let j(b) = -b - 5. Let o be j(0). Suppose -5*h = 2*t + 3, -4*t - h = 2 + 13. Sort t, 2, o in decreasing order.
2, t, o
Suppose -6 = -0*s - 3*s. Let m = 0 + 0. Put m, 5, s in descending order.
5, s, m
Let w = -38 + 35. Put w, 4, 1 in descending order.
4, 1, w
Suppose 4*y - 5*s + 4 = -s, -2*y - 2*s + 2 = 0. Suppose 3*d - 4*d - 3*j - 10 = 0, -4*d = -3*j + 10. Let b = d - y. Sort b, 0, -1.
b, -1, 0
Let z(v) = 3*v**2 - 1. Let c be z(-1). Let l = 6 - 6.4. Sort l, 0.3, c.
l, 0.3, c
Let x be 3/6 - (-45)/(-6). Put 0.3, 1/7, x in ascending order.
x, 1/7, 0.3
Let y be (-30)/(-9) - (-8)/(-6). Sort y, -4, 3 in increasing order.
-4, y, 3
Let n(j) = -2*j**3 + 2*j - 4. Let w be n(0). Sort -15, 1, w.
-15, w, 1
Suppose 0 = -5*w + 7 - 27. Let a(n) = -3*n - 2. Let g be a(-2). Suppose x - 3 = -v - g*v, 3*x = -3*v + 9. Put x, w, 0 in decreasing order.
x, 0, w
Let a = -5/7 - -17/14. Let o = -0.3 - 0. Put 5, o, a in ascending order.
o, a, 5
Let v be 1 - -2 - (9 - 4). Let t be 5 - 3 - (0 - 1). Sort v, -4, t in ascending order.
-4, v, t
Let q = -0.6 + -0.4. Let h = -1.2 - q. Let x = -0.2 + 0.3. Sort -3, h, x in increasing order.
-3, h, x
Let d(o) = o**3 + 5*o**2 - 9*o - 39. Let t be d(-5). Put t, 0, 2 in descending order.
t, 2, 0
Let u be 26/(-6) - 2/(-6). Let k = -10 + 12. Let q = -7 - -12. Sort q, u, k in increasing order.
u, k, q
Let y = -1.7 - -1.744. Let d = 2.344 - y. Let v = d - 2. Sort v, 1/4, -0.5.
-0.5, 1/4, v
Let a be (-12 - -9) + 3/1. Sort 1/3, 2/31, a in ascending order.
a, 2/31, 1/3
Let q be ((-2)/3)/(1 - 2). Sort -4/3, 0.5, q.
-4/3, 0.5, q
Suppose 4*o = 2*c + 12, 3*o - 6*o = 5*c - 9. Let t = 3 + 1. Put -1, o, t in descending order.
t, o, -1
Let m(y) = 2*y**2 - 3*y. Let a be m(2). Let c = -2 + a. Let q be (2 + -1)*(12 - 16). Put 5, c, q in descending order.
5, c, q
Let n = -2 + 1. Suppose 3*m = 14*m + 22. Sort -5, n, m.
-5, m, n
Let d = -2.5 + 0.5. Suppose 16*x - 10 = 11*x. Sort x, -0.3, d in decreasing order.
x, -0.3, d
Let n = 11 + -18. Put -5, 0, n in descending order.