-6/7 + 64/91. Put x, 4, m in decreasing order.
m, 4, x
Let x be 0/(-2) + (-14)/7 + 0. Sort 2, -3/4, x in ascending order.
x, -3/4, 2
Suppose 0 = -3*w + 4*w. Let r = -4 - w. Put -2, r, 4 in ascending order.
r, -2, 4
Suppose 2*z - 7 = -k, 0 = -z - 2 + 3. Suppose -k*p + 9*w = 4*w + 10, 0 = -2*p + w. Put -15, 5, p in decreasing order.
5, p, -15
Let a = -5.1 + 0.1. Let s = -13 + 14. Sort -7, s, a.
-7, a, s
Suppose 21*q - 21 = 14*q. Sort 12, 1, q in decreasing order.
12, q, 1
Let u = 5 + -5. Sort u, -2/9, 3/7.
-2/9, u, 3/7
Let k be (-2)/(-4)*0/2. Suppose 3*o = -k*o + 24. Suppose 5*j + 17 + o = 0. Put 0.2, -0.2, j in increasing order.
j, -0.2, 0.2
Suppose 1 = -2*a - r, -r + 12 + 1 = -5*a. Let t = 2 + -1. Sort t, a, 0 in ascending order.
a, 0, t
Let g = -0.2 + 0.6. Let s = -0.28 + -0.02. Let k = -0.1 + 5.1. Put s, g, k in descending order.
k, g, s
Let o = -4.2 - 0.8. Sort o, -1, -0.5 in increasing order.
o, -1, -0.5
Let j be (-7)/4 - 6*(-3)/24. Let f be ((-4)/(-10))/((-9)/(-5)). Put 5, j, f in decreasing order.
5, f, j
Suppose 0 = 5*n - 2*p + 17, -n - 2*p + 1 = 2*p. Put -5, -1, -2, n in increasing order.
-5, n, -2, -1
Suppose 4*c + 0 = -3*y + 23, -5*y + 15 = -5*c. Suppose -l = q - 2*q, -2*q + 9 = -y*l. Let n = 62 + -253/4. Put n, l, -1 in decreasing order.
-1, n, l
Let h = 53 + -57. Sort h, -3, 0, -32 in decreasing order.
0, -3, h, -32
Suppose 27 - 54 = -3*d. Put -4, 2, d, 4 in ascending order.
-4, 2, 4, d
Suppose -2*x = -2, 0*d + 5*x = d + 1. Let h be -2*3/6*5. Put h, d, -3 in ascending order.
h, -3, d
Let y = 32 + -25. Sort -5, y, 5, -3 in descending order.
y, 5, -3, -5
Let m be 2*10*3/(-12). Let f be ((-24)/(-16))/(1/2). Let c be (1*2)/(4/10). Put f, c, m in decreasing order.
c, f, m
Suppose -3*t = -4 + 13. Let i be 124/120 + 1/t. Let a = -9/70 + i. Sort a, -5, -0.1 in increasing order.
-5, -0.1, a
Let l be (18/(-3) - -4) + 12. Sort l, -3, 2 in decreasing order.
l, 2, -3
Let a be ((-6)/(-8))/(45/36). Sort a, -0.09, 0.4 in increasing order.
-0.09, 0.4, a
Let h be (2 - 65/30)*-2. Sort 2/7, 3, h.
2/7, h, 3
Suppose z - u = 5, -10 = -0*z - 2*z - 4*u. Sort 4, -3, z, 11 in decreasing order.
11, z, 4, -3
Suppose 0 = 8*v + 33 - 177. Sort 2, v, -5 in increasing order.
-5, 2, v
Let a = 0.03 - -0.27. Let v be 2/2 + (-16)/(-14) + -2. Put v, a, -3 in decreasing order.
a, v, -3
Let w = 479/4 - 120. Put -3, -42, w in descending order.
w, -3, -42
Let h = 6 + -1. Let s = h + -7. Put 4, 3, s in increasing order.
s, 3, 4
Let k be -4 + (0 - (3 + -5)). Sort -5, 2, k in descending order.
2, k, -5
Suppose 30 = -0*z + 3*z. Let g be (-24)/10 + 4/z. Sort g, 1, 2 in decreasing order.
2, 1, g
Let i(l) = l**2 + 5*l + 7. Let w be i(-3). Put -1/4, w, -2/3 in descending order.
w, -1/4, -2/3
Let o = -15.9 - -12.9. Put 10, 0.3, -2/11, o in decreasing order.
10, 0.3, -2/11, o
Let q = 26 - 37. Let d = q + 8. Let f = d - -2.7. Put 0.4, 0.5, f in descending order.
0.5, 0.4, f
Let m(l) = l - 1. Let r be m(-2). Let n be 4/3 - (-8)/12. Suppose -8 = 5*q + n. Put r, -4, q in descending order.
q, r, -4
Let l(b) = -b**2 + 9*b + 1. Let n be l(8). Suppose 0 = 4*q + 17 - n. Suppose y = -0 - 1. Sort y, q, -3 in ascending order.
-3, q, y
Let p = 16 + -15.5. Sort -6, 2/3, p in descending order.
2/3, p, -6
Let b = -2.1 - -0.1. Suppose -2*x = 2*i - 4, 4*i + 1 = -3*x + 10. Put -3, b, x in ascending order.
-3, b, x
Let m = 5 + -5. Let b be 3 - 1 - m - 6. Put b, 1, 4 in ascending order.
b, 1, 4
Let r(s) = -s - 4. Let i be 1 + 1 + -2 + -8. Let b be r(i). Suppose -3*w + b*w = -1. Sort w, -5, 2 in increasing order.
-5, w, 2
Let h = 12 + -20. Sort -3/7, h, -1, 2/3 in increasing order.
h, -1, -3/7, 2/3
Suppose 4*u - 2*d = 14, 0*u - 3*d = 3*u - 15. Suppose r + 16 = 5*r + u*b, 5*b = -r - 8. Sort -1, r, 5.
-1, 5, r
Let m = -10 - -10. Suppose -a = -m + 2. Suppose 9 = 4*g + 1. Put 0, a, g in increasing order.
a, 0, g
Let f = -31/116 + 1/58. Let m = -0.8 - -0.6. Suppose -2*r = 2 + 2. Put r, f, m in decreasing order.
m, f, r
Let v be (-32)/(-12) + (-4)/2. Let m = -1804 + 236326/131. Let n = -649/393 - m. Sort -0.1, n, v in decreasing order.
v, -0.1, n
Let w(y) be the first derivative of -y**2 + 9*y - 3. Let m be w(6). Sort m, -4, 2 in increasing order.
-4, m, 2
Let h = 0.52 + 24.48. Let d = h - 19. Put 3/7, d, -0.5 in decreasing order.
d, 3/7, -0.5
Let m = -1 + 0. Let d = 0 - -3. Sort m, -4, d in descending order.
d, m, -4
Let g = 153.7 + -167. Let o = 13 + g. Sort 2/15, o, -0.1.
o, -0.1, 2/15
Let g be (2/(-4))/(2/(-12)). Suppose -g = -n + s - 7, -4*n = 4*s - 24. Suppose -9 = 4*i + 7. Put n, -1, i in decreasing order.
n, -1, i
Suppose 0*c + 3*c = 27. Suppose -h + 1 = -i, -18 + c = 3*h. Put 2, 0, i in decreasing order.
2, 0, i
Let k be ((-45)/(-3))/(-3) + 0. Suppose -5*b + 3*t - 30 = 0, t + t - 13 = b. Put b, k, 4 in decreasing order.
4, b, k
Let j(m) = -2*m**2 - 40*m - 32. Let a be j(-19). Sort 5, -3, a, -5 in increasing order.
-5, -3, 5, a
Let k = -0.8 - -1.3. Put 0.4, -0.4, k in descending order.
k, 0.4, -0.4
Let s(m) = 3*m**3 - m - 2. Let t be s(-1). Put -13, t, 0, -5 in increasing order.
-13, -5, t, 0
Suppose 0 = 8*i - 36 + 36. Sort i, 4, 3, -6 in increasing order.
-6, i, 3, 4
Let o be 9*((-10)/2)/(-15). Put -5, 5, o in increasing order.
-5, o, 5
Suppose 6*a = a - 25, -3*x + 3*a = 0. Put x, 7, -3 in decreasing order.
7, -3, x
Let m = 18 + -24. Let r = -1 - m. Put -2, r, 4 in decreasing order.
r, 4, -2
Let y be ((-19)/76)/((-3)/(-8)). Put 4/3, y, 2, 0.5 in decreasing order.
2, 4/3, 0.5, y
Suppose w - 16 = 3*r, -3*r - 26 = 6*w - 2*w. Let p = -8 - r. Sort 3, p, 1 in decreasing order.
3, 1, p
Suppose 3*p + 2*p + 4*o = 18, -5*o + 14 = 2*p. Suppose 16 = -12*x + 8*x. Put x, p, -3 in ascending order.
x, -3, p
Let t = -3758/3443 - -2/3443. Let n = 93/55 + t. Put n, -3, -0.2 in decreasing order.
n, -0.2, -3
Suppose -p - 3*p - 4*f = -24, -4 = -4*f. Let v(a) = -7*a - 3*a**2 + 1 - 2*a**2 + 2*a**2 + 4*a**2. Let g be v(6). Sort p, -4, g in increasing order.
g, -4, p
Let p = 0.15 + -0.75. Let s = 0.5 + p. Put -5, -0.3, s in descending order.
s, -0.3, -5
Let o = 10 + -5. Sort o, -4, 0 in descending order.
o, 0, -4
Suppose -2*y - 2*y - 2*p + 10 = 0, 5*y - p = 30. Let k = y + -5. Suppose 4*f - l - 4*l - 13 = k, 2*f - 9 = 3*l. Sort 2, -5, f in decreasing order.
2, f, -5
Let h(p) = p. Let u be h(3). Let j = 21 - 20. Suppose q - u*f + j + 2 = 0, 0 = 2*q + 2*f + 6. Sort 3, -1, q in ascending order.
q, -1, 3
Let g = 3816.37 + -3744. Let v = g + -72. Let y = v + 0.03. Sort -2/7, y, 1.
-2/7, y, 1
Suppose 0 = -7*z + 4*z + 3. Suppose 5*x + 3*q + 9 = 0, x - 11 = 5*q + 4. Put -1, x, z in ascending order.
-1, x, z
Let z = 5 - 4.91. Let u = z + 3.91. Let s be (-8)/(-36) + 2/(-6). Sort s, -1, u in ascending order.
-1, s, u
Let b be 126/140 + (-1)/(-10). Let i be 0 - 0 - (-1 - -4). Sort i, b, 0 in ascending order.
i, 0, b
Let y = -9 + 5. Let o(a) = -a**2 - 7*a + 4. Let l be o(-7). Let s = l - 3. Sort y, 1/3, s.
y, 1/3, s
Let t(g) = g**3 - g**2 + 6. Let l be t(0). Suppose 5 = -x + 5*k - 3*k, -2*x - 4*k + l = 0. Sort x, 0, 0.3.
x, 0, 0.3
Let w = -7.3 - -1.3. Let l = w + 1. Put l, 0.5, 0.2 in increasing order.
l, 0.2, 0.5
Let o = -29 - -29.4. Sort o, 1/5, 4 in ascending order.
1/5, o, 4
Let w be ((-2)/6 + 1)/((-1)/3). Sort -3, 2, w.
-3, w, 2
Let g be 14/(-21)*(-9)/2. Suppose g = -n + 6. Let v(w) = -w - 4. Let m be v(0). Put -2, m, n in ascending order.
m, -2, n
Let h be (-14)/(-4) - 7/14. Let v be 1*(1 - (-5)/(-2)). Put 0.1, h, v in descending order.
h, 0.1, v
Suppose -3*l = -5*n + 7 - 40, 3*l = 2*n + 15. Let j = 10 + n. Suppose -4*a + 15 = -a. Put a, 0, j in decreasing order.
a, j, 0
Suppose 3 = 3*k + 3*a - 6, 4*k + 3*a - 7 = 0. Sort -5, 1, k in increasing order.
-5, k, 1
Let c = -4 - -4.5. Let p = 12 + -12.5. Put 4, c, p in descending order.
4, c, p
Let w = -7 + 11. Let a = 3 - 0. Sort w, -3, a in descending order.
w, a, -3
Suppose -4*d = 2*d - 9*d. Sort d, 2/13, 0.2 in increasing order.
d, 2/13, 0.2
Let u = 54 - 55. Put 0.2, -5.1, u, 3 in descending order.
3, 0.2, u, -5.1
Let n(q) = q + 6. Let d be n(-7). Let l = 60 + -60. Put d, l, -1/2 in descending order.
l, -1/2, d
Suppose 0 = -2*w + 5*v - 138, 58 = -w + 2*v - 5*v. Let l = w - -255/4. Put l, 2, 0.4 in descending order.
2, 0.4, l
Suppose 0 = 2*l - 0*l. Let c = l - 0. Let u be c/(3*3/9). 