0 = v, -2*a - 2*v - 10 = 3*v. Let x = -24 - -18. Let p be (3/6)/(x/12). Put 2, a, p in increasing order.
a, p, 2
Let k = -212/9 - -1054/45. Let q be (-1 + 0 + 4)/1. Sort 1/4, k, q in increasing order.
k, 1/4, q
Let n be 9/(-6)*32/12. Let v be 2 + (2 - (n - -4)). Suppose -h = v*h. Put h, -6, 0.2 in descending order.
0.2, h, -6
Suppose 0 = 28*b + 13 - 69. Put 15, b, 4 in decreasing order.
15, 4, b
Suppose 5*z - 27 = -17. Put -4, z, 0 in ascending order.
-4, 0, z
Let j(a) = -a**3 - 15*a**2 - 3*a + 155. Let s be j(-14). Sort 21, 2, -4, s in decreasing order.
21, 2, s, -4
Let d(m) = -m**2 - 47*m - 211. Let j be d(-42). Put j, 0, 194 in descending order.
194, 0, j
Suppose 0 = -u + 658 - 653. Sort 83, 4, u, -4 in decreasing order.
83, u, 4, -4
Let i be ((-2 - -5) + -4)*0. Suppose i = -7*p + 11*p. Put 1, p, -7, -1 in ascending order.
-7, -1, p, 1
Suppose -l + c - 6 = 0, 3*l - 5*c + 3*c = -16. Let b(v) = -2*v**2 + 12*v - 11. Let p be b(4). Sort l, p, 2, -3.
l, -3, 2, p
Let y = -2908 - -14544/5. Sort -9, -5, y, 2/7 in descending order.
y, 2/7, -5, -9
Let t(p) = -p**2 + 11*p - 26. Let k be t(8). Sort 0, 4, k, 111 in descending order.
111, 4, 0, k
Let j(y) = -8*y**3 - y**2 + 2*y - 1. Let o be j(1). Suppose 3*q + 3*n - 18 = 0, -4*q = -q - 2*n - 3. Sort o, -1, q in descending order.
q, -1, o
Suppose -4*m + 38 = -3*j + 30, 4*j - m = -15. Let y be 3*(-52)/(-42) + -4. Put 12, j, y in descending order.
12, y, j
Let s(p) = 19*p + 71. Let w be s(-4). Sort 6, 8, w.
w, 6, 8
Let t be ((-1)/2)/1*-8. Suppose 3*i = -y + 5, y + t = -4*i + 11. Sort 1, -5/6, i, -0.4.
-5/6, -0.4, 1, i
Let r = -0.2 + 0.3. Let b = -945 + 944.6. Sort r, -3, b, 2/3 in ascending order.
-3, b, r, 2/3
Let h be 1*(1 + 1)*(-2)/7. Put h, -0.2, 0.02, -0.1 in descending order.
0.02, -0.1, -0.2, h
Suppose -5*w = -5*n + 45, 4*w = w - 12. Sort n, 2, 9, -1 in decreasing order.
9, n, 2, -1
Suppose 0 = 2*d + 3*d + 2*k - 29, -3*d + 3*k = -9. Let s = d + -7. Let n be 11 + 350/(-49) + -4. Put -4, n, s in descending order.
n, s, -4
Let k(i) = -2*i**2 + 9*i - 9. Let u be k(3). Let g be (-22)/6 + (-4)/(-6). Put g, u, -5 in decreasing order.
u, g, -5
Let b = 0.5 + -0.3. Let z(x) = x**2 + 8*x - 1. Let t(h) = 2*h + 4. Let d be t(-6). Let v be z(d). Put v, -0.5, b in increasing order.
v, -0.5, b
Let p = -380 - -383. Sort -37, p, 4 in descending order.
4, p, -37
Let d be (-15)/35 + 0 + 32/(-7). Sort 10, d, -1/2, 1/3 in descending order.
10, 1/3, -1/2, d
Suppose -4*g = -0*a + a - 1, 5*a - 2*g = -17. Let j(y) = 3*y**2 + 9*y + 2. Let o be j(a). Sort -1, 5, o.
-1, o, 5
Suppose s = k + 5*s - 11, 3*s = 6. Suppose -p - 2 = k. Let a = -0.5 + 5.5. Sort p, a, 1/4 in ascending order.
p, 1/4, a
Let w(q) = -2*q**2 - q. Let o be w(-1). Let v = 11 + -6. Let y(k) = k**2 + 14*k - 152. Let g be y(7). Sort o, g, v.
g, o, v
Let n = -1/213 - 70/213. Sort 3, -37, -4, n in descending order.
3, n, -4, -37
Let t(y) = y**2 - 11*y - 15. Let b be t(10). Sort 4, 0, b in ascending order.
b, 0, 4
Suppose 16 = 5*x + 1. Suppose -x*l + 0*l = 0. Suppose -3*r = -l*r - 15. Sort r, -4, -1 in decreasing order.
r, -1, -4
Suppose 68*r - 26*r = 0. Sort r, 7, -1, 1.
-1, r, 1, 7
Suppose 2*q + 3*d = 0, -2*q - d = 1 - 5. Put -3, 16, q, -5 in descending order.
16, q, -3, -5
Suppose -2*i + 3 = -1. Suppose 16*v = -43 + 59. Sort v, -5, 3, i.
-5, v, i, 3
Suppose 0 = 9*p - 8*p + 3. Suppose r = -0*r - 20. Let o be (4/r)/(2/15). Put 2, o, p in increasing order.
p, o, 2
Let h(s) = -s**2 - 6*s - 4. Let d be h(-6). Let u be (-9 + (-960)/(-112))/(3/(-28)). Put 1, 2, u, d in increasing order.
d, 1, 2, u
Let v = -109 + 127. Put 0.1, v, 4 in descending order.
v, 4, 0.1
Suppose -2 - 13 = 3*i. Suppose 22 = 4*z - 2*m, 4*z + m - 10 = -m. Let x(f) = -f + 2. Let l be x(z). Put l, i, 1 in decreasing order.
1, l, i
Let w = -15/22 + 2/11. Let y = 250591/8 + -31324. Sort -4/3, w, y, -3 in decreasing order.
y, w, -4/3, -3
Let v(h) = -14*h - 39. Let w be v(-3). Sort 58, -4, w.
-4, w, 58
Let a = -926 + 925.5. Sort 0.03, -2/9, a, -0.2 in ascending order.
a, -2/9, -0.2, 0.03
Suppose -4*j = -3*j + 4. Suppose 13*f - 8*f + 60 = 0. Let p = f + 13. Sort 4, j, p in descending order.
4, p, j
Suppose -20*c + 14*c + 24 = 0. Sort -9, -3, -1, c in increasing order.
-9, -3, -1, c
Let c = -0.7 + 4.7. Let g = -937.5 - -937. Sort g, -2, c in ascending order.
-2, g, c
Let b = 4/45 + -23/90. Let h = 0.8 - -52.2. Let o = 50 - h. Put -1, o, b in increasing order.
o, -1, b
Suppose -5*n - x = x - 5, -2*n = x - 1. Suppose -2*h = -1 - n. Suppose 5*o + 8 = -17. Sort h, 1, o.
o, 1, h
Let o = -120.7 - -23.7. Let w = 96.7 + o. Let s(p) = -5*p**2 - p + 1. Let y be s(1). Sort 3/8, w, y in decreasing order.
3/8, w, y
Let a = -104 - -216. Let t = 111 - a. Put t, -3, 0 in increasing order.
-3, t, 0
Let r be (-3 + -3)*(-1)/(-6)*-4. Suppose w + 12 = -2*a, -r*a = -w - 4*w + 10. Put -3, 4, -1, a in descending order.
4, -1, -3, a
Let d be (-11 - (-11 - -3)) + 34/14. Sort -7, d, -10/9, 2 in decreasing order.
2, d, -10/9, -7
Let w = 21 - 26. Put -10, w, 2/7, -1/5 in increasing order.
-10, w, -1/5, 2/7
Let i = 70 - 69.5. Put -16, 5, i in decreasing order.
5, i, -16
Let i be -4 + 3 + (5 - (1 + 3)). Sort 1/4, 6, 1, i in ascending order.
i, 1/4, 1, 6
Let z be 6/12 + 1/(-2). Suppose z = 3*g - 3*s + 15, 5*g + s = 1 - 2. Suppose 0 = 5*d + 12 - 2. Sort d, -5, g.
-5, d, g
Suppose -2 = -a - 2*j + 3, -3*a + 2*j - 9 = 0. Let x = 20 + -17. Put 1, x, a in increasing order.
a, 1, x
Let i be 9/6*(-88)/(-3). Suppose b - 4 = 0, -4*n + 2*b = 7*b - i. Let p be 15 + n/(-2 - 0). Put 2, 1/2, p in increasing order.
1/2, 2, p
Suppose 0 = 2*h - 31*h - 87. Sort -1, h, -2 in descending order.
-1, -2, h
Let h = 1.11 + -8.91. Let a = -6.8 - h. Let n = -0.08 + -10.92. Sort 2/5, n, a in increasing order.
n, 2/5, a
Let b = 105 + -73. Suppose -b*l - 9 = -35*l. Sort 1/5, l, 0.04 in descending order.
l, 1/5, 0.04
Suppose 3*o + 0*c = -5*c - 32, -20 = o - 3*c. Let t be (o/(-6))/((-13)/(-39)). Let i be 5/(-3)*(4 - t). Sort i, 4, -5.
-5, 4, i
Let g = -3.96 + -0.04. Let q be (-1)/(2*1/(-30)). Suppose q = -3*o - 0*o. Put g, 1/2, o in decreasing order.
1/2, g, o
Let m be 72/(-14) + 688/602. Sort 0.3, -5, 2/75, m in decreasing order.
0.3, 2/75, m, -5
Let l be 7 - ((-25)/(-9) + (-10)/(-45)). Let b(h) = -h**3 + 6*h**2 + 6*h + 4. Let k be b(7). Put l, 9, k in descending order.
9, l, k
Let m be (-9)/((-36)/(-8)) + 4. Suppose 6 = m*a - 4*a. Sort a, -5, 4 in increasing order.
-5, a, 4
Let p = -90 + 94. Suppose 5*k - 1 = 9. Put 2/5, k, -0.3, p in descending order.
p, k, 2/5, -0.3
Let w = -9.5 + 10. Put -4/3, -0.5, w, 0.2 in ascending order.
-4/3, -0.5, 0.2, w
Let c = 186 - 189. Suppose 12 = -2*q + 10. Put -10, 5, c, q in descending order.
5, q, c, -10
Let c = 38 - 12. Suppose -20 = -2*k + c. Let v = k - 16. Sort 0.5, v, 0.2.
0.2, 0.5, v
Let x = 0.021 - -23.979. Let i = x + -22. Let d = 0.36 - -0.14. Sort i, d, -3/5.
-3/5, d, i
Let f be 63/28 + -2 + -1. Let b = 0.4 + -0.3. Sort f, -0.06, b in ascending order.
f, -0.06, b
Let d = -0.041 - -3.041. Sort -0.5, -4, d, 2/7.
-4, -0.5, 2/7, d
Let x be (-44)/1344 + (-10)/160. Put 50, 1, x in increasing order.
x, 1, 50
Let b(s) = -6*s**3. Let j be b(-1). Let o = 1 - j. Suppose 2*p + 3*m - 17 = 7*p, -p - 4*m + 15 = 0. Sort o, p, 5 in increasing order.
o, p, 5
Suppose -5*r - 10 = 0, -3 + 5 = -3*l + 5*r. Put 3, l, -5 in ascending order.
-5, l, 3
Let w = -0.0806 - 0.9194. Put 0.2, w, -5/2, -9 in decreasing order.
0.2, w, -5/2, -9
Let f = 0.74 + 120.26. Let d = 122 - f. Sort d, 2/5, -2 in descending order.
d, 2/5, -2
Let x(w) = -3*w + 3. Let a be (-11 + 4 + 1)/2. Let j be x(a). Put j, 4, -3 in decreasing order.
j, 4, -3
Suppose -20*r + 70 = 330. Put r, -2, 3 in descending order.
3, -2, r
Suppose -560 = 61*o + 51*o. Sort -2, 2, o, 17 in decreasing order.
17, 2, -2, o
Let v = -47 - -86. Suppose 3*p = -9 + v. Let q = 10 - p. Put 1, -4, q in decreasing order.
1, q, -4
Let s(g) = -g**2 - 11*g - 30. Let h be s(-7). Let i(z) = z**3 - 8*z**2 - z + 8. Let p be i(8). Suppose 8 = -4*x + 4. Sort x, p, h in increasing order.
h, x, p
Let g = -352 - -348. Let f(o) = -2*o - 6. Let l be f(-5). Put 7, l, g, 3 in descending order.
7, l, 3, g
Let l = -0.2 + 0.3. Let v be 24/36 + (-26)/21. Let i = 4.6 - 5. Sort l, v, i in ascending order.
v, i, l
Let l = 1/6983 