 u = -4*v. Sort -1, v, -2 in descending order.
-1, -2, v
Suppose -n + s + 4 = 0, -n + 2*n = -5*s + 16. Suppose 3*f = 3*q + 2*q, 0 = 3*f - 3*q + n. Sort 1, -3, f in increasing order.
f, -3, 1
Suppose 0 = l - 5*l. Suppose -3*x + 6*h - h - 22 = l, -3*h + 10 = -5*x. Put -2, 4, x in increasing order.
-2, x, 4
Let l be 7 + 2/6*(-9)/1. Sort l, -27, 0 in decreasing order.
l, 0, -27
Let i = -2 - -1. Suppose 7*q - 60 = 2*q. Let t be (-6)/(-4)*1/q. Sort i, -2, t in increasing order.
-2, i, t
Let q = -128 - -130. Sort q, -0.3, 10 in increasing order.
-0.3, q, 10
Let v = -37 - -32. Suppose -l + j - 4 = 0, -2*l + 16 = -3*l + 5*j. Let o = 0.04 + -3.04. Sort o, l, v in ascending order.
v, o, l
Suppose -4*o - 20 = -4*g, 1 + 2 = o - 3*g. Sort o, -1, 4 in increasing order.
o, -1, 4
Let f = -0.7 + -1.3. Put -0.2, f, -5 in descending order.
-0.2, f, -5
Let p be 2/(-9) - (-764)/36. Suppose -r = 4*r + 2*u + 4, 0 = -3*r + 5*u - p. Sort r, 4, 3.
r, 3, 4
Suppose -2*t = -5 - 1. Let u(s) = -s**2 - 2*s + 1. Let l = -9 - -6. Let q be u(l). Put 0, t, q in increasing order.
q, 0, t
Let d = 0 + 5. Sort -0.3, -5, d in decreasing order.
d, -0.3, -5
Let s = 45 - 45.04. Sort -1/7, 4, s in descending order.
4, s, -1/7
Let b = 145 + -134. Put -2, -1, b in descending order.
b, -1, -2
Let l = 188 + -190. Let v = 0.38 - -0.02. Put l, -4, v in increasing order.
-4, l, v
Let a be (-4 + -2)*2/(-4). Let j(p) = p**3 - 3*p**2 - 3*p - 3. Let f be j(4). Sort a, f, 5 in ascending order.
f, a, 5
Let l(c) = -c - 8. Let z be l(-6). Let w(t) = t - 4. Let n be w(4). Put n, z, 3 in descending order.
3, n, z
Suppose -16 = -2*z - 4. Let l(u) = u + 5. Let d be l(-3). Sort d, z, -4 in ascending order.
-4, d, z
Let r = 448/3 - 148. Sort 0.4, r, 0.2 in increasing order.
0.2, 0.4, r
Let t = -7 + -2. Let n(j) = j**3 + 9*j**2 + j + 4. Let q be n(t). Suppose -5*x - 5*v + 17 + 8 = 0, -2*x - v + 7 = 0. Put -1, x, q in decreasing order.
x, -1, q
Let w(d) = -d - 7. Let a be w(-10). Suppose t - a = -1. Sort -2/3, -0.4, t in decreasing order.
t, -0.4, -2/3
Let i = 6.8 - 3.8. Sort 0.4, 2, i in decreasing order.
i, 2, 0.4
Let q = -19 - -27. Suppose 0 = -3*c + c + q. Put -2, c, -1 in ascending order.
-2, -1, c
Let k = -8.7 + 1.7. Let g = k + 9. Put g, 0.4, 0.06 in ascending order.
0.06, 0.4, g
Suppose -2*c = -0*c - 4*p - 30, p - 5 = -2*c. Suppose 4 = 2*z + 3*o, -11*z + 6*z + 4*o = 13. Sort -4, c, z in decreasing order.
c, z, -4
Suppose -12 = 2*v - 4*v. Let w(c) = c**2 - 5*c - 4. Let f be w(v). Suppose f*p - 4 = n, 0*n - 2*p = -3*n + 4. Sort n, 0, 2.
0, 2, n
Let u = -49 - -52. Let c(f) = -f**2 - 2*f + 3. Let i be c(-3). Put 1, i, u in ascending order.
i, 1, u
Let j = 4 + -3.9. Let p = -1011/5 - -203. Put p, 1/4, j in descending order.
p, 1/4, j
Let j(g) = 4*g - 13. Let s(k) = -2*k + 7. Let w(x) = 2*j(x) + 5*s(x). Let h be w(7). Put 4, h, -3 in decreasing order.
4, -3, h
Let a be (12/15)/((7/(-5))/(-7)). Sort -1, 0, 2, a in descending order.
a, 2, 0, -1
Let z be 2/(-8*1/6). Sort z, -1/2, 2/7 in increasing order.
z, -1/2, 2/7
Suppose -2*w - 3 = -w. Let g be (w/5)/((-3)/15). Put -0.2, g, 1 in ascending order.
-0.2, 1, g
Suppose a + 19 = 3*d, 3*a + 18 + 15 = 3*d. Let v = 1.4 + -1. Sort v, a, 5 in ascending order.
a, v, 5
Suppose -u + 2*u = -1. Put 5, u, 1 in increasing order.
u, 1, 5
Suppose 5*b - u = -10, 3*b + u = 6*u - 28. Sort b, -11/6, 0.1.
-11/6, b, 0.1
Suppose -27 = 4*x + 3*k, 3*x - 34 = 6*x + 5*k. Let q be ((-1)/1)/(1/x). Suppose -3*i = -4*i - 5. Sort 0, q, i in ascending order.
i, 0, q
Suppose 5*j = 22 - 2. Put -4, j, 3, -3 in increasing order.
-4, -3, 3, j
Let f be 10/(3 - (0 + 1)). Put 3, -1, f in descending order.
f, 3, -1
Suppose -3*r - 22 + 57 = -5*q, -q + 4*r = 24. Put 4, q, -1 in ascending order.
q, -1, 4
Suppose -3*k = -3*p + 3, -2*k - 21 = -k - 5*p. Let d = -5 + 2.1. Let a = -1.1 + d. Sort 0, k, a.
a, 0, k
Let n = -34 + 35. Sort 2, -4, -3, n.
-4, -3, n, 2
Let u = 11 + -6. Let d(v) = -v**2 + v + 2. Let m be d(-2). Sort m, 4, u.
m, 4, u
Let k = -14.6 - -15. Sort k, -0.1, -2.
-2, -0.1, k
Let l = -0.63 + 0.43. Sort l, -2/3, 2/3, 2.
-2/3, l, 2/3, 2
Let v = 0.2 + -0.2. Let b = v - 0. Let y be (1/(-5))/((-16)/(-20)). Sort b, y, 0.1 in descending order.
0.1, b, y
Let w(s) = s - 1. Let q be w(-6). Let r(m) = -m**2 - 7*m - 5. Let u be r(q). Put 4, -2, u in descending order.
4, -2, u
Suppose -3*h + 2*k - 12 = -3, k = 5*h + 22. Sort 4, h, 1 in descending order.
4, 1, h
Let x be (2/15)/1 - 0. Suppose 6*n + 20 = n. Let r(u) = u**2 - 6*u + 4. Let b be r(3). Sort b, n, x.
b, n, x
Let a = -6.6 - -6.3. Put a, -1/11, -0.5 in ascending order.
-0.5, a, -1/11
Let w be (-4)/(12/(-9)) - (0 - -6). Sort 5, w, -5.
-5, w, 5
Suppose 5*o = -4*v - 25, -2*o - o + 3*v - 15 = 0. Sort -3, o, 1 in descending order.
1, -3, o
Suppose 3*d - 2*d + 5 = 0. Suppose -1 = -z - 2. Let r be 1 + z + 3 + -2. Put d, 0, r in ascending order.
d, 0, r
Let s = -166 + 171. Put s, -10, -4, -0.1 in decreasing order.
s, -0.1, -4, -10
Let r be 42/(-27) - -3 - 1. Let f = -11/45 + r. Let x be 4/(-6)*(-3)/(-18). Sort x, f, 0.
x, 0, f
Let h = -385 + 381. Suppose -w - 1 = -0. Sort h, w, -5 in descending order.
w, h, -5
Suppose -2*o + 6*o = 0. Suppose 4*g = 5*x - 2*x + 25, 2*x + 2*g - 2 = o. Let q = 0.2 + -0.4. Sort x, q, 2 in decreasing order.
2, q, x
Suppose -l + 1 = -1. Suppose 4*b - 7 = -l*i + b, 4*i = -b + 9. Sort i, -3, -4 in ascending order.
-4, -3, i
Let j = -15 + 12. Let u be ((-2)/16)/(1/2). Put u, j, 1/3 in ascending order.
j, u, 1/3
Let r = 48.8 + -49. Let a be 5/(15/(-6)) + 6. Suppose -10 = -a*t - 2*w, t - w = 2*w + 13. Put 1, r, t in ascending order.
r, 1, t
Let t = 30/1469 - 16528/665457. Let z = t - 296/1359. Sort 2, z, 5.
z, 2, 5
Let m = 8 + -8.7. Let f = m - -0.4. Sort 3, 1/7, f in decreasing order.
3, 1/7, f
Let s = -100 - -95. Put 4, 2/19, 0.02, s in descending order.
4, 2/19, 0.02, s
Suppose -3*m = -6*m + 3*x + 3, -2*x - 6 = 2*m. Let c be (1/5)/((-16)/40). Put c, m, -2/7 in increasing order.
m, c, -2/7
Suppose 0 = 3*d - 2*d. Let v be (-6)/(-4) - 25/14. Sort v, d, -1/4.
v, -1/4, d
Let s(y) = 2*y - 12. Let m be s(7). Let u(c) = -c**2 + 2*c + 3. Let h be u(3). Sort m, h, -1.
-1, h, m
Let k be (-4)/(12/9) + (2 - -1). Sort -5, 1, 5, k in descending order.
5, 1, k, -5
Let p(z) = -z - 14. Let r be p(-6). Let b = 6 + r. Let h = b - 0. Sort 0, h, 5.
h, 0, 5
Let v = -17 + 16. Sort 1/5, v, -0.2 in decreasing order.
1/5, -0.2, v
Suppose -2*w + 1 = -1. Put -18, w, -3 in descending order.
w, -3, -18
Let c = -29 - -25. Let u = 73 + -73.37. Let z = u + 0.07. Put -5, c, z in decreasing order.
z, c, -5
Let d = -0.09 - 4.91. Let t = -1.8 + 1.9. Let v = -0.8 - -0.3. Sort d, t, v in ascending order.
d, v, t
Let r = -3 - -2. Sort -2, -1.3, r in increasing order.
-2, -1.3, r
Let u be 3 + -2 + (3 - 1). Suppose 0 + 3 = u*o, -h + 2 = -2*o. Sort -4, h, 3.
-4, 3, h
Suppose 0 = 13*n - 34 - 18. Sort n, -5, -1/3, 3 in ascending order.
-5, -1/3, 3, n
Suppose 3*t + 14 = -4*t. Put 0, t, -4 in ascending order.
-4, t, 0
Let j = -22 + 13. Let o = j + 13. Sort o, -2, 0.3 in descending order.
o, 0.3, -2
Let a be (-4)/((-1)/(-2 + 3)). Suppose -o - 2*s + a = -0*o, -3*o - 15 = -3*s. Let p be (-6)/(o - 0) + 2. Sort 3, p, -3 in ascending order.
-3, 3, p
Let q be 4/10*(-15)/(-6). Sort q, -2, 0, -4.
-4, -2, 0, q
Let q be ((-12)/(-20))/((-1)/(-5)). Suppose q = -2*l + 11. Let f be (-2)/12 - (-3)/18. Put l, f, 1 in ascending order.
f, 1, l
Let b = -10 + 14. Suppose n + b = -n. Put 3, 0, n in descending order.
3, 0, n
Let y = 49.1 - 54. Let a = y - -0.9. Sort a, 2/13, 0.4 in ascending order.
a, 2/13, 0.4
Let n = 0.8 + -4.8. Let k = 18.7 - 19. Sort n, -0.2, k in descending order.
-0.2, k, n
Let h be 6/(-8) + (-1 - -2). Let t = -96 - -98. Sort t, h, -0.5 in increasing order.
-0.5, h, t
Suppose -3*o - 24 = -0. Let p be o/6*2/12. Put p, 1/4, 2 in increasing order.
p, 1/4, 2
Let w = 224 - 225.71. Let t = w - 0.29. Sort 2, 3/5, t in descending order.
2, 3/5, t
Let k = 0.06 - -0.34. Let x = 3 - 2.94. Let n = -4.94 - x. Sort -1, n, k in ascending order.
n, -1, k
Let f(x) = x + 7. Let w be f(-7). Suppose 4*s - 6 - 6 = w. Suppose s = 2*r - 3. Sort -4, -3, r in decreasing order.
r, -3, -4
Let t = 3 - 2.8. Put 3, t, 0 in decreasing order.
3, t, 0
Let w(l) = -2*l - 28. Let v be w(-16). Put 1, -4, 5, v in 