 4*j + 24. Suppose 3*n - j = 3*z + 3, 4*n + 25 = -5*z. Suppose -3*c - o - 17 = n, -4*o + 15 = -7*o. Sort 0, c, 1 in increasing order.
c, 0, 1
Let v = 1.23 + -0.03. Let n = v + -0.2. Let a = -0.13 + 3.13. Sort 2/3, a, n.
2/3, n, a
Suppose 0 = -0*y - 2*y - 10. Let d = 0.123 - 2.123. Sort 4, d, y in descending order.
4, d, y
Let v = 116 - 121. Sort 4, -1, v in descending order.
4, -1, v
Let u be 0 + (-4)/136*4. Sort u, 5, -5.
-5, u, 5
Suppose 3*m = -2*m. Suppose v = -m*v + 3. Let a = v + -2. Put 2, -5, a in decreasing order.
2, a, -5
Let i be (-8)/5 + 28/(-70). Let w = i + -2. Sort 5, w, 3.
w, 3, 5
Let d = -0.1 + -0.2. Let j = 437/6 + -73. Sort d, -1/3, j in ascending order.
-1/3, d, j
Suppose -2*i + 2*z + 1 + 9 = 0, 0 = 4*i - 5*z - 22. Suppose -15 = -f - i*s, 8*s - 17 = f + 3*s. Suppose 0 = j + f*j. Put 1, j, 5/2 in descending order.
5/2, 1, j
Let a = -25 + 13. Let k(g) = g**2 + 5*g - 4. Let d be k(-6). Let b be a*((-5)/(-3) - d). Sort b, -5, 0 in ascending order.
-5, 0, b
Let x = 67 + -67. Let q = -53/3 - -18. Sort x, q, 4.
x, q, 4
Let g(u) = 5*u - 19. Let k be g(4). Let d be 4/(1*-2) + 2. Sort -4, k, d in descending order.
k, d, -4
Let w = 25 + -28. Put 2, w, 17 in decreasing order.
17, 2, w
Let w = 40 + -39.5. Sort 3, -5, w.
-5, w, 3
Let g = -0.39 - 0.01. Let d = 55 + -273/5. Sort 0.5, g, d.
g, d, 0.5
Suppose -v + 3 = -2*v + 3*t, -4*t = 0. Let u be (2/5)/(v/(-30)). Let m be (15/(-10))/((-1)/(-2)). Sort 3, m, u in ascending order.
m, 3, u
Let p be (2 + (2 - 4))/(-2). Sort 2, 0.2, p, -1.
-1, p, 0.2, 2
Let j = -13 + 9. Suppose 3*o - 15 = -3*a, -3*o - 5*a + 1 = -20. Sort j, o, -1 in descending order.
o, -1, j
Suppose -3*t = 2*a - 3 - 0, -2*a - 4*t = -8. Let v(i) = -i**2 - 7*i - 9. Let k be v(a). Sort -4, k, -0.5 in decreasing order.
-0.5, k, -4
Suppose -25*l + 17*l + 22*l = 0. Suppose -2*o = -3*t + 13, -2*t - 4*o - 14 = -4*t. Let q = -1 + t. Sort l, q, -3.
-3, l, q
Let c = 106/3 + -36. Sort c, -4, -0.1.
-4, c, -0.1
Suppose 3*n - 4 - 2 = 0. Suppose -4*t + 31 = 11. Sort n, 0, t in descending order.
t, n, 0
Let j be 40/(-32) + (-6)/8 - -8. Sort 3, j, 0 in ascending order.
0, 3, j
Suppose 5*b + 2 = 5*u + 7, 4*u = -4. Suppose -j + 3 = -1. Let i be ((12/(-9))/1)/10. Put b, i, j in descending order.
j, b, i
Suppose 0 = -6*h + h - 2*l - 5, -16 = -h + 3*l. Sort -1, 0, h in descending order.
h, 0, -1
Let l(b) = -b**3 + b**2 - 4*b + 3. Let f be l(0). Suppose -4*n + 7 = -1. Let i be -1 + 32/10 - n. Put f, i, 0.5 in increasing order.
i, 0.5, f
Suppose -2*j + j = 0. Suppose -5*z + 6 = -3*z. Suppose -6 = z*o + 9. Sort 1, j, o in ascending order.
o, j, 1
Let t be 14/84*(-3 + 1). Let h = -6 + 6.4. Sort t, 1, h in decreasing order.
1, h, t
Let i = -0.05 + 0.15. Let m = -5 + 3. Put 1, i, m in ascending order.
m, i, 1
Let m(i) = -i + 12. Let y be m(15). Let k = 2 + -10. Let z = y - k. Put 0, z, -3 in ascending order.
-3, 0, z
Suppose -l = -0 + 2. Put 3, 2, l in decreasing order.
3, 2, l
Let c(q) = -q**3 + 18*q**2 - 19*q + 35. Let p be c(17). Sort -1, -8, p in increasing order.
-8, -1, p
Suppose 0*o = -4*o + 16. Suppose 5*x = k + 25, 4*x - 20 = -0*k + 3*k. Sort x, 1, o in descending order.
x, o, 1
Let b = 150 - 155. Put b, 1, 5 in descending order.
5, 1, b
Let l = 1.3 + -0.3. Let c = -0.5 + 0. Let k = l + c. Sort k, -0.5, 2/3 in decreasing order.
2/3, k, -0.5
Suppose 5*n = 4*y - 20, 6 = -4*y - 3*n + 26. Let j(r) = 2*r**3 - 2*r**2. Let v be j(1). Sort v, 2, y in descending order.
y, 2, v
Suppose -4*n = -0*n. Sort -3, n, -1 in ascending order.
-3, -1, n
Let f = 0 + 4. Let m be f/(-1) - (-1)/(-1). Suppose -3*p + 12 = -0*p. Sort p, 5, m in descending order.
5, p, m
Let a be 13*(24/21 - 1) + -2. Put a, -5, 0, -0.3 in increasing order.
-5, -0.3, a, 0
Suppose -2 + 0 = -h. Suppose 2*u = -2*u. Sort u, h, -4 in ascending order.
-4, u, h
Let w = 2.8 - 3.1. Sort 5, 1, w in increasing order.
w, 1, 5
Let z(g) = g**3 - 8*g**2 + 5. Let i be z(8). Suppose i*u - 1 = 4. Sort u, -2, -1 in decreasing order.
u, -1, -2
Suppose 3*i - 8 = -h, 3*i - 2 = 2*h - 0. Put -4, h, -1 in increasing order.
-4, -1, h
Suppose 0 = -4*l + 7*y - 4*y + 28, 20 = l - 4*y. Put l, -4, 5 in ascending order.
-4, l, 5
Let d = -5 - -5.3. Let n = d + -0.3. Let z = 0.42 - 0.02. Put n, z, 1/7 in ascending order.
n, 1/7, z
Suppose -2*x - 2*x + 3*t = -16, -5*x = 5*t + 15. Suppose 2*m - 10 = -3*m. Sort m, -4, x in decreasing order.
m, x, -4
Suppose -3*r + 3*n - 3 = 0, 0 = 3*r - 7*n + 2*n - 5. Suppose -2*u - 4*d - d = -4, -u + 2 = -5*d. Sort r, u, 11.
r, u, 11
Let a(c) = -c**3 - 5*c**2 - 5*c + 1. Suppose 2*y + 3*d + 10 = -2*y, -3*y + 4*d - 20 = 0. Let v be a(y). Sort 2, 4, v.
2, 4, v
Let h = 13 + -23.5. Let n = 10 + h. Let p = -0.1 + -0.1. Sort 0, n, p in ascending order.
n, p, 0
Let o = 0.2 + 0.2. Let w = 66 + -67. Put w, -2, o in increasing order.
-2, w, o
Suppose -2*y + 10 = -0. Suppose 2*m + 3*t = 10, m - y*t + 7 + 1 = 0. Let v = -182 + 186. Sort m, -5, v in ascending order.
-5, m, v
Let r be 8/(-12) - 1/3. Let p(x) = 2*x - 8. Let n be p(6). Let i be (-1)/n + (-2)/16. Put r, i, 5/3 in decreasing order.
5/3, i, r
Let o = 0.149 - 0.019. Put -0.4, 3, -3, o in ascending order.
-3, -0.4, o, 3
Let r = 6 - 10. Let v = 3.7 + r. Let g = 0.2 - -1.8. Put v, 4, g in increasing order.
v, g, 4
Let b = -7 + 2. Put 2, 1, 0, b in ascending order.
b, 0, 1, 2
Let a = 0.06 - 0.18. Let g = 0.08 - a. Put -2/9, g, -0.2 in decreasing order.
g, -0.2, -2/9
Let x(d) = -d**3 + 6*d**2 - 5*d - 1. Let t be x(5). Let z = 1 + 2. Suppose -z*h + g - 2*g - 7 = 0, h = -3*g + 3. Sort h, t, -5 in increasing order.
-5, h, t
Let w = -0.094 + -0.006. Suppose 4*r + 602 = 5*y - 849, -366 = r + 2*y. Let c = r + 7646/21. Sort w, c, -3/5 in increasing order.
-3/5, w, c
Let d(r) = 2*r - 4. Let j be d(3). Suppose -3*g + y + 14 = -5, -2*y = 5*g - 17. Put -2, j, g in ascending order.
-2, j, g
Suppose -3*r - 13 = -1. Let y = -3 + 7. Sort -2, r, y in decreasing order.
y, -2, r
Suppose -4*h - 3*u = 9, 0*h - h - 3*u - 9 = 0. Let p = -18.4 + 14. Let n = 4 + p. Sort h, n, 2.
n, h, 2
Let f = 12 - 8. Sort f, -2/21, 2.
-2/21, 2, f
Let k(j) = 3*j + 16. Let w be k(-5). Let c(a) be the second derivative of a**4/12 + 2*a**3/3 - 2*a**2 + a. Let y be c(-4). Put w, y, -1 in descending order.
w, -1, y
Let w(q) = q - 4. Let x(b) = b**3 + 3*b**2 - 5*b + 2. Let u be x(-4). Let f be w(u). Let v be ((-3)/2)/((-4)/(-8)). Sort f, v, -2.
v, -2, f
Suppose 0 = -5*m + 5 - 10. Put -5, m, 1 in decreasing order.
1, m, -5
Let d = -5 + 12. Suppose -4*y - d = 1. Let u be 2*((-63)/(-33) + y). Sort 0.5, 2, u in increasing order.
u, 0.5, 2
Let j be -3 + (0/(-1))/1. Let o = -1 - 3. Let r(c) = c + 7. Let f be r(o). Sort f, 5, j in decreasing order.
5, f, j
Let b be (-6)/21 + (-712)/154. Let i = -5 - b. Let k = 0.003 + -0.503. Sort k, i, 3 in descending order.
3, i, k
Suppose u + 2*u + 12 = 0. Suppose -6*l - 6 = -3*l. Put 4, l, u in descending order.
4, l, u
Let g = -170.9 + 171. Let z = 47/75 - -1/25. Put g, z, 3/5 in decreasing order.
z, 3/5, g
Let p = -43 - -47. Sort 3, -2, p in increasing order.
-2, 3, p
Let z = -1.97 + -27.63. Let k = z - -24. Let m = -6 - k. Put 0.3, 4, m in descending order.
4, 0.3, m
Suppose 0 = 2*i - 4*i + 8. Let t = -7 + 3. Let n = t + 5. Sort -3, n, i in descending order.
i, n, -3
Let v be 0*4/32*-2. Let r be (-1)/(2/(1 + 1)). Let h(p) = p**2 - 4*p - 8. Let x be h(6). Sort x, r, v in increasing order.
r, v, x
Let w = 57 + -229/4. Let m = -22 + 27. Sort m, w, 4/5 in increasing order.
w, 4/5, m
Let q be 258/(-33) + (-2)/11. Let y = q + 10. Sort 0.5, y, 2/7.
2/7, 0.5, y
Let q = 11 - 13. Suppose p = -4 + 5, 14 = 5*s - p. Sort s, 2, q in descending order.
s, 2, q
Let h = -5.952 + 0.002. Let f = h + -0.05. Let q = f - -4. Sort 5, q, 0.5.
q, 0.5, 5
Let l = -16 - -16.07. Sort 2, l, -2/13 in increasing order.
-2/13, l, 2
Let d = -0.4 + 0.7. Let t = 0.06 - -1.94. Let n = 1.5 + -1. Put n, t, d in increasing order.
d, n, t
Let f = 6 + -3. Suppose -5*m = f*t - t - 22, -2*t - 6 = -2*m. Suppose 28 = -4*d + 8. Put m, d, -3 in ascending order.
d, -3, m
Let r = 26 + -31. Sort -1, r, -0.2.
r, -1, -0.2
Suppose 2*w - 4 = 2*c, 4*c + 6 = w - 8. Let r = 4 - c. Let i = r - 13. Put 0, -1, i in descending order.
0, -1, i
Let p = 14 + -19. Put p, -9, 3 in increasing order.
-9, p, 3
Let d = 81/76 + -6/19