. Put j, 4, -1, 1 in decreasing order.
4, j, 1, -1
Suppose -61*d = -57*d + 24. Sort -4, 10, d, 2 in increasing order.
d, -4, 2, 10
Let v = -1.1551 - 0.0449. Put -3, v, 0 in increasing order.
-3, v, 0
Let a be (7 - 110/15)*12/(-1). Let g(k) = k**3 - 9*k**2 - 1. Let m be g(9). Suppose -3*f + 3*w + 3 = -f, 4*f = w + 11. Put m, a, f in descending order.
a, f, m
Let f(s) = -s**2 + 4*s. Let b be f(5). Let r be 2/(5 + -3) + 1. Sort -8, b, r in descending order.
r, b, -8
Suppose -26*t = -24*t - 8. Sort t, 1, 2.
1, 2, t
Suppose -84 = -6*r + 24. Put -4, 5, r in increasing order.
-4, 5, r
Suppose -5 = s - 8. Suppose 12 = d - 3*r, 5*d = -2*r + 8 + 1. Suppose 2*y = y, 15 = -d*l - y. Sort l, s, 4 in descending order.
4, s, l
Suppose -4*u = 31*u - 595. Sort 1, -1, 2, u in ascending order.
-1, 1, 2, u
Let g = -0.12 - -0.27. Let u = 0.05 - g. Sort -1/4, 0.11, u in decreasing order.
0.11, u, -1/4
Suppose 27*y - 25*y = 10. Let x = y + 3. Sort x, -2, -5.
-5, -2, x
Let y be 0*((-10)/(-4) + -2). Suppose -2*m + 4*i + 56 = 2*m, i + 46 = 5*m. Put -4, -2, m, y in increasing order.
-4, -2, y, m
Let m = -8 - -5. Let k = 82 - 80. Sort m, 10, k in decreasing order.
10, k, m
Let f = 10 - 6. Let a = 241 - 3135/13. Put 0, a, f in increasing order.
a, 0, f
Suppose -3*n + 0*n = 0. Suppose -a = a + 2, -2*v + a + 7 = n. Suppose 0 = -v*b + 6*b + 6. Sort 3, -4, b in decreasing order.
3, b, -4
Suppose 0 = 2*l - 3*x + 16, 4*x - 13 - 5 = 2*l. Let w = -26633/4 - -6719. Let s = 61 - w. Sort l, s, -7.
-7, l, s
Let j = 3.02 - 3.02. Suppose r + 7 = 4*z, -5*r - z - 24 = -10. Put r, 2/3, j in decreasing order.
2/3, j, r
Let q = -232/1057 - 10/151. Put -2, -0.03, q, -0.4 in descending order.
-0.03, q, -0.4, -2
Suppose -2*f - 46 = -132. Suppose -q - 41 = 5*u, -3*q + 0*u - f = -u. Let o = q - -97/6. Put 5, o, 2/11 in decreasing order.
5, 2/11, o
Let k = 172 + -171.5. Put -3/8, k, 5, -3/5 in ascending order.
-3/5, -3/8, k, 5
Let k = -1224 + 162793/133. Sort 4, -0.2, k in decreasing order.
4, k, -0.2
Suppose -4*w = -2*w + 10. Let t(g) = g**3 - 8*g**2 + 9*g + 14. Let f be t(6). Put w, -1, f in ascending order.
w, f, -1
Suppose -22*t + 18*t + 2*b = -4, 0 = 4*b - 16. Put t, -1, -3, 4 in decreasing order.
4, t, -1, -3
Suppose 5*o = 36 - 21. Sort 1/4, o, 5 in ascending order.
1/4, o, 5
Let m be 2/(-5) - 24/(-10). Suppose -4*l = -m*z - 14, 0*z = 3*l - 4*z - 18. Sort -1, l, 33 in ascending order.
-1, l, 33
Let h = -286 + 283. Let p(y) = y - 10. Let t be p(-7). Sort h, t, -5.
t, -5, h
Suppose 22*h - 17*h = 15. Suppose -z - 8 = -h. Let u be ((-3)/3)/11*-1. Sort -30, u, z in descending order.
u, z, -30
Let v(d) = -7*d - 52. Let p be v(-9). Suppose p*r + 8 + 25 = 0. Sort 4, r, -5 in descending order.
4, r, -5
Let n = -0.0796 - 0.0234. Put n, 0.1, 3 in descending order.
3, 0.1, n
Let x = -402 - -385.7. Let c = -20.3 - x. Let i = -3 + 2.99. Sort i, 4, c in descending order.
4, i, c
Suppose k - 5*l - 12 - 18 = 0, -k + 3*l = -20. Let d be (-1)/(-2) + (-169)/2. Sort 2, d, k in decreasing order.
k, 2, d
Let g = 0.15 + -0.05. Let f be 1*(-2 - 1 - 3). Let x be ((-2)/f)/((-15)/30). Sort g, x, 5 in ascending order.
x, g, 5
Let m = 1.8 - 3.8. Let n = -13 - -15. Put m, -3, n in descending order.
n, m, -3
Let g = -1/11588 - -69541/150644. Let q be ((-4)/3)/((-6)/(-1)). Sort -3/5, g, 2, q in descending order.
2, g, q, -3/5
Suppose -3*r + 3*t - 18 = 0, 2*r + 17*t = 18*t - 8. Sort 1, r, -45 in decreasing order.
1, r, -45
Let s(b) = -2*b**3 + 3*b**2 + b - 3. Let f be s(3). Let n be 3/6 + f/(-6). Suppose 0 = -j - 4, 3*u - n*j - 4 = 1. Sort 3, -1, u.
u, -1, 3
Suppose -4*z = -z - 21. Suppose z*c = 10*c + 15. Let x = -0.72 - -3.72. Put 5, x, c in decreasing order.
5, x, c
Let j(z) = 2*z**2 + 17*z - 33. Let p(m) = 2*m + 18. Let n be p(-14). Let b be j(n). Sort -5, b, -18 in decreasing order.
b, -5, -18
Let d = 37 + -39. Let c be (((-2)/2)/d)/(78/52). Sort c, -1/5, 2/15.
-1/5, 2/15, c
Let t = 11 + 14. Let z = t - 33. Put z, -3, 1 in ascending order.
z, -3, 1
Suppose 29 = -5*z + t - 9, -2*t = 4. Let r = -355 - -357. Sort r, 0, z in ascending order.
z, 0, r
Suppose -h = -4*o + 13 - 23, 2*o = 2*h - 8. Put 3, -570, o in ascending order.
-570, o, 3
Let t = 111 - 111.5. Sort -3, -19, t in descending order.
t, -3, -19
Suppose b - s - 3 = -0*b, s + 3 = -5*b. Suppose 6*g - 2*g + 240 = b. Let i be g/16 + 4 - -1. Put -1, 0.2, i in descending order.
i, 0.2, -1
Let f(k) = -26*k - 178. Let b be f(-7). Sort -1, 0, -14, b in ascending order.
-14, -1, 0, b
Let t = 2.959 - -12.051. Let p = t - 0.01. Let w = 14 - p. Sort -2, 2/7, w in ascending order.
-2, w, 2/7
Let g be 3*(4 - 2 - 1). Suppose -g*q = -5*w + w + 17, q - 3 = -3*w. Put 0.3, -4, q in descending order.
0.3, q, -4
Let b = 0.8 - -2.2. Let g be -3 - (-3 - 7/(-28)). Sort b, -2, g, 1.
-2, g, 1, b
Suppose 16 = -4*q, 4*q + 22 = 2*d - 0*q. Suppose 6 = d*u + h - 4, 0 = -2*u - 5*h - 15. Let n = 2 + -6. Sort -5/2, n, u.
n, -5/2, u
Let w(i) = i**2 - 8*i + 13. Let o be w(6). Let r = -7 + 22. Sort 0, o, r, -4 in increasing order.
-4, 0, o, r
Let k = 0.0659 + -1.0659. Sort k, -4, 1, 5 in increasing order.
-4, k, 1, 5
Let w = 0.078 - -2.922. Suppose 3*o - 3*n = -n - 5, 2*o - 5*n = -18. Sort o, w, -0.1, 0.4 in decreasing order.
w, o, 0.4, -0.1
Let v = 656 - 667. Sort v, -16, 0.
-16, v, 0
Let f be 2/(-1) + (-2)/(-2). Suppose 106*y + y - 321 = 0. Put y, 2, f in increasing order.
f, 2, y
Let w be (0/(12 + -6))/1. Suppose -6 + 3 = -h. Put w, h, -9 in increasing order.
-9, w, h
Let a = -29.1 - -26.125. Let p = a + -0.025. Put p, -4, 3, 0.8 in decreasing order.
3, 0.8, p, -4
Let r = -4.66 - -2.66. Put 1/3, 2/5, 0, r in decreasing order.
2/5, 1/3, 0, r
Suppose f - i - 1 = 0, 5*f - 5*i = -2*i - 1. Let t = -11 - -14. Suppose 4*n = -t + 15. Sort f, n, -4 in increasing order.
-4, f, n
Let s be (-2)/(-12)*9/4. Let l = 565 + -560. Let r = -37 + 38. Put r, s, l in descending order.
l, r, s
Let j be 2/(-3) + 90/(-27). Let b(d) = -6*d + 20. Let i be b(3). Sort j, i, -6 in descending order.
i, j, -6
Suppose 2*t + 11 = -3. Let g = 3 + t. Sort 5, g, 0.03.
g, 0.03, 5
Let m = 153/413 - 5/59. Put 3, -1/5, 0.3, m in increasing order.
-1/5, m, 0.3, 3
Let b be 5/(-3) + 71/71. Put 8, b, -24 in ascending order.
-24, b, 8
Let z = 1.8 - 2. Let l = -17 + 17. Sort l, 5, z in ascending order.
z, l, 5
Let u(c) = -26*c - 104. Let h be u(-4). Let b = 20 - 7. Put -1, b, 3, h in ascending order.
-1, h, 3, b
Suppose 4*l = 0, -4*j - 5*l = -10 - 6. Let h be ((-236)/(-354))/((-2)/15). Sort j, h, -2 in descending order.
j, -2, h
Let p(z) = z**3 + 5*z**2 - 9*z - 6. Let d be p(-6). Let u = -339 - -341. Suppose -2 = u*j, -3*f - 6*j + 3*j - d = 0. Sort 5, 4, f in decreasing order.
5, 4, f
Suppose i + 26 = 14*i. Put -5, 0, -8, i in descending order.
i, 0, -5, -8
Let z(b) = -b + 1. Let n be z(-2). Let i = -1322 - -1318. Sort -3, n, 1, i.
i, -3, 1, n
Let k be ((-27)/(-18))/((-1)/(-2)). Suppose 0 = l - 2 - 0. Sort k, 1/2, l in decreasing order.
k, l, 1/2
Let c be 0 - 1 - (26 - 20). Let j(t) = t**2 + 6*t - 9. Let v be j(c). Put -3/4, v, -4, -1/2 in descending order.
-1/2, -3/4, v, -4
Let c = 0.535 + -0.535. Put -2/9, -0.009, c in increasing order.
-2/9, -0.009, c
Let s = -530.4 - -530. Sort 0.4, -0.04, s, 4 in decreasing order.
4, 0.4, -0.04, s
Let l = 46 + -23. Suppose -5*g - l = 7. Put g, 1, 5 in increasing order.
g, 1, 5
Let d = 268 + -269. Let v(z) = 2*z - 23. Let k be v(12). Sort d, -2/7, k in ascending order.
d, -2/7, k
Let d(s) = -3*s**3 - 6*s**2 + 7*s + 6. Let v be d(-4). Suppose -v = c - 68. Suppose u = 2 + 1. Sort c, 4, u.
c, u, 4
Let z be (1/3)/(2/4). Let r = -5.9 + -29.1. Let a = 35.4 + r. Sort z, a, -5 in decreasing order.
z, a, -5
Let b be (7 - 516/15) + 8/20. Sort 1, -1, b.
b, -1, 1
Suppose 4*v - 20 = 2*t, 5*t + 19 = 5*v - 16. Let i be 2/(-4) - (-5)/(-2). Let x be 0 - -1 - (-7 + 5). Put i, t, x in increasing order.
t, i, x
Let f = -1314 - -1313. Put f, -77, 2 in decreasing order.
2, f, -77
Suppose 33*t - 4*n - 16 = 31*t, -4*t - 8 = 2*n. Sort 2, t, -183.
-183, t, 2
Let s(k) = k**2 + 15*k + 30. Let d be s(-13). Sort -6, -5/4, 2/21, d in increasing order.
-6, -5/4, 2/21, d
Let w be ((-1)/1)/(7/(-14)). Suppose 0 = 3*l + x + 2*x + 6, 0 = -w*x + 4. Let p(u) = u**2 + 5*u - 10. Let g be p(-7). Sort -5, g, l.
-5, l, g
Suppose -4*v = 5*h + 14,