 37*y - 35*y = -7. Suppose -3*b = 2*b - 10. Put -6, a, b in increasing order.
-6, a, b
Suppose -2*y - 8 = -0. Let x be (-44)/10*10/y. Let s = -4 - -3. Put s, x, 3 in decreasing order.
x, 3, s
Let n = 421/28 + -59/4. Let i = 2.063 + -0.063. Let f = -8 - -8.3. Put n, f, i in descending order.
i, f, n
Suppose 4*z - 34 = -13*z. Let x(p) = 2*p + 1. Let u be x(2). Sort u, 1, z in descending order.
u, z, 1
Suppose -47 = -4*b - 35. Sort 11, b, -3 in descending order.
11, b, -3
Let o = -7 + 17. Suppose -2*d + 14 = 2*k, -3*d + 6*d + 3 = 3*k. Let x(b) = 2*b + 3. Let c be x(-4). Put k, o, c in ascending order.
c, k, o
Let b = 164/5 + -2321/70. Sort 3, -0.2, b.
b, -0.2, 3
Suppose -5*l = -1158 - 2417. Sort 0.2, -4, l.
-4, 0.2, l
Suppose -17*g - 45 = 23. Suppose 4*f + 20 = l - 16, 0 = 2*l + f - 90. Suppose h = -3*y + 17, -l = -4*h - 5*y + y. Sort 5, h, g in ascending order.
g, 5, h
Suppose l = -5*u + 14, -2*u - 2*l = -6*u. Suppose -w - 3*x = 21, u*x - 25 = -5*w - 78. Let o be (-1)/3 - 3/w. Put -4, o, -3 in increasing order.
-4, -3, o
Suppose 17*h - 6*h + 44 = 0. Put 5, 4, -6, h in ascending order.
-6, h, 4, 5
Suppose -5*a - 3 = 2. Let w = 10 - a. Sort 0.1, 5, w in decreasing order.
w, 5, 0.1
Let j = 2981/2 + -1492. Sort j, 0.5, -0.3, -22 in decreasing order.
0.5, -0.3, j, -22
Let f = -821.1 + 820. Let l = -1.67 + -0.23. Let p = l + f. Sort -0.09, p, 2 in descending order.
2, -0.09, p
Let w(d) = -2*d**2 - 10*d - 14. Let m be w(-6). Let c be (m/(-39))/((-2)/21). Put c, -3, 5 in decreasing order.
5, -3, c
Let c be 6/(-2)*(-1)/(15/10). Suppose 0*w - 2*w - 5*y = -10, 0 = 5*w - 4*y - 25. Sort -3, w, 0, c in decreasing order.
w, c, 0, -3
Suppose 0 = 15*q - 10*q - 25. Sort q, -1, 16 in ascending order.
-1, q, 16
Let z(m) = -8*m - 76. Let w be z(-9). Put -39, w, -2 in decreasing order.
-2, w, -39
Let a = -2 + 3. Suppose 160*j = 162*j - 54. Suppose 7 = -5*q + j. Sort 2, a, q in decreasing order.
q, 2, a
Let k(n) = -12*n + 50. Let r be k(5). Put -2, -5, 0.4, r in increasing order.
r, -5, -2, 0.4
Let l be (-2)/3*3*1. Let r = 167 + -151. Put r, -3, l in decreasing order.
r, l, -3
Suppose -5*k = 18*b - 17*b - 4, 5*b - 2*k = 20. Suppose 4*l = 5*l + 5*y - 14, 2*y - 6 = 0. Put -2, l, b in decreasing order.
b, l, -2
Suppose 62 = -11*g + 139. Put 0, -5, g, -4 in decreasing order.
g, 0, -4, -5
Let a = -435 - -435. Sort -1, -5, 4, a in descending order.
4, a, -1, -5
Suppose 0 = -5*v + 15, -h = -2*v - 2*v + 10. Let q be h/(1 + (-40)/4 + 1). Put q, 0.4, 0.9, 4 in increasing order.
q, 0.4, 0.9, 4
Let k = -879 + 877. Sort -0.9, k, 1/6.
k, -0.9, 1/6
Suppose 21 = 5*q + 6. Suppose -2*f + f = -q. Let p be 2/(-4) + f/14. Sort 0.4, 0.1, p in decreasing order.
0.4, 0.1, p
Let w = 37 + -33. Let h = -29 + 14. Sort w, -2, h, -3.
h, -3, -2, w
Suppose -5*b = -3*j - 3, 0 = b - 5*j + 8*j + 3. Sort 46, b, -3 in increasing order.
-3, b, 46
Suppose 354 = 7*n + 417. Put n, 5, -5, 2 in increasing order.
n, -5, 2, 5
Let c be -44 + 0/(-2 + -1). Suppose 4*m - 3*m + 2*l - 15 = 0, 3*m - 4*l = -5. Sort c, 4, m in descending order.
m, 4, c
Let q be (-5)/(-7)*(-2)/(-5). Let i = 27.571 - -0.429. Sort q, i, -3 in ascending order.
-3, q, i
Let m(v) be the first derivative of v**3/3 - v**2/2 - 9*v + 5. Let u be m(4). Put 1/5, 3/4, -2/17, u in increasing order.
-2/17, 1/5, 3/4, u
Let b(o) = -o + 36. Let v be b(37). Let p(a) = a**3 + 3*a**2 - 3. Let j be p(-3). Sort j, 2, v.
j, v, 2
Suppose 12*h + 3*b = 17*h + 21, b - 11 = 3*h. Let l = -2 + 2. Sort l, 2, h.
h, l, 2
Suppose 0 = 2*p + p - 15. Suppose 2*l - 6 = -l, -2*w + 10 = p*l. Suppose w = -2*g - 2 + 4. Sort 2, g, -1 in descending order.
2, g, -1
Let p(j) = 17 - j - 4*j + 6*j - 4. Let r be p(-10). Suppose 2*b - r - 5 = 0. Put b, 2, -3 in decreasing order.
b, 2, -3
Let j(q) = q**2 + 2*q - 3. Let l be j(-3). Suppose 2*x - 2 - 2 = 0. Let n(z) = z**3 - 24*z**2 - 31*z + 137. Let p be n(25). Sort p, x, l.
p, l, x
Suppose 27 - 31 = -u. Suppose 5*b + 0*b = -5*l, 2*l + 30 = u*b. Put 0, -3, l in increasing order.
l, -3, 0
Let c = -5239 + 5239. Let f = -1.1 - -1. Sort f, -0.3, c, -4 in decreasing order.
c, f, -0.3, -4
Let u = 3 + -1. Let i = -248 + 244. Sort 8, u, i.
i, u, 8
Suppose -4*v + 3 = -3*v + t, t = -5*v + 3. Sort v, -1, -0.025 in descending order.
v, -0.025, -1
Let m be (3/(-1))/(3/(-4)). Suppose m - 8 = -4*n. Let d = n + 4. Put 4, 1, d in descending order.
d, 4, 1
Let q = 36.03 - 0.03. Let j = -35.8 + q. Sort 3/2, 0.06, -4/7, j in descending order.
3/2, j, 0.06, -4/7
Let y = 98020531091/4180 + -23449888. Let o = 1/380 - y. Let x = -0.23 - 0.07. Sort 5, x, o in descending order.
5, o, x
Let o be 36/16 + 3/(-12) + 0. Let x be 5*2/(-10)*-6. Suppose o*d - x = 4*d. Put 4, d, -2 in descending order.
4, -2, d
Suppose 0*p = 4*p - 5*a - 23, -3*a + 51 = 3*p. Suppose -7*l + 4*l = p. Sort l, 2, -6 in decreasing order.
2, l, -6
Let l = -303 + 306. Let b be -5 - (-2)/((-6)/(-9)). Put 6, l, b in ascending order.
b, l, 6
Let l be 2175/(-3654) + 3/7. Sort -4, 0.05, l, 1/3 in ascending order.
-4, l, 0.05, 1/3
Let y = -8 + -13. Let d = y - -2. Let o = d + 22. Put 0.8, o, 1 in increasing order.
0.8, 1, o
Let i = -13.6 - -2.6. Sort 0.3, -4, i in ascending order.
i, -4, 0.3
Let o = 5 - 6. Let w = 194 - 197. Let h = 3 - 0. Sort h, w, o in descending order.
h, o, w
Let q be 16/40 - (-4)/(-10). Let c be (2/4 - q)*16. Let r be (c/(-20))/((-4)/35). Sort -5, 0.2, r in ascending order.
-5, 0.2, r
Let p = 34.355 + -34. Let d = p + 0.045. Sort d, 4, 1 in descending order.
4, 1, d
Let i = 215 - 215. Put i, -2, -3, 1 in decreasing order.
1, i, -2, -3
Suppose 0*c + 5*c - 2*i + 31 = 0, -3*i = -5*c - 34. Let n = -4235 + 4236. Sort -2, n, 9, c in decreasing order.
9, n, -2, c
Suppose -2*u - 4 = -2. Let p = 150 + -1046/7. Let a = -894 - -894.4. Sort u, a, p in decreasing order.
p, a, u
Let q = -0.04 - -0.54. Let x = -0.04 - 0. Let z = x - -0.04. Put -1/4, q, z in decreasing order.
q, z, -1/4
Suppose 44 = -38*b + 6. Sort -4, b, 35 in ascending order.
-4, b, 35
Suppose 0 = -3*x + 3*n + 3, -6 = 5*n - 26. Let z = 4 - 12. Let k = -10 - z. Sort 2, x, k in ascending order.
k, 2, x
Let a = 1 + -9. Let x = 2.35 - 2.45. Put x, a, -4 in increasing order.
a, -4, x
Let v = 264 + -263. Let s = 5 - 1. Suppose 0*p + 5*c - 14 = p, 2*c - s = 0. Put v, p, -0.1 in ascending order.
p, -0.1, v
Let t = -44 - -23. Let b = t + 19. Put 0.6, -3, b in decreasing order.
0.6, b, -3
Suppose 98 + 10 = 6*u. Let z be u/(-24)*4/6. Sort 10, 0, z in descending order.
10, 0, z
Let o = -2612 - -2614. Put o, 1, -35, -1 in increasing order.
-35, -1, 1, o
Let t be (18/8 + -2)*20. Suppose -2*b = -t*b. Suppose b = n - 6*n - 40. Put n, 4, 3 in decreasing order.
4, 3, n
Let f(z) = 3*z**2 + 54*z + 192. Let q be f(-13). Put -2, q, -32 in decreasing order.
-2, q, -32
Let m be (-1 + 0)/(7/28). Sort -1, -2, m in decreasing order.
-1, -2, m
Let p = 1801.3 - 1801. Put p, -6, 15, 1/11 in decreasing order.
15, p, 1/11, -6
Let u be (18/135)/(16/(-40)). Sort 0, u, 35 in increasing order.
u, 0, 35
Let q = -5.91 - -6. Let t = q + -0.1. Let j = t - -0.21. Put 2/11, -2/5, j in descending order.
j, 2/11, -2/5
Suppose 3*c = 2*k + 34, 3*c - 49 = -2*k - 11. Put 7, c, -3, 0 in increasing order.
-3, 0, 7, c
Let p(x) = x**3 - 8*x**2 - 9*x - 10. Let r be p(9). Sort 1, 0.4, r in ascending order.
r, 0.4, 1
Let x be (3 + -7 - -1)/(-1). Suppose -5*p = z + 1 - 20, -2*z + 20 = 4*p. Put x, z, -1, 2 in decreasing order.
z, x, 2, -1
Let l = -133.19 - -132. Let a = l + 0.19. Sort 0.5, a, 3.
a, 0.5, 3
Let z = -39 - -36. Let u = -1.3 - 2.7. Sort u, z, 0, 1/6 in increasing order.
u, z, 0, 1/6
Suppose 0*b = 5*b + 35. Sort b, -3, 2, 3.
b, -3, 2, 3
Let d = 18 - 16. Let p = 9 + -7. Let h = p + -1. Put 3, h, d in decreasing order.
3, d, h
Let t = -2271 + 2274. Let q = 0.04 - -0.36. Put 11, q, t, 0 in ascending order.
0, q, t, 11
Let t = 0.2 - 0. Suppose -5*k - 5*m + 55 = 0, -3*m + 26 = 4*k - 23. Put 4, t, k in decreasing order.
k, 4, t
Let o = -133/5 - -1591/60. Sort 3, o, 1, 1/6 in descending order.
3, 1, 1/6, o
Let m = 0.287 - 0.387. Let q = -1707613/82 - -20825. Let o = -2/41 - q. Put o, -3, m in increasing order.
-3, o, m
Suppose 0 = -65*u + 60*u - 100. Put u, -4, -3, 5 in increasing order.
u, -4, -3, 5
Let n = 3.08 + -0.08. Suppose 2*b = -2*c - 2, -19*b + 20*b = -5. Suppose 2*g