1 + -5. Sort h, -3, a.
a, -3, h
Let u = 12 + -7. Let i = u - 4.7. Put -1/9, 2/11, i in increasing order.
-1/9, 2/11, i
Let o = 225 + -229. Let f = -5 - -7. Let y = 6 + -3. Sort f, o, y in decreasing order.
y, f, o
Let u = 0.16 + 4.84. Sort 1, 0.2, u in decreasing order.
u, 1, 0.2
Suppose f + 2*f = 5*x - 16, -x = -5*f + 10. Put 1, f, 0, -3 in ascending order.
-3, 0, 1, f
Let f be (-1)/(3/(12/1)). Sort -3, f, 0.
f, -3, 0
Let m(g) = -g**2 - 12*g - 13. Let v be m(-10). Let t = -2 + v. Sort 1, t, -5 in descending order.
t, 1, -5
Let x(t) = 2*t + 10. Let b be x(-7). Let a be (8/(-10))/((-4)/(-20)). Let l = 2 + a. Sort l, 1, b in ascending order.
b, l, 1
Suppose -2*a - 2*h = -50, -5*a + 80 + 51 = 2*h. Let i be ((-3)/4)/(a/(-6)). Put i, 1/4, -0.4 in decreasing order.
1/4, i, -0.4
Suppose -2*q = 5*a + 2, 2*q + 22 = 5*q - 5*a. Sort 1, q, 5, 0 in descending order.
5, q, 1, 0
Suppose 3*a + 15 = 8*a. Put a, 5, -2 in increasing order.
-2, a, 5
Let i = -29 - -24. Put i, -0.06, 3/2 in increasing order.
i, -0.06, 3/2
Suppose -4*s + 18 = -o, 4*o - 2*o = -s + 9. Sort 4, 0, o in descending order.
4, o, 0
Let w = -9 + 9.3. Sort w, -2, -0.2 in decreasing order.
w, -0.2, -2
Let h(c) = c**2 - 3*c + 4. Let t be h(3). Put t, 1, -1, 2 in increasing order.
-1, 1, 2, t
Let j be ((-2)/(-5))/(-6*3/(-810)). Put 5, j, -3 in increasing order.
-3, 5, j
Suppose 6*p - 8 = 2*p. Let k = 0 + -0.4. Let q = k + 0.2. Sort q, 1, p in descending order.
p, 1, q
Let m(w) = -4*w - 1. Let l(y) = -3*y - 2. Let d(n) = 5*l(n) - 4*m(n). Let b be d(11). Put b, -5, 0 in increasing order.
-5, 0, b
Let f be 6/((-9)/(-24)*4). Sort -3, 5/2, f.
-3, 5/2, f
Let y = -97 - -101. Sort y, -2, 10, 0.
-2, 0, y, 10
Let j(m) = m**3 + 2*m**2 + m + 2. Let o be j(-2). Put 4, o, -21 in increasing order.
-21, o, 4
Suppose -3*y + 21 = -5*u, -2*y + u - 2*u + 1 = 0. Let m = -0.6 - -0.1. Suppose 0 = 5*k - 4*p + 2*p + 15, -5*k = -5*p. Sort m, k, y in ascending order.
k, m, y
Let z(q) = 7*q - 3. Let b be z(1). Sort -1, -2, 10, b in descending order.
10, b, -1, -2
Let k = 0.3 + 1.3. Let j = k + 0.4. Let v = -4/21 + -13/42. Sort j, v, -2/9 in decreasing order.
j, -2/9, v
Let m(r) = -r**2 - 4*r + 4. Let h be m(-5). Put -4, -5, h in ascending order.
-5, -4, h
Suppose -2*m - 7 = -5*i + 11, 3*i - 9 = 3*m. Suppose -2*j = -i*j + 20. Suppose -3*l - 3*z + 6 = -0*l, 5*l - j = 3*z. Sort l, -4, -5 in increasing order.
-5, -4, l
Let i(m) = -21*m - 46. Let f be i(-2). Put 1, 4, f, -1 in ascending order.
f, -1, 1, 4
Let g = 101 - 97. Sort g, 2, 24.
2, g, 24
Let x be 128/(-12)*5/((-20)/6). Put 2, -4, x in decreasing order.
x, 2, -4
Let j = 71.6 + -61. Let t = -11 + j. Put t, -5, 0.2 in decreasing order.
0.2, t, -5
Let p = -7 - -7. Suppose 0*t - t - 1 = p. Let q(l) = -l**2 + l + 4. Let x be q(3). Put 4, x, t in descending order.
4, t, x
Suppose -3*q - 2*g - 31 = 2*g, -3*q - 7 = -2*g. Let u = -9 - q. Let n = 1 + u. Put 4, 5, n in descending order.
5, 4, n
Suppose 9*s - 3*s + 30 = 0. Let x = 2 - 4. Sort s, 5, x.
s, x, 5
Let f = -85/91 + 14/13. Sort f, -2, 5 in increasing order.
-2, f, 5
Let u be 6/(-4)*60/(-45). Put u, 10, -0.3 in decreasing order.
10, u, -0.3
Let r = -10 - -14. Let k = 97.9 + -102. Let u = k + r. Sort 2/5, u, -0.3 in descending order.
2/5, u, -0.3
Let z = -142 + 139. Let j = 1 + -6. Sort -2/11, z, j in descending order.
-2/11, z, j
Let a = -9.8 - -9. Let k = -0.4 - a. Sort 2, 0.2, k in descending order.
2, k, 0.2
Let b = 7 - 2. Sort 0.2, b, 4 in decreasing order.
b, 4, 0.2
Suppose 2*x + 62 = 28. Put x, -3, 3, -1 in decreasing order.
3, -1, -3, x
Let c(k) = k**2 - 7*k - 9. Let p be c(8). Suppose 5*q - 4 = q. Sort q, -14, p in ascending order.
-14, p, q
Let g(v) = v**3 + 5*v**2 - 7*v - 1. Let m be g(-6). Let b = -11 - -8. Put m, b, -2 in descending order.
m, -2, b
Let t = -1 - -1. Suppose -26 = 5*v - 5*k - 11, t = -v + 4*k - 3. Suppose -16 = -7*u + 5. Put u, 4, v in decreasing order.
4, u, v
Suppose 2*p + 26 = -4*t, 5*t + 6 = -19. Let c be (-1 - p) + (-100)/45. Put -0.2, 0, c in increasing order.
c, -0.2, 0
Let j be 4/(-6)*(-21)/14. Put j, -1, -5 in decreasing order.
j, -1, -5
Let d = 3.4 - 3.9. Put 0.1, d, 13 in increasing order.
d, 0.1, 13
Let m(b) = -b**2 + 3*b + 5. Let h be m(4). Put -3, h, -5, 0 in descending order.
h, 0, -3, -5
Let n = 46 - 41. Sort -5, n, 1 in decreasing order.
n, 1, -5
Let g be (-12)/(-42) - 82/(-7). Suppose -g = 3*d + 6. Let s = d - -1. Put 2, s, -4 in decreasing order.
2, -4, s
Let u(p) = p**2 - 8*p + 10. Let s be (-27)/(-4) + 4/16. Let w be u(s). Sort -4, w, -1 in descending order.
w, -1, -4
Let v(z) = -z**2 - 14*z - 4. Let o be v(-14). Let d(j) = 5*j**2 - 4*j + 3. Let g be d(2). Suppose 0*n + 3*n = -g. Put o, -2, n in ascending order.
n, o, -2
Let p(b) = b**3 + 21*b**2 - 24*b - 43. Let t be p(-22). Sort 2, -5, t, -4 in ascending order.
-5, -4, t, 2
Suppose 12 = 4*m + x, 4*m = -0*x - 2*x + 8. Suppose -4*o - 3*t = -25 - 67, m*o - 3*t = 68. Suppose 0 = k + 3*k - o. Sort k, -2, 0.
-2, 0, k
Suppose 0 = 26*j - 29*j + 15. Put j, -4, 1, 2 in increasing order.
-4, 1, 2, j
Suppose 1962 = 3*n - n. Let f = -5617/6 + n. Let k = f - 45. Put -1/9, 3, k in ascending order.
k, -1/9, 3
Let d be ((-10)/8)/(3/(-12)). Suppose h - 11 = -12. Sort 0, d, h.
h, 0, d
Let m = 7 + -5. Let a = -28 - -31. Put a, 0.4, m in decreasing order.
a, m, 0.4
Suppose -g - 3 = 5*k - 1, 5*g = -2*k - 10. Let v = k - -2. Suppose 2*f + v = f. Sort -3, 2, f.
-3, f, 2
Let c = -3.622 - 105.338. Let w = c - -111. Let i = w + -0.04. Put -0.1, i, -2/7 in descending order.
i, -0.1, -2/7
Let b = 39/22 - 3/11. Let q = 3 - 2.99. Let j = q + 0.29. Sort 4/7, j, b in descending order.
b, 4/7, j
Let u be -1*2/(-8)*2. Sort -0.3, -8, u.
-8, -0.3, u
Suppose -6*p = -5*p - 1. Let u be ((-20)/(-15))/(2/(-3)). Put 6, u, p in descending order.
6, p, u
Let j = 4 - 9. Let g = -0.02 + 5.02. Let q = g + -5.1. Put j, q, 2/5 in decreasing order.
2/5, q, j
Suppose -2*i = -3 - 5. Suppose 0 = 3*r - 9, b + 14 = -0*b + 5*r. Suppose s = -b - 2. Sort i, 0, s.
s, 0, i
Let p = 84 + -70. Put 4, 2, -5, p in decreasing order.
p, 4, 2, -5
Suppose 4*h = 0, -3*p - 3*h + 12 = -0*h. Put p, -4, 1 in descending order.
p, 1, -4
Let r = -0.95 + 3.95. Sort 4, r, -2/41.
-2/41, r, 4
Let y = 31 - 30. Let q be (-3)/(-1) - (2 + -1). Sort q, 5, y in descending order.
5, q, y
Let w = 9 + -3. Suppose k = 1 - 3. Sort k, 4/3, w in ascending order.
k, 4/3, w
Let t(p) = p + 6. Let v be t(-7). Let a(f) = -2*f**3 + f + 1. Let y be a(v). Let j be y/(-7) + (-27)/(-21). Sort 0, 3, j in decreasing order.
3, j, 0
Let m(a) = -a**3 + 9*a**2 - 8*a - 4. Let x be m(8). Let v(i) be the first derivative of -i**2/2 + 4*i - 2. Let b be v(3). Sort 2, b, x in increasing order.
x, b, 2
Let q = 16 + -11. Suppose -5*i = 3*h, q*i = h + 5 - 25. Suppose h*m = 2*u, 0*u - 5*m - 15 = u. Sort -4, 1/3, u in decreasing order.
1/3, -4, u
Let m = -25 + 24. Sort m, -9, -2 in descending order.
m, -2, -9
Let g(j) = -3*j. Let m be g(1). Let q(f) be the second derivative of -f**3/6 - f**2 + f. Let i be q(m). Sort 5, -0.3, i in ascending order.
-0.3, i, 5
Let s(f) = f - 6. Let j be s(4). Suppose -4*d - 1 = -3*d. Sort d, 0, j.
j, d, 0
Let b(i) = -2*i + 2. Let y(o) = o. Let w(k) = 5*b(k) + 5*y(k). Let q be w(3). Put 0, q, -1 in increasing order.
q, -1, 0
Let n be 10/3*(-39)/26. Put -2/3, 4, n in descending order.
4, -2/3, n
Let z be (-2)/(-8) - 99/252. Let p = -0.8 - 0.2. Sort p, z, 0.3 in descending order.
0.3, z, p
Let d = -4 + 2. Let v be -1*(d - (-2 + 1)). Let l(o) = o**2 - 16*o - 21. Let z be l(17). Put z, v, 2 in descending order.
2, v, z
Suppose 3*n = -9*n + 48. Let y(c) = c - 2. Let s(g) = -2*g + 4. Let u(k) = 4*s(k) + 9*y(k). Let t be u(n). Sort -1, t, 0 in descending order.
t, 0, -1
Suppose -7*j = 16 - 23. Sort -31, 3, j.
-31, j, 3
Let t = 0.84 - 0.34. Put -3, -0.1, t in increasing order.
-3, -0.1, t
Suppose -2*c + 2 = b - 7, 2*b = -2*c + 14. Put b, 4, 2 in ascending order.
2, 4, b
Let j be (10/5)/(2/(-5)). Sort j, -0.1, -1/11.
j, -0.1, -1/11
Let i(m) = 2*m**2 + 2*m + 1. Let d be i(-1). Let z(r) = 3*r**3 + r**2 - 2*r + 1. Let o be z(d). Put -4, 0, o in decreasing order.
o, 0, -4
Let o = -61 - -64. Sort -12, o, 2, -4.
-12, -4, 2, o
Let m(x) = x + 0*x - 3*x. Let v be m(-2). Suppose -6*g + 0*g = -12. Sort -4, g, v in increasing ord