z, i
Let u = -0.5 - -0.7. Let b(l) = l + 7. Let y = -21 - -15. Let i be b(y). Sort u, -3/5, i.
-3/5, u, i
Let t = -1.5 + 2. Let a = -0.83 + 5.83. Put t, a, -0.2, -8 in decreasing order.
a, t, -0.2, -8
Let c = -22 + 18. Sort 1, c, 8 in decreasing order.
8, 1, c
Suppose -d - 14 = -8*d. Let w = 2 + 2. Suppose 2*v = 3*v + 2*o + 3, 4*o = w*v + 24. Sort d, 3, v in decreasing order.
3, d, v
Suppose 40 = 4*x - 48. Put -2/19, 3, x, 4 in decreasing order.
x, 4, 3, -2/19
Let r be (-9)/4 + 3/12. Let k be ((-2)/6 + 0)/(51/(-459)). Sort -3, k, 18, r in decreasing order.
18, k, r, -3
Let h = -0.734 - 0.266. Sort h, 0.2, 0.4, -0.1 in ascending order.
h, -0.1, 0.2, 0.4
Let m be 290/35 + 2/(-7). Suppose -m = u - 3. Let q = u + 10. Sort q, -2, -3.
-3, -2, q
Suppose 0 = a + 2515 - 2513. Sort 2, 0, -149, a.
-149, a, 0, 2
Let p = 170 + -155.1. Let g = 16 - p. Let z = -1.3 + g. Put -0.3, z, 0 in decreasing order.
0, z, -0.3
Let a be -1 + 0 + (-1483)/9. Let q = -166 - a. Let i(o) = -o**2 - 113*o - 2376. Let p be i(-28). Sort q, 0.1, p in descending order.
p, 0.1, q
Let n(l) = 29*l - 433. Let f be n(15). Put f, -13, -4 in increasing order.
-13, -4, f
Let r = 6 - 9. Let l = 158.6 - 160. Let d = -8.4 - l. Put d, -1/8, r in descending order.
-1/8, r, d
Let m = -1 + 4. Suppose 0*p - 16*p + 16 = 0. Sort p, -1.1, m in increasing order.
-1.1, p, m
Let s = -2859 + 2859. Sort s, 70, 5, 3 in decreasing order.
70, 5, 3, s
Suppose -2*m = m - k - 4, -3*m + 5*k = 16. Let y be 12/16*40/15. Sort 1, y, m, -3.
-3, 1, y, m
Let s = 3 - 5. Suppose -60*v - 184*v - 19*v = 1315. Sort -1/34, s, -4, v in descending order.
-1/34, s, -4, v
Suppose 3*b - 44 = -n + 2*n, 5*b - 80 = -5*n. Suppose -49 = 4*p + 4*h - 21, 5*h = 5*p - b. Put 2/3, 5, p, -5 in increasing order.
-5, p, 2/3, 5
Let k(i) be the second derivative of i**3/6 - 5*i**2 + i. Let f be k(10). Sort 4, -2, f, -4 in ascending order.
-4, -2, f, 4
Let b be ((-42)/27 - -2) + (-52)/117. Let m(f) = -f**3 - 6*f**2 - 4*f + 3. Let y be m(-5). Sort y, -4, b, 5 in decreasing order.
5, b, y, -4
Suppose -2*t = 4 - 0. Let n be t/4 + 33/(-22). Let i(c) = -c**2 - 4*c - 3. Let j be i(n). Put -1, 3, j in increasing order.
-1, j, 3
Suppose -115 + 143 = -7*x. Sort -2, x, 0.5.
x, -2, 0.5
Let x be (-19)/(-44) + (-27)/108. Sort 0.11, x, -2 in increasing order.
-2, 0.11, x
Suppose 0 = 2*v - 4*s - 0 + 18, -s = -5. Suppose 13 + v = 2*n + 2*g, -4*g = 0. Sort -5, n, 3 in descending order.
n, 3, -5
Let g be 1/(-12)*(4 - 1). Let a = 5 + -10. Suppose -4*u - 11 = -3*u. Put a, g, u in decreasing order.
g, a, u
Let t = -11 + 9. Let d be t/(-12) + (-50)/12. Let u = d + 0. Sort -1, 0.8, u.
u, -1, 0.8
Suppose -27*a + 14 = -121. Suppose 4 + 6 = -2*k. Sort -30, a, k.
-30, k, a
Let b = -22 + 30. Suppose -4*n + 0 + b = 0. Put 0, n, -3 in increasing order.
-3, 0, n
Let i = 285 + -247. Sort i, -0.1, -1/5 in descending order.
i, -0.1, -1/5
Suppose -14 = 4*t - 3*r, -1 = -2*r + 3. Let k = -92.9 + 93. Sort -1/2, k, t in increasing order.
t, -1/2, k
Let m = -129.9 - -130. Let f = 0.2 - 0.5. Sort 5, m, f.
f, m, 5
Let s be 1/(-4)*(-24)/(-27). Sort 5, -5, -4, s.
-5, -4, s, 5
Let u be (8/6)/(-2) + 0. Let a = -60 + 56. Let y = 3 + 1. Sort y, u, a in increasing order.
a, u, y
Let f = -458 + 455. Suppose 2*q = -4*o + 4, -5*o + 3*o + 2 = -4*q. Let z = 1 + q. Sort z, 0, f in decreasing order.
z, 0, f
Let h(y) = -y**2 - 7*y - 10. Let m be h(-4). Let f = 48 - 47. Sort -1/3, m, f in descending order.
m, f, -1/3
Let u be (6 + 105/(-18))*(0 + -4). Put -3, u, -141 in increasing order.
-141, -3, u
Let z = 122.9 + -123.3. Sort -1, 53, z in increasing order.
-1, z, 53
Let h be (-1)/3 + 5/10. Let g be 12/45*5/3. Suppose -3*v = 15, 4*v = -4*s + s - 29. Put g, h, s in descending order.
g, h, s
Let b = -557/987 + -1/141. Let s = 21 + -21.1. Sort -3, s, -0.5, b.
-3, b, -0.5, s
Let j(g) = 6*g - 26. Let x be (-2)/4 + 21/6 + 1. Let l be j(x). Put 4, l, 5 in decreasing order.
5, 4, l
Suppose 2*j + 5 = b, 5*j + 3*b + 29 = -0. Put 1, j, 45 in decreasing order.
45, 1, j
Suppose -s + 2 - 3 = -2*d, 3*d + 3 = 3*s. Suppose y - 5*r = -0*y - 12, 2*y - 12 = -d*r. Let u be y/(-10)*(-35)/42. Sort 0, 4/3, u in increasing order.
0, u, 4/3
Let k = -276 + 281. Sort -3, -5/4, -0.4, k.
-3, -5/4, -0.4, k
Let i be ((-30)/(-24))/(-1 + (-15)/(-20)). Put -22, 2, i in ascending order.
-22, i, 2
Let l(j) = j - 3. Let k be l(5). Suppose 2*d - 8 = 0, 2*o - k*d = -5*d + 22. Let u = -1 + 4. Put u, o, 2 in ascending order.
2, u, o
Let w = 25 - 27. Let a(s) = s**2 - 6*s + 3. Let g be a(6). Let y = 460 - 460. Sort w, y, g in increasing order.
w, y, g
Let w(p) = -30*p - 2. Let m be w(0). Sort 3, m, -4, -6 in decreasing order.
3, m, -4, -6
Let b = 0.04 - 0.095. Sort -5/4, -5, b in ascending order.
-5, -5/4, b
Let r be 3 + (-21)/(-56)*-6. Let i = 1 + -6. Sort -1/2, i, r in decreasing order.
r, -1/2, i
Suppose 28*y + 42 = 7*y. Let v(c) = c**2 - 5*c - 3. Let m be v(6). Suppose -m*h - 1 = 8. Put y, h, 3 in decreasing order.
3, y, h
Let k = 719 + -718. Put 16/5, k, -0.02 in descending order.
16/5, k, -0.02
Let o = -2.14 + 2.34. Let q = -1.1 - -4.1. Put -0.1, o, q in decreasing order.
q, o, -0.1
Suppose -2*g - 2*g = 4*h - 40, g - 16 = -3*h. Let a(w) = w**3 + 30*w**2 + 29*w - 5. Let j be a(-29). Sort -2, g, j in descending order.
g, -2, j
Let a = 876 - 874. Let d = -27 - -45. Let y = 25 - d. Sort -0.2, y, a in decreasing order.
y, a, -0.2
Let q be 1*(1 + (-14 - 2)). Let j = -447 + 447. Sort -1, j, -2, q in decreasing order.
j, -1, -2, q
Let v = 85 - 144. Let q = v + 55. Let p(a) = a - 8. Let h be p(6). Put q, h, -0.2 in ascending order.
q, h, -0.2
Suppose -n = -22 + 33. Put 0, 6, -2, n in ascending order.
n, -2, 0, 6
Let o = 91/5 + -19. Let y = -0.21 + 0.01. Sort 2, y, o, 5.
o, y, 2, 5
Let a = 30.897 + 1.303. Put a, 0.3, -2 in descending order.
a, 0.3, -2
Let w = 1805 + -2455. Sort -2, -0.4, w in decreasing order.
-0.4, -2, w
Let j be (-6)/(0 + -2 + 4). Sort -1, -4, 0, j in ascending order.
-4, j, -1, 0
Suppose -89 - 19 = -3*a. Suppose -m - a = -4*i - 3*m, -5*i - 5*m + 45 = 0. Sort -4, 1, 3, i.
-4, 1, 3, i
Let t = 255 + -254. Put -0.1, t, -14/17 in ascending order.
-14/17, -0.1, t
Let j = -332 - -331.5. Put -47, j, 1 in descending order.
1, j, -47
Let t = 24.6 + -25. Suppose -5*x = 2*h + 9, 2*x + 4 - 13 = -5*h. Suppose -b - 5*l - 14 = 0, -7*l + 6 = -h*b - 4*l. Put b, t, 0 in descending order.
0, t, b
Let i = 47 + -29. Let g = i - 19. Let k be (g - 12/(-8))*-2. Sort 2, k, 4 in descending order.
4, 2, k
Suppose 3 = j - 4*h - 9, h + 2 = 0. Suppose 3*z - 11 = -7*g + 2*g, j = -2*g - 4*z. Sort 0, -3, g, 5 in descending order.
5, g, 0, -3
Let g be (-5)/3*(-9)/5. Let h(b) = -b**2 + b + 2. Let u(p) = -p. Let n(l) = -h(l) + 2*u(l). Let y be n(3). Sort g, y, 4 in decreasing order.
4, g, y
Let x be ((-2010)/9)/(12/27). Let y = x + 486. Let r = 16 + y. Sort 0.3, 2/5, r in decreasing order.
2/5, 0.3, r
Let q be (-4)/(-14) + 288/(-224). Put -5, q, 58 in ascending order.
-5, q, 58
Suppose -54*t = 606 - 120. Put 4, 16, t in descending order.
16, 4, t
Let x = -924 - -921. Let f = -2.6 - -3. Put 1, f, 0.5, x in decreasing order.
1, 0.5, f, x
Let p = -3.8872 + -0.1388. Let z = p + 0.026. Sort z, -3/8, 5, 0.5 in increasing order.
z, -3/8, 0.5, 5
Suppose -3*n + 14 = -5*n. Let i(b) be the first derivative of -b**4/4 - 2*b**3 + 9*b**2/2 + 17*b - 2. Let j be i(n). Sort j, 5, 1 in descending order.
5, j, 1
Let u = 265 + -270. Sort -1, u, -2.
u, -2, -1
Suppose -5*t - y - 2*y = -1812, -5*t = -y - 1796. Let n be 48/t + 2/(-60). Put -0.5, -1, n in decreasing order.
n, -0.5, -1
Let r = -1315 + 1317. Sort 1/3, r, -6, -49.
-49, -6, 1/3, r
Let w = -839 - -804.7. Let m = w + 34. Let y = -6 + 5.9. Sort 2, y, m in descending order.
2, y, m
Let c = -11 + 7. Let r be 1 + -7 + 0 - (-6713)/1096. Sort r, 0, c in ascending order.
c, 0, r
Suppose -3*h = -2*q - 5 + 13, -4*q = -4*h - 8. Let g be (-68)/(5*(-10)/175*(12 - 5)). Sort -1, h, g.
h, -1, g
Let p = -20 - -24. Let x = 11 - 8. Suppose -x*b = 2*b. Put b, p, 2 in descending order.
p, 2, b
Let o = 787.7 + -788. Sort 0.8, 0.2, -3/7, o in descending order.
0.8, 0.2, o, -3/7
Let h(n) = -n - 2. Let k be h(4). Let s = 84 - 6. Let p = -81 + s. Put -4/3, p, k in increasing order.
k, p, -4/3
Let c = -242 - -214.8. Let x = c - -17.5. Let p = x + 