= -11*b. Suppose 5*h + 4*q = -29, -q + 10 = -4*h - b. Suppose -1 = 3*d - 4. Put h, -4, d in descending order.
d, -4, h
Let k = -23 + 50. Let d = k + -26. Put -11, d, 4 in descending order.
4, d, -11
Let q be 9/((-4)/(-8) - 2). Let k be -2*(9/q - -1). Sort k, 5, -3 in descending order.
5, k, -3
Let g = -1552 + 1549. Put g, 2, -2 in ascending order.
g, -2, 2
Let l(t) = -3*t**3 + 101*t**2 + 34*t - 5. Let s be l(34). Let u = -1 + 3. Suppose -k + 2*g - 8 = 0, u*k = -0*g + g - 1. Sort s, k, 4.
s, k, 4
Suppose 4*w - 2 = 2*o, -o = -w - 3 + 4. Put -3, o, -4, -2 in increasing order.
-4, -3, -2, o
Let h = 697 + -707. Suppose 0*n - 2 = -2*n. Sort -2/19, -2/15, n, h in ascending order.
h, -2/15, -2/19, n
Let s(q) = -11*q**2 - 165*q + 15. Let p be s(-15). Sort -1, -3, p.
-3, -1, p
Let t = -889 + 876. Put t, -5, 8 in decreasing order.
8, -5, t
Suppose 3*t = 6*t + 3*n - 93, 5*t = -4*n + 154. Put 2, t, -3 in ascending order.
-3, 2, t
Suppose -8*d + 3*d + 3*h = -5, 9 = -4*d + 5*h. Suppose -d*l - y = -20, -l + 4*y + 1 - 13 = 0. Sort -1/4, l, -0.2 in increasing order.
-1/4, -0.2, l
Let a(u) = 5*u**2 + u - 3. Let p be a(-2). Suppose 0 = 4*d - d - p. Let q = 1 + -1. Sort -4, q, d in decreasing order.
d, q, -4
Let y be 24/(-8) - (4 + -1). Let t be 10/15 - (-28)/y. Sort t, -3, 5 in increasing order.
t, -3, 5
Let s be 24/16*(5 + 395/(-75)). Put 9, s, 2, -7 in decreasing order.
9, 2, s, -7
Let h = 10.62 + -10.92. Put 494, -3, h in descending order.
494, h, -3
Let m = 118 - 941/8. Let g = 16 + -11. Put -0.4, m, g in increasing order.
-0.4, m, g
Suppose 4 = -3*m - 2. Suppose 0 = 2*n - j + 2, -5*n + 3*j = 4 + 1. Put n, m, -10 in descending order.
n, m, -10
Suppose -2 = -b - 0*b. Suppose -t - 6 - 1 = b*w, -5*w = -2*t - 5. Sort -1/2, -3/2, 3, w in decreasing order.
3, -1/2, w, -3/2
Suppose -2*o = 2*o - 12. Let x = 14 + -10. Suppose -5*f = 3*n - 13, 5*n - 4*n - 2*f = -14. Put o, n, x in increasing order.
n, o, x
Suppose 5*p - 5*a = -20, -4*a - a = -10. Suppose -3*g = -4 + 13. Sort p, 0, g in descending order.
0, p, g
Let z = 2.5 - 3. Let m = 22 - 25. Sort 0.04, z, m.
m, z, 0.04
Suppose -z = -3 - 1. Let g = -8 + z. Suppose 3*q - 5 = 5*n, -2*n - 2*n - 31 = 3*q. Put q, g, 2 in descending order.
2, g, q
Let a = -0.056 - 0.244. Let t be ((-4)/15)/(16/(-40)). Put t, 0, -1, a in ascending order.
-1, a, 0, t
Let p(d) = d**2 - 10*d + 4. Let v be p(11). Let i = v - 17. Let k = 7 - 12. Sort 5, k, i in descending order.
5, i, k
Let d = 11 - -6. Let w(x) = -x**3 + 17*x**2 - 2*x + 30. Let u be w(d). Let h be (7 - -1)/2 - 1. Sort 4, u, h in decreasing order.
4, h, u
Let f(u) = 3*u**2 + u - 5. Let w be f(2). Suppose 0 = 2*m - w - 5. Sort -4, -3, m.
-4, -3, m
Let z(d) = -d**2 + d + 2. Let c be z(-2). Let q(k) = k**2 - 10*k - 22. Let o be q(12). Suppose 6*r + o + 10 = 0. Sort r, 4, c in descending order.
4, r, c
Let c be (-4)/((25/(-20))/((-9)/(-48))). Let k = -0.2 - -0.6. Put 6/7, c, k, -0.2 in increasing order.
-0.2, k, c, 6/7
Let p = 0.08 + -3.08. Let f = -220 + 221. Put 2/7, p, f in increasing order.
p, 2/7, f
Let g(c) = -2*c + 6. Let h(o) = -2*o - 9. Let f be h(-6). Let w be g(f). Let d be (-16 - -13)/((-6)/4). Sort d, w, 4 in increasing order.
w, d, 4
Let v be -3 - (-4)/(-40)*-27. Put -3, v, -0.5, 0 in decreasing order.
0, v, -0.5, -3
Let i = -130.8 - -118. Let t = i + 6.8. Sort t, -2, -1 in descending order.
-1, -2, t
Let n = -1/70 - 33/140. Sort n, 0.5, 3/10, 4 in ascending order.
n, 3/10, 0.5, 4
Let p(o) = -o**3 - 6*o**2 - 7*o - 5. Let s be p(-5). Let j(t) = 2*t**2 - 21*t + 54. Let m be j(4). Put m, s, 8 in decreasing order.
8, s, m
Suppose -4*k + 5*r = -28, -4*r - 6 = 3*k + 2*k. Put 37, -3, k in decreasing order.
37, k, -3
Let u = 0.29 - -3.31. Let c = -1.4 - u. Let r be 1 - (0 - (-5)/3). Sort -0.4, r, c in decreasing order.
-0.4, r, c
Suppose i - 5*i = -28. Suppose t + 132 = i*t. Suppose 2 = 5*a + t. Sort 2, a, 4 in decreasing order.
4, 2, a
Let v = 177 - 177.05. Sort v, 0.5, 3.
v, 0.5, 3
Let a = -386 - -386.4. Put -0.5, -8, -4, a in increasing order.
-8, -4, -0.5, a
Let l(d) = -16 + 19*d - 9*d - 3*d. Let n be l(2). Sort 3, -9, n in ascending order.
-9, n, 3
Suppose 2*b + 9 = 5*r, 8*b - 3*b - r - 12 = 0. Let o be (6/14)/(b/21). Suppose 5*i - 2*f - o = 0, 2*f + 2 = 2*i - 4. Put 2, i, 1 in increasing order.
i, 1, 2
Let y = 2 + -1. Let s be (-4)/3*y/(-2). Let p = -3.515 - 1.485. Put p, s, -2/5 in increasing order.
p, -2/5, s
Let m = 30 + -30.5. Sort m, 28, -1/4, 4 in descending order.
28, 4, -1/4, m
Let y = -0.4 + 0.1. Suppose 0 = 5*m - 1 + 21. Sort 0.4, m, 4, y in increasing order.
m, y, 0.4, 4
Let y be ((-8)/10)/((-2)/5). Suppose -y*o + 3 = -5*o. Suppose -2*l - 4*j = 18, 2*j + 23 = -2*l - 3*j. Sort 5, l, o in decreasing order.
5, l, o
Let x = -20 - -29. Let c = 5 - x. Put c, 0.1, -2 in descending order.
0.1, -2, c
Let y = 24 - 23.95. Let w = y + 3.95. Put -5, w, 2/5 in decreasing order.
w, 2/5, -5
Let i = -17 - -12. Let s(r) = r + 16. Let g be s(-15). Let x be (-3)/g - (-3 + 2). Sort i, 5, x in decreasing order.
5, x, i
Let w = 582 - 578. Let p be 16/(-9) - 2/9. Sort -24, p, w.
-24, p, w
Suppose 3*g + 193 = 187. Sort 4, 5, g, 2 in decreasing order.
5, 4, 2, g
Let v = 0.05 - 3.05. Let w = 3.916 + 0.084. Put w, -0.2, 3, v in descending order.
w, 3, -0.2, v
Let o = 4 - 2. Let b = o + -1.9. Let m be 12/42 - 4/(-84). Put 2/5, b, m in ascending order.
b, m, 2/5
Let v = 2440 + -2436. Sort 3, -29, 0, v in increasing order.
-29, 0, 3, v
Let t = -200 + 204. Put 0.1, t, -4, 11 in increasing order.
-4, 0.1, t, 11
Let b(s) = s**2 + 4*s - 3. Let a be b(-4). Let v be (a/27)/(1/(-2)). Let q = -7.13 - -0.13. Put 2/11, v, q in descending order.
v, 2/11, q
Suppose 18*k = 37*k - 19. Let i(u) = u**3 + 6*u**2 - 8*u - 2. Let a be i(-7). Sort a, k, 0.
0, k, a
Let i be 4 - (-2)/(-1)*(3 - 4). Sort 4, 0, i, 1 in ascending order.
0, 1, 4, i
Suppose d + 11 = -0. Let y = d - -12. Suppose -3*m = y - 10. Sort m, 1, 4.
1, m, 4
Let z = 0.83 - 1.03. Sort -180, -2, z in descending order.
z, -2, -180
Let s = 305.8 - 306. Let k = -0.19 + 4.19. Sort s, -5, k in decreasing order.
k, s, -5
Let k be (-2)/(-3) + 12/(-18). Let o be 102/119*(-14)/(-3). Suppose -3*p - 11 = -5*y, 2*y = o*y - p - 5. Sort -3, k, y.
-3, k, y
Suppose -4*n + 36 = -n. Let b be (-26)/12 - (-2)/n. Let g be (24/(-40))/(b/10). Sort g, 0, -3.
-3, 0, g
Suppose -c - 3*c + 4*f = -48, 0 = f + 3. Sort 4, -3, c, 0.
-3, 0, 4, c
Let r = 126 + -1135/9. Sort 2.2, r, 7 in descending order.
7, 2.2, r
Let p = 4 + 0. Let h = p - 3.5. Let z = -21 + 20.9. Sort z, 3, h in descending order.
3, h, z
Let k = 4 + -6. Let v = 7 + k. Let j(q) = q**2 + 4*q - 1. Let c be j(-5). Sort -5, v, c in decreasing order.
v, c, -5
Let l(d) = 6*d + d**3 - 9*d**2 - 3 + 6 + d**2 + 6. Let k be l(7). Suppose -5*i + 3*g + 30 = 0, -g = i - 4*g - 18. Put i, -3, k in ascending order.
-3, k, i
Let q(d) = d - 23. Let n be q(3). Sort -2, n, -5 in decreasing order.
-2, -5, n
Let h = -33 - -27. Sort 3, 4, -3, h in increasing order.
h, -3, 3, 4
Let v(f) = -2*f**2 + 27*f - 92. Let u be v(7). Sort -1/8, 2/963, u in decreasing order.
2/963, -1/8, u
Let q = 178 + -169. Let a = 4 - 4.2. Let z = -0.1 + a. Put 0.1, z, q in descending order.
q, 0.1, z
Let l be (-21)/16*(-436)/(-327). Sort -1/2, l, 4, -2/9.
l, -1/2, -2/9, 4
Let m be (-301)/(-1290) - (-2)/(-15)*3. Sort -0.03, m, -4 in ascending order.
-4, m, -0.03
Let v be (1/2)/((-3)/(-12)). Let i be (-380)/(-665) - 4/7. Sort 1, i, v in ascending order.
i, 1, v
Suppose -i - i - 2 = 0. Suppose d + l + 3 = 0, 4*l + 4 = 4*d - 16. Let w be (-2)/(-5) + d/(35/91). Put 0, w, i in ascending order.
i, 0, w
Let n = 0.9 - 23.4. Let t = n - -23. Sort -3, 15, t in decreasing order.
15, t, -3
Suppose 0*a + 3 = 2*r + a, 3*r - 3*a - 9 = 0. Let n(q) = q**3 + 17*q**2 + 11*q - 285. Let w be n(-15). Sort w, -1, r.
-1, w, r
Suppose -17*k = 8*k - 100. Put -2/5, -0.2, k, 1/10 in decreasing order.
k, 1/10, -0.2, -2/5
Let n(g) = -2*g**3 - 4*g**2 + 3*g + 2. Let v be n(-2). Sort 0, v, -1, 3 in descending order.
3, 0, -1, v
Let f(p) = p**3 - p. Let k be f(1). Suppose a - 26 = -21. Suppose -4*h = a*j - 22, 2*h + 2*j - j = 8. Sort -5, k, h in decreasing order.
h, k, -5
Let s = 1154 + -1154. Sort s, 2/7, -2/7, -0.041 in increasing order.
-2/7, -0.041, s, 2/7
Suppose -96 = -2*t - 2*t. Suppo