 Suppose 2*f = -34 + 24. Sort f, a, 2 in increasing order.
a, f, 2
Let q = -10.16 + 9.83. Sort 1/3, -0.3, q in decreasing order.
1/3, -0.3, q
Suppose 12 = 3*n - 5*b, 21 = 6*n - 2*n - 5*b. Let t be 8 - 0 - (-36)/(-9). Suppose 11 = -5*z - p, 3*p + 2 = -t*z - n. Put 1, z, 3 in descending order.
3, 1, z
Suppose 0*i = 3*i - 9, 5*t = 5*i - 20. Let v be (24/(-40))/(3/t). Sort 3/2, 2/5, v.
v, 2/5, 3/2
Let f = -133/15 - -36/5. Let g be (-1 - 1) + (-122)/(-16). Let s = 479/88 - g. Sort s, f, 0.4 in descending order.
0.4, s, f
Suppose -5*x = -2*x + 6. Let t = 3 + -1. Suppose 2*k = -s - 23, 4*k + 23 = -4*s - 29. Put k, t, x in descending order.
t, x, k
Let l = 405 - 401. Sort -1/2, -4, l in decreasing order.
l, -1/2, -4
Let w be (-2 - -3)/(((-5)/25)/1). Let o = 10.5 + -10. Sort -11, w, o, 2/5 in ascending order.
-11, w, 2/5, o
Suppose 5*h - 83 = -35*i + 33*i, -4*i - 44 = -4*h. Sort h, 5, 3 in ascending order.
3, 5, h
Let m be (-186)/8*(-2)/(-3). Let n = m - -16. Suppose -4*t + 12 = -0*t. Sort 0.1, t, n in decreasing order.
t, n, 0.1
Let t(q) = -4*q + 60. Let w be t(8). Sort -4, 5, w in increasing order.
-4, 5, w
Let a = -12 - -12. Suppose a*m - 1 = -m. Sort m, -4, -2 in descending order.
m, -2, -4
Let t = 343 + -349. Put 3, -7, t, 1 in decreasing order.
3, 1, t, -7
Suppose 5 = 3*q - 1. Suppose -2 = q*r - 4*r. Put -5, -1, r in ascending order.
-5, -1, r
Let h = -0.0573 - 3.9427. Sort -1/4, -1/2, h, 3.
h, -1/2, -1/4, 3
Let k(w) = -6*w - 1 + 604*w**2 - 6 - 605*w**2. Let p be k(-5). Sort -4, p, -1 in increasing order.
-4, p, -1
Let q be 3/2 + 18/(-12). Suppose q*p = 6*p + 18. Put 3, p, -5 in decreasing order.
3, p, -5
Let t = -1.64 - -2. Let w = t - 0.21. Let k = w - -0.05. Put k, 0.3, 3 in descending order.
3, 0.3, k
Let d(n) = 2*n**3 + 59*n**2 + 31*n + 37. Let t be d(-29). Sort 2/19, t, -2/9 in increasing order.
t, -2/9, 2/19
Suppose -8*t + 61 = -51. Suppose 7*g = -t + 21. Sort 9, g, -4, -3/8 in decreasing order.
9, g, -3/8, -4
Let z = -88.086 - -0.086. Let p = z - -87.8. Suppose 3*g - g - 4 = -m, 0 = 3*m + 2*g. Sort -2/11, p, m.
m, p, -2/11
Let i = 19/15 - 3/5. Let t = -2 - -3. Let o be t*(-3)/18*2. Put o, i, 3 in decreasing order.
3, i, o
Let z = -9/4 - -7/4. Let r = -14.67 + -0.13. Let m = r + 15. Put m, -0.1, z in ascending order.
z, -0.1, m
Let p = 580.8 + -581. Let r = 0 + 0.1. Suppose -5*x = 2*o - 14, o - 3*x + 11 = -4. Sort o, r, p in decreasing order.
r, p, o
Let q = 15 - 33. Let k = -13 - q. Suppose 15 - 17 = x. Put k, 2/5, x in descending order.
k, 2/5, x
Let u be (-6)/(24/(-14))*-6. Let t be -2 - -3 - u/(-27). Put -0.06, -1/2, t, 4 in decreasing order.
4, t, -0.06, -1/2
Let j be (22/693)/(3/(-7)). Suppose 2 + 1 = 3*p - 3*f, -3*f = 12. Put p, j, 0.3 in increasing order.
p, j, 0.3
Let b(m) = 2*m - 4. Let p be b(3). Let c = -5585 - -5588. Sort c, -1, -2, p.
-2, -1, p, c
Let l be ((-21)/(-49))/(285/266). Let u(k) = -k + 7. Let x be u(4). Put -0.5, 4/3, l, x in descending order.
x, 4/3, l, -0.5
Suppose 5*y + 2*m - 5*m = 7, 3 = 3*m. Suppose 2*o + y*h = 4, 5*o - 4*h + 26 = -0. Put o, 4, -1 in increasing order.
o, -1, 4
Let d = -4 + 2. Suppose 4*h + 24 = 44. Sort 2, h, d in descending order.
h, 2, d
Suppose -4*h = 5*u - 17 - 12, u - 9 = -4*h. Let v = 28 - 55/2. Sort h, v, -49 in descending order.
h, v, -49
Let m = 0.0189 - 0.0689. Put 5, -3, m, 1/4 in increasing order.
-3, m, 1/4, 5
Let f = 19 - 15. Let v be ((f - 1) + -2)/(-1). Let z be v/2 + (-13)/(-26). Sort 3, -1, z in increasing order.
-1, z, 3
Let d be ((-4)/8)/((-4)/(-96)). Let g be 8/(-6)*(-75)/10. Let f be d/g*(-50)/(-20). Sort -5, f, 5 in decreasing order.
5, f, -5
Let o = 645 - 642. Let z = -0.08 + -5.92. Put 2, -4, z, o in descending order.
o, 2, -4, z
Let s = 6.96 + -7. Let d = s - 0.46. Let b = 19 - 19. Put b, d, 1/4 in decreasing order.
1/4, b, d
Let v(i) = -i**2 - i + 2. Suppose -3 = 9*a - 8*a. Let u be v(a). Put u, -6, -3 in increasing order.
-6, u, -3
Let q(r) = -r**3 + 5*r**2 - 3*r - 3. Let l be q(4). Suppose -2*g - 2*g = 5*s, -4*s - g - 11 = 0. Sort l, 5, s in descending order.
5, l, s
Let h = -3 + 4. Suppose -b + 4*x - h = 2*x, -5*b - x = 16. Suppose -2*p = 2*i - 1 - 1, -3*p + 1 = 4*i. Put -4, p, b in decreasing order.
p, b, -4
Let b = 4/1405 - 92758/9835. Put 3, 1/5, b, -1 in descending order.
3, 1/5, -1, b
Let f = -22 - -8. Let t be f/21 - 13/3. Let v be (2/4)/((-3)/24). Put v, t, 0 in decreasing order.
0, v, t
Let u = 6/17 - 35/51. Let p be (4/18)/((-19)/(-209)). Let o = p - 7/3. Sort 0, u, o in increasing order.
u, 0, o
Suppose 2*h = -0*h + 10. Suppose 2*v = h*t + 1, 6*t + 9 = t - 2*v. Let b = 6.2 + -6. Sort t, 3, b in ascending order.
t, b, 3
Let d be 8/6*(-1)/4. Let t = -3.75 - -8.18. Let n = t + 0.57. Put d, -3, n in descending order.
n, d, -3
Let x = -0.1 - -0.18. Let k = x + 16.92. Let v = k - 17. Sort v, 6, -2/15 in ascending order.
-2/15, v, 6
Suppose -10 = a + p + 2*p, -4*a - 4*p = 0. Suppose -a*g - 13 = 4*z, -3*z + 7 = 2*g + 8. Put 12, z, -5 in increasing order.
-5, z, 12
Let v(l) be the second derivative of l**6/360 - 7*l**5/120 + 5*l**4/12 - 3*l. Let i(c) be the third derivative of v(c). Let b be i(6). Sort -2, 3, b.
-2, 3, b
Let n = 5.03 + -0.03. Let a(o) = -o**2 + 5*o + 4. Let k be a(5). Let h be (-290)/(-300) - k/6. Sort n, h, 0.4 in descending order.
n, 0.4, h
Let i(j) = -3*j - 3. Let t be i(-2). Let x be (11/(-22))/(2/8). Sort t, 9, x in decreasing order.
9, t, x
Suppose 5*m = -1 - 9. Let i(n) = -4*n**3 + 5*n**2 - n - 5. Let r be i(1). Sort m, -3, r.
r, -3, m
Let h = -6895 - -20411/3. Let f = 90 + h. Let k be (-3)/(-9) - (-2)/3. Sort f, -3, k in descending order.
k, f, -3
Suppose -v = -0*v - 1. Suppose 0 = 10*t + 13*t. Put v, t, 4, -5 in ascending order.
-5, t, v, 4
Let u = 5 - 4.5. Let i = 5.8 + -1.8. Sort -0.4, u, i in decreasing order.
i, u, -0.4
Let x = 1.023 + -4.023. Put 2/11, -0.4, x, 23 in ascending order.
x, -0.4, 2/11, 23
Let k(l) = -2*l**2 - 4*l + 2. Let f be k(-3). Sort 3, f, 5, 4.
f, 3, 4, 5
Suppose 2*v = 2*p - 22, -5*p + 61 = 2*v + 6. Let a(j) = j**2 - 20*j + 23. Let i be a(19). Put i, p, -2 in increasing order.
-2, i, p
Suppose 3*i = -s - 108, -5*s = -2*i + 4*i + 72. Put i, 0.4, -2 in ascending order.
i, -2, 0.4
Let j = -6 - -3. Let f be (-5)/(-2 + -1 - -4). Sort j, f, 0.5 in ascending order.
f, j, 0.5
Let u = -3 - -2.8. Let f = -1022.8 - -1023. Let v = u + f. Put -2/15, v, 1 in ascending order.
-2/15, v, 1
Let d be 2/(-7) + (-330)/315. Let r = 17488/175 - 58/175. Let q = -100 + r. Sort -3/4, q, d in decreasing order.
q, -3/4, d
Let i(b) = -b**3 - 29*b**2 - 100*b - 5. Let t be i(-25). Sort t, -2, -1, -201 in increasing order.
-201, t, -2, -1
Let p(m) = -11*m + 274. Let z be p(32). Put z, 2, 3 in decreasing order.
3, 2, z
Let a be (((-4)/(-2))/(-2))/(-1). Let z = a - -4. Let o(p) = -4*p**3 + 18*p**2 - 6*p - 5. Let y be o(4). Put -2, y, z in descending order.
z, y, -2
Suppose 0 = -4*d + d. Suppose 2*r - 4*r + 6 = d. Let a = -2.6 - -3. Put -3/7, a, r in decreasing order.
r, a, -3/7
Let a = 81 + -73. Let y = 7.85 - -0.25. Let o = a - y. Sort -0.3, o, 3/7 in increasing order.
-0.3, o, 3/7
Let z = 59 + -39. Let n = z + -20. Sort -5, n, 5, 1 in decreasing order.
5, 1, n, -5
Suppose 0 = -10*n + 5*n - 165. Sort -1, n, -3, 4 in ascending order.
n, -3, -1, 4
Suppose 4 = -4*a - 0*a. Let j = 1815 - 1817. Sort j, 0, a in descending order.
0, a, j
Let c = -582.2 - -552.39. Let u = 30 + c. Let b = u - -2.81. Sort 1, 0.2, b in decreasing order.
b, 1, 0.2
Let o be (-2 - (0 - 5))*1. Suppose o*u + 28 = -4*s, 5*s + 6 = 4*u + 2. Sort 0, 3, s in descending order.
3, 0, s
Let i(z) = z**2 - 2*z - 3. Let c be i(4). Let k = -2 - 23. Let p be ((-40)/k)/((-4)/10). Put c, p, -2 in increasing order.
p, -2, c
Let o be (6 + 2 + -2)*1. Suppose o*f = f + 15. Suppose 0 = f*z - 1 - 2. Sort 0, z, -5.
-5, 0, z
Let b = -221 + 221.3. Put -1, -1/4, b in descending order.
b, -1/4, -1
Suppose 4*m + 5*p = 10*p - 58, 3*p + 6 = -m. Put 0, m, 4 in ascending order.
m, 0, 4
Suppose -2*q + 34 = 4. Let g = 18 - q. Put g, 4, 18, 5 in increasing order.
g, 4, 5, 18
Let u(q) = q + 29. Let k be u(-29). Sort -1, -3, k, 1.
-3, -1, k, 1
Let f = -3 + 4. Let h = -8 + 8.7. Let r = h - f. Put r, 1, -3/2 in decreasing order.
1, r, -3/2
Let o = -21.2 - -5.6. Let u = 16 + o. Sort 0.5, -4, u in descending orde