 v, -5
Let i(f) = 3*f - 11. Let y be i(10). Suppose 2*t + 2*z - y = -5, 0 = -3*t - 2*z + 17. Let p(g) = g - 1. Let h be p(2). Sort t, h, 0.
0, h, t
Let w = 35/2 - 173/14. Let n = w - 32/7. Let v = 3.2 - 0.2. Put v, n, -1/6 in descending order.
v, n, -1/6
Let d(l) = -3*l + 0*l - 3*l + 5*l - 2. Suppose 19 = 3*q - 5*j, j + j + 10 = 0. Let f be d(q). Sort f, -3, -5 in descending order.
f, -3, -5
Let n(a) = -10*a - 7*a + 2 + 16*a. Let p be n(-2). Put 2, p, -6 in descending order.
p, 2, -6
Let h = 40 - 36. Put 0, -5, h, 1 in decreasing order.
h, 1, 0, -5
Let m be 6/8 + (-18)/24. Suppose -2*w = -m*w. Sort 6, w, 3 in increasing order.
w, 3, 6
Let r(p) = -p**2 + 5*p + 4. Let k be r(6). Put k, -1/4, -1/6 in ascending order.
k, -1/4, -1/6
Let g = 219/4 + -55. Let y = -15 - -10. Sort 1, g, y.
y, g, 1
Let s be 32/18 + (-16)/(-72). Sort 10, -4, s.
-4, s, 10
Let b = 157 + -165. Sort 0, b, 5, -2 in descending order.
5, 0, -2, b
Let w = 14 - 13.9. Put -4, w, 3 in increasing order.
-4, w, 3
Let z(j) = 8*j - 4. Let t be z(4). Suppose -g = 4*a + t, 5*a + 4*g = a - 28. Put 3, a, -4 in ascending order.
a, -4, 3
Let o = -34 + 38. Let r(f) = f**2 - 3*f + 3. Let k be r(2). Let q = k + 0. Sort 0.5, q, o.
0.5, q, o
Let k = -0.12 + -6.88. Let g = -10 - k. Put -1, 0, g in increasing order.
g, -1, 0
Let z = 10 - 13. Let w be 3 + (z - -8) + -3. Sort 1/3, 2, w in descending order.
w, 2, 1/3
Let k(d) = 5*d + 1. Let c be k(1). Suppose c + 0 = 2*o - n, 5*o - 2*n - 14 = 0. Let f = 2 - 5. Sort f, 5, o in increasing order.
f, o, 5
Let i be (-3*4/(-6))/1. Let z be ((2 - 2)*1)/(-2). Let m(j) = -9*j - 323. Let x be m(-36). Put i, z, x in decreasing order.
i, x, z
Let f(m) = m. Let c be f(2). Suppose 0*x = -2*x - 5*v + 5, 4*x = -2*v + c. Put x, 1, 5 in increasing order.
x, 1, 5
Let c = -33 - -28. Sort 1, 5, c, 7.
c, 1, 5, 7
Let z(j) = j**2 - j - 2. Let k be z(-2). Suppose 0 = -k*o - 4*n + 8, -3*o + 7*n + 30 = 2*n. Put -4, o, 3/5 in descending order.
o, 3/5, -4
Let q = -76/11 - -249/44. Sort 3, -0.5, 0, q in decreasing order.
3, 0, -0.5, q
Let x(t) = -t + 6. Let a be x(8). Sort a, 3, -1 in decreasing order.
3, -1, a
Let m = -50 + 47. Put 5, m, 3, 2 in increasing order.
m, 2, 3, 5
Let v(s) = -s**3 + 11*s**2 - 11*s + 12. Let h be v(10). Let a = -8.5 + 9. Let y = a + 0. Sort h, -4/5, y in increasing order.
-4/5, y, h
Let g = 186 + -741/4. Let n = 0.1 - 0.3. Put g, -3, n in descending order.
g, n, -3
Suppose 3 = q - 0*q. Sort 0, q, -0.2 in increasing order.
-0.2, 0, q
Suppose 0 = -4*v - 8, 2*v - 7 - 1 = 3*q. Let i be (1/3)/(q/12). Suppose -3*x + 3 = -a, -4*a - 12 = 3*x + 2*x. Sort 5, i, x.
i, x, 5
Suppose k + k = 12. Let x = k - 10. Sort 2, x, -5 in decreasing order.
2, x, -5
Let x be (-66)/(-14) - (-10)/35. Sort 2, x, -1.
-1, 2, x
Let l be -1*2/(-4)*0. Suppose 0 = o - 4 - l. Sort o, -1, 3 in descending order.
o, 3, -1
Let g(o) = o - 7. Suppose 0 = f - 5 - 1. Let u be g(f). Suppose -4*r - 12 = 4. Sort u, 1, r in increasing order.
r, u, 1
Let v = -0.02 - 3.98. Let j = 73/138 - 2/69. Sort j, -2/3, v in decreasing order.
j, -2/3, v
Let y(n) = -4*n**2 + 3. Let p be y(-3). Let q = p + 163/5. Let r be (-4)/2*1/13. Sort 0.1, r, q in descending order.
0.1, r, q
Suppose 4*r = 3*r + 2. Suppose 0 = p - r + 7. Suppose -5*c - 10 = -0. Sort p, 3, c in decreasing order.
3, c, p
Let n be ((-2)/(-4))/((-5)/4). Suppose -2*a + 55 = -13*a. Sort n, a, -0.3 in decreasing order.
-0.3, n, a
Let m = -8 + 5. Let i = m - -2.97. Let x = -0.43 - i. Put -3, 1, x in ascending order.
-3, x, 1
Let q(p) = -p**2 - 10*p - 5. Let h be q(-9). Suppose -2*a + 7*a - 30 = 0. Let d = 4 - a. Sort h, 3, d in descending order.
h, 3, d
Let o be (-17)/4 + 4 - (-19)/(-4). Let t = 6 - -12. Suppose -3*a = 3*y - t, -2*a - 4*y + 3 + 15 = 0. Put a, o, 5 in decreasing order.
5, a, o
Let q = 46 - 43. Put 4, q, 9, -4 in increasing order.
-4, q, 4, 9
Let h be 3/(-2)*(-12 + 10). Sort 4, 1, -2, h in ascending order.
-2, 1, h, 4
Let y(x) = x**2 + 9*x + 4. Let t be y(-7). Suppose 0 = -m - m - 4. Put t, m, 3 in decreasing order.
3, m, t
Suppose 5*u - 50 = 5*s, -u = s + u - 5. Put s, -7, 4, -4 in ascending order.
-7, s, -4, 4
Let m = 20 - 16.02. Let h = m + 0.02. Sort 0.1, 2, h.
0.1, 2, h
Let d be -9*(2/(-2) - -2). Suppose 6 = -3*v + 3. Let w be 3*6/d + v. Put w, 5, -1 in increasing order.
w, -1, 5
Suppose -5*u - 109 - 116 = 0. Let k be 4/12 - (-42)/u. Let t(i) = i**3 + 5*i**2 + 3. Let v be t(-5). Put k, v, -0.4 in ascending order.
k, -0.4, v
Let o = 7 + -6.6. Put o, 3/5, 5 in decreasing order.
5, 3/5, o
Let s be 2 - 1 - (2 - 3). Suppose 0 = s*w + 2*w - 4. Let z = -8 + 5. Put -4, w, z in ascending order.
-4, z, w
Let q = 1.4 + -1. Let i be (4/(-5))/(14/(-5)). Sort 3/5, i, q in increasing order.
i, q, 3/5
Let r(y) = y**2 + 10*y - 13. Let j be r(-11). Let q = 0.3 + -0.4. Let c = q - -0.3. Sort c, j, -0.5 in descending order.
c, -0.5, j
Suppose -3*u - 4 = 6*j - 2*j, -3*u + 4*j - 20 = 0. Let v(x) = x**2 - 5*x + 4. Let f be 2/6 - (-11)/3. Let k be v(f). Sort -5, k, u.
-5, u, k
Let a = 2 + -3. Let l = 7 + -7.06. Let n = -0.24 + l. Put n, a, -4 in decreasing order.
n, a, -4
Let u = 103 - 102.5. Put 1/3, u, 1/4 in increasing order.
1/4, 1/3, u
Let k = 168 - 161. Put -5, k, 1, -4 in descending order.
k, 1, -4, -5
Let z = -3.9 + 3.5. Put z, -3, 0.3 in ascending order.
-3, z, 0.3
Let y be (0/(-1) - -2)*-1. Let m be (3/6)/(y/20). Suppose x = 0, 4*z - 2*z + x - 6 = 0. Put m, -3, z in descending order.
z, -3, m
Suppose -4*z = -9*z - 20. Let r = -10 - z. Let d be 2/4 + (-3)/r. Put 0, 5, d in decreasing order.
5, d, 0
Let a = -28 + 24. Put 1, a, 5 in increasing order.
a, 1, 5
Let h be 2/9 - 165/135. Sort 14, 0, h, 4.
h, 0, 4, 14
Let v = 1 - 0. Let p = 3 - 1. Let u = 1.77 - 2.07. Sort p, u, v.
u, v, p
Let v(f) = -f**3 + 13*f**2 - 20*f - 17. Let u be v(11). Sort u, 0.2, 1, -9 in descending order.
u, 1, 0.2, -9
Let v(i) = -i**2 + 4*i. Let q be v(4). Suppose -5 = -5*o - q. Put 0, -11, o in ascending order.
-11, 0, o
Suppose 2*i = 5 + 1. Let w be (-2)/(-4) + 6/(-4). Suppose -4*a + 27 = -3*m - 2*m, 5*a = 5*m + 30. Put i, w, m in descending order.
i, w, m
Let q = 0.68 - 0.7. Sort 0.3, 0.4, q in ascending order.
q, 0.3, 0.4
Let h = 6.9 - 1.9. Sort h, -1/2, -0.1 in increasing order.
-1/2, -0.1, h
Let b = -3 - -7. Let c = 69.7 + -73. Let k = c + 2.9. Put b, k, 0.2 in decreasing order.
b, 0.2, k
Let i = -4 + 5. Let s be i*3/6*1. Let v = 3 + -2. Put -1, v, s in descending order.
v, s, -1
Suppose 11 = w + 1. Let d be w*-1*2/4. Sort d, 5, -4 in increasing order.
d, -4, 5
Let k(x) = x. Let z be k(2). Suppose 0*v + z*v - 10 = 0. Sort v, -2/7, -3 in increasing order.
-3, -2/7, v
Let d = 1.7 + -1.3. Put 0.1, -1/9, d in decreasing order.
d, 0.1, -1/9
Let l be 114/9 - 4/6. Suppose 0*q - l = -4*q. Suppose -20 = -3*b - b. Sort -2, q, b in ascending order.
-2, q, b
Let a be (-1)/3 - 28/6. Let n be ((-24)/(-9) - 4)/((-2)/3). Suppose 0 = 4*q - 16, -s - 2*s + 5*q = 26. Sort a, s, n in descending order.
n, s, a
Suppose p - 2*p + 3 = 0, 0 = g - 5*p + 15. Let q(s) = s**2 + 1. Let v be q(g). Suppose 5*t = -35 + 15. Put v, t, 0 in increasing order.
t, 0, v
Suppose 19 = 2*r + 3*b, 3*b = -3*r + 4*r + 13. Let s = 0 + 1. Suppose -5*w + 10 - 38 = p, -r*p + w = s. Sort -5, 0, p in ascending order.
-5, p, 0
Let l be ((-1)/3)/(4/(-60)). Sort l, 9, 1.
1, l, 9
Let p = -0.7 + 1. Let y = 2.02 + -0.02. Let v = y - 1. Sort -2, p, v in descending order.
v, p, -2
Let n be 11/((-11)/(-2))*(0 - -1). Put 1/6, 3/5, n in ascending order.
1/6, 3/5, n
Suppose -8 = -4*n + 8. Suppose -4*d = -3*d - 2. Let w be 6/n - 1/d. Sort -4, -1, w.
-4, -1, w
Suppose -6 = j - 2. Sort 0, -11, j in ascending order.
-11, j, 0
Let f be 3/(-12)*2*-1. Put 4, -0.4, f in descending order.
4, f, -0.4
Let z = 73 - 74. Sort 0.2, z, 13.
z, 0.2, 13
Let i be 16/(-4)*(-1)/(-2). Let o(g) = -4*g - 1. Let y be o(-1). Sort y, -1, i in descending order.
y, -1, i
Let w = -5 - -8. Suppose 3*m - 2*g = -7*g + 67, -2*g = 4*m - 94. Let v be -9*(1 - 28/m). Put v, w, -0.1 in decreasing order.
w, v, -0.1
Let k(b) = -b**2 + 8*b - 4. Let o = -9 - -17. Let x be k(o). Sort 3, 1, x.
x, 1, 3
Let v be (-15)/6*8/(-10). Sort -4, v, 6 in decreasing order.
6, v, -4
Let y = -5 + 5.2. Let l = y - -0.2. Let q = -2 - -1.9. Put q, 0.5, l in decreasing order.
0.5, l, q
Suppose