er.
j, 0, 4
Suppose 0 = 6*g - 2*g - 3*b + 3, -g = 2*b - 13. Sort 1, -4, g, -16 in decreasing order.
g, 1, -4, -16
Let p = -3575 + 3567. Sort 0.014, p, -1 in descending order.
0.014, -1, p
Let s = 1.7 - -0.3. Let l = -13.6719 + 4.6719. Put 5, s, l in ascending order.
l, s, 5
Let d be 4/10 + (-44)/10. Let c be 1*-1*(-6 + 657/108). Sort -1/4, c, -10, d in ascending order.
-10, d, -1/4, c
Let y be 6 + 0 + 234/24. Let f = y - 669/44. Let a be 93/21 + -3 - 2. Sort -2, f, -1, a.
-2, -1, a, f
Let s(v) = 21*v - 168. Let p be s(10). Sort 12, p, -4 in descending order.
p, 12, -4
Let p = 81.45596 + -0.45596. Sort -0.3, p, -1.5 in increasing order.
-1.5, -0.3, p
Let m = -4.83 - -5.415. Let z = -5.415 - m. Put z, -8/15, -2 in ascending order.
z, -2, -8/15
Let w = 11 + -92. Let j = -84 - w. Sort j, -4, -16 in descending order.
j, -4, -16
Let b = -0.089 + 9.089. Let i = b - 8.5. Sort i, -1, -5, -4 in decreasing order.
i, -1, -4, -5
Let o be 4/3*54/(-28). Let x be 5 + 8*1/(-4). Let s = x + o. Put -1/5, 0.2, s in decreasing order.
s, 0.2, -1/5
Suppose 0 = -36*k + 2640 + 312. Sort -3, 5, k.
-3, 5, k
Let m(c) = -72*c**2 + 2941*c + 13. Let w be m(41). Sort 0.1, -2/3, w in ascending order.
w, -2/3, 0.1
Let n = -381 - -813.2. Let h = n - 436. Sort -5, 2, -4, h.
-5, -4, h, 2
Suppose -174*p + 186*p = 48. Let z be (6/(-5))/((-84)/(-40)). Let d = -6.5 + 6. Put z, 0.2, p, d in decreasing order.
p, 0.2, d, z
Let c = -4 + 9. Let q(z) = -4*z + 0*z + 3*z + 23. Let o be q(22). Put o, 4, c in ascending order.
o, 4, c
Let g(n) = -3*n - 4. Let u be g(-3). Suppose -71 + 71 = 9*m. Put u, 0.04, m in descending order.
u, 0.04, m
Let p be (-5*15/(-50))/(285/38). Sort 12, 1/8, p, -31 in increasing order.
-31, 1/8, p, 12
Suppose 3*u - 66 = -2*d + 120, -u + 293 = 3*d. Let l be 6/8 - d/36. Suppose 0 = -4*g + 31 - 15. Sort 15, g, l.
l, g, 15
Let m = -3.72 - 147.28. Let x = 147 + m. Put 1.8, 1, -1/3, x in descending order.
1.8, 1, -1/3, x
Suppose 164 = c + 146. Suppose 96 - c = -26*h. Sort 12, 4, h.
h, 4, 12
Let h be (-105)/25*(-840)/252. Sort 2, 67, h in decreasing order.
67, h, 2
Suppose -2*r = 5*i - 4, 0 = 4*i + 4*r - 2*r - 2. Suppose 4*f + i*f + 42 = 0. Sort 4, -1, f in decreasing order.
4, -1, f
Let l = -190/273 - 62/39. Let t be (68/2)/(-1 + -20). Let w = t - l. Sort w, -1/6, 0.5 in increasing order.
-1/6, 0.5, w
Let w = -1701 + 268761/158. Let g = w - 331/790. Let p = -9.92 + -0.08. Put 1/2, g, p in ascending order.
p, g, 1/2
Suppose 0 = -4*n - 4, -6*c - 5*n + 24 - 29 = 0. Sort c, 2, -3, -18, -1 in descending order.
2, c, -1, -3, -18
Let j = 50 + -50.51. Let r = 0.1313 - 6.6213. Let l = j + r. Sort 2, 0.5, l in decreasing order.
2, 0.5, l
Let z = -6413 + 6414. Put 3/7, z, -15 in ascending order.
-15, 3/7, z
Suppose -77*o - 3*c = -81*o + 24, -4*o = 4*c + 4. Let j = -3 - -3. Sort j, -4, o in increasing order.
-4, j, o
Suppose -3*w = -21, -4*v - 20*w - 52 = -24*w. Put 34, 2, v in descending order.
34, 2, v
Suppose -20*x - 70 - 30 = 0. Let c(y) = -33*y - 126. Let d be c(x). Sort 0, d, 3 in increasing order.
0, 3, d
Let k(l) = -l**3 - 11*l**2 + 13*l + 21. Let j = -103 + 91. Let f be k(j). Suppose -38*c = -41*c + f. Sort -2/13, 6, c.
-2/13, c, 6
Let o be (-19)/(-5) - (-2)/10. Let l be 38/(-2090) + (-3088)/(-440). Sort o, -1, l, -3 in increasing order.
-3, -1, o, l
Let l(a) be the second derivative of a**5/20 + a**4/3 - a**3/6 - a**2/2 - a. Let z be l(-4). Let s(o) = -o**2 - 4*o + 9. Let t be s(-5). Sort t, -5, z.
-5, z, t
Let x be (-131)/4 + ((-15)/(-20))/1. Let b be x/(-660) + (-8)/(-60). Let w = 0.1 + 0.1. Sort b, w, -2/9 in decreasing order.
w, b, -2/9
Let r be 87/(-58) - (-5)/10. Sort 0.4, r, -3, 3/8, 4 in descending order.
4, 0.4, 3/8, r, -3
Suppose 0 = -0*l - 5*l - 5. Let u = 294 + -298. Let p be u - -8 - 2 - -10. Put l, p, 1 in ascending order.
l, 1, p
Suppose -w = -2*w - 6. Let u be (-18)/4*4/w. Let k(n) = -3*n**2 + 30*n - 30. Let h be k(1). Sort u, h, 4, -4 in decreasing order.
4, u, h, -4
Let q = 1158 - 1159. Suppose -2*k + 2 + 8 = 0, 5*k + 131 = 3*f. Sort 5, f, q, -4 in increasing order.
-4, q, 5, f
Let s(x) = x + 5. Let r be s(-5). Suppose -29*y + 384 = 163*y. Let i = 16 - 7. Sort i, r, y in ascending order.
r, y, i
Let z = -2991 - -2988. Sort 3, 0, z, 1, 5 in ascending order.
z, 0, 1, 3, 5
Let l = 21/8 - 3. Let k = 5376.9 + -5377. Let c = -0.7 - 0.3. Put 4/3, c, k, l in descending order.
4/3, k, l, c
Suppose 0 = -6*s + 6 + 6. Let w be (60/(-48))/(s/8) - -2. Let b = -6/49 - -236/1127. Sort -2/7, w, b in descending order.
b, -2/7, w
Let j = 1355 - 1227.7. Let v = 119 + -243. Let c = v + j. Sort 3, 1/11, c in decreasing order.
c, 3, 1/11
Suppose 28*g + 34 = 45*g. Sort 1, -0.05, g, 8 in ascending order.
-0.05, 1, g, 8
Let k(q) = -5*q + 41. Let w be -4 - (-11)/((-22)/(-24)). Let d be k(w). Let n = 4 - 3.7. Put n, d, 3 in decreasing order.
3, d, n
Let o(a) = -97*a + 1051. Let u be o(11). Put u, 0, 35 in increasing order.
u, 0, 35
Suppose 3*d - 3*d + 9*d = 27. Let t = 10 + -9. Put t, d, -3, -8 in descending order.
d, t, -3, -8
Let k = 21 + -262. Let t = k + 237. Suppose -23 = 5*b - 2*w - 143, b = 3*w + 24. Sort b, -3, t in increasing order.
t, -3, b
Let c be 3 + 1 - 24/(-6 + 3). Let t(w) = 7*w - 92. Let y be t(c). Sort -3, y, -4, 5 in descending order.
5, -3, -4, y
Let u be 4065/(-240) - -9 - (-1 + 2)*-8. Put u, -0.2, -246 in decreasing order.
u, -0.2, -246
Let u be 5/2*44/550. Let r = u - -1/5. Put -2, r, 5, -3/2 in ascending order.
-2, -3/2, r, 5
Let c = 3/113 - -109/4407. Put -3, -1/51, c, -1/5 in descending order.
c, -1/51, -1/5, -3
Let f be 3/6 + 2/4. Let r(b) = -19*b + 17. Let t be r(2). Let g = -17 - t. Sort f, g, 3, -5 in ascending order.
-5, f, 3, g
Suppose 2 = 3*k - 7. Let u = 103567 - 103563. Put -1, k, u in descending order.
u, k, -1
Let a = -4.03975 - -0.03975. Sort -92, a, -3 in decreasing order.
-3, a, -92
Let g(v) be the third derivative of -2*v**4/3 - 19*v**3/2 - 33*v**2. Let s be g(-11). Let b = s - 122. Put -4, b, 0 in increasing order.
-4, b, 0
Let n = 219 - 210. Suppose n*l - 15 = 14*l. Sort -2, 22, l in decreasing order.
22, -2, l
Let z = -11409.3 - -11409. Let y(u) = -u + 3. Let a be y(4). Sort 1, a, z, 4.
a, z, 1, 4
Let v(o) = 34 - 24 - 47 - 2*o**2 + 31*o. Let a be v(14). Suppose -s - 7 = -4. Put -1, a, -2, s in decreasing order.
a, -1, -2, s
Let w = 6766 + -6852. Let r = -46.3 + -39. Let b = w - r. Sort -2, 4, -0.4, b in decreasing order.
4, -0.4, b, -2
Let m be 6*(-10)/120*(0 - 0). Let i be 2/(-6)*(5 + -2 + m). Sort -3, 16, i in increasing order.
-3, i, 16
Let d = 1198 + -1194. Let i = 98 + -103. Sort -0.2, -6/11, i, d in increasing order.
i, -6/11, -0.2, d
Let l be -196*(-9)/144 - (-5)/(-4). Suppose -5*h + 14 = -1. Sort -4, h, l in increasing order.
-4, h, l
Let p be ((-6)/8*4)/(-2 + 1). Suppose 4*t + 0*t - 2*z + 6 = 0, -3*t + 2*z - 4 = 0. Let o = -1147 - -1152. Put p, t, o, 1 in increasing order.
t, 1, p, o
Suppose 9 = 2*u + 2*u - 5*v, -u = -2*v - 3. Suppose -2*z + 3 - 13 = 0. Suppose 0 = j - 6 + 4. Put u, j, 5, z in decreasing order.
5, j, u, z
Suppose 31*o - 105 = 143. Let l = 3 - 3. Suppose 5*q - 2*m = 23 + 17, q - m - o = l. Sort -5, q, -4 in descending order.
q, -4, -5
Let l be -3 + 1 + -4 + 2. Suppose -5*h - 112 = 11*h. Put 4, l, h in decreasing order.
4, l, h
Let y = 5510 + -5506. Put -2/17, y, -36, 5 in decreasing order.
5, y, -2/17, -36
Let c be 3/(5/(20/(-6))). Let l be ((-1)/8)/((-20)/480). Sort 5, c, l in descending order.
5, l, c
Let y(q) = -q**2 - 3*q - 1. Let u be y(-3). Let r(d) = -d**3 - 29*d**2 + 92*d - 131. Let c be r(-32). Put u, 36, c in descending order.
36, u, c
Let y = -70 - -66. Let b = -42 + 60. Sort b, -2, 0, y in increasing order.
y, -2, 0, b
Let d be 3/(-15) + 15855/87150. Sort 2/19, -0.4, d.
-0.4, d, 2/19
Suppose 163*x - 50*x = -175*x. Put 3, 1, x, 9, -5 in decreasing order.
9, 3, 1, x, -5
Let q = 49 + -52. Let p = 11 - 6. Let f(k) = -21*k**2 - 103*k + 12. Let d be f(-5). Put p, 0, d, q in descending order.
p, d, 0, q
Suppose 17 = -3*y + 23. Let d be 4 + (y - 0) - 48/12. Sort 3, -4, -14, d in decreasing order.
3, d, -4, -14
Let k = -47/3 - -3061/195. Let o be ((-12)/(-21))/(12/(-42)). Put k, 0.2, o in increasing order.
o, k, 0.2
Let o = -1508 - -1508. Let h = 3 + -2.4. Let z = 4.4 + h. Sort 1/7, z, o in decreasing order.