 5 in descending order.
5, d, -1, l
Let i = -137 - -137. Suppose -2*t + 4*z + 12 = i, -5*t - 14*z + 30 = -19*z. Sort t, 0.2, -1/28, -1 in decreasing order.
t, 0.2, -1/28, -1
Let g = 1.3699 - 0.9699. Sort 0, -4, g, -2 in ascending order.
-4, -2, 0, g
Let q = 48 - 38. Let j = q - 9.34. Let f = j + -0.63. Sort -1, f, 0.2.
-1, f, 0.2
Let n(y) = y**2 + 21*y - 13. Let t(z) = 13 + 11 + 0*z + 3*z - 10. Let f be t(-12). Let h be n(f). Sort h, -1, -4, 5.
-4, -1, 5, h
Suppose -13*g - 66 = -3*b, 987*g - b = 989*g - 3. Let z be (1/3)/(10/(-12)). Sort g, 2/17, z in decreasing order.
2/17, z, g
Let m = -3 - -1. Let p = 928 + -926. Suppose q - 12 = 3*q - 5*w, -4*w = 16. Sort m, q, p in ascending order.
q, m, p
Let u = -8905 - -8915. Put 1, u, -8, 0.5 in decreasing order.
u, 1, 0.5, -8
Let x be 2/11 - 700/1320*6. Sort 5, x, -5 in ascending order.
-5, x, 5
Let m = 12574 + -12572. Put 3, 19, -7, -4, m in ascending order.
-7, -4, m, 3, 19
Let n be 12/186 - 628*(-5)/(-620). Let s = -1 + 7. Let f be (-6)/(-3) + s/(-3). Sort f, -4, n in descending order.
f, -4, n
Let s = -76 + 81. Suppose 0 = v + s*v + 312. Let g = 55 + v. Sort g, -5, -2.
-5, -2, g
Let f = -15996 + 14507. Put -1, 5, f in ascending order.
f, -1, 5
Let c(v) = -v**2 - 20*v - 97. Let r be c(-10). Put -4, -11, -5, 5, r in ascending order.
-11, -5, -4, r, 5
Let k = -2.0466 + -0.0434. Let b = -0.09 - k. Let j = -76 - -75. Put 5, b, j, 0.1 in decreasing order.
5, b, 0.1, j
Let u = -74.85 - -71.85. Put u, -19, -13, -2 in decreasing order.
-2, u, -13, -19
Let x(m) = 1091*m + 1096. Let v be x(-1). Put v, 4, 2, -4, -29 in ascending order.
-29, -4, 2, 4, v
Suppose 5*m = -178*b + 175*b - 2, 5*b = -5*m. Suppose 4*r + 5*y = -2, 2*r + 3*y = y - 2. Sort -2, r, 4, b.
r, -2, b, 4
Let o = -6964 + 7024. Sort -10, o, -1, -3 in decreasing order.
o, -1, -3, -10
Suppose 0 = 17*s - 19*s + 10. Let c = 1.03 - 0.73. Put s, -1, 0.04, c in ascending order.
-1, 0.04, c, s
Suppose l = -3*b - 29, -b + 8 = -3*l + 1. Let q(r) be the first derivative of -2*r**2 + 29*r - 10. Let v be q(8). Put b, v, 4 in descending order.
4, v, b
Let b = -42/103 + 805/206. Sort 9, -13, b, 3/7 in ascending order.
-13, 3/7, b, 9
Let n be 136 + 2/(-4)*0. Let z(j) = -25*j - 3432. Let p be z(-132). Let s = p + n. Put -3, 2, s, 3 in increasing order.
-3, 2, 3, s
Suppose 53*g - 103*g - 158 = -49*g. Put -1, g, -3 in increasing order.
g, -3, -1
Let l = -819.56 - -817.56. Let y = 3/4 - 33/28. Sort l, 0.5, y, 5 in ascending order.
l, y, 0.5, 5
Let n(h) = -4*h + h + 0*h + 696 - 690. Let j be n(2). Suppose 5*c - 2 = 3*c. Put c, 5, j, -2 in descending order.
5, c, j, -2
Suppose -10*x + 5*x - 20 = 0. Let z be x - (-9 + 3)*2/(-12). Put 2, -80, -1, z in ascending order.
-80, z, -1, 2
Let k be 1170/(-273) + 2/7. Sort -3, -51, 4, k in descending order.
4, -3, k, -51
Let t = -39 + 27. Let l be t/(-8)*208/12. Let v be (8/(-30))/(8/10 - 1). Put l, v, 2/17 in ascending order.
2/17, v, l
Let m(z) = -8*z - 62. Let i be m(-8). Suppose -i*q = 33 - 21. Sort q, 0, 5, 3 in decreasing order.
5, 3, 0, q
Let f = 15043 + -15043. Let r = -247/56 - -33/8. Sort 2/17, -3, f, r in decreasing order.
2/17, f, r, -3
Let z = -1.72 - -2.83. Let f = -1.59 - z. Let l = 2.8 + f. Sort l, -0.3, 4 in decreasing order.
4, l, -0.3
Suppose 0*c = c - 3*w - 17, 3*c + w = 1. Let r(m) = -6*m**c + 5*m**2 + 4*m**2 + m + 2*m**2. Let p be r(-1). Sort 2, -5, 5, p in descending order.
5, p, 2, -5
Let n(u) = -1178*u - 57744. Let a be n(-49). Suppose -4*t + 3*v + 5 = t, -4*v = -20. Sort a, -4, -3, t in increasing order.
a, -4, -3, t
Suppose -2 = 4*g - 14. Suppose -3*o - 12 = -0*o + g*v, 0 = 2*v + 8. Suppose -5*n = 4*p - 5, -4*p - n + 27 = 10. Sort -30, p, o.
-30, o, p
Let g(y) = -8*y - 52. Let x be g(-7). Suppose 2*v - x*v + 1 = 3*z, -5*z - 2*v = 1. Sort -6, 1, z in ascending order.
-6, z, 1
Let i = 30.521 - 31.021. Sort -10/21, i, 0.2, 1 in decreasing order.
1, 0.2, -10/21, i
Let l(q) = -126*q + 507. Let y be l(4). Let d(n) = -n**3 + n**2 + 2*n - 4. Let u be d(3). Sort y, u, -1, -2 in increasing order.
u, -2, -1, y
Suppose -16 = 353*d - 337*d. Put -5/7, -0.2, 4, d, -0.3 in decreasing order.
4, -0.2, -0.3, -5/7, d
Suppose t - 19 = -4*h, -4*t + 2*t = -3*h + 6. Suppose 2*p - 6 = 3*a, -62*a + 67*a + 4*p + 32 = 0. Put t, 1, 9, a in increasing order.
a, 1, t, 9
Let h be (15 + -10)*-2 - -5. Sort -6, -49, 4, 0, h in decreasing order.
4, 0, h, -6, -49
Let l(f) = -f**3 + 15*f**2 - 4*f + 40. Let q be l(15). Let z be (-92)/69*18/q - 1. Put z, 11, 0, -4 in ascending order.
-4, 0, z, 11
Let u be ((-30)/(-8))/3 + -1. Let l = -1605.9 - -1606. Sort 3, -3, u, l.
-3, l, u, 3
Let c be -68*(-261)/54 + (-2)/12. Let h = c + -333. Let k = 51 + -665/13. Sort k, 0, h.
h, k, 0
Let n(l) = -142*l - 1704. Let r be n(-12). Sort -2, -21, 2, -4, r in ascending order.
-21, -4, -2, r, 2
Let p = -15228 - -15217. Put 5, -4, 35, p in decreasing order.
35, 5, -4, p
Let v = -11003 + 11028. Let i = 30 + -28. Sort -3, v, i in descending order.
v, i, -3
Let n = -22 - -26. Sort 2, -3, n, 3, -71 in ascending order.
-71, -3, 2, 3, n
Let j = 205/378 - 8/189. Let q = -0.09 - 0.31. Sort -0.05, j, -3, q in descending order.
j, -0.05, q, -3
Let m = -7779 + 7779. Sort -0.5, 34, 0.5, m, -3/8.
-0.5, -3/8, m, 0.5, 34
Let g be 2 + 2387/(-33) + 2/6. Sort 41, -1, g in descending order.
41, -1, g
Let m = 3729 + -3730. Sort -22, m, -5, 4 in decreasing order.
4, m, -5, -22
Suppose 3*g - 2*p = 4*g - 4, 4*g + 5*p - 19 = 0. Suppose g*n + 213 = -33. Let f = n + 36. Sort -4, -3, f in increasing order.
f, -4, -3
Let r be (-3624)/(-88) + (-4)/22. Let q = 49 - r. Suppose 5*m - q = 2. Put -2, 0, -5, m in ascending order.
-5, -2, 0, m
Let a = -19.9879 - 0.0621. Let h = a - -20.1. Put -0.1, 0.4, h in decreasing order.
0.4, h, -0.1
Let l be (-10)/25 + 12/5. Let s = 516 + -357. Let g = s + -162. Sort l, -2, g in increasing order.
g, -2, l
Let n = -1675 + 1679. Put -2, 3, n, -33 in descending order.
n, 3, -2, -33
Suppose 6 + 34 = 4*t. Suppose 2*w - 2 = -t. Put -9, 3, w in decreasing order.
3, w, -9
Suppose -2*l - 14 = -4*w, 10 = 2*w + l - 3. Suppose -w*h + 8 = -2. Suppose 2*o + j + 1 = 4*o, -3*j + 1 = -2*o. Put 5, 3, o, h in decreasing order.
5, 3, h, o
Suppose -11*n - 18 = -8 + 23. Sort 10, n, 2, 5 in descending order.
10, 5, 2, n
Let z = -5 + 2. Let b = -3728 + 3724. Let y = 27.4 + -27. Sort z, -2, b, y in decreasing order.
y, -2, z, b
Let z(b) = -b**3 + 10*b**2 + 13*b + 55. Let j be z(9). Let k = j - 238. Sort 3, -5, -4, k in decreasing order.
k, 3, -4, -5
Let u(w) = 2*w - 18. Let v = -20 + 27. Let b be u(v). Put 34, b, -2 in descending order.
34, -2, b
Suppose -4*w - 2*k - 10 = -0*k, 10 = 3*w - 2*k. Let j(a) = -745*a + 8205. Let q be j(11). Sort w, -3, q in decreasing order.
q, w, -3
Suppose -2*g + 5*d = -12*g + 95, 0 = 4*d - 20. Put -18, g, 11 in increasing order.
-18, g, 11
Let q be (-1 + 0)*(0 + -12)/3. Suppose -8*w = q*w + 12. Sort 3, -5, w in descending order.
3, w, -5
Let m = 879 + -564. Let d = m - 325. Put -1, d, 3 in decreasing order.
3, -1, d
Let x = 2/13215 - -5192/621105. Sort -6, -4, x in descending order.
x, -4, -6
Suppose 3*x - z = -10, 3*x + 3 = -2*z - 13. Put 1, x, -25 in ascending order.
-25, x, 1
Let l = 0.24 - -0.06. Let p = -0.1 + l. Let d be 21/(-56) + (-335)/(-536). Sort d, 0, p in decreasing order.
d, p, 0
Let z be (-2 + 5/2)*2. Let a be 1*204/(-30) + 84/(-70). Sort 0, -1, a, z in descending order.
z, 0, -1, a
Let h = -2.22 - 88.78. Let n = -93 - h. Sort -1/5, n, -1 in decreasing order.
-1/5, -1, n
Suppose j + 35 = -5*i, -104*i - 40 = -99*i. Sort j, 335, 3.
3, j, 335
Suppose 29*r + 10 - 11 = -1. Sort -1, 2, -4, r, -2.
-4, -2, -1, r, 2
Suppose 5*t + 4 = 4*s - 41, -5*t = 5*s. Let v = 7 + -5. Let p be -1*(-6)/4*v. Sort p, 4, s in descending order.
s, 4, p
Suppose 28 = p - 10. Let k = p - 33. Suppose -5*f + k = -15. Put -2, -3, 2, f in decreasing order.
f, 2, -2, -3
Let u = 15 - 30.8. Let c = u - -16. Let h = 446 - 443. Put c, 2/7, 0.4, h in descending order.
h, 0.4, 2/7, c
Let q be 300/12 - (-6)/3. Suppose 0 = 4*g - 2*l + 106, -24 + q = -3*l. Put 1, -5, 3, g in descending order.
3, 1, -5, g
Let s = 1648 + -1648. Suppose s = -81*c - 48 - 33. Suppose -4*y = -0*z + z, 0 = 3*y + 5*z + 17. Sort 4, y, -4, c in decreasing order.
4, y, c, -4
Let p = -17834 + 17829. Put