.
3, t, y
Suppose -5*z + 5*a = 0, 3*z - 502*a = -507*a + 48. Put -1, 4, -2, z in ascending order.
-2, -1, 4, z
Let a be (-262813)/3908 - (-1)/(-4)*7. Sort -2, 71, 0, a.
a, -2, 0, 71
Let d = -8981 + 8940. Put 5, d, 2, 11, 4 in decreasing order.
11, 5, 4, 2, d
Suppose 1041 = -11*b + 1085. Sort b, -5, -11.
-11, -5, b
Let c be 14 + 0 + -22 + 18. Put c, 1, 0.8 in ascending order.
0.8, 1, c
Let b(r) = -63*r**3 - 1. Let m be b(-1). Let o = m - 62. Put 1, 3, -5, o in descending order.
3, 1, o, -5
Let s be (-4)/(-28) - (-54)/14. Let f = 1494 + -1508. Sort 3, s, f, 0.4.
f, 0.4, 3, s
Let j = -2449 - -2454. Suppose 5*b - 27 - 76 = -2*y, 205 = 5*y + 2*b. Sort y, j, 2 in decreasing order.
y, j, 2
Let s = 1460 + -1457. Put 0, 21, s, -2 in increasing order.
-2, 0, s, 21
Let p(k) = 2*k**3 + 100*k**2. Let l be p(-50). Let v = 250326/155 - 1615. Sort -0.3, l, v in ascending order.
-0.3, l, v
Let p = -5957 + 5956.8. Put 19, -4, 0.4, p in increasing order.
-4, p, 0.4, 19
Let j = 835.5 + -817.5. Sort -1, -1/198, j in descending order.
j, -1/198, -1
Suppose -29*d = -17*d - 24. Let i(q) = -6*q - 98. Let r be i(-18). Put 5, 0, d, r in descending order.
r, 5, d, 0
Suppose 869*c - 866*c = -1362. Sort 5, c, -7.
c, -7, 5
Let d = -173 - -175. Let s be -3 - -4 - (6/d - 37). Put -4, s, 4, -1 in increasing order.
-4, -1, 4, s
Suppose 5*g = -5*m + 15, -4*g + 0 + 16 = 5*m. Let f(w) = -w**3 - 13*w**2 + 14*w - 11. Let q be f(-14). Sort q, m, 5.
q, m, 5
Let h = -679/2 - -339. Suppose 0 = -24*z + 21*z - 3. Put z, 1/2, -2/9, h in increasing order.
z, h, -2/9, 1/2
Let w(t) = -t**3 - 93*t**2 - 678*t + 173. Let k be w(-85). Put -63, k, 6 in decreasing order.
6, k, -63
Let j be 40/60*27/3. Suppose 5*o - 16 = -d - d, -3*d - 3*o + j = 0. Sort 2, -1, -183, d in increasing order.
-183, d, -1, 2
Suppose 13*i - 10 = 16*i - 2*p, 0 = -4*p + 8. Sort 4, 409, i in ascending order.
i, 4, 409
Let h be (11 + -10)*(-2)/6. Let q = 11.94 + -12.94. Sort -2, q, h, 0.2 in descending order.
0.2, h, q, -2
Let l(c) = c**2 + 28*c + 116. Let z be l(-23). Let m be (4*(-4 - 21/(-6)))/2. Put -3, m, z, -4 in descending order.
z, m, -3, -4
Let k = 1777.1 - 1777. Put -0.4, -0.8, k, 6 in descending order.
6, k, -0.4, -0.8
Suppose 5*j + 64*p - 104 = 68*p, 3*p = -5*j + 132. Suppose -4*i + 2*a = 22, j - 21 = 3*a. Sort 2/9, i, 60.
i, 2/9, 60
Suppose -b = 3 + 6. Let d be (1 + 0)*(b + 4). Suppose 3*k - 38 + 23 = 0. Sort -4, k, d.
d, -4, k
Let m = 4 + -3. Suppose 5*v = -2*d - 29, 6*d - d + 5 = v. Let w be ((-15)/(-24))/(v/(-40)). Sort -6, m, w, 4 in ascending order.
-6, m, 4, w
Let z = -328 - -331. Suppose d + 3*s = 2, z*d + 13*s = 10*s + 6. Put 5, d, 48 in descending order.
48, 5, d
Let k = -3985.3 - -3986. Put k, -0.3, 0.6, 2/7 in increasing order.
-0.3, 2/7, 0.6, k
Let f = 876 - 902. Let k be ((-12)/(-24))/((-1)/6). Put f, 2, 5, k in decreasing order.
5, 2, k, f
Let u = 54413/38 + -1432. Let b = u - 143/114. Let a = 3.5 + -3.2. Put 2, b, a, 4 in decreasing order.
4, 2, a, b
Let g = 21 + -144. Let u be 82/g - (-52)/6. Put 4, u, 0 in decreasing order.
u, 4, 0
Suppose 0 = 5*z + 5 + 20. Let h = -41477 + 41480. Put h, 1, 6, z in ascending order.
z, 1, h, 6
Suppose 52 = -0*f + f. Let l = 50 - f. Sort -4, l, -1 in ascending order.
-4, l, -1
Suppose 5100 = -258*m + 292*m. Sort m, 4, 1, -5.
-5, 1, 4, m
Let m = 2998 - 2997. Let c = 58 + -64. Sort c, 54, m in decreasing order.
54, m, c
Let a(v) be the first derivative of v**4/4 - 2*v**3 + 3*v**2 + 4*v - 14. Let d be a(3). Sort -4, d, -23 in descending order.
-4, d, -23
Let y(j) = 4*j - 12. Let c(g) = g**3 - 7*g**2 - 18*g + 4. Let s be c(9). Let u be y(s). Put -4, u, 50 in ascending order.
-4, u, 50
Let p(i) = -5*i - 2*i + 3*i - 10 + 6*i. Let m be p(6). Let f be (-22)/8 + m/(-8). Sort -1, -4, f, -5.
-5, -4, f, -1
Let b = 410 + -6968/17. Let n = -4/563 + 1705/2252. Put b, 1, n, -19 in ascending order.
-19, b, n, 1
Suppose 6 + 42 = w. Let g be 6/10 - 1 - w/30. Sort 0, -1, g, 2 in descending order.
2, 0, -1, g
Let r be 55/(15 + -10) + 10/(-1). Sort -85, 0, -4, r.
-85, -4, 0, r
Let s be 9 + ((-585)/21)/3. Put -6.06, -1/4, s in ascending order.
-6.06, s, -1/4
Let l = -1513 + 1511. Sort 1, 5, 2, 45, l in ascending order.
l, 1, 2, 5, 45
Let u = 1992 + -1995. Sort -0.1, -0.4, 5246, u in decreasing order.
5246, -0.1, -0.4, u
Let c = 69.017 - 68.817. Let o be 116/(-36) - 4/(-18). Put 60, c, o in descending order.
60, c, o
Suppose 3267 = -5*j - 22*j. Let v = j + 122. Put -4/7, -0.3, v, 2 in decreasing order.
2, v, -0.3, -4/7
Suppose 0 = 15*c - 21*c. Let g = -2342 + 2338. Sort -29, 5, g, c.
-29, g, c, 5
Let c = 1 - 4. Let i = c - -1. Suppose -4*j = 36, 131*j - 45 = -5*h + 136*j. Sort i, h, 2.
i, h, 2
Suppose -4*t = -0*t + 4*k + 8, t = 4*k + 23. Suppose 5*d = -t*o + 68, -5*o - 5*d = -o - 99. Let x = o + -28. Put x, 7, 4 in decreasing order.
7, 4, x
Let g(h) = 3*h**2 + 3*h + 1. Let o(c) = -7*c**2 - 7*c - 2. Let r(u) = -9*g(u) - 4*o(u). Let f be r(2). Suppose -1 = -4*i - f. Sort -29, -2, i.
-29, -2, i
Suppose -4*y = n + 381, -2*y + 124 = -4*n + 346. Put y, 3, 0, -5 in decreasing order.
3, 0, -5, y
Let n = -3258 + 3253. Sort 1, -0.11, n, 65.
n, -0.11, 1, 65
Suppose 27*f = 41*f + 5754. Let h = f - -426. Sort -3, -1, h, 2 in increasing order.
-3, -1, 2, h
Let p = 1.9 + -72.9. Let l = -619 - -687. Let b = l + p. Sort b, 2/7, 2/11, -0.4 in descending order.
2/7, 2/11, -0.4, b
Suppose 24*p = v + 19*p + 22, 26 = -3*v + 5*p. Put 9, 2, v, -1 in decreasing order.
9, 2, -1, v
Let v be ((-258)/24252)/((-7)/4 + 2). Let q = -113/319 - -5/29. Sort 3, q, v in decreasing order.
3, v, q
Let s(x) = 2*x**2 - 6*x + 10. Let u be s(5). Let t = u - 32. Let n be ((-2)/(-3))/(((-126)/(-81))/7). Sort t, n, 0, -4 in descending order.
n, 0, t, -4
Let l = 3493 + -3488. Sort -2, 4, 0, 9, l in increasing order.
-2, 0, 4, l, 9
Let t = -42 - -24. Let g = t - -17. Let p be -2 - (11/(-6) + g/2). Sort 3/5, -4, p, -0.6.
-4, -0.6, p, 3/5
Let p = 11 - 8.3. Let j = p + 2.3. Let v = -724 - -719. Put j, 11, v in descending order.
11, j, v
Let h be ((-20)/6)/(((-10)/(-6))/(-5)). Suppose 7 = -p + h. Sort p, -5, 4.
-5, p, 4
Suppose -w - 5*w + 762 = 0. Suppose w - 12 = -5*v. Let m be 22/(-55)*(-5)/v. Sort 2/5, -5, m in decreasing order.
2/5, m, -5
Let x = 4890 + -4890.5. Let j = -0.66 - -0.7. Let u = j - 0.07. Put x, u, -0.4 in ascending order.
x, -0.4, u
Suppose 0*n = 4*n - 108. Let s = 37391 - 37391. Put -2, s, n in descending order.
n, s, -2
Let n(h) = -h**2 - 28*h - 32. Let m(t) = 27*t + 108. Let s be m(-5). Let j be n(s). Suppose -36 + 2 = 2*l. Sort 3, j, -2, l.
l, j, -2, 3
Let t be (-19)/(-1140)*-138 + (-3)/(-10). Let f = 5 - 4. Let q be f*(-1 - (1 - 1)). Sort 0, t, -3, q.
-3, t, q, 0
Let s = -2 - 0. Let v(f) = -716*f + 721. Let a be v(1). Sort 1, 0, s, a in decreasing order.
a, 1, 0, s
Let i(d) = 11*d - 1. Let b(y) = 7*y - 1. Let m(h) = -8*b(h) + 5*i(h). Let g be m(4). Let c be ((-8)/10)/((-1)/(-5)). Sort g, c, -7.
-7, c, g
Let l = -4 - -4.4. Let y be ((-96)/(-16))/((-4)/8 + 63/6). Sort 0.08, -0.1, l, y in increasing order.
-0.1, 0.08, l, y
Suppose 4*p - 117*a + 28 = -116*a, 0 = 4*a. Put p, -276, 4 in ascending order.
-276, p, 4
Suppose 2*b = 3*a + 2*a + 55, 0 = a - 3. Let p = -69/2 + b. Put -14, -0.4, p in decreasing order.
p, -0.4, -14
Let i(r) = 2*r**2 + 28 - r**2 - 27 - 7*r + 5*r**2. Let y be i(1). Sort y, -1/2, 4, 5.
-1/2, y, 4, 5
Let f = 26.823 - 29.823. Let u = -0.01 + 4.01. Sort f, 1, u in decreasing order.
u, 1, f
Suppose 4 = 2*i + 90. Let t = 38 + i. Let l = 8 - -2. Put -3, 1, l, t in increasing order.
t, -3, 1, l
Let a = -179 - -118. Let o = -97 - a. Let p be ((-4)/o)/((-3)/18). Sort -5, 4, p, 2/3.
-5, p, 2/3, 4
Let f(q) = -q**2 - 8*q. Let d be f(-8). Let r = d - -5. Let z(k) = -k**3 + 3*k**2 + k - 1. Let g be z(3). Sort -2, r, g, 12 in descending order.
12, r, g, -2
Let h = -196 - -184. Sort 0, h, -2, -3, -7.
h, -7, -3, -2, 0
Let o be (-13)/(-4 - 30/12). Sort 232, o, 4, -5, -3 in decreasing order.
232, 4, o, -3, -5
Suppose -5*p + 103 = 13. Let y = -11 - -14. Suppose 1 = 12*u + 25. Put u, p, y, 5 in ascending order.
u, y, 5, p
Let u = -571 - -600. Put -2, u, 2, -37 in descending order.
u, 2, -2, -37
Suppose 4 = -2*b, 0*z - 18 = 2*z + 3*b. Let x = z + 0. Let f = 1297 + -1292. Put 4, f, x, -3 in increasing order.
x, -3, 4, 