= -13*l + 10*l - 5*s. Put y, l, -75 in descending order.
y, l, -75
Let x be ((-5)/(-2))/(3/6). Let d(n) = n**3 + 16*n**2 - 16*n - 261. Let s be d(-16). Put x, s, -13 in ascending order.
-13, s, x
Suppose r + 4*h + 11 = 0, r - 3*r = -2*h - 18. Let k be (-1)/(1*2 - (3 - 2)). Sort k, r, -4, 7 in ascending order.
-4, k, r, 7
Let x = 17 + -17.157. Let c = -5.157 - x. Put c, 13, -2/9, 1/4 in decreasing order.
13, 1/4, -2/9, c
Let l be (2/3)/(10/75) - -211. Suppose -4*h = 8*h + l. Sort 4, -2, -4, h.
h, -4, -2, 4
Suppose 3*g = 301 - 1. Suppose -3*y + g = y. Suppose 9*z - 4*z = x + 18, 2*z = 5*x - y. Sort 3, x, 0.
0, 3, x
Let l be (272/(-24) + 14)*3/(-4). Suppose 4*i = -4*n - 524, 18*i + 4*n = 19*i + 111. Sort 1, i, l.
i, l, 1
Let p = 4.22304 - 0.22304. Sort 5, -2/11, p, 34.5.
-2/11, p, 5, 34.5
Let z(f) = -9*f + 328. Let k be z(38). Sort -1, -0.2, 15, -0.3, k in ascending order.
k, -1, -0.3, -0.2, 15
Suppose -5 = -a + 5*n, -4*a + 79*n - 77*n + 2 = 0. Put -2, a, 15, 4, 3 in ascending order.
-2, a, 3, 4, 15
Suppose -134 = -p - 3680. Let a be 18/63 + p/14. Put a, -5, 1 in decreasing order.
1, -5, a
Let u(w) = -8*w - 84. Let x be u(-11). Let j be ((-15)/x + 3)*4. Put -1/8, -3/4, -5, j in ascending order.
-5, j, -3/4, -1/8
Let v be (2 + -16)/2*(-708)/(-413). Put 1, -5, 5, -6, v in descending order.
5, 1, -5, -6, v
Let h be ((-2)/10 - 45/150)*(1 + 1). Sort -2, -4, h, -12, 0 in descending order.
0, h, -2, -4, -12
Suppose 1209*p - 24 = 1213*p. Put p, 3, 0, -3 in descending order.
3, 0, -3, p
Suppose 98 = -10*f - 42. Let j = f - -44/3. Put 7, -3, j in descending order.
7, j, -3
Suppose 11589 = -18*m + 1059. Let r be 14*(-33)/(-90) + 78/m. Sort 4, r, 3, 2.
2, 3, 4, r
Let r = 849.2 + -849.6. Let k be (1/(-3))/(13/6). Put -4, k, r, 4 in increasing order.
-4, r, k, 4
Suppose 18*k - 30 = 20*k. Let j be 10/15*-3*(-15)/5. Sort j, k, -4 in descending order.
j, -4, k
Let j = -151 + 23. Let h = j + 128.09. Sort h, 0.5, -5 in decreasing order.
0.5, h, -5
Suppose -14*v = -15*v - 14*v + 45. Sort v, -11, 2, 1 in ascending order.
-11, 1, 2, v
Let n(t) = t**2 - 29*t - 95. Let h be n(-3). Sort -4, 212, h.
-4, h, 212
Let j(w) = -w + 3. Suppose -3*l = -4*l + 5. Let b be j(l). Suppose 4*g + 5*v = -11, -31*g + 10 = -34*g - 2*v. Put 3/4, -12, b, g in decreasing order.
3/4, b, g, -12
Let b = 2518.8 + -2519. Put b, -4, -38/3 in ascending order.
-38/3, -4, b
Let p = 348 - 628. Let c = p + 283. Sort c, 6, 2, -1/6 in descending order.
6, c, 2, -1/6
Let m be (9/(-6) - -1)*(9 - 13). Let l(c) = 2*c - 9. Let o be l(m). Let d be (-232)/20*(-6 - -1). Sort -4, o, d in increasing order.
o, -4, d
Let t = -12254 - -12294. Put -2, 5, 0, 4, t in ascending order.
-2, 0, 4, 5, t
Let k = 642094 + -642099. Suppose -4*d - 3 + 19 = 0. Sort k, d, 19.
k, d, 19
Let q = 0.27 + 0.03. Let z be (-2460)/210 + (-10)/35. Put 1/5, q, z in descending order.
q, 1/5, z
Suppose -4*h - 31 = -5*u + 4, 0 = 4*u + 3*h + 3. Suppose -u*k = 5*o + 16, o = -k + 2*k. Sort -0.4, -5, o, -0.2 in descending order.
-0.2, -0.4, o, -5
Suppose 8*y - 6331 = -1171. Let w = -640 + y. Suppose 0 = -2*n - 0*n - 10. Put 1, w, n, -2 in descending order.
w, 1, -2, n
Let u = -2709 + 2738. Sort 0.4, u, -15 in descending order.
u, 0.4, -15
Let s = 85 + -81. Let j(r) = -r**2 + 9*r - 23. Let x be j(3). Put x, -8, -3, s in descending order.
s, -3, x, -8
Suppose -339*v + 105 = -334*v. Suppose y = -v + 18. Let o = -1.3 - -9.3. Put 0, o, y in increasing order.
y, 0, o
Suppose 2*k + z = -10, k + 29 = -2*k - 5*z. Let y(s) = 4*s - 1. Let j be y(1). Put 4, k, j, 0 in decreasing order.
4, j, 0, k
Suppose 0 = -3*l - 4*o + 17, -o = -2*l - 11 + 15. Put 2, l, 122 in ascending order.
2, l, 122
Let z be 541 - -1 - (50 - 48). Let b = z - 539. Put -2, b, 5, -1 in ascending order.
-2, -1, b, 5
Let j be 1 + 3 + -12 + (-5)/(10/(-8)). Put 43, 8, j, -6 in descending order.
43, 8, j, -6
Let t = -12 + 1. Let p(r) = -r**3 - 11*r**2 + 2*r + 26. Let q be p(-11). Let a = -13 + 13.3. Sort -1/3, a, q, t.
t, -1/3, a, q
Let g = 433 + -434. Let z(f) = -4*f - 7. Let r be z(-3). Put -18, r, g in increasing order.
-18, g, r
Let x = -4.477 + 4.977. Put x, -0.4, -0.05, -0.27 in descending order.
x, -0.05, -0.27, -0.4
Let x be (-20)/(-50) - 36/(-10). Suppose 8*r = x*r - 16. Suppose 76 - 28 = 6*z. Put 1, r, z in descending order.
z, 1, r
Suppose -y - 7 + 8 = -k, -4 = -2*k. Suppose -2*c - 12 = -2*a, y*a + 5*c = -a - 12. Sort -4, -41, a, -5 in ascending order.
-41, -5, -4, a
Let b be 0 + 38/14 + (-4)/(-14). Let u(k) = 14*k + 9. Let h be u(b). Suppose -6 = h*t - 48*t. Sort 0, t, -13 in increasing order.
-13, t, 0
Let q be (-4)/(-6)*(-3)/8. Let b = -1/33477 + 3723/111590. Put 5, b, q in descending order.
5, b, q
Suppose -2*a + 26 = 5*m, 8*m - 3*m - 20 = 0. Suppose -5*c = -3*t - 670, -6*t - 523 = -4*c - t. Suppose c*x = 136*x + 2. Sort x, 14, a, -4 in decreasing order.
14, a, x, -4
Let j = -22004 + 22002. Sort j, -1.8, 283.
j, -1.8, 283
Suppose 0 = 4*j + o + 251, -15*j - 68 = -14*j - 5*o. Sort j, 3, 1, -1 in ascending order.
j, -1, 1, 3
Suppose -19*v + 15*v = 4*h, 3*h - 4 = -4*v. Let y be ((-18)/(-24))/(v/16). Sort y, -21, -4 in ascending order.
-21, -4, y
Let i be 7/(-5) + 0 + 2. Let h = 0.19 - -0.01. Let b(d) = 20*d + 26. Let g be b(-1). Sort g, h, i.
h, i, g
Let d = 9837 + -9839. Put 1/2, -9/5, d, 5, 6 in ascending order.
d, -9/5, 1/2, 5, 6
Let a be ((-8)/(-18))/(-2) - (19769/(-477) + 41). Sort 4, -3/7, a, 0.5, -2 in increasing order.
-2, -3/7, a, 0.5, 4
Let d be 1*(-34)/(-6) + 265/(-159). Suppose -3*w = 18*w - d*w. Put w, -17, 5 in ascending order.
-17, w, 5
Suppose -2*x + f = -7*x + 27, 0 = 2*f + 6. Suppose k = 5*k + 8. Suppose 15*r - 17*r - 6 = 0. Put r, x, k, -4 in decreasing order.
x, k, r, -4
Let s be 434/(-28) + 1/2. Let q(h) = -h**3 - 6*h**2 - 7*h - 7. Let m be q(-5). Suppose 4*o - 4*r = -24, 2*r + 3 - 5 = -m*o. Put o, 4, s in ascending order.
s, o, 4
Let n be (1 + 0)*6/6. Suppose -v = g - 1, 4*v - v - 6*g = -42. Let x be ((-14)/(-8))/(-1)*4. Put v, x, n in descending order.
n, v, x
Let b = 4.442 - 0.542. Let n = 3.9 - b. Sort -1/3, -0.22, -5, n in ascending order.
-5, -1/3, -0.22, n
Let h be (5 - 390/(-125)) + (6 - -34)/(-5). Sort h, -7/6, 0.4, 0.5 in ascending order.
-7/6, h, 0.4, 0.5
Let d(g) = -g + 6. Let x be d(7). Let j = 30.72 + -2.72. Let v = -28.1 + j. Put -3/19, x, -0.4, v in decreasing order.
v, -3/19, -0.4, x
Let i = 349 - 340. Suppose -a - i*a + 20 = 0. Sort a, 4, 1, 5.
1, a, 4, 5
Let p = 1.39 - 4.39. Sort 2/5, 3/22, -2/9, p in decreasing order.
2/5, 3/22, -2/9, p
Let h = -164 + 165. Let g be 5 + h + 16/(-4). Sort -8, 4, g in ascending order.
-8, g, 4
Suppose 5*m = 1 + 14. Let f(u) = u**2 + u - 8. Let h be f(-4). Let n(x) = -x**2 - 9*x + 10. Let y be n(-10). Sort y, m, -5, h in increasing order.
-5, y, m, h
Suppose -3*s = 2 - 8. Suppose -2*k + 5 = 3*n, 2*n + 24 = 5*k - s*n. Let h(i) = i**3 + 3*i**2 + 1. Let u be h(-3). Sort 0, u, k, 5 in descending order.
5, k, u, 0
Suppose 0 = 8*f - 11*f - 2*h + 28, -2*f = 4*h - 24. Let x be (-1)/f - (-4)/((-192)/42). Put x, -11, 0 in increasing order.
-11, x, 0
Let n = 81 + -90.95. Let t = n - -10. Let y = 20/59 - 338/649. Put t, y, -0.2 in descending order.
t, y, -0.2
Let h = -4165 - -4170. Sort 4, h, 0, 9, -74 in increasing order.
-74, 0, 4, h, 9
Let y(n) = 158*n + 616. Let s be y(-4). Put -4, s, -5, 4 in decreasing order.
4, -4, -5, s
Let g be 1*4 - 1165/(-5). Let p = -3553/15 + g. Let t be 7/(-4) + (1 - 3/12). Sort 0, t, 4, p.
t, 0, p, 4
Let k = 23.2 - 23.3. Let t = -0.616 + 0.316. Let i = -0.04 - 0.36. Sort k, t, -0.2, i in descending order.
k, -0.2, t, i
Let j = -2151.8662 + 2148.8. Let t = j + 0.0662. Sort 0.3, 0.2, t, 0.
t, 0, 0.2, 0.3
Let n be 5/(-12) - (-2)/(-8). Let y = -1.164 + -880.836. Let j = y - -885. Put 0, j, n, 2 in descending order.
j, 2, 0, n
Let v = 72 - 36. Suppose 8*a - 105*a + 358 = 67. Sort -4, v, a, -2 in decreasing order.
v, a, -2, -4
Let m = 0.095 - -0.105. Let p = 439.9 - 440. Let u be 270/(-175) - 2/(-5). Sort m, p, u, -0.3 in increasing order.
u, -0.3, p, m
Suppose 5*d + 3*n - 580 = 0, -2*d + n + 41 + 191 = 0. Let q = d - 128. Let c = -17 - q. Sort -2, c, 0.2 in descending order.
0.2, -2, c
Let l be (6/(-9))/((-4)/(-18)). Suppose -k = 5, 5*y - k - 5 = 7*y. Sort 5, 2, l, y in ascending order.
l, y, 2, 