= -4*v. Sort -3, 7, v, 1 in decreasing order.
7, 1, v, -3
Let f(a) = a**2 - 6*a + 8. Let o be f(5). Suppose k - 5*z + o*z - 21 = 0, 5*z + 40 = 2*k. Let p = -27 + k. Sort 0, 2, p in ascending order.
p, 0, 2
Let k(x) = 5*x - 37. Let d be k(6). Let i(a) = -a**2 - 5*a + 15. Let h be i(d). Put -4, h, -2, -5 in decreasing order.
h, -2, -4, -5
Let c = 14.005 - 14. Let u = c + 0.395. Sort -0.1, u, 24, 2 in increasing order.
-0.1, u, 2, 24
Let q be (11/((-44)/6))/((-15)/(-20)). Sort 0, 163, q.
q, 0, 163
Let k be (-2 + 1)*(1 - 4). Let d = 867 - 862. Sort d, -9, k in decreasing order.
d, k, -9
Let t be 4/((-40)/15*3/(-4)). Let g = 0 - 12. Let p = g - -7. Put p, 0, t in ascending order.
p, 0, t
Suppose -5*p + 0*p + 10 = 0. Suppose -p*t - 23 = 3*v, 2*t + 5*v = 3*t - 21. Let u = 303 - 299. Put u, 0, t in descending order.
u, 0, t
Suppose -12*x + 40 = -52*x. Sort -12, 2.3, x in decreasing order.
2.3, x, -12
Let v = -11 - -15. Suppose 2*d = -g - 7, -5*g - 6 = v*d - 1. Let h(o) = 3*o - 6. Let y be h(7). Sort -4, d, y in decreasing order.
y, -4, d
Let o(d) be the first derivative of 3*d**2/2 + 4*d + 35. Let h be o(-3). Suppose 0 = 2*n + 3 + 1. Sort n, 2/5, h in descending order.
2/5, n, h
Suppose 113*l = 16*l - 485. Let v = 4 - -1. Sort v, 3, l, -3 in decreasing order.
v, 3, -3, l
Let y = -643 + 1927/3. Sort 14, y, 5.
y, 5, 14
Let w be (-8*1)/(7/(-112)). Let y = -130 + w. Put y, 2/11, 3/7, 1 in descending order.
1, 3/7, 2/11, y
Let u = 0.92 + 0.08. Suppose 5*j + 4*v = -1 - 3, -5*j + 4*v - 36 = 0. Let i be (-25)/(-14) - j/(-14). Sort u, -1, i in increasing order.
-1, u, i
Let c = 6.7 + -7. Let n be (-2 + 4 + -4)*2. Let l be 32/88*(n + 2)/(-4). Sort -1/4, c, l in decreasing order.
l, -1/4, c
Suppose 3*j - 5 = 2*j. Let z = -0.13007 - -0.33007. Put j, 3, z in descending order.
j, 3, z
Let w(q) = q + 13. Let o be w(-10). Suppose -3*y - 12 = o. Let t(s) = 2*s - 16. Let d be t(9). Put 1, d, y in increasing order.
y, 1, d
Suppose -5*s - 23 = -g, 4*g + 18 = 5*g - 4*s. Put 5, -4, 2, g in decreasing order.
5, 2, g, -4
Let y = 73.8 - 74. Let k = 1.6 + -1.67. Let d = k - -2.07. Put y, d, 0.5 in ascending order.
y, 0.5, d
Let f(l) = -l - 9. Let z be f(-12). Suppose -2*c + 8 = z*y, -y - 4*y - 5*c + 15 = 0. Suppose 18 = -2*a + g - 3*g, 4*a = 5*g + 9. Sort a, 5, y.
a, y, 5
Let d = 11.5 - 7.5. Sort -0.2, d, 0 in increasing order.
-0.2, 0, d
Let n(l) = l - 5. Suppose -5*u + 2*m - 31 = 6*m, 4*m + 4 = 4*u. Let t(j) = -4*j - 4. Let f be t(u). Let r be n(f). Sort -1, r, 1.
-1, 1, r
Let h be (-14 - -12)/(-3 + 2). Sort h, -6, 10 in increasing order.
-6, h, 10
Let h(o) = -3*o**3 + 7*o**2 - 1. Let d be h(1). Sort -5, 4, -24, d in increasing order.
-24, -5, d, 4
Let x(h) = 11*h**3 + 2*h**2 + h. Let o be x(-1). Let d = 11 + -11. Suppose -16 = -2*p - 6. Sort o, d, p in ascending order.
o, d, p
Suppose -18*f + 136 = -26. Sort -5, -2, f, 15 in increasing order.
-5, -2, f, 15
Let w = 12 + -16. Let o = -505 - -505.2. Put 4, o, 2, w in decreasing order.
4, 2, o, w
Let y = -9 + 14. Let u = 10.5 + -81.5. Let s = -70.8 - u. Sort s, y, -4 in descending order.
y, s, -4
Let m(c) = c**3 - 8*c**2 + 13*c - 47. Let o be m(7). Suppose 24 = 2*q + 4*v, q + 0 = v - 3. Let i be 1 - (-1 + 5 - q). Sort o, i, 9.
o, i, 9
Let z(d) = -3*d**3 - 11*d**2 - 6*d + 5. Let t be z(-3). Sort 3, -1, 10, t in ascending order.
-1, 3, t, 10
Let b = -8 - 13. Let p = b - -20. Let d be (0 - -2)/(2 + -9). Sort p, -0.4, d.
p, -0.4, d
Let h = -1 + 4. Suppose v - h = -1. Let y be (-6 + 5)/(v/(-10)). Sort -5, -3, y in descending order.
y, -3, -5
Let w = 106 + -105.6. Let r = -0.018 + 0.128. Put -3, -1/4, w, r in descending order.
w, r, -1/4, -3
Let a be -1*(-7)/(-4) + 21/(-84). Sort -20, a, 4 in descending order.
4, a, -20
Let c be (-48)/40 + 2/10. Let f be -1 + c - (-7 + 5). Sort -0.3, f, -2 in ascending order.
-2, -0.3, f
Let n = -12153 + 12161. Suppose 0 = -0*o - 3*o. Let h be (o + 0 + 2)*-2. Put h, -5, n in descending order.
n, h, -5
Let h = -0.38 - 0.02. Let d = 0.6 + h. Let c = 254 - 249. Put d, c, -1/3 in increasing order.
-1/3, d, c
Let w(s) = -s**2 - 6*s. Let k be w(-5). Suppose f + 4*n = -35, 0 = 4*f - 5*f + 5*n - 8. Let t = f - -27. Sort k, 2, t in increasing order.
2, t, k
Suppose -17 = -3*w + 2*w. Let v(y) = y**3 - 31*y**2 + 4*y - 126. Let g be v(31). Sort w, g, 2 in decreasing order.
w, 2, g
Let j = -1195 - -2393/2. Sort 0.01, -0.3, 0.4, j in decreasing order.
j, 0.4, 0.01, -0.3
Let u = -1.414 + 0.414. Put u, 0.3, 0.5, 0.9 in increasing order.
u, 0.3, 0.5, 0.9
Suppose 23 = -26*w + 153. Let x(p) = p**2 - 5*p + 2. Let r be x(5). Sort r, -3, -6, w in decreasing order.
w, r, -3, -6
Let l = -495/4 + 434123/3508. Let z = 5248/6139 + l. Let k = -2.45 - -3.45. Sort k, z, -0.3 in descending order.
k, z, -0.3
Suppose 6*q = q + 60. Suppose -10*g + q = -13*g. Put g, 7, 1 in decreasing order.
7, 1, g
Let j = -197 + 1375/7. Let y = 64.7 - 68.7. Put j, y, -1/11 in ascending order.
y, j, -1/11
Let n = -0.203 + 0.403. Let m = -0.1 + 0. Sort n, 0, -11, m in decreasing order.
n, 0, m, -11
Let p = -34.6 - -42.3. Sort -1, p, -0.4 in decreasing order.
p, -0.4, -1
Suppose 1141*u = 1139*u - 22. Sort 1, -5, u in ascending order.
u, -5, 1
Suppose -5*f = -86 + 56. Let g(i) = -i**3 + 8*i**2 - 14*i + 9. Let t be g(f). Sort t, 10, -1 in descending order.
10, -1, t
Let y(s) be the second derivative of 6*s**2 + 4*s + 1/3*s**3 + 0. Let m be y(-5). Sort 0, -2, m.
-2, 0, m
Let w = 211 - 214. Let i = -3 - -3.1. Put w, -1, i in descending order.
i, -1, w
Suppose 18 + 2 = -4*j, 0 = -3*v + j - 13. Put v, 1, 5, 3 in increasing order.
v, 1, 3, 5
Suppose 0 = 2*f + 3 + 5. Suppose -25 = -2*q - 3*q. Suppose -4*y + j + 0*j = -6, -4*y - q*j + 18 = 0. Sort f, -3, y.
f, -3, y
Let y = -196 - -199. Put -0.3, 0.4, y, -4 in ascending order.
-4, -0.3, 0.4, y
Let a = 4.9237 - -0.0763. Put 0.14, a, -5, -1/5 in increasing order.
-5, -1/5, 0.14, a
Let j = -122.447 + 122. Let k = 0.047 + j. Sort 5, -5, k.
-5, k, 5
Suppose 5*m = -3*t + 3*m - 53, -3*m = -15. Let h = t + 23. Sort h, -1, -0.07.
-1, -0.07, h
Let l = -8 + 10. Let r be (4/5)/(((-84)/(-35))/(-6)). Sort r, -8, l.
-8, r, l
Suppose 12*s - 27 = 11*s. Let v = 26 - s. Let t(y) = y**3 + y. Let p be t(v). Sort 3, p, 4.
p, 3, 4
Let d = 0.89 - -34.11. Let z = 0.21 + 33.79. Let j = z - d. Sort j, 5, 0.4 in decreasing order.
5, 0.4, j
Let v = -0.405 - -0.305. Sort 0.3, 5, v, -90 in decreasing order.
5, 0.3, v, -90
Suppose 5*m = -0*m - 35. Let x = m - -39. Let i = x - 27. Put -3, i, 2 in decreasing order.
i, 2, -3
Let x = -32 + 34. Suppose -x - 4 = -i. Sort 1, 4, i in decreasing order.
i, 4, 1
Suppose 0 = -12*m + 6*m + 3300. Suppose -170 = -16*c + m. Put c, -2, -5 in ascending order.
-5, -2, c
Let j(c) = -7*c - 2. Let u be j(-1). Let r(z) = -4*z + 26. Let f be r(u). Sort f, 0.5, 1, 5 in descending order.
f, 5, 1, 0.5
Let r = -226 - -223. Sort -0.3, r, 1.05 in decreasing order.
1.05, -0.3, r
Let k(y) = -y**2 - 18*y - 64. Let z be k(-6). Suppose d - 8 = -d. Sort z, d, 3.
3, d, z
Let x = 3232.4 - 3232. Let l = -0.7 - -0.3. Sort x, 1, l, 4/3 in descending order.
4/3, 1, x, l
Suppose 7*f = 23*f + 48. Put f, 5, -93 in increasing order.
-93, f, 5
Suppose -m = 3*m - p - 9, 3*p = 9. Let a = 1 + 4. Suppose -a*r - 3 = 3*s + 2, 0 = -2*r - 8. Sort m, -2, s.
-2, m, s
Let d = 0.0504 - 0.4504. Sort d, -12, 3, -1/4 in increasing order.
-12, d, -1/4, 3
Let c = 37 + -34. Suppose -g - 1 + 20 = 3*m, 0 = g - 4*m + 16. Let x = g - 5. Put x, 0, c in decreasing order.
c, 0, x
Let i = -251 - -251.4. Sort 0.5, 0.59, i in decreasing order.
0.59, 0.5, i
Suppose 4*q - n + 15 = 0, -2*q = 3*q - n + 20. Let m be (q/(-25))/(6/50). Put -1, -3/8, m in decreasing order.
m, -3/8, -1
Let r be (3/(-9)*-1)/(4/(-28)). Sort -4, -29, r in ascending order.
-29, -4, r
Let v be (260/315*-3)/(4/114). Let n = -70 - v. Sort 6, n, 0.2 in decreasing order.
6, n, 0.2
Let u = -1 - 2. Let r be 291/(-150) + 4 + -2. Let s = r - -8/75. Sort u, s, 5/4 in ascending order.
u, s, 5/4
Let r = -42 - -59.5. Let s = 16.4 - -0.6. Let l = s - r. Sort l, -1, -2 in decreasing order.
l, -1, -2
Let i be (-1)/(-4) - (279/(-36) + 10). Sort 1, 143, i in ascending order.
i, 1, 143
Let x = 1462 + -1461. Suppose z = 5*j + 20, -3*z + 0*j = 3*j + 30. Put x, z, -1, -4 in increasing order.
z, -4, -1, x
Let h =