ending order.
s, -2/3, 1.1
Suppose 5*s - 165 = -10*s. Suppose 2*l + 11 + 1 = -5*x, 0 = -5*x - l - s. Sort 3, x, 15 in descending order.
15, 3, x
Let n be (-4)/(-30)*-3 - -1. Let u be (-1)/(6/4)*108/(-12). Sort u, -4, n, 2.
-4, n, 2, u
Let h(t) be the first derivative of -t**4/4 + 7*t**3/3 - 5*t**2/2 - 6*t - 3. Let g be h(6). Put -5, g, 2 in decreasing order.
2, g, -5
Suppose 3*c = -s - 1 - 3, 4*c = -5*s + 35. Sort s, 2, 1 in ascending order.
1, 2, s
Let f = 1201 - 1198. Sort -2.6, 0.1, f in increasing order.
-2.6, 0.1, f
Let o = 11.66 + -11.46. Let m = 1 - 1. Suppose -5*w - 4*p - 28 = 0, -17 + 5 = 4*w - 2*p. Sort w, o, m in decreasing order.
o, m, w
Let d = -1/15 - 4/15. Sort -3, d, -7/5 in ascending order.
-3, -7/5, d
Suppose 0 = 7*d + 71 - 92. Put -3, 27, 1, d in decreasing order.
27, d, 1, -3
Let s be 50/(-15)*12/(-5). Suppose -3*h = -g + 39, h = 2*g + s - 26. Let r = h + 16. Put r, -4, -1 in decreasing order.
r, -1, -4
Let z(j) = -3*j - 12. Suppose 0 = 3*f - 12, 0 = 4*r - 5*f + 21 + 23. Let y be z(r). Suppose 5*q - y*q = 0. Sort -5, q, 5 in descending order.
5, q, -5
Let h = -0.1 + 0.2. Let x(f) = -5*f + 30. Let j be x(5). Let r = -0.31 + 0.01. Put h, r, j in increasing order.
r, h, j
Let z = 11 + -6. Let d = 25 - 18. Suppose -19 + d = -4*l. Put z, -3, l in decreasing order.
z, l, -3
Let r = -0.0177 + -2.1283. Let d = 0.146 + r. Sort 1, d, -4/3.
d, -4/3, 1
Suppose -4*a + 4*i - 28 = -0*i, 5*a + 21 = -2*i. Sort 1, a, -30, 2 in ascending order.
-30, a, 1, 2
Suppose 2*x - 5*x - 30 = -3*s, x = -4. Put s, -4, 1 in increasing order.
-4, 1, s
Suppose 12*n - 3 = 13*n + j, 9 = -2*n - 3*j. Sort 35, -2, n, -3 in increasing order.
-3, -2, n, 35
Let z be ((-4)/(-20))/(5/25)*317. Sort -4, 2, z in decreasing order.
z, 2, -4
Suppose 0 = i - 3, 3*f - 4*i + 14 - 2 = 0. Sort f, 5, 3, -98.
-98, f, 3, 5
Let i = -0.19 - 2.21. Let j = 1.4 + i. Sort 2, 3, j in descending order.
3, 2, j
Suppose -5*j + 50 = 5*x, 6*j - j + 100 = 5*x. Suppose 20 = -5*o + 5*u - x, 5*o + 11 = -u. Put 2, -8, o in decreasing order.
2, o, -8
Let x = 35.5 - 37.5. Sort x, 28/3, -3 in decreasing order.
28/3, x, -3
Let b = -1.1 - -4.1. Let l = 10438 - 156413/15. Let y = -32/3 + l. Put b, y, 1 in decreasing order.
b, 1, y
Suppose 2*p - 25 - 7 = 0. Suppose 3*q + 0*q = -5*r + 26, 2*q = 5*r - p. Sort r, -11, -0.5.
-11, -0.5, r
Let o = 17 - 12. Put o, -3, -84 in decreasing order.
o, -3, -84
Let p be (-8)/16*-2 - 2. Let c be 2*(-10)/4 - -2. Put -4/3, p, c in descending order.
p, -4/3, c
Let u(a) = -a**2 - 36*a + 352. Let w be u(-44). Sort -6, -31, 3, w in increasing order.
-31, -6, w, 3
Let s(u) = -u - 8. Let j be s(-14). Suppose -20 = -j*g - 8. Sort g, -4, 4.
-4, g, 4
Suppose 7*g = 12*g - 30. Suppose -g = -8*w + 2*w. Let i = -0.03 - -0.1. Put i, -0.5, w in decreasing order.
w, i, -0.5
Suppose 0 = 42*s - 38*s + 36. Let m be s/(-15) + (-12)/20. Put m, 5, -7, -1 in increasing order.
-7, -1, m, 5
Let r = -15.5 + -3.5. Let t = r - -24. Put -0.5, -5, t, 0.2 in decreasing order.
t, 0.2, -0.5, -5
Let x = -0.21 + 0.3. Let l = x + 0.01. Sort l, -4, 12.
-4, l, 12
Let q = 0.082 - 0.012. Let c(l) be the first derivative of l**3/3 - 7*l**2/2 + 2*l - 1. Let k be c(7). Put q, 0, k in descending order.
k, q, 0
Let n = -4.5 - -0.5. Let m = -40 + 34. Let v be (-6)/9*(-3)/m. Sort v, 1/3, n.
n, v, 1/3
Let j(q) = -q - 3. Let m be j(-5). Suppose 5*c + 2 = -23. Sort 4, c, m in ascending order.
c, m, 4
Let a(k) = 4*k**2 - 2*k - 2. Let v be a(3). Let x = -23 + v. Put x, -12, 4 in decreasing order.
x, 4, -12
Let v be 1*(2 + -1 - (6 + 0)). Put -1/6, 0.07, v, -5/2 in ascending order.
v, -5/2, -1/6, 0.07
Let q = -0.4 - -0.2. Let t = -0.3 + q. Let y = -187/15 + 64/5. Sort y, t, 0.4 in ascending order.
t, y, 0.4
Suppose 6 = 4*p - 10. Let w be p/20 - 423/15. Let j = 22 + w. Sort 4, j, 3 in ascending order.
j, 3, 4
Let w be 38/72 - (-2)/9. Let s = 6.41 - 6.91. Sort 0, s, w.
s, 0, w
Let j = -26 + 76. Let c = 49.5 - j. Sort 0.1, -4, -1/4, c in decreasing order.
0.1, -1/4, c, -4
Let g = -0.25 + 0.15. Let y = 0 + g. Sort y, 4, 0.1, -5 in descending order.
4, 0.1, y, -5
Suppose 2*g + 5 = 3*g. Let b(v) = 2*v**2 + 41*v - 111. Let n be b(3). Sort g, 4, n in increasing order.
4, g, n
Suppose -4*j + 16 = -2*o, 5 = -2*j + 5*j + 2*o. Suppose 4*g + 0*g + 20 = 0. Let w be -1 - ((-2)/1 + 2). Sort w, j, g in ascending order.
g, w, j
Let g be 37/9 + 2/(-18). Suppose -16 = 4*s + g. Let r be ((-8)/20)/((-6)/(-10)). Put r, s, 2/3 in decreasing order.
2/3, r, s
Suppose 0 = -4*m + 5*s - 14 - 11, 4*m - 20 = -4*s. Let p be ((-6)/(-6))/(1/4). Suppose -13 = p*j - 1. Put j, m, -5 in ascending order.
-5, j, m
Suppose 0 = 5*j - w + 18, 10*w = 5*j + 14*w + 3. Put -24, j, 5, 2 in ascending order.
-24, j, 2, 5
Let y = -300 + 300. Put -3, y, -5 in ascending order.
-5, -3, y
Suppose 0 = 5*p - 2*t - 17, 0 = 4*p - 0*t - 2*t - 12. Let i = 741 + -744. Sort -5, p, i in increasing order.
-5, i, p
Suppose -4*y + 20 = -0*y, b = -4*y + 16. Let l(p) = p**3 + 12*p**2 + 4. Let i be l(-12). Put -5, b, i in descending order.
i, b, -5
Suppose 0 = 4*w + 5*q + 1 - 0, 0 = 2*w + 4*q - 4. Sort -5, -3, w in ascending order.
-5, w, -3
Let j(t) = t**2 + 12*t + 13. Let p be j(-10). Let u(o) = 8*o + 86. Let g be u(-11). Sort -5, g, p in increasing order.
p, -5, g
Let g = 19.1 + -0.1. Let r = g + -21. Put r, 5, 0.01 in descending order.
5, 0.01, r
Suppose 8 = 16*z - 12*z. Let g(f) = -f**3 + f**2 - 1. Let q be g(z). Sort q, 3, -1.
q, -1, 3
Let g = 1.956 - -0.044. Sort g, 3/2, 0 in decreasing order.
g, 3/2, 0
Let a = -23 - -24. Sort 2, -5, a.
-5, a, 2
Suppose 0 = -q - q + 4. Suppose q*t = 10 - 2. Suppose -3*k = -4*g - 5, -k - 3*g - 5 = -3*k. Put k, 1, t in descending order.
t, 1, k
Let p = -2.9 - -0.5. Let s = p + 2. Suppose -4*b = -4*f - 8, 26 = -2*b + 7*b + 3*f. Sort 0.5, s, b in ascending order.
s, 0.5, b
Let h = 11.52 + 0.48. Let d = h - 11.7. Sort d, 40, 0.1.
0.1, d, 40
Suppose -d - 6 = d. Let x be 2 + ((-8)/6)/(2/6). Sort d, 16, x in increasing order.
d, x, 16
Suppose 0 = -4*y - 5*c + 16 - 0, -5*c + 20 = 0. Sort 22, 0.2, y, -1/3 in increasing order.
y, -1/3, 0.2, 22
Let z(y) = 4*y - 35. Let x be z(8). Put 5, x, 7, 3 in increasing order.
x, 3, 5, 7
Let n(c) = c**3 - 5*c**2 - 5*c - 8. Let q be n(6). Let m = -1 + 3. Suppose 3*k + 6 = 3*t, m*k + k = t. Put t, q, 2 in increasing order.
q, 2, t
Let l = 700/7337 + -3/667. Sort 3, -13, l, -5 in descending order.
3, l, -5, -13
Let f(o) = -o + 5. Let m be f(7). Let s = -121 - -128. Sort m, s, 1 in descending order.
s, 1, m
Let a = -0.9 + 18.9. Let b = -10.9 - -11.2. Sort a, 2/7, b in descending order.
a, b, 2/7
Suppose 5*d = -4*v - 21, 4*d - 2*v + 10 + 12 = 0. Let h(t) = t + 1. Let w be h(-6). Let c = 3 + w. Sort d, 2, c in decreasing order.
2, c, d
Let n = 13.91 - -0.09. Let g = 0.32 - 9.32. Let a = g + n. Sort -0.2, 5/3, a in ascending order.
-0.2, 5/3, a
Let i be 0/1 - (-12)/(-28). Let k be 53/5 - (-3)/(-5). Suppose 0 = -2*j + k - 0. Sort -4, j, i.
-4, i, j
Suppose -5*h + 24 = 2*n, h = -5*n + 25 - 11. Put h, 17, -1, -0.5 in descending order.
17, h, -0.5, -1
Suppose 0 = -28*t - 6 + 62. Sort 3, t, -5, -3.
-5, -3, t, 3
Let p(t) = 3 + 9 - t + 0 - 2. Let v be p(5). Suppose 5*i + 10 = -5*r, v*r + 0*r = -3*i - 16. Sort -3, 1, i in increasing order.
-3, 1, i
Suppose 3*t - 6*t + 21 = 2*k, 4*t = -k + 23. Put -5, -3, 2, k in descending order.
k, 2, -3, -5
Let o = 1.39 + 0.51. Let r = -15.9 + 14. Let m = r + o. Sort -0.01, -3, m.
-3, -0.01, m
Let y = -0.06 - -2.06. Let b = -613 + 611. Put -2/5, y, 0.4, b in descending order.
y, 0.4, -2/5, b
Let c(q) = -40*q - 157. Let u be c(-4). Put -5, -4, 14, u in descending order.
14, u, -4, -5
Let n(i) = -6*i**3 - 30*i**2 + 3*i + 10. Let l be n(-5). Let a(j) = -4*j. Let h be a(-1). Suppose -h*y = -23 + 3. Sort l, -2, y in decreasing order.
y, -2, l
Suppose 49*l = 56*l - 21. Sort -32, -4, l in decreasing order.
l, -4, -32
Let n = -14 + -6. Let h = n + 16. Put 4, h, -5 in ascending order.
-5, h, 4
Let k(y) = -y - 4. Let g be k(-4). Suppose -p - 36 + 12 = -5*a, 4*p = 4*a - 32. Sort 10, g, a in increasing order.
g, a, 10
Let i be (-8)/((3 - 5)/1). Suppose 0 = -34*a + 20*a - 14. Sort 0.5, i, -2/5, a in decreasing order.
i, 0.5, -2/5, a
Let y be (-85)/180 - (-2)/9. Let i = -0.19 + -3.81. Put y, 5, i in descending orde