1. Let v be x(8). Let q = 5.07 + -0.07. Sort q, -4, v in decreasing order.
q, v, -4
Let a = 1 + -1.1. Let o(u) = -u**3 - 5*u**2 - 2*u + 1. Let w be o(-3). Let p = w + 15. Put p, a, 5 in increasing order.
a, p, 5
Let h = -0.64 + 0.14. Let l = -0.04 + 0.11. Put l, h, -0.2 in decreasing order.
l, -0.2, h
Suppose -8 = -2*d, -4*d + d = v - 17. Let x(o) = 3*o - 13. Let y be x(5). Suppose 15 = -3*t - y*t. Sort t, 0, v in increasing order.
t, 0, v
Let v = -3.04 + 0.04. Let q = 30 - 32. Put v, 4, q in descending order.
4, q, v
Let a = 36 - 32. Put -1, a, -3 in descending order.
a, -1, -3
Let v(o) = o**2 - 2*o - 6. Suppose 0*x + 8 = 2*x. Let y be v(x). Sort y, 4, 3 in ascending order.
y, 3, 4
Suppose 8*o - 10*o = 2. Sort o, -5, 4, 3.
-5, o, 3, 4
Let r(c) = -c - 10. Let m be r(-11). Let y = -2 - m. Put 5, y, 2 in increasing order.
y, 2, 5
Let j = -26 - -30. Let b = -0.03 + 0.03. Sort b, j, -1 in descending order.
j, b, -1
Let z = -9/10 - -7/10. Suppose 0 = -2*j + 6*j - 4*t + 12, 3*t - 13 = -j. Put 2, j, z in ascending order.
z, j, 2
Suppose -5*z - 5 = -0*z + 5*x, 3*z + 3 = -4*x. Suppose 7*o = 2*o + 10. Put -3, o, z in increasing order.
-3, z, o
Let u be (-26)/5 + 2/10. Suppose -1 = 3*b + 4*t, 0*b = -4*b - 3*t + 1. Put b, u, 5 in increasing order.
u, b, 5
Let v be (-12)/9*-3 - 2. Sort v, -4, -5.
-5, -4, v
Let u(x) = 4*x + 14. Let i be u(-4). Suppose -5*t + 8*t = -9. Put i, 3, t in increasing order.
t, i, 3
Suppose 4*i = -i - 4*y - 15, i - 5*y - 26 = 0. Let h be ((-8)/(-5))/(1/5). Suppose 5*m + u + 14 = -0, -h = 2*m + u. Put m, 4, i in decreasing order.
4, i, m
Let b(x) = x + 1. Let s be b(2). Suppose -5 = -2*p - 3. Put p, -2, s in increasing order.
-2, p, s
Let n = -18 - -18.6. Sort 4, n, 1 in descending order.
4, 1, n
Suppose k + 2 = -3, 47 = -4*d - 3*k. Let l = 8 + d. Sort 3, l, -5 in descending order.
3, l, -5
Let k = 0.4744 + 0.0256. Let t = 0 - 0. Put -3/5, t, k in descending order.
k, t, -3/5
Let k = 40.4 + -40. Suppose -4*d - 6 = -2. Sort d, 0.1, k in descending order.
k, 0.1, d
Suppose 0 = -5*n, -4*g + 5*n + 2 + 6 = 0. Suppose -2*w + 2*b = -8, -3*w + 5*b = -0*b - 18. Sort g, -1, w in increasing order.
-1, w, g
Let o = 5 - 2. Let v(t) = 8*t**2 - 1. Let u be v(1). Suppose j = -u*l + 3*l - 16, 0 = -2*j - 5*l - 17. Sort -1, j, o.
-1, o, j
Let i be ((-6)/(-5))/((-3)/(-10)). Suppose 3*k + 3*p = -5 - 4, -11 = 3*k + 5*p. Sort -4, i, k in decreasing order.
i, k, -4
Let c(w) = -3*w**2 + 5*w. Let p be c(3). Let l = 8 + p. Let u = -8 - -3. Sort u, -2, l in decreasing order.
-2, l, u
Let i = 66 + -89.4. Let s = i + 23. Put -1, 5, s in increasing order.
-1, s, 5
Let f be (-21)/(-28)*4*1. Sort -3, f, 2 in ascending order.
-3, 2, f
Let m = -52 - -56. Let x = -1 + 2. Sort x, m, -4 in descending order.
m, x, -4
Let k = -169/36 - -40/9. Let b = -175.03 + 173. Let o = b + 0.03. Put o, 5, k in increasing order.
o, k, 5
Let i(g) = -g + 6. Let t be i(5). Suppose -3*u - 2 = 2*p, 0 = -5*p - 0*p - 5*u + 5. Put 2, t, p in descending order.
p, 2, t
Suppose 2*d + 5 = 5*t, 2*d + 2*t = -2*t - 14. Sort d, -4, 2 in descending order.
2, -4, d
Let r be (0 + 6)/3*1. Let c = -2 + r. Suppose c*p - 2*b - 2 = p, -3*p - 13 = -b. Sort 0, 5, p in increasing order.
p, 0, 5
Let q = -0.342 + 3.332. Let l = q + 0.01. Suppose -2*j - j - 12 = 0. Sort 2, j, l.
j, 2, l
Suppose -5*k = 14 + 1. Let d be (((-8)/5)/(-4))/((-1)/(-10)). Sort -1, k, d in decreasing order.
d, -1, k
Let a(z) = z**3 + 3*z**2 - 6*z - 6. Let d be a(-4). Suppose -4 = -d*k + 3*k. Let h = -10 - -9. Put -3, h, k in decreasing order.
h, -3, k
Let m(b) = b**2 + 9*b + 11. Let o be m(-8). Sort 0, o, 2 in decreasing order.
o, 2, 0
Suppose 5*h - 91 = 2*l, 3*h + 2*h = 3*l + 94. Let p = 13 - h. Put p, -5, 5 in decreasing order.
5, p, -5
Suppose 282 = d - c, 4*c = -3*d + 564 + 268. Suppose a + 3*a = d. Let l be (-38)/a + 5/35. Put 0, -1, l in descending order.
0, l, -1
Suppose -2*b + 1 = -3*b, -5*w + 10 = 5*b. Sort -1, w, -4 in descending order.
w, -1, -4
Let z = -5 - -9. Let l(h) = h**2 - 2*h - 3. Let x be l(z). Sort 3, 4, x in decreasing order.
x, 4, 3
Let u(i) be the second derivative of i**4/4 - i**3/6 + i**2/2 + 3*i. Let p be u(1). Let q be ((-2)/24)/(2/p). Put q, 2/23, -0.5 in increasing order.
-0.5, q, 2/23
Suppose -11*i + 4 = -15*i. Suppose -2*a = -c + 7, a = -a - 2*c - 16. Put i, -3, a in increasing order.
a, -3, i
Let c = -5/48 + -7/240. Let y = 0.4 - 4.4. Let v = 0.471 - 0.271. Sort v, c, y in ascending order.
y, c, v
Let x = -166 - -162. Put -5, x, 0, 29 in ascending order.
-5, x, 0, 29
Let g(p) = -2*p**2 + 3*p + 4. Let z be g(3). Let i(u) = u + 10. Let y be i(z). Suppose y*t - 12 = t. Put -1, 5, t in decreasing order.
5, t, -1
Let y be 9/(-6)*(2/(-2))/12. Sort 2/3, y, -16.
-16, y, 2/3
Suppose -b + 5 = 4. Let n(j) = j**3 - 10*j**2 - 13*j + 24. Let t be n(11). Sort b, t, -3 in increasing order.
-3, b, t
Suppose 3*h - 6*h + 36 = 0. Let t be 3*((-4)/h - 0). Put 1, t, 0 in ascending order.
t, 0, 1
Let n = 5 + -5.5. Let z = n + 1. Let j = 5/3 + -37/24. Sort j, -2/3, z in ascending order.
-2/3, j, z
Let j = 0.25 + -0.2. Let b = j - -2.95. Let o = -91 - -95. Sort b, o, -1 in increasing order.
-1, b, o
Let r = 44 - 47. Put r, 3, -3/4, 1 in descending order.
3, 1, -3/4, r
Let i(f) = -f**2 - f - 2. Let l be i(0). Let j = -21 - -24. Sort j, -3, l in descending order.
j, l, -3
Let l be (4 - 0)*1/1. Let z(d) = 4*d + 9. Let k be z(-4). Let t = -10 - k. Put l, 2, t in increasing order.
t, 2, l
Let q be 6/(-8) + 2/(-8). Put 5, 2, q in ascending order.
q, 2, 5
Let m = 0.65 + -0.5. Let x = -0.05 - m. Put 3, 1/5, x in ascending order.
x, 1/5, 3
Let i = -2.53 + -0.37. Let m = i - 0.1. Put 2, m, 2/11 in decreasing order.
2, 2/11, m
Suppose -2*w = -3*x + 32, -w - 5*x = 2*w + 29. Let k = w + 8. Put -4, k, -2 in ascending order.
k, -4, -2
Let l = 40 - 21. Suppose -w - 5*v - 1 = -l, w + 4*v = 21. Let q be (-4)/w*(-15)/(-10). Sort -0.1, q, 1/2 in decreasing order.
1/2, -0.1, q
Let a(d) = -d - 1. Let f be a(-1). Suppose f = -5*n + 2*n. Suppose -b + 0 + 3 = 0. Put -1, n, b in descending order.
b, n, -1
Let a = 16 - 11. Suppose -q = 2*q - 3. Let l(d) = d**2 + 10*d + 8. Let s be l(-9). Sort a, q, s in ascending order.
s, q, a
Suppose 3*p + 2*p = 4*h + 13, 8 = h + p. Let x = -2 - -3. Suppose -2 = -3*i + x, 0 = g + i - 1. Sort g, h, 1.
g, 1, h
Suppose 0*z = 5*z - 25. Suppose -8*b - 27 = -z*b. Let o = b - -5. Sort 3, 2, o.
o, 2, 3
Let v(c) = -c**2 + 6*c - 6. Let u be v(4). Let z be u/4*(-3 - -31). Let q be 2/7 + 38/z. Put q, -2, -4 in ascending order.
-4, -2, q
Let w be ((-1)/6 - (-34)/36) + -1. Let t = 5 - 3. Let d = t + -6. Put w, 3, d in decreasing order.
3, w, d
Let v = -85 - -85. Put 2, -1, -3, v in decreasing order.
2, v, -1, -3
Suppose 7*g - 6*g = 5. Suppose -g*i - 20 = -5. Let k(t) = -3*t - 4. Let z be k(-3). Put i, 3, z in increasing order.
i, 3, z
Let h(f) = -f**2 + 3*f + 2. Let b be h(5). Let u = b + 14. Let r = u - 7. Sort r, 2, 3 in decreasing order.
3, 2, r
Let y be (-4 + 7)*8/6. Put -2, y, 3, -4 in decreasing order.
y, 3, -2, -4
Suppose 4*x - 10 = -2. Suppose -7*n = -149 + 170. Sort -4, x, n.
-4, n, x
Let l = -19 + 20. Sort 0, 4, l.
0, l, 4
Let q be (3 + -5)/((12/9)/(-4)). Sort 2, -2, q in descending order.
q, 2, -2
Let y(p) be the second derivative of p**3/2 + p**2/2 + 3*p. Let c be y(-1). Put c, 0, -5 in increasing order.
-5, c, 0
Let z(d) = 5 + 2*d + 4 + d - 5 + d**2. Let s be z(-3). Suppose 7*g - 3*g = 4*r, s*r - g = 0. Sort 1, -5, r in increasing order.
-5, r, 1
Let n = -8 + 7.55. Let b = -0.16 - -0.21. Let a = b - n. Sort a, 2, 4 in ascending order.
a, 2, 4
Let l(n) = -6 + 3 - n**2 + 11*n - 14*n. Let o be 4/2*(1 + -2). Let a be l(o). Sort -5, a, 5 in increasing order.
-5, a, 5
Let c = -209 - -204. Put -1, -4, c, 19 in decreasing order.
19, -1, -4, c
Let c be (-26)/(-36) + 4/(-18). Put 2/15, -2/11, c in descending order.
c, 2/15, -2/11
Suppose -5 = -5*h - 0*h. Let w = 65 - 69. Sort h, w, -1 in ascending order.
w, -1, h
Suppose 0*t - 28 = 2*t. Sort t, -4, 5 in ascending order.
t, -4, 5
Let z be 3/2*4/6. Sort -4, z, 4 in descending order.
4, z, -4
Let y = -2 - -16. Let s = -7 + y. Let d = -7.5 + s. Put d, -0.4, 1 in descending order.
1, -0.4, d
Suppose 2*g - 7*g + 5 = 0. Sort g, -3, -1 in descending order.
g, -1, -3
Let k be (0 - 1)*-5*1