-z. Put v, 3, z in decreasing order.
3, z, v
Let m(l) = 12*l + 14. Let c(n) = -n**2 - n - 1. Let h(b) = c(b) + m(b). Let g be h(12). Suppose 3*t = t - 4, 4*t = -3*j + 19. Sort g, j, 5 in descending order.
j, 5, g
Let m be 3/((12/5)/4). Let d = 18 + -12. Let b = d + -4. Put 2/7, b, m in descending order.
m, b, 2/7
Let c be (4/(-2))/2*-3. Suppose m = -0*m. Let z be 1 - -8 - (365 - 362). Put z, m, c in descending order.
z, c, m
Let a(x) = x**3 - 13*x**2 - x + 18. Let b be -2 + 3 - 36/(-3). Let i be a(b). Let g = -12 - -12. Sort -2, i, g.
-2, g, i
Let m = -2791 - -2796. Let d = -2.94 + -0.06. Sort m, 0.4, -2/15, d in descending order.
m, 0.4, -2/15, d
Suppose -2*g = 10, 3*g = -2*y - 85 - 0. Let f = 36 + y. Put 3, f, -2 in decreasing order.
3, f, -2
Let r be (15/(135/18))/(3/(-6)). Put 5, r, -14, -1 in descending order.
5, -1, r, -14
Let c = 175 - 174.9. Sort c, -7, 8 in increasing order.
-7, c, 8
Let t(c) = -2*c**2 + 30*c + 31. Let g be t(16). Put 30, -5, g, 1 in descending order.
30, 1, g, -5
Let f = 58 - 56. Let d be f/8 - 6/(-40). Let k = 3 - -2. Sort d, 1/7, k.
1/7, d, k
Let c be (-2)/5 - (-1 + (-96)/15). Let h(n) = n**2 + 10*n + 12. Let g be h(-9). Let z = -4 - -3. Put g, c, z in descending order.
c, g, z
Suppose -20 = 4*u + u. Let z be (-96)/u - (-2 + 3). Suppose -25 = -5*t, 6*t = -3*f + 2*t + z. Sort -3, 2, f in decreasing order.
2, f, -3
Suppose 27*p = 13*p - 42. Sort p, -16, -4.
-16, -4, p
Let s(l) = -l**3 - 6*l**2 + 5*l - 1. Let n be s(-6). Let x(z) = 6*z**2 - 121*z + 44. Let j be x(20). Let w = n + j. Put 1, w, -5 in descending order.
1, -5, w
Suppose -2*n + 2 = 4*f - 0*f, 3*f + 16 = -5*n. Suppose q - r - 9 = -q, -f*q + 5*r + 10 = 0. Sort -5, 2, q, 3 in increasing order.
-5, 2, 3, q
Let y be (247/95)/(4/(-10)). Let g = 6 + y. Sort 3/2, g, 0.1 in decreasing order.
3/2, 0.1, g
Let v = 14 - 8. Let a be 0/((-2)/v*-3). Put 8, -2, a in descending order.
8, a, -2
Suppose -4*u = -2*d + 24, -3*u - 16 - 42 = -4*d. Let m = -40 + 44. Suppose m*j = -0*j + d. Sort 5, j, 0.1 in decreasing order.
5, j, 0.1
Let n be (1 - -2)/((-3)/4). Suppose -y = -2*g - 3*y + 136, 292 = 4*g - y. Suppose -3*z + 48 = 3*m, 3*m - 3*z = 8*m - g. Sort 0, m, n in decreasing order.
m, 0, n
Let d be 1*(-2)/(-4)*24. Suppose 4*u + d = 6*u. Suppose 0 = u*l - l. Put -8, l, -3 in descending order.
l, -3, -8
Let s = -367/8 - -46. Let v = 7 + -9. Let p = 0.22 - -0.08. Sort s, v, p in decreasing order.
p, s, v
Let n be (9/((-36)/(-56)))/2. Suppose 0 = -5*l - i - 9, 2*l + 3*i + n = -3*l. Sort -3, 3, -5, l.
-5, -3, l, 3
Suppose -21 = 4*o - s, -5*o - 3*s = 7 + 15. Put 1, o, 5, -2 in ascending order.
o, -2, 1, 5
Let y be (-17)/((-136)/(-16)) - -1. Let j be (-31)/11 + (-4)/22. Sort 1, -4, j, y in decreasing order.
1, y, j, -4
Let o = -14.05 + 0.05. Let i = -14.015 - 0.085. Let g = o - i. Put g, 1/5, 0.5 in increasing order.
g, 1/5, 0.5
Suppose 3*u + u + 2 = 2*l, 0 = 4*u - 4*l - 4. Let m(v) = -35*v - 1255. Let p be m(-36). Sort 0, u, p in descending order.
p, 0, u
Let o be (-28)/(-12)*(-24)/(-1932). Let n = -5 - -2. Sort o, -3/2, n in ascending order.
n, -3/2, o
Let b = 0.04 + 5.46. Let y = 6 - b. Sort 5, 3/4, 1/10, y.
1/10, y, 3/4, 5
Let y = -6.2 + -0.8. Let k = 7.62 - 0.12. Let c = k + y. Sort -1/2, c, -1 in decreasing order.
c, -1/2, -1
Suppose 0 = -2*c, m - 2*m = -4*c - 5. Let k = -43 - -35. Let i = -8 + k. Put -2, i, m in decreasing order.
m, -2, i
Let f(z) = z**2 + z - 24. Let m be f(5). Put m, 5, -1, -3 in increasing order.
-3, -1, 5, m
Let i = 70 - 69.93. Put i, -4, 3/11 in ascending order.
-4, i, 3/11
Let m = -989 + 985. Sort 4, -3, m, 1 in ascending order.
m, -3, 1, 4
Let q = 5 + -4. Let k(n) = n**3 + 6*n**2 - 14*n + 14. Let o be k(-8). Put q, o, -1 in ascending order.
o, -1, q
Let m = -1140 - -1144. Sort 14, 0, m in descending order.
14, m, 0
Let k(m) = -m - 2. Let f be k(-3). Let w = -46 - -39. Sort f, w, -4 in descending order.
f, -4, w
Suppose -35 = 55*i - 62*i. Sort 15, i, -5, -3.
-5, -3, i, 15
Let b(d) = -3*d - 2. Let p be b(0). Suppose -7*o - o + 8 = 0. Put -0.1, p, -0.2, o in descending order.
o, -0.1, -0.2, p
Suppose -43*v = -42*v - 11. Suppose v*y = y. Sort 5/4, -5, 2, y in descending order.
2, 5/4, y, -5
Suppose -3*y = -k - 6 - 1, 0 = -k - 4*y + 7. Let g(p) = -p**3 + 4*p**2 + 4*p + 9. Let m be g(5). Sort m, -16, k in increasing order.
-16, k, m
Let j = -54.2 - -54. Suppose 0 = t - 3. Suppose -2 = 2*m - 3*b + b, -2*m - t*b - 27 = 0. Sort j, 0.1, m.
m, j, 0.1
Let s be 10*(39/15 + -1). Let b be (((-84)/s)/7)/(1/(-2)). Sort -0.4, b, 3, 1/5 in increasing order.
-0.4, 1/5, b, 3
Suppose -3*d + 5 = m, 0 = -6*d - 5*m - 0 + 16. Let k = 84 + -922/11. Put d, -1/3, k in decreasing order.
d, k, -1/3
Let a be -2 - ((-317)/(-72) - 4). Let t = a - -21/8. Put -0.01, t, 2 in decreasing order.
2, t, -0.01
Let u = -2467 - -2396. Put -2/19, u, -0.2, 0.5 in descending order.
0.5, -2/19, -0.2, u
Let i = 0.0272 + -5.0272. Sort -2, i, 0.5 in ascending order.
i, -2, 0.5
Let i = 44 - 46.6. Let a = i - 0.4. Put 1.1, 0, a in decreasing order.
1.1, 0, a
Let v(p) = -p - 9 - 2*p - 3*p**2 + 4*p**2 + 8*p. Let s be ((-18)/4)/(-1 - 7/(-4)). Let r be v(s). Put 1, -2, r in ascending order.
r, -2, 1
Let c be -1 + -1 + 4 - -1. Let w(p) = -p + 9. Let k be w(7). Let x(s) = -s**2 + 2*s - 3. Let v be x(2). Put c, v, k in decreasing order.
c, k, v
Let q = 25/3 + -26/3. Sort q, -2.5, 0, 3 in increasing order.
-2.5, q, 0, 3
Let i be (-664)/(-1162) - (22/7)/2. Put i, 3, -11, 1 in ascending order.
-11, i, 1, 3
Let k = -0.03 + 0.17. Suppose 41*q - 10 + 51 = 0. Put k, q, 5 in descending order.
5, k, q
Let m = 1 - 3. Suppose 0 = -5*h - 10, 2*h - 2 = -3*t + 3. Suppose 2*x - t*x + 5 = 0. Sort m, x, 4 in increasing order.
m, 4, x
Suppose 326 - 342 = 4*t. Put t, -1, 143 in increasing order.
t, -1, 143
Suppose 12*v - 9 = 3*v. Sort 8, -2, 3, v in ascending order.
-2, v, 3, 8
Let g = 50.9 - 5.9. Let b = g + -45.1. Let t = -0.2 - 0.3. Sort 1/5, b, t.
t, b, 1/5
Suppose -l + 5*l + 12 = 0. Let p = 6 + l. Suppose -3*b + 5 = 11, -p = g + 3*b. Sort -1, 0, g in decreasing order.
g, 0, -1
Suppose 62 = 15*a - 46*a. Sort 2, a, 4, 24 in increasing order.
a, 2, 4, 24
Let z = -146 + 140. Let u be 3*10/z - -4. Let n be 3/2 + -1 + 1. Put 4, u, n in descending order.
4, n, u
Let n = -901 + 901. Let d(i) = -i + 4. Let j be d(6). Sort 3, j, -1, n in ascending order.
j, -1, n, 3
Suppose -u - 1 = -5*s, -5*u + 4*s + 1 - 6 = 0. Sort -11, u, 4, -3.
-11, -3, u, 4
Suppose -i - d + 21 = 4*d, 0 = 4*i + 5*d - 39. Suppose -4*b + 20 = 4*l, -2*b - l = -i*l + 25. Sort -8, 1, 4, b in decreasing order.
4, 1, b, -8
Let u = -178233/5 + 35518. Suppose -237 = -3*v + 150. Let i = v + u. Sort i, 2/15, 4 in descending order.
4, i, 2/15
Let l = -2.6 - -1.2. Let r = l + 0. Let g = r + 1.1. Put g, 5, -4 in ascending order.
-4, g, 5
Let n = 1103 - 1102. Put n, -3, -65, 4 in decreasing order.
4, n, -3, -65
Let w = 19.7 + -19.6. Put w, -2, 4 in decreasing order.
4, w, -2
Let h(s) = 285*s + 1702. Let y be h(-6). Sort y, -0.1, 0.03 in decreasing order.
0.03, -0.1, y
Let v be (-6)/4 - -93*(-33)/18. Sort 5, -4, v in ascending order.
v, -4, 5
Let a = 1 + 4. Suppose -a*s = -2*s - 12. Suppose 0 = q + s*q + 5. Sort -5, q, 5 in descending order.
5, q, -5
Let f(j) = -4*j + 7. Let y be f(3). Let k(g) = -g**2 - 6*g + 19. Let s be k(-8). Sort y, s, 0, 2 in increasing order.
y, 0, 2, s
Let p(v) = 10*v**2 - v**2 - v**3 - 1 + 0 + 5 - 8*v. Let a be p(8). Suppose 4*q - d - a = d, -d + 4 = 0. Put -2, -3, q in descending order.
q, -2, -3
Suppose -5*f + 2*j = -45, 46 = 4*f - j + 7. Put f, 2, -8 in decreasing order.
f, 2, -8
Let a(z) = 2*z**3 + 1. Let t be a(1). Suppose -4 = 4*n + 4*m, -t*m - 19 = -2*n - 6. Let v = -4 + 5. Sort 0.3, n, v in decreasing order.
n, v, 0.3
Let z be 25/(-9) + 3 - 16/(-9). Suppose 0 = -4*o + 2*m - 26, -z*m = -5*o - 2 - 29. Put 0.3, -3, o in decreasing order.
0.3, -3, o
Let k = -0.2 + 0.5. Sort -0.1, -1/5, -7, k.
-7, -1/5, -0.1, k
Let f = -833 + 798.1. Let t = f - -35. Sort -1/66, -0.2, t in ascending order.
-0.2, -1/66, t
Let b be 3 - (3 - 3 - -1). Suppose -u = 2*x + 1, -x + b*x = -3*u + 7. Suppose -2*j + 3 - 5 = 0. Sort j, u, 2 in descending order.
u, 2, j
Suppose 0 = -2*y + z - 1, 5*z - 15 = 10. Put -10, 1, 0, y in decreasing order.
y, 1, 0, -10
Suppose -s + 4*s = 