 5*v. Suppose p = -r*p. Sort s, 1, p in descending order.
s, 1, p
Suppose 0 = 4*g - 13*g - 432. Put g, 2/5, 1 in descending order.
1, 2/5, g
Suppose 3*p - 9 = 0, -6*p + 13 = c - 2*p. Suppose f + 8*m = 3*m + 11, -f - 3*m = -7. Let q = f + c. Sort q, 1, -5 in ascending order.
-5, 1, q
Let a = 1369/2 - 686. Sort 3/7, 0.09, a.
a, 0.09, 3/7
Let r = 162 - 162. Sort 1, r, -1, 17.
-1, r, 1, 17
Let u = 11 + -5. Suppose 10 = u*p - p. Let l be (-2)/8 + 1 + 228/(-176). Sort l, 1/6, p in descending order.
p, 1/6, l
Suppose 0*r + 2*r = 0. Suppose -4*l - 3 = -3*y - l, -4*y + 8 = -3*l. Let k be (-3)/9 - (-13)/3. Sort y, k, r in ascending order.
r, k, y
Let f = 66/85 - 3/17. Let n = 17 + -12. Put n, -0.9, f in decreasing order.
n, f, -0.9
Suppose 0 = -12*x + 10*x - 6. Sort -1, x, -2, -16 in descending order.
-1, -2, x, -16
Let b(y) = -5*y + 13. Let d be b(3). Suppose -21*t + 87 = 3. Sort -5, t, d, 1 in descending order.
t, 1, d, -5
Suppose 5*o - 20 = -m, 4*o + 436*m - 432*m - 16 = 0. Let k = -47/2 - -24. Sort k, o, 0.1 in increasing order.
0.1, k, o
Let k be (2 + 0)*(-10)/(-4). Let m(v) = -v**2 - 10*v + 27. Let q = -57 - -45. Let c be m(q). Put c, 1, k in descending order.
k, c, 1
Let m be (-1)/((-5)/120*-2). Let k = 6 + -6. Put m, 4, k in decreasing order.
4, k, m
Let j(t) = t**2 + 4*t + 8. Let v be j(-5). Suppose 0 = -v*r + 10*r - 9. Sort 4, 5, -1, r in increasing order.
r, -1, 4, 5
Let o be (35/(-130))/(6/(-15)). Let n = o + -12/13. Sort n, -0.1, 2/13.
n, -0.1, 2/13
Let h = 286 + -313. Sort -5, 4, h in decreasing order.
4, -5, h
Suppose 0 = -m + 11*m + 30. Let n(l) = 2*l**2 - l + 1. Let j be n(1). Suppose -2*p - 23 = -j*f + 3*p, -3*f - 23 = 4*p. Put 4, m, f in decreasing order.
4, f, m
Let x = -510 - -508. Put 2, 16, x in descending order.
16, 2, x
Let p(n) = 7*n - 4. Let d be p(2). Suppose d*f - 7*f = -6. Sort f, 1, 5, 7 in ascending order.
f, 1, 5, 7
Let l = -0.069 + -31.931. Let i = l + 19. Let f = i + 15. Sort -1, f, 3 in ascending order.
-1, f, 3
Suppose -2*r + 5 = 3. Suppose -18 = -2*o - 0. Let q(j) = j**3 - 9*j**2. Let i be q(o). Sort i, 4, r.
i, r, 4
Let x = 2 - 1.9. Let d(u) = u - 10. Let j = 111 + -103. Let b be d(j). Sort -1/4, b, x in ascending order.
b, -1/4, x
Let s(x) = -x**3 - 7*x**2 - 8*x - 8. Let i be s(-6). Suppose -i*y = 0, -2*l = -4*l - 5*y + 12. Suppose -4*b - 3*m + 0*m + l = 0, -2*b + 2 = 2*m. Sort 1, b, -4.
-4, 1, b
Let y(m) = -m**2 - 5*m + 5. Let r be y(-7). Sort r, -4, -1.
r, -4, -1
Let b be -4*1/(-8)*(-21 - -23). Let v(w) = 3*w + 3 - 4 + w**2 + 5. Let o be v(-3). Sort -1, b, o in descending order.
o, b, -1
Suppose t = -t. Let r(x) = x + 19. Let n be r(-17). Let q be -3 - (-1 + (-4)/n) - -4. Put q, t, 1 in increasing order.
t, 1, q
Let u = 2184 - 2187. Sort -19, u, 5, 1.
-19, u, 1, 5
Let l = 11/84 - -1/28. Let n(k) = k**2 + 8*k - 11. Let s be (18/12)/(3/(-18)). Let j be n(s). Sort j, 0, l in descending order.
l, 0, j
Suppose -3*d - 3 = -6*d. Suppose -5*s = 115 - 90. Sort -3, s, 3, d in descending order.
3, d, -3, s
Let x(i) = -i**2 + 13*i + 10. Let y be x(14). Let r be (0 - y)/4*0. Sort 5, r, 2 in decreasing order.
5, 2, r
Let b(k) = 3*k**2 + 0*k**2 + 5 - 4 - 5 + k**3. Let y be b(-3). Put y, 5, 7 in descending order.
7, 5, y
Suppose -3*p + 17 = -2*a, 2*p + 2*p - 5*a = 25. Sort p, 37, -1, 3 in descending order.
37, p, 3, -1
Suppose b - 15 = 2*j, 2*j - 20 = -2*b + 4*j. Suppose 4 - 16 = -3*q. Put b, q, -4 in decreasing order.
b, q, -4
Let b = 120 + -119.9. Put 2/11, 0.5, b, 1/7 in decreasing order.
0.5, 2/11, 1/7, b
Let u = -104 - -104. Put 0.13, u, -5, -4/9 in decreasing order.
0.13, u, -4/9, -5
Suppose 6*b + 6*b = 576. Suppose o + 5*c - c + 23 = 0, 5*c + b = -4*o. Suppose -2*z = 5*v - 7*z - 25, 0 = 3*v + z - 7. Put o, v, -1 in increasing order.
o, -1, v
Let t = -324 + 2912/9. Sort t, 3/7, 3 in increasing order.
t, 3/7, 3
Let m(k) = k**3 - k**2 + 5. Let b be m(0). Suppose -b*u - 47 + 12 = 0. Let q be (4 - 5)*(-1)/u. Put 0.1, -2/11, q in decreasing order.
0.1, q, -2/11
Let b = 435 - 21318/49. Put 2, 3, b in ascending order.
b, 2, 3
Let q be (2/(-3))/((12/(-9))/(-4)). Let a(y) = -y**2 + 2. Let i be a(0). Put 4, 1, i, q in descending order.
4, i, 1, q
Let g = -0.023 + 0.153. Put g, 0.4, -3 in ascending order.
-3, g, 0.4
Let s = -0.03 - -54.03. Let b = -50 + s. Sort 1, -2/5, 3/4, b in descending order.
b, 1, 3/4, -2/5
Suppose -j + 3*g = 6 + 40, -5*g = -4*j - 198. Let d = j - -207/4. Put d, -4, 4, -1/6 in ascending order.
-4, d, -1/6, 4
Let q be 1/(-3)*(4 + -4). Let z = 10 + q. Let c be z/5*2/(-4). Sort -3, c, 0.
-3, c, 0
Let z = 9.98 - 24.98. Sort 3/7, z, 3, -2 in ascending order.
z, -2, 3/7, 3
Let s = 0 - -4/3. Let y = -146.5 - -146.54. Sort 0, y, s in descending order.
s, y, 0
Let t = -0.3 + 0.8. Let v = 7887.5 + -7888. Put v, t, -5, 2 in decreasing order.
2, t, v, -5
Let s = -41.05 + 41.45. Let m = -4/301 - 6/44849. Let a = -272/1937 + m. Put s, a, -0.5 in increasing order.
-0.5, a, s
Suppose 40 = -7*p + 17*p. Let m(u) = -u**2 + u. Let g(w) = w**2 - 6*w + 1. Let n(l) = g(l) + 2*m(l). Let k be n(-4). Put k, -2, p in decreasing order.
p, k, -2
Let z = -46/11 - -401/88. Let w = -11 + 15. Put w, -2, z in descending order.
w, z, -2
Let m be ((-6)/(-9))/(32/240). Sort 34, -2, m, -1/4 in increasing order.
-2, -1/4, m, 34
Let l = -33 + 39. Let d be (l/4)/(3/(-6)). Let y = -9 + 4. Sort y, -4, d in ascending order.
y, -4, d
Let n = 152 + -156. Suppose 0 = 5*j + 4*l + 54, -l = -3*j - 6*l - 35. Let y be (j/(-6))/(2/(-6)). Sort 2, y, n.
y, n, 2
Let r(g) = g**3 - g**2 + 1. Let m(f) = f**3 + 5*f**2 - 5*f - 9. Let y(b) = m(b) - 2*r(b). Let i be y(6). Put i, 0, -2 in descending order.
0, -2, i
Suppose 2*r = -r - 90. Let l be r*(2/(-3))/2. Suppose -j = 4*t + j - l, -j = 3. Put t, 0, 16 in decreasing order.
16, t, 0
Let t = -33.87 - -34. Let m = t - 0.23. Let k be (-3)/(2 + 69/(-12)). Sort k, m, -1/4 in increasing order.
-1/4, m, k
Let b be ((2 + -1)*-2)/(3 - 1). Put 2, b, 0, 3 in ascending order.
b, 0, 2, 3
Let l = 1772.01 + -1772. Sort l, -6, -3, 2 in decreasing order.
2, l, -3, -6
Let c = -4.27 + 1.47. Let f = 2.9 + c. Put 3, 2, f, -0.1 in ascending order.
-0.1, f, 2, 3
Let k = -158 + 157.9. Let q be 1/(1 + 0) + 9. Let j be 30/(-4)*2/q. Sort 4, k, j.
j, k, 4
Let j(n) = 3*n - 32. Let u be j(12). Suppose 4*c - 6*c = -3*x - 14, 2*c - u*x = 16. Put c, -21, 3 in descending order.
c, 3, -21
Let p(t) = -t**2 - 3*t + 12. Let a(r) = -r - 10. Let v be a(-5). Let y be p(v). Put 8, y, -1, -2 in descending order.
8, y, -1, -2
Let o = -7 + 7.3. Let c = 36.04 + 0.46. Let j = c - 37. Put j, o, 0.4 in descending order.
0.4, o, j
Let x = -25 - -24.84. Let r = x + -1.84. Put r, 2/5, -4/7 in descending order.
2/5, -4/7, r
Let q = -818.5 - -818. Sort -0.065, q, 3.
q, -0.065, 3
Let v = 90.3 + -90. Put 5, v, -47 in descending order.
5, v, -47
Suppose 19*b + 24 = 22*b. Suppose -2*r = 5*z - 19, b*z - 5*r - 40 = 3*z. Suppose -i = -z*i + 4. Sort 2, i, -1 in descending order.
2, i, -1
Suppose -3*i - 3*i + 30 = 0. Let k be (1/2)/((-1)/(-8)). Sort k, -4, i in decreasing order.
i, k, -4
Let y = -178 - -180. Sort -58, -3, y.
-58, -3, y
Let x be 4/7 - (-273)/637. Sort 26, x, 0, -4 in decreasing order.
26, x, 0, -4
Let f(i) = -i**2 + 5*i - 4. Let x be f(3). Let l be ((-3)/x)/((-6)/137). Let s = -34 + l. Put -0.4, s, 4/9 in increasing order.
-0.4, s, 4/9
Let p be (7 + -1)/(9/6). Suppose -4*b = -q - 0*q - p, -3*b = 4*q - 22. Sort 1, -9, b.
-9, 1, b
Let m = -7 - -11. Put -4, m, -7, 2 in decreasing order.
m, 2, -4, -7
Let p = -193 - -197. Sort p, 1, -30, -2 in increasing order.
-30, -2, 1, p
Let l = 617 - 622. Let k be (3/3)/(1/(-3)). Sort l, 0, k, -4 in descending order.
0, k, -4, l
Let q = -117.9 - 13.1. Let g = 128 + q. Sort 3, -2, -5, g in decreasing order.
3, -2, g, -5
Let l = 2162 + -2161. Let d = -4 - -3.6. Sort l, d, 0.06.
d, 0.06, l
Let o be (-2)/(-6) - (-2)/6. Let u = -59.25 + 55.25. Put u, 5/6, o in ascending order.
u, o, 5/6
Let j(i) = -i**3 + 11*i**2 + 9*i - 98. Let h be j(11). Let w = 1 - 5. Sort w, h, 3/7 in decreasing order.
h, 3/7, w
Let a(g) = 2*g + 6. Let d be a(-3). Let i be (-4)/(-14) + d/1. Let p = 0.8 + 0.2. Sort 0.5, i, p in descending order.
p, 0.5, i
Let s(x) = -x - 1. Let w be s(0). Suppose -k = a + 16 - 19, -4*k = -2*a. Put a, 0, -3, w in decreasing order