 + 12. Let d(n) = 5*n - 12. Let a(z) = -2*d(z) - 3*l(z). Let y be a(5). Let i be (2/14)/(4/y). Sort 2, i, 3.
i, 2, 3
Let s = 1559 - 1563. Put 3, -7, -2, s in decreasing order.
3, -2, s, -7
Let t be -4 - (5 + (-17 - -3)). Sort 1, 23, t.
1, t, 23
Let t be (-2)/(-2 + 1 - -2). Let s(h) = -3*h**2 - 7*h - 3. Let g be s(3). Let l be ((-34)/g)/((-14)/18 - -1). Put l, 1, t in descending order.
l, 1, t
Let j = -78 - -81. Sort -7, j, -2 in increasing order.
-7, -2, j
Let g = -557 - -560. Sort 5, 1, g in decreasing order.
5, g, 1
Let o = -14 + -1. Let r = 14.87 + o. Let l = 0.07 - r. Put 6, l, 3 in descending order.
6, 3, l
Let x = 16.5 - 16. Let n be 3 + (1/(-9))/(5/125). Put n, x, 2/5 in descending order.
x, 2/5, n
Let d = 0.8 + -0.5. Let v = 27.975 + 0.025. Let b = 30 - v. Put -0.06, d, b in descending order.
b, d, -0.06
Suppose 7*h + 24 = -81. Let k be h/9 - (-3)/(-9). Sort 4, k, -4 in decreasing order.
4, k, -4
Suppose -11 = -4*f - c, -f - 2*f = -4*c - 13. Suppose r = -5*h + 13, 4*h + 4*r = 5*h + 10. Sort 5, h, f in decreasing order.
5, f, h
Let r(g) = 2*g**2 - 9*g. Let y be r(5). Let t be 2/y*70/28. Let p be (-1)/(15/6 - 2). Put p, -5, t in ascending order.
-5, p, t
Let d = 2 - -3. Let b = 30 - 29. Put d, b, -3 in decreasing order.
d, b, -3
Let j = -381 - -385. Sort j, 5, -30.
-30, j, 5
Let w = -469 - -472. Sort 9, w, -2, 14 in descending order.
14, 9, w, -2
Let l be (-222)/(-270) - 9/30*2. Sort l, -2/55, -5 in decreasing order.
l, -2/55, -5
Suppose -j = -28*j + 27. Let d = 13 - 21. Sort d, j, -3 in decreasing order.
j, -3, d
Suppose 2*x = 3*x. Let z = -326 + 325. Put z, 3, x in decreasing order.
3, x, z
Let u = 1850/3 - 615. Sort 40, -5, -5/4, u in descending order.
40, u, -5/4, -5
Let k be (1 + 1)*(-10)/4. Suppose -u - 44 = -3*u. Let c = u + -20. Put c, -2, k in descending order.
c, -2, k
Let z = 23.1 - 27.08. Let v = z + 4. Let s = v - 0.22. Put 5, 0.2, s in ascending order.
s, 0.2, 5
Let x = -74 - -69. Let z(h) = -h + 1. Let a be z(-3). Sort -2, a, x in ascending order.
x, -2, a
Let r = -512 - -510. Let z = 0 - -0.1. Sort z, 0, r in descending order.
z, 0, r
Let d = -130.1 - -138.1. Let m = 22 + -111/5. Sort d, 0, m.
m, 0, d
Suppose -37*a + 40*a = 12. Suppose 20 = 4*d - 5*x, -x - a = -4*d + 2*d. Sort -3, 5, d, -19 in descending order.
5, d, -3, -19
Let s = -71/825 + -14/75. Let c = -1/4 + 15/28. Sort c, s, 2 in descending order.
2, c, s
Let c = -124 + 63. Let n = c + 61. Let j be (-6)/4 + 0/(-1). Put n, j, 0.5 in increasing order.
j, n, 0.5
Let y = -3.99 + -0.01. Let c = -19.44 + 14.44. Sort y, -3, c in increasing order.
c, y, -3
Let n = -6 + 8. Let r be (-3)/n*(-24)/162. Let c = 0.002 + -6.002. Sort 4, r, c in descending order.
4, r, c
Let z(i) = -11*i - 263. Let f be z(-24). Put f, 2, -62 in decreasing order.
2, f, -62
Let f = -0.38 + 0.03. Let q = f + 0.41. Sort -0.1, 0.1, q.
-0.1, q, 0.1
Suppose -44 = 2*y - 110. Suppose -22*r = -19*r - y. Suppose 5*i - r = -4*f - 1, 0 = -5*f + 3*i - 6. Sort -4, 3, f in increasing order.
-4, f, 3
Let t = -30 + 25. Let q be t + 6 + -5 + 1. Sort 1, -13, q.
-13, q, 1
Let v = -1 + -4.9. Let b = 9.9 + v. Let q be -1 - (-1 + 4/18). Sort 1/9, b, q in ascending order.
q, 1/9, b
Suppose -2*h + 0*z - z = -7, -3*h - 5*z = -28. Let d(x) = x**3 + 5*x**2 + 7*x + 8. Let l be d(-4). Sort 5, -2, l, h in descending order.
5, h, -2, l
Let t = -0.01 - -0.14. Let u = -3.13 + t. Let m = -6 - u. Sort m, 0.1, 0.2 in descending order.
0.2, 0.1, m
Let l = -3.2 - -21.2. Let d = -26 + l. Let w = -7.7 - d. Sort w, 0.1, -0.4.
-0.4, 0.1, w
Let m = 18 + -11. Suppose 0 = 4*v + m - 3. Let n = 18 + -20. Put v, 1, n in decreasing order.
1, v, n
Let p = -103 + 105. Let v = -0.3 - 0.7. Sort 0, v, p in descending order.
p, 0, v
Suppose -u + z + 2*z + 15 = 0, z - 11 = -5*u. Sort -1/6, u, 4/5 in ascending order.
-1/6, 4/5, u
Suppose 17 = y - 4*a, -2*y - 4*a = -2*a + 6. Let k be 1*(y/1 + -3)/(-2). Let q(h) = h**2 - 3*h. Let o be q(4). Put 5, o, k in descending order.
5, o, k
Let z be -17 + ((-48)/32 - -17). Suppose g + 5*y = 2*y - 4, 4 = -2*g - 2*y. Let u be 2 - g/((-6)/14). Put -0.1, u, z in decreasing order.
-0.1, u, z
Suppose -7*i = 3*i + 50. Let t(s) = 3*s**2 + 2*s - 1. Let m be t(1). Put m, i, 2 in ascending order.
i, 2, m
Let i = -556 + 1113/2. Sort 2, i, 0.14, -1/7 in increasing order.
-1/7, 0.14, i, 2
Let d = -37 - -48. Suppose -1 = -5*r - d. Sort 2, -3, r, 14 in decreasing order.
14, 2, r, -3
Suppose -53*m - 1842 = -252. Put 2, m, -13 in decreasing order.
2, -13, m
Suppose -14*x = -18 + 4. Sort 2, -142, x in decreasing order.
2, x, -142
Let h = 98 - 68. Let p = 1 - 2. Let w be (p/2)/((-3)/h). Sort -5, w, -3 in decreasing order.
w, -3, -5
Let l be 3*51/(-54) - -2. Put -7, 1, l in ascending order.
-7, l, 1
Let o(j) = 66*j + 1184. Let y be o(-18). Suppose -3*k - 24 = -7*k. Put 3, k, -3, y in ascending order.
y, -3, 3, k
Let t = 89 + -84. Sort t, 3, -2/9 in descending order.
t, 3, -2/9
Let s = -7 + 4. Let o = 408 - 15097/37. Let d = o + 44/259. Put -1/9, s, d in descending order.
d, -1/9, s
Let d = -22.2 + -3.8. Let k = -28 - d. Sort -2/9, 0.1, k in increasing order.
k, -2/9, 0.1
Suppose 2*k = -5*m - 14, -3*m + 5 + 9 = -2*k. Let v be k/((-112)/68) - 2/8. Sort 5, v, 0.
0, v, 5
Let m = -8 - 12. Let j = m - -16. Let i = -0.2 + 0.4. Sort j, 0.1, i.
j, 0.1, i
Let r(c) = -c**2 + 6*c + 5. Suppose -3 + 9 = b. Let l be r(b). Let f be (-15)/6*28/35. Sort l, 1, f.
f, 1, l
Let r = 3.44 + -3.24. Sort r, -2/5, -0.1.
-2/5, -0.1, r
Let d(c) = -c**3 - 10*c**2 + 15*c + 222. Let y be d(-9). Sort 2, -8, y, 0 in descending order.
y, 2, 0, -8
Let t = 24.2 - 1.2. Let d = t + -27. Sort d, 1, -1.
d, -1, 1
Let z = 1.98 - 1.98. Sort -52, z, 3/5.
-52, z, 3/5
Let b(z) = -3*z + 64. Let g be b(22). Sort g, 11, -4, -5 in decreasing order.
11, g, -4, -5
Let t(x) = -x**3 + 41*x**2 - 79*x + 31. Let m be t(39). Put 5, -12, m in ascending order.
-12, m, 5
Let g = -4 + 0. Let u be (-12)/(-15)*((-15)/(-6) - 0). Sort 5, u, g in increasing order.
g, u, 5
Let h be (1 + -10 + 1)/2. Let n(d) = 2*d + 5. Let j be n(-2). Put 12, 3, h, j in ascending order.
h, j, 3, 12
Suppose -l = -4*a + 9*a + 10, 3*a = 2*l - 6. Put 20, 0, a in ascending order.
a, 0, 20
Suppose 187*x - 229*x = 672. Sort x, 4, -5, -2.
x, -5, -2, 4
Let v = -9985 - -9983. Let a be ((-3)/4)/(1/4). Put -0.3, 1/8, v, a in increasing order.
a, v, -0.3, 1/8
Let l be -12 + (-12)/(-4) - 2. Let v = l - -8. Suppose 8 = 5*y - y - 4*g, -y + 8 = g. Put y, v, -2 in increasing order.
v, -2, y
Let s(d) = -d**3 + 6*d**2 + 14*d + 9. Let k be s(10). Let o = -1754/7 - k. Put -0.3, o, -1/16 in decreasing order.
o, -1/16, -0.3
Suppose 0 = j - k, -j + 0*j = 2*k - 3. Let a be (-36)/(-4) + j + -3. Let f be 1*(-1 - (-3 + a)). Sort -2, f, -3 in descending order.
-2, -3, f
Let k = -34 + 40. Let h(i) = -2*i + 24. Let n be h(10). Sort n, k, -1 in descending order.
k, n, -1
Let t = 35 - 20. Put 3, t, 2, -3 in descending order.
t, 3, 2, -3
Let s = -238 - -235.89. Let l = -0.11 - s. Sort -0.5, 0.9, l in ascending order.
-0.5, 0.9, l
Let q = -93 + 113. Let i be q/40 - (-30)/(-44). Sort i, -3, 7 in increasing order.
-3, i, 7
Let j = -10 - -9.99. Suppose -8*f = -9*f + 1. Let k be f - ((-57)/(-18) + -2). Sort j, k, -2 in descending order.
j, k, -2
Let v(a) = a**2 + 5*a + 1. Let h = -47 + 42. Let y be v(h). Suppose -2*n = -5*w + 8, 3*w - 3*n - 12 = 6*w. Sort w, -1, y in decreasing order.
y, w, -1
Let u(v) = -v + 22. Let o be u(-10). Sort o, -2/5, 0.1, 2/15 in ascending order.
-2/5, 0.1, 2/15, o
Let b(j) = 5*j**3 - j**2 + 1. Let m be b(-1). Suppose 212*s - 225*s + 39 = 0. Sort m, -4, s, -3.
m, -4, -3, s
Suppose 16*w + 3 - 51 = 0. Put -2, -1, w, 4 in ascending order.
-2, -1, w, 4
Suppose 2*u = d + 86, 4*u + 4*d - 116 - 68 = 0. Sort -5, 0, u in decreasing order.
u, 0, -5
Suppose -143*z + 141*z = 2*d + 12, 5*d = -z - 26. Let x = -4.4 + 0.4. Sort d, -3, x in ascending order.
d, x, -3
Suppose 0 = -c + 5*x + 1 + 22, -2*x - 16 = 3*c. Let v = 0.1 + 0.1. Sort c, -1, v in descending order.
v, -1, c
Let c = -14 - -11. Let h be (-25 - -23)/((-2)/3). Sort h, c, -4/7 in descending order.
h, -4/7, c
Suppose 3*g - j = 3*j - 6, 0 = 5*j - 15. Suppose -g*n = -7*n + 10. Let u be 172/(-36) - (-2)/(-9). Sort u, n, 3 in descending order.
3, n, u
Let i = 73 - 73.02. Suppose -2*p - 26