 + 2*x = c. Sort 3, x, g in decreasing order.
3, g, x
Suppose -62*f + 112 = -34*f. Put 0, f, 55, -5 in decreasing order.
55, f, 0, -5
Suppose 0 = 4*y + 18 - 26. Suppose n + 4*g + 3 = 0, 0 = n - y*n - 2*g - 3. Let s = -0.1 + 0.4. Sort n, s, -4 in ascending order.
-4, n, s
Let y = -0.43 - -0.18. Let d = y - -0.36. Let h = d - 0.01. Put -0.3, h, 2/9 in increasing order.
-0.3, h, 2/9
Let u be 0 - 1 - 4 - -5. Put 44, -2, u in descending order.
44, u, -2
Let o = -371 + 370. Let j be (-2)/(2/(0 - 1)). Let m = -6 - -4. Sort o, m, j in descending order.
j, o, m
Let p = -799 - -775. Sort p, 10, 0 in decreasing order.
10, 0, p
Let z(l) = l**2 + 61*l - 1137. Let m be z(15). Let t = -1.2 - -0.2. Sort t, -11, m.
-11, t, m
Let t = -110 + 553/5. Put -2/9, t, 2/7, 0.03 in ascending order.
-2/9, 0.03, 2/7, t
Let h = -201.3 + 201. Sort h, 2, 1/2, 0.1 in descending order.
2, 1/2, 0.1, h
Let w be ((-4)/6)/((-70)/(-15)). Let k = -0.5 + -5.5. Let u = 4 + k. Put -2/11, u, w in decreasing order.
w, -2/11, u
Let m = 5 + -1. Let k = 162 - 177. Let y be (k/(-4) - 0) + -3. Put y, -7/3, m in ascending order.
-7/3, y, m
Let s = -49 + 26. Let b = -89/4 - s. Sort 7, 0.4, b.
0.4, b, 7
Suppose -2*p + 2 = -8. Let i = -47 + 73.1. Let q = 26 - i. Put p, q, -0.2 in descending order.
p, q, -0.2
Let g = -10 - -5. Suppose -40*w + 136 = -64. Put w, g, 4, 0 in decreasing order.
w, 4, 0, g
Let l = -0.11 + 4.11. Let r be 4/(-14) - 22/(-77). Suppose z + 2*z + 3 = r. Put -3, z, l in increasing order.
-3, z, l
Suppose 79 = 4*r + 31. Suppose 28 = -2*y + 5*l, -2*y - 4*l + r = l. Let v be ((-3)/(-2))/3*-6. Put -5, v, y in descending order.
v, y, -5
Let i = 99 - 34. Let a = 55 - i. Put a, -5, -3 in decreasing order.
-3, -5, a
Let g be 1*22 + (-19 - -22). Put g, -8, 4 in decreasing order.
g, 4, -8
Suppose 0 = -p + 4*h - 9, 7*p + 17 = 4*p + 2*h. Sort 5, 0.06, -0.2, p in increasing order.
p, -0.2, 0.06, 5
Suppose -4*a = 5*c - 2, -5*a - 4*c = 10 - 8. Sort 77, a, 1 in decreasing order.
77, 1, a
Suppose 93*i + 17*i - 220 = 0. Put 5, i, -18, -1 in ascending order.
-18, -1, i, 5
Let f = -1 - -2. Suppose h = 2*h + 8. Let x be (-5)/(-24) - f/h. Put x, 11, 0 in decreasing order.
11, x, 0
Let w = -12 - -11.6. Let u = w - -0.8. Let j = -0.17 - 6.83. Put u, j, -5 in increasing order.
j, -5, u
Let b be 17/(-51) + 3/(-9)*-1. Suppose -20 = 3*u + 2*u. Let v = 5 + u. Sort 3, v, b in decreasing order.
3, v, b
Let m(j) = -j**3 - 6*j**2 - 7*j - 5. Let x be m(-5). Suppose -5*p - 13 = d, -p - 3*d = -6 + 3. Sort p, 1, x.
p, 1, x
Let w = -355 - -359. Suppose 5*h - 3*f = 9, 3*h + 4*f - 17 = -0*h. Sort w, 5, h, 2 in decreasing order.
5, w, h, 2
Suppose -3*o + 2*u = -4, 2*u = -2*o - 3*u + 28. Put -1, -5, o in decreasing order.
o, -1, -5
Suppose 5*i = 4*i. Let y(m) = -7*m - 246. Let w be y(-35). Sort -3, w, i in ascending order.
-3, w, i
Let k = 68 - -37. Let p = -104.5 + k. Sort p, 1, 2, 0 in decreasing order.
2, 1, p, 0
Suppose -8 = 4*h + 12, 1 = 2*f + h. Let m be (f/(-4))/((-66)/44). Put 0, m, 0.1, 5 in ascending order.
0, 0.1, m, 5
Let u = -11 + 17. Let s = u - 3. Sort s, -0.3, 0.3 in increasing order.
-0.3, 0.3, s
Suppose 5*w = -30, -3*q - 4*w - 5 = 136. Let f be (4/(-6))/(0 - 3). Put 5, f, q in increasing order.
q, f, 5
Let r be (-56)/224 - (-21)/4. Sort -3, 4, r, 0 in increasing order.
-3, 0, 4, r
Let u(r) = 4*r**2 - r. Let m = -10 + 11. Let y be u(m). Let p be 3*2/y + 2. Put p, 1, -4 in decreasing order.
p, 1, -4
Let f = 8 - -21. Let d = -34 + f. Let o = 29/15 + -8/5. Put 1, d, o in increasing order.
d, o, 1
Let j = 3.6 - 26.6. Let z = j - -36. Let s = z - 13.03. Sort 1, 0.5, s in decreasing order.
1, 0.5, s
Let k = 33 + -32.18. Let j = 0.52 - k. Put -2.1, j, 0.2 in decreasing order.
0.2, j, -2.1
Let k(h) = -5*h**3 + 5*h - 5. Let l be k(1). Sort l, 219, -2 in decreasing order.
219, -2, l
Let w be 1368/(-84) + 2/7. Let v be w/(-20)*10/4. Sort -0.5, -4/3, v.
-4/3, -0.5, v
Let k = -0.037 + -0.163. Sort 0, -1, k, 42 in descending order.
42, 0, k, -1
Suppose 19*n = 25*n - 6. Sort -33, 6, n.
-33, n, 6
Suppose -4*u = w + 375, 0 = 4*u - 7*w + 10*w + 381. Put u, 2, -4 in decreasing order.
2, -4, u
Let z = -873.5 - -869. Put z, -5, -0.5, -1/4 in decreasing order.
-1/4, -0.5, z, -5
Let l = 1880/12389 - -2/953. Sort -1, -123, l in descending order.
l, -1, -123
Let r = 2714 + -2711. Sort -2, -0.5, r, -7 in increasing order.
-7, -2, -0.5, r
Let o = 20 - 10. Let d be ((-15)/(-2))/((-3)/6). Let q = o + d. Put q, -3, 0 in decreasing order.
0, -3, q
Let k be 0 - (4/(-30))/1. Suppose 0*h - 130 = 5*h. Let w be (1/(-2))/(h/156). Put 2/9, k, w in descending order.
w, 2/9, k
Suppose 0 = -5*i - 5, -15*s + 5*i + 35 = -12*s. Sort -30, s, -2 in ascending order.
-30, -2, s
Let j = -3.3 - -49.3. Let c = j - 45.5. Sort -1/5, c, -2/9 in decreasing order.
c, -1/5, -2/9
Suppose 47*c - 10 = 45*c. Sort -1, 1, c, 13 in descending order.
13, c, 1, -1
Let t = 163 + -160. Sort 2, -3, 16, t in decreasing order.
16, t, 2, -3
Let r = -5 - -8. Let m(v) = 2*v**2 - 4*v + 3. Let b be m(2). Suppose -b*c + 10*c = -21. Sort 0.1, c, r in decreasing order.
r, 0.1, c
Let b = -166 + 162. Suppose -u - 2 - 4 = 0. Let x(g) = -g**3 - 6*g**2 - 2*g - 7. Let t be x(u). Sort t, b, -2 in decreasing order.
t, -2, b
Let f = 538 - 519.2. Sort f, -2, -0.3.
-2, -0.3, f
Let v = 0.29 - 4.29. Let l = -3.8 - v. Let s = 15 - 10. Sort l, s, -5/4 in decreasing order.
s, l, -5/4
Let b = 388 + -386. Sort b, -23, -4 in descending order.
b, -4, -23
Let z = 33 + -70.5. Let k = z + 37. Put k, -0.03, 1, -0.4 in increasing order.
k, -0.4, -0.03, 1
Let j(n) = 17*n**2 - 120*n + 3. Let u be j(7). Sort 37, -5, u, -3.
-5, u, -3, 37
Let z(k) = -2*k - 7. Let o be z(-5). Let s(n) = -2*n**2 - 22*n + 625. Let b be s(13). Sort 2, 24, o, b in ascending order.
b, 2, o, 24
Let i be 12/21 - (-3)/7. Let m be 38/16 - (-1)/i*-2. Sort m, -0.1, -4.
-4, -0.1, m
Let l = -26 - -29. Suppose 7 - 13 = -l*s. Sort -3, s, 5.
-3, s, 5
Let l = 31/24 + -7/6. Let k be 3 - (1 - 32/(-14)). Sort 1/6, k, l in decreasing order.
1/6, l, k
Let d be 28/3 + (-620)/62. Let z = 3 - 6. Put z, -0.2, d in decreasing order.
-0.2, d, z
Let v be (7/(-4) + (-2)/(-4))*4. Let r = 25 + -28. Sort -2, v, r.
v, r, -2
Let v = -1.5 + 2.5. Let a = 2 - v. Sort a, -1/5, -2/13 in increasing order.
-1/5, -2/13, a
Suppose 2*q = -3*l - 12, -l = q - 5*l - 16. Let z be 4 + -1 - (1 - 0). Sort 3, q, z, -2 in descending order.
3, z, q, -2
Suppose 0*p - 25 = -5*p. Suppose -p*f = 5*b - 85, 2*f = 5*f - 2*b - 26. Let h = -11 + f. Put h, 0, -3 in decreasing order.
h, 0, -3
Let h be ((-1)/(-2))/((-14)/336). Let j(n) = n**2 + 13*n + 10. Let x be j(h). Sort 6, x, -5 in decreasing order.
6, x, -5
Let j = -0.43 + 0.03. Let h = 45.4 - 45. Put -9, j, h in descending order.
h, j, -9
Let w = 1.5 - 1.41. Let s = w + -0.39. Put s, 1/3, 0.2, -0.4 in decreasing order.
1/3, 0.2, s, -0.4
Let i = 118 - 115. Put 2, i, -14 in decreasing order.
i, 2, -14
Let b = 4.89 + 0.11. Let q(x) = x - 16. Let k be q(17). Put k, b, 2 in decreasing order.
b, 2, k
Suppose 3*p = h, 8 = 3*h - 5*p - 4. Suppose -4*m + 3*r + h = -m, -3*m + 1 = -5*r. Suppose -m = -4*f - 27. Sort 0, f, -3 in ascending order.
f, -3, 0
Let z be 6 + (-20)/28 - 5. Let v be (-1)/1*(-2)/4. Sort z, -4, 3/11, v in descending order.
v, z, 3/11, -4
Suppose 2*b + 2 - 13 = -5*g, 0 = g - 1. Suppose i - 12 = -5*p + 3, -2*i = b*p - 9. Sort -3/7, i, -2/11.
-3/7, -2/11, i
Let d = -16 + 13. Suppose 5*f + 15 = -t, 5*t + 18 = 3*t - 4*f. Put 4, d, t in ascending order.
t, d, 4
Let i = -77.1 - -89.1. Sort i, -2/3, 1, 2 in increasing order.
-2/3, 1, 2, i
Suppose -6*r = -2*r. Suppose 3*p - 5*u = -4, r = -3*p + 5*u - 2*u - 6. Let n = -5/6 + 2/3. Put -5, n, p in descending order.
n, p, -5
Suppose 0 = s - 4. Let v be (171/(-33) - 0) + 22/121. Let n = 6 - 4. Sort s, n, v in descending order.
s, n, v
Let j(n) = 3*n**3 - 16*n**2 - 15*n + 16. Let m(z) = -z**3 + 5*z**2 + 5*z - 5. Let p(a) = 2*j(a) + 7*m(a). Let h be p(4). Sort -5, 4, h in descending order.
4, h, -5
Let x = -101 - -97. Sort -3, 1, x, 3.
x, -3, 1, 3
Let b = -12 + 17. Suppose -b*n + f + 32 - 11 = 0, n + f - 3 = 0. Sort n, -4, -2 in increasing order.
-4, -2, n
Suppose -5*r = -0*r - 20. Let d(a) = -2*a**2 - 14*a + 91. Let k be d(4). Let i = -4 - 1. Sort k, r, i in decreasing order.
r, k, i
Let