*v - 13 = -4*d, 2*d - v - 11 = -4. Sort -33, 3, d in descending order.
d, 3, -33
Let p(m) = -m**3 - 4*m**2 - 2*m - 2. Let b be p(-3). Let i be (-5)/10*(-9 - 1). Let a be (1 - 1)*(2 + -1). Put b, i, a in ascending order.
b, a, i
Suppose -25 = -5*m + 5*a, 0 = -0*m - m + 5*a + 17. Suppose -4 = -2*k - 2*x, 3*k + 0*k = m*x - 9. Sort k, 4, 1.
k, 1, 4
Let v = 0.7 - 0.87. Let h = v - 0.33. Suppose -4 = -t + 3*o, 2*o = 5*t - 0*o - 20. Sort -0.1, t, h.
h, -0.1, t
Suppose -d + 3*s = -6*d + 61, 3*s + 23 = d. Let b = d + -11. Sort 5, b, -1 in decreasing order.
5, b, -1
Let k(j) = -j**3 + 5*j**2 - 4*j + 4. Let g be k(4). Put -1, g, 1 in increasing order.
-1, 1, g
Suppose -2*q = -2*r + 3*r + 6, -5*r = -5*q - 15. Sort r, 2, 5 in descending order.
5, 2, r
Let m(d) = 6*d - 20. Let o be m(3). Sort 3, o, -12, -1.
-12, o, -1, 3
Let q(b) = -9*b - 66. Let v be q(-7). Suppose 0 = -3*f - 2 - 4. Suppose h = 4*h - 6. Sort h, v, f in descending order.
h, f, v
Let g be (48/(-20))/(1/(-5)). Suppose -2*h - g - 1 = -3*i, 2*h + 9 = -i. Sort -1, h, 3.
h, -1, 3
Let a be 30/9 + (-2)/(-3). Let d = -31.2 - -31. Sort 0.4, d, a in descending order.
a, 0.4, d
Let y(q) = -q**3 + 2*q**2 + 4*q - 2. Let x be y(3). Sort -5, x, -4 in increasing order.
-5, -4, x
Suppose 4*b - 2*l - 28 = 0, 0 = -3*b - 3*l + 3. Let h be 0*((-10)/6 - -2). Put b, h, -1 in ascending order.
-1, h, b
Let j = -13 + 14. Sort -3, j, -1 in descending order.
j, -1, -3
Let w be 14/3*((-7)/14 + 2). Put 0, w, 8 in decreasing order.
8, w, 0
Suppose 3*u - 5*u = 0. Suppose -25 = 5*d + 4*t, u = -0*d + 5*d - 4*t + 25. Put d, -3, 4 in descending order.
4, -3, d
Let v = 106/7 + -15. Let w = 3.3 + -0.3. Sort w, v, -1 in descending order.
w, v, -1
Let x = -10.95 - 0.05. Let i = x + 6. Let b = -0.15 + 0.05. Put -0.2, b, i in increasing order.
i, -0.2, b
Suppose 3*o = 5 - 2. Put o, 0.5, -0.1 in decreasing order.
o, 0.5, -0.1
Let j = 16 + -18. Let t = 3 - 0. Sort 5, t, j.
j, t, 5
Suppose d - 2*d + 5 = 0. Sort -2, d, 13 in decreasing order.
13, d, -2
Let o = 58.39 - 58. Let z = -0.11 - o. Let p = 1 + -0.5. Put -3, p, z in decreasing order.
p, z, -3
Let h = -37 + 33. Put h, -17, 0 in increasing order.
-17, h, 0
Let x(d) = -d**3 - 3*d**2 + 4*d + 2. Let y be x(-4). Suppose -3*s = y*w + w, s = 4*w - 5. Sort 1, s, -5 in descending order.
1, s, -5
Let b = 14 + -20. Let t = 4 + b. Let h = -3 + -1. Put h, 1, t in increasing order.
h, t, 1
Let b be (-2)/6 - (-1)/3. Sort 3, b, 0.5 in decreasing order.
3, 0.5, b
Let c = 3.2 - 3.6. Put 2, -3/8, c in increasing order.
c, -3/8, 2
Suppose 3*k = -0 - 9. Let x be 69/(-12) + 2/(-8). Sort -4, k, x in decreasing order.
k, -4, x
Let d(b) = -b**3 + 2*b**2 - b. Let y be d(1). Let u = y - 0. Suppose 0 = -o, u*r + 12 = 3*r + 2*o. Sort 0, -3, r in descending order.
r, 0, -3
Let i = 0.06 + -0.16. Sort i, 0.3, 3 in descending order.
3, 0.3, i
Let k be -5 + 1 + 8 - 7/1. Let h = 2 - 7. Put -2, h, k in decreasing order.
-2, k, h
Suppose 2*g = 3*y - 6, -y - y + 5*g = 7. Sort 8, -2, y, 0 in descending order.
8, y, 0, -2
Suppose -4*w - 178 = -3*d, -5*d + 2*d + 5*w = -173. Let g be (-4)/d*-181*3. Let t = 33 - g. Sort 2, 0, t in ascending order.
0, t, 2
Let w = -0.05 + -0.05. Put w, -0.3, 3 in descending order.
3, w, -0.3
Suppose 3*t - 13 = -25. Suppose 2*p - 9 - 1 = a, -4*p = -3*a - 20. Suppose p*r - 1 = -16. Sort t, 2, r in decreasing order.
2, r, t
Let r(m) be the first derivative of -m**3/3 + m**2 + 2. Let j be r(2). Put -2, j, 4 in descending order.
4, j, -2
Let f(g) = -4*g - 3. Let w be f(-2). Suppose 7*q - 4*q = 2*d, -d = -w*q - 7. Suppose 4*h + 14 = 34. Sort h, d, -4.
-4, d, h
Let p = 0 - 2. Sort 0, p, -4 in descending order.
0, p, -4
Let n = -2 + -2. Put 2, -5, n in ascending order.
-5, n, 2
Suppose -g + 5*d - 25 = -6*g, 2*g - 4*d - 10 = 0. Suppose 4*l = t - 0*t + 14, g*t - 4*l = -6. Put -2, t, 5 in descending order.
5, t, -2
Suppose 0 = 2*b + 4*c - 28, 2*b + 2*c - 19 = -1. Let p be -1*6/(-3) - b. Let n be (-3*4/(-6))/2. Sort -4, p, n in decreasing order.
n, p, -4
Let a = 2.85 - 0.55. Let w = 2.5 - a. Put -5, w, -1/8 in descending order.
w, -1/8, -5
Let s = -8.04 - -8. Let d = s + -0.46. Put d, -3/4, -0.1 in decreasing order.
-0.1, d, -3/4
Let h = -44 - -44.05. Sort 1/3, h, 4.
h, 1/3, 4
Suppose -4*j + 12 = -l, 0*j + 3*j + 4*l = 28. Let p be (3 + 3)/((-6)/(-4)). Suppose 6*t - 2*t - 4*v = -p, -6 = -3*v. Sort j, 0, t in ascending order.
0, t, j
Let c(j) = -j**3 - 3*j - 3. Let s be c(0). Sort 1, s, -8 in decreasing order.
1, s, -8
Suppose 5*v - 63 + 23 = -4*s, 11 = 3*s - v. Suppose -6 = -4*x + 6. Suppose -1 - 4 = a. Sort s, a, x in increasing order.
a, x, s
Let l(m) = -m**2 - 9*m - 9. Let s be l(-7). Suppose 2*z + 4 = z. Sort -3, s, z in decreasing order.
s, -3, z
Let y(d) be the first derivative of d**4/4 + 8*d**3/3 + 4*d**2 + 4*d - 4. Let c be y(-7). Let n be (-2 - c - 1) + 1. Sort 3, 5, n.
n, 3, 5
Let i(d) be the first derivative of d**4/4 - 2*d**3 - 3*d**2 - 3*d + 1. Let u be i(7). Let n(s) = 9*s - 58. Let q be n(6). Sort 0, u, q.
q, 0, u
Let w(t) be the second derivative of t**4/12 + t**3 - 3*t**2 - 2*t. Let x be w(-7). Suppose 3*k - 5 = -f + 5*k, -5 = -f - 3*k. Sort -1, x, f.
-1, x, f
Let z be 2*(-3 - 35/(-10)). Let h be (-3)/12 - (-3)/(-4). Suppose i + 3*b + 7 = 0, i = -2*i + 5*b + 21. Sort z, i, h in descending order.
i, z, h
Let n be 1*(-13)/20 + 2/5. Put -4, 1/4, n in descending order.
1/4, n, -4
Let o = 112.7 - 113. Sort o, -13, -2, 2 in descending order.
2, o, -2, -13
Let i = 23 + -23.3. Let q = 2.1 - 0.1. Put q, i, 5 in ascending order.
i, q, 5
Suppose -3*y + 11 = 2. Sort -5, 4, -33, y in increasing order.
-33, -5, y, 4
Suppose 0 = -2*u + 6*u + 8. Put 3, u, 0.5 in decreasing order.
3, 0.5, u
Let l = 178 - 178. Sort l, 4, -7 in descending order.
4, l, -7
Let q(w) = -w**3 - 5*w**2 + 2*w + 8. Let h be q(-5). Put 0, -5, h in descending order.
0, h, -5
Suppose -z - 1 = -4. Suppose -4*v - 14 + z = f, -3*v = -3*f + 12. Put f, -2, 3 in decreasing order.
3, f, -2
Suppose 0 = n + 8 - 3. Let f(y) = 5*y + 1 + 2 + y**2 + 2. Let l be f(-5). Sort l, 3, n in increasing order.
n, 3, l
Let n = 4.4 - 4.1. Put 0.1, 1, n, 0 in increasing order.
0, 0.1, n, 1
Let y be 2/(-11 + 4/(-2)). Let p = -5.8 - -0.8. Sort p, y, 0.4 in ascending order.
p, y, 0.4
Let j = 12 - 9. Suppose -5*r - 2*x = -6, j*r + 4*x + 2 = -0*r. Sort r, 1/3, 0.4.
1/3, 0.4, r
Let x = -32.87 - -33. Let o = x + -0.43. Let n = 0.1 + -0.1. Sort n, o, 0.5 in descending order.
0.5, n, o
Let t = -77.9 - -70. Let u = t + 8. Sort -0.4, -2, u.
-2, -0.4, u
Suppose -9 - 2 = 3*c + b, -2*b - 10 = 0. Sort c, 5, 3/2, 4 in decreasing order.
5, 4, 3/2, c
Let v be (-2)/6 - 6/9. Suppose 2 = -5*m - 168. Let p = m - -137/4. Put p, -2, v in ascending order.
-2, v, p
Let i be (2 - 1)/(1/(-5)). Put 2/13, i, 1 in ascending order.
i, 2/13, 1
Suppose 0 = w + 2*g - 5, w - 5 = 4*g. Let v = w - 4. Sort 5, -4, v in ascending order.
-4, v, 5
Let u = -0.1 + 0.4. Let x = -0.4 + 0.5. Let g = u + x. Sort -0.5, g, 2/13 in decreasing order.
g, 2/13, -0.5
Let b = -19/5 - -21/5. Let m be 216/96 + 2/(-8). Sort m, -0.5, b.
-0.5, b, m
Let m be 50/175 - (-24)/14. Sort -5, 5, -4, m in decreasing order.
5, m, -4, -5
Suppose -4*a + 7*a = -15. Sort 1, a, 2 in ascending order.
a, 1, 2
Let f = -2 + 2. Let r be (1/((-1)/1))/(8/32). Sort 0.1, f, r in descending order.
0.1, f, r
Let v = 89 + -94. Let x = -6 - -9. Put v, 0.5, x in descending order.
x, 0.5, v
Let z be (-2 - -2)*(-3 - -2). Put z, -1/7, 0.1 in decreasing order.
0.1, z, -1/7
Suppose 0*c = 3*c + 21. Sort 1, -4, c in descending order.
1, -4, c
Suppose 3*u = 14 - 11. Sort u, -2/19, -3.
-3, -2/19, u
Let y = -4.97 + -0.03. Let t = y + 3. Put t, -5, -3 in ascending order.
-5, -3, t
Suppose -5*i - 16 = 2*k, 5*i + 15 + 7 = -4*k. Let l(y) = y**3 - 7*y**2 - 6*y - 4. Let t be l(8). Suppose -5*q + 2*q = t. Put q, 5, i in descending order.
5, i, q
Suppose 28 = -0*q + 5*q + p, 0 = -3*q + p + 12. Suppose q = b + 1. Put b, -4, 3 in descending order.
b, 3, -4
Let b = 7.3 - 7. Sort b, -3, 1/9 in decreasing order.
b, 1/9, -3
Let g be (-1 + 2)/(-1 + 2). Suppose 0*k - 4 = k. Sort k, -2, g.
k, -2, g
Let r = -7/10 - -9/10. Let h = -0.8 + 1.4. Let u = h + -0.5. Sort u, r, -0.5 in ascending order.
-0.5, u, r
Let d be 1/((-18)/(-10) - 2). Let f be (-5)/15 - (-16)/3. Put 