se v = -0*v + 3. Suppose -3*u = v*c + 21, 3*c - 11 = 7*u - 2*u. Sort u, w, -3.
u, -3, w
Let k(a) = -a**2 - 14*a - 14. Let r be k(-1). Put 0.3, 3/2, r, -4/15 in decreasing order.
3/2, 0.3, -4/15, r
Let s be (-1)/(28/8 - 3). Let z be 6 - (2 + (s - -3)). Sort 2, z, -4, -3 in ascending order.
-4, -3, 2, z
Let f = -6.5 + 3.5. Let o = 1.4 + -1.3. Put -0.09, o, f in decreasing order.
o, -0.09, f
Suppose 4*k = 3*q + 19, 0 = -4*k - q - 0*q + 15. Let v = k + -4. Suppose -2*p - 7 = -0*u - u, -u - 5*p = v. Sort u, -2, 3 in descending order.
u, 3, -2
Let h be (1/6)/((-7)/14). Sort -15, h, -3 in decreasing order.
h, -3, -15
Let i(q) = 11*q**2 + 3*q - 16. Let v(c) = -5*c**2 - 2*c + 8. Let s(j) = 6*i(j) + 13*v(j). Let r be s(3). Suppose -3*d - 12 = -0. Sort 4, r, d.
r, d, 4
Let o be (-12 - -2)/(2*-1). Let b be 8/(-10) - (-42)/(-10). Sort -7, b, o.
-7, b, o
Suppose 4*p - 4*r + 20 = 0, -9*r = -8*r. Sort 11, p, -2 in ascending order.
p, -2, 11
Let z = -7 + 108. Let p = z - 99. Put 0, p, 3, 1 in ascending order.
0, 1, p, 3
Let p be 4/(-12) - (-1)/6*14. Sort -5, 6, p in ascending order.
-5, p, 6
Suppose d - 13 = -9. Suppose 2*h = -d*z - 18, 3*h + 6 = -z - 1. Sort z, 5, 3.
z, 3, 5
Suppose -4*m - m + 20 = 0. Suppose -n = 4*g - 7, -3*n + 1 = -4*n + m*g. Put -1, n, 1 in decreasing order.
n, 1, -1
Let l(u) = 2*u**2 + 12*u. Let c(d) = -d**2 + d. Let t be c(3). Let q be l(t). Sort q, 1, 6.
q, 1, 6
Let y = 179 + -179. Let t be 1*(-2 + 0 - 1). Suppose q - 5 = -4*q. Sort q, y, t in decreasing order.
q, y, t
Let k be 0 + (-36)/273 + (-2)/(-7). Let w = 2 - 3. Sort k, 5, w in increasing order.
w, k, 5
Let w = -146.4 + 146.6. Sort -0.007, -6, w.
-6, -0.007, w
Let v = 0.7 - -0.3. Let x = -2982 + 2982.1. Put x, -4/3, v in descending order.
v, x, -4/3
Let u(l) = -7*l**2 + 2*l - 1. Let m be u(1). Let x = -2 - m. Put x, -4, 5 in descending order.
5, x, -4
Let b be (132/(-30) - -4)*(-120)/7. Put 3, -0.4, b in descending order.
b, 3, -0.4
Let n(f) = -2*f**3 - 2*f**2 + 2*f. Let v be n(-2). Suppose 0 = -3*q + 2*k + 8 + 17, 10*q = k + 106. Put v, q, -1 in descending order.
q, v, -1
Let m = 41 + -29. Suppose -4*a - m = 4, 2*u - 5*a - 28 = 0. Let n = -26 - -25. Sort 0, n, u in increasing order.
n, 0, u
Suppose -8*j = -3*j + 15. Let t be (-11)/j + (-3)/(-9). Put t, 1, 3 in decreasing order.
t, 3, 1
Let m(g) = -g - 5. Let s be m(3). Let v be s/40 - 54/(-170). Put 2/7, 0.01, v in increasing order.
0.01, v, 2/7
Let b = -55 - -54.933. Sort 0, b, -0.3.
-0.3, b, 0
Let v = 177 - 171. Sort -6, -4, v, 4.
-6, -4, 4, v
Suppose 14*u - 30 = 9*u. Suppose -3*o - 11 - u = -5*z, -4*o = -4*z + 20. Sort -0.4, o, -1/2 in descending order.
-0.4, -1/2, o
Let b = 4.8549 - -0.1451. Sort b, 0.5, -21, -1 in increasing order.
-21, -1, 0.5, b
Let j(l) = l - 11. Let w be j(6). Suppose -k + 300 = -6*k. Let r = 65 + k. Sort -3, r, w.
w, -3, r
Let z = 51 - 50. Let k = -4.95 - -1.95. Sort z, 6, k in ascending order.
k, z, 6
Let g(b) = 2*b - 3. Let r be g(3). Suppose 31*s + 77 = 15. Put 5, s, -1, r in descending order.
5, r, -1, s
Suppose -2*n + 6 = d, 16 = -n - d + 17. Sort -2, n, 4 in increasing order.
-2, 4, n
Let v(r) = -r**2 - r + 9. Let y be v(-3). Sort -154, y, -5 in decreasing order.
y, -5, -154
Suppose -2*g = -4*g + 4. Let x = -459 - -470. Sort -2, x, g in increasing order.
-2, g, x
Let v be (-11)/2*(-1 + 3). Let a(o) = -o**2 - 10*o - 26. Let x be a(-7). Sort x, v, 4.
v, x, 4
Let p = 505 + -507. Sort -3, -6, p.
-6, -3, p
Let q = 278.7 + -279. Put 2.3, 2, 3, q in ascending order.
q, 2, 2.3, 3
Let k = 0.02469 + 20.97531. Let u = 2.9 - 3. Sort k, 2/3, u.
u, 2/3, k
Let w be -9 - -8 - (-5)/7. Let c = -4 - 1. Sort w, c, -3/7 in decreasing order.
w, -3/7, c
Let z = 0.37 + -0.17. Let t = z - -3.8. Let m = 30.9 + -31. Sort 1/7, t, m in decreasing order.
t, 1/7, m
Suppose 0 = a + 10 - 8. Sort -4, a, 2, 10.
-4, a, 2, 10
Let f be (2/4 - (-66)/(-12))*4. Sort f, -12, -4 in decreasing order.
-4, -12, f
Let a be (46/(-2))/(-1 + 0/(-5)). Suppose -26 = d - a. Sort -1, d, 3 in ascending order.
d, -1, 3
Let g(h) = -h**2 + 4*h + 72. Let o be g(-7). Sort 3, -14, o in decreasing order.
3, o, -14
Suppose -5*l + 22 = -3*l. Let w = l + -11. Sort 4, w, -3 in ascending order.
-3, w, 4
Let t be (6/8)/(2/(-8)). Let i = 5 + t. Let b = -43.5 + 43. Sort b, i, 2/21.
b, 2/21, i
Let z be 14/5 + 21/105. Suppose b - 5*p - 16 = 4, -4*p = 3*b - z. Sort -3, b, -8 in increasing order.
-8, -3, b
Let t = -22.75 - -23.25. Sort t, 5, 0.06 in decreasing order.
5, t, 0.06
Let g(o) = 3*o**3 - 2*o**2 - 19*o + 15. Let r(x) = x**3 - x**2 - 6*x + 5. Let c(p) = -2*g(p) + 7*r(p). Let b be c(4). Sort 1, b, 3, -4/3 in decreasing order.
b, 3, 1, -4/3
Let x = 63 - 251/4. Let w = -7793 - -7793.5. Put 1, x, -2, w in ascending order.
-2, x, w, 1
Let d = 6 - 4. Suppose -58*f + 98*f + 16 = 136. Sort d, f, 0 in descending order.
f, d, 0
Let k = -1.8 + 2. Let s = 61.8192 - -0.0808. Let o = -62 + s. Sort 1/2, o, k.
o, k, 1/2
Let p = -172 + 194. Put -5, 1/2, p in ascending order.
-5, 1/2, p
Let h be ((0/(-3))/3)/3. Sort 6, h, 1, 2 in decreasing order.
6, 2, 1, h
Let f(s) = s**3 + 7*s**2 + 10*s + 12. Let a = 0 + -6. Let c be f(a). Let i be c/18*(2 - -1). Put -4, 4, i in descending order.
4, i, -4
Let r = -19.41 + 18.91. Sort -1, r, -16 in ascending order.
-16, -1, r
Let q = 270 - 287. Put 2, 13, q in increasing order.
q, 2, 13
Let d = -7 + 8. Let y = d + 2. Let a = y + -5. Sort -3, a, -4 in descending order.
a, -3, -4
Let w be 7*18/189*18/(-4). Put w, 1, 14 in ascending order.
w, 1, 14
Let q(w) be the second derivative of -w**5/4 - w**4/6 - w**3/3 - w**2/2 + 4*w. Let z be q(-1). Sort -3, z, -5, 1 in ascending order.
-5, -3, 1, z
Let t = -11 + 11. Suppose j + t = -1. Sort -2, j, -5 in ascending order.
-5, -2, j
Suppose 3*a - 4*a = 0. Let m be -3 - ((-12)/3 + a). Put m, -1, -5 in decreasing order.
m, -1, -5
Let k = 0 + -2. Let g be -1 + -1 + 0 + 4. Sort g, k, -4 in decreasing order.
g, k, -4
Let g = -11 - -7. Let x(l) = -l**2 + 11*l - 14. Let t be ((-18)/(-4))/(1/(-10)*-5). Let c be x(t). Put -5, c, g in decreasing order.
c, g, -5
Let x = 1527 + -6107/4. Let z = -8 + 14. Sort z, 1, x in ascending order.
x, 1, z
Suppose 4 = 2*j - x, 4*j + 4 = 5*x - 0. Let i = 2/261 - -500/2871. Suppose 0 = -5*w - 2*w + 7. Put w, i, j in decreasing order.
j, w, i
Suppose -z - 15 = -4*r - 0*z, -r - 2*z + 15 = 0. Let c(h) = -h**2 - 8*h - 5. Let w be c(-7). Sort w, -5, 3, r in decreasing order.
r, 3, w, -5
Suppose -21*q = 7*q + 140. Sort -1, q, 9, -1/6 in ascending order.
q, -1, -1/6, 9
Suppose -2*o - 170 = -7*o. Let z = o + -31. Let u be (-1)/((2 + 0)/(-4)). Sort u, z, 4.
u, z, 4
Let k be ((-1)/8)/(-6 - (-450)/80). Put k, 2/5, 1/5 in increasing order.
1/5, k, 2/5
Let i be (38 - 25) + 16/(-2). Let n be 3/9 - 2/6. Sort i, n, 2 in decreasing order.
i, 2, n
Let a(v) = 2*v**2 + 78*v + 449. Let n be a(-7). Let b = 2 + -7. Sort 2, n, b, -2.
b, -2, n, 2
Let x be 4/10 - (-5936)/(-9540). Sort 0.01, x, 1/3, 4/7 in descending order.
4/7, 1/3, 0.01, x
Let d = -826.12 - -826. Put 4, -24, d in increasing order.
-24, d, 4
Let y be (-4)/(-8) + 1 + -1. Let a be 15/2*2/(-42). Let v = a + y. Put v, 1/4, 4 in ascending order.
v, 1/4, 4
Let p be -24 + ((-12)/(-8) - (-66)/(-12)). Put -3, p, 0.1 in decreasing order.
0.1, -3, p
Let h be (-2375)/(-55) - (-12)/(-66). Sort h, 0, 3.
0, 3, h
Let y = 0.33 - 0.59. Let o = -0.76 - y. Suppose 0 = -3*k - 2*k. Sort o, k, -1 in descending order.
k, o, -1
Let j = -0.864 + -0.136. Put j, -1/6, -0.3, -2/23 in decreasing order.
-2/23, -1/6, -0.3, j
Suppose 2*j = -0*j. Let p be ((-22)/5 - 0)/((-396)/990). Put j, -1, p in ascending order.
-1, j, p
Let m = 3.532 + 1.468. Sort 0, 1/8, -9, m.
-9, 0, 1/8, m
Suppose 2*a = 2*k - 16, -k - 5*a + 0*a - 16 = 0. Suppose -d + 2*d = -4*v - 9, -4*v = -4*d + 24. Let g = 7 + -5. Sort g, k, d in increasing order.
g, d, k
Suppose 4 = q - 7. Suppose q = 4*k - 15*k. Put k, -0.18, 1 in decreasing order.
1, -0.18, k
Suppose 5*a + 15 = o, 0*a - 33 = 5*o + 2*a. Suppose -12 = -2*w - w. Suppose 4 = w*t + 16. Put t, o, 4 in descending order.
4, t, o
Let o be (-11)/3 + (-6)/18. Let j be (-8 - -3)*o/20. Let h be 5/(-20) - -2*j. Sort h, -4, -0.3.
-4, -0.3, h
Suppose 0 = 5*f - f. Suppose 0 = -5*k - 19 + 44. Suppose 4 = -k*b + 14. Sort -2, b, f.
-2, f, b
Let v = 11 - 10.73.