 = -0*k, -5*k = 3*x. Put k, -2, 12, 3 in decreasing order.
12, 3, k, -2
Let y = -3.1 - -3. Suppose -40*a + 36*a = -12. Sort y, a, 2/7.
y, 2/7, a
Suppose 8 = 2*z + 12. Let i(x) = 2*x**2 - x. Let k be i(1). Put z, 4, k in descending order.
4, k, z
Suppose 0 = -4*d + 10*d + 12. Sort -3, 2, d in descending order.
2, d, -3
Let l be -3 + -3*7*3/(-27). Sort 2, l, 0.3, 0.5 in decreasing order.
2, 0.5, 0.3, l
Let q = -6 - -5.89. Put -1, -5, q in increasing order.
-5, -1, q
Let s be ((-6)/14)/(27/18). Sort -1/8, -0.1, 3/2, s in decreasing order.
3/2, -0.1, -1/8, s
Suppose -6*b + b - 5*c + 45 = 0, -3*b - 4*c + 31 = 0. Sort b, 4, -4 in ascending order.
-4, 4, b
Let q be (10/(-8))/((-2)/(-8)). Let a(t) = -2*t**2 - 2*t. Let z be a(-2). Let n = 1 - z. Sort -4, q, n in descending order.
n, -4, q
Let i = -98 - -172. Suppose 0 = 3*c + u - 28, -5*c + 3*u + i - 4 = 0. Sort -4, c, 1.
-4, 1, c
Suppose 0 = -4*w + 7*w - 12. Let j = 0 - w. Sort 0, -5, j in decreasing order.
0, j, -5
Let l be ((-1)/2)/((-2)/(-16)). Let r = l - -8. Let u = -33 - -31. Sort 2, u, r in ascending order.
u, 2, r
Suppose -4*f + 40 + 0 = 0. Suppose 0 = -0*c + 5*c - f. Put -3, -4, c in increasing order.
-4, -3, c
Let x be (-1)/(-2) + (-27)/(-6). Let c = 1 - 5. Let o = c + 7. Put x, 4, o in ascending order.
o, 4, x
Let a(x) be the first derivative of -x**4/12 + x**2 + x + 3. Let t(j) be the first derivative of a(j). Let i be t(-2). Sort i, 2, 3 in descending order.
3, 2, i
Suppose -2*h - 2 = -4*h. Put h, 2, 5 in decreasing order.
5, 2, h
Suppose 2*g - c + 1 = 0, -4*g - 5*c + 3 = -2*c. Suppose -3*q + 3*m = 0, g*q - 5*q + 20 = -m. Sort -0.3, -0.1, q.
-0.3, -0.1, q
Let x = -0.5 + 0.8. Let f = 0.38 - x. Let p = 0.38 - f. Sort -4, p, 2 in decreasing order.
2, p, -4
Let y be (-48)/84 + 3/(-7). Sort y, 2, -5 in increasing order.
-5, y, 2
Suppose -3*h = 17 - 62. Suppose -3*a + h = 4*s - 2*a, 3*s + a = 11. Sort -2, -3, s in descending order.
s, -2, -3
Suppose -7*t = 4 - 11. Sort t, 1/5, -15 in decreasing order.
t, 1/5, -15
Let t(j) = -j**3 + 8*j**2 + 33*j + 2. Let l be t(11). Put l, -3, -12 in descending order.
l, -3, -12
Let u = 12 + -17. Let w = -0.18 + 0.3. Let z = w + -0.62. Sort -3, z, u in decreasing order.
z, -3, u
Suppose 11 = -4*m + v, -3*m - 19 = 5*v - 5. Let z be (-12)/m*2/(-4). Suppose 0*r = -c + 3*r - 13, -4*r = -2*c - 16. Sort c, z, -3 in ascending order.
-3, z, c
Suppose 12 + 96 = -2*s. Let y be 42/s - 2/9. Sort y, 0, -3 in descending order.
0, y, -3
Let w = 25 - 25.5. Sort 7, 3, -2/19, w in descending order.
7, 3, -2/19, w
Let m = -95 - -98. Sort -0.8, -1, m in ascending order.
-1, -0.8, m
Let g(t) = -t**2 - 16*t - 11. Let i be g(-15). Let v be ((-2)/(-4))/((-2)/i). Sort 5, v, -4 in descending order.
5, v, -4
Suppose -3*s + 1 = 5*t, 0 = -2*t + 4*t - 2*s + 6. Sort 1, 13, t.
t, 1, 13
Let l = -66 - -66.1. Sort -1/8, -3, l, 0.4 in descending order.
0.4, l, -1/8, -3
Let g be 24/32*4/(-1). Put 0.5, g, -0.4 in descending order.
0.5, -0.4, g
Suppose -5*f - 11 + 6 = 0. Let p be 1/(14/4 + -1). Put 3, p, f in decreasing order.
3, p, f
Let h = -0.7 + -0.3. Let v = -1.08 - h. Let q = 2.92 - v. Put 5/3, 1/2, q in decreasing order.
q, 5/3, 1/2
Let a = 5/9 - -7/36. Let x be (-1)/(4/2) + 1. Put a, 2, x in increasing order.
x, a, 2
Let w = 418/13 + -5263/156. Let g = 5/6 + w. Let p = -4 - -3. Put 4, g, p in descending order.
4, g, p
Let v = 2.06 + -0.06. Let m = -3 + 2.5. Let i = -1442/9 - -160. Sort m, i, v in increasing order.
m, i, v
Let c be ((-4)/(-6))/((-8)/12 - -1). Let l(i) = 2*i - 5. Let j(b) = -b**2 - 6*b - 3. Let k be j(-4). Let a be l(k). Put c, a, 3 in decreasing order.
a, 3, c
Let p be (-14)/8 + 5/(-20). Let m(j) = j**2 + 2*j - 1. Let q be m(p). Let z(v) = -2*v - 1. Let l be z(2). Sort l, 4, q.
l, q, 4
Suppose 0 = -6*j + 8*j - 6. Let d(t) = -t + 4. Let h(z) = -2*z - 5. Let b be h(-5). Let q be d(b). Sort j, -2, q in increasing order.
-2, q, j
Suppose 5*a - 19 - 6 = 0. Let m = 2 - a. Let x be (1 - 2)/((-13)/(-26)). Put x, 3, m in increasing order.
m, x, 3
Suppose 2*a = 10, 4*r - 2*a - 18 = -4*a. Put 2/21, -13, r in increasing order.
-13, 2/21, r
Suppose -l = -v - 1, 5*l - v = l + 7. Put -4, -2, 0, l in decreasing order.
l, 0, -2, -4
Let d = 2/45 - -41/90. Put -8, d, -3, 0 in decreasing order.
d, 0, -3, -8
Let c = 8 - 3. Let w = -0.003 - 3.997. Put c, 2/17, w in ascending order.
w, 2/17, c
Suppose 3*z - 2 - 1 = 0. Let n be z/3 + 34/(-66). Sort -4, n, -2/15 in increasing order.
-4, n, -2/15
Let s = -15 + 14. Sort -4, 1, s.
-4, s, 1
Let t = -27 + 24.9. Let q = t + 2. Let z = q - 0. Put z, 5, 2/7 in decreasing order.
5, 2/7, z
Let h = 7.1 - 2.1. Sort h, 0, -5.
-5, 0, h
Let n(z) = -z**3 - 11*z**2 - 11*z - 13. Let d be n(-10). Let q(p) = -2*p**2 - 6*p - 2 + 4*p**2 - 8*p**2 + p**3. Let x be q(7). Sort -4, d, x.
-4, d, x
Let x = -6.92 + -0.08. Let s = -8 - x. Put 2/7, s, 2 in ascending order.
s, 2/7, 2
Let x = -0.6 + 0.2. Let i = x - 0.6. Let n = 0.8 + i. Sort 4, n, -1/6 in ascending order.
n, -1/6, 4
Let l = -0.21 - -0.11. Sort 1, -3, l in ascending order.
-3, l, 1
Let k = 0 - 3. Sort -0.3, k, 0.5 in increasing order.
k, -0.3, 0.5
Let x(q) = 2*q - 1. Let i be x(1). Let d be 4 - (-3 + i + 0). Let g be 1*2/d + 0. Sort 0.1, g, -0.3 in ascending order.
-0.3, 0.1, g
Let d(m) = m**3 - 7*m**2 + 8*m - 7. Let l be d(6). Suppose l*i + 2 = 3*i. Put 0, i, -5 in descending order.
0, i, -5
Let h be 72/(-10) - 1/(-5). Let q = -1 - h. Let k be (q/2)/(9/(-2)). Sort k, -2/13, -0.1 in decreasing order.
-0.1, -2/13, k
Let c = 0.38 + 1.62. Sort 1/6, c, -9 in increasing order.
-9, 1/6, c
Suppose 0*h + 2*h - 4*k + 26 = 0, 74 = -3*h - k. Let p = 45/2 + h. Sort p, 0.9, -3/8.
p, -3/8, 0.9
Let u(o) = o**2 + 9*o + 8. Let a be u(-8). Suppose -5*f - w + 14 = 0, a = 4*f + 5*w - 8 - 20. Sort f, -2, 4 in descending order.
4, f, -2
Suppose 0 = -0*l - 2*l + 3*c + 15, 3*l = c + 12. Suppose w = 2 + l. Suppose -3*q + 5*o - 6 = -0*q, 0 = 3*q + 3*o - 18. Put q, -4, w in decreasing order.
w, q, -4
Let o(j) = j - 6. Suppose -2*x - 3*n - 8 = 0, 2*x + 4*n + 12 = -0*n. Let r(v) = 2*v + 1. Let u be r(x). Let q be o(u). Put -5, q, 2 in ascending order.
-5, q, 2
Let q = -36 + 285/8. Let b = -1/4 - -1. Put q, -1, b in descending order.
b, q, -1
Let c be (-1)/(-3) - 8/(-3). Sort -2, c, 0 in decreasing order.
c, 0, -2
Let o = -13 + 7. Let d be 6/2 + 16/o. Sort -0.2, d, 1.
-0.2, d, 1
Let d = 18 - 22. Suppose -4*s = s + 5. Let g = 3 - s. Put g, d, 2 in decreasing order.
g, 2, d
Let s(b) = -b**3 - 3*b**2 - 2*b - 1. Let x be s(-2). Let d be 14/(-8) + x/4. Suppose 3*l + 5 = 4*l. Sort l, d, 0.
d, 0, l
Let i = 1.23 - 0.19. Let a = -0.04 + i. Put 1/2, -1, a in decreasing order.
a, 1/2, -1
Let y be (6 - 7)*(-104 - -2). Let b = -507/5 + y. Put b, 2/7, 1/4 in increasing order.
1/4, 2/7, b
Suppose -6*v + 2*v - 4*g = 0, -5*v - 3*g = 0. Suppose 1 = 5*r + 16. Sort r, 1, v.
r, v, 1
Suppose -4*t - t + 30 = 0. Suppose 2*d - n = 5, 4*n - 2*n = -t. Let i be (-1)/(-1 - (d - -7)). Put 0.3, i, -4/5 in increasing order.
-4/5, i, 0.3
Let l = 47 - 19. Let f = -111/4 + l. Suppose -z = -2*h + 5 - 8, -3 = -z - 3*h. Sort f, -2/9, z in decreasing order.
z, f, -2/9
Let w = -8 + 13. Put w, -1, 4 in ascending order.
-1, 4, w
Let f = -1296/11 + 118. Suppose n + 3 = -3*n + 3*v, 0 = 5*n + 3*v - 30. Sort -1.2, n, f in decreasing order.
n, f, -1.2
Let o be -2*(-3)/18*-15. Let c be (-2)/(-5) - (-14)/(-10). Let t be 2/2 - (c + 2). Put t, -1, o in decreasing order.
t, -1, o
Let t be -8 - (0/2 + -4). Put 2, t, 1 in ascending order.
t, 1, 2
Let w be (11/(-33))/((-1)/(-57)). Sort -4, 0, w in descending order.
0, -4, w
Let q = -4 - -7. Suppose 2 = 2*i - q*i. Let z be (-2 + -1)*2/i. Sort z, -2, -5.
-5, -2, z
Let b be (-1)/((-10)/6 + 2). Let t = b + 7. Let w = 0 + 0. Sort -4, t, w.
-4, w, t
Let t = -17 - -12. Sort t, 0, -1 in increasing order.
t, -1, 0
Let v = 6.04 - 0.04. Let q = 4 - v. Let o = q - -2.2. Put o, -4, -2/7 in descending order.
o, -2/7, -4
Let g = -51 + 53. Sort 20, 0.4, g in descending order.
20, g, 0.4
Suppose 0 = -b + 2 - 0. Let j(l) = -l**3 + 2*l**2 - l - 2. Let x be j(b). Suppose -r + 4 = 2*z + 5, -5*z + 1 = -r. Sort r, 0, x.
x, r, 0
Suppose 0 = -2*d - 5*a + 14, 4*a - 5 - 5 = -2*d. Let h = 14 - 9. Let w be ((-4)/h)/((-4)/10). Sort w, 1, d in increasing order.
d, 1, w
Let b 