 v(o) = -3*o**2 - 8*o + 9. Let h(m) = x*i(m) - v(m). Let p be h(3). Sort 3, 5, p in descending order.
5, 3, p
Suppose -3*k = 4*r - 15, 0 = 4*k - k + 5*r - 18. Let w be 126/42 + (-5)/1. Sort -8, k, w in increasing order.
-8, w, k
Suppose t - 17 = 6*t + 2*w, -2*w + 28 = -4*t. Put t, -47, -4 in decreasing order.
-4, t, -47
Let x = -616 - -1847/3. Sort 3, 8, x.
x, 3, 8
Let n = 702 + -703. Sort 5, 163, n, 4 in increasing order.
n, 4, 5, 163
Let l be -2 + 0 - -47 - (53 - 48). Put l, -25, 2 in ascending order.
-25, 2, l
Let v be 4 + 0 - (25 + -3). Let u be v/(-8) - (-2)/(-8). Suppose -3*t - o = -1, 2*t = t + 5*o - 5. Put t, -3, u in decreasing order.
u, t, -3
Let q = -7 - -4. Sort 124, 3, q in increasing order.
q, 3, 124
Let c(b) = -b**2 + 3*b + 5. Let l be c(5). Let j(s) = 2*s**2 - 5*s. Let m be j(-3). Let v = -32 + m. Sort v, l, -1 in descending order.
v, -1, l
Let j(o) = o**2 - 4. Let r be j(0). Suppose -44*u + 12 = -50*u. Let y = 11.1 + -11. Put u, r, y in decreasing order.
y, u, r
Let o = 857.7 + -857.7. Let n be (4/(-6))/((-2)/12). Put -0.27, o, n in descending order.
n, o, -0.27
Let i(z) = -z**3 - 15*z**2 - 14*z - 1. Let x be i(-14). Sort 0, x, -4, -5 in descending order.
0, x, -4, -5
Let k be ((-10)/2)/(-1 - 0). Let s(i) = -8*i + 10. Let j(v) = 9*v - 11. Let r(a) = k*j(a) + 6*s(a). Let g be r(3). Put -5, g, 0 in increasing order.
-5, g, 0
Let b(n) = n**3 + 21*n**2 + 40*n + 37. Let u be b(-19). Put u, -2/3, -5, -9 in decreasing order.
-2/3, u, -5, -9
Let i = -57.5 + 10.6. Let s = 31 + i. Let b = s + 16. Sort b, 0.3, -0.1 in decreasing order.
0.3, b, -0.1
Let r = 0.02386 - -4.97614. Let y = -3.6 + 4. Put -8, 2, y, r in descending order.
r, 2, y, -8
Let g = -73 - -69. Suppose -5*z + 0*k - 13 = k, -z - 2*k - 8 = 0. Let o = 55 + -53. Sort o, g, z.
g, z, o
Let u be 2/(-7) + (-72)/(-7). Suppose 0 = 4*x + 6 + u. Suppose -38 = -11*o - 5. Put 0, o, x in increasing order.
x, 0, o
Let o = 2/533 - -513/5330. Put 0.3, 3/7, o, 1/7 in descending order.
3/7, 0.3, 1/7, o
Let v = 4 - 0. Let z = 9.8 + -18.8. Put v, 1, z in ascending order.
z, 1, v
Let k(x) = -3*x**2 + 74*x + 29. Let h be k(25). Put -20, -4, h in descending order.
h, -4, -20
Suppose 8*r = 3*r - 120. Let f be 4/r*-3*0. Put -2, 3, f in decreasing order.
3, f, -2
Let t = -131 - -132. Suppose 3*c = -0*c + 21. Let j = c - 11. Put 3, t, j in increasing order.
j, t, 3
Suppose -5*x = x + 24. Suppose -3*t = 4*u - 3, -3*u + 13 + 2 = -2*t. Let s = u + -1. Put s, x, 0.5 in ascending order.
x, 0.5, s
Let p = 1044.3 + -1044. Sort 2, p, -27, -4 in increasing order.
-27, -4, p, 2
Suppose -189*g - 28*g = 16*g - 932. Let x(a) = -8*a**2. Let d be x(-1). Put g, -3, d in increasing order.
d, -3, g
Suppose -2 = 3*w - 14. Let r be (3/(-42))/((-2)/8). Let j = -3899 + 3897. Sort w, j, r in increasing order.
j, r, w
Let i = 1.42 - 1.72. Put 0.3, -1/5, -5, i in increasing order.
-5, i, -1/5, 0.3
Let m = 1084/3 + -372. Let q = m + 11. Sort -2, -1/2, 3/4, q in ascending order.
-2, -1/2, q, 3/4
Let x(g) = -g - 4. Let r be x(-6). Suppose 0 = 3*k - r*k + 3. Let b = -1238 + 1241. Put 0.2, k, b in increasing order.
k, 0.2, b
Let o be 6/(-9)*-1*3. Let h(p) = -p**3 + 7*p**2 - 5*p + 31. Let m be h(7). Put -5, o, m in decreasing order.
o, m, -5
Let g = -6 + 10. Let f(c) = c**3 - 8*c**2 - c + 13. Let y be f(8). Let d be y*-2*(1 - 1/2). Put d, g, 3 in decreasing order.
g, 3, d
Let p = 691 - 690. Put 46, p, -5 in ascending order.
-5, p, 46
Let f be (14 + (-18)/3)/(-2). Sort 0.06, f, 0.
f, 0, 0.06
Let g = 222.4 + -222. Sort g, 0.3, -2/5.
-2/5, 0.3, g
Let r be (55 - 6)/(1 + -10) + 4. Let q = r + 47/45. Put 0, -2, q in descending order.
0, q, -2
Let d = 1888 + -1887.049. Let q = d + 0.049. Sort -0.2, q, 0 in decreasing order.
q, 0, -0.2
Let p be (130/45 - 3)*1. Sort 0.11, 3/2, p, 2/13 in decreasing order.
3/2, 2/13, 0.11, p
Let h = 8 + -11. Let k = -0.032 + 0.016. Let u = 4.984 - k. Sort h, u, 0.2 in ascending order.
h, 0.2, u
Let b = -152 + 160.63. Let v = b + 0.37. Sort v, -2, -0.5 in decreasing order.
v, -0.5, -2
Let w be 9 - -3*(-28)/21. Put w, -2, -1, 4 in descending order.
w, 4, -1, -2
Let l = -0.05 + -0.1. Let n = l - -0.65. Let p = 0.5 - n. Put p, 4, 0.1 in ascending order.
p, 0.1, 4
Let f be (3/2)/(21/14)*20. Suppose 5*l + r + 0 = 8, 4*l = -2*r + 4. Let a be 0/l*f/(-60). Sort 1, a, -1 in decreasing order.
1, a, -1
Suppose 1 = -3*p - 2. Suppose 5*j - 16 = j. Suppose -24 = -4*q + j*a, 10 = 2*q + q + 5*a. Put -2, q, p in ascending order.
-2, p, q
Let v = 1336 + -1333. Sort v, -2/81, 0.1, -0.2 in ascending order.
-0.2, -2/81, 0.1, v
Let g(l) = -32*l - 489. Let a be g(-16). Sort -9, 0.2, a, 1 in descending order.
a, 1, 0.2, -9
Let i = 129 + -121.9. Let l = i + -6.9. Let z = 5 - -1. Sort l, 2/13, z.
2/13, l, z
Let l(t) = -5*t + 101. Let p be l(16). Put 1, -5, p in decreasing order.
p, 1, -5
Let r = 14 + -10. Suppose 0 = -4*h - 12 - r. Suppose -4*q + 8 = 0, -8*q = 3*v - 9*q + 5. Sort v, h, -3 in decreasing order.
v, -3, h
Let z = 822.9 - 823. Sort 0, 5.6, z.
z, 0, 5.6
Suppose p - v = 8, 0 = -5*v - 23 + 3. Suppose -p*i + 13*i - 27 = 0. Sort i, 0.3, -2 in ascending order.
-2, 0.3, i
Let m(x) = x**3 + 3*x**2 - x + 1. Let l be m(0). Let j be 2/(-12)*3*-40. Sort -3, j, l in descending order.
j, l, -3
Let z(g) = g**3 - 9*g**2 + 10*g - 12. Let o be z(8). Let s(v) = 54*v - 267. Let a be s(5). Sort o, a, 1, -1 in decreasing order.
o, a, 1, -1
Let s(y) = -y**3 + y - 3. Let c be s(0). Sort 6, -5, c.
-5, c, 6
Let b = -35 + 20. Sort 5, -0.2, b in decreasing order.
5, -0.2, b
Let s be 0/7 + 9/(-3). Sort -5, s, 15 in decreasing order.
15, s, -5
Let s = -31 - -30. Suppose i + 4 = -l - 1, -5*l - 7 = -i. Sort s, i, 0.3 in descending order.
0.3, s, i
Let d(l) = -131*l. Let r be d(-2). Let u = r + -3404/13. Let t = -666.5 - -666. Sort t, u, 0.3 in increasing order.
t, u, 0.3
Let q be (-1 + -1 + 336/126)*-6. Sort 9, q, -1.
q, -1, 9
Let v(b) be the third derivative of 5*b**2 + 1/2*b**3 - 1/24*b**4 + 0 + 0*b. Let c be v(3). Put -1, 2/11, c in ascending order.
-1, c, 2/11
Let q = 378 + -378. Sort -4, q, 5, 2 in descending order.
5, 2, q, -4
Let n = 147 + -148.04. Let w = -0.54 - n. Put w, -0.05, -5, -0.4 in ascending order.
-5, -0.4, -0.05, w
Let b = 1381/7 - 197. Let j = 307.94 - 307.93. Put -3/5, b, j in descending order.
b, j, -3/5
Let y be ((-5)/(-75))/(3 + 135/(-50)). Let p = -0.01 - -4.01. Sort 0.1, y, p, -5 in descending order.
p, y, 0.1, -5
Let i = -13 - -15. Let z = 44 + -76. Let p be (i/(-12))/(8/z). Sort 0.04, p, -3 in increasing order.
-3, 0.04, p
Suppose -8 = -10*x + 14*x. Let r be (-58)/(-18) - (-4)/(-18). Suppose 0*s + 2*s + 4*w = 4, r*s - 5*w = 6. Sort 0, s, x in decreasing order.
s, 0, x
Let o = 2171 + -2173. Put -2.6, -2/5, 5, o in ascending order.
-2.6, o, -2/5, 5
Let a = -608 - -608. Put -1, 4, a, 33 in descending order.
33, 4, a, -1
Let b be (1 + 0)/(-6 + 5). Let c be ((-2)/b)/(2/(-4)). Let i(x) = -x**3 - x - 1. Let v be i(0). Sort -3, c, v in decreasing order.
v, -3, c
Suppose 0 = 16*r - 12*r - 6*r. Put r, -21, 5 in decreasing order.
5, r, -21
Let v be -2 + -1*(-8)/(-8). Put v, 5, -311 in ascending order.
-311, v, 5
Let d(x) be the third derivative of 7*x**4/12 + 4*x**2. Let v(u) = 5*u. Let h(c) = -4*d(c) + 11*v(c). Let m be h(2). Put 2/11, -4, m in ascending order.
-4, m, 2/11
Let u = 775 - 774. Sort 3, -5, u, -290.
-290, -5, u, 3
Let g = 18 - 14. Let j be -1 + (-5 - -1) + g. Suppose 0*f = 4*f + 5*o - 16, 0 = -3*f - o + 12. Sort -3, j, f.
-3, j, f
Let q = -460 + 458. Let o = -9.08 - -0.08. Let w = -4 - o. Sort q, 1/3, w in descending order.
w, 1/3, q
Let b = -1.979 - 0.021. Let v be (-7)/672*(-6)/(-4). Let r = v - -97/64. Sort b, 1/7, r in ascending order.
b, 1/7, r
Let c = -48 + 68. Suppose -11*q = -6*q + c. Let r = 1 + 7. Sort -5, q, r.
-5, q, r
Let s(t) = t**3 - 13*t**2 + 14*t - 82. Let h be s(12). Sort 3, -2, h in decreasing order.
3, -2, h
Suppose 6 = m - p, 48 = m + 2*p + 45. Sort m, -5, 172 in increasing order.
-5, m, 172
Let p(r) = -r - 1. Let a be p(-3). Suppose -4*s + 3 = -a*t - 7, -5*t - 3*s = 25. Let b be (8/(-16))/((-1)/2). Sort -3, t, b in ascending order.
t, -3, b
Let n = 16 + -11. Suppose 2*p = 5*x + 26, -3*x - 2 = -p - 6*x. Let w = p - n. Put -5, 2/11, w in descending order.
w, 2/11, -5
Let b(s) = -7*s + s + s**2 + 1