= -5*k + 2. Let q(n) = -11*n + 3. Let j(a) = 13*h(a) - 6*q(a). Let s be j(-4). Put s, l, 0 in decreasing order.
s, 0, l
Suppose -4*w - 5*k = -0*w - 22, 4*w + 3*k = 18. Suppose -10 = 4*t + 2*r, -3*t + 6 = -w*r - 0. Let x be ((-9)/t)/3 - -2. Sort x, 4, -4.
-4, 4, x
Suppose b + 25 = -4*b. Put b, -3, 3 in descending order.
3, -3, b
Let m(y) be the second derivative of y**4/12 - 3*y**3/2 - 3*y**2 + 2*y. Let s be m(10). Sort 2, s, -2 in ascending order.
-2, 2, s
Let m = -3 - -7. Let q = m + -4. Put 3, -5, q in decreasing order.
3, q, -5
Let s(t) = -7*t**2 - 26*t + 8. Let d be s(-4). Sort 4, d, -6 in ascending order.
-6, d, 4
Suppose -2*f + 5 = -3*o, -16 + 3 = o + 5*f. Sort 0, o, -5, -15 in descending order.
0, o, -5, -15
Let c = 0.29 - 0.09. Let m be 4/14 - (-32)/(-14). Let b be 1/(-12) + m/8. Sort 4, c, b in decreasing order.
4, c, b
Let u = -19 - -28. Let x = u - 5. Put -2, x, 2 in descending order.
x, 2, -2
Let u = 1.6 - 17.6. Let x = -15.6 - u. Sort 7, x, -2/5 in descending order.
7, x, -2/5
Suppose 5*t = 21 + 4. Suppose -6*r - 5 = -t*r. Sort 2, 4, r.
r, 2, 4
Let x(s) = s**2 + 5*s - 9. Let d be x(-7). Put d, 16, -2 in descending order.
16, d, -2
Let z = 14.93 + -15. Let w = z - 3.93. Let r = -0.2 - 0.3. Sort r, w, 2/5.
w, r, 2/5
Let s = 0.258 - 0.058. Let d = -1.8 + 2. Let j = d - 0.2. Sort s, j, -3.
-3, j, s
Let o be (3/(-2))/(21/(-28)). Sort o, -5, 0 in decreasing order.
o, 0, -5
Let q = 18.6 + -19. Let i = -1.4 - q. Sort i, 2/17, -0.5.
i, -0.5, 2/17
Let y = 5 + -8. Let i be -3 - y - (3 + -1). Suppose t = -6 + 1. Sort 5, i, t in descending order.
5, i, t
Let w be (-35)/14 - (-2)/4. Sort 0, -3, w in descending order.
0, w, -3
Let c = -5.1 + 1.1. Put c, 0.3, -1/2 in decreasing order.
0.3, -1/2, c
Let p = -75 - -299/4. Put 0.4, 1/2, p, 3 in descending order.
3, 1/2, 0.4, p
Suppose -x = 3*x. Sort 4, 2, x.
x, 2, 4
Let i = 0.025 + -0.125. Put -11, i, -2/7, -1/6 in decreasing order.
i, -1/6, -2/7, -11
Suppose 2*z = 4*y + 6*z - 12, 2*z = 5*y - 29. Put -2, y, -1 in increasing order.
-2, -1, y
Suppose 0 = -5*g - 0*x - x - 25, -2*g = -5*x - 17. Sort 6, g, 0.2 in descending order.
6, 0.2, g
Suppose 3*a + 3*s - 21 = 0, -s = 4*a - a - 11. Suppose g + c - 27 = -2*g, 8 = a*g + 4*c. Let n be 16/20 - (-2)/g. Sort 2/9, n, 1/2 in ascending order.
2/9, 1/2, n
Suppose -155 - 45 = -8*h. Put 5, h, -1, -4 in decreasing order.
h, 5, -1, -4
Let r = 29 + -56. Let d be 6/r + 86/(-18). Put 0.3, d, 4 in ascending order.
d, 0.3, 4
Let o = 18 - 26. Let h = 6.1 + o. Let x = h + 2. Sort x, 2, -5 in increasing order.
-5, x, 2
Suppose -3*c = -7*c + 5*r - 29, 26 = -5*c - 4*r. Let h = -5 - c. Let n be (-1)/10*-1*2. Sort h, n, -5 in descending order.
h, n, -5
Let f = -21 - -24. Let q be (8/10)/((-1)/5). Sort -3, f, q.
q, -3, f
Let g = -4.5 - -4. Let a(d) = d**2 + 3. Let l(c) = -c**3 - 10*c**2 - 9*c. Let p be l(-9). Let f be a(p). Sort g, f, -2/15.
g, -2/15, f
Let r = -4 - -8. Suppose -b + r*b + 6 = 0. Let x be (-9)/(-27) + b/(-4). Sort -3/4, x, -1 in descending order.
x, -3/4, -1
Let h(l) = l**2 + 2*l - 2. Let d be h(-3). Let y = -9 + 14. Put d, -4, y in ascending order.
-4, d, y
Let f = 11.96 - -0.04. Let v = 15 - f. Sort -2, 1, v in decreasing order.
v, 1, -2
Suppose 4*y = -4*x + 24, x + 12 = 4*y - 2. Suppose -3*z + v + 12 = 0, v + 7 = x*z - 0*v. Sort z, -3, 3/2 in ascending order.
-3, 3/2, z
Let q = 378 + -373.09. Let f = 0.7 + -0.61. Let w = f + q. Sort w, -3, -1/8.
-3, -1/8, w
Let n be 3 - -57*(-4)/84. Sort 4, 1, n.
n, 1, 4
Let k = 257 - 2053/8. Let d = k - 1/8. Sort d, 3, -0.07 in decreasing order.
3, d, -0.07
Let x = -1.8 + 1.7. Put x, 3/2, 1/2, -2 in descending order.
3/2, 1/2, x, -2
Suppose 5 + 4 = 2*y - 3*x, 3*y - 3*x = 12. Put 2, y, 0.3 in ascending order.
0.3, 2, y
Let b = 5607034610491774879/25626728731429439550 + 47778/184398940025. Let v = b + -90/72157. Let x = v - -1/214. Sort x, 0.4, 5 in descending order.
5, 0.4, x
Let q = 1 - 6. Let k = q + 5.3. Sort 5, 3/5, k in ascending order.
k, 3/5, 5
Let g = -0.209 + 0.109. Sort g, -10, 0.2, -2/3 in decreasing order.
0.2, g, -2/3, -10
Let j = -13 - -9. Put -0.11, j, 1/3 in descending order.
1/3, -0.11, j
Suppose -5*v + 4 + 11 = 0. Suppose 2*p - v*l = 5, -5*l + 16 = 3*p - l. Sort -1/2, -2/3, p in descending order.
p, -1/2, -2/3
Let x = 0.04 - -4.96. Let o be 1/(-4) - (-124)/(-16). Let v = o + 8. Sort v, 2, x in decreasing order.
x, 2, v
Let n = 41/33 + -10/11. Put n, 0, 4, -1/7 in increasing order.
-1/7, 0, n, 4
Let d = 49 + -53. Sort 0.2, d, -1, 0.5 in descending order.
0.5, 0.2, -1, d
Suppose 1 = 3*q + 7. Let s be (-2)/4 + q/8. Let z = -32/63 + 2/9. Sort z, s, -1 in increasing order.
-1, s, z
Let u = -1 + 2. Let b = 5 - u. Suppose 0*n + n = 2*o - 10, -4*n - 25 = -5*o. Sort -2, o, b.
-2, b, o
Let v = 0.08 + 0.22. Let t = 52 - 49.7. Let k = t - v. Put -5, -3, k in descending order.
k, -3, -5
Let h = -0.1 - -0.1. Let y be (9/(-6))/(3/28). Let g = 11 + y. Put 2/9, h, g in decreasing order.
2/9, h, g
Suppose p = 2*p - 3*y - 16, 0 = 5*y + 20. Let x(r) = r + 1. Let z be x(-2). Let h(d) = 5*d + 2. Let t be h(z). Put -2, t, p in ascending order.
t, -2, p
Let v = 97/4 - 24. Sort 2/37, 1/2, -2/19, v in descending order.
1/2, v, 2/37, -2/19
Suppose -3*d = d + 12. Suppose 10 = 4*s + s. Put s, -4, d in descending order.
s, d, -4
Let a be (2 - 0)*10/4. Let s = 10 - a. Suppose -5*q - 1 = -i + 28, -4*i - 9 = s*q. Put -4, i, 0 in ascending order.
-4, 0, i
Suppose 2*b = -0*b + 32. Suppose -17*s + b*s + 3 = 0. Sort -1, s, 0 in decreasing order.
s, 0, -1
Suppose 2*b + 4 = 2*i, 0*i - 9 = -4*i + 3*b. Sort -5, -2, i in decreasing order.
i, -2, -5
Let a = -1/9 - -13/36. Let t = 46 - 47. Sort t, a, 0.1.
t, 0.1, a
Suppose -7*l - 10 = 11. Put 5, 4, l, -4 in descending order.
5, 4, l, -4
Suppose -2*j = 5*g + 20, -j + 3*j = 3*g + 12. Let y be ((-16)/(-4))/(-2) - 3. Put y, 3, g in ascending order.
y, g, 3
Suppose 0 = 3*q + 5*r - 39 - 0, 0 = 4*r + 12. Suppose 0 = 3*v - 12, q = -4*t + 2*t + 2*v. Let w be (-8)/(-5) + 3/t. Sort 0, w, 2 in descending order.
2, w, 0
Let g = -17 - -13. Let b be 21/(-36) + g/6. Put 2, b, 3 in descending order.
3, 2, b
Let g be ((-2)/6)/((-2)/18). Suppose c + g = -2. Let n be (c/15)/((-1)/6). Sort -1, n, 3 in ascending order.
-1, n, 3
Suppose 0*p = p + 3*p. Put -2, -5, 1, p in decreasing order.
1, p, -2, -5
Let v(u) = -3*u - 6. Let k be v(-4). Suppose 3*g + k = 0, d + g + 2 = 1. Let a(c) = -c**2. Let p be a(d). Sort p, 5, 0 in descending order.
5, 0, p
Suppose 17*p - 30 = 4. Put -15, p, 0 in increasing order.
-15, 0, p
Let x = 59 + -38. Sort 0, -1, x.
-1, 0, x
Suppose -21 = -4*g + 3. Let d = 10 - g. Sort d, 1, 3 in increasing order.
1, 3, d
Let w = 30 + -32. Let f = 10 - 7. Let j = -2 + f. Sort j, 4, w.
w, j, 4
Let z = -2 + 0. Let f = 10535023/5700 - 35122/19. Let j = f - -2/75. Sort 1/3, j, z in descending order.
1/3, j, z
Let j = 5 - 1. Let d(f) = f**2 - 4*f + 4. Let n be d(j). Put n, -5, -2 in descending order.
n, -2, -5
Let i be 5 - (0/(-3) - -1)*2. Sort -3, -1, 1, i.
-3, -1, 1, i
Let a be (2 - 2) + 3/(-6). Let j = 7 + -9. Put j, 5, a in descending order.
5, a, j
Let q be (-2)/12*-2*2. Let y = -3 + -5. Let h = 4 + y. Put h, -1/2, q in decreasing order.
q, -1/2, h
Let s = -42 - -42.02. Let q = -229/10 - -47/2. Put q, s, 0 in descending order.
q, s, 0
Let z(f) = f**3 - 5*f**2 + 5*f. Let n be z(4). Put -4, n, -12 in ascending order.
-12, -4, n
Let l = -28.3 + 28. Sort 0.08, -1/5, 0.2, l in decreasing order.
0.2, 0.08, -1/5, l
Let z be (-1 - -1)/(-3 + 2). Suppose 0 = -4*i + 2*k + 14, -1 = -k - 0*k. Sort i, z, -1/3 in decreasing order.
i, z, -1/3
Let c = -6.4 - -7. Let x = c + -0.9. Sort 1/4, x, 6 in descending order.
6, 1/4, x
Let h = -29 + 24. Let t(m) = -6*m**3 - m**2 + m. Let d be t(1). Let j = h - d. Sort j, -5, 4 in ascending order.
-5, j, 4
Let f = 96 + -76. Put -2, 5, f in descending order.
f, 5, -2
Let v be (((-15)/57)/(-5))/((-1)/(-2)). Put v, -3, -0.4 in descending order.
v, -0.4, -3
Let s = -4.06 - -0.06. Let n = -3 - -4. Let z = -1 - n. Sort z, s, 1 in increasing order.
s, z, 1
Suppose 0*f = -2*f. Suppose 3*v + 8 = 5*v - x, 2*x = f. Suppose -3*o - o = v. Sort -2, 1, o in ascending order.
-2, o, 1
Suppose -q = -4*h + 2, -4*h + 4 = 2*q - 4. Suppose -4*t = -20 - 12. Let s = t - 7. Sort s, q, -3 in ascending order.
