3
Let u = 12 + -16. Let b = -9 - u. Let h be -4*4/(-24) + (-38)/(-6). Sort b, h, 2 in increasing order.
b, 2, h
Suppose 5*x + 9 = -h, -x - 7 = 4*h + 10. Let g be ((-3)/9)/(5/3). Let p be -3*4/16*-1. Sort x, p, g in increasing order.
x, g, p
Let y = -15247/13 + 1173. Put -20, -8, y in descending order.
y, -8, -20
Let x be 3 - 4 - (1 + 1). Suppose -3*w + 5 + 4 = 0. Suppose -14 + 14 = -w*m. Sort m, 2, x in increasing order.
x, m, 2
Let f = 28 - 46. Let j = f - -4. Let t = 13 + j. Put t, 0.1, -4 in descending order.
0.1, t, -4
Let d be 7/(-6) + 9/54. Put d, -3, 14, 1 in ascending order.
-3, d, 1, 14
Let t(w) = w**3 + 15*w**2 + 2. Let z be t(-15). Suppose -z*n + 22 = 70. Let u be n/(-11) - (4 - 2). Sort 1, -0.4, u in increasing order.
-0.4, u, 1
Let t be (50/(-6))/(440/(-1584)). Put -3, t, 0, 4 in ascending order.
-3, 0, 4, t
Suppose -8*m + 28 = -12*m. Let w = 7 + -6.5. Sort m, w, 3 in decreasing order.
3, w, m
Suppose 0 = -0*z + 5*z + 5. Sort z, 4, 16 in descending order.
16, 4, z
Let h = 251 - 260. Put h, 6/5, 3/5, -1 in descending order.
6/5, 3/5, -1, h
Let y = 10 - 7. Let q = y - 6. Let v = 616 - 621. Sort v, q, -1 in increasing order.
v, q, -1
Let o be (1*-12)/(-1*6/24). Suppose -3*v + o - 3 = 0. Sort v, -2, -0.3 in descending order.
v, -0.3, -2
Let q = 6 + -6.8. Let w = q - 0.2. Let x be (-6*7/210)/((-4)/10). Sort -6, x, w.
-6, w, x
Let d be (-3 - (-8)/3)*3. Let a be d*(2 + 0/(-2)). Let c be a/(-3) - (-28)/(-24). Sort 5, c, 0.1 in increasing order.
c, 0.1, 5
Suppose -g + 5 = 31*h - 33*h, -h + 20 = -5*g. Sort h, -3, -402, 1 in increasing order.
-402, h, -3, 1
Let a = -18 + 18. Let s be (-4 - -3)*-1 + a. Put -3, s, 1/14 in decreasing order.
s, 1/14, -3
Let l be 1 + ((-8)/(-10))/(8/(-20)). Let n = -14 - -13.3. Sort l, -4/5, n.
l, -4/5, n
Let k(m) = -5*m - 192. Let q be k(-39). Put 5, q, -1, -4 in descending order.
5, q, -1, -4
Let g = -183/74 + 36/37. Let k = -11.03 + 0.03. Sort k, 0.5, g in decreasing order.
0.5, g, k
Let p = -137 + 137.124. Let s = 0.176 + p. Let c = -0.2 - -0.1. Sort s, c, 4 in ascending order.
c, s, 4
Suppose 2*l - 2*u + 10 = 0, 15*u + 24 = -4*l + 20*u. Sort 0.4, -0.08, l.
l, -0.08, 0.4
Let z be (-18)/(-28)*2/3. Suppose 2*n - 4 = 2, -4*y = n - 303. Let m = 677/9 - y. Sort m, -3, z in increasing order.
-3, m, z
Suppose 7 = h + 9. Let t(f) = 2*f + 13. Let i = 3 - 12. Let z be t(i). Put h, z, -2/19 in decreasing order.
-2/19, h, z
Let z = 2 - 2. Suppose 5*f - 24 = -2*o + 3*o, 3*f = 4*o + 28. Suppose 4*u = -k - 5, -f*k + 5*u = -3*k - 4. Put 1, k, z in increasing order.
k, z, 1
Let g = -601 + 599. Let p = -1 + 1.4. Sort 4, -6/11, p, g in descending order.
4, p, -6/11, g
Let f be (-1)/4*(0 - -1). Let b = 30.8 + -31. Put f, b, 0, -0.4 in decreasing order.
0, b, f, -0.4
Let r(x) = x**3 - 12*x**2 - 29*x + 12. Let z be r(14). Suppose 4*f = f + 12. Suppose -f = -0*l - l. Put z, 5, l in increasing order.
z, l, 5
Suppose j - 6 = 2*y, 6*j + 37 = -5*y + 3*j. Let m be 3/2 + 15/6. Put -1, y, m, -10 in increasing order.
-10, y, -1, m
Suppose 4*l - 15 = -19. Put -3, l, 0.2, 11 in decreasing order.
11, 0.2, l, -3
Suppose -2*b = -b - 6. Let k(g) = -g**3 + 5*g**2 + 8*g - 6. Let l be k(b). Put 1, l, -3 in descending order.
l, 1, -3
Let n(j) = -j**3 - 8*j**2 - 10*j - 10. Let g be n(-8). Suppose -g = 10*v + 4*v. Put 1, 0, 4, v in ascending order.
v, 0, 1, 4
Let c be 2 + 1 + (-26)/8. Let x = 2601 - 10399/4. Sort x, 0.4, 1, c in increasing order.
c, 0.4, 1, x
Suppose -9*w + 2*w + 6*w = 0. Put w, -1, -7 in descending order.
w, -1, -7
Let z = 7 - 2. Let h be ((-384)/155)/((-494)/95). Let m = h - 10/31. Sort z, m, -2 in increasing order.
-2, m, z
Suppose 4*h + h = 0. Let f = 5.524 + -0.594. Let b = f - 0.93. Sort h, 3, b in decreasing order.
b, 3, h
Suppose 23 = -5*z + 3. Let j be (-5)/15*6/z. Let x = -1 + 3. Put -1/3, x, j in descending order.
x, j, -1/3
Let v = 0.035 + -0.041. Let x = 8.006 + v. Let y = 0.5 - 5.5. Put x, y, 1 in descending order.
x, 1, y
Let k = 10 - 5. Let q be ((-10)/4*-2)/1. Suppose 0 = -u + q*c - 3, -u - u = -3*c - 1. Sort k, 1/4, u in increasing order.
1/4, u, k
Suppose 3*n + 3 = -27. Put n, 5, -5, -2 in descending order.
5, -2, -5, n
Let m(t) = t**2 - 6*t - 6. Let k be m(6). Let r(z) = -z**2 - 6*z + 3. Let s be r(k). Suppose 70*v + 216 = 566. Sort -1, v, s in decreasing order.
v, s, -1
Let z = -0.2 + 0.3. Let s = 72 - 23. Let v = -51 + s. Sort -6, v, z.
-6, v, z
Let f be 0*((-28)/16 - -2). Sort f, -6, 5 in ascending order.
-6, f, 5
Suppose -100 = 4*h - 5*k, -k + 14 = -4*h - 70. Let b be (3 - (-76)/h)/6. Let t = 11 + -7. Sort t, b, -3/4 in ascending order.
-3/4, b, t
Suppose 0 = -2*n + 4*s + 2, -37*n + 41*n - 3*s = -6. Sort 0.4, n, -1.
n, -1, 0.4
Let d be 1*2/4 - 0. Let m = -29223203/161 + 181510. Let a = -10/23 - m. Put -0.5, a, d in decreasing order.
d, a, -0.5
Let i be 1/5*(-4504)/1184. Let x = i - -2/185. Sort 3/7, 5, x.
x, 3/7, 5
Let v = -6727 + 6721.977. Let f = v - -0.023. Suppose -5*b + 10*b + 20 = 0, 0 = -n + b + 4. Sort f, n, -11 in increasing order.
-11, f, n
Let m(r) = r**2 - 55*r + 145. Let j be m(3). Sort 1, j, 12, 2 in increasing order.
j, 1, 2, 12
Let m = 502.98 - 498. Let j = -0.12 + 0.1. Let k = m - j. Sort k, -5, 3 in descending order.
k, 3, -5
Let w be (-11 - -12 - -1)*10/(-4). Put 4, w, -14 in ascending order.
-14, w, 4
Suppose 2*w - c = 8, 3*w = -5*c - 2 + 14. Sort w, 5, 3 in descending order.
5, w, 3
Let k = -10 - -12. Let p be -4 + -1*3/(-1). Let h = 15 - 17. Put h, k, p in ascending order.
h, p, k
Suppose -5*r + 35 + 15 = 0. Let b = 11 - r. Let f = -8 + 7. Put b, f, -1/3 in decreasing order.
b, -1/3, f
Let m = -2350 + 2349.6. Let c = -8 - -4. Let l = -2 - c. Put m, l, 5 in decreasing order.
5, l, m
Suppose -20 = 3*p - 23, 45 = 4*v - 3*p. Put 0, -3, 4, v in decreasing order.
v, 4, 0, -3
Let l = -0.085 + -7.315. Let x = l + 7.1. Let w = -9/14 - -55/42. Put x, w, 5 in decreasing order.
5, w, x
Suppose -7*f - 10 = -31. Put -5, 36, f, -2 in decreasing order.
36, f, -2, -5
Let r be -4 + -1 + 238/8. Let k = 24 - r. Put 0.4, 0.2, -0.4, k in increasing order.
k, -0.4, 0.2, 0.4
Let y = -2287057/1688241 + -7/6323. Let w = 2/89 + y. Let p = -439/9 + 49. Sort 4, p, w.
w, p, 4
Suppose 7 = -2*j + 3*z, -7*z = -j - 9*z. Sort 0, j, 13, 5 in ascending order.
j, 0, 5, 13
Let h = -45 - -16. Let a = 28.5 + h. Put 5, a, 2/17, 1 in ascending order.
a, 2/17, 1, 5
Let t be (8/(-5))/(22/(-55)). Let n be 126/70 - t/5. Sort -1, n, 3.
-1, n, 3
Let n = -2.1 - -2. Let b = -0.303 + 0.803. Put b, n, -1/3, 2 in descending order.
2, b, n, -1/3
Let s = 44.95 - 45. Let m be -1 + 3/9 - 7/(-15). Sort s, m, -5/3, 3/8 in ascending order.
-5/3, m, s, 3/8
Suppose 0 = -3*d - y - 1, -2*y + 16 = -9*d + 6*d. Sort d, 1, 9 in ascending order.
d, 1, 9
Let v = 25/44 - 3/44. Suppose 2*y + 1 = 3*y. Let t be 1 - y/((-3)/6). Sort v, t, 6 in ascending order.
v, t, 6
Let s(i) be the third derivative of -i**6/120 - i**5/12 - 2*i**3/3 - i**2. Let v be s(-5). Suppose -2*d + 40 = 6*d. Put v, 0, d in ascending order.
v, 0, d
Let u = 88 - 77. Sort -3, u, 1 in descending order.
u, 1, -3
Suppose 2*x = 4*d + 38 - 48, 0 = d - 2*x - 4. Put -0.4, 3/8, d in descending order.
d, 3/8, -0.4
Let d = -2537 + 2542. Let v = -3 - -2. Put -4, d, 0, v in descending order.
d, 0, v, -4
Let d(i) = 62*i - 408. Let x be d(6). Sort x, 0, 5 in ascending order.
x, 0, 5
Let c be 414/(-81) - (4/36)/(-1). Let d be -2 + 2/(2 - 0). Put d, 4, 0, c in increasing order.
c, d, 0, 4
Let q = 71 - 68. Suppose q + 21 = 5*n - 3*h, 4*h = -n - 9. Put -19, n, -3 in descending order.
n, -3, -19
Let a = -76.129 - -0.129. Let y = a + 75. Sort 0, 4, y, -1/3 in increasing order.
y, -1/3, 0, 4
Let h be -4*1212/(-1584) + (-2)/33. Put 5, h, -5 in increasing order.
-5, h, 5
Let i = 0 + -0.1. Let k = -3.9 + i. Let d = 2049.4 - 2049. Put k, -2/13, d in decreasing order.
d, -2/13, k
Suppose v = 2*h - 4, 2 = -0*h + 2*h - 2*v. Let j be 3/(h*14)*4. Let t = 146 + -151. Put 3/2, t, j in increasing order.
t, j, 3/2
Let w be (-2*((-55)/(-10) - 4))/1. Put 2, 1, w, -11 in increasing order.
-11, w, 1, 2
Let k(c) = -5*c - 29. Let g(d) = -3*d + 19. Let z be g(8). Let b be k(z). Suppose -2*o + 2*a + 6 - 2 = 0, 0 = -5*o + 2*a + 1. Sort b, 2, o.
b, o, 2
Let l = 1647 + -4943/3. Sort -11, 0.3, -0.1, l in ascending order.
-11, l, -0.1