, 1 in decreasing order.
k, 1, j
Suppose -4*h - 1 = v - 0, 0 = -4*h + v - 7. Let b = 5 - h. Let d = b + -2. Put d, -2/13, 0.5 in descending order.
d, 0.5, -2/13
Suppose -2*d = 5*h - 22, -2*d = 3*h + 2*d - 16. Suppose h*l + 26 = 2*t, -l = -5*t - 0*t + 20. Sort l, 8, 2 in increasing order.
l, 2, 8
Suppose -y + 6 = 5*u + 16, 22 = -2*u - 4*y. Let z be -1 + (-3)/(u - 0). Suppose -13 = 5*h + 7. Sort z, h, -5 in decreasing order.
z, h, -5
Let d = -20 - -18. Let q = 4 - 3. Sort d, q, 0 in increasing order.
d, 0, q
Let a = 58 - 86. Let b be 38/(-133)*a/(-6). Let t = -1 + -2. Sort b, t, 4 in increasing order.
t, b, 4
Let r = -7 - -6. Put 7, r, 1 in descending order.
7, 1, r
Suppose -5*y + 21 + 19 = 5*l, 0 = 5*y - 5*l - 50. Suppose 0 = 3*t + y, 3*g = 3*t + 20 + 1. Put -2, 0, g in descending order.
g, 0, -2
Let j(f) = -f**2 - 3*f - 2. Let x be j(-1). Put 5, -5, x in decreasing order.
5, x, -5
Suppose -6*y + 9*y - 2*d - 11 = 0, 0 = -4*y - d. Put 3, 0.2, -1, y in increasing order.
-1, 0.2, y, 3
Let i(r) = 13*r**2 - 9*r**2 - 7*r - r**3 + 5*r**2 - 3. Let k be i(8). Suppose -k*x = -4*x. Sort 4, x, -4 in descending order.
4, x, -4
Let j = -1.97 + -0.03. Let o = -5 - -4.5. Put j, o, -0.2 in descending order.
-0.2, o, j
Let k = -46 + 66. Suppose -4*p + 8 - k = 0. Put p, 3, 2 in decreasing order.
3, 2, p
Let y = 21 + -15. Suppose -3*a + 4*k = -14, 3*a - 10 = y*k - 4*k. Sort 1, -1, a in decreasing order.
a, 1, -1
Let v be (-3)/2 - (-3)/6. Let y be ((1 - 1)*v)/(-1). Suppose 2*w + 4*p = 4*w + 6, -2*p = -4. Sort y, -1, w in decreasing order.
w, y, -1
Let c be 2/(-2*2/16). Let p = -4 - c. Suppose 0 = p*o - o - 12. Sort 0, 0.4, o in descending order.
o, 0.4, 0
Let l be 0*3/9 - -1. Let p(b) = -2*b**2 - b + 1. Let n be p(-2). Sort l, -2, n.
n, -2, l
Let k = -18 - -17. Sort 5, k, 3 in ascending order.
k, 3, 5
Let n(z) = z**2 + 3*z - 4. Let y be n(-4). Suppose v + l = -l + 9, -6 = -5*v + 3*l. Suppose 2*t - 3*u + 19 = y, -18 = -5*u - v. Sort t, 3, 0.2.
t, 0.2, 3
Suppose -5*h = -5*j + 25, 11*h - 4*j + 22 = 6*h. Sort h, -1/3, 3, -9 in decreasing order.
3, -1/3, h, -9
Suppose i + 18 - 3 = 0. Sort -5, i, -2 in increasing order.
i, -5, -2
Let p = 0 - -0.7. Let c = 0.6 - p. Sort c, 1/6, -0.4 in decreasing order.
1/6, c, -0.4
Suppose -6*j = 8 - 14. Put 5, j, -1 in increasing order.
-1, j, 5
Let k = 3196 - 44719/14. Let p = -30/7 + k. Sort 1/2, p, 0.3.
p, 0.3, 1/2
Suppose -87*l + 82*l - 20 = 0. Sort -14, -5, l.
-14, -5, l
Let r = -655/884 - 2/221. Let o = 1.6 - -1.4. Put r, o, 1 in descending order.
o, 1, r
Let j = 4 - 3. Suppose 0 = k, 50 = -0*b + 5*b + 2*k. Suppose n + 4*n = b. Sort -4, n, j in descending order.
n, j, -4
Suppose 11*w = 15*w - 52. Put -2, 3, w in ascending order.
-2, 3, w
Suppose -5*c - 7*q = -2*q - 30, 4*c = 4*q. Sort 21, 0, c in ascending order.
0, c, 21
Suppose 0 = -3*u + p + 11, 5*p - 19 - 2 = -4*u. Suppose h - 4 = -0. Suppose -4*q - h*y = -y + 23, -4*y - 20 = 0. Sort 5, q, u in decreasing order.
5, u, q
Suppose g + 2 = 6. Let b(n) = -n**3 - 2*n**2 + 4*n + 4. Suppose 0*q = -q - 3. Let a be b(q). Sort 0.4, g, a in decreasing order.
g, a, 0.4
Let m(q) = 2*q**2 + 5*q. Let c be m(-3). Put -5, -1, c in descending order.
c, -1, -5
Let i = 15 - 13. Put -3, i, 5 in increasing order.
-3, i, 5
Let m = -25 - -15. Sort -1, -2, m.
m, -2, -1
Let k = -10 - -8. Let w = k + -2. Sort w, 2/5, -3/7 in descending order.
2/5, -3/7, w
Let i = 35/2 - 87/5. Sort -2, i, -3, 0.07 in increasing order.
-3, -2, 0.07, i
Let f = 12 - 13. Put 4, -5, f in descending order.
4, f, -5
Suppose -4*d - d - 25 = 0. Let o be ((-2)/(-6))/(2/(-6)). Put o, -3, d in decreasing order.
o, -3, d
Let h be (-126)/(-24) + (-2)/8. Suppose -4*t + h*t - 3 = 0. Put 1, t, -7 in descending order.
t, 1, -7
Suppose -7 = 7*r + 14. Let f = -1 + 1. Put 0.5, f, r in decreasing order.
0.5, f, r
Suppose -w + 4 + 5 = -3*f, -f - 3 = -4*w. Suppose 2*p + t - 2 = 2*t, -4*p + 16 = t. Sort p, f, 4 in decreasing order.
4, p, f
Let n be (-3)/(60/16)*5. Put n, 3, 1 in increasing order.
n, 1, 3
Suppose -u - 2*i = -16, 3*u + 2*i - 6*i - 28 = 0. Sort -2, u, 0.
-2, 0, u
Let j(o) = o**3 + 5*o**2 + 3*o - 1. Let t be j(-4). Sort 0, -2, t, -1 in ascending order.
-2, -1, 0, t
Suppose -4*t - 8 = -4. Put t, 2, 0 in decreasing order.
2, 0, t
Suppose 4*i = 3 + 5. Let k = 0.073 + -0.073. Sort k, i, -2/9 in descending order.
i, k, -2/9
Let f = -2453 + 17123/7. Sort -3, f, 4 in decreasing order.
4, -3, f
Let g = -0.9 - -0.3. Let p = -5.6 - g. Put p, 3/2, -0.3 in increasing order.
p, -0.3, 3/2
Let b(o) = o**3 + o**2 - 6*o + 1. Let h be b(-3). Put -4, h, -2 in ascending order.
-4, -2, h
Suppose 0*c = c - 5*h + 17, 3*h = 3*c + 15. Sort c, 5, -5.
-5, c, 5
Let v = 0.88 - 0.48. Put v, 1, -17/4 in decreasing order.
1, v, -17/4
Let a(w) = 2*w + 9. Let n be a(-6). Let s = n - -4. Let x be (-9)/(-2) - 3/6. Sort x, -3, s in ascending order.
-3, s, x
Let q(b) = b**3 - 9*b**2 - 7. Let l be q(9). Let u = l + 10. Let d = 0.6 - 1. Sort d, 0, u in decreasing order.
u, 0, d
Let x be 6/(2 + 1) + 10. Let g(u) = -4*u**3 - 2*u + 1. Let r be g(1). Sort -2, x, r in decreasing order.
x, -2, r
Suppose -4*n = 4*l + 32, l + 4*n - 5 = -25. Suppose 22 = m + 4*b, 11 = 2*m - b - 2*b. Let u = m - 7. Put u, -1, l in increasing order.
l, -1, u
Let s be (2 - 0)/(6/15). Put 2, s, -4 in descending order.
s, 2, -4
Suppose 4*x + 7 = 2*z - 3, -4*z - 3*x - 2 = 0. Sort z, 4, 14.
z, 4, 14
Let a = 2/293 - 889/1465. Sort -0.5, a, -4, -1/6.
-4, a, -0.5, -1/6
Let w(r) = -2*r**2 + 13*r - 3. Let l be w(6). Sort -1, l, -3 in ascending order.
-3, -1, l
Suppose 5*d = 4*q + 11, 2*d - 3*d = q - 4. Suppose 0 = 5*m - 25, -m + 4*m = -2*w + 25. Put -3, w, q in increasing order.
-3, q, w
Let j = -474.81 + 471. Let v = j + -0.19. Sort -0.2, -5, v in ascending order.
-5, v, -0.2
Let q = 0.2 + 0. Let g = -15 + 18. Sort q, g, -0.04 in descending order.
g, q, -0.04
Let f = 4.123 + -0.123. Put 10, f, -3 in decreasing order.
10, f, -3
Suppose -6*l - 11 = -5. Suppose 13 = 5*i - 12. Put i, 1, l in ascending order.
l, 1, i
Suppose 4*x = -0*x - 4. Let f be x/(-5) + (-4)/5. Put f, 0.5, -0.2 in descending order.
0.5, -0.2, f
Let b be 2 + 132/(-21) + 4. Put 5, b, 3 in increasing order.
b, 3, 5
Let i(p) be the third derivative of -11*p**4/24 + p**3/6 - 3*p**2. Let r be i(-2). Let v be 6/(-21) - r/(-56). Sort -2/5, -3, v in decreasing order.
v, -2/5, -3
Let q = 10 + -152/15. Let n = 19.6 - 20. Sort n, q, 2/7 in decreasing order.
2/7, q, n
Let z be (-26)/10 + -3*(-2)/(-15). Put -2, 2, z in ascending order.
z, -2, 2
Suppose -t + 5 = 0, 3*p + 3*t + 1 = -11. Put p, -4, 3, 0 in descending order.
3, 0, -4, p
Let l = 0.7 - 0.6. Let v = 15 + -14. Put v, 4, l in decreasing order.
4, v, l
Let b be (4/6)/((-8)/24). Let g = 15 + -11. Sort g, b, 5 in ascending order.
b, g, 5
Let y = -0.32 + 0.72. Let b be (-3 - -3)*1/3. Sort b, y, 2 in decreasing order.
2, y, b
Let j = -9 + 8. Put 1, 6, j in decreasing order.
6, 1, j
Let p be (-30)/(-4)*10/(-15). Sort p, -2, 3.
p, -2, 3
Suppose 0 = 3*p - 5*a + 2*a + 12, 0 = -4*p + 3*a - 11. Put -5, 2, p in decreasing order.
2, p, -5
Suppose -1 = w + 2, -4*l - 12 = 4*w. Suppose -3*s + 2*a = 5 + 10, l = -4*s - 4*a. Let f be (-14)/(-10) + 4/(-10). Sort f, s, -2.
s, -2, f
Suppose 2*f + 0*f = 16. Suppose f*m - 3*m = 15, 3*m - 21 = 4*w. Let q = 10 + -12. Sort w, q, -4 in ascending order.
-4, w, q
Let f be ((-6)/40)/(1/4). Suppose 10*a - 5*a = 45. Let z be (-2)/2 - a/3. Sort f, z, 0.3 in decreasing order.
0.3, f, z
Let r = -0.6 + 3.6. Let n = 38/15 - 227/60. Put n, r, 1 in decreasing order.
r, 1, n
Let w(j) = -j**2 + 4*j + 8. Let n be w(6). Let i = 3 + -8. Let m = 0 + 1. Sort i, m, n in descending order.
m, n, i
Suppose -6*v + 3*v - 24 = 0. Let p = -13 - v. Put p, -4, 1 in ascending order.
p, -4, 1
Let b = 37 - 35. Let p = -0.3 - -0.4. Put p, -0.1, b in decreasing order.
b, p, -0.1
Let p(i) = i**2 + 12*i - 17. Let r be p(-13). Let f(b) = -b**3 - 5*b**2 + b + 5. Let m be f(-5). Let n = 18 - 13. Sort r, n, m.
r, m, n
Let p = -5.92 + 6. Let i = p - 0.08. Sort 2, i, -1 in decreasing order.
2, i, -1
Suppose 5*h - 3*x = 19, 4*x = -h - 0*x - 10. Let k be -1*2/(-4)*h. Sort 3, k, -3.
-3, k, 3
Let s = -5 - -4.6. Suppose -32 = -8*h - 16. Let v be (-52)/(-72) + (-1)/2. Sort h, s, v in descending order.
h, v, s
Let v = 