2*k - 83 = -g - 1, 3*g = -k + 36. Let n be (-4)/14 + 6/k. Sort 7, 5, n in increasing order.
n, 5, 7
Suppose 3*v - 1 = m, -2*v - 3*m - 13 = -v. Suppose -24*p = -33*p - 36. Sort v, p, 1, 4 in increasing order.
p, v, 1, 4
Let f be -1 + (3 - -1) + 0. Let g be (28/f)/(2/6). Let a be (-3 - g/(-8))*36. Put a, 1, -1 in decreasing order.
a, 1, -1
Let z = -1.07 + 1.117. Let t = z - 0.547. Put 0.3, t, 4 in decreasing order.
4, 0.3, t
Let r = 352.09 + -352.2. Let a = 2 + -1.9. Sort r, a, -4.
-4, r, a
Suppose -401*d - 4 = -403*d. Sort 5, d, 1/3, 3 in decreasing order.
5, 3, d, 1/3
Let r be (-620)/(-80) + 2 + -10. Put -4/3, -5, r, 1.8 in decreasing order.
1.8, r, -4/3, -5
Let k = -40.3 - -40. Let v = 1.78 + -1.68. Let s = -233/4 - -58. Sort s, v, k in increasing order.
k, s, v
Let p = -255.1 + 254.9. Put 1/23, -4, p in decreasing order.
1/23, p, -4
Let k be 1*-10*-2 - -4. Suppose 0 = 3*s + 2*s - 5*x - 20, 5*s - x = k. Sort 4, s, 8 in descending order.
8, s, 4
Suppose 0 = 2*j + 3*j - 35. Let a be (-87)/27 - (-8)/36. Sort j, a, -6.
-6, a, j
Let t be (-1 + 2)*(0 + 7 + -6). Put t, -1, -2, 5 in ascending order.
-2, -1, t, 5
Let i be (5/(-4))/(4/96). Let b be (-4)/6*i/20. Sort -10, 3, b.
-10, b, 3
Let x = -63 + -14. Let r = x + 81. Put -4, 3, r in descending order.
r, 3, -4
Suppose 0 = 11*h - 3*h. Suppose -2*v + 1 + 9 = h. Put v, 3, -16 in increasing order.
-16, 3, v
Let r(u) = u**3 + 3*u**2 + u - 20. Let g be r(0). Sort -3, g, -14.
g, -14, -3
Let g = -3/136 + 305/1496. Let l = 1 - -6. Sort g, 3, l.
g, 3, l
Let z = 14371/72 + -1595/8. Let m = 0.1 - 0.3. Let n = m + 0. Sort 0, n, z in decreasing order.
z, 0, n
Let o = -208 + 213.87. Let m = -0.13 - o. Sort 1, m, -3 in decreasing order.
1, -3, m
Suppose v = -5*s + 3*v - 13, 0 = 3*s - 5*v + 23. Let j = -8 - -5. Let z = j + s. Sort 0, 2, z in ascending order.
z, 0, 2
Let z be ((4 - 4)/(-4))/(-4). Suppose 4*r + j = -3*j - 20, 3*r + 5*j + 17 = z. Sort -2/3, r, 0.3, -1 in ascending order.
r, -1, -2/3, 0.3
Suppose -9*k + 5*k + 2037 = -3*b, 3*k - 1532 = -2*b. Sort k, 3, 2 in ascending order.
2, 3, k
Suppose 0 = 13*x - 9*x - 8. Suppose x*p + 7 = -s, 4*p + 14 = s - 9. Sort -3, 5, p.
p, -3, 5
Let v be 3854/(-60) + (-4)/(-10). Let j = v - -64. Let w be 6*4/16 - 1. Sort j, -5, w.
-5, j, w
Let k be 0/(-2 + -3 + 4). Let n be -1*4/1*3. Put n, -3, k in ascending order.
n, -3, k
Let m = 28 - 32. Let w = 45 + -42. Sort m, -2, w in ascending order.
m, -2, w
Let v(m) = -2*m - 1. Let q be v(-5). Let l(p) = -2*p + 19. Let h be l(q). Sort -2/15, h, -2/5 in increasing order.
-2/5, -2/15, h
Let n be 7/(-28)*1*4. Put -7, n, 5, 0 in descending order.
5, 0, n, -7
Let l = 213 + -217. Let c = 20 - -341. Let j = c - 7579/21. Put l, 3/5, j in ascending order.
l, j, 3/5
Suppose -33 + 34 = u. Sort 0, 3, 5, u in increasing order.
0, u, 3, 5
Suppose -10*n = -9*n - 5. Suppose 4*q - 29 = n*v, 6 = 2*q - 5*v - 21. Sort -0.5, q, 5, 0.2 in ascending order.
-0.5, 0.2, q, 5
Let l = -21 - -20.6. Let b = -1.3 - -1.8. Put b, -0.3, l in ascending order.
l, -0.3, b
Let x(a) = 4*a + 11. Let r be x(-4). Sort 4, -4, 3, r in decreasing order.
4, 3, -4, r
Let f be 543 + 64/(-16) + 6/1. Put -1, -5, f in descending order.
f, -1, -5
Let q be (4/(-1))/((-1200)/180). Sort 25, 3/7, q, 1.
3/7, q, 1, 25
Suppose -u = 22 - 18. Sort 0, u, 7.
u, 0, 7
Suppose 20 = -4*x + a, 3*x = -0*x - 5*a - 15. Suppose -33 = -4*h - 13. Let w(t) = 2*t**2 - 11*t - 2. Let b be w(h). Sort b, -1, x in decreasing order.
-1, x, b
Let u(p) = -p - 4. Let z be u(-8). Sort -1/6, 1/4, z, -0.5 in increasing order.
-0.5, -1/6, 1/4, z
Suppose r + 0*r = 1. Let k = 1.22 + -66.22. Let y = k + 67. Sort y, r, 0.2.
0.2, r, y
Let x = 496.6 - 497.3. Let r = -35.2 - -31. Let k = r + -0.8. Sort k, x, 0.2 in decreasing order.
0.2, x, k
Let z be (-52)/(-494) + (-48)/(-266). Let u = -8 + 10. Put -0.17, z, u in ascending order.
-0.17, z, u
Let n(b) = -b**2 + 29*b + 7. Let j be n(12). Sort j, 6, 5 in decreasing order.
j, 6, 5
Let m = -11.74 + 11.73. Put -0.5, m, 0.027 in ascending order.
-0.5, m, 0.027
Suppose 3 = p - 2*z, 4*p = 8*p + 4*z - 12. Let s = -3 + 14. Sort p, -1, s in descending order.
s, p, -1
Let h = -238.406 - -1.406. Sort h, -1, 0.2.
h, -1, 0.2
Suppose -3*h = -2*k - 0*k + 109, -182 = 5*h - 3*k. Suppose -12*v = 2*v - 476. Let u = h + v. Sort u, 1, 4 in descending order.
4, 1, u
Let f(p) = 2*p - 19. Let q be f(16). Let g = q - 2. Let i be (3/(-4))/(g/44). Sort 1/5, i, -5.
-5, i, 1/5
Let j = 138 - 193. Let y = j - -45. Sort y, 0, 2/9.
y, 0, 2/9
Let u(p) = -p**2 - 11*p - 5. Let o be u(-11). Suppose -g + 4 = g, -3*v + 20 = g. Let x be -1 + (-3)/(v/4). Put x, o, 0 in descending order.
0, x, o
Suppose -50*h = 34 + 16. Let d(q) = -13*q - 3. Let t be d(3). Sort 2, h, t, 3.
t, h, 2, 3
Suppose 31469 + 25379 = -88*g. Sort 5, 4, g in descending order.
5, 4, g
Let s be ((-297)/264)/(3/2). Sort -2, s, 3/5, 0.5 in descending order.
3/5, 0.5, s, -2
Suppose 10*l - 3*l = 399. Put -1, 1, l, 2 in descending order.
l, 2, 1, -1
Let u(j) = -j**2 - 4*j + 2. Let x be u(-5). Let o be -1*(6 + 8 + -14). Sort -4, o, x in decreasing order.
o, x, -4
Let a be (15/(-4))/((-4)/(-112)). Let z = a - -107. Put 28, -0.3, z in increasing order.
-0.3, z, 28
Let a be (37/481)/((-2)/(-13)). Sort a, 0.3, 29 in ascending order.
0.3, a, 29
Suppose -4 - 7 = -n. Let f = n + -15. Let h = -209/552 + 7/24. Put f, h, -3 in decreasing order.
h, -3, f
Let u = 9723 - 9724. Suppose 2*l = -5*p - 30, -3*p - 2*p = -4*l. Let x be (-8)/(p/2)*-2. Put -2, x, u in increasing order.
x, -2, u
Suppose -191*k + 200*k = -540. Put -2/5, 1, k in increasing order.
k, -2/5, 1
Let w = 876/2821 + -10/403. Sort 1, 2/9, w, 0.06.
0.06, 2/9, w, 1
Let c = -0.07821 - -5.07821. Let i = 0.1 - 0.2. Sort 0, c, i in decreasing order.
c, 0, i
Let z = -4.49 + 2.49. Put 0.1, 2, z in decreasing order.
2, 0.1, z
Suppose 3*c + 2*g = -3, 21*c = 19*c + 4*g - 18. Let y(j) = j**2 - j + 1. Let b be y(2). Sort -16, b, c in ascending order.
-16, c, b
Let h = -12.7 - -8.7. Let t be 3 + ((-372)/(-32))/(-3). Put h, t, -2/3 in descending order.
-2/3, t, h
Let j = -1.3 + 1.4. Let b = j + -5.1. Let w = -4.6 - b. Sort w, -0.4, -0.2.
-0.4, -0.2, w
Let t(n) = -7*n**3 + 20*n**2 + 23*n + 1. Let d be t(-1). Sort -11, d, 3, -2 in decreasing order.
d, 3, -2, -11
Suppose -51 = -7*w - 9. Let x be 4*(-4)/(-16)*0. Sort x, w, -3, 1 in decreasing order.
w, 1, x, -3
Let g be (-7)/(-2)*(18 - 22). Let v be g/30 - 3/9. Put v, 1, 3 in increasing order.
v, 1, 3
Let t be (7 - 330/24)/(102/16). Let s = t + 232/187. Let y = -0.1 - -0.2. Put s, 4/5, y in descending order.
4/5, s, y
Let f(b) = -5*b + 215. Let u be f(45). Sort -1, 2, 1, u in decreasing order.
2, 1, -1, u
Let o be 14/(-4)*11*-2. Suppose -o = -4*m - p, -3*m - 4*p + 28 = -20. Suppose -m = -4*f - 4*d, -7*d + 3*d = -12. Sort 5, f, 4.
f, 4, 5
Let d be 2160/(-22) - (0 - 0). Let w = 98 + d. Let m = 2 + -3. Put w, -5, m in increasing order.
-5, m, w
Suppose -40*r - 20 = 60. Put -5, -7, 5, r in increasing order.
-7, -5, r, 5
Let p = 1.612 - 2.612. Sort -4, p, -0.4, -0.02 in ascending order.
-4, p, -0.4, -0.02
Let p = 3.5 - 4. Let h = 44 + -43.9. Put h, -5, p in decreasing order.
h, p, -5
Let d be (4/10)/((-6)/(-20)). Suppose -87 = 5*z + 4*v - 65, 3*z = -3*v - 15. Sort 2, d, z, -5 in descending order.
2, d, z, -5
Let x be (-4)/14 - 2782/749. Sort -5, x, -169 in decreasing order.
x, -5, -169
Let c(q) = q**2 - 17*q - 22. Let y be c(18). Let m = -5 + 9. Suppose 0 = 7*g - 3 - m. Sort y, 3, g.
y, g, 3
Let i(h) = 2*h**2 - 4. Let y be i(-2). Suppose 0 = y*f + 7 + 9. Sort 2, f, 16 in descending order.
16, 2, f
Let m = -83 + 34. Let r = 52 + m. Sort r, -5, 0.6, -4/3.
-5, -4/3, 0.6, r
Suppose -5*m - 4*q - 25 = 0, m = -q + 6*q + 24. Let w = 27 - 25. Let t = w - m. Put -4, -3, t in increasing order.
-4, -3, t
Suppose -12 = -5*d + 18. Let r = -0.263 - -5.263. Sort r, 0, d in increasing order.
0, r, d
Let h = -2104 + 2105. Let r be 60/(-14) + 2/7. Put r, -2, -5, h in increasing order.
-5, r, -2, h
Let h be (-6)/(((-24)/4)/(-3)). Sort -1, h, 2, -2.
h, -2, -1, 2
Let m = -8 - -3. Let j be (-6)/4*(0 - (-4)/(-6)). Sort 2, 0, m, j in ascending order.
m, 0, j, 2
Let o = -400/143 + 34/13. Put 7, 3, -4, o in descending order.
7, 3, o, -4
Let a be (4/10)/(42/15 - 3). Put 4, a, 1 in ascending order.
a, 