*v + 10, -4 = v - 4*q - 2. Sort v, -10, o, -3 in decreasing order.
v, o, -3, -10
Let v be ((-2)/5)/((-9)/(-45)). Let z = 2 - 5. Let q = -3 - z. Put q, -0.2, v in decreasing order.
q, -0.2, v
Suppose 0 = -3*q + 5*l + 44, 5*q + 5*l - 4*l = 92. Let v be ((-1)/(-3))/(3/q). Let y = -70 + 71. Put y, v, 4 in increasing order.
y, v, 4
Let k = -25 + 24.93. Let c = k - -0.17. Put 1/2, -0.13, c in decreasing order.
1/2, c, -0.13
Let z be 2/4*1*6. Suppose -190*y = -191*y - 2. Let c = -8 + 4. Sort c, z, y in decreasing order.
z, y, c
Suppose q - 8 = -5*o + 12, 5*o - q - 20 = 0. Suppose 4*b = 2*u - 42, 2*b - 3*u - 57 = 6*b. Let f = b + 7. Put f, o, 2 in ascending order.
f, 2, o
Suppose q - 4*q = -12. Suppose -h - 4 = -5*n + 3*n, q*h = -2*n - 66. Let r be ((4/2)/8)/((-6)/(-24)). Sort r, 5, h in decreasing order.
5, r, h
Let f = 8.8 - 9.6. Sort 0.2, 5, f in descending order.
5, 0.2, f
Let g = 2.4 - 0.4. Let s = -6.82 + 0.32. Let c = s - -1.5. Put c, -0.2, g in descending order.
g, -0.2, c
Suppose 2*k = -3*v - 22, -k = -0*v + 2*v + 13. Let t = -757 - -756.9. Put k, t, 0.05 in descending order.
0.05, t, k
Let h = -226/11 - -20. Sort 0, -0.4, -1, h in increasing order.
-1, h, -0.4, 0
Let k be (-24)/(-40) - 254/(-10). Let q be 72/(-39) + (-4)/k. Let f(d) = d**2 - 14*d - 16. Let i be f(15). Sort 5, i, q in ascending order.
q, i, 5
Let l(j) = j**2 - 15*j + 10. Let d be l(14). Let i(s) = 2 - 9*s - 7 - s**2 + 3*s. Let c be i(d). Sort c, -5, 2.
-5, 2, c
Let t = 311 + -4045/13. Sort 3/8, 3, -5/3, t.
-5/3, t, 3/8, 3
Let i = -433 + 436. Put 2, 5, i in increasing order.
2, i, 5
Let k = 0.4 - 0.4. Let z = -0.328 + -2.672. Sort k, 0.5, z.
z, k, 0.5
Let k = -4 + -1. Let o = -30 - -34. Suppose 0 = -3*p + u - 4, 2*u + 0 = -o. Sort 2, k, p in increasing order.
k, p, 2
Suppose n = -5*n - 6. Let j be n/(-6) + (-23)/30. Let o = 23/66 - 2/11. Sort o, j, 0.2.
j, o, 0.2
Let q be 345/130 - 5/2. Let j = -617/5 - -123. Sort j, q, -2 in decreasing order.
q, j, -2
Let l = 149 - 146. Sort 5/28, -2, l, -0.3 in descending order.
l, 5/28, -0.3, -2
Let x = -2 - -13. Let c = 1.4 + 10.1. Let g = x - c. Sort g, 3, -0.4.
g, -0.4, 3
Suppose 56*l + 292 - 426 = 426. Suppose 5*v + 5 = 2*r, v - 3 = -2*v. Sort r, l, -3 in decreasing order.
l, r, -3
Let t = 32 + -28. Suppose -2*d - t + 31 = -5*h, 3*d - 28 = 5*h. Put 3, d, 5 in ascending order.
d, 3, 5
Suppose 195*k + 74 = 48 + 221. Suppose -3*b + 2 = 32. Sort b, -2, k in descending order.
k, -2, b
Let u be ((-5)/2)/(3/(-6) + 0). Put 68, -2, u, 0 in ascending order.
-2, 0, u, 68
Suppose 4*x + 9 = r, 2*r - 2*x + x = -3. Suppose m = -g - 11, 4*g + g = m - 7. Let o be m + ((-1)/3)/((-3)/9). Put o, 0, r in ascending order.
o, r, 0
Suppose 51 = -5*g + 2*r, 0 = -g + 3*g + 2*r + 12. Let u(i) be the first derivative of i**4/4 + 8*i**3/3 - 9*i**2/2 + i + 11. Let l be u(g). Sort 0.2, l, 2/13.
2/13, 0.2, l
Let x = 1366 - 1368. Put 17, 0, x, 3 in increasing order.
x, 0, 3, 17
Let d(j) = -j**3 - 2*j**2 + 4*j + 5. Let x be d(-3). Suppose -a + 3*a + 5*i = 19, 0 = x*i - 10. Sort a, 1, -1, -4.
-4, a, -1, 1
Let q = -0.57 - -0.4. Let c = q - -0.4. Let r = c + -0.16. Put -3, 0.3, r in decreasing order.
0.3, r, -3
Let f = 1597/5 + -319. Put f, 10, 0.1, -1/2 in decreasing order.
10, f, 0.1, -1/2
Let a(q) = -q**2 - 5*q - 4. Let s be a(-5). Let j(u) = u**3 + 12*u**2 + 12*u + 12. Let o = -73 - -62. Let z be j(o). Sort -16, s, z.
-16, s, z
Let r be (7 + -5)/(2/(-8)). Sort -0.4, -4, r in increasing order.
r, -4, -0.4
Let q = -0.144 - -80.144. Let k = q - 76. Let u be (-4)/14 + (-8)/21. Put u, 2/3, k in descending order.
k, 2/3, u
Let x = -42.07 - -0.07. Let h = -42 - x. Put 2, h, 0.1 in descending order.
2, 0.1, h
Suppose -3*n + r = 2, -3*r = -n - 0*r + 2. Sort -10, -3, 5, n in decreasing order.
5, n, -3, -10
Suppose 0 = -6*y + 6 - 0. Suppose x - 5 = -5*c, 3*x - x = c - y. Let m(z) = -z**2 + 4*z + 3. Let h be m(4). Put 2, h, c in descending order.
h, 2, c
Suppose -3*g = 3*s + 6, -2 - 3 = -2*s - 5*g. Let m be -2 - 3/(6/14). Sort s, 4, m in ascending order.
m, s, 4
Suppose 0*k - 12 = 6*k. Let a = 21 - 18. Put k, -3, a, 0 in increasing order.
-3, k, 0, a
Let t = -1 + 11. Let y be (-24)/14 + (-3)/(105/t). Sort y, -1, -4 in descending order.
-1, y, -4
Let v(j) = 0 - j**2 + j + j**2 + 1 - j**2. Let u be v(-1). Let l(r) = r**3 + 5*r**2 + 4*r - 3. Let d be l(-4). Put 4, d, u in decreasing order.
4, u, d
Let t = 5 - 10. Let g = 5.41 + -0.21. Let p = g - 4.8. Put p, 3, t in increasing order.
t, p, 3
Let p(u) = -11*u - 13. Let d be p(-4). Let b = -27 + d. Sort -2, -4, b in descending order.
b, -2, -4
Let b = -2196 - -2197. Put -0.4, -0.1, b, 204 in increasing order.
-0.4, -0.1, b, 204
Let u = -615.05 - -631. Let f = u + -16. Let n = f - -4.05. Sort n, 1/4, -4.
-4, 1/4, n
Let d = -0.22 - 0.28. Let w = -26 + 30. Put w, 0.5, d in increasing order.
d, 0.5, w
Let t be (2 + -2)*2/(-4). Suppose -5*o - 4 + 24 = t. Sort 17, -4, o in ascending order.
-4, o, 17
Let f = 68 + -70.3. Let c = 2.1 + f. Put c, 0.5, -4, -4/3 in increasing order.
-4, -4/3, c, 0.5
Suppose -k - 8 = -4. Let a = 0 - -1. Put a, 7, k in descending order.
7, a, k
Suppose 17 = -5*y + 2*g, -y + g = -8 + 12. Let k(z) = -z**3 - z**2 - z - 2. Let t be k(-2). Sort -4, 1, t, y in decreasing order.
t, 1, y, -4
Let b be (-1)/10 + 16/60. Sort 0.8, -0.1, 7, b.
-0.1, b, 0.8, 7
Let a = 0.797 - -0.203. Put -1/2, 18, a in descending order.
18, a, -1/2
Let z(x) = x**3 - 7*x**2 - 7*x - 6. Let a be z(8). Let u be (36/(-12))/((-2)/(-2)). Sort a, u, 0 in decreasing order.
a, 0, u
Let r be 229/(-19) - (-3)/57. Put r, -14, 0, -3 in decreasing order.
0, -3, r, -14
Suppose 2*j + 4 = -4*l, 5 = -2*l + j + 7. Sort l, -4, -2 in decreasing order.
l, -2, -4
Suppose -5*a = -5*j - 35, 0 = -a + 5*j + 9 + 2. Suppose -v = -a*v - 4*y - 9, -3*y - 3 = 3*v. Put -11, -3, v in decreasing order.
-3, v, -11
Suppose 3*a = -4*t - 14, -2*a + 4*t + 4 = -0*t. Let w be (44/6)/(a/(-12)). Let v be 1 - 13*4/w. Put -5, 5, v in increasing order.
-5, v, 5
Let q = 116 + -108. Let p = 83 - 245/3. Sort q, -1, p in decreasing order.
q, p, -1
Suppose -l - 9 = 2*q - 3*q, 6 = -2*l. Let o = 7 - q. Let u(c) = -5*c - 33. Let s be u(-7). Sort o, -4, s in decreasing order.
s, o, -4
Let g = 24 - 76/3. Let i = 3217 + -3212. Sort g, 1, i in ascending order.
g, 1, i
Suppose -2*a - 3*a + 15 = 0. Suppose -a = -o + 2. Put -1, -7, o in increasing order.
-7, -1, o
Let x = 22/37 + -81/74. Put x, -0.2, -1/4, 0.07 in increasing order.
x, -1/4, -0.2, 0.07
Suppose 3*g = -2*m + 6*m + 27, -2*g = -10. Sort 1, -7, m, 3 in increasing order.
-7, m, 1, 3
Suppose 0*y = y. Suppose -45*c - 900 = 15*c. Put -2, y, c in descending order.
y, -2, c
Let y = -1/10 - -1/2. Sort -4, y, -0.5, -6 in descending order.
y, -0.5, -4, -6
Let l = 0 + 1. Let r(p) = -4*p**2 + 41*p - 8. Let i be r(10). Sort i, 8, l.
l, i, 8
Let q = 0.3 - 3.3. Suppose 4*h = 2*u + 10, 0 = -4*u + 42*h - 47*h + 32. Sort -2, q, u in ascending order.
q, -2, u
Let n(c) be the third derivative of c**5/60 + c**4/3 + 7*c**3/6 + 10*c**2. Let g be n(-7). Put g, -2, -3, -7 in increasing order.
-7, -3, -2, g
Let v be -4*((-441)/28)/(-9). Put 4, v, 0.2 in descending order.
4, 0.2, v
Let d = 1615 + -1614.95. Sort d, 1/6, -5, -2 in increasing order.
-5, -2, d, 1/6
Let w = -9 + 33. Let h = w + -27. Let t be -1 + 4 + -2 + h. Put 0, 5, t in descending order.
5, 0, t
Suppose z = 2*w - 12 + 3, -5*z = -5*w + 25. Let m(g) = -g**3 - 1. Let b be m(-1). Sort w, b, -4 in increasing order.
-4, b, w
Let o be (2/3)/((-2)/30). Let r be 38/2527*-7 + (-42)/(-38). Sort 2, o, r.
o, r, 2
Suppose -6*f - 196 + 256 = 0. Sort -2, 2, f, 5.
-2, 2, 5, f
Let g = 0.8 - 0.4. Let d be ((-3)/(-20))/(135/20 + -7). Sort d, g, -2/9 in increasing order.
d, -2/9, g
Let u be -3 + 5/1 - (-2 - -3). Sort -4, -2, u.
-4, -2, u
Let h = 2344 - 2342. Let i = -5 + 8. Put 8, 0, h, i in descending order.
8, i, h, 0
Let l(q) = -q**3 - 6*q**2 + 18*q + 12. Let x be l(-8). Suppose -5*j - 3 + 28 = 0. Suppose j*f + 1 = 6. Put f, -5, x in increasing order.
-5, x, f
Suppose 3*t + 36 = -72. Let i be (-99)/t - 1/(-4). Let l = 4 + -8. Put l, i, 4 in decreasing order.
4, i, l
Let d be (104/16)/13*-8. Put -3, d, 2 in decreasing order.
2, -3, d
Suppose r = -0 + 1. Let z(s) = 2*s**2 - 93*s - 467. Let n be z(51). Let j = 2 + -4. Put r,