.
-47, k, 13
Suppose 0 = 2*r - 6, 0 = -4*v - r - 294 - 743. Sort 5, 1, v in descending order.
5, 1, v
Let w be (8 - 10)*(-3 + 1). Let i be (-6)/(6/w*-1). Suppose 3*u = 4*t - 10, 5*t = -0*u - 4*u - 3. Sort i, t, -1 in decreasing order.
i, t, -1
Let h = -52 - -51. Let g be (h - (-45)/40)/((-1)/(-2)). Sort g, 1/3, 6, -1.
-1, g, 1/3, 6
Let j = 0.5 - -4.5. Let b = 270 + -272. Put b, 1/2, j, 4/5 in ascending order.
b, 1/2, 4/5, j
Let p = -15.9 - -1.9. Let q = -0.02 + -4.98. Sort 3/4, q, p, -2/3.
p, q, -2/3, 3/4
Let r be 14/10 - (-6)/(-15). Let j be 3*((0 - r) + 0). Let i be (3 - -5)/4*5/2. Put 2, i, j in ascending order.
j, 2, i
Let t be 7/4 + -1 - 783/(-348). Let l be -1*((4 - 2) + 1). Sort l, t, 5.
l, t, 5
Let l(x) = x**2 + 3*x. Suppose -r + 1 = 4*y, -6*y - 10 = 5*r - y. Let p be l(r). Suppose 0 = b + 3 - p. Put -0.4, b, 1/9 in decreasing order.
1/9, -0.4, b
Let j = -6 - 9. Let k = -6 - j. Let f = 8.7 - k. Put 7/6, 5, f in descending order.
5, 7/6, f
Let y = 4.5 - 5.5. Put y, 57, -3/7 in descending order.
57, -3/7, y
Let x = -13 - -18. Let d be -3*5/((-20)/12). Let l = -14 + d. Sort -1, l, x in decreasing order.
x, -1, l
Suppose -8*b + 8 = -12*b - 2*s, -4*b + 2*s = 0. Sort 0, -6, b, 2/5 in descending order.
2/5, 0, b, -6
Suppose -y = -5*h - 22, 5*h + 1 + 27 = -y. Sort h, 1, -318 in decreasing order.
1, h, -318
Let n(o) = -28*o**2 + 198*o - 16. Let p be n(7). Sort 36, 2, p in descending order.
36, 2, p
Let h(x) = x - 8. Let p be 2/(((-8)/14)/(-2)). Suppose 3*k = p*k - 16. Let l be h(k). Sort -5, l, 3 in decreasing order.
3, l, -5
Suppose -3*f + 5*f + 4*b - 28 = 0, 4*f - 40 = -4*b. Suppose 0 = -34*w + 36*w + 4. Sort -0.3, w, f.
w, -0.3, f
Suppose 3*j - 4*b = -0*b + 4, 14 = 2*j + 3*b. Let c(w) = w**3 + 2*w**2 - 5*w - 2. Let m be c(-3). Let q be m/6*(-18)/(-132). Put q, -3, j in decreasing order.
j, q, -3
Suppose 5*a + 20 = 0, 54*g + 40 = 58*g - 5*a. Put -3, g, -176 in decreasing order.
g, -3, -176
Let j be 1*(93/(-33) - 2/11). Let c be (-2 + 9 - 3)*-1. Let n = 2 + 2. Sort c, j, n in descending order.
n, j, c
Let c(d) = -4*d + 30. Let t be c(8). Let r(a) = a**3 - 7*a**2 + a - 10. Let j be r(7). Let f = j + 8. Put t, -3, f in increasing order.
-3, t, f
Let c = -398 + 398.1. Let y = -61/35 - -8/7. Let d = 0.5 + -0.1. Sort y, c, d in increasing order.
y, c, d
Let i = -6 + 8. Let q = -523 + 512. Let a = q + i. Put 2/17, a, 1 in increasing order.
a, 2/17, 1
Let l be (-2)/6 + 38/78. Let s = 9 + -34. Let a = s + 27. Put l, a, 6 in descending order.
6, a, l
Let n = -0.003 - -36.003. Let f = n - 35.7. Put 2, -0.3, f, -2/17 in ascending order.
-0.3, -2/17, f, 2
Suppose 12*b = 6*b - 24. Sort -15, b, 2.
-15, b, 2
Let m = -34.925 + 35. Let s = m + -5.075. Put s, 0, 1 in decreasing order.
1, 0, s
Let f(u) = 2*u**2 - 39*u - 318. Let m be f(-13). Sort 4, m, -5 in ascending order.
-5, 4, m
Let x be 1/(-2 + (0 - -1)). Let f be 1*x*-3*(-2 - -1). Sort -5, -0.4, 3, f in descending order.
3, -0.4, f, -5
Let p be 2/11 - (-20)/11. Suppose -p*d = -4*d. Suppose 5*c + 2*u + 31 = 0, -5*u - 11 = 4. Sort c, d, -3 in decreasing order.
d, -3, c
Suppose -8 = 4*v - 4*a, -4*v + 0*v - 3*a - 1 = 0. Let m(z) = -3*z**2 - 3*z - 3. Let d be m(v). Sort 0.1, 8, d in decreasing order.
8, 0.1, d
Let z be ((-1)/1)/((-13)/975). Let l = 79 - z. Sort -3, 0, l in ascending order.
-3, 0, l
Let g be (-27)/(-18)*16/(-6). Suppose -z + 2 - 4 = 0. Sort -3, -5, g, z in decreasing order.
z, -3, g, -5
Suppose -6*a + 3 = 3*f - 4*a, -2*f = 4*a - 2. Let m = -28 + 18. Let c be 25/(-8 + 3)*8/m. Sort c, 5, f in decreasing order.
5, c, f
Let u = -6.579 - 0.021. Let x = -6.77 - u. Put -0.4, -3, -1, x in descending order.
x, -0.4, -1, -3
Let i(s) = s**2 - 4*s + 5. Let t be i(5). Suppose 0*o + t = 5*o. Suppose -8 = -o*d - 18. Put d, 0, -0.4 in decreasing order.
0, -0.4, d
Suppose -w + 36 = 9. Suppose b = 3*a + 2*a + w, -5*a + 5*b - 35 = 0. Let t = a - 0. Put t, 1, 2 in descending order.
2, 1, t
Suppose 65 + 25 = -3*y. Let n = -152/5 - y. Sort n, -0.2, 4, -1/2 in increasing order.
-1/2, n, -0.2, 4
Let k = -0.814 + -0.256. Let n = 0.77 + k. Sort -2/3, n, -16 in increasing order.
-16, -2/3, n
Let p = 41 - 48. Let w(f) = -2*f**2 - 13*f + 6. Let h be w(p). Put -5, 4, h in decreasing order.
4, h, -5
Let m = -11 + 7. Let p be ((-15)/6)/(((-91)/14)/(-13)). Sort p, 4, m in descending order.
4, m, p
Let a = -227459/3 - -75160. Let x = a - -667. Let k = 68/9 - x. Sort -4, k, -1 in descending order.
k, -1, -4
Let b be -2 + -4*(-5)/(-40)*6. Put -0.3, -0.08, b in descending order.
-0.08, -0.3, b
Suppose 0 = -17*z + 5 + 12. Put z, -122, 0.4, -4 in decreasing order.
z, 0.4, -4, -122
Let p be (-3 + 15 - (-2)/2)*6. Suppose 75*u - 15 = p*u. Sort u, 5, -0.02 in decreasing order.
5, -0.02, u
Let h = 2750 + -2747. Let g be 6*1*2/6. Put h, g, -6 in descending order.
h, g, -6
Suppose -6*y + 2*y + 40 = 0. Suppose 3*s + y + 6 = 2*f, 3*s = 3*f - 12. Sort 5, -3, 0, s in decreasing order.
5, 0, -3, s
Let t = 206 + -205.9. Put -1, 2/11, t, -22 in increasing order.
-22, -1, t, 2/11
Let f be 34/138 + (-6)/(-72)*-4. Sort -1/9, f, -1/16.
-1/9, f, -1/16
Suppose -m - 9 = -2*j, 5*m - j + 33 = 3*j. Suppose 115*q + 2992 = -61*q. Sort -1, m, q in increasing order.
q, m, -1
Suppose 4 = g - 6*g - 2*b, 5*b = g + 17. Let a = -28 - -29. Suppose 4*r + 5 + 11 = 0. Sort a, g, r in descending order.
a, g, r
Let g be (-33)/132*4/3. Put 0.3, -0.1, -18, g in descending order.
0.3, -0.1, g, -18
Let b = -217 - -235. Put -4, b, 4 in increasing order.
-4, 4, b
Let c = 86 - 80. Suppose 3*d - c = 0, -13 = 2*y - 3*d + 1. Sort -2, y, 14 in increasing order.
y, -2, 14
Suppose -2*u - 14 = -4*y, -20 = -4*u - 0*u. Let v be (1 + -1)*3/y. Let s be (1 - (5 + -3)) + (-9)/3. Sort s, v, 2 in descending order.
2, v, s
Let w be 4/(-18) - 40/(-18). Let x(l) = 5*l**3 + l**2 - l. Let c be x(1). Sort c, 0, -4, w.
-4, 0, w, c
Suppose 0 = 17*o - 7*o - 9*o. Sort 11, -4, o, -6 in descending order.
11, o, -4, -6
Suppose 3*q = 64 - 19. Let y = -12 + q. Suppose 0 = m - 5. Put m, 4, y in increasing order.
y, 4, m
Let a = -100.16 - -100. Put 3, a, 4 in ascending order.
a, 3, 4
Suppose -5*z + 5*f = -30, 11 = 4*z - f - 1. Sort -2, 3, z, 24 in ascending order.
-2, z, 3, 24
Suppose -28 = 4*g - 6*f + 3*f, 0 = 4*f - 16. Let j(o) = -o**3 + 6*o**2 - 2*o + 7. Let s be j(6). Sort s, 2, g in increasing order.
s, g, 2
Let i = 223/90 - -1/45. Let a = 13/6 - i. Put a, -1, -0.3, 0.1 in ascending order.
-1, a, -0.3, 0.1
Let o be -4 + 0 - 0/1. Suppose 3*q = -3*f - 11 + 2, -5*q = -4*f - 3. Let u(d) = d**3 + 4*d**2 + 3. Let g be u(-4). Put f, g, o in increasing order.
o, f, g
Suppose -2*z + d + 3 = 29, -d - 4 = 0. Let t be z*(2 - (-14)/(-6)). Sort t, 2, 4 in decreasing order.
t, 4, 2
Let p be -2 + (42/6 - 0 - 6). Sort 8, 1, p, 3 in increasing order.
p, 1, 3, 8
Let h be (-3)/1 - -2 - 5. Let x be 9/((-2)/h*3). Suppose 0*f + 5*i - x = -f, -5*i + 1 = -f. Sort -3, 0, f in increasing order.
-3, 0, f
Let m = -669 + 647. Put m, -2, 2 in increasing order.
m, -2, 2
Let q = -194.3 - -194. Sort q, -0.4, -37, 4.
-37, -0.4, q, 4
Suppose -3*m = m. Let j = 1.6 + 16.4. Let r = j - 17. Sort r, m, -2/17 in descending order.
r, m, -2/17
Let q = -22 - -26. Suppose -5*y - 3*g + q = 0, -14 = -3*y + 2*g + 2*g. Sort -0.2, y, 2/7.
-0.2, 2/7, y
Let s = 8.5 - 8.5. Let j = -2.8 + 3. Sort j, s, -0.1 in ascending order.
-0.1, s, j
Suppose 0*g + 5*g + 15 = 0. Let m be (-3)/2*20/(-15). Suppose 3*o - 5*l = -4, 0 = 4*o - 0*l - 5*l + m. Sort o, g, 5.
g, o, 5
Suppose 0 = -q + 1, -4*o + 4*q + q - 1 = 0. Suppose 2*r - 2 - 4 = -3*v, -4*v = 2*r - 6. Sort o, -6, r in increasing order.
-6, o, r
Let p = 0.9 + -1. Let g = -0.0684 - -4.0684. Sort 1, g, p, 3 in descending order.
g, 3, 1, p
Let z(d) = -d. Let u(x) = -x + 2. Let q(y) = -u(y) + 4*z(y). Let v be q(1). Put -4, -3, v in increasing order.
v, -4, -3
Suppose -3*b - 207 = -4*s, -67 - 57 = 2*b + 2*s. Sort b, -0.1, 0 in increasing order.
b, -0.1, 0
Let m = -84 + 79. Put -3, 4, -22, m in decreasing order.
4, -3, m, -22
Let t(h) = 3*h - 1. Let j be t(-5). Let n(r) = r**3 + 15*r**2 - 17*r - 17. Let v be n(-16). Let m be (-5)/(140/j) + v. Put -4/7, -2/23, m in ascending order.
-4/7, m, -2/23
Let z(v) be the first derivative of -v**2/2 - 4*v + 7. Let p be z(-4). Sort -7, 4, p.
-7, p, 4
Let d = 195 + -195.2. Sort