 10 = 2*i, 4*c + 5*i = -8. Put -3, -4, c in ascending order.
-4, -3, c
Suppose -2 = -2*c + 6. Suppose 5*x + 12 - 2 = 0. Let k(g) = 23*g - 785. Let q be k(34). Sort x, c, q in ascending order.
q, x, c
Let k be (-3 - -1)*1*20/(-8). Put -109, k, -3 in descending order.
k, -3, -109
Let t = -401 + 1201/3. Let h be (-3 - -4)/((-1)/3). Sort -1, t, h in descending order.
t, -1, h
Suppose -23 = 2*w - 31. Suppose -4*t + 35 = w*j + t, 0 = -t + 3. Sort -2, -5, j, 4 in increasing order.
-5, -2, 4, j
Let k be (0 - 5)*(-17)/((-425)/10). Sort -4, 1, k, -55 in descending order.
1, k, -4, -55
Suppose 8*n = 10*n + 8. Sort n, 20, 2 in descending order.
20, 2, n
Suppose -2*f - f + 2*u = -13, f + 9 = -2*u. Let m(r) = r + 12. Let n be m(-10). Suppose -n*t - 3 = -t. Put t, -5, f in increasing order.
-5, t, f
Let l(r) = -r + 21. Let x be l(5). Let w = -43/3 + x. Put w, -2, 1/5, -2/15 in decreasing order.
w, 1/5, -2/15, -2
Let p = 82/87 - 66/29. Suppose 0 = 7*c - 4*c - 15. Sort -1/4, 2, p, c.
p, -1/4, 2, c
Let u = 0.021 + 0.079. Let s = -8 + 9. Let k = -1 - s. Sort u, -2/5, k in decreasing order.
u, -2/5, k
Let u = -30 + 29.84. Let i = -0.19 - u. Let v = i + 5.03. Sort v, 0.2, 7 in ascending order.
0.2, v, 7
Let k = -47 + 124. Let t = k + -75. Sort t, -2/7, 0.4 in ascending order.
-2/7, 0.4, t
Let a(t) = t**2 + 35*t + 237. Let i be a(-26). Sort 5, -4, i in decreasing order.
5, i, -4
Suppose 2*l + 9 = 2*m - l, -2*l = -2*m + 8. Let a be 3*-1 - (-6)/((-966)/(-497)). Put 4/9, a, m in descending order.
m, 4/9, a
Let z = -266.19 - -266. Let q(w) = -w**2. Let p be q(-2). Sort 0, z, p in descending order.
0, z, p
Let i = -732 - -373. Let c = -3227/9 - i. Put -1, c, 0.2 in increasing order.
-1, 0.2, c
Let z = -0.281 + 1.281. Put -3/7, z, 3/28 in increasing order.
-3/7, 3/28, z
Let a = -0.184 - 0.132. Let t = -0.016 - a. Put -5/4, 0.1, t, -1/8 in descending order.
t, 0.1, -1/8, -5/4
Let m be ((-8)/(-10))/((-4)/(-10)). Let f be -1*(-1 - (-5)/10)*2. Put -16, m, -2, f in decreasing order.
m, f, -2, -16
Suppose -59*q + 90 = -14*q. Put -5, 50, -4, q in descending order.
50, q, -4, -5
Let f(x) = x**2 + 3*x + 1. Let m = 2 + -6. Let y be f(m). Sort y, 2, 13 in increasing order.
2, y, 13
Let g(z) = z**3 - 5*z**2 - 5*z - 7. Let u be g(6). Let t(r) = 10*r + 2. Let o be t(u). Put o, 4, -2 in increasing order.
o, -2, 4
Let z = -9 + 4. Let s be 80/(-45) + 2 - 4/18. Put -3, z, s in decreasing order.
s, -3, z
Let x be 10*(-13)/((-910)/28). Suppose -2*g + 12 = -5*g. Sort x, g, -18.
-18, g, x
Let b = -2722 + 2718. Sort b, 1, -2, -47 in ascending order.
-47, b, -2, 1
Suppose -20 + 55 = -7*i. Let m(w) = -w**2 + 0*w**2 - 4 - 5*w + 1. Let p be m(i). Sort -1, p, 3 in ascending order.
p, -1, 3
Let b = -282 - -281.2. Put b, 2/5, 4 in descending order.
4, 2/5, b
Let z = -33 - -38. Suppose -4*v + 12 = -8*v. Put -5, z, v, 2 in ascending order.
-5, v, 2, z
Let x = 0.025 - 12.025. Let p = x + 14. Sort p, 2/7, -6 in descending order.
p, 2/7, -6
Suppose -4 = 2*w - 8. Suppose 11 = -l + 5*l + k, 0 = 3*l + 4*k - 5. Suppose -2*j - 9 = -l. Sort w, 3, j in ascending order.
j, w, 3
Let c be 0*(-1)/2*1. Suppose -5*l + 7 = k, c = k - 3*l - 2*l + 3. Suppose 31 = -5*z + 11. Sort k, 1, z in ascending order.
z, 1, k
Let r(n) = -3*n + 2. Let b(c) = 3*c - 3. Let z(i) = 3*b(i) + 4*r(i). Let o be z(-1). Let l = 0.11 - 0.11. Put -0.5, l, o in increasing order.
-0.5, l, o
Let x = 160 - 163.025. Let u = 0.025 + x. Put 4/3, -9, u in increasing order.
-9, u, 4/3
Let a = -6.1 - 150.9. Let f = a + 157.1. Let d be ((-4)/30)/(6/(-10)). Sort 0, d, f in increasing order.
0, f, d
Suppose 4 = -2*r, 2*r = -w + 6*w - 34. Let t(l) = -l**3 + 6*l**2 - 5. Let d be t(w). Let y = 0.14 - 0.11. Sort 2, d, y in increasing order.
d, y, 2
Let g = 3 - 1. Let u be (-18)/42 + 30/21*1. Let q be (3 + -4 + u)/(1 - -1). Sort q, -5, g in ascending order.
-5, q, g
Suppose -r + 3*d = 8, -5*d + 2 = -18. Sort -1, -13, r in ascending order.
-13, -1, r
Suppose 25 = -2*g + 5*f, -5*g - 19 = -4*f + 6*f. Sort 3, g, -1 in increasing order.
g, -1, 3
Suppose -n + 2*n = -8. Let u be -5 - 3/2*(-8)/6. Sort -1, u, n.
n, u, -1
Let t be (2 + 2)/(-3 + 5). Let d be (-2 + 4*t)/(8 - 9). Put d, -0.5, 1/2, -2/5 in descending order.
1/2, -2/5, -0.5, d
Let u be 3 + (-11)/5 + 0/4. Let m = -1865/9 - -207. Sort 2, m, u, 1.
m, u, 1, 2
Let q be (-56)/(-20) - 27/15. Sort q, 1/2, 3/2.
1/2, q, 3/2
Let n = 1051 + -7358/7. Put 5, n, -21 in descending order.
5, n, -21
Suppose 4*n - 5*r - 4 = 0, 3*n - 2*r - r = 0. Let l = 0.1024 - 5.1024. Sort l, -2/3, n, 0.4 in decreasing order.
0.4, -2/3, n, l
Let u be -6 - (-15)/(-80)*-30. Put u, 1.1, 2/7, 0.1 in decreasing order.
1.1, 2/7, 0.1, u
Suppose 0*d + 2*d + 4*h = -2, -8 = 4*h. Put d, 16, 4 in descending order.
16, 4, d
Suppose -u - 4 = -5*u. Let s = -51 + 47. Let b be (2/1 + -2)/2. Sort u, s, b in decreasing order.
u, b, s
Suppose -5*x = -4*q + 2060, -4*q + 1236 = -3*x - q. Let j = 8654/21 + x. Put -5, j, 2/9 in descending order.
2/9, j, -5
Let x(c) = -c - 4. Let g be x(-9). Let z = g + -1. Let y = 0.029 + -0.129. Sort -3/5, z, y.
-3/5, y, z
Let p = -67/1260 + -1/252. Put -3, -0.2, p, -1 in ascending order.
-3, -1, -0.2, p
Let h be ((-1)/18)/((35/15)/7). Let b = 130/3 + -44. Sort 0, b, h.
b, h, 0
Suppose -2 = 2*m + 4*y - 8*y, 4*y = 12. Sort m, -4, 4, 3.
-4, 3, 4, m
Suppose n = -5*z - 20, -3*n + 0*z - 20 = 5*z. Sort n, -0.05, 5 in decreasing order.
5, n, -0.05
Let a = 3 - 4. Suppose -5*w + 4*w - 25 = -5*v, 3*w = v - 19. Suppose -3*k + 3 = 0, v*p = p + k + 14. Sort -3, p, a.
-3, a, p
Let i(w) = -w**3 + 9*w**2 - 7*w - 1. Let q be i(8). Suppose 0 = 11*l - q*l - 16. Sort -1, -0.4, l in ascending order.
-1, -0.4, l
Suppose -8 = 4*q - 0*q. Let a = 173 + -1381/8. Put a, q, -0.8 in descending order.
a, -0.8, q
Let v(c) = -c**3 + 16*c**2 - 19*c + 59. Let q be v(15). Sort -2, 82, 0, q in decreasing order.
82, 0, q, -2
Let k be ((-3)/(-6))/((-2)/(-8)). Suppose -4*l + 18 = 5*c - 2, 4*l = -c + 4. Sort k, c, -4 in decreasing order.
c, k, -4
Let d be -4 - (4 + 1 + -9). Sort -7, d, -4 in ascending order.
-7, -4, d
Let n be 9/(-2) - 1/2. Let r = -58.3 - -65.3. Sort 2/9, n, r.
n, 2/9, r
Let f = 4 + 1. Let l = -3003 - -3002.5. Sort f, -1/5, l, -2 in increasing order.
-2, l, -1/5, f
Let f = -25.1 + 25. Let r = 1.1 - -0.9. Put f, 0.1, r in descending order.
r, 0.1, f
Let j be 4 - (-11)/((-22)/12). Suppose -4*f + 4*q + 0 = 4, 13 = -f + 5*q. Suppose -3*p = f*p - 15. Sort 0, j, p in decreasing order.
p, 0, j
Suppose u = -5*x + 1, -5*x + 3 = -4*u + 7. Let i = 1 + u. Sort -3, 1, i in ascending order.
-3, 1, i
Let n(d) = -d**2 - 10*d + 9. Let o be n(-8). Let b = 81 - 55. Let i = b - o. Sort 3, 4, i in ascending order.
i, 3, 4
Suppose -1 = -2*b - 57. Suppose -25 = -0*p + 5*p, -p + 15 = 4*r. Sort 1, b, r in decreasing order.
r, 1, b
Suppose 45 = -5*s - 4*s. Suppose 0 = 13*b + 26. Put b, 4, -7, s in increasing order.
-7, s, b, 4
Suppose -2*c + 42 = 2. Let s(h) = -h + 25. Let a be s(c). Let l = 51/110 + 2/55. Sort l, a, -3/7 in ascending order.
-3/7, l, a
Let h = -53 + 51. Suppose o - 3*z = -9, 4*o + z - 6*z + 22 = 0. Sort 2, h, o.
o, h, 2
Let a(z) = -z. Let g be a(-2). Suppose 0*w = g*w - 4. Sort -3, -5, w.
-5, -3, w
Let p(y) be the first derivative of -y**2/2 + 10*y - 8. Let k be p(5). Let a = -4.13 + 0.13. Put k, -4/3, a in decreasing order.
k, -4/3, a
Suppose 11*k - 8100 = -19*k. Sort -4, k, -2, 2 in ascending order.
-4, -2, 2, k
Let v = 207 + -829/4. Sort v, 4/11, -4/9, 2/11.
-4/9, v, 2/11, 4/11
Let d be (9/(-4))/((-9)/(-24)). Let s be ((-3)/12)/(d/(-16)). Sort -1, s, -2/13.
-1, s, -2/13
Let w be (-10)/(-3)*(-12)/(-4). Let k = 7 - w. Let f be -1 + 6/(4/2). Sort k, f, -1 in increasing order.
k, -1, f
Let j be (0 - -4)/(11/((-33)/(-18))). Sort -3, -13, j in decreasing order.
j, -3, -13
Let y = 1245.11 - 1240. Let v = y + -5. Put 3, -2/7, v in descending order.
3, v, -2/7
Suppose 2*i + 3*z = -3*i, -z = -3*i. Sort 3, 73, i in decreasing order.
73, 3, i
Let y = 6 + -6. Let z = -28.4 - 12.5. Let l = 41 + z. Sort l, -6, y in ascending order.
-6, y, l
Suppose f = 2*f + 25. Let u = 23 + f. Suppose -j - 5*r - 8 = 0, -3 = -4*j - 2*r + 1. Sort -3, j, u.
-3, u, j
Let o = -38 - -35. Sort 0, o, -59 in increasing order.
-59, o, 0
Let p(l) = -2*l - 8. Let u be p(-6). Suppose 4*q - 2*k = -15