*q = -6*q + 10. Put q, -2, v in descending order.
q, v, -2
Suppose 0*t + 8 = 4*t. Let b = -3 + t. Let n = 3 + -1. Put 5, b, n in decreasing order.
5, n, b
Let r = 0.2 + 0. Let u = 0.15 + -2.15. Sort r, -4, u.
-4, u, r
Let g be (-9 - -9)/((-1)/(-1)). Sort g, -1, 2, -5 in descending order.
2, g, -1, -5
Let r be ((-3)/(-4))/((-12)/8). Let a = -92.61 + 93. Let o = a + 0.01. Sort o, -0.1, r in increasing order.
r, -0.1, o
Let b = 0.5 - 0. Let m = -1.797 + -0.203. Let r = -2 - -1.8. Put b, r, m in ascending order.
m, r, b
Let y be (-3)/4 + (-115)/(-20). Suppose y*q = -0*q. Sort -5, q, 1 in decreasing order.
1, q, -5
Let u = -0.13 + 3.13. Sort -0.2, u, -0.3.
-0.3, -0.2, u
Suppose 4*p - 8 = -4*y, 0 = 7*p - 9*p - 6. Let f be 6 + -4 - 2/(-1). Sort 1, y, f.
1, f, y
Let w = -0.4 + -3. Let n = 0.4 + w. Let b = -4 + 7. Sort -0.3, n, b.
n, -0.3, b
Let k = 6 + -2. Let d = -183 + 184. Sort 2, k, d in descending order.
k, 2, d
Let x(p) = 4*p - 3. Let r be x(-1). Sort -3, 5, -4, r in ascending order.
r, -4, -3, 5
Let g = -24 + 12. Let f = 13 + g. Put 3, -5, f in increasing order.
-5, f, 3
Let p = 9 - 9.1. Sort -4, p, 2/21 in ascending order.
-4, p, 2/21
Suppose 2*s + 3*s = 5*m - 45, -3*m - 2*s + 7 = 0. Suppose 6 = 4*u + 2. Put m, u, -3 in descending order.
m, u, -3
Suppose -9 = -l + n, -n = 4*l + 2*n - 8. Suppose l + 23 = -4*q + 4*w, -5*q - 2*w = 0. Sort q, -4, -6 in ascending order.
-6, -4, q
Let u be (1/(-2))/(-6 - (-140)/24). Sort -1, u, -3 in increasing order.
-3, -1, u
Suppose -3*d = -7*d - 12. Sort d, 0, 4 in descending order.
4, 0, d
Suppose -4*w = 6*w. Sort 3, -2, w in decreasing order.
3, w, -2
Suppose 5 = g + 3*n, 3*g - 5*n + n - 15 = 0. Sort -2/17, g, -0.5 in decreasing order.
g, -2/17, -0.5
Suppose 3*u = g - 18 + 3, -5 = 5*g + u. Let s = g + 0. Let b(z) = -z**3 + 4*z**2 - z + 2. Let d be b(4). Sort d, 2, s in descending order.
2, s, d
Suppose -10 = 9*x - 4*x. Sort -3/2, x, -0.3 in increasing order.
x, -3/2, -0.3
Suppose -2*g - q + 6 = 3*q, 3*q - 32 = 4*g. Let d = 2/143 + -292/429. Put g, d, -2/5 in decreasing order.
-2/5, d, g
Suppose b + 3 = 3*w, 2 = 2*b + 3*w - 1. Suppose -3*g - 3 = -0*o - o, -o + 2*g + 3 = 0. Suppose i = o*i - 2. Sort 3, i, b in descending order.
3, i, b
Suppose -2 - 2 = i. Let m = 2.3 + -2.3. Put 0.5, m, i in descending order.
0.5, m, i
Let r = -9 + 5. Let y = 6 + -11. Let x = y + 8. Sort x, 2, r in ascending order.
r, 2, x
Let y be ((-4)/(-10))/(32/30). Let g(a) = a**2 - 5*a + 3. Let h be g(6). Let v be 6*(2 - 20/h). Put v, 2/7, y in descending order.
y, 2/7, v
Suppose 3*l = 5*l - 8. Let o be 62/22 + (-4)/(-22). Sort l, o, 5.
o, l, 5
Suppose -13 = -4*n - h, 2*n - 5*h = -0*n + 1. Put 0, n, -5 in increasing order.
-5, 0, n
Suppose -s = -4*d + 5, 2 = -3*d + 4*d. Let w be (-24)/(-6)*(-3)/8. Let q = -6 - -3. Put q, s, w in descending order.
s, w, q
Let u = 23 + -26. Sort 0, 2, u, 5 in decreasing order.
5, 2, 0, u
Suppose 0 = 4*c - 15 + 3. Let d be c*(-2)/((-4)/6). Suppose -d = 2*v - 3. Sort -2, v, -4 in ascending order.
-4, v, -2
Let u be 4 - 39*4/42. Suppose 3*y + 11 = -4. Sort y, u, -1 in increasing order.
y, -1, u
Suppose -20 = -5*w - 5. Suppose -11 + 2 = w*i. Let u be (-18)/(-27) - (-5)/(-3). Sort i, u, 1 in descending order.
1, u, i
Suppose 4*l + 20 = 4. Suppose -4*n = -2*n - 14. Let h be n*-1 - (-12)/3. Put h, l, 4 in increasing order.
l, h, 4
Suppose 4*o + 41 = 49. Sort -3, 23, o, 5.
-3, o, 5, 23
Let t = -0.85 - 17.95. Let q = t + 19. Sort q, 5, 3.
q, 3, 5
Let o = 4 - 1. Suppose -2*p - o*w + 15 = -1, -2*p + 4*w = 12. Suppose 5*v - l = 5 - p, -10 = -4*v - 3*l. Sort -2, 4, v.
-2, v, 4
Let f be (-1 - (-1 - -1))*2. Put f, 1, 2 in descending order.
2, 1, f
Let y be (-12)/(-16) + 11/(-4). Sort -4, 1, y.
-4, y, 1
Let i be (-3)/(12/(-8) - -3). Sort i, -9, 5.
-9, i, 5
Let f = 8 - 11. Sort -2, f, 4.
f, -2, 4
Let v be (-12)/(-4)*(-4)/6. Let i be v/4*(6 + -4). Suppose 0 = 2*j - 5 + 1. Put -4, j, i in descending order.
j, i, -4
Suppose -v + 5*w = 21, 3*w - 15 = -v + 4. Put 0, v, 3 in descending order.
v, 3, 0
Let b = 4.091 + -0.091. Put 5, 5/4, b in decreasing order.
5, b, 5/4
Let a = 0.4 + -0.35. Let o = a - -12.95. Let v = o + -18. Put v, -0.5, -4 in descending order.
-0.5, -4, v
Suppose 4*d - 4*n - 19 = 9, -6 = 2*n. Suppose 2*z - z - 1 = 0. Let f be -1*z/((-2)/(-6)). Sort d, f, -5.
-5, f, d
Let s = 1 + -8. Let r = -11 - s. Sort -2, r, 4 in increasing order.
r, -2, 4
Let k = 9 + -13. Let u be 2/(-14) + (-18)/21. Let j = 33 + -30. Sort k, j, u.
k, u, j
Suppose 5*t + 3*g = 15, 5*t + 2*g = -3*g + 25. Put -2, 6, 5, t in descending order.
6, 5, t, -2
Let n(b) = 5*b + 182. Let w be n(-36). Suppose -j + 0*j + 6 = -m, 4*m + 12 = j. Sort w, m, -3 in ascending order.
-3, m, w
Let o be 2 + (1 - 2/2). Suppose -3*i + 18 = -3*y, 4*i = -4*y - y - 3. Put 1, y, o in decreasing order.
o, 1, y
Let f(o) = -o**3 - 9*o**2 + 2*o + 13. Let b be f(-9). Sort b, 5, -9 in descending order.
5, b, -9
Suppose 0 = -5*w - 3 - 2. Let c(o) = -3*o + 24. Let a be c(8). Suppose 3*f - 8 = f. Sort w, f, a in decreasing order.
f, a, w
Let y = -0.1 + 0.3. Let f = 1.2 - y. Let r = f - 0.8. Put 2, -3, r in ascending order.
-3, r, 2
Let m = 5.8 - 5. Let x = m + -0.3. Let l = x - 0.5. Sort -3, -0.3, l in decreasing order.
l, -0.3, -3
Let l = -13.8 + 11.8. Put 0.3, l, 5, -1 in ascending order.
l, -1, 0.3, 5
Let x(o) = o**3 + 16*o**2 - 18*o - 21. Let r be x(-17). Put -1, -5, r in decreasing order.
-1, r, -5
Let b = -161.5 - -161. Let a(w) be the third derivative of -w**6/60 - w**5/60 + w**4/24 + w**3/6 - w**2. Let u be a(-1). Put b, u, -2 in decreasing order.
u, b, -2
Let d be -10*1/(-2) - 2. Suppose -d*k + 2 = -k. Put -1, 0, k in decreasing order.
k, 0, -1
Suppose -2*k = -4*p - 24, 5*p + 4 = -k - 3*k. Let f be (-2)/((-4)/6*3). Let u = f - p. Sort -2, u, 2 in increasing order.
-2, 2, u
Let t be 6/3 - (-44)/(-24). Sort -2/5, -1, t, 2/3 in descending order.
2/3, t, -2/5, -1
Let j = -0.18 - -0.14. Let p = 0.46 - j. Put -3, p, 2 in descending order.
2, p, -3
Let p = -1342/7 + 192. Sort p, -2/7, 16, 1/8 in descending order.
16, p, 1/8, -2/7
Let i = -56 + 52. Put -0.5, 0, i, -3 in decreasing order.
0, -0.5, -3, i
Let n be -3*(-5 - (-70)/15). Put -3, 5, -6, n in decreasing order.
5, n, -3, -6
Let s = -0.7 - -0.72. Let v = 0.07 - s. Let n = v - -0.95. Sort -4, n, 2/13 in decreasing order.
n, 2/13, -4
Suppose 0*n = -n - 3. Suppose -4*o + 2*o = g - 4, 4*o = -3*g + 4. Suppose -o*d + 4 = 4*a, -2*d = -a - 0*d - 8. Sort n, a, -1 in increasing order.
n, a, -1
Let f(c) = -c**2 + 6*c + 5. Let d be f(6). Put -4, 3, d in descending order.
d, 3, -4
Let k be -9*((-5)/(-3) - 1). Let l = k - -7. Put -3, -5, l in increasing order.
-5, -3, l
Let r = 0.06 - 4.06. Let j = 0 - -0.3. Let b = -0.3 + j. Sort r, b, -0.4.
r, -0.4, b
Let v be (-1)/(-7) + (-14)/98. Let z = 16 - 11. Put v, 4, z in ascending order.
v, 4, z
Suppose 4*q + 2*x = 70, -2*q - x = -3*q + 16. Let r = q - 17. Sort r, 1, 5 in ascending order.
r, 1, 5
Let g = -14/5 + 37/15. Let c = -5 + 8. Sort 2, c, g in descending order.
c, 2, g
Suppose 43*z = 47*z - 4. Sort -1, 2, z.
-1, z, 2
Let h be (-4)/24*-15*(0 + 2). Sort h, 8, 3.
3, h, 8
Let p = 0.033 - -0.367. Put 0, -5/7, 0.3, p in increasing order.
-5/7, 0, 0.3, p
Let j = 12.7 + -5.1. Let p = j + -7. Let a = -1.4 - p. Sort 0, 0.5, a in increasing order.
a, 0, 0.5
Let y = 25.6 + -26. Let m = 0.5 + -0.3. Let s = y + m. Put 3, s, 5 in increasing order.
s, 3, 5
Let h = 100.98 - 100. Let y = h - -0.02. Let c = -2 - -7. Put c, -0.1, y in increasing order.
-0.1, y, c
Suppose -4*j = -j - 4*y + 10, 2*j + 2*y = 12. Suppose -5*d + 2*w = -0*d - 6, -2*w - 6 = j*d. Let q = -1.22 + 1.52. Put 5, d, q in descending order.
5, q, d
Suppose -18 = -2*y - 4*d, 3*y - 15 = 2*d - 4*d. Let f = y + -7. Put 2, -3, f in descending order.
2, -3, f
Let y(w) = -3*w - 4. Let v be y(-3). Suppose 2*m = 5*b + 27, -m = -0 - 1. Put 4, v, b in decreasing order.
v, 4, b
Suppose 0 = w - 0*w + 1, 2*w = 4*k - 2. Suppose z - 2*z + 3*o - 9 = k, 5*z - 3*o + 45 = 0. Let q be (-22)/z - (-4)/(-2). Sort 3, q, -1/4.
-1/4, q, 3
Let m be -7 + (-2 - 6/(-1)). Let p be (-1 - -6)*8/(-10). Sort m, 2, p in ascending order.
p, m, 2
Suppose 0*b + b - 3*h = -8, 0 = 2*h - 6. Sort -2, -3, 2, b in decreasing order.
2, b, -2, -3
Let n be 15/(-1)*(-4 + (-52)/(-12)