se 150*j = 142*j - 24. Sort j, 3, 4, -44.
-44, j, 3, 4
Let j = -76 + 153/2. Let c be 2 - (1 - 1) - 0. Let b be 1*(-3)/12*c. Put b, j, 1 in decreasing order.
1, j, b
Let m = 0.035 - -25.965. Let i = m + -36. Let n = -431 + 4735/11. Put n, i, 0 in increasing order.
i, n, 0
Let p(g) be the first derivative of g**4/4 + 13*g**3/3 + g**2 + 25*g + 3. Let u be p(-13). Sort -0.2, -2/13, u, -2.
-2, u, -0.2, -2/13
Let k = 74 - 73.6. Let c = 9.6 + -10. Sort -2, k, c.
-2, c, k
Suppose -2*m = -3*i + 46, 0 = -2*i - 3*m + 11 - 2. Suppose 4*x = -4, 2 = -4*o + 2*x - i. Let r be 12/(-16) - o/(-16). Sort r, 1, -4 in descending order.
1, r, -4
Let a = -4 + 2. Let f = a + 16. Let j = f + -20. Sort j, 0.3, -5 in descending order.
0.3, -5, j
Let i = -29/7 - -30/7. Let y = -522 + 526. Let v be (-4 - -3)/(-1 + 2). Put y, v, i in decreasing order.
y, i, v
Suppose -2*g = -2*m - 6*g - 16, 0 = 4*g + 16. Suppose -8 = -a + 5*a, -4*k - 3*a + 10 = m. Put k, 0, -1 in increasing order.
-1, 0, k
Let f(i) = 7*i + 6. Let w(v) = 6*v + 7. Let k(o) = 4*f(o) - 5*w(o). Let g be k(-7). Sort 5, 2, -4, g in descending order.
5, g, 2, -4
Suppose -3*q - 35 = p, -5*p = 2*q - 5*q - 23. Let t = 10 + q. Sort t, -3, -5, 2 in increasing order.
-5, -3, t, 2
Let n(b) = -b**3 - 8*b**2 - 3*b. Let y be n(-9). Let t = y - 110. Sort 0, t, -7 in increasing order.
-7, t, 0
Let w = 3.32 - 3.42. Sort -6, -2/11, w, 0.5 in descending order.
0.5, w, -2/11, -6
Let p(l) = l**2 - 4*l - 2. Let a be p(5). Let d be ((-1)/(-2) - 170/(-20))/1. Sort -5, -0.3, a, d in decreasing order.
d, a, -0.3, -5
Suppose w = -0 - 2. Let p(n) = n**3 - 8*n**2 - 6*n - 2. Let v be p(9). Suppose 0 = 19*j - 14*j - v. Put w, j, 1 in increasing order.
w, 1, j
Let t = -21 - -20.79. Let m = t - 0.09. Put 5, -4, m in descending order.
5, m, -4
Let a = -3 + 1. Let g = 5 - 3. Suppose -2*w - 9 = 7. Put w, a, g in decreasing order.
g, a, w
Let l = 1324 + -1321. Put l, -0.5, 9 in ascending order.
-0.5, l, 9
Suppose 4*v - 15 = -9*g + 6*g, -5*g = v - 25. Put -3, 3, v, 1 in decreasing order.
3, 1, v, -3
Let h be (-4 + 87402/(-45))/(-2740). Let i = 1/274 - h. Let b = i - -1/25. Sort 3, 8, b.
b, 3, 8
Let o(v) = 31*v - 222. Let x be o(7). Let k = -7 + 4. Sort x, k, 5.
x, k, 5
Let t = -12 + 16. Let o be t/8*-2 + -4. Put o, 10, -1 in descending order.
10, -1, o
Suppose 0 = -34*f - 59 + 603. Sort 1, -11, f in descending order.
f, 1, -11
Let s be (-6)/15 - (-14)/10. Suppose -5*z - 4 - 4 = -2*x, -4*x = -2*z - 16. Put s, z, 4 in descending order.
4, s, z
Let g = 0.15 + 2.85. Let k = -3.6 + 1.1. Let v = k + g. Sort -0.5, 4, v in increasing order.
-0.5, v, 4
Let b(d) = -77*d - 4. Let u be b(0). Put 4, u, -9 in descending order.
4, u, -9
Let q be -12 - (-21)/(11 + -8). Suppose 0 = 3*l - x + 22, 7 = -2*l - 2*x - 21. Let h be (-3)/l - (-7)/(-3). Put q, 3, h in decreasing order.
3, h, q
Suppose -144*y = -125*y + 19. Put 0, 4, y, -9 in descending order.
4, 0, y, -9
Let c be 35 + -58 + -3*1. Sort -4, 1, c, -2.
c, -4, -2, 1
Let t(o) = -o**2 + 33*o - 29. Let v be t(32). Sort -6, 2/13, -2/55, v in ascending order.
-6, -2/55, 2/13, v
Let x = 54.5 - 57.5. Let c = 0 - 1. Let b be 301/182 - (-2)/(-13). Put b, x, c in decreasing order.
b, c, x
Let s = 1.3514 + -0.9514. Let u be ((-23)/1)/((-2)/2). Put 5, u, s, -0.1 in descending order.
u, 5, s, -0.1
Suppose -5*i - 10 = 4*d + 13, -5*d - 25 = 5*i. Suppose -3*s + 2*m = 8, -3*s + 0*m - 2 = -5*m. Suppose 4 = 3*l - 11. Put i, l, s in decreasing order.
l, i, s
Let i(k) = 4*k**2 + 3*k + 1. Let h be i(-3). Suppose 8*s - 4*s + 2*u + 24 = 0, -5*u - h = 2*s. Put -3, s, 5 in descending order.
5, -3, s
Let w be 6/18 - (-104)/(-24). Put -116, -1, w in increasing order.
-116, w, -1
Let w = -343.5 + 343. Put -10, w, -3/8, -5 in descending order.
-3/8, w, -5, -10
Let o be (2 + (-22)/14)/1. Let p = 7.1 - 38.1. Let f = p - -31. Sort 5, o, f in descending order.
5, o, f
Let a be (-8)/6*3/(-2). Suppose 0 = -2*g - 15 + 5. Suppose -5*w = -13 + 23. Sort w, g, a in descending order.
a, w, g
Suppose -2*u + 16 = 3*y - 7, 4*y = 5*u. Sort 3, -3, y, 6.
-3, 3, y, 6
Let m(p) = -p**2 - 16*p - 39. Let u be m(-3). Let v = -3 - -1. Put v, 7, 2, u in ascending order.
v, u, 2, 7
Let l = 25.55 - 22.619. Let u = 0.069 + l. Sort 1, -0.4, 3/4, u in ascending order.
-0.4, 3/4, 1, u
Let o(m) = m**3 + 12*m**2 - 11*m + 29. Let a be o(-13). Suppose 0 = i + 6 + a. Put -1, i, 5, -5 in descending order.
5, -1, -5, i
Let k(y) = -y + 14. Suppose -40 = 7*a - 11*a. Let b be k(a). Sort -3, 1, b, 2 in decreasing order.
b, 2, 1, -3
Let p be (-13)/260*5 + 213/4. Sort -1, p, -2.
-2, -1, p
Let c(n) = -4*n + 25 - 4 + 17 - 5. Let f be c(7). Put f, 3/5, -5 in descending order.
f, 3/5, -5
Suppose 48 = 83*h - 95*h. Put 4, 3, 5, h in ascending order.
h, 3, 4, 5
Let i(j) = j - 12. Let c be i(7). Let q be ((-1)/7)/((-9)/54*-3). Put -0.07, c, 0, q in descending order.
0, -0.07, q, c
Suppose 0 = -40*a - 31 - 9. Sort a, -173, 2.
-173, a, 2
Let z = -0.34 - -0.44. Sort 1, -0.1, z, -3/16 in descending order.
1, z, -0.1, -3/16
Suppose 0 = 23*s - 29*s + 36. Sort 5, s, 3 in descending order.
s, 5, 3
Suppose 0 = -11*c - 28*c - 195. Put 4, c, -233 in descending order.
4, c, -233
Let l = -257 + 261. Sort -1, -4, 0, l.
-4, -1, 0, l
Let g = 145 - 139. Sort 10, -2, g in increasing order.
-2, g, 10
Suppose -2*l + 3*a = 17, 2*l + 13 = -2*l - a. Let f be l/10 + (-85)/(-25). Suppose -h - f = 2*h. Sort -5, -6, h.
-6, -5, h
Let n be -1*(-11 - (5 + -21)). Let j = 0.1 - -0.2. Put j, -0.1, -0.3, n in decreasing order.
j, -0.1, -0.3, n
Let x = -14.1 + 13.8. Let n be (-1 + 2)*(-4)/8. Put x, n, -1/5 in increasing order.
n, x, -1/5
Let i = 2259 + -2261. Let t be 6 + (-2)/3*3. Put t, i, 9 in descending order.
9, t, i
Let r = -1 + 0. Let w = 56 - -5. Let z = w + -66. Put 3/2, r, z in ascending order.
z, r, 3/2
Let v = -54 - -58. Put v, 5, -1.1 in descending order.
5, v, -1.1
Let v be (-32)/96 + (34/(-6) - -1). Let f = -5 + 3. Put f, 2, v in increasing order.
v, f, 2
Let f(d) = d**3 + 12*d**2 + 6*d - 16. Let l be f(-11). Suppose -4*q + x = -2*q - l, 0 = -5*q + 2*x + 95. Let o = q + -13. Put o, -2, 0 in decreasing order.
o, 0, -2
Suppose 7*y = 107 + 75. Let i = y - 24. Sort 3, i, -1, 5.
-1, i, 3, 5
Let a(w) = w**3 - 3*w**2 - 2*w - 11. Let n be a(4). Let t = -0.9 - -1.3. Let j(u) = u**3 - 3*u**2 - 5*u - 1. Let k be j(4). Sort t, n, k in descending order.
t, n, k
Suppose -2*i - 3*i + 0*i = 0. Suppose 87*a - 88*a - 5 = i. Sort a, -13, 0.
-13, a, 0
Let r = 0.078 - 0.178. Let a = -0.1 + 1.1. Put a, 17, -2, r in ascending order.
-2, r, a, 17
Suppose 4*i + 11 = -9. Suppose 48 = 5*q - q. Let l = -14 + q. Sort i, l, 3 in ascending order.
i, l, 3
Let a = -18/11 - -47/22. Sort -2, a, 1/4, -0.23 in ascending order.
-2, -0.23, 1/4, a
Let b = -4.05 + -49.15. Let q = b - -59. Let j = q + -1.8. Sort j, 0.5, -1/3.
-1/3, 0.5, j
Let n = 28/13 - 17/26. Sort n, -2, -4, 0.09 in decreasing order.
n, 0.09, -2, -4
Let l be 9/(-45) - (-49)/(-5). Let r = l + 9. Let y = -28 - -32. Sort y, -8, r.
-8, r, y
Let y(k) = k**3 + k**2 - 2*k - 3. Let i(p) = -p**2 - p + 2. Let j be i(1). Let u be y(j). Suppose -f - 5 = -3. Sort f, -4, u in ascending order.
-4, u, f
Suppose -k - k = -8. Let m = 215 + -125. Let a = -87 + m. Sort -2, k, a in increasing order.
-2, a, k
Suppose 5*m - 103 = -28. Let n = m + -19. Sort n, -3, 2.
n, -3, 2
Let t be (63/(-15) - -5)*2/(-8). Sort 1, -14/13, t in decreasing order.
1, t, -14/13
Let t(v) be the first derivative of v**4/4 + 10*v**3/3 - 3*v - 4. Let g be t(-10). Let c be (0/g)/((-6)/3). Put -5, 5, c in decreasing order.
5, c, -5
Let f(k) = 4*k - 32. Let s be f(7). Sort s, -1, 3, 1 in descending order.
3, 1, -1, s
Let s = 13 - 10. Suppose -4*k + 10 = -v, -v - 5*k - 16 = -24. Sort s, -1, v, 0.1 in ascending order.
v, -1, 0.1, s
Let f(i) = i**2 + 17*i - 41. Suppose 3*y = -4 - 8, 5*s + 111 = -4*y. Let w be f(s). Sort -1, w, 9 in increasing order.
w, -1, 9
Let z be (2 - (-40)/(-12))*-6. Let b = -1 + z. Sort b, 2, 0 in descending order.
b, 2, 0
Suppose -23*q + 28*q + 20 = 5*t, -3*q = t + 8. Suppose -13 = 5*g + w, -g = 2*w - 5*w - 7. Sort -15, -4, t, g.
-15, -4, g, t
Let c = 273.1 + -273. Put 4.6, 1, c in descending order.
4.6, 1, c
Let d = -255 + 255. Sort d, 15, -16, -1 in increasing order.
-16, -1, d, 15
Let v be (-10)/(-2) + -5 