
4, x, c
Let h = 6 - 2. Let q(k) = 8*k + 713. Let t be q(-89). Sort t, 15, h, -4 in increasing order.
-4, t, h, 15
Suppose 9*t = -204 - 390. Let a = 70 + t. Sort -2/5, -3, a in increasing order.
-3, -2/5, a
Let z(d) = -d**2 + 14*d - 42. Let j be z(5). Let a = -3 + 2. Put 2, a, j in ascending order.
a, 2, j
Let r = -17.45 + 16. Let z = -4.35 - -4. Let c = r - z. Sort 0.3, c, -4 in descending order.
0.3, c, -4
Let m = 11 - 6. Suppose 2*a = -4*a. Let v be (-4)/((-1 + a)/(6/42)). Put m, 2, v in decreasing order.
m, 2, v
Let l = -93 + 183. Let o = l - 96. Sort -2, 0, o.
o, -2, 0
Suppose 69*c = 67*c - 4. Sort 3, c, -1, 8.
c, -1, 3, 8
Suppose -2*a + 6*a - 3*m - 2 = 0, -3*m + 6 = 0. Suppose a*p = p + 2. Put p, 4, 3 in decreasing order.
4, 3, p
Let o = -221 + 234.3. Let s = o + -13. Let y = 8 - 12. Put y, s, 1.4 in ascending order.
y, s, 1.4
Let a be 1 + -1 + (7 - -4). Suppose a = 3*t - 4. Put -2/9, t, 0.4 in decreasing order.
t, 0.4, -2/9
Suppose -14*y = -11*y - 6*y - 6. Suppose -2*j + 0*j = -2. Sort 29, y, j.
y, j, 29
Let u = 1 - 2. Suppose 5*d - 118 + 8 = -5*a, 4*a + 4 = 0. Suppose -19*q = -d*q - 8. Sort q, u, 1.
q, u, 1
Let s be (10 + (-1710)/175)*(-20)/(-8). Put s, 3/5, 0 in ascending order.
0, s, 3/5
Let o(y) = y**3 - 11*y**2 - 17*y + 71. Let q be o(12). Suppose 3*a = -3 - 6. Put a, q, 4 in increasing order.
a, 4, q
Let l be (4 + 4)*(117/(-18) - -6). Let f be (0 - 3)*(-8)/3. Suppose 3*w - f = -4*g, -2*w - 3 = g - 0*w. Sort g, l, 3 in ascending order.
l, 3, g
Let l = 19 - 17. Suppose -x - l = -7. Put 3, x, -4 in ascending order.
-4, 3, x
Suppose 1474 = -11*g + 1375. Sort 1, 5, g, 13 in descending order.
13, 5, 1, g
Let p be 1 + 4/(6/6). Sort p, -7, 2, 3.
-7, 2, 3, p
Let f(m) = -m - 11. Let c be f(-9). Let u be 6*c/(12/(-3)). Suppose -7*g = -2*g + 4*n - 28, 0 = u*g + 4*n - 20. Sort -4, g, -3.
-4, -3, g
Let j be 4/(-6) + (-1652)/(-210). Let g = -77/10 + j. Sort 0.1, g, -5 in increasing order.
-5, g, 0.1
Let s be (-24)/(-132) + 8/(-286). Let u = -201.1 - -203. Put -0.3, s, u in increasing order.
-0.3, s, u
Let q be (-2)/((-18)/(-15))*(22 - 19). Sort 55, -1, q in ascending order.
q, -1, 55
Suppose -2 = -4*c + 3*c. Suppose c*v + v + 9 = 0. Sort -5, -1, v.
-5, v, -1
Suppose 0 = 45*h - h. Sort 4, h, -2.2.
-2.2, h, 4
Let c be -6 - (-6 - -3) - (-12)/6. Sort -5, -51/10, c in decreasing order.
c, -5, -51/10
Let q = 133/30 - 23/5. Let l be 0 + 1 - (4 - 5) - 7. Sort -0.1, l, 4, q in descending order.
4, -0.1, q, l
Let h = -0.05 + 35.05. Let w = h - 24. Let m = -13 + w. Sort 2, m, -2/3 in decreasing order.
2, -2/3, m
Let y be ((-2)/7)/((-8)/56). Let h(q) = -2*q**2. Let z be h(-1). Let o = 4 + -4. Sort o, z, y in increasing order.
z, o, y
Let d = -5194.57 - -5221. Let t = d + -26. Let q = t - 0.13. Sort q, 2/11, -0.3 in increasing order.
-0.3, 2/11, q
Suppose -12*l = 1087 - 1327. Let g = 6 + -8. Put l, g, 4 in increasing order.
g, 4, l
Let t be -74*((-6)/6 - 4/(-8)). Put 0, t, -1 in increasing order.
-1, 0, t
Suppose 28*z + 132 = 6*z. Sort 2, 3, z in ascending order.
z, 2, 3
Suppose 2*q - 20 = 4*t, 10*t + 10 = 8*t. Let i(g) = -2*g**2 - 19*g - 2. Let m be i(-9). Suppose -2*c + 3 = 7. Put m, c, q in decreasing order.
m, q, c
Let s = 1503 + -1501. Sort s, 0.192, -3 in descending order.
s, 0.192, -3
Let n be 1/(-15)*(2 - 0). Let y be 0 - (0 + 0 - -2). Put n, 4, -0.3, y in decreasing order.
4, n, -0.3, y
Let k = 1998 + -2000. Sort -4, k, -75 in ascending order.
-75, -4, k
Let i be 21/(-49) + (-6)/(-14). Suppose 13*t - 10*t + 3 = i. Put t, 3, 8 in descending order.
8, 3, t
Let g = -12 + 18. Suppose -7*c = -g*c + 5. Put -2, -3, c in decreasing order.
-2, -3, c
Let g = -1.417 + 0.417. Sort g, 5.1, -2.
-2, g, 5.1
Let n = -265 - -156. Let k = -104 - n. Sort k, 1/7, -9, 3 in increasing order.
-9, 1/7, 3, k
Let s(g) = -g**3 - 2*g**2 + 2*g + 3. Let p be s(0). Let i be (-31)/(-9) + 18/(-6). Sort 0.4, p, -3, i.
-3, 0.4, i, p
Let s = -5.8 + 11.8. Let m = s - 9. Put -4, m, -0.8 in descending order.
-0.8, m, -4
Let w = 212/319 + -14/29. Let c = -4/99 - w. Put 1, 0.9, c, 0.3 in ascending order.
c, 0.3, 0.9, 1
Let f = 0.2 + -8.2. Let u = 16 + f. Let r = u + -6. Put 1, -5, r in descending order.
r, 1, -5
Let o be (-6)/(-14) - (6 + -6). Let n = -227 - -222. Put n, 3, o, -1 in ascending order.
n, -1, o, 3
Suppose -675*u + 126 = -684*u. Put -1, -5, u in increasing order.
u, -5, -1
Let r be ((-30)/16 + (-7)/56)*2. Sort -1, r, 1, 9 in increasing order.
r, -1, 1, 9
Let y = 78.51 + -78. Let o = 0.11 - y. Sort -3, 0.3, o in descending order.
0.3, o, -3
Let u be 11/((-220)/(-312))*(-4)/(-8). Let f = u - 171/20. Put f, -5/3, 5 in decreasing order.
5, f, -5/3
Let o = 3 - 3.15. Let v = 3840 - 7679/2. Sort v, 2, o in descending order.
2, v, o
Let d = -12.8 - -7.8. Put -2/11, 1, 0.51, d in decreasing order.
1, 0.51, -2/11, d
Let b = 14407.4 + -14407. Let y = -0.5 + -4.5. Let t = 2 + y. Sort t, b, 11 in increasing order.
t, b, 11
Let s = -23 - -3. Let m = s - -16. Let z = 9 - 14. Sort -3, z, m.
z, m, -3
Let o = -0.575 + 0.475. Put 0.08, 0.3, o, 1/5 in descending order.
0.3, 1/5, 0.08, o
Let k be (12/(-9))/(322/14235). Let v = -412/7 - k. Sort v, -5/6, -6 in increasing order.
-6, -5/6, v
Let r = 49 - 45. Suppose 4*p = 5*w + 13, 2*p + 3*w = 5 - r. Put p, 5, 7, -1 in descending order.
7, 5, p, -1
Suppose -n - a = -5, n = 11*a - 14*a + 13. Sort 9, 2, n in decreasing order.
9, 2, n
Let r(p) = p**2 + 7*p + 6. Let b be r(-7). Let s be 8 - b - 32/17. Let l = -26 - -31. Sort -2, l, s in increasing order.
-2, s, l
Let w = 31 - 30.9. Put 5, w, -1/4, -1/6 in increasing order.
-1/4, -1/6, w, 5
Let w be (-80)/44 - -7 - 4/22. Sort 2/7, 11, -3, w.
-3, 2/7, w, 11
Let l = 0.91 - 1.91. Sort l, 0.3, 1/2, 6.
l, 0.3, 1/2, 6
Let c(b) = -3*b**3 + 3*b**2 - 2. Let y be c(-1). Suppose y*x + a = -0*a - 13, -15 = -5*x + 5*a. Put 2, 4, x in increasing order.
x, 2, 4
Let w be (7/(-140))/((-1)/4). Let b be (2/10)/((-336)/40). Let u = b + 4/21. Sort w, 2, u in descending order.
2, w, u
Let k = 200 - 1404/7. Sort k, -2/5, 0.19 in descending order.
0.19, -2/5, k
Suppose 0 = -3*i - 24 + 9. Suppose -3*v + 1 = -2*o, -3*o = -2*v + 6*v - 24. Put 1, v, i in increasing order.
i, 1, v
Let w(v) = -v - 10. Let p be w(-6). Let s be 3/(-2)*(-2)/p. Sort 0.3, -2/9, s.
s, -2/9, 0.3
Let n(z) = -z**3 - 4*z**2 - z + 4. Let j be n(-3). Let r = 1 - j. Suppose -2*q - 2*p = 3*p - 4, -r*p = -5*q - 21. Sort 5, q, -2 in decreasing order.
5, -2, q
Let j = 154.793 - 155. Let k = j - -1.077. Let m = k + 0.13. Sort m, -1/2, -4.
-4, -1/2, m
Let n be (-2)/(-5) - (-2)/(-5). Let w = 787 + -791. Put n, -5, w in descending order.
n, w, -5
Suppose -4*y - 1 = -f - 7*y, 0 = -4*f + y + 17. Suppose -1 = -5*k + f*b + 1, -5*k - 5*b + 20 = 0. Put -3, -1, k in ascending order.
-3, -1, k
Let y = -10 + 10. Let i = -295 - -296. Sort -2, y, i.
-2, y, i
Let z(p) = -5*p - 1. Let x be z(2). Let m = -1 - x. Suppose r = -r + m. Sort r, -4, 1.
-4, 1, r
Let p = -9.5 - -9. Let y = -0.33 - -1.03. Let l = -0.8 + y. Sort -1/8, p, l in decreasing order.
l, -1/8, p
Let z(y) = 3*y + 1. Let f be z(1). Let r be (1 - 5 - -1)/3. Let v(p) = p**2 + p - 3. Let m be v(-3). Sort f, r, m.
r, m, f
Let s be 10 + -7 - (1 + -55). Suppose 0 = -5*f - s - 33. Put -5, f, 2 in increasing order.
f, -5, 2
Suppose -4*q + 10 = q. Let b = 0.046 + -29.046. Let x = 32 + b. Put x, q, 6 in increasing order.
q, x, 6
Let c(x) = x**3 - 4*x**2 + 3. Let f be c(4). Let p be 14/18 - 20/(-90). Put p, f, -3 in descending order.
f, p, -3
Let o = -11 - -8. Let b = -51 - -54. Sort o, b, 1 in decreasing order.
b, 1, o
Let f(d) = 2*d**2 + 18*d - 46. Let v be f(-11). Suppose -c + 20 = -6*c. Sort c, v, 1 in decreasing order.
1, v, c
Suppose -2*n + 6*n = -4*x, 0 = -3*x + 2*n - 25. Let b = 19 + -15. Put x, -10, -4, b in decreasing order.
b, -4, x, -10
Suppose -2*v = 6*v - 56. Let a = -12 + v. Let o = 5 + 5. Sort o, -3, a.
a, -3, o
Let c = -0.3 - -0.4. Let i = 2/877 - -865/5262. Sort c, i, 3/4 in descending order.
3/4, i, c
Suppose 6*m + 19 = 1. Put -1, 1, -10, m in decreasing order.
1, -1, m, -10
Let n(d) = -d**3 - 7*d**2. Let t be n(-7). Let z = 7 + -2. Suppose h = 2*h - z. Put t, 4, h in ascending order.
t, 4, h
Let t be -22*(-3)/18 - (-4)/12. Let j = -2 + 3. Let z be 1/(-10) + (-14)/35. Sort z, j, t in descending order.
t, j, z
S