15, -3*y + 4*p = -10 + 37. Let v be (1/3)/(y/(-15)). Sort v, -1, -2 in descending order.
v, -1, -2
Let r = 7/3 + -8/3. Let y = 13 - 18. Let l = 157 - 155. Put l, r, y in descending order.
l, r, y
Suppose 0 = -4*s - s - 30. Let x be 1/1*s/3. Sort -1, x, -5 in descending order.
-1, x, -5
Let o be 12/18*(3 - 0). Suppose -20 = 5*d + y - 6*y, y = -3*d + 8. Suppose 0 + d = -x. Put o, -4, x in decreasing order.
o, x, -4
Let w = -12 + 12. Sort 3, w, 0.1.
w, 0.1, 3
Let n = -0.05 - -0.35. Sort -2, 4, n in descending order.
4, n, -2
Let r be ((-5)/4)/((-3)/(-12)). Suppose -2*q = -a - 10, 4*q - 2*a - 22 = a. Let f = 2 - q. Put f, 2, r in ascending order.
r, f, 2
Suppose 0 = 5*q - 10*q - 30. Put 0, q, -4, -1 in ascending order.
q, -4, -1, 0
Let m be 117/26*4/42. Sort -3, 6/7, -1/5, m in descending order.
6/7, m, -1/5, -3
Let y = -0.23 - 3.82. Let m = y - -0.05. Put 0, 1, m in ascending order.
m, 0, 1
Let p = 11 + -10.8. Let q = -0.1 - -0.1. Let w = q + p. Put -2, w, 0 in decreasing order.
w, 0, -2
Let u be (-430)/(-129) - (0 + 1/3). Sort 2, u, -5, -2 in increasing order.
-5, -2, 2, u
Suppose -5*y - 4*q = 0, 14*q - 40 = 5*y + 10*q. Sort 2, -2, -15, y in descending order.
2, -2, y, -15
Let c be 1 - 1 - (-4)/10. Let p be (-6)/(-27)*15/35. Sort 0.5, p, c in descending order.
0.5, c, p
Let m = 3386/85 + 116/85. Let g = -41 + m. Let r = g + 1/5. Sort 0, 5, r in decreasing order.
5, r, 0
Let v = -7.5 - -7. Let s = 20917 - 1903781/91. Let f = s - -44/13. Sort v, f, -1 in decreasing order.
f, v, -1
Let d = -12 - -11. Let x = 0.1 - 0.1. Let n = -0.5 + x. Put n, 0.4, d in decreasing order.
0.4, n, d
Suppose 0 = -3*s + 3*i + 9, i - 2*i - 6 = -2*s. Let l = 5 - s. Let x = 8 + -3. Sort x, -5, l in descending order.
x, l, -5
Let w be (-10*(-1)/(-12))/(-1). Let v = 0.09 - -4.91. Sort -1/2, v, w in descending order.
v, w, -1/2
Let v = -18 - -14. Put -2, v, 1/4 in increasing order.
v, -2, 1/4
Let n = -3.967 - 0.033. Let y = 5 - 2. Let r = -5 - -3. Put n, y, r in ascending order.
n, r, y
Let q = 78 + -81. Sort 3, 2, 1, q in descending order.
3, 2, 1, q
Let r be (-2)/(-396)*-4*1. Let f = r + -184/693. Let s be -3 + (-150)/(-56) + (-3)/(-4). Put s, 3, f in descending order.
3, s, f
Let w = -186 + 1672/9. Sort w, -3/4, -4.
-4, -3/4, w
Let i = 1.5 + -1.7. Put i, 2, -2/5, -6 in decreasing order.
2, i, -2/5, -6
Let a = -14 + 9. Sort 0.03, a, -1/5 in descending order.
0.03, -1/5, a
Let q = 75 - 74.5. Let k = -4.9 - 0.1. Sort 4, k, q in descending order.
4, q, k
Suppose w + 9 = -4*t, -4*w + 3 = t - 6. Put w, -3, 1/2 in decreasing order.
w, 1/2, -3
Suppose -11 = -4*d + 5. Suppose 4*i - j - 1 = 3*i, -2*i + 17 = -5*j. Sort d, 1, i in decreasing order.
d, 1, i
Let r = -121 + 118. Sort 3, 2, -9, r in increasing order.
-9, r, 2, 3
Let k(f) = -f + 1. Let l be k(-11). Let u be 3/l*(-8)/5. Put u, 3, 0 in decreasing order.
3, 0, u
Let u = -0.7 - 3.3. Let t = 9 - 8.96. Let m = -0.44 + t. Put u, m, 5 in ascending order.
u, m, 5
Let i = 4 + 0. Let a = -5 + 5. Put a, 5, i in ascending order.
a, i, 5
Let s = 1.9 - 1.85. Let w = 160/21 - 22/3. Put 3, w, s in increasing order.
s, w, 3
Let c(m) = -m + 13. Let r be c(9). Suppose r*n = -8 + 4. Sort n, 3, -5 in ascending order.
-5, n, 3
Let w = -112 - -113. Put w, -8, -5, -2 in descending order.
w, -2, -5, -8
Let d(t) = t**3 - 4*t**2 - t + 3. Let b be d(4). Suppose -12 = -6*u - 48. Sort -2, u, b.
u, -2, b
Let j = -0.19 - 0.11. Let s = -24 + 23.6. Put -3, s, j in decreasing order.
j, s, -3
Let r = -19 + 37/2. Sort -4, 1/10, r in decreasing order.
1/10, r, -4
Let z be 26/12 - 6/9. Let h = -0.04 + -6.96. Let a = h + 10. Put a, 0, z in decreasing order.
a, z, 0
Let l(r) = r**3 + 4*r**2 - 2*r - 6. Let y be l(-4). Suppose 0 = -5*x - i - y*i + 3, 0 = -4*x - 4*i + 4. Sort 4, -5, x in descending order.
4, x, -5
Let l(q) = q + 9. Let f be l(-9). Let g(u) = -u + 10. Let b be g(7). Suppose 15 = b*c - 6*c. Sort 3, c, f in increasing order.
c, f, 3
Let z = 160 + -1921/12. Suppose -s + 9 = -5*w - 5*s, 0 = -2*w + 2*s. Let d = w + 1. Sort d, z, 4 in increasing order.
z, d, 4
Suppose -4*m = 5*q - 0*q - 15, 0 = -3*m. Let b(d) = -d**3 + d**2 - d + 1. Let t be b(0). Put t, q, 5 in ascending order.
t, q, 5
Let y be (0 - -3)/(3 - 2). Sort 13, 2, 5, y.
2, y, 5, 13
Let w be 1/(-3 - (-6 - -2)). Suppose 2*n - 1 = -b, n + 1 + w = -b. Put 0, 4, n in ascending order.
0, n, 4
Let k(l) = l - 3. Let a be k(7). Let p be (-6 + 0 + 2)*1. Let j be (-18)/5 - p/(-10). Sort a, j, 3 in descending order.
a, 3, j
Let h = -7.8 - -7.8. Sort -5/6, 0.1, -5, h in decreasing order.
0.1, h, -5/6, -5
Let y be 4 + (-20 - 0) + 4. Sort -0.2, -5, y.
y, -5, -0.2
Suppose 3*r = 25 - 7. Let z = r + -23. Let n = z - -12. Sort -2, 2, n in ascending order.
n, -2, 2
Let l = 0.13 + 0.17. Let j = 0.5 + -0.5. Let z = -0.3 - j. Sort z, l, 0.5.
z, l, 0.5
Let b(z) = z**3 + 4*z**2 - z - 1. Suppose 8 = 2*d, -d + 6*d = 5*o + 40. Let r be b(o). Let n be 16/3 - 1/3. Put 1, r, n in increasing order.
1, r, n
Let l = 150.39 - 155. Let j = l + -0.19. Let k = 5 + j. Sort -2, 1, k in decreasing order.
1, k, -2
Let y = 5 - 5. Suppose y = 5*a - 0*a. Let l(x) = x**2 - 4*x + 1. Let r be l(3). Sort r, a, -5 in ascending order.
-5, r, a
Let m be 4/15 - (4 - (-50)/(-15)). Let t be 2*(0 + -1) + 0. Sort t, m, 5 in increasing order.
t, m, 5
Let c = 1.57 - 1.37. Let o be 4/(-38)*4/4. Sort -5, o, c.
-5, o, c
Suppose -5*f + j = 4 + 18, -5*j + 30 = -5*f. Suppose 2*s - 11 = -6*n + n, 14 = -n + 5*s. Sort n, 4, f in decreasing order.
4, n, f
Suppose 5*z - 2*z = 5*i + 5, z = 0. Let p be i - -3 - (-6 - -3). Put p, 2, 0 in decreasing order.
p, 2, 0
Let h(g) = g**2 - 7*g + 5. Let d(t) = t**3 - 11*t**2 - 11*t - 5. Let l be d(12). Let o be h(l). Put -3/7, o, 2 in decreasing order.
o, 2, -3/7
Let g(k) = -5*k**2 + 7*k + 7. Let u be g(-6). Let z be 2/9 - u/45. Put -3, z, -4 in descending order.
z, -3, -4
Let m = 3.8 + -0.8. Let p = m + -6. Let f = 0.1 - 0.1. Sort -0.2, f, p in ascending order.
p, -0.2, f
Suppose -3*f = -4*g + 11, -2*g - 3 - 9 = 2*f. Let w(o) = o - 13. Let u be w(9). Let y be (-2 - u) + (-12)/2. Put y, 3, g in increasing order.
y, g, 3
Let t = -124/159 - -6/53. Put 99, 3, t in decreasing order.
99, 3, t
Let a(r) = r**2 + 12*r + 35. Let n be a(-8). Suppose 20 = -9*k + 4*k. Put k, -2, n in increasing order.
k, -2, n
Let f = 2 + -5. Let i = f - -1. Let q = -213 - -214. Sort q, i, 0 in decreasing order.
q, 0, i
Let v(w) be the first derivative of -w**4/4 + 5*w**3/3 + 3*w**2 + w - 2. Let m be v(6). Let a(i) = -2*i - 1. Let s be a(-2). Sort s, -4, m.
-4, m, s
Let w = -1 + 4. Let t be (w - (0 + 3)) + 2. Put -5, 3, t in descending order.
3, t, -5
Let f = 7.03 + -7. Let v = 0.47 + f. Let g = -0.2 - -0.2. Put g, 5, v in decreasing order.
5, v, g
Let t(o) = -2*o**2 - 11*o + 2. Let y be t(-6). Put 2, 6, y in descending order.
6, 2, y
Let y = -0.4 + 1.4. Let o = -0.9 + y. Let p be (-48)/(-105) + (-3)/(-21). Sort 2, p, o in decreasing order.
2, p, o
Let d = -6 - -5.93. Let s = -0.05 - d. Let k = -5.02 + s. Sort 3, 5/3, k in increasing order.
k, 5/3, 3
Suppose 17 = -o - o - 3*h, 0 = -3*o + 5*h + 22. Suppose 5*i - 27 = 3*r, 3*r + 25 = i + 22. Sort i, 2, o.
o, 2, i
Let b = 0.08 + -4.08. Let l be -10 + 9 + 3*2. Put 4, l, b in ascending order.
b, 4, l
Suppose -2*n = -6*n + 4. Let q = -41 - -44. Sort n, q, -3 in increasing order.
-3, n, q
Let k = -12 - -12. Sort -3, -5, k, 1/4 in decreasing order.
1/4, k, -3, -5
Let o = 24.1 + -24. Let u = 3 + -10. Let p = u + 6.7. Sort o, p, 2/11 in increasing order.
p, o, 2/11
Suppose 2*p - c - 14 = 0, 4*p + 4*c = 2 + 2. Let u be ((-1)/(-2))/(99/(-44)). Let g = -1 + 4. Put p, u, g in increasing order.
u, g, p
Let s be 2/(5 + -1)*0. Let l be (0 + 1)/(-3 - s). Sort l, -4, 1.
-4, l, 1
Let d = 28.7 - 31. Let o = d - -3.3. Sort 3/7, o, -0.1 in decreasing order.
o, 3/7, -0.1
Suppose 21 = -4*k - t + 2*t, -2*t = 2*k - 2. Suppose s = 18 - 20. Sort k, s, 2.
k, s, 2
Suppose 15 - 3 = 4*k. Let r be 5 - 2/(2/1). Sort k, r, -4.
-4, k, r
Suppose 0 = 3*v + 5*q - 41, -2*v + 4*q = q - 2. Let c(x) = -x**3 + 6*x**2 + 6*x + 7. Let f be c(v). Put f, -1, -3 in decreasing order.
f, -1, -3
Let t(y) = -11*y**2 + 14*y - 17. Let n(m) = 7*m**2 - 9*m + 11. Let h(b) = 8*n(b) + 5*t(b). Let c = 2 - 0. Let s be h(c). Put s, -2, 0 in decreasing order.
s, 0,