66 = 244. Put 3, 5, d in increasing order.
d, 3, 5
Suppose -12 = -4*v + 5*t + 15, -4*v = -t - 15. Suppose 86 = -v*u - 5*z, 0*u + u + 4*z = -31. Let x = u + 27. Put -5, -2, x in decreasing order.
x, -2, -5
Suppose 866 = 16*q - 366. Let s = q - 74. Sort s, -2, 4 in decreasing order.
4, s, -2
Let o be 1/3 - 2/(-3). Suppose -5*p - 4 = o. Suppose 10*z - 36 = -6. Sort z, p, 0.
p, 0, z
Suppose -404 = -19*y - 404. Put 3, y, -9 in ascending order.
-9, y, 3
Suppose v + 28 = k + 3*v, -2*k - v + 50 = 0. Suppose -k = -5*y - 3*y. Sort 0, 1, y, 9.
0, 1, y, 9
Let b be (-9)/(-36)*3 + 3/(-2). Sort 5, b, -1/2, 1/3.
b, -1/2, 1/3, 5
Suppose -3*g - g - 16 = 0. Suppose 3*p = -2*p. Suppose p = 4*k - k - 12. Put k, g, -1 in increasing order.
g, -1, k
Let s(f) = 12*f + 815. Let l be s(-59). Sort 1/5, 5, l in increasing order.
1/5, 5, l
Suppose -i = 5*p + 6, -4*i + p + 8 = 5*p. Suppose 4 + 8 = i*v. Suppose 2*h + v = 2*l - 1, 0 = -3*h + 5*l - 2. Put h, -2/11, -1 in decreasing order.
-2/11, -1, h
Let m = -25.81 - -26. Let t = -8.19 + m. Let v = t - -4. Put -7/6, -5, v in decreasing order.
-7/6, v, -5
Suppose -8 = -2*q + 8. Let j(m) = 9*m**2 + 9 - q*m - 3*m**3 + 4*m**3 + 7. Let g be j(-10). Put g, 2, -11 in descending order.
2, g, -11
Suppose -3*v + 7 + 2 = 0. Suppose 8*s + 25 = v*s. Let h = -2/177 + 545/1239. Sort h, 0.2, s in increasing order.
s, 0.2, h
Let k(d) = d**3 - 6*d**2 + 10*d - 12. Let t be k(4). Sort -3, t, 0, -7.
-7, t, -3, 0
Suppose -4*m + 9 = -b, 3 = m - 0. Let d = -5740 + 5736. Sort -3, -1/4, b, d in increasing order.
d, -3, -1/4, b
Suppose -24*h = -26*h + 8, -3*s - 3*h = 3. Sort s, 14, 0, 1 in descending order.
14, 1, 0, s
Let h = 115 + -349/3. Let c be (16/(-280))/((-1)/(-5)). Let s = 0.4 - 0.9. Put c, h, s in descending order.
c, s, h
Let b = -0.3 + 19.3. Let i = 6 - -12.6. Let k = i - b. Put 0, k, 1/5 in decreasing order.
1/5, 0, k
Let c = -34.2 + 192.2. Sort -1, c, 3 in decreasing order.
c, 3, -1
Let t = -21 + 22. Sort t, 5, 4, -3 in decreasing order.
5, 4, t, -3
Let m be (-11)/(-6) - 17/51. Sort m, 2, 1/6 in ascending order.
1/6, m, 2
Suppose 0 = -3*j + 2 + 7. Suppose -4*d + 1 = -j. Let g be (-6)/(-2) - (6 + d). Sort -3, g, 0 in ascending order.
g, -3, 0
Let t be (3 + -7)*3*(-5)/(-15). Put t, -109, 5 in descending order.
5, t, -109
Let h(j) = 3*j**2 + 92*j + 140. Let n be h(-29). Let q be 2 - ((-1)/1)/(-1). Sort n, 4, q in descending order.
4, q, n
Suppose 67*o - 62*o - 5 = 0. Suppose -5*i + 6 = -6*i. Let k = i - -9. Put k, 5, o in descending order.
5, k, o
Let n = 126 - 71.3. Let z = 55 - n. Put z, -0.5, -3, -4/7 in ascending order.
-3, -4/7, -0.5, z
Let x be (2/5)/(2/20). Let f(v) be the third derivative of v**4/24 - 7*v**3/3 + 12*v**2. Let i be f(16). Sort x, i, 5 in increasing order.
i, x, 5
Let a = 1 + 11. Suppose -11*g = -15*g + a. Sort 6, 0, g in decreasing order.
6, g, 0
Let s(f) = -f**2 + 8*f - 9. Suppose 0 = 7*r - 46 - 3. Let v be s(r). Put -1, 1, v in decreasing order.
1, -1, v
Let g be (-10)/45 + 4/18. Let r be ((g + -3)*1)/(-1). Sort 1, r, -3 in descending order.
r, 1, -3
Suppose 8*g + 12 = 2*g. Let m be (3/(-2))/(g/(8/6)). Sort m, -5, -2 in increasing order.
-5, -2, m
Suppose 17*f - 48 = 88. Sort 3, 0, -4, f in descending order.
f, 3, 0, -4
Suppose 20 = 5*g + h, 2*h = -g - 4*g + 20. Sort -6, -3, g, -2 in decreasing order.
g, -2, -3, -6
Let x be 13 - (0 - (-6)/(-2)). Let t be (-1 - (-12)/x)*(2 + 1). Put -2/7, -0.4, t, -5 in increasing order.
-5, t, -0.4, -2/7
Let x = 6.9 + -6.8. Sort x, -2/15, 6/31 in descending order.
6/31, x, -2/15
Let l = 30.5 + -49.5. Put -5, 2/3, l in decreasing order.
2/3, -5, l
Let h = -7.93 + 8. Let l = h - 13.07. Let n = l + 12.9. Sort n, -4, 1/8 in ascending order.
-4, n, 1/8
Let t = -1.627 - -2.027. Put -82, t, 2/7 in descending order.
t, 2/7, -82
Let s(i) be the second derivative of -8/3*i**3 + 0 - 10*i**2 + 11*i - 1/12*i**4. Let y be s(-15). Put y, 4, 2 in decreasing order.
4, 2, y
Suppose -5*z - 3*x + 2*x + 89 = 0, -5*z + 77 = -2*x. Let r = -22 + z. Suppose -2*a - 5*a + 7 = 0. Sort a, r, 2.
r, a, 2
Let q = -47 + 44. Let f be ((-4)/6)/(36/27). Sort q, f, 1 in decreasing order.
1, f, q
Let k(i) = -i - 2. Let y be k(-4). Let j = 12 + -8. Suppose -9*l = -j*l + 20. Sort y, l, 4 in decreasing order.
4, y, l
Let r be 16/6 + 2/6. Let v = 100.8 - 114. Let n = v - -8.2. Sort r, n, -2/7 in decreasing order.
r, -2/7, n
Let b be (15/2)/(-5)*(5 + -3). Sort 5, 6, 1, b in decreasing order.
6, 5, 1, b
Let k(y) = 2*y - 60. Let c be k(32). Sort c, 32, -1 in increasing order.
-1, c, 32
Let k(l) = -l + 3. Let y be k(0). Let r = -0.32 + 0.42. Let c = r + 9.9. Put y, c, 5 in ascending order.
y, 5, c
Let u = 0.07 - 66.07. Let z = u + 65.7. Sort 0.2, -0.17, z in decreasing order.
0.2, -0.17, z
Let p = -5.45 + 4.95. Sort -0.13, p, -0.2 in decreasing order.
-0.13, -0.2, p
Suppose -2*i + 2668 = 2*y, 4*y - 5318 = -0*y + 2*i. Let s = 107809/81 - y. Let j = s - 106/81. Sort j, -4, 1/4 in decreasing order.
1/4, j, -4
Suppose 6*k - 8 - 22 = 0. Suppose -k*b - 2*j = -55, -4*j = -b - j - 6. Let a = b - 11. Sort 0, a, 4 in descending order.
4, 0, a
Let i be (-9)/4 + 49 + -45. Sort -3/8, -29, i in ascending order.
-29, -3/8, i
Suppose -4*f + 4*o = o + 20, 4*f + 28 = 5*o. Suppose 5*l = -2*c - 15, -c + 3*l = 4*c - 9. Put f, -3, c in increasing order.
-3, f, c
Let h(f) be the third derivative of -f**5/60 + f**4/12 + 5*f**3/3 + 15*f**2. Let m be h(-3). Sort m, -8, -1.
-8, m, -1
Let r = 0.417 + -0.317. Put 0, 1, r, 1/4 in descending order.
1, 1/4, r, 0
Let d = 128 + -60. Let r = 63 - d. Suppose 18 = 5*l - 4*a, -2*l - 2*a = l - 2. Sort l, 5, r in descending order.
5, l, r
Let i = -7 + 6.5. Let b be (2/(-2))/((-2)/(-12)). Let d be -9*2/b + 14/(-6). Put i, d, 0 in decreasing order.
d, 0, i
Let k(x) = -x**2 + 4*x. Let f be k(3). Let n = -226 - -227. Suppose -2*d - d + 15 = -f*p, 3*d + 5*p + n = 0. Sort d, -9, 0 in increasing order.
-9, 0, d
Let j be -1 - 14 - (8 - 7). Let v = -14 - j. Suppose 2*d + 2*l = v, -d - l - 1 = l. Sort d, 0, -1 in descending order.
d, 0, -1
Let t(b) = b**2 - 4*b + 2. Let g be t(4). Suppose 5*k = g + 13. Let y(s) = s**2 + 30*s + 146. Let q be y(-24). Sort 4, q, k.
q, k, 4
Let a be (((-24)/48)/(2/56))/(-2). Sort -19, -4, a in descending order.
a, -4, -19
Let r = -13 + -309. Put -4, r, 2 in decreasing order.
2, -4, r
Let h(m) = -m - 1. Let v(u) = 18*u + 1. Let a(z) = -2*h(z) - v(z). Let i be a(6). Let k be 295/i - 3*-1. Sort 5, 0.1, k in ascending order.
k, 0.1, 5
Suppose 3*r = 8*r - 10. Suppose 2*n = n + q - 4, q - 8 = r*n. Suppose 15*g - 64 = 7*g. Put g, n, -5 in increasing order.
-5, n, g
Suppose 0 = 4*d - 2*d + 34. Let v = -12 - d. Put 2, 1, v in decreasing order.
v, 2, 1
Let p be 7/(-5) + -2 + 3. Let m = -1/5 + p. Let q = -0.2 + -0.1. Put m, 0.2, q in increasing order.
m, q, 0.2
Let j = -166 - -81. Let d = -93 - j. Put 5, -2/3, d in decreasing order.
5, -2/3, d
Let l = 1495 - 1511. Put 1/2, l, -4 in descending order.
1/2, -4, l
Suppose b = -2*b. Let v be -2*(b + 1/1). Let s be ((-4)/9)/v*9. Sort 3, -3, s in ascending order.
-3, s, 3
Let r be ((-12)/(-8) + -4)*2. Suppose 78*l = 79*l + 4. Put -2, r, l in ascending order.
r, l, -2
Let c(k) = -k**2 - 14*k + 12. Let m be c(-15). Let s be (179/(-68) - m) + (-5)/20. Put 11, s, 2 in decreasing order.
11, 2, s
Let r be (-6)/2 - 812/(-116). Let s = -49 - -187. Sort r, -2, s in ascending order.
-2, r, s
Let b = 156 + -169. Suppose 0 = -4*l - 0*l - 36. Let d = b - l. Put -1, d, -5 in increasing order.
-5, d, -1
Let b(k) = 10*k**3 - k**2 + k. Let w be b(1). Let t(d) = -2*d + 17. Let i be t(w). Put -2, -1, i in ascending order.
i, -2, -1
Let r = -3.69 - -0.39. Let b = r - -3. Let w = -0.23 - -0.43. Sort w, 2/3, b in increasing order.
b, w, 2/3
Let t(i) = -i + 16. Suppose -15*y + 10*y = -60. Let k be t(y). Let r = 0.06 + -0.36. Sort k, r, -1/4.
r, -1/4, k
Let f = -392 + 391. Let r be (26/(-12) + 2)/(-1). Sort 4, 2, r, f.
f, r, 2, 4
Let a = 12 - -9. Let u = a - 20. Let b = -12 + 9. Sort -0.3, b, u in decreasing order.
u, -0.3, b
Suppose -4*m - v + 15 = 0, -4*v + 3*v + 10 = 3*m. Sort 4, m, 1 in decreasing order.
m, 4, 1
Suppose 128 + 87 = 5*m. Suppose m*r - 49*r = 12. Sort -0.4, r, 5 in decreasing order.
5, -0.4, r
Suppose -7 = 6*k + 5. Sort k, 4, -1, -7.
-7, k, -1, 4
Let q = -72.176 - -0