 15. Sort n, q, j in descending order.
q, j, n
Suppose 0 = 2*z - 4 - 4. Suppose -z*n + l - 3 = n, 0 = -2*n + 3*l + 4. Let q(k) = -k - 5. Let a be q(0). Put a, n, 1 in ascending order.
a, n, 1
Let n(c) = -c**3 - 6*c**2 - 5. Let a(l) = 2*l - 38. Let v be a(16). Let k be n(v). Let q be (1 + -1)*(-2)/6. Sort q, -1, k.
k, -1, q
Let l = 21 - 23. Let t be ((-19)/(-38))/(l/(-8)). Suppose -x + 25 = t*x + 2*g, 0 = -5*x + g + 59. Put 5, x, 0 in increasing order.
0, 5, x
Suppose 7*b - 2*b + 5 = 5*g, -4*b - 4 = -5*g. Let x be 1/(g - 3)*-3. Sort 11, 3, x.
x, 3, 11
Let p = -703.5 + 704. Let w = -1 + 1. Sort p, w, 0.046 in increasing order.
w, 0.046, p
Suppose -19 = -4*g + 5*b, 4*g - 2 = -2*b - 4. Put 5, 3, g in descending order.
5, 3, g
Let w be 12 + (786/(-114) - 5). Put 1/4, 1/2, w, -4 in decreasing order.
1/2, 1/4, w, -4
Let u be (-1 - (-18)/8)*4. Let z(n) = -4*n. Let j be z(-4). Suppose -6 = -11*b + j. Put b, u, 0 in descending order.
u, b, 0
Let z be (13/10 - 2)*(-12)/(-21). Let p = 0.4 - 0.3. Sort 0.05, z, p in descending order.
p, 0.05, z
Let l be (5 - (-2 - -4)) + 1. Let f = 9 + -4. Sort -3, l, f in increasing order.
-3, l, f
Let n = -29429/36 - -6536/9. Let j = -91 - n. Put 0.4, -1, 0.08, j in ascending order.
-1, 0.08, j, 0.4
Let z be (2/3*-27)/(-4). Let x = z - 55/14. Put 0, x, 2, -2 in descending order.
2, x, 0, -2
Let j(r) = r + 1. Let i be j(-5). Let z be (8 + -7)/((2/3)/2). Sort 1, i, z in decreasing order.
z, 1, i
Let z be 779/582 - (92/12 + -7). Let r = 1/194 - z. Put -1, 0.09, r in decreasing order.
0.09, r, -1
Suppose 3*k - 15 + 3 = -3*g, -k = 5*g. Let v = 962.2 - 962. Sort v, g, -1/4.
g, -1/4, v
Let w = 4.819 + 0.181. Sort 4/7, -4, w, 2/9.
-4, 2/9, 4/7, w
Suppose -5*x + 0*x = -65. Suppose -3*c = 4 - x. Suppose 4*m - c*g = 3*m, -5*g = m. Sort -1/6, m, 4 in increasing order.
-1/6, m, 4
Let d be (3 - 1 - 5)/4. Sort -1, 1.1, d, -15.
-15, -1, d, 1.1
Suppose v = -3*a + 5*v - 23, -20 = 2*a - 5*v. Let k = -412 + 419. Sort a, k, 3 in increasing order.
a, 3, k
Suppose -2*a - 5*u - 8 = -3*a, 22 = 2*a - 4*u. Let o = -8 + a. Suppose -4*n = -2*s + 4*s - 6, -3*n + 7 = 4*s. Put n, -6, o in decreasing order.
o, n, -6
Let x(v) = v**2 + 20*v + 49. Let j be x(-17). Let m = -3 - -6. Suppose 3*s - 5*q + 34 = s, 30 = -3*s - m*q. Sort -3, s, j in increasing order.
s, -3, j
Suppose -s = -2*l + 15, -3 - 21 = -l - 5*s. Suppose 2*f = -5*n - 19 - 22, -f - 4*n - 28 = 0. Let h = l + f. Put h, -3, -4 in descending order.
h, -3, -4
Suppose 2*m = -5*d - m - 337, 269 = -4*d - 3*m. Let s = 133/2 + d. Let u = -98/3 - -33. Sort 0.2, s, u in ascending order.
s, 0.2, u
Let w = 35 + -53. Let i be ((-1)/(-3))/((-12)/w). Let t = -0.22 + 0.12. Sort -4, t, i in descending order.
i, t, -4
Let x be 0 + (-12)/(-9)*6. Let v = -8 + x. Let w = -11 + 24. Put w, -3, v in decreasing order.
w, v, -3
Let z = 77 + 31. Suppose z = 5*m - m. Let a be m/6*4/(-6). Put -5, a, -1 in descending order.
-1, a, -5
Let l = -39 + 52. Suppose -2*v - 5*m - l = -6*v, 4*v - 9 = m. Let r = 0 + 0. Sort r, 1, v.
r, 1, v
Let h be (-6)/(-2) + 4 + -5. Suppose 0 = -h*l - 11 + 5. Put -1, 2, l in decreasing order.
2, -1, l
Let h = -960 + 963. Sort -2/59, -1/3, h in increasing order.
-1/3, -2/59, h
Suppose -3*o + 8 = -5*u - 5, -2*u - 5*o + 1 = 0. Put u, -4, 8, -3 in descending order.
8, u, -3, -4
Let v = 10 + 38. Sort 4, v, 5 in decreasing order.
v, 5, 4
Suppose -16*i = i - 85. Let c = -27 + 26. Sort c, -6, i in increasing order.
-6, c, i
Let h = 0.953 + 0.047. Let y = 1.4 - h. Put 2/9, -4, 0.05, y in decreasing order.
y, 2/9, 0.05, -4
Suppose 5 - 9 = 4*t + 4*w, -5*t + 5*w - 55 = 0. Sort 3, t, 0, 5.
t, 0, 3, 5
Let q = 1995 + -1998. Suppose -2*k = 8, 4*h = -2*k - 22 - 2. Put 4, h, q in increasing order.
h, q, 4
Suppose 17*n - 13*n = v - 19, 0 = -4*v + n + 1. Sort 2, -3, v, 34 in increasing order.
-3, v, 2, 34
Suppose 5*v - 6 - 42 = -4*z, -15 = -z - 2*v. Let h(n) = n**2 - 9*n + 13. Let w be h(z). Let d be (-48)/18 - (w - 2). Sort -0.4, 5, d in decreasing order.
5, d, -0.4
Suppose -2*z = -30 - 10. Let r = z + -17. Sort 1, r, -2, 5 in decreasing order.
5, r, 1, -2
Let j = 216.951 - 217. Sort -0.2, -4, j.
-4, -0.2, j
Let j = -4/27 - 14/27. Let m = -0.01 + 2.01. Let v = m - 1.9. Sort 2, j, v in descending order.
2, v, j
Let q(v) = -3*v + 3. Let h be q(3). Suppose -z + 4*k - 26 = -3*z, 0 = -5*k + 15. Suppose 4*f + 4 = -4*r, -3*r + z + 15 = -2*f. Put h, r, -1 in ascending order.
h, -1, r
Suppose 5*p - 66 + 76 = 0. Sort p, -4, 0, 3 in descending order.
3, 0, p, -4
Let w = 687 + -682. Sort w, -23, -2 in descending order.
w, -2, -23
Suppose 42*v = 41*v + 31. Suppose 3*q = -w - 5, 6*w - v = 2*w + 5*q. Sort -9, 7, w in descending order.
7, w, -9
Let h = -1106 + 901. Put h, -5, 0.2, -3 in decreasing order.
0.2, -3, -5, h
Suppose 4*a + 140 - 124 = 0. Sort a, -1, 0, -3.
a, -3, -1, 0
Let i = -97 + 84. Put -1, i, 3, -2 in decreasing order.
3, -1, -2, i
Let t be (15/10)/((-3)/6). Let z be (0 - -1) + (6 - 2). Put t, z, -9 in decreasing order.
z, t, -9
Let c = -0.0813 - 2.9037. Let i = 0.015 - c. Sort i, -5, -1, -2 in increasing order.
-5, -2, -1, i
Suppose 9*k - 20 = 4*k. Let q = -2.7 - -2.4. Sort q, -0.1, k in ascending order.
q, -0.1, k
Let o be 89/(-60) + 1 + 0. Let v = o + 1/12. Sort -0.2, 0.5, v.
v, -0.2, 0.5
Let z(f) = f**2 + f + 5. Suppose 0 = -6*u - 0*u. Let g be z(u). Put 1, g, 0 in decreasing order.
g, 1, 0
Let o be (-24)/(-27) + 2/9*-3. Let i = 32.2 + -26. Let u = i - -0.8. Sort u, -1, o in increasing order.
-1, o, u
Let u = 82.5 - 82. Put -16/5, u, 1/6, 3 in descending order.
3, u, 1/6, -16/5
Let x be 2*-1*4/8. Let a(g) = -g + 8. Let c be a(-4). Let w = c - 20. Sort x, w, -4 in increasing order.
w, -4, x
Let t = 4 + -2. Suppose -2*i - 4*u - 140 = 0, -4*i - t*u - 340 = -6*u. Let h be i/50 - 6/(-10). Sort 2, h, 3.
h, 2, 3
Let p = -3.882 + 3.9. Let y = -5.018 + p. Put -4/3, -1, -4, y in decreasing order.
-1, -4/3, -4, y
Suppose 4 - 14 = -2*k. Suppose -j - 17 = k*o, 4*o + 27 = 5*j + o. Sort 5, -2, 4, j in increasing order.
-2, j, 4, 5
Let w be (33 - 1)*(-528)/(-3872). Put -2/21, -2, w in decreasing order.
w, -2/21, -2
Suppose 0 = -4*t - 5 + 17. Suppose t*d + 2 - 8 = 0. Suppose 2*c - 2 = d*s, 2*s + 0 = -c + 4. Put -4, -5, s in decreasing order.
s, -4, -5
Let x be 26/(-14) - -3 - 2. Let j = -16/35 - x. Put j, -5, 0 in ascending order.
-5, 0, j
Let l(f) = -4*f**2 - 71*f + 20. Let b be l(-18). Sort 4, 3, b, -5.
-5, b, 3, 4
Suppose 2*c + 3*s + 23 = 0, -5*s - 17 = 6*c - 8*c. Put -8, c, 15, -1 in ascending order.
-8, c, -1, 15
Let x = 16 + -10. Let o be x/(-5)*2*5/4. Let t be 1 - ((-3 - -1) + 3). Sort t, o, 2 in descending order.
2, t, o
Let l be 2/(-4)*(-5 - (5 + -10)). Put 2, l, -10 in descending order.
2, l, -10
Suppose -75*c = 147*c - 363 - 303. Suppose 0 = -2*s - 4 - 2, 2*z + 4*s = -40. Put z, c, -2 in decreasing order.
c, -2, z
Let u = 808 - 809. Put 2, 2/9, u, -0.3 in decreasing order.
2, 2/9, -0.3, u
Let g = -0.0737 - -5.0737. Let b = 3 - 5. Let c(t) = t**3 - t + 2. Let u be c(b). Put 2/15, g, u in descending order.
g, 2/15, u
Let a(i) = i**3 - 10*i**2 + i - 14. Let c be a(10). Suppose -2 = 2*n, -p + 5*n + 1 + 5 = 0. Sort -1, c, p.
c, -1, p
Let d be ((-3 - 0) + 3)/(1 - 2). Put 1, d, -2 in ascending order.
-2, d, 1
Suppose -2*v - 10 = 4*c, 0 = 5*c - 6*v + 5*v + 30. Sort 3, 0, c, 61 in increasing order.
c, 0, 3, 61
Let j = 44 - 37. Let n be (-27)/(-35) - 2*j/70. Let x be 0 + ((-6)/(-8))/(-3). Put x, 2/21, n in ascending order.
x, 2/21, n
Let v(c) = -c**3 - 4*c**2 - 7*c - 8. Let l be v(-2). Sort -1, -0.7, l, 3 in decreasing order.
3, -0.7, -1, l
Suppose -3 = 2*y + 27. Let i be (-1)/(-2) + y/6. Suppose 0 = -m - 6*m - 28. Sort i, 5, m in increasing order.
m, i, 5
Let j = -4 - -3.7. Suppose -3*z + 22 = 5*q + 148, 4*q - 99 = 3*z. Let y = -261/7 - z. Sort y, j, 1.
j, y, 1
Suppose -3 = 5*i + 2*t + 17, -5*t = i + 27. Sort i, -117, -3 in ascending order.
-117, -3, i
Let x = 69 - 68. Sort -0.3, x, -1, 4 in ascending order.
-1, -0.3, x, 4
Let f = 149 + -145. Let p = 1.4 + -1.1. Put f, 12, p in ascending order.
p, f, 12
Suppose -m = -0*m - 5*z - 2, 2*z - 20 = 3*m. Let v = 1.1444 + -0.1444. Sort m, 0, -2/19, v.
m, -2/19, 0, v
Let t = 1.79 + -1.29. Let m = 2.5 - -12.5. Let k = -18 + m. Put t, k, 0 in decreasing order.
t, 0, k
Suppose 0*q = -5