-2
Let t = -8 - -5. Let d = t + 3. Put -3, d, 2 in decreasing order.
2, d, -3
Let c = 5 + -3. Let l = c + 0. Sort -3/2, 1, l.
-3/2, 1, l
Let u be (-9)/(-24) + 0 + 0. Let d = 4 + -1. Put 0.5, u, d in increasing order.
u, 0.5, d
Let a be 20/(-5) - (-2 - 1). Sort a, 5, -4 in ascending order.
-4, a, 5
Let p = 14.3 + -14.2. Let h be (2 - 1)*-7 + 2. Put p, h, 0.2 in increasing order.
h, p, 0.2
Let c(v) = v**2 - 6*v + 3. Let j be c(6). Let h = j - 0. Let x = 0 + -0.6. Sort h, -0.1, x in descending order.
h, -0.1, x
Let r be 55/30 - (-2)/12. Put 1, r, 0, -5 in increasing order.
-5, 0, 1, r
Let n be 8/(-14) + 77/49. Let m = 31 - 138. Let r = m - -533/5. Sort r, n, 0.1 in increasing order.
r, 0.1, n
Suppose -5 = 5*u + 40. Put 3, -1, u in decreasing order.
3, -1, u
Let b(y) = 2*y**2 - y - 3. Let n be b(2). Sort n, 1, -3 in decreasing order.
n, 1, -3
Let l be ((-10)/(-6))/((-2)/(-6)). Let t(j) = -2*j + 12. Let w be t(l). Put 6, w, 3 in increasing order.
w, 3, 6
Let h = 19 - 17.9. Let u = h + -1. Sort u, 1, -1.
-1, u, 1
Suppose 3*x - 32 = 5*a, 2*a + 3*x = 4*x - 12. Sort -3, 2, a in descending order.
2, -3, a
Let v(r) = r + 16. Let k be v(-18). Let x = -0.3 + -0.2. Sort k, 3, x in decreasing order.
3, x, k
Let j be 4/16*4*0. Sort j, -2, 2.
-2, j, 2
Let v = -114.7 - -109.81. Let q = -0.11 + v. Let x = 3.3 - 3.2. Sort -2/3, q, x in decreasing order.
x, -2/3, q
Let n be ((-1 + 1)/2)/(-2). Sort -5, n, 3 in ascending order.
-5, n, 3
Let r be 3*4/6*1. Let i be 6/5*200/60. Sort r, 0, i in decreasing order.
i, r, 0
Let k = 10 - 68/7. Put k, -2/11, -1/3 in decreasing order.
k, -2/11, -1/3
Let h(s) = s**3 - 2*s**2 - 2*s + 2. Let y be h(3). Suppose 3 - 13 = -y*v. Suppose -3*u = 6, -4*m = 3*u + 2 - 0. Sort m, 4, v in increasing order.
m, v, 4
Let j = 0.2 - 0.6. Sort j, 5, 3 in descending order.
5, 3, j
Let z = -0.117 - -1.717. Sort -2, z, 0.3 in decreasing order.
z, 0.3, -2
Let h = 132 + -131.7. Sort -2/3, 3, h.
-2/3, h, 3
Suppose -2*w + 12 = -2*m, m - 10 = w - 4*w. Suppose w*f = 2*r + 20, -3*r - 4*f + 25 = f. Sort 3, r, 4 in descending order.
4, 3, r
Suppose -6 = 5*q - 3*j, -5*j + 12 - 2 = -q. Let x be (-3 - q)/6 + 1. Put 0.3, x, 3 in ascending order.
0.3, x, 3
Let k be (-1)/(-4) - (-14)/40. Let b(x) = 2*x - 9. Let z be b(6). Let d be (-3)/(-6) - z/(-12). Put d, 0, k in increasing order.
0, k, d
Let s be 2*-2*(-1 - -2). Let a(q) = q + 13. Let c be a(-12). Sort c, 0, s in decreasing order.
c, 0, s
Suppose -m + 14 = 4*q - 18, -4*m + 33 = -3*q. Suppose -m - 3 = -5*v. Sort 0, 1, v in increasing order.
0, 1, v
Suppose 4*l + 5*p = 14, 0 = l + l + 2*p - 6. Let a be (3/6 - l)*2. Put -5, 5, a in ascending order.
-5, a, 5
Let z = 12 - 23/2. Sort 6, 0.2, z in decreasing order.
6, z, 0.2
Suppose 7*q - 13 = 8. Put q, 4, -1, 0 in descending order.
4, q, 0, -1
Let s = -0.16 + 1.16. Let i = -11/9 + 8/9. Let z = 9 + -4. Sort i, z, s in ascending order.
i, s, z
Let w = 0.2 - 0.1. Let o = 3/26 - 67/130. Sort 1, w, o in increasing order.
o, w, 1
Let m = -25 + 27. Put -4, 0, m in decreasing order.
m, 0, -4
Let u(z) = -z**2 - 2*z + 46. Let x be u(6). Sort x, -4, 6 in decreasing order.
6, x, -4
Let k = -4 + 1. Let m(j) = j**2 + 3*j + 2. Let n be m(k). Suppose n*d = -8 - 0. Sort d, 1, -6 in descending order.
1, d, -6
Suppose 2*j = -4*g + 4, -g - 13 = -j - 2. Put -3, -1, j, 0 in descending order.
j, 0, -1, -3
Let z = 54.1 + -54. Sort 1/3, -1, 18, z in descending order.
18, 1/3, z, -1
Let h = -35 + 38. Sort h, -1, -10, 2 in decreasing order.
h, 2, -1, -10
Let g(j) be the first derivative of j**4/4 - 2*j**3/3 + 3*j**2/2 - 2*j + 3. Let i be g(2). Sort -4, -5, i in decreasing order.
i, -4, -5
Let v be 16/18*3/4. Sort -6, -0.4, v in descending order.
v, -0.4, -6
Let o = 1.8 + -1.71. Sort 3, o, -4 in ascending order.
-4, o, 3
Let t = -0.168 - -20.168. Sort -3, 0, t in decreasing order.
t, 0, -3
Let x = 3.32 - 0.32. Sort 1, 4, x.
1, x, 4
Let d = 21 + -19. Let o = 1072 - 16069/15. Let a = o - 179/285. Put d, a, -1 in descending order.
d, a, -1
Suppose -2*k + 7*k + x = -68, 2*x + 71 = -5*k. Put 1, -5, k in descending order.
1, -5, k
Let u be -3 + 3 + (-5)/(-1). Sort 3, 4, u in descending order.
u, 4, 3
Suppose 3*d + 16 = -c + 2, c + 4*d = -16. Let f = c - -8. Put f, -2, -0.5 in descending order.
f, -0.5, -2
Let l = -0.06 - 0.02. Let t = l - -3.08. Let w = 2.8 - t. Put 0.1, 5, w in decreasing order.
5, 0.1, w
Let l = -0.28 + -0.12. Let k = -3.1 - -3. Put l, k, 4 in descending order.
4, k, l
Let u = -52 - -30. Let y = u - -17. Sort 5, y, 0.3 in decreasing order.
5, 0.3, y
Let s be (-48)/(-54)*(-3)/2. Sort s, -0.5, -1/12 in descending order.
-1/12, -0.5, s
Let c = 5 + -5. Put 2/11, 5, c in increasing order.
c, 2/11, 5
Let a(v) = -2*v**2 + 15*v - 17. Let u be a(6). Sort 2, -7, 0, u in increasing order.
-7, 0, u, 2
Let k be -4 + (-20)/(-8)*4. Put -1, 1, k in descending order.
k, 1, -1
Let n = -0.07 + 0.57. Let r = 0.6 - n. Sort -1, -0.2, r in ascending order.
-1, -0.2, r
Suppose 2*f + 5 + 9 = 4*n, -3*f - 10 = 5*n. Let s be f/7 + 5 + -4. Suppose 2*r - 4*y + 5*y + 5 = 0, -3*r - 6 = y. Sort r, s, -3 in decreasing order.
s, r, -3
Let v = 0.1 - 0. Let a(s) = 3*s + 56. Let m be a(-19). Put m, 4, v in descending order.
4, v, m
Let q = 66 - 67. Put 2, 1, -3, q in increasing order.
-3, q, 1, 2
Suppose 4*b - 3 - 1 = 0. Sort -5, b, 5.
-5, b, 5
Suppose 6 = 3*b - 9. Suppose -3*f + 0*f + 7 = -2*y, y + 2 = 0. Sort f, -1, b in decreasing order.
b, f, -1
Suppose 2*c - 6 = -4*v, -3*v = -2*c - c - 27. Let z = -13 - -18. Put v, 3, z in decreasing order.
z, v, 3
Let n be ((-2)/(-4))/((-1)/(-10)). Let q be 2/(-1 + 5)*6. Suppose 2*a - 3*t + 0 = 11, q*a + 2*t + 3 = 0. Sort n, 4, a in decreasing order.
n, 4, a
Suppose 6*k - 2*k = 100. Suppose 3*z = 8*z + k. Let l = 4 + -2. Put 1, z, l in descending order.
l, 1, z
Let j = -26 + 11. Let m = j + 10. Sort m, 1, 5 in increasing order.
m, 1, 5
Let m = -0.3 - -0.3. Let z = 27 - 30. Let j = 2.93 + 0.07. Sort m, z, j.
z, m, j
Let s = -0.1 + 0.6. Let z be 11/77 - (-2)/(-7). Sort z, s, 3/2.
z, s, 3/2
Let z = -36 + 289/8. Sort z, 0.3, -2, 1/4.
-2, z, 1/4, 0.3
Let s be (2 - -2)/(4/6). Let h be (3/2)/1*s. Let y be (1 - 2/3)*h. Sort y, 4, 1 in decreasing order.
4, y, 1
Let r be -3 - 15/(-3) - (-4)/(-1). Let k be (-2)/(-7) - 9/7. Sort r, -4, k.
-4, r, k
Let d(n) = -n**2 + 3*n - 3. Let y be d(2). Let a = 8 + -5. Suppose 0*b = -a*b. Sort y, b, -2 in decreasing order.
b, y, -2
Let k(f) = -2*f**2 + f + 1. Let g be k(2). Let z(b) be the first derivative of b**3/3 + 8*b**2 + 11*b + 6. Let t be z(-15). Put t, g, 0 in descending order.
0, t, g
Suppose 0 = 2*c - 7 + 11. Suppose -5*s + 3*k - 3 = 2, 4*s = -k - 4. Sort s, -3, c in ascending order.
-3, c, s
Suppose -3*c + 3*r = -r - 55, -18 = -2*c - 2*r. Let n = -8 + c. Sort -5, n, -2.
-5, -2, n
Let k = -151/570 + 5/38. Put k, 2/5, 2/3, 2/7 in descending order.
2/3, 2/5, 2/7, k
Let t be (2/1)/((5/(-5))/(-2)). Sort t, 1, 7 in decreasing order.
7, t, 1
Let v = 2.01 - 1.61. Put -14, -3, v in descending order.
v, -3, -14
Let i = 28.3 - 28. Sort -1, i, -2/9 in increasing order.
-1, -2/9, i
Let i(u) = -u**3 - 5*u**2 + 6*u. Let g be i(-6). Suppose j + 5 = 5*l - 1, -j + 4*l - 4 = g. Put 3, j, -2 in ascending order.
-2, 3, j
Let s = -0.23 - -6.15. Let u = 6 - s. Let r = u - 0.08. Sort 1/3, -1, r in decreasing order.
1/3, r, -1
Let k = 1/1582 - 44353/90174. Let m = k + 3/19. Sort -5, m, -4/5 in increasing order.
-5, -4/5, m
Let d = -40/323 - -2/323. Put -2, d, 0.5 in decreasing order.
0.5, d, -2
Suppose 0*j - 6 = -2*j. Suppose -w - 3*w = -3*s - 22, 2*w - 18 = 5*s. Put j, 2, w in decreasing order.
w, j, 2
Let l = 132 + -136. Let s be (6/(-9))/(-1)*-3. Suppose -5*f + f = 4. Put f, l, s in descending order.
f, s, l
Let v be (3 - 6/3) + -1. Suppose 2*c + 3 - 5 = v. Sort -2/9, 1/3, c in descending order.
c, 1/3, -2/9
Let p be 1/(-1) - 1*-3. Let q = 7 - 4. Put p, q, 0 in ascending order.
0, p, q
Let v = -182 + 181. Put -10, v, -5 in decreasing order.
v, -5, -10
Let l be 5/20 + 3/(-12). Suppose g + l + 1 = 0. Put g, -4, -2 in ascending order.
-4, -2, g
Let l(m) = -2*m**3 - 2*m**2 - m + 2. Let q be l(1). Sort q, 0, 3 in increasing order.
q, 0, 3
Suppose 3*a - 1 - 2 = 0. Sort 7, a, -3 in ascending order.
-3, a, 7
Let i(h) = h**2 - 2*h - 5. Let y be i(3). Let k(b) = -b**2 -