 -185. Sort -0.3, h, -5, 1.
-5, h, -0.3, 1
Let h = -119 - -115. Put -2, h, -3, 6 in decreasing order.
6, -2, -3, h
Let d(t) = t**3 - 3*t - 2. Let j be d(-2). Let u = 2 - 1.5. Let n = 4.5 - u. Sort 5, n, j in increasing order.
j, n, 5
Suppose -13 = 3*z + 5*a, -3*a = 3*z - 0*a + 3. Suppose -z*t = -2*c + 20, -c = 2*t + c + 10. Sort -4, 5, t in increasing order.
t, -4, 5
Let u = -3.08 + 0.08. Let n = 0.9 - -0.1. Let b = u - n. Put 0, 0.1, b in decreasing order.
0.1, 0, b
Let d(c) = c**2 - 7*c - 6. Let u be d(8). Suppose 5*r + 5*i = 6*r + 23, 2 = -2*r - i. Sort r, u, 0.4.
r, 0.4, u
Let y = -8.12 - -0.12. Let n = y + 7.45. Let a = n - -0.05. Sort a, 2, 0 in decreasing order.
2, 0, a
Suppose 5*t = 3*o + 13, 4*o + 0*o = 3*t - 10. Let m(q) = q**3 - q**2 + q + 1. Let z be m(o). Put z, 5, 3 in ascending order.
z, 3, 5
Let i = 28 + -31. Sort 11, i, -5 in increasing order.
-5, i, 11
Let z(w) be the first derivative of -w**3/3 + 3*w**2 - 2*w + 1. Let l be z(5). Sort -4, l, -5 in descending order.
l, -4, -5
Let v = 3 + -9. Put 2, 0, v in decreasing order.
2, 0, v
Let n be 1/1 + 1/(-2). Let t = -7.531 - 0.069. Let b = t - -8. Sort b, 1/10, n.
1/10, b, n
Let t be 0 + 4 + (-25)/6. Put 0, 0.01, t in descending order.
0.01, 0, t
Let c(g) = -g**3 + 20*g**2 + 21*g - 2. Let y be c(21). Sort -1/9, 5, y in decreasing order.
5, -1/9, y
Let w = 113/28 + -23/7. Sort 1, w, 3 in increasing order.
w, 1, 3
Let r = 11 - 8. Suppose -t + 0*t = r. Let z be (-11)/9 - (0 + -1). Put 0.5, t, z in decreasing order.
0.5, z, t
Let i be ((-1)/(-3))/(4/24). Let v be (i/(-3))/(6/27). Sort 1, -2, v.
v, -2, 1
Suppose c = x + 4*x + 17, -4*x = -2*c + 16. Put c, -4, 4 in increasing order.
-4, c, 4
Let t = 1.55 + 0.15. Let q = t + -1.6. Let u = -0.2 + -0.3. Sort u, -1, q in increasing order.
-1, u, q
Suppose 0*h + h + 19 = -4*z, -3*z + 4*h - 19 = 0. Sort z, 1, -3/2, -2.
z, -2, -3/2, 1
Let p be 15*4*3/36. Sort 0.5, -4/5, p in decreasing order.
p, 0.5, -4/5
Suppose -a - 8 + 28 = 0. Let m be a/6*(-30)/(-25). Let i = 9 - 8. Put 3, m, i in descending order.
m, 3, i
Let o = -2 + 2.5. Let s(z) = -4*z - 11. Let g be s(7). Let j = g + 119/3. Sort o, -2/5, j in decreasing order.
j, o, -2/5
Let a = -73.7 - -70. Let i = a - -0.7. Put 3/5, i, 6 in decreasing order.
6, 3/5, i
Let i be (-3)/1 - 37/13*-1. Sort -0.1, i, 0.08.
i, -0.1, 0.08
Suppose 14*u = 13*u. Sort u, 4, 5.
u, 4, 5
Suppose 2*n = -3*n - 10. Let z be 0 - n - 48/18. Sort z, 2/7, 0 in increasing order.
z, 0, 2/7
Let z(p) = -58*p + 3 + 13 + 59*p. Let w be z(-13). Let u be 22/(-4) - 1/(-2). Sort u, -4, w in increasing order.
u, -4, w
Let t = 64 + -60. Sort 5, t, 1 in decreasing order.
5, t, 1
Let x be (-2 + 2 - 3)/1. Put x, -5, 2 in descending order.
2, x, -5
Let x be ((-15)/5)/(3/(-46)). Put x, 5, -0.4 in increasing order.
-0.4, 5, x
Suppose 2*q - 9 = -1. Suppose -2*r + 0*r - q*o = -20, 26 = 3*r + 5*o. Suppose -3 + 1 = r*z. Sort 5, -5, z in decreasing order.
5, z, -5
Let l = 9.9 + -16. Let s = -19 - -13. Let z = l - s. Put -4, z, 3 in descending order.
3, z, -4
Let f(h) = h**3 + h**2 - 2*h - 2. Let b be f(-2). Let i(p) = p**3 + 4*p**2 - 2*p - 3. Let u = 6 + -10. Let z be i(u). Sort z, -5, b.
-5, b, z
Let r = 10 - 3. Let x = 11 - r. Put 1/3, x, 7 in descending order.
7, x, 1/3
Let z = 0.1 - 0.6. Let d = 0 - z. Let v = -61 + 303/5. Put v, 2, d in decreasing order.
2, d, v
Suppose -2*b - 2*b - 16 = 3*o, 2*b = o - 18. Let n = 12 + b. Suppose 4*c + 0*c = 0. Put c, n, 1 in increasing order.
c, 1, n
Suppose n + n - 4 = 0. Let c(i) = -i**2 + 6*i + 3. Let x be c(6). Sort 4, x, n in increasing order.
n, x, 4
Suppose 4*w + 5*p = 12, 2*w + 12 = 3*p - p. Sort 2, -12, w in descending order.
2, w, -12
Suppose f - 5*x + 5 = -6, 0 = 2*f + x - 11. Let d be -5 + 1/(3/(-3)). Let l be (-6)/(d*2/(-8)). Put 1, f, l in ascending order.
l, 1, f
Suppose -2*t - 13 = -a - 3, 4*a + 20 = -4*t. Suppose a = 4*n + 4. Sort n, 3, -4.
-4, n, 3
Let p = -63 - -67. Sort p, 0.3, 5 in decreasing order.
5, p, 0.3
Let q = -233 - -231. Let y be (-11)/3 + (-2)/(-3). Sort y, 4, q in ascending order.
y, q, 4
Suppose -2*j + 0*j = -12. Let i be 1/j*-13 - -2. Let s be 1 + 26/(-8) - -2. Put -3/4, s, i in decreasing order.
i, s, -3/4
Let j = -184291/4756 + -1/1189. Let f = -39 - j. Put f, 0.1, -0.5 in descending order.
0.1, f, -0.5
Let q be -3*((-3)/(-6) + 0)*1. Put -2/3, q, -1/11 in ascending order.
q, -2/3, -1/11
Let m = 17 + -12. Suppose -3*v + 3*y - 4 = -1, 0 = 2*y - 2. Sort m, v, 3 in ascending order.
v, 3, m
Let u(p) = 17*p + 1. Let j be u(-3). Sort -3/2, -0.3, j in descending order.
-0.3, -3/2, j
Let h = -19 - -14. Sort h, 2, 0.
h, 0, 2
Let v be (-15)/(-5) + -4 - -2. Sort 3, -5, v in increasing order.
-5, v, 3
Let x = 1.2 + -0.6. Let i = 39 + -35. Put 2/7, i, x in ascending order.
2/7, x, i
Let f = 8 + -6. Let r be (-2)/(-1)*1*-2. Sort 5, f, r in decreasing order.
5, f, r
Suppose 1 = -3*u + 10. Suppose i - 20 = u*y, 5*i + y - 11 = 9. Put 1, -2, i in descending order.
i, 1, -2
Let l = -18 + 35/2. Sort -1, -2/7, l in descending order.
-2/7, l, -1
Let y = 3.95 + 0.05. Suppose a - u - 2 = 0, -6*u = -u - 15. Put a, -4, y in increasing order.
-4, y, a
Let s = 85 + -73.1. Let z = -12 + s. Sort -4, z, -1 in descending order.
z, -1, -4
Let a = 6 - 5.6. Sort 0.1, 1/5, a in decreasing order.
a, 1/5, 0.1
Suppose 4*q = 4*r - 8, -4*q + 3*r - 5*r - 20 = 0. Sort -3, q, 1, -2 in decreasing order.
1, -2, -3, q
Suppose -b = 4*b - 35. Let c = 11 - b. Suppose -z = c*z. Sort z, -2, 1 in increasing order.
-2, z, 1
Let x = 12 - 8. Suppose -5*c - 1 = x*m, 3*m + 2*c + 1 = -5. Suppose 4*o = -0 - 4. Sort m, o, -5 in decreasing order.
o, m, -5
Let o be 6/(-8) - (-3)/(-12). Put 0, 5, o in decreasing order.
5, 0, o
Let z = -0.7 + 4.7. Sort z, -4/7, 23.
-4/7, z, 23
Suppose 5*i = 3*w + 17, w - i + 1 + 4 = 0. Sort -2, 0, w, 4 in decreasing order.
4, 0, -2, w
Let g(n) = -n**3 - 4*n**2 - 4*n - 1. Let i be g(-3). Sort -3, i, -4.
-4, -3, i
Let j = -0.31 - -0.01. Let b = -22 + 16. Let u be b*((-15)/(-27))/(-5). Sort u, -5, j in decreasing order.
u, j, -5
Let q be (-2)/(-11) + 4/(-22). Suppose -4*h - 4 = -2*h. Put q, 5, h in decreasing order.
5, q, h
Suppose 0 = f - 4*f - 2*i - 33, i = 0. Let g = -7 - f. Suppose -k + 0*k = 0. Put k, -3, g in descending order.
g, k, -3
Let m = -155/9 - -17. Let d = m + 5/9. Put d, -0.4, -2 in descending order.
d, -0.4, -2
Suppose -z - 7*z + 40 = 0. Put 2, z, -11 in decreasing order.
z, 2, -11
Let v = -24 - -70/3. Sort 1, v, -3 in decreasing order.
1, v, -3
Suppose -2*b = -0*b. Put 5, b, -4 in increasing order.
-4, b, 5
Let y = -671/5848 + -1/344. Sort y, -0.3, 2/3 in decreasing order.
2/3, y, -0.3
Let a be -2 - -4 - (-45)/(-25). Sort -2, a, -5 in ascending order.
-5, -2, a
Suppose -4*u - 2*k + 4 = -2*u, 6 = -5*u + 3*k. Suppose -2*h + 7 = -h + w, 0 = 2*w - 4. Let n = h - 3. Put n, u, -2 in decreasing order.
n, u, -2
Let r = 0 - -0.02. Let l = 0.38 + r. Let o be ((-2)/(-20))/((-4)/10). Put l, -2, o in descending order.
l, o, -2
Let c be 0/((-5 - -2)/3). Let m be (-3 + 0)/(-1 + 2). Let b be m/(-4) - 1/(-4). Sort c, b, 3.
c, b, 3
Let i = 1678/15 + -112. Let f be (150/25*1/(-3))/(-1). Sort i, f, -1/5 in decreasing order.
f, i, -1/5
Suppose -5*x + 7*x = 0. Suppose 3*g - 2*g + 2 = x. Let r be (-3)/(-4)*(g + -2). Put 0, r, -5 in ascending order.
-5, r, 0
Let v(w) = w**2 + w + 1. Let q be v(-3). Suppose -2*y = -q*y + 20. Put y, 1, -1 in decreasing order.
y, 1, -1
Let m = 20.1 - -2.9. Sort 2/9, -5, m in decreasing order.
m, 2/9, -5
Let m = -0.33 - -0.03. Let u = 5715/8 - 43773/56. Let n = -67 - u. Sort 4, m, n.
m, n, 4
Let y = -32 - -22. Put 3/7, -1, y in decreasing order.
3/7, -1, y
Let t(a) = 3 - 2*a**2 + 2 + 4*a - 3 - 2*a. Let y be t(2). Let m = 9 + -5. Put y, -0.3, m in ascending order.
y, -0.3, m
Let q = 174/7 + -25. Sort -0.2, q, -1.9 in descending order.
q, -0.2, -1.9
Let r(v) = -v**2 + 4*v - 3. Let o be r(4). Suppose 0 = -m - 0*m + 5. Put m, o, -4 in ascending order.
-4, o, m
Let j = -30 - -632/21. Let z = -9/14 - -1/7. Sort z, 2, j in ascending order.
z, j, 2
Let u be 3/9 + 161/(-6). Let p = 27 + u. Sort 0.2, 3, p in descending order.
3, p, 0.2
Let u be (-21)/9 - (-4)/(-6). Let x be 4/14 - (-2)/(-7). Sort -5, u, x in descending order.
x, u, -5
Suppose 3*k - 4*f = -2*f - 6, -4*f + 12 = 3*k. Put -1