se -4*f + 2*f = -m. Put f, s, -6 in descending order.
f, s, -6
Let v = -3 - 1. Sort 0, v, 2 in decreasing order.
2, 0, v
Let y = 2.06 + -0.06. Let o = 6 - y. Sort 1/4, o, -4 in decreasing order.
o, 1/4, -4
Suppose -2*k = 3*k. Suppose k = -4*n - 3 - 13. Let u be -1*3*3/9. Sort n, 2, u in increasing order.
n, u, 2
Let m be ((-3 - 3) + 8)/(2/(-14)). Sort -5, 4, m in decreasing order.
4, -5, m
Suppose 0 = -8*a + 11*a + 6. Suppose -12 = c + 3*c. Sort a, c, 3 in ascending order.
c, a, 3
Let x = -38.5 + 32. Let m = -6.6 - -0.6. Let u = m - x. Put -4, u, -2 in increasing order.
-4, -2, u
Let q = -83 + 81. Sort 0.5, 1/3, q, 1 in decreasing order.
1, 0.5, 1/3, q
Let a = 17 - 13. Sort 6, a, -5 in decreasing order.
6, a, -5
Suppose -q - 3*k - 1 = q, 2*k - 6 = 0. Let s = 0 - q. Let t be 4/8 - 3/2. Sort t, 0, s in descending order.
s, 0, t
Let x be (-2)/(-7) + 40/56. Sort -1, x, -4, -21 in increasing order.
-21, -4, -1, x
Let z be (-6)/((-3)/(-1)) - (-100)/45. Let t = 0.6 - 0.1. Put t, z, 4 in decreasing order.
4, t, z
Let j be 0/(-1 + (3 - 0)). Suppose 3*o + o = 8. Suppose -o*f - 4 = 2*f. Sort f, j, 3.
f, j, 3
Suppose -3*y = y - 16. Suppose 0 = y*z + 3 - 23. Suppose 0 = -z*v, 2*v - 6*v - 1 = d. Sort 3, d, -3 in ascending order.
-3, d, 3
Let u(p) = -3*p - 14. Let v be u(-7). Let d = v + 2. Sort d, 1, -5.
-5, 1, d
Suppose 3*b - 82 = -b + 2*w, 2*w = -5*b + 125. Suppose -5*h = -3*j - b, -h + 3*h - 9 = j. Sort h, 3, 2/5 in descending order.
h, 3, 2/5
Let b = 35 + -33. Suppose 4*i - 2*i = -4. Sort b, 5, i in decreasing order.
5, b, i
Suppose k + 3*k = 4. Let n be (2/1)/(k/2). Suppose -4 = 8*m - 6*m. Put m, 5, n in ascending order.
m, n, 5
Let q = 0.031 + 0.469. Put q, -6, -2 in descending order.
q, -2, -6
Let z = -0.5 + 0.49. Let o = z - -0.51. Put 0.2, 0.05, o in decreasing order.
o, 0.2, 0.05
Suppose 4 = -2*b + 10. Sort -2, 0, b.
-2, 0, b
Let m = -0.11 + -2.69. Let u = m - -0.8. Put -1/9, u, -0.5 in ascending order.
u, -0.5, -1/9
Let u(a) = -1 + a**3 - 7*a - 3*a + 12 + 18*a - 10*a**2. Let x = 10 + -1. Let k be u(x). Sort 5, k, 4 in decreasing order.
5, 4, k
Let m = 3 + 0. Let v be (-1 - m)*(-2)/(-2). Put -2, 0, v in ascending order.
v, -2, 0
Let n = -2.3 + -4.7. Put n, -2/7, 0, 2/15 in descending order.
2/15, 0, -2/7, n
Suppose -3*c = 3*t - 39, -2*t - c + 5*c = -38. Suppose r - t = -4*r. Put -3, r, -4 in decreasing order.
r, -3, -4
Let m be 6/(1 + -6 + 3). Put -7, -4, m in descending order.
m, -4, -7
Let i(c) = -c**2 - 7*c - 2. Let p be i(-7). Sort 1, p, 3 in descending order.
3, 1, p
Suppose -3*b - 15 = 2*b. Let d(w) = w**3 - 3*w**2 - 2*w + 4. Let t be d(3). Sort b, 2, t.
b, t, 2
Suppose s - 3 = -5*a + 3*s, a = s. Let z be -4*(6/(-4))/3. Suppose 0 = -3*b - 5*h - 5, 5*h = -2*b - 0*h - 10. Put b, a, z in descending order.
b, z, a
Suppose -8 = -4*y + 4. Let k be (y - (1 + 2))/2. Let t be (1*3)/((-15)/20). Put 3, t, k in descending order.
3, k, t
Let b = -8 + 4. Let g be (-5)/(-9) + 0 + (-53)/159. Sort 1/2, b, g in increasing order.
b, g, 1/2
Let k = 28 + -698/25. Sort -33, k, 5 in descending order.
5, k, -33
Let c be 2 + (-20)/11 + 4/(-22). Sort c, -2/3, 8 in decreasing order.
8, c, -2/3
Suppose 0 = k + k. Sort -0.5, 0.4, k.
-0.5, k, 0.4
Let k(w) = w**3 - 3*w + 2. Let u be k(2). Let c be (u/(-8) - 0)*0. Put c, -3, -2 in decreasing order.
c, -2, -3
Let o = 6 - 6.3. Let a = 0.6 + o. Let v be ((-1)/(-3))/((91/2)/(-13)). Put a, -1/7, v in descending order.
a, v, -1/7
Suppose 58*n - 63*n = 0. Let c = 12 + -7. Sort 2, c, n in decreasing order.
c, 2, n
Let s = 1 - -1. Let h = 2 - s. Put h, 0.4, 2 in ascending order.
h, 0.4, 2
Let p = -735/8 + 183/2. Let m = 0.1 + -0.1. Let k = 0.2 + m. Sort 0.4, k, p in decreasing order.
0.4, k, p
Let p = -4 + 6. Put 1, -5, p in decreasing order.
p, 1, -5
Let d be (6/15)/(1/(-5)). Let y be d + 0 + -17 - 0. Let j be (1/y)/((-4)/(-8)). Put 5, j, 3 in ascending order.
j, 3, 5
Let m = 6.3 - 6. Let p be 2/(0 - -1) + 7. Let i be 16/42*p/6. Put -2, m, i in descending order.
i, m, -2
Let x(r) = 5*r - 3. Let d be x(1). Sort d, 5, -6.
-6, d, 5
Suppose -3*v + f = 47, -v - f + 3 - 12 = 0. Let p be (10/(-4))/((-7)/v). Sort 4, p, -8 in increasing order.
-8, p, 4
Let o = 1.1 + -0.71. Let q = o + -4.19. Let x = -4 - q. Sort 2/17, -2/7, x in ascending order.
-2/7, x, 2/17
Let y(w) = -w**3 - 4*w**2 + 4*w - 5. Let m(l) = l**2 + 2*l - 2. Let o be m(-4). Suppose o*s + 25 = s. Let j be y(s). Sort 4, j, -2 in decreasing order.
4, j, -2
Let o(x) be the second derivative of x**3/6 + x**2 - 3*x. Let k be o(6). Suppose 0 = -0*v + 2*v + k. Sort 1, v, 0.
v, 0, 1
Let f(y) = -3*y + 1. Let o be f(-3). Suppose 2*r - o = -0*r. Sort -4, r, 3.
-4, 3, r
Suppose -2 + 17 = 5*b. Sort b, -5, -1.
-5, -1, b
Suppose 3*u = -3*m, -4*m + 3*u = 6*u - 2. Put 8, -2, 4, m in increasing order.
-2, m, 4, 8
Suppose u + 2 = w + 1, 13 = 5*w - u. Suppose -w*q + 0*l = -3*l, 0 = -2*q + l + 1. Let v be (-2 + 3 - -2) + -1. Sort v, q, -2 in increasing order.
-2, q, v
Let f = -5/6 + 31/30. Suppose -14 + 5 = -3*s. Suppose 0 = 3*n - 4*l + 4, s + 2 = 3*n + 5*l. Sort n, -0.1, f in descending order.
f, n, -0.1
Let p = -15 - -13. Let r be -1 + (-2 - p - -4). Put -2, r, -2/5 in increasing order.
-2, -2/5, r
Suppose 2*i + 5 + 7 = o, -20 = -5*o + 2*i. Let l = 1 - 0. Let t be 3/((-2 + l)/1). Put t, 5, o in decreasing order.
5, o, t
Suppose b + 13 = 42. Suppose 3*d - 110 = -3*r - b, 2*r + 3*d - 51 = 0. Suppose p - 5*c - 14 = 0, 3*c + 2*c = 5*p - r. Put 3, p, 2/13 in decreasing order.
p, 3, 2/13
Let q = 4.9 - -0.7. Let j = q - 0.6. Let n = 16 - 15.5. Sort 2, n, j in ascending order.
n, 2, j
Suppose 3*u + 8 = a, -26 = 2*u - u - 5*a. Let d be 35/7*1*u. Put d, -2, 1 in increasing order.
d, -2, 1
Suppose -9*l + 11*l = -2. Put 5, 3, l, 0 in decreasing order.
5, 3, 0, l
Suppose 0 = 3*o - 4 - 2. Sort 0, o, -4 in decreasing order.
o, 0, -4
Suppose -4 = 2*q - 2. Let r(n) = 7*n**2 + 4*n + 2. Let i be r(q). Put -4, i, -7 in ascending order.
-7, -4, i
Let w = -956/9 - -106. Let d = 2.2 - 0.2. Put 0, w, d in descending order.
d, 0, w
Let s(w) = w**3 - 14*w**2 + w - 1. Let f be s(14). Sort f, -4, 3, 0 in descending order.
f, 3, 0, -4
Suppose 3*x - 2*v - 2 = -5, v = 0. Let j be (-1 - x) + 8/(-20). Let h = -1 + -1. Sort -3, j, h.
-3, h, j
Let y be (-4)/6*(-45)/3. Let g be (-14)/(-35)*(0 - y). Put 5, -1, g in increasing order.
g, -1, 5
Let u = 2 + -2. Let a = 0 - 4. Sort u, a, 3 in ascending order.
a, u, 3
Let y = 0.12 + 4.88. Let i = y + -6. Let l(c) = c + 2. Let b be l(1). Put i, -3, b in increasing order.
-3, i, b
Let a = 5 + -2. Suppose -2*o + 2 = c, 0 = -4*c - a*o - 0*o + 13. Let g(r) = -r - 1. Let z be g(-4). Sort -3, c, z in descending order.
c, z, -3
Let w = 21.4 - 21. Put -2/3, w, 0.9 in increasing order.
-2/3, w, 0.9
Let l = 1.2 - 1.5. Let m = -5 + 7. Put l, 0.4, m in ascending order.
l, 0.4, m
Let y(h) = -h + 2. Let a be y(-1). Sort 5, 2, 1, a in decreasing order.
5, a, 2, 1
Let d = -23.4 - -18.36. Let l = d - -0.04. Let z = -2 + 2.1. Sort z, l, 0.5.
l, z, 0.5
Let o be (-40)/30 + (-4)/6. Sort -5, 2, o in decreasing order.
2, o, -5
Suppose 281 = -4*j + 3*j. Let h be (4/6)/(j/3). Let r = 528/4777 - h. Put r, -2, -0.1 in decreasing order.
r, -0.1, -2
Let j(s) = -s**2 - 4*s + 12. Let o be j(-6). Sort 0.1, 3/4, o in increasing order.
o, 0.1, 3/4
Let r = 0 + 0. Let p = 10.83 + -11. Let g = 0.07 + p. Sort 3/4, r, g in decreasing order.
3/4, r, g
Let u = -0.13 + 5.13. Let l = u - 7. Let t = -6 - l. Sort 2, -5, t in increasing order.
-5, t, 2
Suppose -6*r + 15 = -r. Suppose -5 - 25 = 5*u. Let v = u - -2. Put v, 0.4, r in decreasing order.
r, 0.4, v
Let r(d) = -d**2 + 1. Let o be r(-2). Sort 10, o, -2/11 in descending order.
10, -2/11, o
Let u be (52/5)/((-2)/(-5)). Let i = 21 - u. Sort 3, i, 4 in descending order.
4, 3, i
Let d = -5 + 5.5. Put d, -3, -0.1 in descending order.
d, -0.1, -3
Let u be ((-12)/288)/((-1)/3). Put u, 3/5, -2/5 in increasing order.
-2/5, u, 3/5
Let z be (24/16)/(2/(-4)). Sort 5, -1, 0, z.
z, -1, 0, 5
Let m = -7.3 + 2.3. Let x = m - -5.3. Sort x, 1/3, -1/2.
-1/2, x, 1/3
Let l be ((-2)/18)/((-4)/6). Sort 2/7, 1/3, l.
l, 2/7, 1/3
Let f = -223 + 3789/17. Put f, 0.02, 2 in ascending order.
f, 0.02, 2
Suppose -t + 5*t - 18 = 5*b, 0 = -t - 4*b - 6. Sort -2, -9, t.
-9, -2, t
Let j be -2*2 + 361/95. Put 