ending order.
0, -3, m
Let x = -191 + 193. Sort -0.5, -0.03, 5, x in decreasing order.
5, x, -0.03, -0.5
Let a be 6/(-15) - 51/85. Let t(v) = v - 1 + 1 - 2. Let i be t(4). Put -4, a, i in ascending order.
-4, a, i
Suppose -12 = 3*s, 3*c + 0*s + 35 = -2*s. Let g be (-5)/2*(-12)/(-15). Let i be ((g + 2)/(-1))/(-3). Sort -1, c, i in increasing order.
c, -1, i
Let z = 0 + 4. Let u be (-3)/(-1 + 10/z). Let i = 2727/5 - 2728/5. Sort u, 1.5, i.
u, i, 1.5
Let b(u) = -2*u**2 - 45*u + 25. Let r be b(-23). Sort r, 5/6, 6 in decreasing order.
6, r, 5/6
Let i(r) = -12*r - 26. Let a be i(-2). Sort -1, 0, a, -55 in ascending order.
-55, a, -1, 0
Let j = -3 - 0. Let z(h) = h**3 + 11*h**2 - 12*h + 8. Let b be z(-12). Let n(t) = -t + 9. Let u be n(b). Put j, -4, u in ascending order.
-4, j, u
Let y = 23 - 15. Suppose y = 4*f - 28. Let w = -6 + f. Sort -2, w, -3 in increasing order.
-3, -2, w
Suppose 0*y + 33 = y + n, 4*y - 135 = -5*n. Let i = -117/4 + y. Put 0.1, i, 0.3 in descending order.
i, 0.3, 0.1
Let j be 1/7 - (-8)/(-7). Let a be 1/(-1) + (-13)/((-13)/6). Put j, -5, 2, a in descending order.
a, 2, j, -5
Let r = -3.26 - 0.74. Suppose -8 - 7 = -5*h. Suppose 0 = -h*u + 7*u + 8. Put r, 0.5, u in decreasing order.
0.5, u, r
Let o = -86 + 79. Put o, -2, 5 in descending order.
5, -2, o
Suppose 53 = -3*v - 109. Let y = v + 96. Let w = 81/2 - y. Sort w, 5, 0.3 in descending order.
5, 0.3, w
Let u be (1/(-3))/(60/36). Let l = u + -1/5. Put 4, -2/7, l in descending order.
4, -2/7, l
Let o(a) = -10*a - 7. Let k(u) = -7*u - 5. Let i(y) = 7*k(y) - 5*o(y). Let f be i(4). Suppose -f = -2*l, 0*n - n = -2*l + 1. Sort -1, -5, n in decreasing order.
n, -1, -5
Let c(b) = -b**2 + 47*b - 243. Let a be c(41). Sort 37, a, 0 in descending order.
37, a, 0
Suppose -9 = -2*z + 5*s, -5*z + 18*s = 14*s + 3. Put -7, 5, -5, z in decreasing order.
5, z, -5, -7
Suppose -21*f = -6*f - 45. Sort 4, 206, f.
f, 4, 206
Let o be 1/1*((2 - 2) + 10). Put 2, o, -4 in descending order.
o, 2, -4
Let u = 73 - 112. Let t = u - -41. Let y = t + -2.1. Put 0.3, y, -3/2 in ascending order.
-3/2, y, 0.3
Let a = -3.56 + 2.56. Sort -162, 0.3, a.
-162, a, 0.3
Suppose -36 = -6*q + 258. Let l = q + -45. Let r be 2/(-5) + 28/(-30). Sort 2, r, l in decreasing order.
l, 2, r
Suppose -4*n + 942 = -10*n. Put -2, n, -3 in descending order.
-2, -3, n
Let z be -2 + (8*3)/4. Let l(u) = -5*u**3 + u. Let f be l(1). Let m = 2 - f. Put -4, m, z in decreasing order.
m, z, -4
Let o = 4 - 6. Sort 4, -2/31, o, 0.2.
o, -2/31, 0.2, 4
Let m(s) = 5*s + 18. Let j be m(-4). Suppose -1 = 5*i - 11. Put -1, i, -3, j in ascending order.
-3, j, -1, i
Let k be 1/(-2) + (-44)/(-8). Suppose 8*f - 23 = -15. Let x be (-7)/(-2) + 5/10. Sort x, f, k in descending order.
k, x, f
Let i = -1552 + 1557. Put -3/8, i, -0.4 in descending order.
i, -3/8, -0.4
Suppose -42 = 7*n - 56. Put n, 2/5, -1, -0.5 in increasing order.
-1, -0.5, 2/5, n
Let d = -494 - -9388/19. Sort d, 0, -1/4 in decreasing order.
d, 0, -1/4
Let g = -1.455 + 1.465. Put 0.4, 4, 1/5, g in ascending order.
g, 1/5, 0.4, 4
Let d = -1 + -2. Let w(t) = t**3 - 15*t**2 - 17*t + 16. Let x be w(16). Put x, -4, d in descending order.
x, d, -4
Let l = -0.0166 + -4.9834. Sort l, -0.44, 5 in decreasing order.
5, -0.44, l
Suppose 7*t = -107 - 61. Sort 2, t, 1 in decreasing order.
2, 1, t
Suppose -4*u = -u. Let x(k) = -k**3 - 9*k**2 + 9*k - 12. Let s be x(-10). Put 4, u, s in descending order.
4, u, s
Let l = 23 + -21. Suppose q + 2 = 3*q. Suppose 9 + q = 2*c. Sort l, c, 0 in decreasing order.
c, l, 0
Let s = 103 + -102. Suppose 3 = 4*a + 3*y, 0 = 2*a + 3*y - 8 - 1. Put s, -6, a, 5 in descending order.
5, s, a, -6
Let c(n) = 5*n**3 + n**2 + 2*n + 2. Suppose 7 = -8*w - 1. Let f be c(w). Put 8, f, -5, -3 in decreasing order.
8, -3, f, -5
Let i = -179 - -176. Sort 3, -2, i, -5.
-5, i, -2, 3
Let f = 122 - 120. Put 4, -16, f, -3 in descending order.
4, f, -3, -16
Let b be 2/(-37) + 13572/1924. Sort 4, b, -4, 0 in increasing order.
-4, 0, 4, b
Suppose 4*i - 2*i = -6. Let p(n) be the first derivative of n**4/4 + 2*n**3/3 - 3*n**2/2 + n + 9. Let r be p(-4). Put 0, r, i in descending order.
0, i, r
Suppose -c + 0*c - 5*w + 16 = 0, -2*c + 4 = 3*w. Put -12, -3, -5, c in increasing order.
-12, -5, c, -3
Let w = 14 - 21. Let i = w + -3. Let n = i - -9. Sort n, 0.4, 2/7 in decreasing order.
0.4, 2/7, n
Suppose 0 = -4*g - 42 + 150. Let c be (-114)/g - ((-25)/(-9) - 3). Put c, 2/11, 0.1, 1/4 in descending order.
1/4, 2/11, 0.1, c
Let s = -1017 - -1018. Sort s, 5, 0.3, 3/5 in descending order.
5, s, 3/5, 0.3
Let s = 8 + 4. Let c be (-8)/(-30)*s/8. Sort 4, c, -0.1 in descending order.
4, c, -0.1
Let q = -234 - -232. Sort 0, -25, -2/11, q in increasing order.
-25, q, -2/11, 0
Suppose -32*p - 37 = 59. Sort -2/15, p, 36 in decreasing order.
36, -2/15, p
Let b be ((-25)/10 + 2)*(-18)/(-3). Suppose 3*a = 4*a - 5. Sort a, -1, b, 4.
b, -1, 4, a
Let j = -0.045 - -0.545. Let y = -26 + 26.1. Put j, 1/4, -5/6, y in decreasing order.
j, 1/4, y, -5/6
Suppose 16 = -3*x - 2. Suppose 2*b + 16 = 3*b. Let r be -1*b/(3 + -7). Put -5, r, x in ascending order.
x, -5, r
Let y(b) be the first derivative of b**3/3 - 9*b**2/2 - 8*b + 1. Let h be y(10). Sort -4, -5, h in ascending order.
-5, -4, h
Suppose -4*f - x = -16, -36*f + 3*x - 6 = -34*f. Let i be 3/5 - 848/(-20). Sort i, f, -1 in increasing order.
-1, f, i
Let b be 64/(-10) + (-12)/(-30). Let w be 8/b*57/(-76). Suppose 3*n - 9 = 12. Sort n, 2, w in descending order.
n, 2, w
Let k = -5.6 - -3.5. Let q = 66 + -64. Sort k, q, -0.5 in decreasing order.
q, -0.5, k
Let m(b) = 2*b**2 - 22*b + 36. Let n be m(9). Put -2/7, 3/184, n in increasing order.
-2/7, n, 3/184
Let q = 13.9 - 14.4. Suppose 0 = a + 2*g + 18, 6*g = -3*a + 5*g - 39. Put a, q, -5 in decreasing order.
q, -5, a
Suppose -22*i = -198 - 22. Suppose -i*n + 34 = 7*n. Sort n, -5, -9 in ascending order.
-9, -5, n
Let m be 72/(-36) + (-1 - (-2)/2). Sort 4, -5, m, 1 in decreasing order.
4, 1, m, -5
Let d = 0.0691 + -0.0891. Let o = -2862/7 - -408. Put 0.4, o, d in descending order.
0.4, d, o
Suppose 5*v + 8*s - 25 = 4*s, v - s = 14. Suppose -o = z + 3*z + 16, -5*z = o + 21. Put 3, z, v in decreasing order.
v, 3, z
Let p be (-14)/(-12) + (-91383)/(-16434). Put 2, p, 1 in descending order.
p, 2, 1
Let g be 63/12 - (-6)/8. Suppose 5*j = -4*d + j, -3*j = d + g. Suppose -5*l - 5 = -2*c, 6*l + 3*c + 18 = 5*l. Sort d, -4, l.
-4, l, d
Suppose 286 + 326 = 68*y. Let d be ((-6)/4)/(3/(-4)). Put y, 0, -2, d in descending order.
y, d, 0, -2
Let j be 112/(-85) + 1 + 202/1717. Sort j, 5, 1.9 in descending order.
5, 1.9, j
Let o = 1499/78 - 252/13. Sort -2/11, 4, 1/4, o in descending order.
4, 1/4, o, -2/11
Suppose 0 = -2*y - 6 - 2. Let n = y + 9. Let k(m) = -m**3 - 3*m**2 + 20*m + 11. Let d be k(-6). Put d, 1, n in decreasing order.
n, 1, d
Let n(m) = 6*m + 3 - 3*m**2 + 3*m**2 + m**2 - 2*m. Let i be n(0). Let j be (-18)/(-4) - 1/(-2). Put j, 4, i in descending order.
j, 4, i
Let s = 5.5 + -10. Let a = 3 + -3.5. Let i = a + s. Sort 0.3, i, 4/3 in descending order.
4/3, 0.3, i
Let z(p) = -p**3 + 4*p + 5. Let f be z(-2). Put 0, -34, f, 2 in decreasing order.
f, 2, 0, -34
Let t be (18/(-7))/(2/14). Let s = 13 + t. Let f(r) = r + 5. Let k be f(s). Put 0.4, 1/5, k in decreasing order.
0.4, 1/5, k
Let i = 17.2 + -18. Suppose -5*y + 4*y + 8 = 0. Let z be 2 - 2 - 2/y. Sort z, -5, i in increasing order.
-5, i, z
Suppose 5*s = 5*g, 3*g = -2*s - s + 12. Suppose 2 = g*l - 4. Let r(j) = j**3 + 44*j**2 + 40*j - 127. Let w be r(-43). Put w, 4, l in descending order.
4, l, w
Suppose 0*l - 2 = 4*w + 2*l, -2*w - 5*l = -3. Let q be 4*(-2)/(2/w). Suppose q*d + 2*z = -2*z - 8, -5*z = -2*d + 17. Put d, 3, 5 in ascending order.
d, 3, 5
Suppose s - 5*j = -11 - 2, -2*j + 7 = -s. Let y(v) = 3*v + 9. Let x be y(s). Put 2, -5, x in descending order.
2, x, -5
Let i = 0.7 + 0.3. Let u = 1 - -8. Let a = u - 8.5. Sort a, 1/3, i.
1/3, a, i
Let q(p) = -p - 4. Let h be q(-4). Let d(b) = -b**3 + 11*b**2 - b + 6. Let t be d(11). Sort h, -1/5, t, -3.
t, -3, -1/5, h
Let j = 46 + -45.96. Sort j, 2/5, 0.06, 0.3 in increasing order.
j, 0.06, 0.3, 2/5
Suppose u = -4*y - 3*u - 4, 5*y + 5 = -2*u. Let g = -38 - -65. Suppose g*z + 12 = 23*z. Put 4, y, z in increasing order.
z, y, 4
Suppose -w 