-y**2 + y + 15. Let s be r(4). Put s, -4, 2, -2 in descending order.
s, 2, -2, -4
Suppose 5*r + b + 76 = 0, 2*b + b = 4*r + 57. Let i = -11 - r. Sort i, -2, -0.5 in descending order.
i, -0.5, -2
Let w = 25 - 20. Suppose u + 0 = w. Let s = 4 + -8. Sort u, s, 2 in ascending order.
s, 2, u
Let j = 4 + -9. Sort 1/7, j, 0 in increasing order.
j, 0, 1/7
Let k be 1/((-1 + -3)/4). Sort -4, 7, k.
-4, k, 7
Suppose 0*t = 5*t - 20. Suppose 3*d + t*a = -0*d + 17, 0 = -2*d + 4*a + 18. Suppose -2*g = -d*g + 15. Sort 4, g, 1 in descending order.
4, g, 1
Suppose 0*s - 45 = -15*s. Let q(h) = -h - 1. Let b be q(-2). Sort -1, b, s in descending order.
s, b, -1
Let u be 9 + -4 + 1*-1. Suppose -u*w - 5 = -1. Suppose -2 = 3*m - 5*m. Sort m, -5, w.
-5, w, m
Suppose g = -u + 11, 23 + 20 = 2*g - 5*u. Sort 0, g, 1 in descending order.
g, 1, 0
Let d(t) = -t**2 + 5*t - 2. Let g be d(4). Suppose 5*r - g*r - 12 = 0. Sort 2, -5, r in decreasing order.
r, 2, -5
Let u be 2/(-6) + (-28)/6. Let c(l) = -5 + 7*l + l**2 + 5 + 3 + 4. Let v be c(u). Sort 0.1, v, -0.2 in descending order.
0.1, -0.2, v
Suppose 0 = -4*u - 9 - 15. Sort -10, u, -4 in ascending order.
-10, u, -4
Let n(c) = -c**3 + 3*c**2 - 3*c + 2. Let p be n(3). Let g(f) = -f**3 - 8*f**2 - 5*f + 9. Let d be g(p). Sort d, 5, 1 in increasing order.
d, 1, 5
Let o = 1.4 + -1. Let h = -34.084 + 0.084. Let t = h - -34.3. Sort t, o, -0.5 in descending order.
o, t, -0.5
Let c = -248 - -249.98. Let l = -2 - -1.98. Let k = l - c. Put -0.3, k, -1/5 in descending order.
-1/5, -0.3, k
Suppose 4*t - t + 32 = -5*f, -2*t - 24 = 4*f. Let i = 5 + f. Let c = 10 - 11. Put i, 4, c in ascending order.
c, i, 4
Suppose 3*w + 21 - 6 = 0. Put 11, w, -1 in descending order.
11, -1, w
Let k be 27/252*1*2. Put 0, -5, k in decreasing order.
k, 0, -5
Let g = 1519/9 + -169. Let p = -3/11 - 2/33. Let x = -0.9 - -0.4. Put x, p, g in ascending order.
x, p, g
Let h = -3 - -4. Let g = 1 - h. Let o be 0 - 1 - 44/(-48). Sort -1/9, g, o in descending order.
g, o, -1/9
Let x = -36.4 + 36. Sort 3, 5, 1/2, x in decreasing order.
5, 3, 1/2, x
Let s(v) = -v + 3. Let c(a) = -a + 15. Let x be c(10). Let k be s(x). Put -5, 1, k in increasing order.
-5, k, 1
Let y = -8 - -11. Let w = y - -0.8. Let b = w - 4. Put -2/5, -5/2, b in increasing order.
-5/2, -2/5, b
Let w = -1388/7 + 198. Sort w, -0.1, 0.4 in ascending order.
w, -0.1, 0.4
Let k = 0 - -2. Let l = 227/4 - 57. Let j = 0.7 - 1. Sort k, j, l in descending order.
k, l, j
Suppose 0 = x - 0*x + 3*d + 6, 3*x + 2*d = -4. Suppose x*i = 3*i + 6. Put 5, i, -5 in descending order.
5, i, -5
Let r(q) = -q**2 - 6*q - 1. Let m be r(-6). Put -0.1, 4, m in decreasing order.
4, -0.1, m
Let m be (-5)/(-2)*6*-2. Let i be (-18)/m - (-4)/10. Suppose 0*s + 8 = 2*s. Sort 3, s, i in ascending order.
i, 3, s
Suppose 5*i + 2*t + 0*t - 21 = 0, -i - 3*t = -12. Suppose -5*r + 14 = -i*h - 4, -5*r + 13 = 2*h. Sort 10, -2, h.
-2, h, 10
Suppose -9*v = -8*v - 2. Put v, -3, -2, 4 in descending order.
4, v, -2, -3
Suppose 0 = 5*r - 5*g - 10, -2*g = 4*r - 5*r + 7. Let n be ((-1)/4)/(1/(-4)). Sort r, 5, n.
r, n, 5
Let i be -1*(12/2)/(-30). Let v = 3 + -2.5. Let l = 0 + v. Put i, l, -5 in decreasing order.
l, i, -5
Suppose -2 - 2 = 2*x, -3*i + 4*x + 782 = 0. Let r = 2840/11 - i. Let v be (-2)/13 + 32/39. Put -5, r, v in ascending order.
-5, r, v
Let t = 1.656 + 13.334. Let y = t + -15. Put 2/3, 0.3, y in decreasing order.
2/3, 0.3, y
Let n = -81 + 79. Put -4, 3, n in increasing order.
-4, n, 3
Let f = -3 + 2. Let l = 154/5 - 31. Let r = -4.7 + 5. Put r, f, l in descending order.
r, l, f
Let x be -2*3/((-6)/5). Sort x, 8, -2 in descending order.
8, x, -2
Let h = -0.05 - -0.45. Let w = -3 - -2. Let d = -71/3 + 775/33. Sort d, h, w.
w, d, h
Let c = -114 - -117. Put c, -10, -3, 4 in decreasing order.
4, c, -3, -10
Let q(a) = a**2 + 5*a - 3. Let y be q(-5). Let c = -1 + 5. Put y, 3/7, c in decreasing order.
c, 3/7, y
Let n = 16 + -174/11. Put -0.02, 3, -1, n in increasing order.
-1, -0.02, n, 3
Suppose -5*o = -o + 12. Suppose -4*z = -t - 4 - 6, -4 = -2*t. Sort z, 1, o.
o, 1, z
Let j = 6 - 1. Let h(d) = 3*d + 5. Let y(t) = -2*t - 4. Let b(u) = -3*h(u) - 4*y(u). Let s be b(j). Sort 4, s, -1 in decreasing order.
4, -1, s
Suppose v - 2*p = -8, 4*v - p = 3*v - 4. Suppose -5*i = -3*i + 2. Put i, v, -2 in decreasing order.
v, i, -2
Let p = -5 - -10. Suppose 0 = -2*v - 2, g - 3*v = p*g + 19. Suppose 0 = -2*w - 5*m - 2, 0 = 3*m - 1 + 7. Put 1, w, g in decreasing order.
w, 1, g
Let z(b) = -2*b. Let i be z(-4). Let n = i + -12. Let u = 17 - 12. Sort u, n, 4.
n, 4, u
Let u = 1.49 - 1.4. Let k = u + 0.91. Sort k, -4/3, -0.01.
-4/3, -0.01, k
Let a(h) = h**3 - 13*h**2 - h + 14. Let x be a(13). Sort 5, -2, x in decreasing order.
5, x, -2
Let i = 9.03 - 9. Let q = i + -0.09. Let w = -0.44 + q. Sort 3, w, 5 in increasing order.
w, 3, 5
Suppose -3*z + 1 = -3*p - 2, 0 = -4*z + p - 11. Let k = -8 + 8. Put k, z, 2/9 in descending order.
2/9, k, z
Let x be -7 - (-3*(-8)/(-12) + -1). Sort 0, x, -2, -1.
x, -2, -1, 0
Let y = -206/3 + 68. Put y, 12, -0.5 in increasing order.
y, -0.5, 12
Let q = 22 + -25. Sort -0.4, -5, q, -2 in decreasing order.
-0.4, -2, q, -5
Let r = -12 + 10. Sort 1, r, -5 in ascending order.
-5, r, 1
Let c = 26 - 26. Sort -4, c, -1, 1/11 in ascending order.
-4, -1, c, 1/11
Let h = 2 - -7. Suppose c = 2*z - h, z - 15 = -c - 3*z. Put -3, -5, c in ascending order.
-5, -3, c
Let a be 16/(-48) - (-8)/(-3). Sort -7, a, -2.
-7, a, -2
Suppose 6 = -3*o + 12. Let u be 2 - -1 - (1 + o). Sort u, -3, -1.
-3, -1, u
Let i = -12 - -18. Let b = -5 + i. Sort -2, b, -0.1 in ascending order.
-2, -0.1, b
Let x = 0.41 + 3.59. Sort 1, 2/13, x in increasing order.
2/13, 1, x
Suppose -54 = -3*v + 15. Let f = -1711/2 + 876. Let d = f - v. Sort 0.3, d, 3.
d, 0.3, 3
Suppose 0 = 5*s + 3*v - 2*v + 5, 15 = -5*s - 3*v. Sort 5, -1, s in ascending order.
-1, s, 5
Let c be (-8 - -11)/((-4)/(40/(-15))). Let v = 5 + 0. Sort v, c, -2.
-2, c, v
Let n = -18 + 13. Suppose u + 1 = -5*p + p, -12 = -2*p + 2*u. Put 3, p, n in increasing order.
n, p, 3
Let u = 99 + -100. Put -5, -3, u in ascending order.
-5, -3, u
Let o = -8 - -8.2. Let q = o - -0.8. Sort -5/2, 0.2, q in descending order.
q, 0.2, -5/2
Let v = -155 + 152. Sort 4, 29, v.
v, 4, 29
Let m(i) = i - 7. Let a be m(7). Sort -7, -1, a, -4.
-7, -4, -1, a
Let q(b) = 2*b - 7. Suppose 3*d + 4 = l - 4, -2*d = 3*l - 13. Let u be q(l). Put -4/5, u, 0.4 in decreasing order.
u, 0.4, -4/5
Let l = 12 - 11.8. Sort 2/15, 3, l in decreasing order.
3, l, 2/15
Suppose l - 3 + 1 = 0. Suppose -q = q + l. Let k = -3 + q. Put 0, k, 2 in decreasing order.
2, 0, k
Let y = -0.03 - 0.45. Let q = y + -0.02. Put q, 3, 1 in decreasing order.
3, 1, q
Suppose 0*s = -s + 4. Sort s, 3, 2, 0 in decreasing order.
s, 3, 2, 0
Let z = -0.021 - 0.919. Let n = z - 0.06. Let o = 3 - n. Put o, -2/21, 3 in ascending order.
-2/21, 3, o
Let t = 0.9 - 1.5. Let b = t + 0.4. Put 4, b, -0.3 in descending order.
4, b, -0.3
Suppose -5 = -z + 5*v, 0 = -3*z - v - 0*v - 1. Let i be 13/(-5) + 4/(-10). Put z, 4, i in descending order.
4, z, i
Let a = 10.3 - 10.1. Sort 1/8, 3/5, a, 0.1 in decreasing order.
3/5, a, 1/8, 0.1
Let y(b) = b**2 - 7*b + 9. Let u be y(6). Let l = 17 + -16. Let x = 3 - 7. Sort l, x, u.
x, l, u
Let q(l) = l**3 - 7*l**2 - 8. Let s be q(7). Let f(o) = -o**3 - 7*o**2 + 6*o - 11. Let c be f(s). Let d = 2 - -1. Put d, c, 4 in ascending order.
d, 4, c
Suppose r = 3*r - 4. Let m be r/(-9) - 123/(-189). Let z be -1 - ((-12)/5)/3. Put m, z, -4 in decreasing order.
m, z, -4
Let r = 0.9 + 0.1. Let i = -6 + r. Sort 4, i, -4 in descending order.
4, -4, i
Let g = 45 - 41. Sort 0.3, 5, g in descending order.
5, g, 0.3
Let h = 7 - 7.22. Let r = -3.22 - h. Sort r, 0, -0.5 in decreasing order.
0, -0.5, r
Suppose 11*z = 10*z - 2. Sort 2, 3, z.
z, 2, 3
Let v = -1 + 0. Let p = v - 2. Sort 0.2, p, -2/9 in descending order.
0.2, -2/9, p
Let y(f) = 0*f - f - 2*f**2 - 4 + 3*f**2. Let x be y(3). Sort x, -1, -2.
-2, -1, x
Let z = 0.3 - -0.1. Put 1/3, -2, z, -1/2 in ascending order.
-2, -1/2, 1/3, z
Let h = 10 + 0. Put 0.2, h, -0.1 in increasing order.
-0.1, 0.2, h
Let x = 0 + 0.1. Let r = x - 0.6. Sort -1, -3, r in ascending order.
-3, -1, r
Suppose 3*o + 12 = 3. Let u be (0 - 1)*(-10)/(-2). Put o, 1, 