 j + 21. Let h be k(-9). Let u = h + -10. Sort -1, 1, u in decreasing order.
u, 1, -1
Suppose -8*p = -14*p + 12. Let r be (-25)/(-9) - p/(-9). Put 0, r, -2 in ascending order.
-2, 0, r
Let k = -21/40 - -5/8. Let f = 1.8 - 2. Sort k, -2/7, f in increasing order.
-2/7, f, k
Suppose -3*q = 3*d - 21, -7*q + 35 = 10*d - 4*q. Put 0, d, 329, -2 in decreasing order.
329, d, 0, -2
Let t = 2.5 - -0.7. Let d = t - 2.7. Sort d, -0.3, 3.
-0.3, d, 3
Suppose 3*n - 3*x = -18, 2*x - x = -n + 4. Let y(i) = -i - 6. Let o be y(n). Let w = -7.3 + 7. Sort 4, o, w.
o, w, 4
Let g = -42 + 42. Suppose g = -k - k. Sort 3, k, 1 in decreasing order.
3, 1, k
Suppose 55 = 4*q + 55. Sort 5, q, -0.02.
-0.02, q, 5
Suppose 116 - 72 = -11*p. Put 0, p, 13 in descending order.
13, 0, p
Let j be 3/(-5)*(-15)/3. Let d = 17 + -6. Suppose -2*o - d = -3. Put o, j, -1 in ascending order.
o, -1, j
Let f(n) = n**3 - 11*n**2 - 41*n - 16. Let v be f(14). Sort v, 7, -9 in descending order.
7, v, -9
Suppose 4*a = 3*r - 27, 5*r + 7*a - 2*a = 10. Sort 198, -1, r in descending order.
198, r, -1
Suppose 37 + 33 = 14*i. Put -4, -8, i, 4 in decreasing order.
i, 4, -4, -8
Let m = 0.0333 + 0.4667. Put m, 0.3, -2/7, 3/169 in descending order.
m, 0.3, 3/169, -2/7
Suppose -2*u = -10 + 2. Suppose -2*o - 5*l + 33 = -3*o, -249 = 5*o + 3*l. Let x be (-15)/4 + 12/o. Sort x, -1, u.
x, -1, u
Let h(a) = -a + 4. Let c be h(5). Let f = 476 - 476. Let k = -8 + 13. Sort k, c, f in descending order.
k, f, c
Suppose 15 = -19*l + 4*l. Put -6, -5, l, -3 in decreasing order.
l, -3, -5, -6
Let i be ((-9)/18)/((-6)/9)*(-5 + 1). Suppose 0 = -6*m + 2*m + 5*a + 27, -2*m = -4*a - 18. Sort 2, -5, i, m in decreasing order.
m, 2, i, -5
Let g = 59 + -59. Suppose 2*z + 5*z - 14 = 0. Sort g, z, 4.
g, z, 4
Let b = 2587/11 - 235. Put -5, 4/9, b, -2/31 in descending order.
4/9, b, -2/31, -5
Let f(p) = 7*p**3 - 2*p - 1. Let g be f(-1). Let o be (-7)/g - (-5)/(-10). Let j = 25 - 25.2. Put j, -2, o in decreasing order.
o, j, -2
Let k = -41/111 + -11/37. Sort k, -8, -3/4.
-8, -3/4, k
Let t = 1012 + -1010. Sort -3, t, -52, -4 in ascending order.
-52, -4, -3, t
Suppose -26*f + 39*f = -13. Sort f, 2, 3, -3.
-3, f, 2, 3
Let t = -982 - -982. Sort -0.4, -1/7, t, 60 in decreasing order.
60, t, -1/7, -0.4
Let v(x) = 2*x**2 + 6*x - 3. Let u be v(-4). Let d(h) = 2*h + 15. Let f be d(-7). Sort f, u, 0.5, -1/8 in decreasing order.
u, f, 0.5, -1/8
Suppose -a - 5*x = 12, -3*a - 4*x - 3 = 11. Let m be ((-4)/((-16)/12) - 5) + a. Put m, 1, 3, 4 in ascending order.
m, 1, 3, 4
Let x = -257 - -257. Sort x, -6, 7, -1 in increasing order.
-6, -1, x, 7
Let y = -1231 - -1234. Sort 7, y, -5, -3 in decreasing order.
7, y, -3, -5
Let a be 152/38 - (-1 + 1). Suppose 2*p + 2*p = -8. Sort a, p, 6.
p, a, 6
Let l be (-4)/9 - 21/(10584/(-80)). Put 0.1, -2, 13, l in decreasing order.
13, 0.1, l, -2
Let g = -3.42 + 0.42. Sort g, 0.2, 5/6, 15 in descending order.
15, 5/6, 0.2, g
Suppose -5 = 16*m - 11*m. Suppose 6 = -x + 3*x. Sort m, 8, x in descending order.
8, x, m
Let n = 750 - 805. Put 2, -3, n, -5 in decreasing order.
2, -3, -5, n
Suppose -33*c - 10 = 5*j - 28*c, 0 = -3*c - 6. Sort -109, -2, j, -4 in decreasing order.
j, -2, -4, -109
Let j = -0.1 - -0.16. Let m = -2.06 + j. Let v = -2791/6496 - -1/928. Sort v, m, 5 in descending order.
5, v, m
Let a be (-1)/(1/11 - 0). Let p(n) = n + 12. Let g be p(a). Let w(x) = -x**2 - 9*x + 13. Let b be w(-10). Sort 0, b, g in descending order.
b, g, 0
Let v = -132 + 139.3. Let y = v - 5.3. Put -1/4, -15/7, y in ascending order.
-15/7, -1/4, y
Let w be 70/4 - 7/(-14). Let c be (-66)/w + 4 + (-14)/(-3). Put 2, -1/5, c in decreasing order.
c, 2, -1/5
Let i be -1 - (-4 - (5 - 1)). Suppose i = -2*q + 1. Put q, -1, 3 in ascending order.
q, -1, 3
Let a = -26 - -33. Suppose 0 = -a*m - 5 - 16. Put m, 1/5, -0.2, 4/3 in decreasing order.
4/3, 1/5, -0.2, m
Let f = -862 + 858. Sort 1, -2, f, -77 in descending order.
1, -2, f, -77
Let q = 386.1 + -386. Put 1/4, 4, -7, q in decreasing order.
4, 1/4, q, -7
Let x be (-1240)/136 + 8 - -1. Sort -1, 0, 2, x.
-1, x, 0, 2
Suppose 0 = -5*n + 4*n. Suppose 4*d - 8 = -n*d + 5*l, d = -3*l + 2. Sort d, 0.2, -0.2 in ascending order.
-0.2, 0.2, d
Let g be 4*(2 + (-15)/12) + -4. Suppose -4*k - k = -3*v - 10, -3*v - 2*k = 17. Put 6, g, v in ascending order.
v, g, 6
Suppose j = -5*i - 5, 4*j - 5 = -i + 51. Let d = 3 + 12. Let u = d - j. Put 5, u, 3 in increasing order.
u, 3, 5
Let c = 1436 - 1415. Let p(t) = -t**3 + 2*t**2 + 2*t + 3. Let v = -7 - -10. Let x be p(v). Put -2, c, x in decreasing order.
c, x, -2
Let z be (-1056)/(-272) - 4/(-34). Suppose 0 = 3*b + 2*b + 125. Put b, -5, z in descending order.
z, -5, b
Suppose 0 = -i + 7 - 7. Sort i, -1, -9, -2 in decreasing order.
i, -1, -2, -9
Let b = -1375 - -1376. Sort 55, b, 3 in descending order.
55, 3, b
Suppose 13*q = 4*q + 10*q. Sort 2, 5, q, -2 in ascending order.
-2, q, 2, 5
Let a = 77.171 - 0.171. Let m = a + -77.5. Sort m, 0, -2/11 in descending order.
0, -2/11, m
Let v be 1 + -2 + (4 - 7). Suppose -22*n + 91 = -19. Put n, 4, v in ascending order.
v, 4, n
Let q = -17 + 17. Let b be q - (0 + 2 + 3). Suppose a + 8 - 10 = 0. Sort 1, a, b in decreasing order.
a, 1, b
Let g(l) = -11*l - 4. Let y be g(0). Sort y, 13, -1 in decreasing order.
13, -1, y
Suppose 0 = -2*c - 6 + 12. Let s(p) = p. Let u be s(c). Put 3/4, -1/5, u, -0.5 in descending order.
u, 3/4, -1/5, -0.5
Let z(j) = -j**3 + 7*j**2 - j + 9. Let w be z(7). Suppose -5 = -142*g + 147*g. Suppose 5*s + 0*s - 85 = 0. Put g, w, s in descending order.
s, w, g
Let j = 5/58 - 97/116. Let m(f) = f**3 + 6*f**2 + 5*f - 6. Let c be m(-5). Let i = c - -3. Put j, 0.3, i in decreasing order.
0.3, j, i
Let h = 22 + -20. Let i be (h/(-4))/((-10)/(-60)). Let y = i - -8. Sort -4, y, -3.
-4, -3, y
Let k = -4 + -15. Sort 1, k, -1 in increasing order.
k, -1, 1
Let p = -8764 - -8759. Let v be (2/6)/(8/(-18)). Put v, p, 4, 2 in ascending order.
p, v, 2, 4
Suppose -7*s + 21 - 49 = 0. Let h be 54/10 - (-4)/(-10). Suppose o = h*o - 4. Sort -1, s, o in ascending order.
s, -1, o
Let x(c) = 4*c**2 - 6*c - 5. Let w be x(-1). Sort w, 4, -26.
-26, 4, w
Suppose -34*t + 53 = 121. Suppose 3*r - 11 = -4*x - 3, x = -4*r + 2. Put x, t, 4 in increasing order.
t, x, 4
Suppose 3*b - 10 = 5. Suppose 4*h + 0*h = 8. Let k = 528 + -529. Put h, k, b in increasing order.
k, h, b
Suppose -1216 = -16*m - 16*m. Sort 5, m, -4, -5 in decreasing order.
m, 5, -4, -5
Let k(b) = b**3 - 5*b**2 + 3*b. Let z be k(4). Sort z, 3, -111.
-111, z, 3
Suppose 0 = 3*u - v - 111, 6*u - 3*v - 105 = 3*u. Sort 3, 2, u, -3 in decreasing order.
u, 3, 2, -3
Suppose -4*t + 4*z = -28, 4*t - 11 = -3*z + 3. Suppose -a - 3*a + 13 = -v, -38 = -4*v - 2*a. Put 1, -4, v, t in decreasing order.
v, t, 1, -4
Let i(x) = -x**2 + 7*x - 15. Let c be i(7). Let q = 0 - 5. Sort -1, q, c in decreasing order.
-1, q, c
Let g(o) = 3*o**2 + 23*o + 33. Let b be g(-6). Sort b, -1/2, -6, -3.
-6, -3, -1/2, b
Let m = -595/18 - -33. Put 0.11, -3, m, -1/4 in increasing order.
-3, -1/4, m, 0.11
Let r = 0.062 + -0.362. Sort -4, r, 9.
-4, r, 9
Let f(c) = 5*c + 5. Let v be f(-2). Suppose q - 5 = -4*q. Suppose 4*d - 3 = q. Sort 4, v, d.
v, d, 4
Let z = 961 - 975. Put -0.2, -1/33, z in ascending order.
z, -0.2, -1/33
Let k = -16 - -79/5. Let u = 1650 - 1650.07. Sort u, k, -4, 2 in decreasing order.
2, u, k, -4
Let v = 257 + -257. Put 10, 3, v, -1 in ascending order.
-1, v, 3, 10
Let p be (1 - 51/(-15)) + -9 + 5. Put 0.1, 2, p, -2/73 in decreasing order.
2, p, 0.1, -2/73
Let c be 4/(-20) - (-130)/25. Suppose -4*k + 28 = -4*u + 2*u, 0 = -c*u - k - 15. Sort u, -3, -14 in descending order.
-3, u, -14
Let i be (2 - 0)/2 - 3. Let m be 2/(-8) - i/4. Let z = -609 + 609.4. Sort 0, z, m in increasing order.
0, m, z
Let m = 5 - 17. Let l = -13 - m. Let g = 0 + -9. Put 1, l, g in descending order.
1, l, g
Suppose 5*d = -a - 4, -4*d + 5*a = a + 8. Let b = -20 + 23. Suppose -5*i = -3*i + b*i. Sort i, -12, d in increasing order.
-12, d, i
Let l(m) = -m**3 - 6*m**2 + 3. Let r be l(-1). Sort -5, r, -10.
-10, -5, r
Let v = -0.0864 + 0.4864. Suppose -z = -4*h - 19, -3*h + 3*z - 4 - 17 = 0. Sort v, -3, 2/9, h.
h, -3, 2/9, v
Let y = -1142 + 1142. Suppose 0 = -2*m - 7 - 9. Sort 2, y, m.
m, y, 2
Suppose -15*m = -31*m - 64. Sort -3,