 + 13 - 5. Let f = -10 - -10. Sort 2, f, y in descending order.
2, f, y
Let v be ((-1)/(-3))/(6/72). Suppose 0 = v*p - 5 - 7. Let c(q) = q + 1. Let r be c(p). Put r, 5, 1 in ascending order.
1, r, 5
Let g be (30/(-75))/((-4)/(-5)). Sort g, 1, -3/8, 1/6 in descending order.
1, 1/6, -3/8, g
Let h(p) = -p**2 - 2*p + 4. Let v be h(-4). Let o be (1 + 0 + 1)/(-2). Put o, v, -3 in increasing order.
v, -3, o
Let z(s) = -s**3 - 6*s**2 + 8*s + 8. Let c be z(-7). Let x = -4 - -2. Sort x, c, -3 in descending order.
c, x, -3
Let m = -3 - -5. Put 5, m, -2, 4 in ascending order.
-2, m, 4, 5
Suppose 4*y - 10 = 30. Suppose -s + 3*i - y = -i, 0 = s - 2*i + 4. Let v be 195/(-26)*((-56)/12)/(-7). Sort s, v, 0 in descending order.
s, 0, v
Suppose 2*i + 5*o + 11 = 0, -o - 7 = -5*i - 2*o. Suppose 0 = -i*j + j + 3. Put j, 0, 4 in descending order.
4, j, 0
Let w = -10 + 8. Let p = 1.8 + w. Sort p, 0, 0.2 in increasing order.
p, 0, 0.2
Let o = -9 + 16. Let u = -3 + o. Let q = 2 + -2. Sort q, -3, u.
-3, q, u
Suppose 0 = 2*q + 3*o - 15, -2*q - 5*o + 20 = 7. Let t = q - -7. Let c be -1*(t/(-2))/2. Sort c, -0.4, 0.2 in decreasing order.
c, 0.2, -0.4
Let h = -99/497 + 4/71. Sort -2, h, -13.
-13, -2, h
Suppose -4*m - 20 = -5*v, -3*m - 3*v + 4*v - 4 = 0. Suppose m*t = -2*t + 26. Suppose 2*r + 5*u = -2*r + t, 0 = -3*r - 4*u + 11. Sort 0, r, 1.
r, 0, 1
Let b(x) = x**3 - 6*x**2 + 7*x - 6. Let g be b(5). Sort 5, g, -1/7 in decreasing order.
5, g, -1/7
Let h(f) = f + 5. Let w be h(-9). Let c = 2 + -5. Put w, c, -2 in ascending order.
w, c, -2
Suppose -p + 14 = p. Suppose 10*f - p*f = -3. Let w(t) = -t**3 + 5*t**2 - 3*t - 4. Let j be w(3). Put j, -3, f in descending order.
j, f, -3
Let x(l) = -l + 3. Let t be 6/10*(-5)/(-1). Let f be x(t). Suppose 1 = -m - 0*m. Sort -4, m, f in ascending order.
-4, m, f
Suppose -5*b + 20 = 0, -2*a = -a + 3*b - 16. Suppose -3 = -2*f - 5. Suppose 6*i - 3*i + 9 = 0. Put i, a, f in descending order.
a, f, i
Let c be 8/18*(-21)/(-14). Sort 5, -8, c in ascending order.
-8, c, 5
Let g = 17/376 - 97435/1128. Let s = g - -87. Sort -1, -0.3, s in decreasing order.
s, -0.3, -1
Suppose -4*m - 7 = -27. Put m, 3, -1 in increasing order.
-1, 3, m
Let m = -88 + 85. Put 1, 5, m in increasing order.
m, 1, 5
Suppose 0 = 2*y - 0 + 2. Let s = -115 + 121. Sort y, s, -1/3.
y, -1/3, s
Let r = -6 + 4. Let p(a) = a**3 + 8*a**2 + 7*a + 9. Let g be p(-7). Suppose 0 = b - 4*t + 19, -b - g = -t - t. Sort r, b, 4 in ascending order.
r, b, 4
Let q(u) = -u**2 + 6*u + 10. Let p be q(7). Let n be (1 + (-5)/p)*3. Let s be 0 + 0 + -1 - n. Sort 4, -1, s.
-1, s, 4
Let j be (1/2)/(1/10). Let n = -61 + 60. Sort j, n, 0.
n, 0, j
Let t be (0/3)/((-10)/(-15)*-3). Put 5, -2, -4, t in ascending order.
-4, -2, t, 5
Let i = 3 - 4. Suppose 4*d = 5*z - 50, 0 = -5*z - 5*d + 5. Let g = z - 5. Sort i, -5, g.
-5, i, g
Suppose 2*i = 3*v + 12, -3*v + 3*i + 2*i - 3 = 0. Let n = v - -8. Put n, 0, -1/5 in descending order.
n, 0, -1/5
Let d = 352/3 - 116. Sort -0.1, d, -1.
-1, -0.1, d
Let k = 67 + -65. Sort -3, 5, k in decreasing order.
5, k, -3
Let k = -0.05 - 1.95. Let d = 0.9 - -0.1. Sort d, k, 3 in increasing order.
k, d, 3
Let b = 6/7 - 53/70. Let w = -3/10 + b. Let k = 2 + -2. Sort -4, w, k in descending order.
k, w, -4
Suppose -3*r = -4*u + 6*u + 15, -3*u + 3*r = 0. Put -4, -2, u in increasing order.
-4, u, -2
Let r = 9 - 13.5. Let b = r + -0.5. Let j be (-4)/14 - 90/(-168). Sort b, j, 3/5 in decreasing order.
3/5, j, b
Suppose -2*v = -3*c - 22, 0 = 5*c + 2*v - v + 15. Let m(t) = -t**2 - 2*t + 4. Let x be m(c). Sort -1/3, x, 2/15 in ascending order.
x, -1/3, 2/15
Suppose -j + 13 = 5*z, 6 = 4*z + 5*j - 2*j. Put 5, z, 0 in decreasing order.
5, z, 0
Let i = 24 - 29. Put 1, 2, i in ascending order.
i, 1, 2
Suppose 6*d = -11 + 281. Sort 0, 1/3, d in increasing order.
0, 1/3, d
Suppose 2*n - 2 = n. Let l be (-4)/(-2) + (-1 - -1). Suppose w - l = -2*y, -6*w = 4*y - n*w + 4. Sort 0, -3, y in descending order.
y, 0, -3
Suppose 2*y - 13 = 3*m, -2*y + 2 = -m - 5. Let o be -1*1 + m/3. Let j = 3 - o. Sort 0, j, 3.
0, 3, j
Suppose -7 = -x - 5. Sort x, -11, 0 in descending order.
x, 0, -11
Let g = -87 + 259/3. Let b = -12.2911 + 0.2811. Let z = -12 - b. Put g, z, -3/4 in increasing order.
-3/4, g, z
Let h = 0 - -0.1. Let k = -3.9 - h. Sort k, 0.4, -8.
-8, k, 0.4
Let j = 4607/15 + -307. Let o = -3 + 2. Let g = -53/296 - -2/37. Sort j, g, o in decreasing order.
j, g, o
Suppose i = 2*w, 4 = 2*i + i - 2*w. Suppose -i*b - 5 = 1. Put 0, 1, b in increasing order.
b, 0, 1
Let i(t) = -t**3 - 7*t**2 - 7*t - 7. Let v be i(-6). Suppose 4 = -5*w + 14. Sort w, -4, v in increasing order.
-4, v, w
Let m be 1*10/(-2 - -4). Suppose -w + m*w = 16. Let z = 3.02 - 0.02. Sort z, -5, w.
-5, z, w
Let l = -1.08 - -1.24. Put l, -0.3, -2/5 in increasing order.
-2/5, -0.3, l
Let n(r) = 3*r + 74. Let f be n(-23). Let p be (3/(-6))/(2/(-8)). Suppose -2*w = -p*h + 4, 18 = -h - 0*w - 4*w. Sort h, f, -5.
-5, h, f
Suppose s - 3 = -4. Sort s, 1, 5 in decreasing order.
5, 1, s
Let h be (24/10)/(3/10). Let p = h - 3. Suppose i + p*r + 0 + 5 = 0, -3*i - 15 = 3*r. Sort i, 2, 5 in ascending order.
i, 2, 5
Let j(t) = -t - 7. Let s be j(-6). Let z be (-20)/(-8) + (-1)/(-2). Sort z, s, -2 in decreasing order.
z, s, -2
Let y be 88/9 + 4/18. Suppose 2*l + y + 0 = 0. Let z = 0.3 - -0.2. Sort z, -3, l in increasing order.
l, -3, z
Let n = -12 - -7. Let v(o) be the third derivative of -o**4/24 + 5*o**3/6 - 3*o**2. Let i be v(4). Sort i, 0, n in increasing order.
n, 0, i
Let w = -14 - -23. Let k = w - 4. Sort 3, 2/9, k.
2/9, 3, k
Let c = -5 - -5. Sort 3, 1, c in increasing order.
c, 1, 3
Let a(t) = 3*t + 4. Let g be a(-3). Put 5, -7, g in decreasing order.
5, g, -7
Let v be (63/56 - 2/16) + -7. Put 0, v, 4, 3 in increasing order.
v, 0, 3, 4
Suppose -g + 1 = -5*c, -g - 2*c - 8 = 2*c. Put -14, 0, g in ascending order.
-14, g, 0
Let d be -2*5/4*-2. Let o be d + -6 + 1*4. Sort o, -3, 4.
-3, o, 4
Let l(c) = -4*c**3 - 5 + 5*c**3 + 5*c**2 + 7*c + 3*c**2 + 0*c**3. Let z be l(-7). Sort 0, z, -1.
z, -1, 0
Let t(f) = f**3 + f**2 - f + 1. Let p be t(0). Let k = 0 + -5. Let x = k - -10. Sort x, -5, p.
-5, p, x
Let u = -120 + 110. Put u, 0.1, -3 in ascending order.
u, -3, 0.1
Let r(p) = 2*p - 6. Let a = 3 - -2. Let y be r(a). Let k be (-8)/12 + y/5. Sort k, 0.5, 0.4 in decreasing order.
0.5, 0.4, k
Suppose -5*d - 1 = s + 5, -4*s - d + 14 = 0. Let a be 2/((-1)/3*-2). Suppose a*p = p. Sort p, 1, s.
p, 1, s
Let x = -56 - -58. Sort -5, 1, 4, x in decreasing order.
4, x, 1, -5
Let d = 25 + -25. Let m = 1 + -4. Sort m, d, 1 in descending order.
1, d, m
Suppose 5*t + 3*j = 8*j, -2*j + 12 = 2*t. Let u(z) = z**2 - 3*z + 1. Let o be u(4). Put t, o, 1 in ascending order.
1, t, o
Let l(y) = 2*y**2 + 9*y. Let z be l(-4). Sort 5, 49, z, 4 in decreasing order.
49, 5, 4, z
Let w = 13 - 13. Suppose -4*g + 4 = w, -3*b - 7 = -g + 3*g. Put 0.4, b, -1/3 in decreasing order.
0.4, -1/3, b
Let o = 0.3 + -1.3. Let y = 3.25 - 0.25. Sort o, 5, y in increasing order.
o, y, 5
Let u = -4 - -15.8. Let b = u - 12. Sort -2, -1, b in descending order.
b, -1, -2
Let h = 5 + -3. Let j be 1*(1 + -5 + h). Put -1, j, -3 in decreasing order.
-1, j, -3
Let f(w) = -w**3 - 4*w**2 - w + 2. Let a be f(-3). Suppose 0 = 5*u - u. Put -1, u, a in decreasing order.
u, -1, a
Let s = -0.7 - -0.9. Let k(h) = -h**2 + 11*h - 13. Let r be k(9). Put s, r, -5 in decreasing order.
r, s, -5
Let f be 30/3*(2 + -1). Let x = -5 + f. Let r be -4 - (-2 + 4 + -2). Sort r, x, -3.
r, -3, x
Let w = -1.1 - -4.1. Put -4, w, 9 in increasing order.
-4, w, 9
Suppose 0 = 2*a + 4*y + 4, a + 5*y = -4 - 1. Sort a, -4/7, -1/9 in decreasing order.
a, -1/9, -4/7
Let q be 3/(-12) - (-69)/(-12). Sort -5, q, 3 in increasing order.
q, -5, 3
Let d(k) = k**2 + 2*k + 3. Let t be d(-4). Suppose 2*h = -5*b, -3*b = -3*h + 2*h - t. Let l be (0 + 1)*(-1 + 0). Sort 5, h, l in increasing order.
h, l, 5
Let n be (-5 - (-44)/8)*(-9 + -1). Let t = -9 + 6. Sort n, 0, t in ascending order.
n, t, 0
Let r = 5 - -8. Put r, 4, 2 in ascending order.
2, 4, r
Suppose 2 - 8 = -3*y. Suppose -o - 5*l = 6 - 20, 2*o + 4*l - 10 = 0. Put y, -3, o in decreasing order.
y, o, -3
Let m = 2 - 7. Let l = 1.7 - -2.3. Sort l, m, -1.
m, -1, l
Let g = -6/191 - -580/6303. Put g, 0.1, -4, 5 in d