r.
x, 0.29, i
Let u be 5 + -1 + 3 + (-20 - 7). Put -4, u, 10 in decreasing order.
10, -4, u
Suppose 4*q + 3*s + 21 + 7 = 0, 5*q = 5*s. Let i = 31 + -31. Put -2, -11, q, i in increasing order.
-11, q, -2, i
Let j = -1.0015 - -0.3015. Put -2/31, -2/17, j in ascending order.
j, -2/17, -2/31
Let p(n) = -45*n - 122. Let u be p(13). Let x = u - -715. Sort 2/15, x, 5 in increasing order.
2/15, 5, x
Suppose -8*b + 4*b - 16 = -m, -3*b - 25 = -4*m. Let t = -0.5 + 2.5. Let q = 2 - t. Sort q, m, -2 in increasing order.
-2, q, m
Suppose -85 = -4*v - 5*i, 40 = 3*v - 2*v + 5*i. Sort v, -4, 227 in ascending order.
-4, v, 227
Let w be (66/55)/(54/16 - (-81)/(-216)). Suppose 0 = 2*j - 5*j + 9. Sort w, j, -3/25 in descending order.
j, w, -3/25
Let d be 2*-5 - 2300/(-200). Sort 5, 1, d, 10 in increasing order.
1, d, 5, 10
Let k = -6 - -5.8. Let o be -2 + (-6 - -5) + (-29)/5. Let h = 562/65 + o. Put h, 5/4, k in ascending order.
k, h, 5/4
Let a be (5/2)/(7/14). Suppose a = -6*c + c. Let x = -15597 - -15580. Put x, 5, c in decreasing order.
5, c, x
Let h = -4358 + 82800/19. Sort h, 41, 0.2, 1/8.
h, 1/8, 0.2, 41
Let l(i) = -3 - 9 - 22*i**2 - 19*i + 23*i**2. Let h be l(20). Suppose -g - 18 = h*g. Sort 8, g, 2 in decreasing order.
8, 2, g
Let g be 0 - (0/(-1) + 3). Let o = 26392 + -26397. Let q be (-2)/(-2)*9/(-12). Put g, 1/3, q, o in ascending order.
o, g, q, 1/3
Let k(h) = -h**3 - h**2 - 8*h + 9. Let l be k(1). Let z be l/(-2)*((11 - 14) + -7). Put 4, z, -3, 16 in ascending order.
z, -3, 4, 16
Let d(r) = -r**3 + 23*r**2 - 25*r + 69. Let o be d(22). Suppose -a - 4*l = -26, 0*a - a - 3*l = -23. Suppose a*n = 10*n. Sort n, o, 6 in decreasing order.
6, o, n
Let c be (-4)/(-42)*3*-1. Suppose -91*a - 640 = -731. Sort c, a, 0, -1/2.
-1/2, c, 0, a
Let y = -7 - -12. Let x = 32.52 - -332.18. Let d = x - 365. Sort y, d, -0.07 in descending order.
y, -0.07, d
Suppose 209*k - 203*k - 330 = 0. Suppose 19*f - k = 8*f. Sort -3, 0.4, f in ascending order.
-3, 0.4, f
Let z = -226 + 230. Suppose -84 - 366 = -9*q. Sort q, z, -5.
-5, z, q
Suppose 63*b = 7*b. Sort 3, -5, 26, b in decreasing order.
26, 3, b, -5
Suppose 4*o = 2*o. Let h(z) = -4*z**2 + 25*z + 4. Let m be h(-7). Let n = m - -366. Put n, 3, o in descending order.
3, o, n
Let q be ((-282)/(-611))/((15/(-130))/(-1)). Sort q, -2, -1, -11 in decreasing order.
q, -1, -2, -11
Suppose 25 = 5*w, 11*q + 7*w = 11*w - 4409. Sort q, -3, 1, -1 in increasing order.
q, -3, -1, 1
Let b = -9331/17 - -549. Sort 0.1, 1/178, 5, b, 2/9 in descending order.
5, 2/9, b, 0.1, 1/178
Let a = -1041 + 1042. Let i = -488.9 - -489. Sort -5, a, i in decreasing order.
a, i, -5
Suppose 51 = 5*x + 231. Let t be 1*-74*(-2)/(-4). Let d = t - x. Put -4, d, -5, 2/7 in ascending order.
-5, -4, d, 2/7
Let j = 10.584 + -10.554. Put 5/6, j, 1 in increasing order.
j, 5/6, 1
Let a be (1*1/(-30))/((-2214)/5535). Sort -1/3, -0.0109, a in increasing order.
-1/3, -0.0109, a
Let o be (6/(-18) - 29/435)/(21/(-5)). Sort o, -1/17, -2/3.
-2/3, -1/17, o
Let j = 120 + -51. Suppose -65*k + 4 = -j*k. Sort 0, 3, -4, k in decreasing order.
3, 0, k, -4
Suppose v + 5*p = -3*v - 61, 3*v + 5*p + 47 = 0. Let n = 2068.46 + -2065.46. Sort -2/3, n, v, -2 in descending order.
n, -2/3, -2, v
Let b be (0/(-3))/(-14 + 12). Sort 1/2, 3, 234, b in ascending order.
b, 1/2, 3, 234
Let m be (-2)/2*(-1)/3. Let x be (19/(-76)*(0 + 10))/(-7 - 3). Put m, 3/10, -1, x in descending order.
m, 3/10, x, -1
Let q = 69 - 73. Let x = -13 - -17. Suppose 0 = 3*z + 5*i - i - 37, 53 = 3*z - x*i. Sort z, -2/11, q in increasing order.
q, -2/11, z
Let z(b) = 5*b**2. Let r be z(1). Suppose -3*c + r = -7. Let h be (-6)/(-14) + 0 + (-18400)/(-4025). Sort c, 2, -23, h in increasing order.
-23, 2, c, h
Suppose -3*a + 21 = -2*l + 3*l, 11*a = 3*l - 3. Let r(t) = t + 2. Let j be r(-6). Let d be (4/(-6))/((-1)/j). Sort d, a, -0.2, 1 in increasing order.
d, -0.2, 1, a
Let c = 10155/19 + -40601/76. Let i(j) = -j + 7. Let k be i(3). Let h = 6 - k. Put h, -1/4, c in increasing order.
-1/4, c, h
Let p = -5825 + 5840. Sort -1, 5, -3, -2, p.
-3, -2, -1, 5, p
Suppose 0*t - 12 = -4*t. Let a be 2 - 6 - (-132)/12. Suppose 2 = t*c - a. Sort -2, -21, c in ascending order.
-21, -2, c
Let c be (3 + -2)/(-2)*616/462. Let b = -7 + 7.003. Put c, -1, b in decreasing order.
b, c, -1
Let v = 10824 + -75760/7. Put v, 6, -5, -1 in ascending order.
-5, -1, v, 6
Let x(l) = -l**3 + 5*l**2 + 15*l - 8. Let j be x(7). Suppose -k + 4 = -t, 2*t + 0*k + 2*k = -4. Sort j, t, -5 in decreasing order.
j, t, -5
Let o = -291.138 + 291.1. Sort o, 5, 2, -3.
-3, o, 2, 5
Let o = -254715/644 + 2764/7. Let w = 3/4 + o. Put w, 5, 1/5 in descending order.
5, 1/5, w
Let r = -83.8 - -83.4. Put -1/2, -0.06, -2, r, -0.3 in ascending order.
-2, -1/2, r, -0.3, -0.06
Let i = 594.678 - 530.8. Let s = 0.122 + i. Let p = -67 + s. Sort p, 3/7, 56.
p, 3/7, 56
Suppose -4*n + 12 = 0, -1295*b + 1294*b = -4*n + 7. Let c = -149 + 233. Sort 2, b, c in descending order.
c, b, 2
Suppose -5*c + 4*l + 25 = 0, -4*c = -2*l - l - 20. Suppose -2*t - 3*y + 47 = 0, -t = 19*y - 22*y - 19. Put c, 3, -5, t in decreasing order.
t, c, 3, -5
Let w(n) = -135*n + 1089. Let a be w(8). Sort a, 0, 5.
0, 5, a
Let m = 22491 - 22503. Sort -21, m, 4, -3/10, -1.
-21, m, -1, -3/10, 4
Suppose 9*x = 6*x + 3. Let j be 23/(-69) + x + (-52)/(-3). Let n be 8/28 - 0 - j/14. Sort -2, 26, n in ascending order.
-2, n, 26
Let k be 2/(-2) + 107 + -87. Sort -1, -9, k, -2, -4.
-9, -4, -2, -1, k
Suppose 0 = 10*t - 16*t + 4*a + 4, t = -4*a + 10. Sort 331, t, 5 in decreasing order.
331, 5, t
Let s = 87.7 + -89. Let a = 1.28 + s. Put 1, -5, a in decreasing order.
1, a, -5
Let q be 126/81*(-9)/(-2). Let s(m) = m**3 - 10*m**2 + 17*m + 24. Let f be s(q). Let u be (2 - 11/5)/1. Sort u, -0.04, 2/21, f in decreasing order.
2/21, -0.04, u, f
Let c(n) = -n**2 + 22*n - 1. Let j be c(22). Let r be ((-18)/(-4)*(-14)/(-21))/j. Put -0.3, r, -15 in descending order.
-0.3, r, -15
Suppose 22*o + 48 = -231 - 7. Sort o, -5, -135 in decreasing order.
-5, o, -135
Let d = 32836 - 32834. Put 4, -4, -5, d, 1/6 in ascending order.
-5, -4, 1/6, d, 4
Suppose 6410 = 14*b - 9*b. Suppose -b = 4*w - 1270. Put 18, -2, w in decreasing order.
18, -2, w
Let g(t) = 11*t - 118. Let o be g(11). Let y be (-27)/(-108)*o/(-1). Let i = 0 + -1. Sort i, y, 13 in increasing order.
i, y, 13
Let d = -2471 - -2467. Let v be 1*-3*(-4)/3. Put 3, v, 54, d in decreasing order.
54, v, 3, d
Let m(r) = -r**2 + 1502*r + 6039. Let k be m(-4). Put 2, 1/6, 0, k in descending order.
k, 2, 1/6, 0
Let r = -8876.4 + 8876. Sort 7/5, 0.4, r.
r, 0.4, 7/5
Let j(t) = -2*t**2 + 49*t + 48. Let k be j(-1). Sort -594, 0, k in ascending order.
-594, k, 0
Let c = 376 - 371. Suppose 5*m = -5*z - c, -6*z + 9*z + 19 = m. Sort -3, m, 24 in descending order.
24, m, -3
Let v = 10 - 5. Suppose q = -m - 3 - 0, 0 = -v*m + 4*q - 6. Let p be (16/8)/(1*(m - -1)). Put 4, 2, 1, p in decreasing order.
4, 2, 1, p
Suppose 1270*r = 1322*r + 260. Let h = 0.05 - 0.85. Let t = -1 - h. Sort 4, r, t in decreasing order.
4, t, r
Let n = -395 - -404. Let k = 14 - n. Suppose -3*z + 10 = 25. Sort k, z, 3.
z, 3, k
Let a = 3783.2 - 3783. Sort 2/5, 5, a, 17.
a, 2/5, 5, 17
Let w = -13149 - -92041/7. Put 8, -44/9, w, -1 in descending order.
8, w, -1, -44/9
Let o = -1544 - -1539. Put 12, o, -4 in ascending order.
o, -4, 12
Suppose -2*y - p - 168 = 0, -2*y + 5*p - 435 = 3*y. Let o = y + 937/11. Let f(x) = -x**2 - 5*x - 5. Let v be f(-5). Put 4/7, v, o in descending order.
4/7, o, v
Let j = -9.296 + -0.304. Let g = -10 - j. Sort g, -1, 7, 0.1 in descending order.
7, 0.1, g, -1
Let r(k) = -k**2 - 10*k - 15. Let c be r(-8). Let y be (-2)/(-2) + (-4)/2. Suppose 4*n + 12 = -f - 0*f, -16 = 3*f + 2*n. Sort f, y, c in descending order.
c, y, f
Let m = 30.6 + -35. Let k = m + 4. Suppose 0 = j + 5, 4*u - 8*j = -4*j + 48. Sort k, 5, u.
k, 5, u
Let i(g) = 4*g**3 - 2*g**2 - g + 4. Let o be i(0). Sort -4, o, -19 in increasing order.
-19, -4, o
Let m(o) = 4*o**3 - 2*o**2 + 1. Let z be m(1). Let w be -2*z/6 + 3. Suppose -w*r + 5 = 3. Put r, -1/15, 1/8 in decreasing order.
r, 1/8, -1/15
Let f(l) = l**3 + 3*l**2 - 2*l + 2. Let x be f(0). Suppose 0*w - 3*w - 5*o + 26 = 0, 2*o - 14 = -3*w. Suppose -m - w*m = 6. Put -7, m, x, 4 in ascending order.
-7, m, 