, 0.
y, -2, 0, 5
Suppose 5*q = -15, a + 2 = -4*q - 12. Sort 2, 4, a.
a, 2, 4
Let y be (-4 + (-1 - -5))*1. Let a(m) = -m**2 - 7*m - 5. Let f be a(-5). Let n(s) = -s**3 + 5*s**2 - s. Let d be n(f). Sort y, -1, d in decreasing order.
y, -1, d
Suppose 4*q + 10 = 5*s + 2*q, 3*s - 6 = -4*q. Let y = 6 - 1. Suppose -5*m - y = -3*h, h - m + 1 = 2. Sort s, h, 0.2 in decreasing order.
s, 0.2, h
Let s = 97960424/435 + -225196. Let o = -436 - -37934/87. Let w = o + s. Put w, -4, 1/2 in decreasing order.
1/2, w, -4
Suppose -2*q + 5*x + 2 = -3, 5*q - x = 1. Let p(m) = -4*m + 1. Let d be p(4). Let c be 2/d*(q + 1). Sort 5, 1/2, c.
c, 1/2, 5
Suppose 4*d + 2 = 5*h + 1, 2*d + 2*h = -14. Sort -3, d, -7.
-7, d, -3
Let f(r) be the first derivative of -r**3/3 + r**2 + 4*r - 3. Let m be f(4). Sort m, 5, 1 in increasing order.
m, 1, 5
Let u be (2/(-3))/(2/(-6)). Suppose 3*v + u*n = -25, 5*n + 14 = -11. Suppose 3*x - 8*x = 5*r - 5, 4*r = -5*x. Put 4, v, x in descending order.
4, x, v
Let g be (-12)/8*22/(-12)*-4. Sort g, 4, 2 in decreasing order.
4, 2, g
Let k(l) = -2*l - 1. Let x be k(2). Suppose 0 = 2*y - 5 + 1. Sort -2, y, x.
x, -2, y
Suppose 0 = 5*w - 5. Let d = -4.44 + -0.56. Sort d, w, -2/7 in ascending order.
d, -2/7, w
Let d = 44/5 - 157/15. Sort 0.5, d, -0.1, -12 in decreasing order.
0.5, -0.1, d, -12
Let g = -8 - -7.6. Let r = -0.09 + -4.91. Sort g, 1, r in decreasing order.
1, g, r
Let i be (2/(-15) - 1) + 1. Put 3, i, 5 in ascending order.
i, 3, 5
Let n be (36/(-27))/((-2)/(-3)). Suppose 16 = -5*y + 2*s, -3*y + 3*s = -0*y + 6. Let q be 0 + 1*4 + 0. Put n, q, y in decreasing order.
q, n, y
Let s be 4 + 1 - (0 + 3 + -2). Sort s, -3, -5, 1 in ascending order.
-5, -3, 1, s
Suppose 2*q - 5 = 5. Suppose -q*p = -2*p - 12. Suppose -a + 7*a = 0. Sort -2, p, a in increasing order.
-2, a, p
Suppose -19 = 3*v - 2*p, p = 3*p - 10. Let m be (v + 1)/(-2) - 1. Put m, 2, -1 in decreasing order.
2, m, -1
Let r be (-3)/(-7) + (-25)/(-7). Let x be -2 - (-2 + (-1 - 2)). Let t = -8 + x. Sort t, r, 1 in increasing order.
t, 1, r
Let s = -5.08 + 0.08. Let p = -0.14 - -0.54. Sort p, s, -0.2 in ascending order.
s, -0.2, p
Let l = -1813/11 + 165. Put 3/2, -1, l in increasing order.
-1, l, 3/2
Let c(n) = -n**2 + 3*n - 1. Let u be 4 + 0/2 - 0. Let m be c(u). Let k = 2 + m. Put k, 1, 5 in increasing order.
k, 1, 5
Let o be 11/10 + (-2)/4. Let j = -136 - -1498/11. Sort o, 2, j in ascending order.
j, o, 2
Let r = -7 + -14. Let y = r + 17. Put -1, y, 0 in ascending order.
y, -1, 0
Let f = 29 - 29.37. Let z = 0.03 - f. Put 2, -3, z in ascending order.
-3, z, 2
Suppose 2*l = -5*z - 9, -4 = 4*z - 5*l - 10. Let b be (1/2)/(2/12). Let d be ((-2)/b)/((-2)/(-6)). Sort d, z, 5 in increasing order.
d, z, 5
Let n = -71 - -70. Put 5, 2, n, -4 in decreasing order.
5, 2, n, -4
Suppose -j - 165 = -5*s, -2*s + 66 = -0*j + 5*j. Let u be s/45 + (-2)/5. Put -3/5, -1/5, u in ascending order.
-3/5, -1/5, u
Suppose 9 + 1 = 2*h. Let r = -3 + h. Let d = 131/2 - 64. Sort 0.4, r, d.
0.4, d, r
Suppose -6*v = -4*v + 2*s + 16, -5*v - 4*s = 38. Suppose -2*j + 6 = 5*n + 16, 15 = -3*j - 5*n. Sort v, 0, j.
v, j, 0
Let r(u) = u**2 - 9*u + 7. Let q be r(8). Let d be (-1)/(-2)*2 - -3. Sort d, q, -4 in ascending order.
-4, q, d
Let l = 23 + -21. Sort 3, 0, l in increasing order.
0, l, 3
Let f be (-1 - (-6)/5) + 0. Let m be (3 - (-4 - -2)) + 0. Suppose -5*g = 3*z + 3, m*z + 2 = -2*g - 3. Sort f, z, -2/9 in descending order.
f, -2/9, z
Let h = -0.8 + 1. Let i be 1/(-6)*2*1. Let z = -2/11 + 50/33. Put z, h, i in increasing order.
i, h, z
Suppose 5*q = 2*b + 72, b = 2*q - 0*b - 28. Suppose 5*h - q = -1. Suppose 2*r - 2 + 0 = 0. Sort h, r, 5 in descending order.
5, h, r
Suppose -4*u + 17 = -0*q + q, 19 = 3*q - 4*u. Sort -1, q, -4, -5 in ascending order.
-5, -4, -1, q
Let o be 32/18 - (3 + -1). Put 0.5, o, 0 in decreasing order.
0.5, 0, o
Let h = -10 - -6. Let n = 9 + h. Sort 4, n, -5 in ascending order.
-5, 4, n
Let v = -159 + 159. Suppose 3*o - 15 = -f - o, 4*f + o - 15 = 0. Let i be -1*f/(0 + 1). Sort 4, v, i in descending order.
4, v, i
Let t = 3 + -3.1. Let i = -3 + 3. Let m = i - 0.4. Sort m, 1, t in ascending order.
m, t, 1
Let k = 78/175 + -4/25. Let i = 11 - 10. Put k, i, -2/5 in decreasing order.
i, k, -2/5
Let x = 0.038 - -4.042. Let y = 20 - 20.08. Let q = y + x. Put q, 1/3, -3/5 in descending order.
q, 1/3, -3/5
Suppose -2*u + 6 = -0*u. Suppose 0 = -z - 2*z - 9. Sort u, -2, z in increasing order.
z, -2, u
Let o = 0 + 0.3. Let w = -75 - -74.9. Let t = w - o. Sort -2, -0.1, t in descending order.
-0.1, t, -2
Let d = -12 + 8. Sort -0.4, 4/5, d in descending order.
4/5, -0.4, d
Let k(t) = -t**3 + 6*t**2 - 5*t - 1. Suppose -2*n + 3*n - 8 = 0. Suppose 0 = 2*s + n, -2*z + 4 + 10 = -s. Let p be k(z). Put p, -4, -2 in descending order.
p, -2, -4
Let h = 0.34 - -0.06. Let v(s) = -2*s**2 - 8*s - 12. Let p be v(-2). Sort p, 5/3, h in decreasing order.
5/3, h, p
Suppose 5*r + 4*b + 6 = 0, -4*r - b - 5 = 2*b. Let d(n) = -n**2 - 4*n + 1. Let i be d(-3). Sort i, r, 3 in decreasing order.
i, 3, r
Let a(q) = q**2 + 4*q - 6. Let y(f) = 4*f - 1. Let z be y(-1). Let g be a(z). Let p = 5 + g. Put -4, p, -5 in decreasing order.
p, -4, -5
Let o(y) = y**2 + 8*y + 6. Let n be o(-5). Let c be 2/n - (-80)/36. Let b be c/(-12)*(-1 + -3). Sort 1, 0.1, b.
0.1, b, 1
Suppose 2*v = 4, n + v - 6 = -n. Let q be -5*2 + (5 - 0). Sort 1, q, n in ascending order.
q, 1, n
Let l(t) = -t - 3. Let q be l(-6). Let n be (-32)/(-60)*q/4. Put n, -2, -0.1 in ascending order.
-2, -0.1, n
Let x = 53.2 - 53. Suppose p - 5*o = -20, 4*o - 17 = -4*p + 23. Sort p, 2, x in descending order.
p, 2, x
Let x = 0.74 - 0.24. Sort 0.4, x, -1, -4/3.
-4/3, -1, 0.4, x
Let u = -45 + 47. Sort u, -1, 0.1, 0 in increasing order.
-1, 0, 0.1, u
Suppose 6 = -0*o - 3*o. Suppose v + 26 = -3*u, u = -0*u + v - 2. Let y = -2 - u. Sort y, -3, o in ascending order.
-3, o, y
Let w be (15/10)/(6/(-4)). Put 0, 17, w in ascending order.
w, 0, 17
Suppose -2*u = -1 - 7. Let f = u - 6. Put 0, f, 3 in descending order.
3, 0, f
Suppose -4 = -3*a + 8, 23 = 3*t + 5*a. Suppose v + 0*z = 3*z + 9, -v = -z - 1. Sort v, -1, t.
v, -1, t
Let m be (-2)/8*(-151)/1. Let r = m + -39. Sort r, 4, -1/4 in descending order.
4, -1/4, r
Let d = 2 - -1. Let n = 15 + 15. Let b be n/(-27) + (-3)/(-3). Put b, -0.5, d in decreasing order.
d, b, -0.5
Suppose -4*k = -5*k + 5. Put k, 0, 4 in increasing order.
0, 4, k
Suppose 73*s - 72*s = -1. Let u(w) = -w - 4. Let c be u(-3). Let v be -6*((-2)/4 - c). Sort v, 3, s in decreasing order.
3, s, v
Let d = -12 + 12.2. Let w = d - 1.2. Let m = 7/10 - 61/30. Put w, m, 3 in descending order.
3, w, m
Let k = 330 + -464. Let f = k + 127.7. Let p = 1.3 + f. Put 1, p, 4/5 in decreasing order.
1, 4/5, p
Let g(r) = 4 + r - 1 + 3. Let o be g(-6). Suppose -n - 5*x - 15 = 0, 0 = -x - 2*x - 12. Sort o, n, -5.
-5, o, n
Let j be ((-138)/115)/(6/20). Let y = -3 + 8. Sort y, j, -1/4.
j, -1/4, y
Suppose 0*h + 3*h = 18. Suppose -3*w + 2*q = -4, -w + 10 = -h*w - 5*q. Let o(m) = m**2 - 5*m - 8. Let f be o(6). Sort 3, f, w in ascending order.
f, w, 3
Suppose 2*s + 1 = 9. Let g = 5/6 + -1/3. Put s, g, -4 in descending order.
s, g, -4
Let f be 9/(-6)*(-4)/(-24). Put 4, 2/3, -1, f in ascending order.
-1, f, 2/3, 4
Let r(s) = -s**2 - 6*s - 3. Let l be r(-6). Let a be (-2 - -2) + -2 + 0 + 5. Sort l, a, 1 in descending order.
a, 1, l
Let j(n) = n**3 + 6*n**2 + 6*n + 1. Let q be j(-5). Sort 3, q, 0 in descending order.
3, 0, q
Suppose 3*t - 4 = 4*d, -3*d + 6 = 2*t - 4*d. Let q(v) = v**2 + 8*v + 2. Let s be q(-7). Put t, s, 5 in descending order.
5, t, s
Let q = 2 + -7. Let c = 15 + -15. Suppose f - 4 + 3 = c. Put f, q, -1 in ascending order.
q, -1, f
Let i = -0.4 - -3.4. Put i, 2, 2/13 in decreasing order.
i, 2, 2/13
Let z be 3/(-2)*4 + -2. Let k = 4 + z. Let a be (k - -1)/((-6)/(-4)). Put -3, a, 0 in descending order.
0, a, -3
Let g be 2 + -5 + 0/(-1). Let l(n) = 2*n**2 + n + 1. Let x be l(1). Put -2, x, g in descending order.
x, -2, g
Let c(u) = u - 5. Let g be c(6). Suppose -3*q - g = -4. Suppose -9*r - 50 = r. Sort 5, r, q in decreasing order.
5, q, r
Let q = 40 - 40. Suppose -4*c = -0*c + 4, -2*v - 5*c = 9. Let n be (-15)/(-9)*v/(-5). Sort n, q, -5.
-5, q, n
Let x be -12*(1/3)/(-1). Let a be (2 - 2) + 8/x.