 -5, -17
Let v = 12 + -12. Let a = -231.7 + 233. Sort v, a, 0.4, -1/2 in decreasing order.
a, 0.4, v, -1/2
Let n = -123 - -144. Put 0, n, -0.1, -5 in decreasing order.
n, 0, -0.1, -5
Let y = 14 - 7. Let b = -4 + y. Sort -3, 1, b.
-3, 1, b
Suppose 0 = -8*h + 10*h + 22. Sort 1, h, 4, -1 in decreasing order.
4, 1, -1, h
Suppose 32*z = 28 + 68. Put z, -4, -424 in ascending order.
-424, -4, z
Let g = -17 + 10. Let t be (-7)/(g/(-57))*-1. Let v = t - 169/3. Sort -6, 0.2, v in descending order.
v, 0.2, -6
Let t(y) = y**2 + 11*y + 15. Let u be t(-10). Suppose -u = -f - 8. Let a be ((-6)/5)/(4/(-10)). Put -1, f, a in descending order.
a, -1, f
Let j = -640 - -637. Sort 9, -2, 3, j in ascending order.
j, -2, 3, 9
Let t = -2.75 - -3.15. Sort t, 0.1, -0.3.
-0.3, 0.1, t
Suppose -f = -2*l + 9, -2*l + 13*f - 11*f + 10 = 0. Suppose -15 = -7*m + 3*m - a, 0 = 3*m - 2*a - 25. Suppose -l*r = -m*r - 3. Sort r, 5, 4 in ascending order.
r, 4, 5
Suppose -124*o = -120*o - 12. Suppose -2*u + 1 = -5*r - 4, o*r - u = -2. Let l = -6 + 11. Sort r, l, -1.
-1, r, l
Let y = 143/18 - 49/6. Sort y, -3, -2, 3/10 in increasing order.
-3, -2, y, 3/10
Let m be 6/15*(7 + -2). Let w be -10*(-1)/(-7) - -1. Sort w, -0.1, m.
w, -0.1, m
Let t = 7 - 4. Let i = -51 - -51.4. Sort 0.5, -4, i, t in increasing order.
-4, i, 0.5, t
Suppose -20 = 5*m - m. Suppose 6*k = 15 + 21. Suppose 9*w = 6*w + k. Sort w, m, -0.4.
m, -0.4, w
Let v be (3 + (-70)/30)*(-3)/(-2). Sort -4, 32, v in increasing order.
-4, v, 32
Suppose -74*k = -80*k + 24. Put k, 10, -1 in ascending order.
-1, k, 10
Let x = -861 - -812. Sort 0, -1, -5, x.
x, -5, -1, 0
Let f = -96 - -100. Put 8/5, f, -0.4, 2/5 in ascending order.
-0.4, 2/5, 8/5, f
Let m(a) = 37*a + 34. Let d be m(-1). Put d, 1/5, 1/184, 5 in descending order.
5, 1/5, 1/184, d
Suppose 28*y - 38 = -206. Sort y, 14, -2 in ascending order.
y, -2, 14
Let k(r) = r**3 + 3*r**2 - 4*r + 4. Let i be k(-4). Let p = -5 - -2. Sort i, 0, p, -1 in decreasing order.
i, 0, -1, p
Let u = -17.57 + 17.5. Put -4, u, -0.4, -2/9 in decreasing order.
u, -2/9, -0.4, -4
Let v(i) = i**3 + 11*i**2 + 9*i - 7. Let k be v(-10). Suppose k*f - 21 = -0*f. Let w = 6 - f. Sort 0, -5, w in descending order.
0, w, -5
Let s(r) = r**2 + 4. Let t be s(2). Suppose 0 = t*z - 14 + 54. Sort 6, z, 3 in decreasing order.
6, 3, z
Let f = -37 - -39. Sort 4, 1/6, f, 2/5 in descending order.
4, f, 2/5, 1/6
Suppose 5*n + 4*f - 177 = 4*n, 3*n + 5*f - 510 = 0. Suppose -15 = -g - 4*g. Let x be ((-11)/n)/(g/(-10)). Put x, -0.3, -4 in decreasing order.
x, -0.3, -4
Let c = -1.2 - -6.2. Let z be -1 + 7 + 400/(-70). Put 4, c, z in increasing order.
z, 4, c
Let i = 1 - 3. Let d = -62.53 - -62.53. Sort 5/2, d, -1/5, i.
i, -1/5, d, 5/2
Let k be 1*(-1)/((-14)/6). Let f(z) = -7*z**3 + 21*z**2 - 10*z + 32. Let w be f(3). Put 5, w, 1/7, k in decreasing order.
5, w, k, 1/7
Let d = 2 - -7. Let h = d - 8.6. Let b be (-2)/13 + 168/585. Sort b, h, 2 in decreasing order.
2, h, b
Suppose 0 = 6*u - 6. Suppose 23*a = 25*a. Sort a, -4, u in decreasing order.
u, a, -4
Let n = -919 + 920. Sort 1/16, 0.2, n in decreasing order.
n, 0.2, 1/16
Let l = 65 + -64. Put l, 4, 16 in decreasing order.
16, 4, l
Suppose 0*x + 5*x = 85. Suppose x = -2*r + 5*f, f + 3*f - 28 = -2*r. Sort -5, r, -2, 3 in ascending order.
-5, -2, 3, r
Let b = -375 + 374.8. Sort b, 0.3, 217.
b, 0.3, 217
Let t be ((-36)/42)/(15/21). Let u be ((-45)/837)/((-2)/12). Let l = u - 212/465. Sort -2/13, l, t.
t, -2/13, l
Suppose 4*a + a = 42*a. Put -3, 5, 1, a in increasing order.
-3, a, 1, 5
Let k be 1052/(-18)*(-24)/16. Let x = k - 88. Put 1/5, x, 0.4 in increasing order.
x, 1/5, 0.4
Suppose 16*y - 31*y = -45. Put -461, -3, y in increasing order.
-461, -3, y
Let t = 123 - 122.5. Sort -0.2, 0.4, -3, t in descending order.
t, 0.4, -0.2, -3
Let g(q) = -q**2 + 12*q - 22. Let u be g(9). Put u, 35, 1 in decreasing order.
35, u, 1
Let c = 7 - 5. Let y(k) = k**3 - 5*k**2 - 15*k + 2. Let t be y(7). Sort -3, c, -4, t in decreasing order.
c, -3, -4, t
Let v = 572/3 - 191. Let c = -1.962 - 0.038. Sort -5, 2, v, c in decreasing order.
2, v, c, -5
Suppose 8 = 2*z + 2*z. Suppose -l + 2*m = -11, 3*l + 48 - 76 = 5*m. Put z, -2, l in decreasing order.
z, l, -2
Let t = -146 - -142. Sort t, -18, -5, 0 in descending order.
0, t, -5, -18
Let q = -33 + 32.9. Let x = -73 - -68. Sort x, 0, -1/9, q.
x, -1/9, q, 0
Let d be (-6 + 9 + -6)/(6/10). Put d, -4, 3, -1 in decreasing order.
3, -1, -4, d
Suppose 76 = -30*n + 32*n. Suppose -62 + n = 4*a. Sort -1, a, -2 in decreasing order.
-1, -2, a
Let v = 7 - -2. Suppose 0 = -n + v*n - 40. Sort 2, n, -1.
-1, 2, n
Suppose 2*t = 2 - 22. Suppose 0 = 4*y - 5*x, -6*x - 1 = -27*y + 22*y. Sort y, t, -5 in descending order.
y, -5, t
Suppose -2*p + 57 + 44 = 5*i, i - 17 = -2*p. Sort 4, -5, i in decreasing order.
i, 4, -5
Let w = 797.6 - 899. Let c = -101 - w. Sort c, -5, 14.
-5, c, 14
Let q be (-96)/(-54) - (-2)/(-1). Let y = -11 - -16. Let v = 1.45 + -1.15. Put y, v, q in decreasing order.
y, v, q
Let j = -7.05 - -7.55. Sort 6, 5, j.
j, 5, 6
Let a = 15227/45 - 1693/5. Let m = 8.9 + 3.1. Sort m, -0.4, a in decreasing order.
m, a, -0.4
Let g = -2/3443 + 17219/6886. Suppose -d + 7*y - 2*y = -72, 0 = -5*d - y + 282. Let u = -397/7 + d. Put g, u, 3 in increasing order.
u, g, 3
Let a be (0 + 1 - 2) + 0. Let i(w) = -w**3 - 6*w**2 - 2*w - 11. Let h be i(-6). Sort -5, a, h in increasing order.
-5, a, h
Let g be 2*5*(-2)/(-5). Suppose -g*n - n + 15 = 0. Suppose 17 = n*o - 7. Put -5, -4, o in descending order.
o, -4, -5
Suppose -13*l + 0*l - 52 = 0. Let r be 12/24 + (-2)/l. Suppose 18 = -4*p - 2*b + b, p + 3*b = -10. Sort r, 5, p in decreasing order.
5, r, p
Let k(w) be the second derivative of w**4/12 - w**3/6 - w**2 + 5*w. Let h be k(-3). Put 0, h, -2 in ascending order.
-2, 0, h
Suppose 0*c - 10 = c. Let o be (48/10)/(-4) + (-4)/c. Sort 0.3, 0.2, o, 0.11 in decreasing order.
0.3, 0.2, 0.11, o
Let f be (-34)/(-22) + 7 - 8. Let d = 0.3 + 2.7. Put -3, d, f, -0.5 in decreasing order.
d, f, -0.5, -3
Let p = 0.1 + 0. Let b = 0.029 + -5.029. Sort b, -0.4, p in increasing order.
b, -0.4, p
Let h = 5.59 + -6.49. Sort 3/5, 0.2, h, -3/4 in decreasing order.
3/5, 0.2, -3/4, h
Suppose -3 - 30 = -4*x - 5*s, -3*x = 3*s - 21. Suppose -3*j - x*j + 2*c - 3 = 0, -c = -2*j - 1. Put -4, j, 2 in descending order.
2, j, -4
Let n be ((-798)/(-35))/(-3) - -8. Put n, -0.4, 0.05, 6 in descending order.
6, n, 0.05, -0.4
Suppose -4*x = 4*d - 12, 5*d + 17 = 2*x + 53. Suppose -5*t = j - 21, -j + d*j + t = 9. Let i be j - 1 - 7 - -3. Put -2, i, 3 in increasing order.
i, -2, 3
Let h = 70 + -72. Suppose 5 = 4*z - 3. Put h, z, -5 in descending order.
z, h, -5
Let q be 672/(-560) + (-432)/(-110). Sort -2/11, 1, 3, q.
-2/11, 1, q, 3
Suppose 30*u - 3*l + 4 = 26*u, u + 24 = -5*l. Sort 3, u, -5, -25 in descending order.
3, u, -5, -25
Let r be (2 - -3)/(4 + -3). Sort r, 8, -5, 0 in ascending order.
-5, 0, r, 8
Let b(s) = -s - 2. Let g be b(0). Let r(c) = -c**2 + c + 1. Let n be r(g). Suppose 5 + 49 + 6 = -15*w. Sort n, 2, w.
n, w, 2
Suppose -9*x = -6*x + 12. Let g be 6/21 - (x - (-2 - 2)). Put g, -5, 0.8 in ascending order.
-5, g, 0.8
Let n be 0 - (1/(-2) + 2/4). Let q be 32/(-14) + (2/7 - n). Suppose -5*i - f = 14, 3*i - f + 5*f = -5. Sort i, q, -4 in increasing order.
-4, i, q
Let b = 0.1 + -0.6. Suppose 5*r - 2*z = -78, 0 = 2*r + z - 4*z + 40. Let m(y) = y**3 + 14*y**2 + y + 14. Let d be m(r). Sort -0.2, b, d.
b, -0.2, d
Let f(w) = -w + 1. Let d be f(3). Suppose 0 = 3*z + 3 - 114. Suppose z*h - 41*h + 20 = 0. Sort d, h, -4 in descending order.
h, d, -4
Let w = 0.469 + 26.531. Sort 1, w, 4 in increasing order.
1, 4, w
Let u = 4.62 - 4.62. Put -1/23, -0.06, u in descending order.
u, -1/23, -0.06
Let a = -2330.4 + 2330. Sort -1/7, -4.1, 0.1, a in ascending order.
-4.1, a, -1/7, 0.1
Let a = -1923 + 1923.4. Sort 0.04, 5, a in decreasing order.
5, a, 0.04
Let t = -2.172 - -0.172. Let r = 0 - 0. Let n = 0.2 + r. Sort t, -2/5, n.
t, -2/5, n
Let z(u) = 4*u**2 + 18*u + 14. Let j be z(-4). Sort 2, 3, -5, j.
-5, 2, 3, j
Let h = -0.0577 + -0.0423. Sort 2, -0.05, h, -1.
-1, h, -0.05, 2
Suppose -5*y - 1 - 19 = 0. Suppose -4*m = l + 8, 0 = -12*m + 13*m - 4*l + 2. Put m, -5, y, 4 in ascending order.
-5, y, m, 4
Let o = -101.251 + 0.251.