y. Let p be t(2). Put p, -1, k in decreasing order.
k, p, -1
Suppose -3*i - 4 = 5*y + 8, i + 5 = -2*y. Suppose 0 = 3*j - j - 10. Suppose -3*l + j*b = -i, 2*l - b = -3*b + 6. Put l, 3, 1 in increasing order.
1, l, 3
Let j(d) = d**2 - 8*d + 9. Let o be j(7). Suppose 0 = -4*g + o*x + 2 - 38, -g - 9 = -x. Let h be (8/(-6))/((-3)/g). Put 4, h, 5 in ascending order.
h, 4, 5
Suppose 5*r = 3*v - 5*v - 12, 4*r = -3*v - 11. Sort 12, v, 1 in increasing order.
v, 1, 12
Let f = -2 - -1.8. Suppose -10 = 2*p, 0*p + 2*p = 2*m + 22. Let b be m/(-42) - (-4)/14. Put b, f, 1 in descending order.
1, b, f
Let v = -2.3 + 2.5. Let b = -5.2 + v. Put b, -4, -1/4 in decreasing order.
-1/4, -4, b
Suppose -44 = 5*t - 19. Let q = 13 - 17.9. Let m = -5 - q. Put t, m, 4 in ascending order.
t, m, 4
Let i = -13 + 16. Suppose s - i*s + v + 15 = 0, s - 4*v - 18 = 0. Sort s, -2, 3.
-2, 3, s
Let d = -2.5 - -2.1. Sort -2, d, -10 in decreasing order.
d, -2, -10
Let t be 15/(-36)*2*(-18)/40. Sort t, -1/5, -0.3, -1 in decreasing order.
t, -1/5, -0.3, -1
Suppose g + 4*f + 3 = -4, -8 = -4*g - 4*f. Let m be (-1)/2 + 15/(-10). Let p be (m + 6 + -3)*-4. Sort 0, g, p.
p, 0, g
Let r be (0/(6/(-3)))/2. Let d(t) = -2*t**2 - 5*t - 4. Let g be d(-3). Let j(x) = x + 3. Let m be j(g). Put 4, r, m in ascending order.
m, r, 4
Suppose 11*n - 24 = -13. Let m(q) = 7*q**2 - q. Let h be m(-1). Let y = h + -11. Sort n, y, 4 in decreasing order.
4, n, y
Let t = 29/2 - 14. Sort t, 4, 0.1 in increasing order.
0.1, t, 4
Let z = 5.3 - 0.3. Let q = 39 - 32.3. Let y = -7 + q. Put -0.5, z, y in increasing order.
-0.5, y, z
Let r be -25*-2*1/5. Let w be (-19)/r + 4/10. Let q = 43/60 + -1/20. Put -0.1, w, q in decreasing order.
q, -0.1, w
Let p(r) be the first derivative of 5*r**3/3 - 3. Let g be p(1). Put g, 4, 2 in descending order.
g, 4, 2
Suppose 0 = -2*r + 3*r - 10. Let p be 1 + (18/r)/(-3). Put 5, -1/4, p in descending order.
5, p, -1/4
Let f = 91 + -81. Sort f, -0.2, -2 in decreasing order.
f, -0.2, -2
Let x(c) = c**3 + 7*c**2 + 6*c - 3. Let o be x(-6). Let v be ((-6)/(-4))/(3/(-8)). Let h be 0/((-4)/(-3 + -1)). Sort v, h, o in descending order.
h, o, v
Let t be 0*(-3 - (-2 + 0)). Suppose -2*b + 4*b - 6 = t. Suppose 0 = b*i - 0*v - v - 8, 4*v = -2*i - 18. Sort -5, 3, i in descending order.
3, i, -5
Suppose -g = -0*g + 3. Let p(i) = -i**2 + 6*i + 2. Let v be p(6). Sort v, 4, g in decreasing order.
4, v, g
Suppose -3*o = -3*u - 0*o + 21, 5*o = 3*u - 29. Let y = -17 + 22. Put -1, y, u in decreasing order.
y, u, -1
Let t be 1/4 - (-38)/8. Suppose 0 = -0*z + 3*z - 9. Suppose -16 = -8*v - 0. Sort t, v, z in increasing order.
v, z, t
Suppose -4*v - 22 = 5*f - 3, -3*f = -4*v + 5. Let o be (9/(3/(-1)))/1. Put 5, v, o in descending order.
5, v, o
Let w(k) = k**2 + 1. Let y(j) = j**3 + 6*j**2 + j + 9. Let o(l) = -5*w(l) + y(l). Let p be o(0). Suppose 26 = -p*v + 6. Sort 3, 0, v in ascending order.
v, 0, 3
Let t = -202 - -202. Sort 1, 0.5, t, -9/2 in descending order.
1, 0.5, t, -9/2
Let b(q) = q**2 - 11*q + 14. Let a be b(11). Let l = 11 - a. Let h(x) = -x**3 - 5*x**2 - 5*x. Let d be h(-4). Sort l, d, -4 in increasing order.
-4, l, d
Let y be (0 + 4)/(2 + -3). Let r = y - -9. Sort 0, -4, r in ascending order.
-4, 0, r
Let g = -31/2 - -15. Let j = g + 1. Sort -4, 1/3, j.
-4, 1/3, j
Let m be 0/(3/(9/(-3))). Put 3, 1, m in decreasing order.
3, 1, m
Let h = 7/37 + -17/481. Sort h, 1, 0.5 in decreasing order.
1, 0.5, h
Let v = 3 + 2. Let s(o) = -o**3 + 6*o**2 - 6*o + 5. Let n be s(v). Let d(f) = -f. Let u be d(n). Put -5, -2, u in decreasing order.
u, -2, -5
Suppose -2*l = 2 - 4. Put -5, 5, l, 3 in descending order.
5, 3, l, -5
Let t be 3/((-6)/10)*-1. Suppose 5*k + z - t = 0, -4*k + z + 0*z = 5. Put k, 5, -4 in descending order.
5, k, -4
Let j(l) = -l**3 - 7*l**2 + l + 8. Let x be j(-7). Suppose n - 4*p + 5 = -2*p, 2*n - p = -x. Sort n, -1, -4 in descending order.
n, -1, -4
Let p be (-2)/(-8) - 72/32. Sort -4, p, 2/13 in decreasing order.
2/13, p, -4
Let a = -125/2 - -64. Sort 1/4, a, -2/19 in decreasing order.
a, 1/4, -2/19
Suppose r + 4*r - 25 = 0. Let n = 0 - r. Let f = -6 - -2. Put n, f, 4 in ascending order.
n, f, 4
Let t = 0.4 + -0.6. Put -1, t, 5/4 in decreasing order.
5/4, t, -1
Suppose d = -4*d. Let s be d/(1 + -1 - 2). Let q be 2/(3*2/6). Put 1, q, s in increasing order.
s, 1, q
Suppose q + 2*q + 261 = 0. Let x = -259/3 - q. Sort x, -0.5, -1/5 in descending order.
x, -1/5, -0.5
Let j = -3 - -4. Let k(z) = -z**2 + 6. Let h be k(0). Suppose 2*m = -5*o + 8 + h, 4*o = 2*m + 4. Sort o, j, -1.
-1, j, o
Let u = -0.3 + -0.7. Let f = 3 + -2. Sort u, f, 0.
u, 0, f
Suppose -31 = 2*m - 5*s, -5*m + 10 = -s + 6*s. Let t be (-5 + 2)/m*-1. Sort 3/2, 2, t.
t, 3/2, 2
Let u(g) = -g + 5. Let z be u(6). Let o = 3 - z. Sort 3, o, -3.
-3, 3, o
Let b = 126 + -379/3. Sort b, 3/10, -1, -2/3 in ascending order.
-1, -2/3, b, 3/10
Let q = 50 + -55. Sort -10, -4, 2, q in decreasing order.
2, -4, q, -10
Let r = -7 + 2.7. Let d = -4 - r. Let h = d + -4.3. Put h, -5, 5 in ascending order.
-5, h, 5
Let t = 0.6 + 1.4. Let n = 2 + t. Let o = n + -3.5. Sort -3, 1/3, o.
-3, 1/3, o
Let t(g) = g**2 - 2*g - 4. Let c be t(6). Let q be 30/8 + c/80. Let u be (14/(-6) + 1)/(-6). Sort q, u, 0 in ascending order.
0, u, q
Suppose 13 = 5*l + 3. Sort -2, l, -5, -4 in ascending order.
-5, -4, -2, l
Suppose c - 4 - 8 = 3*m, 4 = -c - m. Suppose 0 = 2*a - 3*n + 12, c*n = a - 2*n + 8. Let i = -43 - -39. Sort a, -2, i in ascending order.
i, -2, a
Let f = -3495/19 - -184. Sort -2, 1/8, f in decreasing order.
1/8, f, -2
Let c = -31.7 - -32. Let r(s) = -s**2 - 5*s - 4. Let v be r(-4). Let k = -3 + 8. Sort c, v, k.
v, c, k
Suppose r - 10205 = -0*r. Let l be r/126 - 8/(-28). Let x = 163/2 - l. Put x, -4, -0.1 in increasing order.
-4, -0.1, x
Suppose 2*r = 3*r + 1. Let i = r - -3. Suppose -i*v - 3 = -m, -3*m - 5*v = -3*v + 15. Sort m, 1, 0 in descending order.
1, 0, m
Let z(u) = -4*u**2 - 27*u + 7. Let l be z(-7). Put -10, l, 5, 2 in descending order.
5, 2, l, -10
Suppose -3*z + 20 = -5*y, -5*z + 5*y = 3 - 23. Put 2, -1, z in increasing order.
-1, z, 2
Let l = 2.5 - 10.5. Put 1, l, 3 in decreasing order.
3, 1, l
Let y = -9.7 + -0.3. Let q = y - -10.2. Sort -3, -0.1, q.
-3, -0.1, q
Suppose -22 = 11*t - 0. Sort 4, 1, t in descending order.
4, 1, t
Suppose s = 6*s - 20. Let j(o) = -o**2 + 8*o - 9. Let z be j(7). Sort -1, z, s in descending order.
s, -1, z
Let d(b) = b - 4. Let l be d(0). Let w = -4 - -3. Put w, 0, l in increasing order.
l, w, 0
Let x = -0.18 - 4.82. Let i be 0 - ((0 - 2) + 0). Put 0.3, x, i in descending order.
i, 0.3, x
Let c = 76 - 77. Sort c, 2, 3/7 in descending order.
2, 3/7, c
Suppose 15 = 4*b - b. Let r = 0 + -1. Let v = 14 - 18. Sort r, b, v in ascending order.
v, r, b
Let h(p) = p**3 + 3*p**2 + 2*p + 1. Let t be h(-2). Let m be (-2)/14*(-1)/t. Let d = -3 + 6. Sort d, m, -1.
-1, m, d
Suppose 0 = -2*n + 6*n + 20. Let d = 8 - 5. Sort 4, d, n in decreasing order.
4, d, n
Let x(j) = -j**3 + 7*j**2 - 5. Let g be x(7). Let q be (2 - 3)*g - 2. Put -4, 4, q in increasing order.
-4, q, 4
Let b be 12/9*4/16. Put 1, b, -1 in ascending order.
-1, b, 1
Let g = 5 - 9. Let p(b) = 7 + b**2 + 0*b - 7*b - b**3 + 6*b**2. Let o be p(6). Sort g, -1, o in increasing order.
g, -1, o
Let d = -5 - -5. Suppose d = 6*q - 2*q - 5*m - 4, 0 = -3*q + 3*m. Let v = 0.4 + -0.2. Sort v, -5, q in ascending order.
-5, q, v
Suppose 5*d + 16 = d. Let l = 13 + -10. Suppose 20 = l*u + 2*u. Put u, d, -2 in decreasing order.
u, -2, d
Let m = 61 + -307/5. Let p = -0.3 + 0.29. Let o = p + 5.01. Sort o, 3, m in descending order.
o, 3, m
Let b = 12 - 1. Suppose -3*x - 13 = 4*g, -4*x - g = g + 34. Let q be (-57)/b + (-2)/x. Sort -4, 3, q.
q, -4, 3
Suppose 0 = -w + 4*s + 15, w - 3*s - 21 = -3*w. Sort w, 4, -5 in increasing order.
-5, w, 4
Let m(u) = -9*u + 4. Let k be m(1). Sort 2, -3, k in descending order.
2, -3, k
Let d = 53/75 - 1/25. Put -0.2, -12, d in descending order.
d, -0.2, -12
Suppose -3*r = 4*y - 4*r + 19, -y = r + 6. Suppose 5*n - 7 = -4*g, 2*g + 0 + 1 = -n. Put g, 4, y in ascending order.
y, g, 4
Let c be 1*-1*(-1)/(-9). Let g = 0.3 + 14.7. Let y = 15 - g. Sort -0.2, y, c in decreasing order.
y, c, -0.2
Let g be 3 - (54/8 + -4). Sort -0.4, 5, g in descending order.
5, g, -0.4
Supp