2*-1. Let h = 1 - p. Put d, h, -2 in ascending order.
h, -2, d
Suppose -2*r = 10 - 2. Suppose -2*m + 16 = 2*m. Sort m, r, 3 in descending order.
m, 3, r
Let h be ((-6)/(-5))/((-3)/(-20)). Suppose -3*x + h = u - 0*u, 10 = -u + 3*x. Sort u, -4, 0 in ascending order.
-4, u, 0
Let g = 43373/9 - 5005. Suppose 577 + 167 = -4*p. Let z = g - p. Sort 5, z, -1/4 in descending order.
5, z, -1/4
Let x = 18 - 14. Suppose -2*y + 4 = -5*q, 3*y - y = -x*q - 14. Suppose -2*o + 6*o = 5*n + 11, o - 8 = -4*n. Sort -1, n, q in descending order.
n, -1, q
Let s = -27.6 + 28. Let z = -54 + 215/4. Put z, 2/7, s in descending order.
s, 2/7, z
Let b(p) = p**3 + p**2 - 4. Let f be b(0). Let w = -4.5 + 4. Put w, 3, f in descending order.
3, w, f
Let a = 1 + 2. Let c be -1 + 7 + a + -6. Sort c, 0, 1 in decreasing order.
c, 1, 0
Suppose 0 = 2*x + 5 - 13. Put 10, 2, x in decreasing order.
10, x, 2
Let g = -1 + 3. Let i = 6 - 8. Put 0.3, i, g in increasing order.
i, 0.3, g
Suppose -x + 5*p + 12 = 0, 2*x + 2*p - 3 = 5*p. Sort x, -2, 4 in ascending order.
x, -2, 4
Let v = -0.04 + 0.04. Let r be 2/8 + 10/8. Put v, r, -2 in descending order.
r, v, -2
Suppose 0 = -4*m - 58 + 54. Sort -2, m, 38, -3 in ascending order.
-3, -2, m, 38
Suppose -51 = 7*f - 24*f. Put 1, 4, f in ascending order.
1, f, 4
Suppose -2*m = 2*q, 2*m + 0*q + 12 = 2*q. Put -2, m, 4 in decreasing order.
4, -2, m
Let v be (-7 + 5)*(-10)/4. Put v, -1, -5 in ascending order.
-5, -1, v
Let k = 1 - 4. Let b = 0.2 - -0.2. Sort b, k, 0.2 in ascending order.
k, 0.2, b
Let z(r) = 0*r + 3*r - 6*r. Let s be z(-1). Put -1, s, -3 in descending order.
s, -1, -3
Let l = 53 - 54. Sort -12, l, -3, 1.
-12, -3, l, 1
Suppose -4*g + 0*g - 5 = -x, 2*g - 2 = 2*x. Let s = -1.16 - 0.04. Let v = -3.2 - s. Sort 2, v, x in decreasing order.
2, v, x
Let u be -2 + (-4)/((-8)/(-6)). Sort u, 1/3, -2, -0.5 in increasing order.
u, -2, -0.5, 1/3
Suppose -5 = 7*i - 2*i. Let d be (-3 + 1 - -1) + -14. Let j be (-3)/d + (-27)/60. Sort 1/6, j, i in increasing order.
i, j, 1/6
Suppose 4*a - 2*x - 10 = 0, 0 = -3*a - x + 6*x + 4. Sort a, 0, -6 in decreasing order.
a, 0, -6
Let h = 0.04 + 0.46. Let g = -6.4 + 7. Let c = g + -0.2. Put c, 4, h in increasing order.
c, h, 4
Let z be 10/10*(-5)/(-1). Sort 0, -3, z, 4.
-3, 0, 4, z
Let f(m) = m**3 - 14*m**2 - 14*m - 19. Let s be f(15). Let d = 0 - -1. Suppose 0 = -p + d - 2. Put -2/9, s, p in decreasing order.
-2/9, p, s
Let v = -0.25 + -8.75. Let s = -8.7 - v. Sort s, -1, -2.
-2, -1, s
Let t be (-1*1)/(33 + -34). Sort t, 23, 2.
t, 2, 23
Let x = 13 + -9. Let k(m) = 3*m**3 - m**2 - 2*m - 1. Let u be k(-1). Sort 5, x, u in descending order.
5, x, u
Suppose 23 = 5*y - u - 7, -40 = -5*y - u. Let h(i) = -i**3 + 7*i**2 + i - 9. Let m be h(y). Sort 2, -2/17, m in ascending order.
m, -2/17, 2
Let h = 20 - 16. Sort h, -4, -1 in descending order.
h, -1, -4
Let c = 2.8 + -3. Let u = 2 - 2.1. Sort c, -2, u.
-2, c, u
Let w = 3.4 - 5. Let x = w + 1.1. Put x, -5, 9 in decreasing order.
9, x, -5
Let u = 1.98 + 0.02. Let k(s) = -s - 6. Let l be k(-8). Let g be 2/(-3) + -1 + l. Sort g, -1/5, u in increasing order.
-1/5, g, u
Let j(s) = -s**3 + 8*s**2 - 11*s - 2. Let x be j(6). Sort 0, x, -3, 1.
-3, 0, 1, x
Let w(m) = m**3 - 6*m**2 + 4*m + 1. Let j be w(5). Let y be (-1)/(2/(-8)) + -3. Let k be (1 - y/2)*2. Put 4, k, j in descending order.
4, k, j
Let y = 0.9 + -0.93. Let t = -3 + 3.5. Sort t, y, -0.1 in decreasing order.
t, y, -0.1
Suppose -u = -0*u - 0*u. Sort -1, -2, -5, u.
-5, -2, -1, u
Let o = 2.2 + -2. Let u = -0.1 - o. Let w = -0.1 - u. Put w, 0.1, -2 in decreasing order.
w, 0.1, -2
Let h = 2.3 - 2.2. Put 0, h, -2 in descending order.
h, 0, -2
Suppose 28 = -7*f + 14*f. Sort 3, -4, 2, f in increasing order.
-4, 2, 3, f
Let o = 0.1 - 0.1. Let w = 0 - o. Let i(l) = -l**2 - l + 54. Let a be i(7). Sort w, a, -1 in increasing order.
a, -1, w
Let y = 3.99 + 0.01. Put 1/3, y, -1/3 in descending order.
y, 1/3, -1/3
Let g be (-10)/45 + 100/(-36). Let r(a) = a**2 - 3*a. Let u be r(3). Put g, u, -9 in ascending order.
-9, g, u
Let r be 7/4 + 3/12. Suppose -4*u - 3 = -u - 5*s, -r*s - 2 = 2*u. Sort 2, u, -2 in ascending order.
-2, u, 2
Let c(k) = -k**2 + 9*k - 6. Let s be c(6). Suppose 0 = 3*o + s - 3. Sort -4, o, 5.
-4, o, 5
Let t = 0.5 + 0. Let a = -0.054 - -0.254. Sort t, -2/7, a in ascending order.
-2/7, a, t
Let k = 11 - 23. Let l = -13 - k. Sort l, 2, -3 in ascending order.
-3, l, 2
Let a be 2*(27/6 + -2). Let d(s) = -8*s. Let h be d(-2). Suppose -3*g = g - h. Sort g, -2, a.
-2, g, a
Let w(g) = -g**2 - 8*g - 2. Let h be w(-8). Suppose -2*v - 8 = 2. Suppose b + 3 = 3*i - 0, 4*i + b - 11 = 0. Put h, i, v in ascending order.
v, h, i
Suppose -3*t = -8*t - 5*s, -t = 2*s + 2. Put t, 5, 4 in descending order.
5, 4, t
Suppose 17*t = 16*t - 1. Sort t, -3, 0, 1 in ascending order.
-3, t, 0, 1
Suppose 3*l = 5*l - l. Sort -5, 2, l in descending order.
2, l, -5
Let k = -17/28 - -6/7. Let g = 7 - 4. Let y = g + 0. Sort 1/10, y, k in ascending order.
1/10, k, y
Suppose -2 - 2 = 2*m. Put -1, m, 2 in descending order.
2, -1, m
Let y = -19 + 8. Sort -1, y, 3.
y, -1, 3
Let h(w) = -w**3 - w**2 + 2*w. Let i be h(0). Let y = -26 - -25.1. Sort y, -0.4, i in decreasing order.
i, -0.4, y
Let a = 10 + -2. Let w = -7.6 + a. Let c = -6 - -10. Sort c, -3, w in descending order.
c, w, -3
Let t be 1/3 + 2/3. Let a = 2 - t. Let w(g) = -g - 5. Let r be w(-4). Sort a, r, 0 in decreasing order.
a, 0, r
Let g = 32/27 - -4/27. Let o = -5/8 - -9/8. Sort 0, o, g in descending order.
g, o, 0
Let n(b) = b**3 + 8*b**2 + 6*b - 2. Let m be n(-7). Sort 3, -3, m in ascending order.
-3, 3, m
Let y = -9 - -12. Put 5, y, -4/9 in increasing order.
-4/9, y, 5
Suppose -5*o + 4*b + 0*b - 25 = 0, 0 = 4*o + b + 20. Let c be 3/9*3 + 0. Put -2, o, c in decreasing order.
c, -2, o
Suppose -8*g + 3*g - 25 = 0. Suppose 0 = -9*z - 9*z. Sort 5, g, z.
g, z, 5
Let h = -146.5 + 146. Put -2/3, -5/6, h, -4 in decreasing order.
h, -2/3, -5/6, -4
Let f be (8/(-6))/((-3)/(-36)). Put 1, f, 5 in descending order.
5, 1, f
Suppose -p + 30 = -6*p. Let a(w) = w**3 + 5*w**2 - 7*w - 7. Let l be a(p). Put 0, l, 3 in decreasing order.
3, 0, l
Suppose 14 + 4 = -6*v. Suppose 3*b = -l - 8, 4*l + 5*b - 5 = 6*l. Sort -2, v, l in increasing order.
l, v, -2
Suppose -19*a = -13*a + 18. Let p be (2 + -1)*(-2)/3. Let m = 2.5 + -2. Sort p, a, m.
a, p, m
Let a = 145 - 141. Sort -1, a, -5, 3 in ascending order.
-5, -1, 3, a
Suppose 0*x + 6 = -3*x + 3*i, -4*i = 12. Sort 5, -27, x, -3 in decreasing order.
5, -3, x, -27
Let l = 15 + -15.4. Put l, 2/9, -2 in decreasing order.
2/9, l, -2
Let y(r) = 23*r - 134. Let h be y(6). Let v = 9 + -6. Suppose -m + 2*m = -3. Sort h, m, v in decreasing order.
h, v, m
Let r be (1 + 1)*((-21)/30 + 1). Let t = 0 - 0. Sort 3, t, r.
t, r, 3
Let l(f) = -f + 9. Let m be l(5). Suppose 0 = 5*b - 25, -2*b = -5*r - b - 190. Let s be m/(-14) + r/(-7). Sort 0.1, 3, s.
0.1, 3, s
Suppose -2*y = -5*y + 6. Let t be 0/(-2)*y/4. Suppose 2*j - 4*w - 18 = -0*w, -4*j + 5*w = -30. Sort j, t, 4.
t, 4, j
Let t be 10/8*24/20. Let b = 0 - -0.4. Let d = b - 0.2. Sort -4/5, t, d.
-4/5, d, t
Let k = 11 - 10. Sort 10, k, 4 in decreasing order.
10, 4, k
Let q = 29 + -27. Let u(p) = p + 1. Let n be u(-2). Sort q, n, 1 in descending order.
q, 1, n
Let i be (-1 + 1)/((-2)/1). Suppose i = -4*d + 2*f + 85 + 3, -5*d + 112 = -3*f. Suppose d = 4*o + o. Sort o, 0, -2/7.
-2/7, 0, o
Let v = -0.0415 + -1.9885. Let z = 0.03 + v. Sort 4, z, -1/5.
z, -1/5, 4
Suppose 2*a + 2*u = -a + 1, -2*u = 8. Let l be ((-8)/(-5))/(-2) + 2/(-10). Put 4, l, a in increasing order.
l, a, 4
Let g be ((-5)/10)/((-2)/32). Suppose -3*x + 10 = -g*x. Put -3, 0, x in descending order.
0, x, -3
Let h(i) = -i**2 + 6*i - 3. Let s be h(5). Let z be s/(-7) + (-112)/(-49). Suppose 3*w - 10 = -2*q, 2*q - w - 2 = -z*w. Sort -2, 5, q in ascending order.
-2, q, 5
Let y = 4 + 2. Let s(r) = r**2 - 4*r - 7. Let d be s(y). Put 1/4, d, 4 in decreasing order.
d, 4, 1/4
Let g(k) = 11*k - 1. Let s be g(1). Let x = s - 5. Put x, -5, -2 in descending order.
x, -2, -5
Let j = 0.48 - -0.02. Let d = j + -0.8. Sort 0, d, 1 in descending order.
1, 0, d
Let u = 0.6 + 3.4. Sort u, -7, 0.
-7, 0, u
Let n be -1*(2 - 1)*58/29. Put 0.5, 2/5, n in descending order.
0.5, 2/5, n
Let l be ((-36