1
Let h(p) = 0*p + 6 - p + 3*p. Let j be h(-8). Let g = 13 + j. Sort g, -3, 1 in increasing order.
-3, 1, g
Let h be 2/(-8) + 9/4. Let i = 14.4 - 11.4. Put i, 0.5, h in descending order.
i, h, 0.5
Let b be (-1)/((-15)/10 - -1). Suppose -2*i + 0*i + b*m = 0, -3*i = 4*m - 35. Put i, -4, -2, -3 in increasing order.
-4, -3, -2, i
Let r(p) = 16*p + 101. Let l be r(-6). Sort -18, -4, l, -3 in increasing order.
-18, -4, -3, l
Let p = 95 + -95.6. Let f = -4 + 3.5. Put 0, f, p in ascending order.
p, f, 0
Suppose -5*q + 175 = -5*j, q + 0*q - 137 = 4*j. Let m = 32 + j. Sort -1, 12, m, -5 in decreasing order.
12, -1, m, -5
Let q = -362 + 367. Sort q, 4, 3 in ascending order.
3, 4, q
Suppose 2*a + k + 9 = 0, -6 = 4*a - 5*k - 23. Let o be (-5)/a - 5/10. Sort -11, -1, o, -5 in descending order.
o, -1, -5, -11
Let n = -47906/69 + 694. Let s = -1/23 + n. Sort -1/12, 4/9, 0.1, s in ascending order.
s, -1/12, 0.1, 4/9
Let h be (-8)/28 + 24/(-14). Let v be 18/(-4) + h/(-4). Let p be 9/4*40/(-15). Sort v, 2, p in descending order.
2, v, p
Let x(h) = 2*h + 1. Let u be x(4). Suppose 0 = -u*t + 4*t - 50. Suppose -b = 3*q + 13, 5*q + 1 = b - 10. Sort -1, b, t in increasing order.
t, b, -1
Suppose 0 = -9*a - 1 + 28. Sort a, 1, -45 in decreasing order.
a, 1, -45
Let d = -10 - -12. Suppose 0 = o + o - 4*x + 18, -x + 7 = d*o. Let u be 1*(1*-2 + -1). Put -2, u, o in ascending order.
u, -2, o
Let k(v) = -16*v + 2. Let x be k(-1). Suppose -4*w - 5*t - 81 = 0, -3*w + x = -t + 55. Let u = 16 + w. Sort 5, -3, u in increasing order.
-3, u, 5
Let i = -90 - -64. Let s = -51/2 - i. Put s, 4/3, -3 in increasing order.
-3, s, 4/3
Let x(z) = 3*z + 17. Let j(l) = -2 - 2 + 2*l + 1. Let v be j(-2). Let g be x(v). Put -3, 1, g in decreasing order.
1, -3, g
Let h = 61/176 - 7/44. Sort h, -0.3, 7, 3 in increasing order.
-0.3, h, 3, 7
Suppose -13 = z - 2*z - 4*j, -3*z + 2*j = -11. Let o(y) = -y**3 + 5*y**2 - y + 1. Let b be o(z). Put b, -7, -3 in increasing order.
-7, b, -3
Suppose l - m = 6, 0 = 3*l + 2*m - 5 - 13. Suppose 0*o + 3*o = 6, 3*t - l = 3*o. Let g = -3977 - -3980. Put t, 2, g in descending order.
t, g, 2
Let a = 143 + -163. Let w be a/(-6)*60/250. Sort -1/7, w, 1.
-1/7, w, 1
Let b = -3.91 + -0.09. Let c be 7152/14*(-2 + (-10)/(-8)). Let p = 384 + c. Sort -2/7, p, b.
b, -2/7, p
Suppose 2 = -2*t - 0. Let a be (-4)/(-16)*t*-4. Sort -5, -1, a in ascending order.
-5, -1, a
Let j be (-5 + 175/15)/(1/(-3)). Let k(a) = a**2 + 21*a + 15. Let t be k(j). Suppose -v = v - 4. Put v, t, -1 in ascending order.
t, -1, v
Let r = 52 + -28. Let l = r - 19. Sort l, 0, 2.
0, 2, l
Let n = 29.2 - 32. Let b = n + 3. Let z be (-11 + (-441)/(-45))*2/(-3). Sort b, 1/6, z.
1/6, b, z
Let o = 16 + -12. Suppose o*t - 9 = 7*t. Put 1, 7, t in decreasing order.
7, 1, t
Let a = 25 + -46. Let q be (0 - (-16)/7) + 6/a. Sort -2, q, 5 in decreasing order.
5, q, -2
Let g be (14/(-63) - (-13)/18)*-6. Put g, 3, -13, 6 in decreasing order.
6, 3, g, -13
Let f be ((-2)/(-8))/(2/8). Let x be f/(-5) + (-63)/(-15). Let h be (4/8)/((-6)/x). Put 1, -1, h in descending order.
1, h, -1
Let a = 0.5672 + -3.6662. Let b = a - -0.099. Let g = -0.06 + -0.34. Put g, b, 4/7 in decreasing order.
4/7, g, b
Let q be ((-1)/5)/(16/(-160)). Put 0, 4, q, -170 in descending order.
4, q, 0, -170
Let r = 10 + -6. Suppose -a - 2*n + 8 = -3*n, -23 = -a + 4*n. Let p be ((-5)/a - -1)*(-63)/(-6). Put 0, p, r in decreasing order.
r, 0, p
Let n = 0 - -1. Let l(c) = c**3 + 12*c**2 - 5. Let r be l(-12). Sort 3, n, r, 0 in decreasing order.
3, n, 0, r
Let m be 2*(-237)/6 - (-4)/(-4). Let a be (-6)/15 + 168/m. Put 0, 4/5, -5/3, a in ascending order.
a, -5/3, 0, 4/5
Let c = -6243/4 - -1561. Put c, -5/4, -32, -1/4 in decreasing order.
c, -1/4, -5/4, -32
Let z(m) be the first derivative of -m**3/3 - 5*m**2 - 19*m - 3. Let r be z(-8). Sort 0, 5, 8, r in decreasing order.
8, 5, 0, r
Suppose 0 = -5*q - 1 - 19. Let w be 0/(-5 - -3) - -2. Suppose w*n = p + p + 4, -2*n - 6 = 3*p. Sort 1, n, q.
q, n, 1
Let l = -32/19 + 390/209. Let n = 0.2 - 0.7. Let f = 637 + -634. Sort l, f, n in descending order.
f, l, n
Let s = -5.67 - -5.64. Sort -0.1, s, -2 in increasing order.
-2, -0.1, s
Let a = -2.844 + -0.156. Put a, 5, 12, -1/4 in decreasing order.
12, 5, -1/4, a
Let p = 5 - -61. Let r = -64 + p. Sort r, -2, -3.
-3, -2, r
Suppose 5*i = c + 10, 2*c - 3*i + 4 = -9. Suppose 5*g - 2*t + 6*t = -16, -2*g - 4 = t. Suppose -1 + g = -j. Put 2, j, c in ascending order.
c, j, 2
Let m be (-213)/21 - (-8)/12. Let f = m + 28/3. Let i = 0.2 - 0.22. Put f, i, 4 in increasing order.
f, i, 4
Let c = 0.055 - 4.455. Let o = -1.4 - c. Let b = -0.3 + -0.2. Put 1/10, o, b in decreasing order.
o, 1/10, b
Let q = -0.006 + 0.02. Let p = -2.014 + q. Sort 1, p, -2/3, -1 in descending order.
1, -2/3, -1, p
Let m = 1163 - 1159. Let h = 0.3 - 0.1. Sort 3, h, m in descending order.
m, 3, h
Let r be (2/(-11)*1)/(21 - 22). Let c = 5 - 5.3. Sort 0.3, -0.4, c, r in ascending order.
-0.4, c, r, 0.3
Let f = -10.2 - -10.3. Let g = 2 + -2.3. Put g, -1, f, -1/3 in descending order.
f, g, -1/3, -1
Let c = 298 - 264. Put -5, c, -3 in descending order.
c, -3, -5
Let f = 43 - 47.4. Let c = 2.4 + f. Sort 1/2, c, 0 in descending order.
1/2, 0, c
Suppose 5*k - 3*o - 8 = -24, -2*k + 3*o - 10 = 0. Let z(i) = 3*i + 25. Let x be z(-10). Sort -4, x, k in decreasing order.
k, -4, x
Let z(y) = -y**3 + 27*y**2 + 56*y + 60. Let b be z(29). Put -7, -4, -1, b in increasing order.
-7, -4, -1, b
Let y be 2 - (-3)/3*-6. Let w(s) = s**3 + 3*s**2 - 130*s - 501. Let f be w(-4). Sort y, 2, f in increasing order.
y, 2, f
Suppose 5*p = -5*m + 2*m + 12, 3*p - 2*m = -8. Suppose -2*z + 38 = 3*f - f, p = 2*z + 4*f - 48. Sort z, 3, 1 in decreasing order.
z, 3, 1
Let s = -65 - -61.7. Let a = -3 - s. Let z be (-1)/(-5)*(0 - -2). Put z, 0.5, a in descending order.
0.5, z, a
Let v = -6448 - -6450. Let d(k) = k**3 + 3*k**2 + k + 2. Let x be d(-2). Put -3, v, x in increasing order.
-3, v, x
Let t be 2/6 + (-5)/(-3). Suppose -189*x + 1008 = 63*x. Sort x, 0, t.
0, t, x
Let r(k) = k**2 - 10*k + 8. Let c be r(9). Let q be (c - -2)/(13/39). Put -3, q, -5 in decreasing order.
q, -3, -5
Suppose 119 + 6 = 3*a - 4*b, 4*b = 5*a - 195. Suppose -5*f = 5*c + a, 2*c = -2*c + 4*f - 12. Put -1, -8, c, 5 in ascending order.
-8, c, -1, 5
Let k(m) = -m**3 + 3*m**2 - 2*m + 3. Let r be k(3). Let l be 4*(-2 - r) - 4. Let t be 10/(-3) + 4/12. Sort l, 2, t in descending order.
2, l, t
Let j = 73 + -37. Let l = j + -41. Sort -0.4, l, 0.3 in descending order.
0.3, -0.4, l
Let c = 2/31 - -89/62. Let v = -83 - -79. Sort -1/6, c, v, -2 in decreasing order.
c, -1/6, -2, v
Suppose 38*v = 33*v + 2*c - 21, -2*v = -c + 8. Suppose f = 2*q + 2*q - 50, -f - 37 = -3*q. Sort q, v, -3 in decreasing order.
q, -3, v
Let f = 0.02 - 24.02. Let b = 23 + f. Sort -0.5, -12, b.
-12, b, -0.5
Suppose 42*s - 48*s = 0. Let q be (1 - s)*5/10*-10. Suppose 2 = -m + 7. Put q, m, 0 in descending order.
m, 0, q
Suppose 2*x - x = -3*w + 10, -2*x = -4*w + 30. Put 1, 9, x, 0 in descending order.
9, 1, 0, x
Let w(b) = 1. Let t(k) = k - 1. Let d(c) = -t(c) - w(c). Let u be d(-3). Suppose -3*a + 2 = 5*v, u*v + 1 = -5*a - v. Sort -5, a, 4 in descending order.
4, a, -5
Let p = -0.0395 - 0.9605. Put 5, -0.035, p in increasing order.
p, -0.035, 5
Let p = 178 + -173. Let g be 16/2*(-8)/(-16). Put g, -19, p in descending order.
p, g, -19
Let l be (-15)/(-6)*84/15. Let t = -18 + l. Suppose 63 + 45 = -9*u. Put u, 0, t in descending order.
0, t, u
Suppose 0 = -4*s + 11 + 9. Let z = -4215 + 4215.05. Put z, -2, -0.2, s in decreasing order.
s, z, -0.2, -2
Let a(b) = b + 5. Let o be a(-11). Let t be -6*(14/o + 3). Let j = -10 - -15. Put t, 0, j in descending order.
j, 0, t
Suppose -n + 2 = -i, 2*n + 2*n + 4*i = 8. Suppose n = -o, 3*o = -4*c + 3 + 7. Put -8, 5, c in decreasing order.
5, c, -8
Let p(v) = v**3 - 8*v**2 - 11*v + 20. Let d be p(9). Sort 3, -4, 9, d.
-4, d, 3, 9
Suppose -2*m = 2*i - 92, 0 = -2*i - 0 - 6. Put 5, m, 0, 3 in descending order.
m, 5, 3, 0
Let z = 0.04468 + -26.71468. Let o = 27 + z. Let i = -0.13 + o. Put -2, i, -0.5 in decreasing order.
i, -0.5, -2
Let b = 2690 + -2689.8. Let v = 108/155 - 3/31. Sort v, b, 2 in descending order.
2, v, b
Let x = 224.1 + -224. Put 2/33, -1/5, x in decreasing order.
x