t j = 128 - 127. Sort -8, j, 3 in increasing order.
-8, j, 3
Let c = -0.1 + -4.9. Put 5, -3, c in descending order.
5, -3, c
Let x be -1 + 0 + 1*21. Let l be (1 - -1)/(8/x). Sort -0.3, l, 4.
-0.3, 4, l
Let d = -0.22 + -0.08. Suppose -6 = 2*a - 2, 4*j - 112 = -2*a. Let w = j + -289/10. Sort d, 0, w.
d, 0, w
Let o = -3 + 2. Suppose -2*m = -r - 9 + 2, -3*m + 14 = 2*r. Let z be (2 + 5/(-2))*-6. Put m, o, z in decreasing order.
m, z, o
Suppose 2*v + v = -3*c, -9 = -2*v - 5*c. Let w(m) = -m**3 - 3*m**2 - 3*m - 1. Let t be w(-2). Sort 0, t, v in descending order.
t, 0, v
Suppose y = -4*y - 60. Let c be 3/(-2)*y/(-9). Sort 0, c, 5 in descending order.
5, 0, c
Let x(d) = d + 9. Let o be x(-4). Suppose -u - 2*u + 18 = 0. Let v be (2 + u/(-4))*-6. Put 2, o, v in descending order.
o, 2, v
Let y be 4/8*2*1. Suppose -m = m + 6. Sort 4, m, y.
m, y, 4
Suppose -5*r + 3 = 4*p, -r + p = r - 9. Let q be (r/(-45)*-3)/(-1). Let t = 6 - 5. Sort q, -3/5, t in ascending order.
-3/5, q, t
Let u be 3 - (-2 - (-385)/75). Sort -3/8, u, 5, -0.1 in increasing order.
-3/8, u, -0.1, 5
Let y = -26.5 - -26. Let o = -4 - -3.7. Sort o, -4/5, y.
-4/5, y, o
Let d = 2364 - 80389/34. Let v = -221 - -3755/17. Let p = v + d. Sort p, 0.3, 2/13 in ascending order.
p, 2/13, 0.3
Let t = -1.1 - -0.8. Let c = 26 + -23. Let z be (-3)/(3 + 0 + -2). Put c, t, z in increasing order.
z, t, c
Let k = 7.5 - 7.3. Put -0.1, 0, k, -1/2 in descending order.
k, 0, -0.1, -1/2
Suppose 0 = -3*r + 6, -2*n = -4*r + 15 - 1. Let y be (n - 0) + 0 + 9. Put y, -1, 1 in ascending order.
-1, 1, y
Let r(x) = 4*x**3 - x**2 + 1. Suppose 0 = -3*z + z + 24. Suppose z = 3*c - 3*y, -2*c + y = 3*c. Let b be r(c). Sort 4, 1, b in ascending order.
b, 1, 4
Suppose 3*t + t + 8 = -2*a, 0 = t + a + 4. Suppose t = -2*z - z + 27. Let i = -6 + z. Put i, 5, -2 in decreasing order.
5, i, -2
Let i = 2 + -2.1. Let u = 596/9 - 66. Let b = 38 - 151/4. Sort u, i, b in decreasing order.
b, u, i
Suppose 4*r = 5*r - 3. Let t = -38 + 33. Let n be 3 - (4 - 0/t). Sort r, n, -4 in ascending order.
-4, n, r
Suppose -5*q + 5 = i, -2*q + 1 = 3*i - 1. Let v be 2*(-3)/(-18)*-6. Sort i, 3, v.
v, i, 3
Suppose 5*k = 4*d - 3*d - 22, -2*k = -2*d + 12. Let s be (-3)/18*-2*0. Put s, d, 5 in decreasing order.
5, d, s
Let a = -0.5 + -1.5. Let j(k) = -17*k**3 + k**2. Let d be j(-1). Let c be 23/d - (-6)/27. Put 0.1, c, a in descending order.
c, 0.1, a
Let j be 2*5/(-4)*-2. Let x be (6 + 2)/(1*2). Sort j, x, -4 in increasing order.
-4, x, j
Let d = -125 - -127. Sort 3, -5, -2/7, d.
-5, -2/7, d, 3
Let i = -14 - -17. Let u be 6/9 + (-8)/i. Sort 4, u, 5.
u, 4, 5
Let y be (-1)/(-4) + 39/(-12). Let p = 1 - 1. Let u = p - -3. Put y, 1, u in increasing order.
y, 1, u
Suppose -3*a + 0*a + 15 = -4*x, 0 = 2*a - 3*x - 10. Sort -3, 2, a, 1 in ascending order.
-3, 1, 2, a
Let s(z) = z**3 + 3*z**2 - z + 2. Let f be s(-3). Let u be ((-18)/7)/((-3)/14). Suppose 4*g + 3*l = -u, 3*l = -l - 16. Sort -1, g, f in decreasing order.
f, g, -1
Let l = -9.1 - -7.1. Sort 2, l, 18 in descending order.
18, 2, l
Let y = -0.3 - -0.2. Let o = 2.2 + 0.8. Sort y, o, 4 in decreasing order.
4, o, y
Let t be (72/10)/(-12) - (-58)/5. Sort 1/6, t, -0.1 in descending order.
t, 1/6, -0.1
Let d = 0.03 - -0.97. Sort 3, -3/8, d in ascending order.
-3/8, d, 3
Let s be 42/(-28)*4/(-14). Sort 4, -0.03, s in decreasing order.
4, s, -0.03
Let r(f) = f**3 - 6*f**2 + 5*f - 3. Let o be r(5). Let c be (-3)/(2/(o - -5)). Let i = 3 - 4. Sort 4, i, c in descending order.
4, i, c
Suppose -m + 0*m = -4*a + 14, -3*m - a = -10. Put m, 38, 1, -5 in descending order.
38, m, 1, -5
Suppose 5*b - 25 = -0*v + v, -v - 5*b = -25. Let g(o) = 0*o + 0*o**3 + o**3 - o + 4. Let j be g(0). Sort v, j, -5 in decreasing order.
j, v, -5
Let n be 4 - (0 + 2/2). Let z(w) be the first derivative of -2*w**3/3 - w**2 - 8. Let d be z(1). Sort d, n, 0 in descending order.
n, 0, d
Suppose -2*s = 3*s - 10. Let x = -106 + 109. Put x, s, 6 in increasing order.
s, x, 6
Let p be (0/(-5))/(-1 - 1). Sort 2, -2, p, 4 in increasing order.
-2, p, 2, 4
Suppose -f = -3*f + 16. Let r be 21/14*f/(-18). Sort r, 0.5, 1/10 in ascending order.
r, 1/10, 0.5
Let u = 11 - 34/3. Put -0.1, u, -0.2, 0.2 in decreasing order.
0.2, -0.1, -0.2, u
Let h = 17 + -14. Let c = h - 6. Let g be (-2)/(-10)*10/(-24). Sort g, c, -0.2 in increasing order.
c, -0.2, g
Let m = -0.06 - 0.04. Let x = -8.3 - -8. Put x, 1/2, m in descending order.
1/2, m, x
Suppose 4*i - 1 = 5*t, -i - i - 3*t - 5 = 0. Let w = -1 - i. Suppose -3*k - 5 = 2*k. Sort -4, w, k in ascending order.
-4, k, w
Suppose -7 = -2*s + 5*r + 18, 20 = s - 5*r. Let c be (-4)/10*s/(-17). Let k = -6.7 + 7. Put -3, c, k in ascending order.
-3, c, k
Let n = -21 - -9. Let l = n + 20. Sort l, -3, -4 in decreasing order.
l, -3, -4
Let z = 38 + -32.2. Let s = z - 6. Put s, -3, -0.1 in ascending order.
-3, s, -0.1
Let t be 1/2 - 0 - 2. Suppose -5*r + 0*r - 3*j = 10, -2*r = 2*j. Sort r, t, -4 in decreasing order.
t, -4, r
Suppose -4*k + 4 + 12 = 0. Suppose 5*s = -4*i - 13, 0*s = s + 4*i - 7. Let w = -5 - s. Put k, 4/7, w in decreasing order.
k, 4/7, w
Let d = 0.06 + -0.36. Sort d, -3, 3/2 in descending order.
3/2, d, -3
Let n be (1 + 2)/(-15) - (-38)/(-10). Sort 2, -6, 0, n in descending order.
2, 0, n, -6
Let h = -56 + 56. Put -1, 4, -2, h in decreasing order.
4, h, -1, -2
Suppose 4*b + 1 - 9 = 0. Sort -5, b, -2/5 in decreasing order.
b, -2/5, -5
Let y(n) be the third derivative of n**4/12 + 11*n**3/6 + 2*n**2. Let g be y(-8). Put -0.2, 0.3, g in increasing order.
g, -0.2, 0.3
Let u = -5 - -5. Suppose 3*b - 5*b = u. Let d be (-12)/(-2) - (-4)/(-4). Put 1, d, b in decreasing order.
d, 1, b
Let d = 54.5 + -54. Sort -1/6, d, -12 in descending order.
d, -1/6, -12
Let t = 14 - 14.5. Sort 8, t, 3/5 in decreasing order.
8, 3/5, t
Let h = 9 + -9. Let s(w) = w**2 - 4*w - 4. Let m be s(4). Sort 0.4, m, h in descending order.
0.4, h, m
Let j(t) = -t**3 - 9*t**2 + 1. Let r be j(-9). Put -2, -8, r in descending order.
r, -2, -8
Suppose m = 15 - 20. Sort 3, 5, m.
m, 3, 5
Let l(f) = f**2 - 6*f + 1. Let y be l(7). Let z = y - 12. Sort 4, -1, z in ascending order.
z, -1, 4
Let c = 4.4 + -4. Let n = 0.4 - 0.44. Let p = -0.96 + n. Sort p, c, 0.1 in ascending order.
p, 0.1, c
Let v be (0 - 3)/(3/(-3)). Suppose 4*m - 4*y = 6 + 2, -v*y = 2*m + 21. Put 3, 5, m in ascending order.
m, 3, 5
Suppose 4*i - 14 = -38. Sort i, 3, -5.
i, -5, 3
Suppose -3*n + 18 = 3. Let k be (1 + -2)/(1 - 2). Suppose 3*f + 4*y = -1, -3*y - 5 + k = -f. Sort 0, n, f in increasing order.
0, f, n
Let v = -22.06 + 22. Let m = -0.26 - v. Sort -0.1, m, -3 in increasing order.
-3, m, -0.1
Let y(x) = x**3 + 2*x**2 - 3*x + 3. Let n be y(-3). Let v be (-6)/4*4/(-6). Suppose -q - v = 4. Sort q, n, -4 in descending order.
n, -4, q
Suppose 4*v - l - 16 - 2 = 0, 4*v = -4*l + 28. Let r = -26 - -22. Put -1, r, v in increasing order.
r, -1, v
Let x(s) be the third derivative of -s**4/24 - s**3/2 - 5*s**2. Let q be x(-7). Let c be ((-8)/(-12))/(q/(-30)). Put c, -4, 5 in descending order.
5, -4, c
Let a be 2/(-4) - ((-17)/2 - -7). Put -0.5, -4/3, a in decreasing order.
a, -0.5, -4/3
Suppose 4*t - 29 = -9. Let h = -10 - -12. Suppose -5 = -3*f - h. Put t, f, -1 in descending order.
t, f, -1
Suppose 0*z = 2*z. Suppose -i + 4 = -z*i. Sort -4, -5, i in descending order.
i, -4, -5
Let l = -17.03 + 17. Sort 4, 5, l in descending order.
5, 4, l
Suppose -16 + 40 = 4*h. Suppose 2*t - h = 2. Sort -4, 0, t in increasing order.
-4, 0, t
Let i be 0 - 8/52*-1. Sort i, 5, -3 in descending order.
5, i, -3
Let g(r) = -r + 17. Let p be g(8). Sort 1, -0.1, p in descending order.
p, 1, -0.1
Let q be (0 - -1)*-4 - 1. Suppose 4 = -u + 2*s, -u + 12 + 4 = 3*s. Suppose u*v + 5*l = 8, 4*v = -v + l - 19. Sort v, 4, q in increasing order.
q, v, 4
Let u = 4 + 1. Put u, -3, -2 in descending order.
u, -2, -3
Let n(w) = w**3 + 6*w**2 - 7*w - 2. Let l be n(-7). Let q be (5/15)/(l/(-6)). Sort -2, q, -4 in decreasing order.
q, -2, -4
Let b be 2/(-6) - 14/(-42). Sort -2, b, 4.
-2, b, 4
Let i(s) = -2*s - 2. Let m be i(-1). Suppose 2*h + 0*h + 2 = m. Sort h, 5, 4 in descending order.
5, 4, h
Let r = 1.5 - 0.5. Sort 5, 3, r.
r, 3, 5
Let a = 7 + -4. Suppose -l - 2 = -2*l, l - 8 = -a*r. Suppose y - 5*y = 4*f, 0 = -4*f + 2*y - 12. Put -3, 