Sort g, -1, r.
g, -1, r
Let j = -7.2 - -8. Let r = j + -1. Suppose -2*f - 5*n = -16, -2*n = -4*f - 13 - 3. Sort f, r, -1 in decreasing order.
r, -1, f
Let z be ((-4)/(-7))/(2/(-7)). Sort z, -1, -3, -0.3 in descending order.
-0.3, -1, z, -3
Suppose 0 = 2*s + s - 30. Let a = 10 - s. Sort -1, a, -2 in descending order.
a, -1, -2
Let b be 35/21 + 3/9. Let j = 2 + -2. Suppose -2*c - z - 2*z - 17 = 0, j = -2*c + z - 5. Sort 5, b, c in ascending order.
c, b, 5
Let j = -12 + 12.02. Let s = 0.12 - j. Put 3, s, 4 in ascending order.
s, 3, 4
Suppose -x = -5*x. Let u be 1*((0 - x) + 1). Put -0.4, u, -3/4 in decreasing order.
u, -0.4, -3/4
Let v be 1/(-3) + 2/6. Suppose v*z - 3*z - 3 = 0. Suppose -5 = 2*p + 1. Sort z, 2, p in increasing order.
p, z, 2
Suppose -w + 5*w + 2*l - 38 = 0, w + 5*l = 5. Let d = 15 - w. Sort -2, -4, d.
-4, -2, d
Let q = 4.92 - -0.08. Let l(r) = -r**2 + r + 2. Let b be l(0). Let u be (-6)/b + 55/25. Sort -2, u, q.
-2, u, q
Suppose 0*o + 3*o + 6 = -3*v, 0 = 5*v + o + 10. Let j be 2/v*(1 - 0). Let s = -7 + 5. Sort j, -0.4, s in increasing order.
s, j, -0.4
Let q(y) = 3*y + 7. Let f be q(-3). Sort 3, 1, f in descending order.
3, 1, f
Let s = 45 - 40. Put 3, 4, 2, s in increasing order.
2, 3, 4, s
Let m be 3/((-9)/5)*3. Let n = 22 - 26. Sort m, n, 4 in increasing order.
m, n, 4
Let w(d) = d**2 + d + 6. Let b be w(0). Suppose p + 2 = b. Put p, 2, 0 in increasing order.
0, 2, p
Let x be 1*((1 - 3) + 1). Sort x, -4, 1.
-4, x, 1
Let q be 6/14 + (-219)/21. Let i = 6 + q. Put 4, 0, i in descending order.
4, 0, i
Let b = 9 + -9.8. Let g = 1.2 - b. Put -4, g, -3/4 in descending order.
g, -3/4, -4
Let a be (-2)/6 + (-8)/(-6). Suppose 0*t - a = t. Let q(g) = -g + 6. Let f be q(8). Sort f, 3, t in descending order.
3, t, f
Suppose 0 = y + 3*u - 2 - 12, -4*y + u = -30. Let c be 106/9 + y/36. Let v be ((-2)/(-36))/((-6)/c). Sort 0, v, -0.2 in ascending order.
-0.2, v, 0
Let j = -7 + 7. Let k = -0.03 + 0. Let u = k + 0.43. Sort 2/7, j, u in increasing order.
j, 2/7, u
Let n(v) be the first derivative of v**4/4 - 4*v**3/3 - 5*v**2/2 - v + 3. Let o be n(5). Let f be -1 - -3 - 2/o. Sort -5, 3, f in ascending order.
-5, 3, f
Let y(z) = z**2 - 11*z - 9. Let r be y(12). Suppose -2*b + 22 = -4*p + b, -r*b = 2*p + 2. Put 5, -2, p in increasing order.
p, -2, 5
Let m = -3 - -12. Sort -5, 4, m in decreasing order.
m, 4, -5
Let p(o) = -o**3 - 6*o**2 - o + 11. Let b be p(-5). Sort -5, b, 1 in descending order.
1, -5, b
Let d(z) = -2*z - 1. Let o(n) = n. Let h(a) = d(a) + o(a). Let b(p) = -p**2 + 3*p + 1. Let w be b(4). Let y be h(w). Sort 5, -2, y.
-2, y, 5
Suppose 1 - 6 = -v. Suppose 3*u - v*u = -10. Put u, -1, 3 in descending order.
u, 3, -1
Suppose -4*v - v - 20 = 0. Sort 3, v, -3 in increasing order.
v, -3, 3
Suppose -3 + 8 = s. Sort s, 4, 3 in decreasing order.
s, 4, 3
Suppose 1 = -0*s - s. Let t = s - -2. Put t, -3, 5 in increasing order.
-3, t, 5
Let m be (-4)/((-16)/30)*2. Suppose -3*c + 0*c - m = 0, 0 = 4*l - 2*c + 2. Let z be (-2)/(2 + -2 + 2). Sort l, 0, z in ascending order.
l, z, 0
Suppose -a + 15 = 4*a. Suppose 2*u - 4 = 2*p - 2*u, -5 = 5*u. Sort 4, p, a in descending order.
4, a, p
Let y(l) = -l**2 + 4*l - 5. Let a(t) = -t**2 + 4*t - 4. Let p(r) = -3*a(r) + 2*y(r). Let w be p(4). Suppose -d + 6 = -0*k - 2*k, -4*d = 4*k + 24. Sort 4, k, w.
k, w, 4
Let a = 2.05 + -0.05. Let b = 0.233 + -0.133. Put a, 2/9, b in ascending order.
b, 2/9, a
Let y be 10/(-4) - (-5)/(13 + -3). Put -13, y, -4 in decreasing order.
y, -4, -13
Suppose 14*r - 11*r = -15. Put -2, r, -1, -3 in increasing order.
r, -3, -2, -1
Let d = -7.19 + 2.19. Sort -0.4, -0.01, d, -0.1 in decreasing order.
-0.01, -0.1, -0.4, d
Let t(a) = -a**3 - 8*a**2 - 6*a + 5. Let f be t(-7). Sort f, 1, -1.
f, -1, 1
Suppose 2*s + 2*s + 4*c + 12 = 0, 5*s = -2*c - 9. Suppose -x = -0 + 2. Put -3, x, s in decreasing order.
s, x, -3
Let c = -4 - -6. Let p = -2 + c. Let j = -3 + 2. Put j, p, -5 in ascending order.
-5, j, p
Let b = 5.4 - 5. Sort b, -0.2, 3, 2 in descending order.
3, 2, b, -0.2
Let c = 5 - 5.2. Let l = 15 + -78/5. Put l, c, 0.4 in decreasing order.
0.4, c, l
Let q be (-8)/52 + 21/52. Sort -0.5, q, 1, 5.
-0.5, q, 1, 5
Let x be (-2)/(-3) + (-4)/3. Let q = -17/2 + 33/4. Sort q, x, -6.
-6, x, q
Let a be (4/12 - 0)*0. Sort 4, a, 3.
a, 3, 4
Suppose 12 = 4*s + 4*g, 2*s - 3*g = -s + 9. Suppose s*c = -c - 8. Let x be (-36)/135 - (-2)/(-6). Sort c, -0.5, x in descending order.
-0.5, x, c
Let g = 12.4 - 2.4. Sort g, 0.2, 0 in decreasing order.
g, 0.2, 0
Let h be (-10)/(-4) - 2 - 44/56. Let n be 6*(1/(-14) - 0). Let f = 3.6 - 4. Sort f, h, n in decreasing order.
h, f, n
Let j = -2.976 + -0.024. Let n = -0.1 + -0.3. Sort n, 0.1, j in ascending order.
j, n, 0.1
Let f(r) = -r**3 - r**2 - r - 1. Let i(q) = 3*q**2 - q + 1. Let o(l) = f(l) - i(l). Let t be o(-4). Sort 2, t, -3 in decreasing order.
2, t, -3
Let y = 25 + -13. Let s = y - 8. Let w = -122 - -1588/13. Sort s, w, -0.5 in descending order.
s, w, -0.5
Let f be ((-6)/135)/1*3. Sort -1, 4/7, f in decreasing order.
4/7, f, -1
Let o(d) = d**2 - d + 11. Let v be o(0). Suppose 5*a + v - 1 = 0. Put -5, 1, a in descending order.
1, a, -5
Let l be -3 - (4 - (3 + -1)). Let q be (-1)/l - 14/(-5). Suppose q*h - 2 = 2*h. Sort -4, 1, h in increasing order.
-4, 1, h
Suppose -8 = 4*m - 24. Let c(d) = d**2 + 16*d + 18. Let w be c(-15). Put w, m, 2 in descending order.
m, w, 2
Let f be 30/8*(-1)/5. Let l = -57/2 - -28. Put 2, l, f in increasing order.
f, l, 2
Let t be (-6 - -4)/(4/(-6)). Suppose 10 = -4*v - 2*m, -t*v + m + 9 = 24. Sort -5, 5, v in decreasing order.
5, v, -5
Let o be (-6)/(0 + -1) + -1. Let k(u) = -2*u + 13. Let m be k(9). Sort m, -3, o.
m, -3, o
Let y be (-4)/(-18) + 116/(-36). Sort -1, y, -2 in decreasing order.
-1, -2, y
Let p(s) = s - 8. Let m be p(-8). Let o be 1*4/(m/4). Let r = -0.02 - 2.98. Sort 3/2, o, r in decreasing order.
3/2, o, r
Let c(b) = b**2 - 4*b + 4. Let t be c(3). Let v be 115/(-35) - (-4)/14. Put t, -1, v in decreasing order.
t, -1, v
Let u = 3 - -2. Sort 1, u, -5, 3 in descending order.
u, 3, 1, -5
Suppose -2*q = q - n - 4, 3*n = 6. Sort -3, q, -2, 1.
-3, -2, 1, q
Let o = 69/4 + -471/28. Put 0.4, o, 0.1 in decreasing order.
o, 0.4, 0.1
Let f be 46/(-8) + 2 + 3/4. Sort 2, f, 0 in increasing order.
f, 0, 2
Suppose 3*m = -4*u + 17, -3*u + 13 = m + 4. Let q be 1/(1/m + 0). Suppose 2*v = -3*o - 5, 3*v - 5 + 11 = -3*o. Sort -5, o, q in descending order.
q, o, -5
Let l(p) = p**2 + 4*p - 3. Let m be l(-5). Suppose -3*d = h - 2*d + 3, m*h - d = -6. Suppose -5*s + 5 = -15. Sort s, h, 5 in descending order.
5, s, h
Let s = -45 - -41. Sort s, 3, -6, 1.
-6, s, 1, 3
Suppose -7 = -5*q + 13. Sort -3, q, -5.
-5, -3, q
Let t = 5 + -2. Suppose -7*z + 12 = -t*z. Let r = -6 - -11. Sort z, -0.4, r in increasing order.
-0.4, z, r
Let f be 0*4/(-16)*-2. Put -1, 2, 1, f in decreasing order.
2, 1, f, -1
Let c(f) = -3*f - 7. Let b(t) = t + 1. Let y(s) = 2*b(s) + c(s). Let q be 0/3 + 1*-7. Let i be y(q). Sort i, 0, -1.
-1, 0, i
Let d = 7 + -7. Sort 2, d, 3, -4 in ascending order.
-4, d, 2, 3
Let v = -6.4 - -6. Let r = -1.934 + -0.066. Sort r, v, -3 in decreasing order.
v, r, -3
Let o = 1 + -10. Let m = o - -12. Sort m, -2, -0.4 in descending order.
m, -0.4, -2
Let u = 2.05 + -0.05. Let b = u + -1. Let q be (0 + (0 - -2))*2. Sort -3, q, b.
-3, b, q
Let s = 0 + -2. Let u be s*1/6*3. Sort u, -4, -0.2 in descending order.
-0.2, u, -4
Let p(w) = 5 - 2*w**2 - 13 + 3*w**2 + 7*w. Suppose -2*s = -0*s + 16. Let c be p(s). Put -0.5, c, 5 in ascending order.
-0.5, c, 5
Let p = 0.03 + 1.97. Let y = 1.896 - -0.004. Let r = y - p. Sort 1, r, 3 in descending order.
3, 1, r
Let a(q) = q**3 + 4*q**2 - 5*q + 3. Let z be a(-5). Let w = z + -4. Sort 9, 1, w.
w, 1, 9
Suppose -4*l + 2*t - 4 = 0, -5 + 8 = -5*l + 2*t. Let w(v) = v**3 - v**2 + v - 4. Let z be w(0). Suppose -3*k + 5*k + 10 = 0. Sort l, k, z in decreasing order.
l, z, k
Let l = 67/20 + -18/5. Put l, -0.4, -3, 0.2 in ascending order.
-3, -0.4, l, 0.2
Suppose 2*a - m + 11 = 0, -29 = 3*a - 3*m - m. Put a, 5, -3/8 in increasing order.
a, -3/8, 5
Let j = -114/385 + 4/35. Suppose n = -n + 4*c + 4, 5*n = 2*c - 6. Sort 2/3, j, n in descending order.
2/3, j, n
Let b = 37 - 37.4. Let z = b + 2.4. Let l = 1 + 0. Put z, 4, l in as