- 5 = -4*k, 18 = 5*t - 3*k. Put t, -2, 8 in descending order.
8, t, -2
Suppose 145 = 17*f + 12*f. Sort f, 15, 2, 0.
0, 2, f, 15
Let b be (-4)/((-24)/(-9)) + 9/6. Suppose 6*h - 11*h - 205 = b. Let y be -1*1/6 - h/(-82). Put y, -3, -5 in descending order.
y, -3, -5
Let r = -0.002 - -9.002. Let t = -9.356 - 0.044. Let q = r + t. Put q, 1/5, -4 in decreasing order.
1/5, q, -4
Let n be (-370)/(-280) - (-6)/(-8). Put -3/2, n, -11/5 in descending order.
n, -3/2, -11/5
Suppose 8*a + 3 = -21. Let b be (a - (0 - -2)) + 4. Let r be -21*(-3)/(-27)*3. Put -5, r, 0, b in decreasing order.
0, b, -5, r
Suppose -13*c + 16*c - 4 = -j, -4*j + 2 = 5*c. Sort -4, -1, 4, c, 0 in decreasing order.
4, c, 0, -1, -4
Let i = 51 - 26. Let h = i + -30. Let j = 4 - 15. Put h, 0, j in increasing order.
j, h, 0
Let r = -2 - 1. Let a = -34557 + 34561. Sort r, a, 1 in decreasing order.
a, 1, r
Let j(x) = -31*x - 2604. Let d be j(-84). Sort 42, 3, -0.4, d in descending order.
42, 3, d, -0.4
Let j = -1.17 - -48.17. Let s = j + -44.9. Let y = s + 1.9. Sort -0.1, -1/2, y, 1 in descending order.
y, 1, -0.1, -1/2
Let x = 0.027065 + -0.027065. Let w = 61/45 - 5/9. Sort -7, w, x, -3/4.
-7, -3/4, x, w
Suppose -4*c + 3*c + 2 = -3*w, 10 = 5*c - 2*w. Suppose 0 = -2*n + p + 2 + c, 2*p = -n - 3. Let k be (3 - n)/(-1) - 0. Sort -1, k, 5 in decreasing order.
5, -1, k
Let t be 2 + 6/(-8)*2. Let r = -32.9 + 66.9. Let z = 34.06 - r. Put z, t, 0.1 in descending order.
t, 0.1, z
Suppose 3*v - 4 - 5 = 0. Let i(o) = -o**2 - 1398*o - 114058. Let j be i(-87). Sort v, j, 40 in ascending order.
j, v, 40
Suppose 0 = 4*v + 3*f + 178, 2*v + 50 = -118*f + 123*f. Sort -1, 0, v, -5 in ascending order.
v, -5, -1, 0
Let b(k) = k + 29. Let z be b(-31). Suppose 4*f = 16, 4*o - 5*f + 3*f + 12 = 0. Sort z, -5, o in decreasing order.
o, z, -5
Suppose -2*h + 28*u + 10 = 26*u, 0 = -2*u. Let t = -20 + 21. Put t, -3, -6, h in descending order.
h, t, -3, -6
Let s = -0.8467 + 0.4467. Put s, 0.04, -10 in increasing order.
-10, s, 0.04
Suppose -u + 11 = -3*z, z - 6*u = -4*u - 2. Let o be 1/(z/80*-5). Let g = 25 - 27. Sort o, -0.4, 1, g in decreasing order.
o, 1, -0.4, g
Let b be ((-3)/15)/(247/(-95) + 3). Let f = -1 + -2. Sort b, -12, f in descending order.
b, f, -12
Suppose 0 = -4454*v + 4477*v - 299. Sort v, 145, 2.
2, v, 145
Let f = -12738 + 12743. Put 0.1, 217, f in ascending order.
0.1, f, 217
Suppose 4*w = -20, 0 = -2*r - 4*w - 1350 - 1038. Sort 1, r, 0 in decreasing order.
1, 0, r
Let b = -141766 + 142028.587. Let k = b - 260. Let q = k - 0.087. Sort 2, q, -2/11 in ascending order.
-2/11, 2, q
Let u be (-6)/40*5/(-6)*2. Sort 0.28, -0.5, 3/8, u in descending order.
3/8, 0.28, u, -0.5
Let o be 143 + -149 - (-8)/1. Put 74, 5, o in descending order.
74, 5, o
Let c be -5*(-18)/(-15) - -11. Suppose 0 = -d + 1 + 3. Let s be (-1)/2 - (-18)/d. Put s, 2, -3, c in descending order.
c, s, 2, -3
Let b be ((-2511)/(-4374) - 2/27)/((-2)/(-12)). Let q = 0 - 1. Let m(n) = 8*n**2 + 2*n + 1. Let k be m(-1). Put 1, b, q, k in decreasing order.
k, b, 1, q
Let b be 1 + (152/14 - 3/(-21)). Let s be (2 - b/8)/(3/36). Let t(p) = p. Let o be t(-3). Sort o, 0, s in ascending order.
o, 0, s
Let j = -156 - -158. Suppose -3*m = -j*q + 12, 6*m = 10*m - 2*q + 16. Put 1, -8, m, 0 in descending order.
1, 0, m, -8
Suppose -5 = 5*q - 25. Suppose -5*n - 4*l - 11 = 25, -2*n - 24 = q*l. Let s = 44 - 40. Put n, s, 5, 2 in decreasing order.
5, s, 2, n
Suppose -14*c + 19*c + 5*f - 30 = 0, -4*c + f = -14. Suppose -9*s + 4*s + 45 = 0. Sort c, -5, s in ascending order.
-5, c, s
Let l be (0 + 3 - 23)*((-5)/(-2) - 3). Suppose 4*k - 11 = 5*o, -2*k + 0*k = -3*o - 7. Sort o, l, 3 in decreasing order.
l, 3, o
Let o be (-22)/2 + (-63)/(-84)*8. Sort o, 506, 3.
o, 3, 506
Let o = -4 + 3.7. Let d be ((-3)/2)/(513/(-76)). Let m = -4758 + 4755. Sort m, d, -2, o in ascending order.
m, -2, o, d
Let f = -6993 + 6988. Let t(j) = -2*j**2 + j**2 - 2*j + 0*j**2 + 17. Let u be t(f). Put u, 3, 34 in decreasing order.
34, 3, u
Let j = -20254 - -20253.5. Put 5, 2, -0.03, j, 0 in descending order.
5, 2, 0, -0.03, j
Let n(s) = 99*s + 3. Let l be n(-1). Suppose -u + 5*u - 20 = 0, 2*u - 500 = 5*p. Let f = p - l. Put -3, 10, f in ascending order.
-3, f, 10
Suppose -11*u + 100 = -32. Suppose 14*q - 145 = 3*i + u*q, 0 = -5*i + 3*q - 243. Let a = 30 - 34. Sort i, -5, a in ascending order.
i, -5, a
Let b = -0.217 - -0.147. Let f = 1226.07 + -1221. Let v = f + b. Put v, -7, -5 in decreasing order.
v, -5, -7
Let r(k) = k - 9. Let t be r(5). Let u(n) = 13*n + 377. Suppose 6*v - 10*v - 121 = -5*z, 5*v - 5*z = -150. Let w be u(v). Sort t, -1, w, 3 in descending order.
3, w, -1, t
Let k = -2451 + 2446. Put 3, 0, 5, k in decreasing order.
5, 3, 0, k
Let u = 3 - 3.5. Suppose -5*y = -5, 5*y + 5 = 24*x - 19*x. Let r be x/(12/(-5)) - (20 + -21). Sort r, u, -0.1.
u, -0.1, r
Let z = -332 - -333. Let w = 2 - 0. Suppose -3*d + z = -w*d. Sort 0, -1, d, 5 in decreasing order.
5, d, 0, -1
Let y = 3822 + -3824. Sort y, 1933, 4, 3 in increasing order.
y, 3, 4, 1933
Suppose -5*f - 23 = 2*b, -4*b - 5*f = -f + 16. Suppose -110*l + 112*l - 10 = -6. Sort 0, l, 3, b.
0, b, l, 3
Suppose -183 = -4*x + 19*l, 4*x + 4*l - 41 - 27 = 0. Let m = 5 - 10. Sort 0, m, x, -2 in ascending order.
m, -2, 0, x
Let b = 710 - 700. Let z be 3/5*(b + -5). Put 2, 39, z, -3 in increasing order.
-3, 2, z, 39
Let s = 5217 - 5222. Put -956, 2, s in increasing order.
-956, s, 2
Let b = -179 + 178.8. Let n = 9.017 - 0.017. Put n, b, -2/7 in descending order.
n, b, -2/7
Let b(v) = v**3 - 2*v**2 - 114*v + 1. Let m be b(0). Put -4, 4, m, -123 in decreasing order.
4, m, -4, -123
Let u = -64535.03 + 64148. Let z = 387 + u. Put 2/11, z, 7 in descending order.
7, 2/11, z
Let p be (-818)/(-3990) + (-6)/30. Let a = 137/798 - p. Sort -7, -0.1, a in ascending order.
-7, -0.1, a
Let o = 4 - 4. Suppose 31*n = 29*n + 10, 2*n - 8 = -v. Suppose -16 = 3*l + l. Sort v, o, 2, l in decreasing order.
2, o, v, l
Suppose -6*w = 23*w + 145. Put w, -4, 595, 1 in decreasing order.
595, 1, -4, w
Let r(i) = i**3 + 4*i**2 - 11*i + 9. Let z be r(3). Suppose -14*g + z = -325. Put g, 4, -1 in descending order.
g, 4, -1
Let n = -0.17615 + 0.07615. Sort -1, n, 240, 2 in increasing order.
-1, n, 2, 240
Let n = -208444 - -208435. Let h = 3 - 2. Put 5, h, -3, n in increasing order.
n, -3, h, 5
Let s = -0.13995 - -2.13995. Sort s, -1/8, -0.1, 0.06, -0.12 in ascending order.
-1/8, -0.12, -0.1, 0.06, s
Suppose -67 = -3*s + 320. Let z = s + -101. Put 3, 8, z in ascending order.
3, 8, z
Suppose -5 - 208 - 39 = -126*u. Sort -188, 0, 5, u.
-188, 0, u, 5
Suppose -i - 2*i + 75 = -18*i. Sort i, -527, -1, 1, 4.
-527, i, -1, 1, 4
Suppose 4127*k = 4126*k - 9. Put k, -10, -4 in ascending order.
-10, k, -4
Suppose -884 = 212*y + 9*y. Sort 1289, 3, y in ascending order.
y, 3, 1289
Let h = 2491 + -2380. Put -1, -3, h, -2, 3 in increasing order.
-3, -2, -1, 3, h
Let b be ((-46)/115)/(1*(-1043)/5). Put b, 4, 5/4, -1/6 in descending order.
4, 5/4, b, -1/6
Let t(d) = -9*d - 334. Let j be t(-36). Let z be (2/(-4))/((-7)/14) - 2. Sort -2/5, j, 1/7, z in descending order.
1/7, -2/5, z, j
Let a = -133.6988 + 0.0988. Let c = a - -134. Sort -28, c, 5 in descending order.
5, c, -28
Let i(v) = 32*v**3 + 33*v - 32. Let q be i(1). Suppose 0 = 4*b + 1 - 9. Put 0.5, q, b in ascending order.
0.5, b, q
Suppose 0 = 2*p + 4*t - 24, -3*p + 36 - 3 = 3*t. Suppose -u = 3*d - p + 3, 2*u + 10 = 0. Sort -4, 3, d, 5 in descending order.
5, d, 3, -4
Let w be (-1 + 2)/((72/16)/9). Let h be 1/(-2)*-10 + w + -1. Sort -14, h, -2 in descending order.
h, -2, -14
Let t be (-1)/5*1490/(-3576) + (-2)/(-12). Let z = 1.9 - -0.1. Put t, -3/8, 2/7, z in descending order.
z, 2/7, t, -3/8
Let p(m) = 724*m - 7960. Let x be p(11). Sort x, 2, 470, -2.
-2, 2, x, 470
Let b = 4 + -8.3. Let s = 1.3 + b. Let q = -5 + 4.99. Put s, 4, q in decreasing order.
4, q, s
Let d = 4321 + -4322. Sort -4, -9, 6, 5, d.
-9, -4, d, 5, 6
Let l(u) = -u**3 - 7*u**2 + 2*u**2 + 30 - 12*u - 10*u**2. Let z be l(-14). Sort 1, 39, z in increasing order.
1, z, 39
Suppose -4*b + 75 = -2*h + 81, 3*b + 5 = 2*h. Suppose 0 = -m + 4. Let x be (-16)/(-6) + 1/3. Put x, 2, b, m in increasing order.
b, 2, x, m
Suppose 4*g - 1 = -41. Let n = 38 + -35. Let a be n/(-2*(-15)/20). Sort