. Sort -1, x, -5 in decreasing order.
x, -1, -5
Let t be 6/8*-2*-2. Let q = 0 - t. Let r = 1007 + -1004. Sort q, -5, r in ascending order.
-5, q, r
Let k(m) = m**2 - 23*m + 113. Let r be k(9). Sort r, -4, 6, 1 in descending order.
6, 1, -4, r
Let w be 10/36*1184/740. Sort 0.4, w, -25, -1/3.
-25, -1/3, 0.4, w
Let z(o) = -o**3 + 4*o**2 - 4*o + 3. Let x be z(2). Suppose x*a - 2 - 4 = 0. Suppose 1 = n + a. Sort -3, n, 1 in descending order.
1, n, -3
Suppose 2*k - 7 + 17 = 0. Let f = 3 + k. Put f, 4, -10 in ascending order.
-10, f, 4
Let r = -2886 - -2886. Sort 7, r, 167 in ascending order.
r, 7, 167
Suppose 0 = -5*t - 49 + 24. Sort 4, t, 10, -1.
t, -1, 4, 10
Let y = -0.47 + -1.53. Sort y, -0.4, 0, -7 in decreasing order.
0, -0.4, y, -7
Let y = -64 + 61. Put 2, y, -33, 0 in descending order.
2, 0, y, -33
Let z = 1.44 - 1.54. Sort z, 0.06, 3/7, 2/19 in decreasing order.
3/7, 2/19, 0.06, z
Let x(s) = -s**2 + 4*s. Let g be x(3). Let r = g + 6. Let t be (-4 - -3)*r*1. Sort -3, t, 1 in decreasing order.
1, -3, t
Let l(y) = -y**3 - 10*y**2 - 23*y + 3. Let m be l(-6). Let q(b) = 2*b**2 - 3*b - 4. Let o be q(3). Sort o, -2, m, 0 in decreasing order.
o, 0, -2, m
Suppose -3*p + 3 = v, -4*v - 4*p + 5 = -7. Let k = 10 + -3. Suppose -j = -7*s + 4*s + 12, 0 = s - 4*j + k. Sort -3, s, v in ascending order.
-3, v, s
Let p be 1/(33/(-6)) - (-3094)/(-286). Sort 5, p, -9 in ascending order.
p, -9, 5
Let v(r) = -52*r + 307. Let y be v(6). Put y, -1, 0 in descending order.
0, -1, y
Let g(r) = r + 4. Let c be g(3). Let y = c - 4. Let u = -838/11 - -76. Put -0.1, u, y in increasing order.
u, -0.1, y
Let x(c) = c**3 + 4*c**2 - 2*c + 5. Let v be x(-5). Let g = -3 - v. Suppose -3*d + 16 = -g*d. Sort d, -3, -5 in descending order.
-3, d, -5
Let u = 2.1034 - 0.1034. Let r be 4*(0 + (-1)/(-6)). Sort r, u, -13 in descending order.
u, r, -13
Let p be (-340)/51*(-3)/4 + -2. Let j = 4 + 1. Suppose 2*y + 2 = 4*y, 0 = -2*r - j*y + 7. Sort r, 4, p in increasing order.
r, p, 4
Let p = -138 - -158. Suppose -21*d + p = -26*d. Sort d, 3, 24 in descending order.
24, 3, d
Let z = 1712 - 1715. Sort 2, z, -154 in increasing order.
-154, z, 2
Let f be -3 - (-3)/(15/(-130)). Let w = -31 - f. Let j(i) = i + 11. Let v be j(-11). Sort w, v, -3.
-3, w, v
Suppose 2052 + 93 = -33*r. Sort 3, -4, -1, r in increasing order.
r, -4, -1, 3
Let h = 16742 - 16742. Let c = -0.5 - -0.8. Let v = -0.1 + c. Sort v, 1/4, h in ascending order.
h, v, 1/4
Let u = -1.2 - -1. Let s = 0.33 - -0.17. Let v = u + s. Sort 0, v, -0.2.
-0.2, 0, v
Suppose 2*i + 6 = 3*i. Let w(p) = -15*p**3 - 3*p**2 + 12*p + 6. Let z(f) = 7*f**3 + f**2 - 6*f - 3. Let l(o) = -6*w(o) - 13*z(o). Let k be l(i). Sort -1, k, -5.
-5, -1, k
Let x(z) = 20*z**2 - 4*z + 5. Let k be x(2). Let m = k - 44. Let q be (m/18 + -2)*-8. Sort q, -4/7, 1/5.
-4/7, 1/5, q
Let f be 38 + -45 + (-32)/(-5). Let a = 18 - 3. Suppose 4*u - 2*r = -7 + 29, a = 4*u + 5*r. Put -1/8, f, u in descending order.
u, -1/8, f
Let j(g) = -g**3 + 14*g**2 - 17*g + 11. Let c be j(13). Let x = 40 + c. Sort -3, x, -2.
-3, -2, x
Let m(u) = -u**2 + 40*u - 141. Let x be m(36). Put -5, -2, x, -1 in descending order.
x, -1, -2, -5
Let i be (2 - 14/8)/(1/12). Put i, -3, 5 in decreasing order.
5, i, -3
Suppose 4*x - 100 = -8. Let r = x + -13. Suppose -6 = 4*m + r. Sort 4, -3, m in descending order.
4, -3, m
Let h be 4/(-10) + 99/(-15). Let f = 944 - 947. Put 5, f, 1, h in decreasing order.
5, 1, f, h
Suppose 5*m = 2*c + 15, 4*m - 3*c = -4*c + 25. Suppose -4*w - 22 = 10. Put w, m, -1 in decreasing order.
m, -1, w
Suppose 0 + 8 = -4*f. Let z = -2.92637 + -0.07363. Sort f, -0.06, z in ascending order.
z, f, -0.06
Let k(d) = -d + 6. Let q be k(-5). Suppose -5*p - 14 = q. Let o(t) = -t**3 - 6*t**2 - 3*t + 7. Let a be o(p). Put -4, a, -5 in decreasing order.
a, -4, -5
Suppose 7 + 2 = 9*u. Suppose -3*f - 3 + u = 2*d, 5*d - 8 = -f. Put -5, 5, f, 1 in decreasing order.
5, 1, f, -5
Let f = -94 + 95.99. Let x = -0.01 - f. Let t = x - -5. Sort t, -5, 2 in increasing order.
-5, 2, t
Let x = 1141 - 1130. Put 5, x, -8 in ascending order.
-8, 5, x
Let a(v) = 6*v**2 - 62*v + 20. Let c be a(10). Suppose -3*o + 5*x = 15 - 6, 3*o - 2*x = 0. Sort c, -2, -4, o in ascending order.
-4, -2, c, o
Suppose 6*s + 1508 - 1370 = 0. Put -1, s, 0, 1 in ascending order.
s, -1, 0, 1
Suppose 3*g - 30 = -3*g. Suppose -20 = -3*i - 2*c, g*c - 2 - 2 = 4*i. Sort -4, i, 5.
-4, i, 5
Suppose 41 = -5*x - 54. Suppose 3*n - 54 = 11*j - 8*j, -3*n - 4*j + 26 = 0. Let c = x + n. Put -6, c, 0 in decreasing order.
0, c, -6
Let l(x) = 2*x**3 + 69*x**2 - 34*x + 41. Let r be l(-35). Suppose 25 = 5*o - 140. Suppose 3 - o = -r*h. Put -4, h, 2/13 in descending order.
h, 2/13, -4
Let i = 1929/430 - -3/215. Put i, 9, 0, 1 in decreasing order.
9, i, 1, 0
Let f(u) = 47*u - 31. Let d be f(3). Let g = d - 108. Put -31, 3, g in descending order.
3, g, -31
Let t = -178 - -180. Sort t, -5, -20 in descending order.
t, -5, -20
Let f = 425 - 20823/49. Let i = -41/196 - f. Put 2/7, -0.04, i in increasing order.
i, -0.04, 2/7
Let k = -34 - -40. Sort k, -4, 5, -2 in descending order.
k, 5, -2, -4
Let z = 106 + -105.8. Sort 0.4, z, -7 in increasing order.
-7, z, 0.4
Let n = -1.46 + 1.46. Put 0.1, 0.3, n in descending order.
0.3, 0.1, n
Let d(u) = 29*u + 51. Let f be d(-2). Sort -4, -5, f.
f, -5, -4
Let a(i) = -i**2 + 10*i - 13. Let h be a(9). Put 3, -3, h, -8 in descending order.
3, -3, h, -8
Suppose 0*j + 5 = 5*w + 2*j, 4*w - 37 = 5*j. Sort -11, w, -4, 6 in descending order.
6, w, -4, -11
Let h = -22 - -23. Let q be h/(1/5 - 0). Sort q, -4, -3 in ascending order.
-4, -3, q
Suppose 5*f - 715 = -190. Let z = 317/3 - f. Sort -1/3, 1, 5, z in decreasing order.
5, 1, z, -1/3
Let w(u) = 12*u + 724. Let n be w(-64). Sort n, -4, -1, 3 in ascending order.
n, -4, -1, 3
Let f = 3823/15 - 255. Let a = f + -41/30. Sort -4, 5, a, 1.7.
-4, a, 1.7, 5
Let b = 20.9 - 20. Sort 0.3, 0, b in descending order.
b, 0.3, 0
Let t = -0.08 - 0.02. Suppose 0 = 2*h + 7*r - 5*r - 4, h - 3*r + 10 = 0. Sort 2, t, h.
h, t, 2
Let c be 6*(24/(-9))/(-2). Suppose -c*s + 8 = -4*s. Let k be s*(12/(-8) - 0). Sort 5, -4, k in descending order.
5, k, -4
Let w = 1405 + -1405. Put 29, w, -0.2, 2/9 in descending order.
29, 2/9, w, -0.2
Let j = -227/3 + 74. Let i = 2.76 - 2.76. Sort -2, i, j, -2/5 in decreasing order.
i, -2/5, j, -2
Let a = 6 + -1. Suppose -2 = -3*z + a*z. Let f(j) = 7*j + 47. Let u be f(-6). Put 2, z, u in ascending order.
z, 2, u
Let d(q) be the first derivative of -q**4/4 + 5*q**3/3 - 3*q**2 + 6*q + 1. Let h be d(4). Put h, 0, 4, 5 in decreasing order.
5, 4, 0, h
Let z be ((-4)/(-8))/(1/(-14)). Let g(k) = -31*k - 190. Let h be g(-6). Put h, 4, z in increasing order.
z, h, 4
Let t = 2772 + -2775. Sort -4, t, -29.
-29, -4, t
Let h(p) = p**2 + 29*p + 115. Let q be h(-25). Put -1/8, q, -1/4, 1 in increasing order.
-1/4, -1/8, 1, q
Let f be (((-60)/45)/((-2)/6))/1. Sort f, -4, 3, 0.
-4, 0, 3, f
Let i = 37 + -75/2. Let j = 54 - 68. Sort i, j, 4 in descending order.
4, i, j
Let y = -1119.9 - -1171. Let t = 49 - y. Let p = 2.1 + t. Sort p, -3, -4.
-4, -3, p
Suppose 2*o + 5*l = 47, 2*o = 6*o - 2*l - 34. Let x(h) = 2*h**3 - 23*h**2 + 12*h - 6. Let p be x(o). Sort -1, p, -9.
-9, -1, p
Let b = 0.0306 - 5.0306. Sort -0.1, 5, b, 0.03 in decreasing order.
5, 0.03, -0.1, b
Suppose 8*s = s - 28. Put -6, s, -1 in descending order.
-1, s, -6
Let p = -562 - -483.06. Let d = 79 + p. Sort -2/3, -0.1, d in decreasing order.
d, -0.1, -2/3
Let k = -77.55 - 0.45. Let f = k + 77.5. Sort -1, f, 0, 2/7 in increasing order.
-1, f, 0, 2/7
Let q(u) = -u + 11. Let c be q(11). Suppose s - 2 - 3 = c. Suppose 8*j = -r + 3*j - 15, -5*j - s = 3*r. Sort 1, r, 2.
1, 2, r
Let d = -478 + 482. Suppose 5*n - 2 = -12. Put n, -5, d, 1 in increasing order.
-5, n, 1, d
Suppose -30 = -5*w + 2*t + 3*t, -4*t = 16. Let f be -1 + 0 + 2 + -17. Let k be (-2)/f + 41/(-8). Sort 3, k, w in increasing order.
k, w, 3
Suppose 0*v = -3*v + v. Suppose 5*f - f = 4*m, 3*m = 2*f + 4. Sort m, v, -2.
-2, v, m
Let s = -276 - -276.17. Put -1, s, -0.1, 5 in ascending order.
-1, -0.1, s, 5
Let v = -2161 + 2134. Put 2, 5, v in decreasing order.
5, 2, v
Suppose -2 + 7 = r. Suppose -x - 143 = -4*u, -3*u + 295 = -5*x - 386. Let f be x/18*-4*(-3)/15. Sort 0.2, f, r 