= s - 2*s. Put s, q, -4 in decreasing order.
s, q, -4
Suppose -6*l + 19 = 1. Let x(s) = s**3 + s**2 - 4*s - 3. Let d be x(-2). Suppose -4*j + 5 = -11. Put l, d, j in descending order.
j, l, d
Let p(d) = d**2 - 8*d - 2. Let k = 1 - -7. Let c be p(k). Let f be ((-20)/15)/(c/(-6)). Sort f, 3, 1.
f, 1, 3
Let a(u) = -u**3 - 6*u**2 - 3. Let t(s) = -3*s**3 - 19*s**2 - 8. Let g(b) = 7*a(b) - 2*t(b). Let n be g(-4). Sort n, -2, -3 in ascending order.
n, -3, -2
Let q(m) = -m + 2. Suppose 0 = -4*y - y. Let n be q(y). Put -3, n, 2/7 in decreasing order.
n, 2/7, -3
Let n = -2 + 3. Let s be 0 - ((-1)/(-1))/((-2)/4). Sort 4, s, n in increasing order.
n, s, 4
Suppose d - 4*f = 8, f = -d - f + 2. Suppose -2*o + 5*o = 0. Sort o, -2, d.
-2, o, d
Let y = -24 - -95/4. Let z be ((-6)/63)/(2/(-6)). Sort 0, z, y in descending order.
z, 0, y
Let i = 3 + -9/2. Let h = -27.1 + 30. Let f = 3 - h. Put 4/9, f, i in descending order.
4/9, f, i
Let t(b) = b**3 + 19*b**2 - b - 17. Let p be t(-19). Sort -1/3, 0.4, 1, p in descending order.
p, 1, 0.4, -1/3
Let c = 0.985 + 0.015. Let k = 2.7 - -0.3. Sort c, 0.3, k in ascending order.
0.3, c, k
Let m = 7 + -6.94. Let p = -0.06 + m. Put -0.4, 2, p in increasing order.
-0.4, p, 2
Let v = 7/8 + -3/8. Suppose 20 = -4*l - x, l + 3*x + 5 = 5*x. Let d be (1 + 0 + 0)/l. Sort -1, d, v in decreasing order.
v, d, -1
Let l(n) = n**3 - 3*n**2 + 2*n - 3. Let x be l(2). Let v = 6 + x. Let t be ((-3)/v + 0)/(-8). Sort 0, -4/7, t in descending order.
t, 0, -4/7
Let m(r) = r + 7. Suppose -5*o = 5*p, -p = o + 2*p - 10. Let v be m(o). Let b = 9 + -5. Put v, b, 1 in ascending order.
1, v, b
Suppose 1 + 15 = 3*v - h, -v + 3*h + 8 = 0. Let q(k) = -k**2 + 5*k + 2. Let g be q(v). Sort 1, 0, g in descending order.
g, 1, 0
Let g = -46 + 50. Sort 5, 1, g.
1, g, 5
Let h = -4 + 3.7. Suppose v = 0, -c + 0*v - 3*v - 3 = 0. Let i be c/(-26)*16/(-12). Sort h, -3, i in descending order.
i, h, -3
Suppose 4*w = 6*w - 2. Let h be w/(-3) - (-100)/(-15). Sort h, 2, -1 in decreasing order.
2, -1, h
Let a be (3/(-6))/(4/40). Let b be 5/(a/2) - -2. Suppose b = -5*c + 8 + 12. Sort c, -1, 1.
-1, 1, c
Let c = -22 - -14. Suppose 2*j = 2 - 2. Sort -5, j, c in descending order.
j, -5, c
Let a be 4/1 + 1 + (-56)/8. Put 7, a, 1 in descending order.
7, 1, a
Let g = -161/72 - -17/8. Sort 5, 25, g in decreasing order.
25, 5, g
Let j = -3 - 9. Let n(u) = -6 - 3*u**3 + 4*u**3 - 2 + 7*u**2 + 5*u**2. Let g be n(j). Sort -3, -5, g.
g, -5, -3
Let s = 3.8 - 1. Let m = s + -3. Sort m, 0.4, -0.3 in ascending order.
-0.3, m, 0.4
Let y be 0*(3/3)/(-2). Suppose 0 = -u - y + 4. Suppose -5*n = -3*l, -l - 5*n - 10 = -2*l. Put -3, u, l in ascending order.
l, -3, u
Let r be (1/3)/((-2)/66). Let s = -5 + 9. Sort r, s, 3.
r, 3, s
Let i = 0 - 0.1. Let n = 0.2 + i. Let m be (1/(-18))/(2/(-4)). Sort n, -4/5, m in decreasing order.
m, n, -4/5
Let u = 6 - 2. Let k be (6/u)/((-2)/(-4)). Let a = -85 - -849/10. Sort a, 0.1, k.
a, 0.1, k
Let w = 1.1 + -0.1. Let o = 9 - w. Let z = -8.3 + o. Put z, -5, 0.1 in decreasing order.
0.1, z, -5
Let g = 5 + -3. Suppose l = -g*l - 15. Put l, 1, -3 in decreasing order.
1, -3, l
Let o = -0.09 + -4.91. Suppose 43 = -2*z + 41. Sort z, 1, o in decreasing order.
1, z, o
Let n = -18 + 17. Sort n, 4, -3, -2 in decreasing order.
4, n, -2, -3
Let n = 18 + -25. Let g = 6.77 - 0.27. Let v = n + g. Put v, 1/2, -1 in increasing order.
-1, v, 1/2
Let o = -5 + 7. Let s(r) = r**2 - 6*r + 5. Let a be s(4). Sort o, 3, a in ascending order.
a, o, 3
Let p(r) = -4*r**3 + r**2 + r + 1. Let i be p(-1). Suppose 0 = -0*t + 2*t + i*s + 24, -t - 18 = 4*s. Let h = -0.2 + -0.3. Sort -0.2, t, h in decreasing order.
-0.2, h, t
Let q be (-112)/24*6/(-7). Suppose p + 1 = -3*o, p - 5*o - 8 = -1. Sort p, 3, q in ascending order.
p, 3, q
Let y(j) = -j + 29. Let x be y(30). Put 9, x, 3, -2 in ascending order.
-2, x, 3, 9
Let z = 24.9 + -24. Let f = z + -0.4. Sort 0.2, -4, f in decreasing order.
f, 0.2, -4
Let g = -0.9 - -1.8. Let n = 0.6 - g. Put n, -0.2, -0.1 in decreasing order.
-0.1, -0.2, n
Suppose 0 = k - 10 + 23. Sort -5/4, 2/11, k.
k, -5/4, 2/11
Let z = 0 + 0. Let l(p) = -p - 7. Let t be l(-6). Put z, -3, t in descending order.
z, t, -3
Let d = 157/120 - -1/40. Put -0.4, 5, d in decreasing order.
5, d, -0.4
Let w(a) = -a**2 - 7*a + 12. Let k be w(-9). Let j be ((-6)/(-9)*k)/(-4). Suppose 4 = 3*m - 5. Sort j, m, -5 in decreasing order.
m, j, -5
Let m be -1 - -9*2 - -1. Let u be ((-3)/m)/(1/2). Let q be -2 + 3 + (-15)/9. Sort -0.3, u, q in ascending order.
q, u, -0.3
Let o = 3.4 - -0.6. Suppose v - 2 = -4. Let a be -2 - 1*7/v. Sort 5, a, o in increasing order.
a, o, 5
Let j = 132 - 120.2. Let c = 12 - j. Let q = 0.2 + 0.3. Sort c, q, -0.2 in descending order.
q, c, -0.2
Suppose -30*c + 28*c - 8 = 0. Sort c, -1, 1 in increasing order.
c, -1, 1
Let b(c) = -c**3 - 12*c**2 - 12*c - 6. Let l be b(-11). Suppose -3*r - r + 23 = -5*y, 0 = -4*y - 12. Sort l, 3, r in descending order.
l, 3, r
Let g be 4*1*5/(-40)*6. Put 1, g, 2, 3 in ascending order.
g, 1, 2, 3
Suppose w + 4*l = -3, l - 1 = -4*w - 2*l. Let a be (0 - -1) + 1 + 0. Sort a, w, -4 in ascending order.
-4, w, a
Let v = -3 - -23. Suppose 4*q = -q + v. Let i = q - 1. Put i, -2/5, -1 in descending order.
i, -2/5, -1
Let v = -3.8 - -3.36. Put -0.4, v, 1/7 in decreasing order.
1/7, -0.4, v
Let m be (-2)/(-40) + (-9)/(-45). Let a = 0.5 - 0.9. Sort m, a, 0.2 in descending order.
m, 0.2, a
Let t = 145 - 3047/21. Put 3, 2, t, 2/7 in ascending order.
t, 2/7, 2, 3
Suppose -y + 32 = 3*y. Let p(a) = -a + 14. Let j be p(y). Suppose j*o = 2*o. Sort -1, o, 1.
-1, o, 1
Let d(x) = -x**3 + 9*x**2 + x - 10. Let j be d(9). Put 1/4, j, -2/7 in ascending order.
j, -2/7, 1/4
Let h = -27 + 32. Sort h, -2, 1, 0 in descending order.
h, 1, 0, -2
Let h = -40/11 + 164/33. Suppose 8 = -2*g - 4*y, -y - 5 = -5*g - 3. Put h, -2/9, g in decreasing order.
h, g, -2/9
Let a = -0.07 - 0.03. Let i = 70 - 419/6. Sort -1/6, a, i in decreasing order.
i, a, -1/6
Let q = 6 + -6. Let i = q - 1. Let v = i - 2. Sort 4, v, 1 in ascending order.
v, 1, 4
Let s = -0.2 + 1.2. Let m be 0 + -1 - 458/(-8). Let c = m + -56. Sort -3, s, c.
-3, c, s
Let s be 4/(-1 + -3)*-1. Let c(t) = -t**3 + 4*t**2 + 5*t + 4. Let f be c(5). Suppose -4*o + 24 = f. Sort s, -3, o in descending order.
o, s, -3
Let l be (1 - -100 - -9)*2/(-4). Sort l, -2, -1, -3.
l, -3, -2, -1
Let k = 0.04 - -1.06. Let a = k - 0.8. Let z = -0.4 + a. Sort z, -2/3, -2/17 in decreasing order.
z, -2/17, -2/3
Let y = 8 - 14. Sort y, 3, -3 in descending order.
3, -3, y
Let y = -0.03 - 0. Let t = -0.33 - y. Let i = 56.9 - 57. Sort i, t, -1/4 in increasing order.
t, -1/4, i
Let i = 28 + -29. Put i, -9, 1 in ascending order.
-9, i, 1
Suppose -4*n + 7*n - 3*m - 39 = 0, n - 33 = -3*m. Suppose -73 + n = -5*q. Suppose 2*g = -i - q, -i + 3*g - 1 = i. Put i, -3, 0 in decreasing order.
0, -3, i
Let w(t) = t - 13. Let f(k) = -1. Let v(l) = 6*f(l) - w(l). Let m be v(6). Let r be (-2)/(-4) - 9/2. Put r, 0, m in descending order.
m, 0, r
Suppose 3*d = 3*u + 30 - 12, 3*d - 10 = -u. Suppose 4*v - 28 = -3*w - d, -v + 19 = 4*w. Put -5, 2, v in decreasing order.
v, 2, -5
Let q(d) = -d + 7. Let y be q(7). Suppose -4*o = -4*n - y*n - 8, 0 = -o + 5*n + 6. Put o, -3, -1 in descending order.
o, -1, -3
Let o = 19.4 - 19. Sort -0.4, o, -2/11 in decreasing order.
o, -2/11, -0.4
Let o(m) = m**3 + 7*m**2 - 8*m + 8. Let v be o(-8). Let p = 37/5 - v. Sort p, -0.3, 2.
p, -0.3, 2
Let x be (-15)/28 + 4/14. Suppose 0 = n + 4*n - 570. Let b be n/(-30) - 2/10. Sort b, 3, x.
b, x, 3
Let h = -5.93 + -0.07. Let v = h + 9. Sort -0.5, v, -0.06 in increasing order.
-0.5, -0.06, v
Suppose 5 = -3*j + 2. Suppose -c + 0*c = 2*x - 6, 3*c = 3*x - 27. Sort 4, c, j in decreasing order.
4, j, c
Let n = 0.22 + 0.8. Let p = n + -0.02. Let m(c) = -3*c + 4. Let j be m(0). Sort p, j, -5 in descending order.
j, p, -5
Let v(x) = 2*x**2 - 4. Let m be v(-2). Sort 1, -1, m.
-1, 1, m
Let d be 12/(-2 - 1) + 120/32. Sort -2/13, d, -2/11 in descending order.
-2/13, -2/11, d
Suppose -5*g - 3*p - 5 = 0, 3*g = -4*p - 13 - 1. Put g, -4, -2/21 in ascending order.
-4, -2/21, g
Let d(b) = -b**3 + 2*b**2 + b - 2. Let s = 14 - 9. Let c(r) = -r**2 + 4*r + 7. Let q be c(s). Let f be d(q). Sort -1, 4, f in ascending order.
-1