 = y - -93. Sort c, -11, 2 in ascending order.
-11, c, 2
Let m(v) = v**3 - 12*v**2 - 12*v - 8. Let u be m(13). Suppose -4*i = -2*f + 4, -u*f = -8*i + 3*i. Sort f, 2, 0 in ascending order.
f, 0, 2
Let s be ((-8)/(-12))/((-1)/(-3)). Suppose s = -n + 4. Let l = 221 - 222. Sort n, l, -5 in descending order.
n, l, -5
Let o = -27 - -40. Let k = o - 4. Put 0.3, k, 1/6 in descending order.
k, 0.3, 1/6
Suppose 5*o - 4*n - 4 = -9, 3*n = 5*o. Let j be 7 + -5 - 2/(-3)*o. Let r = -3 - -1. Sort j, r, -3 in decreasing order.
j, r, -3
Let p be (-85)/34*(-2)/1. Let a = 5 + 2. Let c be 1/(-3) - a/(-3). Sort c, p, -15.
-15, c, p
Suppose -3*u + 18*s = 21*s + 9, -2*u = 3*s + 8. Sort u, -19, -3.
-19, -3, u
Let t = -435 - -435. Put t, 75, 1/5 in ascending order.
t, 1/5, 75
Let p be -5 - (-6 - (-12)/4). Let g = 10 - p. Let a be -3*(-3 - (-16)/g). Sort a, -1/7, -0.3 in descending order.
a, -1/7, -0.3
Suppose 4*a = -0*a + 16. Suppose 0 = 5*y + 10, v + 4*y + 6 = -v. Let x = -1079 + 1076. Sort a, x, v in descending order.
a, v, x
Suppose 3418*x + 21 = 3419*x. Sort 0.01, x, 5 in decreasing order.
x, 5, 0.01
Let h = 13.45 - 12.85. Put 1/3, -1, -0.3, h in decreasing order.
h, 1/3, -0.3, -1
Let u = -13/42 + 9/14. Sort 20, u, 0.5.
u, 0.5, 20
Let d(s) be the first derivative of -s**4/4 + 5*s**2/2 - 4*s - 20. Let b be d(2). Sort 3, 5, b, -5 in increasing order.
-5, b, 3, 5
Suppose -t - 2 - 20 = -5*k, -k + 20 = 5*t. Suppose -3*q + 5*h + 20 = 2*q, q - k*h = 0. Let j(l) = -2*l - 2. Let f be j(-3). Put -1, q, f in ascending order.
-1, f, q
Let a = 22.033 - 0.033. Put -2/21, -2, a in descending order.
a, -2/21, -2
Suppose -9*l + 7*l - 28 = 0. Let p(o) = -o - 9. Let g be p(l). Put 4, -7, g in descending order.
g, 4, -7
Let x(u) = u**3 - 5*u**2 + 6*u - 6. Let v be x(4). Let s be -3*v/4*-2. Suppose -1 = q + s. Sort -8, q, -2/17 in ascending order.
-8, q, -2/17
Let u(o) = 2*o + 6. Let y be u(-4). Let j(q) = -q**3 - 6*q**2 + 14*q - 9. Let n be j(-8). Suppose -n = -8*v + 1. Sort y, v, -3.
-3, y, v
Let x = 0.497 - 0.097. Sort x, 1, 5/4, -0.5 in decreasing order.
5/4, 1, x, -0.5
Let q be (2 + -3)*-4 - 1. Let i(c) = c + 7. Let m be i(-9). Sort m, 4, 1/6, q in descending order.
4, q, 1/6, m
Suppose 0 = -2*w + 5*n + 8, 5*w = -2*n - 2*n + 20. Let h(f) = f**2 - 5*f - 1. Let x be 1 - (-4)/(-2 + 3). Let q be h(x). Sort 0, q, w in decreasing order.
w, 0, q
Suppose 2*s - 2*n - 16 = -0, 4*n - 8 = -4*s. Let y(x) = -x**2 - x + 16. Let g be y(-5). Sort s, 3, g in ascending order.
g, 3, s
Let z(l) = -l**2 - 11*l - 27. Let t be z(-8). Put 2, t, -1 in ascending order.
t, -1, 2
Let l be 12/2*(48 + 3). Let s = l + -3980/13. Suppose -2*y = 5*d - 10, -20 = -4*y - 0*d - d. Put s, -5, y in decreasing order.
y, s, -5
Suppose 0 = -3*n - 6, 0 = 2*p + 2*n - n - 4. Sort p, 2/9, 0.3 in ascending order.
2/9, 0.3, p
Let v = 150 + -166.8. Let x = v + 15. Let a = -1.3 - x. Sort -3, 1, a.
-3, a, 1
Let s be (-3 - 0) + 7 - -3. Suppose -2*p + s*p = 0. Suppose -1 = -5*n + 4. Sort n, p, -4 in increasing order.
-4, p, n
Let j be (-10 + 6)/(1 + (-62)/6). Let m = 0.06 + -1.06. Sort m, j, 0.1.
m, 0.1, j
Let v = -1095 - -1100. Put 0.2, -0.5, -2/3, v in ascending order.
-2/3, -0.5, 0.2, v
Let d = 24 - 20. Suppose 0 = b + d*b - 5. Let y(c) = -c**2 + c + 2. Let k be y(3). Sort b, k, -5 in ascending order.
-5, k, b
Let f be (0 - 1)/((-5)/15). Let v be (5 + -1 - 3) + 3. Put -1, f, v in descending order.
v, f, -1
Let p = 0.2329 - 0.2229. Let b = -5/259 + 6/37. Sort b, 3, p in descending order.
3, b, p
Let y be (-12)/(-30)*(-10)/26. Let t = 7 + -16. Let x = 7 + t. Put 2, y, x in descending order.
2, y, x
Let k = -17 + 19. Let b(j) = j**3 + j**2 - 6*j - 2. Let v be b(k). Sort 16, v, -5, 4 in decreasing order.
16, 4, v, -5
Let k = -3.48 - 0.12. Let g = -6.4 + k. Let m = g - -9.5. Sort m, 8, 1/9 in ascending order.
m, 1/9, 8
Suppose 9*b = -1 + 37. Let r = -3 - 1. Put -5, r, b in decreasing order.
b, r, -5
Let j = 541 - 540. Sort 0, -99, j in increasing order.
-99, 0, j
Let m = 1205 - 1206. Put -10, 2, m in increasing order.
-10, m, 2
Let j = -2 - 1. Suppose 18*c = -15 - 75. Put 3, j, c in ascending order.
c, j, 3
Let l(s) = s**2 - 6*s - 4. Let z be l(7). Let g(p) = -p**2 - p + 1. Let t be g(1). Suppose -23*r - 16 = 76. Sort z, r, t in increasing order.
r, t, z
Let f be (0 + -1)/(17/68). Suppose -30 = 8*v - 2*v. Sort 4, f, v, 2.
v, f, 2, 4
Let c = -119.053 - -119. Let p = c - 33.947. Let r = 32 + p. Sort 8, r, -4.
-4, r, 8
Let f = -65 + 61. Put 3, 4/7, 5, f in decreasing order.
5, 3, 4/7, f
Let t(b) = 3*b**3 - b**2 + 2*b - 2. Let g be t(1). Let m be g + ((-3)/(-3))/(-1). Sort 4, -4, 5, m in descending order.
5, 4, m, -4
Let k = -148 - -147. Let y(a) = a**2 - a + 3. Let v be y(0). Let m be (-8 + -2)*v/6. Sort m, 4, k in descending order.
4, k, m
Let a(h) = -2*h - 8. Let o be a(-7). Let q = o - 5. Let i be 3/(28/(-16) + q). Put 1, 2, i in decreasing order.
2, 1, i
Suppose 8 = 2*u, -3*t - 5*u + 1 + 4 = 0. Suppose 7*n = 218 - 204. Sort n, t, 4 in decreasing order.
4, n, t
Let p = 1842 - 1837. Sort 15, -21, p in ascending order.
-21, p, 15
Suppose -b + 4*l + 18 = 0, -5 = -5*l - 30. Sort b, -15, 2 in decreasing order.
2, b, -15
Suppose 5*m + 7*o - 11*o - 14 = 0, 2*o - 2 = -2*m. Sort m, 3/4, 0.24, -2.
-2, 0.24, 3/4, m
Let k = -2.7 + -30.5. Let l = 33 + k. Sort l, -0.11, 0 in decreasing order.
0, -0.11, l
Suppose -4*f - n = -8, 4*f + 10 = n + 26. Let h be 130/(-52)*2/(-1). Suppose 0 = -3*p + 5*z - 15, 4*p + 26 = h*z + 6. Sort f, p, 5 in descending order.
5, f, p
Let u = -11 + 11.49. Let y = 3.49 - u. Sort -8/7, 4/9, y.
-8/7, 4/9, y
Let t = -0.12 - 1.38. Let s = t + 1.67. Let y = 12 - 62/5. Put s, y, 2/7 in ascending order.
y, s, 2/7
Let d = 453/7 - 65. Put 162, -0.4, -5, d in increasing order.
-5, -0.4, d, 162
Let z = -7.91 + 10.91. Put -15, z, 12 in ascending order.
-15, z, 12
Let i = -37/2 - -255/14. Suppose -2*o = -0 - 8. Let u be (6*5/60)/((-2)/(-12)). Sort u, i, o in ascending order.
i, u, o
Let q = -0.395 - 0.105. Let h = -2/93 + 250/93. Let u = 17/6 - h. Put 1/9, u, q in decreasing order.
u, 1/9, q
Let i = 1.186 + 1.814. Let c = 11 - 8. Suppose 0 = -5*g + c*g. Sort g, 0.03, i in descending order.
i, 0.03, g
Let n = 0.57 + -3.07. Put 0.2, n, 3 in decreasing order.
3, 0.2, n
Let z(p) = -p + 8. Let r be z(6). Suppose 2*l - 4 - 4 = 0. Put r, l, 5 in descending order.
5, l, r
Let t = 1/1250 - -1217/41250. Put 1/5, 3/4, 1/12, t in ascending order.
t, 1/12, 1/5, 3/4
Let d = 28/15 + -5/3. Put 1, 0.5, d, 12/19 in ascending order.
d, 0.5, 12/19, 1
Let p = 767/9 - 85. Let i = 0.6 + -0.9. Let o = -549 + 2743/5. Put i, p, o in descending order.
p, i, o
Suppose -2*k - 7 = -3*n - 4, -k = -n + 1. Sort -3, n, 38, 3.
-3, n, 3, 38
Let h = 539 + -3239/6. Sort -0.13, 1/4, h in decreasing order.
1/4, -0.13, h
Let r = 16 - 2. Let n be 4419/63 + (-2)/r. Let c be 3/5 + (-32)/n. Sort 0.5, 0.4, c in increasing order.
c, 0.4, 0.5
Suppose 0 = -4*y - 11 + 23. Put -10, y, 4, 1 in ascending order.
-10, 1, y, 4
Let y = 632 + -634. Sort y, -8, 5 in increasing order.
-8, y, 5
Let t be ((-2 - -3)*0)/(-2). Suppose -6*d + 3*d + 63 = t. Let h be ((-9)/d)/((-2)/7). Put 4, h, 0.3 in increasing order.
0.3, h, 4
Let t = 15810 - 15805. Let n(a) = -a + 1. Let d be n(3). Put -1, t, d, 8 in ascending order.
d, -1, t, 8
Suppose -4*p = 20, -19*p = -5*c - 14*p + 30. Put c, 5, 0.4, 2/7 in decreasing order.
5, c, 0.4, 2/7
Let q = 3/7 + -2/21. Let k = 3.83 - 2.93. Suppose 0 = -2*d - 4 + 2. Sort d, k, q in increasing order.
d, q, k
Let r be 15/(-12) + (-39)/(-36). Let m = -3 + 4. Let t = -233 + 228. Put r, t, m in increasing order.
t, r, m
Let s = -21 + 21.56. Let x = -0.26 + s. Sort -1, 2, x in ascending order.
-1, x, 2
Let x(m) = 2*m**3 - 15*m**2 - 6*m - 15. Let b be x(8). Sort 2, b, 4.
b, 2, 4
Let m = -1865 + 1866. Put -5, m, 3, -10 in descending order.
3, m, -5, -10
Let d = 1.74 + -1.717. Sort d, -1/3, -1 in descending order.
d, -1/3, -1
Let h be (5/(-20) - (-10)/8) + -1. Suppose h*b = -b + 4*m + 4, 5*b + 5*m = -5. Let a(u) = u + 6. Let r be a(-5). Sort r, -4/7, b in decreasing order.
r, b, -4/7
Let m = -2.11 + 1.9. Let j = 2.79 - m. Sort j, -6, -3 in ascending order.
-6, -3, j
Let z = 506 - 4550/9. Let w = -586/9 - -65. Put w, 3/4, z in decreasing order.
3/4, z, w
Let a = -2212 - -2217. 