 = 6409/7 + -915. Let x = -16 + 12. Put 1/5, u, x in descending order.
u, 1/5, x
Suppose 123 = -3*x + 4*z, 16*z = -2*x + 12*z - 102. Sort -3, 1, x, 2 in descending order.
2, 1, -3, x
Suppose 0 = -276*m + 281*m - 690. Sort m, -4, 3.
-4, 3, m
Suppose -4*u = 76 - 72. Sort 46, u, -2, 1 in decreasing order.
46, 1, u, -2
Suppose -3 = -3*o, 0 = -4*q + 5*o - 2*o - 107. Sort -2, q, -5.
q, -5, -2
Suppose -a + 6 = s - 0, -3*s = -3. Suppose a*d = d. Suppose d = f + 3*j + 19, 3*f - j + 27 = -4*j. Put f, 1, 0 in descending order.
1, 0, f
Suppose -4*o + d + 7 = 0, 0 = -d - d + 2. Suppose -4 = 2*h - 2*b, o*h + 3*b - 8 = -2. Sort 5, h, 1.
h, 1, 5
Let f(v) = -v + 8. Let r be f(4). Let q = -14 - -41. Let j be (-75)/q - 6/27. Sort -5, r, j in decreasing order.
r, j, -5
Let x = 15.3 + -15.7. Suppose -4*w - 2*q + 3*q - 3 = 0, 0 = 4*q - 12. Let d be w*1/1*-1. Put 0.3, d, x in increasing order.
x, d, 0.3
Let i(x) = x**3 - 4*x**2 - 5*x + 6. Let r be i(5). Suppose -9*t = -r*t - 3. Sort -2, 5, t, 3 in decreasing order.
5, 3, t, -2
Let i = -1423 - -1418. Sort 10, -2, i, 2 in descending order.
10, 2, -2, i
Let g = -107 - -155. Put 0.2, g, -1/4, -2/5 in descending order.
g, 0.2, -1/4, -2/5
Let o be (-2)/(-1) + (3 - 2). Suppose 0 = 5*q + o*q - 24. Let r = 7 + -3. Sort q, -2, r in decreasing order.
r, q, -2
Suppose 2*x - 4 - 2 = 0. Let k be (-3)/(-4)*6/45. Sort 4, x, k in descending order.
4, x, k
Let q = -4.9 - -4.57. Let v = 2.33 + q. Put v, 0.5, -2 in descending order.
v, 0.5, -2
Let i(j) = -j**2 + 10*j + 6. Let q be i(10). Suppose -q*s - 5 = -7*s. Sort 3, 1, s, -1 in ascending order.
-1, 1, 3, s
Suppose 9 - 16 = -7*w. Sort -3, -123, w in descending order.
w, -3, -123
Suppose 111 = 26*s - 19. Sort s, 0, 2 in decreasing order.
s, 2, 0
Let r = 18 + -39. Let b = r + 19.6. Let p = b - -1.7. Put p, -5/3, -2 in decreasing order.
p, -5/3, -2
Suppose -20 = 5*b - b. Let j = 142 + -141.5. Put b, j, -3/7 in descending order.
j, -3/7, b
Suppose -157*f - 26 = -170*f. Put -2/11, f, -1/4, 0.3 in descending order.
f, 0.3, -2/11, -1/4
Let j be (8/(-18))/(80/24). Put j, -2, 0.9, 4 in increasing order.
-2, j, 0.9, 4
Let n = 9.19 + -9.13. Let o = 3 - 3.3. Put n, 4, o in decreasing order.
4, n, o
Let t = 149/15 + -53/5. Let h be 4/6*3 - -2. Suppose h*c + 0*s = s + 5, 2*c + 4*s = 16. Sort c, t, 2/11 in increasing order.
t, 2/11, c
Let b = 725/1426 - 6/713. Sort b, -0.08, -3, 2/11 in ascending order.
-3, -0.08, 2/11, b
Let l = 8 + 27. Suppose -34*z = -l*z. Suppose -r - 15 = -6*r. Put z, r, -1/7 in decreasing order.
r, z, -1/7
Suppose 5*o + 13 = w + 41, -o = -5*w - 92. Let x(j) = j + 1. Let i be x(-6). Put i, 2, w, -2 in descending order.
2, -2, i, w
Let u be (2/6)/(20/15). Let c be ((-14)/56)/(18/(-16)). Sort c, u, 1/49.
1/49, c, u
Let k = -835/9 + 93. Suppose -100 = 73*r - 48*r. Sort 0.4, k, 4, r in descending order.
4, 0.4, k, r
Let t = 0.04 - 5.04. Let l be (5118/28)/(11/(-22)). Let j = -365 - l. Put 0.4, t, j in increasing order.
t, 0.4, j
Let i = -2/21 - 17/42. Let r = 78/41 + -1112/369. Put r, 1, i in decreasing order.
1, i, r
Let r(a) = a**3 + 9*a**2 - 2*a - 13. Let m be r(-9). Let i = m - 8. Sort 2, -1, i, -2 in descending order.
2, -1, -2, i
Let k be 72/30 + (-4)/10 + -3. Let i(b) = 2*b + 6. Let t be i(-5). Sort t, k, -1/6, -0.2.
t, k, -0.2, -1/6
Let d(k) = 6*k - 213. Let j be d(35). Put -11, j, 10 in decreasing order.
10, j, -11
Let t = 259 - 258. Sort t, 4, -5.7 in descending order.
4, t, -5.7
Let p be -3 - (-5 + -6 + 8). Let o(x) = x**3 + 5*x**2 + 5*x + 2. Let f be o(-3). Suppose -5*c = -5*d - 15, -3*d = -f*c - 2*d + 15. Sort p, c, 4.
p, c, 4
Let f = 5 - 4. Suppose -5*j = -10, c - 30 = 5*c + 5*j. Let o be (-6)/(-180) - (-2)/c. Put f, 3, o in descending order.
3, f, o
Let s = 1348 + -1348.4. Put 0.08, 8, s in ascending order.
s, 0.08, 8
Let h = -519 - -517. Sort -4, -2/7, h, -0.2 in increasing order.
-4, h, -2/7, -0.2
Let y be (-4)/(-28)*(-42)/4. Let z = 7 - 7.07. Sort y, 1/13, z, 1 in increasing order.
y, z, 1/13, 1
Suppose 3*h - 3 + 0 = 0, -4*k + 3*h + 13 = 0. Let n be (k + -7)*(-16)/(-6). Let u = -8 - n. Sort 2, -1, u in decreasing order.
2, u, -1
Let s = 54/7 + -284/35. Sort -13, -3/8, s in ascending order.
-13, s, -3/8
Let t be (10 - (-946)/(-99)) + -1. Let x = -1.5 + 0.5. Put x, -0.1, t, 5 in increasing order.
x, t, -0.1, 5
Let y = 28 + -32. Let w = -4 - -5. Let q be (w - (4 - 3)) + -2. Sort 5, y, q in increasing order.
y, q, 5
Let q = 0.04 - 1.54. Let v = 26.5 - q. Let l = 26 - v. Sort 4, 4/3, l in decreasing order.
4, 4/3, l
Suppose 110 = 2*x + 20*x. Sort x, -1, -24.
-24, -1, x
Suppose -5 = -5*h - 4*c + 16, 5*c = 5*h - 30. Suppose -5*g = -g + 12. Sort h, 2, g, 1 in decreasing order.
h, 2, 1, g
Suppose 2*g = -5*h - 1 - 75, g - h = -38. Sort g, 2, 3 in ascending order.
g, 2, 3
Let g = -2 + 5. Let l be (0/g - 2) + 6. Suppose 2*d + 16 = 10. Sort -1, d, l.
d, -1, l
Suppose -5*o - 72 - 143 = 0. Let q = 38 + o. Suppose -b = 2*b. Put -2, b, q in ascending order.
q, -2, b
Let x = 1.9 + -2.2. Let d = 4 - 1. Put d, x, 0 in descending order.
d, 0, x
Let y = -27.3 + 30.3. Sort 13, -0.4, y, -2/3.
-2/3, -0.4, y, 13
Suppose 3 - 7 = w - j, -5*w = -2*j + 8. Suppose 4*t = 2*t - 4. Put t, 6, w in descending order.
6, w, t
Suppose -2*u + 3*w + 2 + 14 = 0, 2*u + w - 8 = 0. Suppose 3*x + 4 = -u, -3*o + x + 15 = 0. Suppose -2 = h, 2*v - h = o*v + 2. Sort v, 3, 2 in decreasing order.
3, 2, v
Let f = -0.303 - -0.3. Let p = -0.203 - f. Put 0.5, -3, p, 1/4 in descending order.
0.5, 1/4, p, -3
Let v(p) = p**3 - 50*p**2 - 3*p + 163. Let q be v(50). Put 5, q, -64 in increasing order.
-64, 5, q
Let q = 83 + -82. Sort q, -1, 0.04, 0.3 in descending order.
q, 0.3, 0.04, -1
Let x = 489 - 488.9. Put 2, -1/3, x, -5 in descending order.
2, x, -1/3, -5
Suppose 0 = -2*w - 3*j - 1, 4*j - 3*j + 7 = -4*w. Suppose 0 = 5*v - 3*y + 40, 2*y = 2*v - y + 25. Let m = -2 + 4. Sort m, v, w in decreasing order.
m, w, v
Let j = 23 + -23. Suppose -5*l = 3*f + 8 - 3, j = -5*f. Let r be 5*1 + (-3 - -1). Sort -2, l, r.
-2, l, r
Let y = -630 - -626. Put 1, 1/4, 9, y in decreasing order.
9, 1, 1/4, y
Suppose -6*x - 3 = -15. Sort x, -6, -10, 1 in increasing order.
-10, -6, 1, x
Let a = -748 - -650. Sort a, 2, 0, -5.
a, -5, 0, 2
Let w = 35 - 40. Sort 2, 5, 7, w in descending order.
7, 5, 2, w
Suppose -2*r + 22 = -4*d, -3*r + 9 = -0*r. Let n = 24 - 24. Put 4, n, d in ascending order.
d, n, 4
Suppose 0 = q - 4*o, 0*o = o - 1. Let a be q/(-10) + (-176)/(-40). Sort -3, 18, a in increasing order.
-3, a, 18
Suppose -378 = 11*z - 8*z. Let c = z - -125. Let i be (3/2)/((-1)/(-2)). Sort 2, i, c in descending order.
i, 2, c
Let q = -574 + 579. Let t(a) = a**2 - 3*a - 1. Let g be t(3). Let h(b) = 2*b**2 + 1. Let i be h(g). Sort q, i, -5 in increasing order.
-5, i, q
Suppose -2*q - 5*p + 1 = -20, 5*q - 9 = 2*p. Let d be 0*(5 + (-54)/12). Sort 5, d, q in descending order.
5, q, d
Let u be -7 - -1*(-150)/(-18). Let c = 0 + -0.4. Put -1/3, -1/5, u, c in descending order.
u, -1/5, -1/3, c
Let o = 0 + 4. Let x(g) = -g + 13. Let k be x(16). Sort o, 5, k, -1 in descending order.
5, o, -1, k
Let g = 325 + -329. Sort -3, g, -2, 2 in decreasing order.
2, -2, -3, g
Let l(y) = -y**3 - 17*y**2 - 2*y - 36. Let v be l(-17). Sort v, -106, 4.
-106, v, 4
Let r(x) = -8*x + 6. Let u be r(0). Suppose 0 = -5*j - 4*g - 20, 2*j + 2 = 2*g - u. Let z be (0 + -2 - -1)/(-1). Put z, j, -2 in increasing order.
j, -2, z
Suppose -11*h - 657 = -668. Sort 5, 69, -4, h in descending order.
69, 5, h, -4
Suppose -z = -f + 3, -4*z - 4*f = f + 30. Let c be z/3 - (1 + 10/(-6)). Sort 4, 5, -4, c in increasing order.
-4, c, 4, 5
Let i = -8 + 8.1. Let j(p) = -1 + p - 9*p + p**2 + 13. Let a be j(7). Put -3/7, a, i in decreasing order.
a, i, -3/7
Let u = -399 + 400. Sort 0, u, -11, -3 in ascending order.
-11, -3, 0, u
Let b = 7.751 - 7.7. Let s = -2.051 + b. Put s, -0.04, -0.2 in descending order.
-0.04, -0.2, s
Let v = 92 - 91.665. Let f = v - 0.005. Let w = f + 2.67. Put -1/2, w, 4 in ascending order.
-1/2, w, 4
Let i = -13913/4 - -3532. Let r = -54 + i. Put r, 2/3, 0.5 in descending order.
2/3, 0.5, r
Suppose 5*f = 9*f - 16. Let p(a) = -a**3 + 4*a**2 + a. Let c be p(f). Let o be (-20)/14 - (-24)/56. Sort -6, c, o in decreasing order.
c, o, -6
Let n = -0.189 + 2.189. Put 11, -0.5, n in