= m + 18. Sort -5, 0.3, g in decreasing order.
g, 0.3, -5
Suppose 2*p + 1 = p. Let a = 0 - p. Sort 0, -2, a in ascending order.
-2, 0, a
Let b(t) = t + 15. Let q be b(-12). Let z = 0.28 + 0.12. Sort z, 2, q in descending order.
q, 2, z
Let x = 0.31 - 0.31. Sort 0.4, -20, x in ascending order.
-20, x, 0.4
Suppose 0 = -0*b - 2*b + 6. Put 2, b, -2 in descending order.
b, 2, -2
Let q = -3.5 + 3.1. Sort q, 1/3, -2/9 in descending order.
1/3, -2/9, q
Let c = -0.05 + 5.05. Let a = 489/4 + -122. Put c, a, 0.01 in decreasing order.
c, a, 0.01
Let s = 0.013 + 0.387. Put s, -2/15, -0.5 in descending order.
s, -2/15, -0.5
Let j = 3.5 - 3. Let q = 4 - 3.7. Sort j, -1, q.
-1, q, j
Let x(u) = u**3 + 10*u**2 + 2*u + 13. Let m be x(-10). Let r = -12 - m. Let z be (1/(-3))/(2/(-6)). Sort r, z, -4/7.
r, -4/7, z
Let w(r) = 2*r**3 + r**2. Let f be w(1). Suppose -3*z - 2*u - 14 = 2*u, z = -4*u - 18. Suppose 5 = z*v + 7. Put v, f, -4 in ascending order.
-4, v, f
Let l be (-2 - (-2 + 4)) + 0. Let v(q) = -q**3 - 6*q**2 - 5*q + 4. Let b be v(-5). Let u be 4/(12/(-9)) + b. Put -5, u, l in increasing order.
-5, l, u
Let l(f) = -f**3 - f**2 - 4. Let b be l(0). Sort b, -5, 1.
-5, b, 1
Let i(b) = -b**2 + b. Let g be i(1). Let x be 1*(3 + -2 - -4). Let w = -2 + x. Put g, w, 1 in ascending order.
g, 1, w
Let q = 140 + -2102/15. Let w = 15 + -9. Put w, -1, q in increasing order.
-1, q, w
Let q = 0.1 - 0.2. Let k = -0.01 - -0.05. Let n = k + -4.04. Put q, n, 2/11 in ascending order.
n, q, 2/11
Let d be ((-4)/(-1))/(-1) + 16. Let c be (13 - d) + (-3)/4. Let t be 0 - 3*2/(-9). Put t, c, 2/9 in ascending order.
2/9, c, t
Suppose 0 = 4*o - 10*o - 30. Let i = -10 + 15. Sort i, -3, o in descending order.
i, -3, o
Let f be (0 - 2)/((-1)/(-6)). Let g be (5/4)/((-3)/f). Let z = 2 - 7. Put z, -2, g in descending order.
g, -2, z
Let m(o) = -o**3 - 6*o**2 + 6*o - 8. Let d be m(-7). Sort -8, d, 0.1.
-8, d, 0.1
Let a = -1.953 + -0.047. Sort 1, a, -1/8, -0.1 in ascending order.
a, -1/8, -0.1, 1
Let h = -64 - -69. Sort 0, 60, h.
0, h, 60
Let n = 604/5 - 120. Suppose -4*c = -16, -3*y = c + 4*c - 5. Sort n, y, 1 in decreasing order.
1, n, y
Let l(p) = -7*p**2 - 4*p + 9. Let d(y) = -3*y**2 - 2*y + 4. Let r(w) = -5*d(w) + 2*l(w). Let o be r(1). Let t = 3 - 7. Sort t, o, -1.
t, -1, o
Let z = 53/161 + -1/23. Suppose -2*y = -m + 3, -16 = -5*m - 4*y - 1. Sort z, -4, m in decreasing order.
m, z, -4
Suppose r = -4*r - 40. Let c = r + 5. Let a = -4 + 9/2. Sort -0.4, a, c.
c, -0.4, a
Suppose -5 = -h - 0. Put -5, h, 1 in decreasing order.
h, 1, -5
Let j = -27 + 29. Sort -1, j, -23.
-23, -1, j
Suppose 4*y = y - 3. Put -4, -5, y in ascending order.
-5, -4, y
Suppose -11*y + 31 = -24. Suppose -3*m - 2 + 0 = 2*h, h = -2*m - 2. Put y, h, 1 in ascending order.
1, h, y
Let q = 10 - 5. Let y be -3 + 1 - (-3 - 0). Put y, -2, q in increasing order.
-2, y, q
Let w(m) = m**3 - 8*m**2 + 7*m + 1. Let j be w(7). Suppose c - t = -1 - j, -5*t + 11 = -4*c. Sort c, 6, 2/3 in decreasing order.
6, c, 2/3
Let o be 25/3*(-30)/(-25). Put o, -1, 0 in descending order.
o, 0, -1
Suppose -5*z - 2*c = -c - 3, 0 = -4*z - 5*c - 6. Let i be (-7)/3 + z/3. Let p be -2 + 0 - i - 1. Sort -4, -2/5, p in decreasing order.
-2/5, p, -4
Let n = -4 - -23. Let q(y) = -y**3 + 5*y**2 - y. Let o be q(3). Let b be n/o + 4/10. Sort 0.3, b, 2/3 in decreasing order.
b, 2/3, 0.3
Let q(a) = -2*a + 22. Let i be q(7). Put 1, 3, i in increasing order.
1, 3, i
Suppose 6 = -u + 2. Suppose -114 = -4*o - f, 4*o + 0*f = f + 110. Let j be 2/u + o/(-8). Sort -5, 3, j in decreasing order.
3, j, -5
Let q be (-20)/(-465)*(-3)/2. Put -3, -1, q in decreasing order.
q, -1, -3
Let a = 1/15 + -4/15. Sort 0.2, a, 1/3.
a, 0.2, 1/3
Let o = 4.7 - 9.7. Sort o, 1, -0.02 in decreasing order.
1, -0.02, o
Let j be 2/(-14) + (-1312)/28. Let p = j + 283/6. Let y = p + -1/2. Put -5/3, y, 0.5 in ascending order.
-5/3, y, 0.5
Suppose -2*o + 16 = 2*o. Suppose -2 = o*i + 2. Let n = i - -1. Sort -2, n, -4 in descending order.
n, -2, -4
Let b be ((-6)/(-15))/(18/(-10)). Let t = -1/7 + 2/7. Let v = 20 - 19. Sort b, v, t in descending order.
v, t, b
Let g = 20 + -18. Let u = g - 6. Let s = -1.9 + 2. Put u, 0, s in decreasing order.
s, 0, u
Let u = 10 - 11. Sort 5, 2/5, u.
u, 2/5, 5
Let o = 0.48 - 0.18. Sort -0.9, -2/9, o.
-0.9, -2/9, o
Suppose 3*c + 0*c = -6. Let f be (4 + -3)/((-2)/c). Suppose 2*w - 4*p = 6, -4*w - p + 1 - 7 = 0. Put -4, w, f in ascending order.
-4, w, f
Let o(q) = -q + 13. Let y be o(8). Put -10, -5, y in decreasing order.
y, -5, -10
Let l be (3/(-4))/(5/(-60)). Put -0.2, -2, l in descending order.
l, -0.2, -2
Let l(i) = -4*i - 2. Let r be l(-2). Let z(p) = p**3 - 5*p**2 - 6*p + 1. Let n be z(r). Suppose -f + n = -0*f. Put f, -5, -1 in decreasing order.
f, -1, -5
Let r = -3.5 + -0.5. Let k = -0.38 + -3.22. Let w = r - k. Put -1/9, -4, w in ascending order.
-4, w, -1/9
Let u be -1*0/(9/3). Sort 4, u, 2, 5.
u, 2, 4, 5
Let c be (3 - 5) + 27/15. Sort -2/7, -1/4, c.
-2/7, -1/4, c
Let p(a) = a**2 + 7*a + 2. Let q be -2 + -3 - 2*1. Let v be p(q). Suppose 4 = 3*u - v*u. Sort 3, 0, u in decreasing order.
u, 3, 0
Suppose 78 = -4*s + 6. Let u = -13 - s. Suppose 0 = -4*m - u*a + 27, 0 = -4*a + 3 + 9. Sort -1, m, 2.
-1, 2, m
Let g = -46/3 + 31/2. Sort g, -6, 1, 0.1 in ascending order.
-6, 0.1, g, 1
Suppose 2*i = -3 - 1. Let r = -22.63 - -23. Let d = 0.07 - r. Sort d, i, 1/6 in decreasing order.
1/6, d, i
Suppose -5*d + 15 = 40. Let n(h) = h**3 + 4*h**2 - 5*h + 2. Let p be n(-5). Suppose p*k = -k - 3. Sort k, d, 5 in decreasing order.
5, k, d
Suppose 4*s + 211 = -s - 4*d, -168 = 4*s + 3*d. Let l be (-2)/(-6)*18/s. Let k = 0.7 - 1. Sort l, -5, k in ascending order.
-5, k, l
Let o = -16 - -19. Put 0.2, 1, o in increasing order.
0.2, 1, o
Suppose 7*o - 5*o = -6. Let m be 1 - (-2)/(-2) - 0. Let k be 4 - (3/o + m). Sort -4, 0, k in decreasing order.
k, 0, -4
Suppose 19 = 2*l - 39. Let u = 21 - l. Let r(y) = -y - 3. Let k be r(u). Sort k, 4, 1.
1, 4, k
Suppose -2*s - 2 = 4*a + 6, -2*s + 7 = -a. Put s, 4, -0.5, -2/5 in ascending order.
-0.5, -2/5, s, 4
Let k = -6.5 + 7. Let h = 2.5 + k. Put -4, h, 0.3 in ascending order.
-4, 0.3, h
Let f = -1 - -1. Let g = -12.93 - -13. Sort g, f, -3 in ascending order.
-3, f, g
Let x(q) = q**3 - 10*q**2 + 2*q - 23. Let u be x(10). Put -4, -5, u, 4 in descending order.
4, u, -4, -5
Let o be ((-5)/(-5))/((-22)/(-10) - 2). Sort 4, o, -5 in increasing order.
-5, 4, o
Let t = 0.06 + -2.06. Let i = 3 - t. Put i, -0.3, -3 in decreasing order.
i, -0.3, -3
Suppose 5*i = 0, -i = -2*h - 0*h. Let o be (-4)/(-2)*2/4. Sort -1, o, h in ascending order.
-1, h, o
Let d be (4 + -7)/(3/(-2)). Let n be 1 + (5 - (d + 0)). Suppose 0*p - 2*p = -6. Sort p, n, 2 in ascending order.
2, p, n
Let q = -45 + 319/7. Put 0.3, q, 0, -1/2 in increasing order.
-1/2, 0, 0.3, q
Let k = -0.361 - -0.061. Let g = 0.8 - 0.1. Let r = -0.2 + g. Sort k, r, -0.2.
k, -0.2, r
Let a = -0.2 + 0.1. Let f = -0.4 - a. Sort f, 2, -2/3 in decreasing order.
2, f, -2/3
Let y = -7 - -17. Let r = 14 - y. Suppose 3*d - 4*q = -0*d + 5, r*d = q - 15. Sort -4, d, 1 in increasing order.
d, -4, 1
Suppose -14 = 2*z + 32. Put 1, 0, -3, z in decreasing order.
1, 0, -3, z
Let n be ((-2)/3)/(145/(-45) + 3). Sort n, 4, -8.
-8, n, 4
Let t = -57 + 33. Let d be ((-1)/(-2))/((-4)/t). Put d, -2, 0 in decreasing order.
d, 0, -2
Let g be -27*(2/(-6))/1. Let v = g + -7. Put 1, 5, v in increasing order.
1, v, 5
Suppose 0 = 5*v - 10. Suppose -3*w - v*w = -25. Let u = 87/280 + -1/40. Put u, -5, w in ascending order.
-5, u, w
Suppose 3*r = r + 2. Put 2, r, 4 in decreasing order.
4, 2, r
Let c be 25/(-15)*(-2 + 7 + -2). Let y = 0 + -1. Put 5, c, y in increasing order.
c, y, 5
Let h = 4 - 6. Suppose -3*v = -4*c - 32, -3*c = 5*v + 2*c + 5. Sort v, h, 0 in decreasing order.
v, 0, h
Suppose -2*v + 4*v + k = 1, -10 = -5*v - k. Sort -4, v, 15 in ascending order.
-4, v, 15
Let c = -0.4 + 0.2. Let o = 0.3 - c. Let l = -3.5 - o. Put 3/2, l, 0.5 in ascending order.
l, 0.5, 3/2
Let j(w) = w**2 - 10*w + 7. Let v be j(5). Let d be ((-3)/9)/(2/v). Put d, -3, -5 in ascending order.
-5, -3, d
Suppose -4*m = -2*m - 10. Sort m, -3, -5.
-5, -3, m
Let f(c) = -c + 4. Let i be f(-3). Suppose 4*t + 18 = -2*k, 0*t = -2*t + k - i. Sort t, 2, 4 in decreasing order