uppose 4*d = 3*v - 23, 4*d = v + 3*d - 6. Put -4, v, p in decreasing order.
v, p, -4
Suppose 3*n + 0 = 15. Suppose -2*z - n = -z - a, -4*z - 2 = 2*a. Suppose u + u = -10. Sort 0, u, z.
u, z, 0
Let s be 156/(-60) + 2/(-5). Put 1, -2, s, 4 in increasing order.
s, -2, 1, 4
Let w = -73 + 78. Sort w, 1, -6, 2 in ascending order.
-6, 1, 2, w
Suppose h + 3*n - 5 = -2*n, 2*n = 0. Suppose -3*k + 19 = -q, -h*q - 4*k - k + 5 = 0. Suppose j + j = 4. Sort j, -1, q in ascending order.
q, -1, j
Let c = 0 - 4. Suppose 0 = 6*a - 5*a. Sort a, 5, c in decreasing order.
5, a, c
Suppose x + 4 = -4*d + 3, 0 = 4*x + 5*d + 48. Let z = -19 - x. Sort 1, -1, z in descending order.
1, -1, z
Let x = -0.23 - 0.25. Let n = x + -0.02. Let d be 38/209 + 9/(-110). Sort n, 2/3, d in ascending order.
n, d, 2/3
Let z = -13 - -77/6. Sort z, 4, 2 in ascending order.
z, 2, 4
Let u be ((-18)/21)/(3/2). Let p(h) = -h + 7. Let g(a) = -2*a + 7. Let q(s) = -3*g(s) + 4*p(s). Let d be q(-5). Put u, -4, d in ascending order.
-4, d, u
Suppose -4*d + 4*s + 8 = 0, -5 = -d - s + 1. Sort -1/6, -2/23, d in descending order.
d, -2/23, -1/6
Let c = 0.1 - -1.7. Let o = 6.8 - c. Sort o, 0, 1/3 in descending order.
o, 1/3, 0
Let i = 21 - 15. Let v be ((-4)/(-9))/((-4)/i). Let u = 0.7 - 0.5. Put v, -1/7, u in descending order.
u, -1/7, v
Let a = 7.95 - -0.05. Let v = a + -6. Let u = -1 + 0.9. Put 4/5, u, v in ascending order.
u, 4/5, v
Let x be ((-36)/42)/(2/(-14)). Put 2, -4, x, 0 in descending order.
x, 2, 0, -4
Let i = 28 + -17. Suppose 4*g + i = -1. Let p be 45/(-12) + (-2)/8. Sort p, -2, g.
p, g, -2
Let v be (-32)/(-18) + -2 + (-387)/81. Sort 1/2, v, -2/13 in decreasing order.
1/2, -2/13, v
Let f = -0.35 - 0.05. Let d be 4/(-10) + 11/4. Let k = -13/5 + d. Put -1/10, k, f in decreasing order.
-1/10, k, f
Let t = -119 - -475/4. Put 13, -3, t, 2/23 in decreasing order.
13, 2/23, t, -3
Let d = 4 - 4. Suppose -2*x = 3*h + 10, 0*x - x = 5*h + 5. Let z be (h - 2)/(6/(-15)). Put 2, d, z in ascending order.
d, 2, z
Suppose i - 30 = -2*i. Let o(x) = x**3 - 10*x**2 - x + 11. Let t be o(i). Sort -2, t, 6 in descending order.
6, t, -2
Suppose -6*p = -2*p + 16. Suppose 5*t = -16 + 1. Put t, -1, p in increasing order.
p, t, -1
Let k = -30 - -26. Sort 2, k, 19, 0 in increasing order.
k, 0, 2, 19
Let c be 1 + (1 - 2)*1. Suppose z = 2*z. Suppose z = q + 2 - c. Put 3/5, q, -1 in decreasing order.
3/5, -1, q
Let c(m) = -m**2 + 7*m + 21. Let i be c(9). Sort -4, -1, i in descending order.
i, -1, -4
Suppose -2 = p - 2*p. Suppose 3*w - 25 = 4*c, c - 18 = -p*w + 4*c. Sort w, 2, -2 in ascending order.
-2, 2, w
Suppose 2*y - 4*h - 24 - 8 = 0, 3*y = h + 28. Let b = -11 + y. Sort 0, b, -1 in descending order.
0, -1, b
Suppose i = -2*i + 2*c + 2, -2*i - 5*c = -14. Let v(h) = 5*h - 32. Let r be v(6). Sort 4, r, i in increasing order.
r, i, 4
Let x = -4.66 + 5.2. Let y = x + -0.04. Let z = -4.7 - -5. Put z, y, 2/15 in ascending order.
2/15, z, y
Let m = 11 + -15. Let v = -235 - -234.7. Sort v, m, 0 in descending order.
0, v, m
Let h = -21 + 21. Put 2, -16, h in ascending order.
-16, h, 2
Let q = -32 - -31.5. Sort 2, 3/5, q in decreasing order.
2, 3/5, q
Let n be (27/18)/(12/(-2)). Sort 2/7, 1/5, n in descending order.
2/7, 1/5, n
Suppose a = 3*a + 2. Sort -3, -7, a in decreasing order.
a, -3, -7
Let t = -20 - -12. Let d = t + 9. Suppose -3*x + q - 3 = -3*q, 2*x + 5*q = 21. Put 0, x, d in decreasing order.
x, d, 0
Suppose -4*t + 2 = z - 3*t, -3*z = -t - 26. Sort 5, z, -2 in increasing order.
-2, 5, z
Suppose -3*c - 9 = 0, 8*s = 7*s + 5*c + 15. Let n(t) = -4*t**2 - 50*t + 22. Let p be n(-13). Sort p, s, -1 in descending order.
s, -1, p
Suppose 0 = 3*t - n + 5, -2*n - 1 = -2*t + 1. Sort t, 1, -4 in decreasing order.
1, t, -4
Let l = -1 + -4. Sort l, 3, -3.
l, -3, 3
Let h(j) = 5*j - 16. Let a be h(6). Let m be (-4)/6*84/a. Put m, 2, 0.5 in decreasing order.
2, 0.5, m
Suppose -x + c = 0, -2*c - 3 + 31 = 5*x. Suppose -w + 2*p - 8 = 0, 6*p - 17 = x*w + p. Let l be 1/((-21)/9 + w). Sort l, 5, 0 in ascending order.
l, 0, 5
Let v(x) = -3*x**3 - x. Let m be v(1). Let u be (5 + -3 + -3)/(4 - 3). Put 0, m, u in decreasing order.
0, u, m
Let t = 1 + 0. Suppose 29*g - 16 = 33*g. Put g, -2/3, t in descending order.
t, -2/3, g
Let k = -40.1 + 40. Put 0.5, -2/3, k in decreasing order.
0.5, k, -2/3
Let b = 0.9 - 1. Let u = 41.1 + -37. Let i = u + b. Put i, 2/7, -1/6 in ascending order.
-1/6, 2/7, i
Let f be 8/(-3)*6/4. Let l = -9 - f. Suppose -4*o + k = 0, 5 = o - 3*k - 6. Sort -4, l, o in decreasing order.
o, -4, l
Let z = 7 + -5. Suppose 4*u - 10 = z*u. Put -5, -4, u in decreasing order.
u, -4, -5
Let h = -81.3 - -79. Sort 3, h, 0.2, 0.1 in increasing order.
h, 0.1, 0.2, 3
Let p be 1/2*2 + -1. Suppose 4*i = -3*x + 17 - 1, 3*i - 2*x - 12 = 0. Suppose i*r + 3 = -5. Put r, p, 1 in descending order.
1, p, r
Let n = -118 + 138. Sort n, -2/5, -5 in decreasing order.
n, -2/5, -5
Suppose -2*g - 25 = -3*p - 0*p, 47 = 5*p + 2*g. Sort 6, 0, p in descending order.
p, 6, 0
Let s = 402.5 - 402. Let o = 7.1 - -0.9. Let b = o - 6. Put b, s, 0 in descending order.
b, s, 0
Let w = -0.65 + 3.65. Put 4, w, -3/4 in descending order.
4, w, -3/4
Let z = 51 - 33. Let h = 21 - z. Sort -1, 1/4, h in descending order.
h, 1/4, -1
Suppose 4*j + 5 = 2*c + 3, -4*c - 5*j - 9 = 0. Put -2, 2, c in increasing order.
-2, c, 2
Let t = 4.2 - 3.7. Let d = 13/2 - 51/8. Put t, d, 5 in descending order.
5, t, d
Let f(j) be the first derivative of -j**2/2 - 13*j - 3. Let g be f(-5). Put -4, 5, g in increasing order.
g, -4, 5
Let j be (12/(-21))/(6/(-3)). Put j, -1/8, -5 in ascending order.
-5, -1/8, j
Let b(u) = -2*u + 44. Let i be b(21). Sort 0.1, i, -5, 4 in decreasing order.
4, i, 0.1, -5
Let u be -12*(0 - -2)/(-4). Let l be 37/(-7) - u/(-21). Sort -3, -2/5, l in increasing order.
l, -3, -2/5
Let t = 0.07 + 0.53. Let f = t + 2.4. Let u = 1 - 2. Put f, -0.1, u in descending order.
f, -0.1, u
Let z(s) = -s + 5. Let u be z(7). Put 3, 6, u in decreasing order.
6, 3, u
Let c = 53 + -51. Let s(f) = 4*f**2. Let n be s(-1). Sort n, -2, c in decreasing order.
n, c, -2
Let p be (2 - 3 - 2)/(-1). Let z = 15 + -3. Suppose -z = 6*b - p*b. Put 0.5, b, -3/5 in descending order.
0.5, -3/5, b
Let i = 19 + -12. Let k(c) = c**3 - 6*c**2 - 5*c - 10. Let w be k(i). Let s(z) = z**2 - 5*z - 1. Let b be s(w). Sort b, -1, -2 in ascending order.
b, -2, -1
Let x be (-47)/(-9) + 10/(-45). Let l = -2 + 5. Sort 4, x, l in decreasing order.
x, 4, l
Let q = 0 + -3. Sort 0.06, q, 2 in ascending order.
q, 0.06, 2
Let n = 4 - 3. Let g be -8 - (-13 - -4) - 3/4. Sort g, -1, n in increasing order.
-1, g, n
Let k be (-5)/(-20) + (-30)/(-8). Suppose 3*a - 4*b + 5 = -0*a, -5 = -b. Suppose k*u = a*u + 4. Sort u, 3, 1 in descending order.
3, 1, u
Let o = 17 - 16. Sort o, 2/5, 5 in increasing order.
2/5, o, 5
Suppose -2*b = 4*o + 18, 4*o + 8 = 3*b - 15. Let g = -1 + 1. Suppose g*j = -j. Sort b, j, -2 in descending order.
b, j, -2
Let d(h) = 2*h - 40. Let w be d(18). Sort -3, 4, 17, w.
w, -3, 4, 17
Suppose 0 = -4*h - 16, -16 = 4*p + 2*h - h. Let n be p*(16/6 - 2). Suppose -3*i = 0, 0 = -4*a + 2*i - 6*i. Sort n, a, 3 in increasing order.
n, a, 3
Suppose 0 = 4*s - 8. Let f be s + -2 + 2 - 4. Let m be (0 + -2)*(-6)/4. Sort 1, m, f in descending order.
m, 1, f
Let v = 0.01 + -0.08. Sort v, 0.5, 5.
v, 0.5, 5
Suppose 3*t = 4*t + 2*c - 47, -t = 4*c - 39. Let o be (-4)/(-22) - 285/t. Sort o, 3, 1 in decreasing order.
3, 1, o
Suppose 0 = -4*x - 0*x + 16. Suppose -4*h + x = -2*h. Put 0, -3, h in decreasing order.
h, 0, -3
Let i = 104 - 104. Put i, 1, -17 in ascending order.
-17, i, 1
Suppose 5*u = 5, -4*r + u = -3*u - 8. Sort 1/7, r, 5 in descending order.
5, r, 1/7
Suppose -2*m + 24 = -0*m. Let i be (-1)/4 - (-3)/m. Suppose 7*u - 2*u = -h - 5, 0 = -5*h - 4*u + 17. Sort h, -2, i.
-2, i, h
Suppose -10*a = -4*a - 30. Put a, -4, 1, -2 in decreasing order.
a, 1, -2, -4
Let a be 26 - (-1)/(2 - 1). Let b = a - 48. Let n be 4/(-12) - 16/b. Put 0.1, 0.5, n in descending order.
0.5, n, 0.1
Let t = -8 - -9. Let c = -1 + 1. Let a = t - c. Put 0, a, -1 in ascending order.
-1, 0, a
Suppose 0 = 3*m + 3*r - 4 - 11, -m - 4*r = -14. Let t be (-1 - 0) + m/(-2). Suppose 4*v + 0*v = -16. Sort v, 3, t.
v, t, 3
Let n be 238/(-7)*(-4)/378. Let s = 2/27 - n