l, s, 2
Let l = 1491.2 + -1491. Put 1, -1, 4, l in increasing order.
-1, l, 1, 4
Suppose 0 = 2*q - 7*q - 5. Let a = 6 + -2. Suppose -a = 6*g - 8*g. Put g, q, -3 in descending order.
g, q, -3
Let j = -1702 - -1701. Sort 2, j, -9, 1.
-9, j, 1, 2
Suppose 4*k + 61 = 3*g, 4*g - 72 = 2*k + k. Suppose -g*q = -14*q - 1. Put -7, q, -1 in descending order.
q, -1, -7
Let s = 8 + -10. Let q be (6/2 - -1) + s. Let m = -74 + 70. Put m, -2, q in decreasing order.
q, -2, m
Let u = -0.956 + 1.156. Put u, -4/5, -0.07, -1/4 in descending order.
u, -0.07, -1/4, -4/5
Let o be 1*-1 - (-19)/13. Let y = -122 + 122.284. Let l = y - 0.584. Put 5, o, l in descending order.
5, o, l
Suppose -5*i + 2 = -2*m + 6*m, 0 = 3*m - 4*i - 17. Sort 0, m, -5, -2.
-5, -2, 0, m
Let m(x) = -x**3 - 2*x**2 + 4. Let r be m(0). Sort r, 3, -2, -5 in decreasing order.
r, 3, -2, -5
Let z = -7 + -31. Let m = z + 38.3. Let d = -4 + 5. Sort m, d, 2 in increasing order.
m, d, 2
Suppose h = -0*h - 4*g - 125, -701 = 5*h + g. Sort 0, h, -3, 2.
h, -3, 0, 2
Suppose 37*i - 18*i = -114. Put i, 2, -4 in decreasing order.
2, -4, i
Let i = 0.0073 - -126.5927. Let z = i - 127. Let k = 0.1 + 0.4. Put z, k, 1 in decreasing order.
1, k, z
Let a = 203 + -205. Sort a, -5, 5, -4 in ascending order.
-5, -4, a, 5
Let p be 6/9*(302 + 13). Put p, 3, 4 in increasing order.
3, 4, p
Suppose 49*l + 43*l = -460. Let p = -2 + 14. Suppose -p = -5*x + 2*x. Put 5, x, l in increasing order.
l, x, 5
Suppose -8 = -4*y, 2*n - 5*y = -3*n - 15. Suppose 70*g - 71*g + 4 = -4*h, 0 = -h + 3*g - 12. Put h, 15, n in decreasing order.
15, h, n
Let l be (-4)/10 + -6*(-3)/(-30). Let d(q) = -q + 1. Let j be d(-3). Put l, j, 0, -3 in decreasing order.
j, 0, l, -3
Let l = 0.2 - -4.8. Let p = 0.272 - 3.272. Put p, l, 1.6 in descending order.
l, 1.6, p
Let r be 13 - 10 - 3/(0 + 3). Sort r, 5, -41, 1.
-41, 1, r, 5
Let h be 4/(-5)*(-80)/160. Put h, 0.2, -0.1, -54 in descending order.
h, 0.2, -0.1, -54
Let q(s) be the first derivative of 7 + 1/3*s**3 - 2*s**2 + 5*s. Let a be q(4). Put 3, a, 4 in increasing order.
3, 4, a
Let d = 3418 + -3413. Suppose -6*h + 6 = -3*h. Suppose 0 = -h*o + 6. Sort -1, d, o in descending order.
d, o, -1
Let a = -16 + 11. Let p(r) = -r**2 + 2*r + 4. Suppose -5*o - 15 = -10*o. Let k be p(o). Sort a, -0.2, k.
a, -0.2, k
Let k = -153 - -152. Suppose 6*o = o. Put k, o, -3 in increasing order.
-3, k, o
Suppose 4*x - 12 = -0*w + 3*w, -w = -x + 4. Put 0.5, 0, w, 51 in decreasing order.
51, 0.5, 0, w
Let m = 5.0409 + -0.0409. Sort -3, 0.5, -2/21, m.
-3, -2/21, 0.5, m
Let h be (8/32)/((90/(-48))/(-5)). Put 2, h, -2/7, 6 in descending order.
6, 2, h, -2/7
Let b = -262.2 - -265.2. Put 0.4, -5, -0.46, b in increasing order.
-5, -0.46, 0.4, b
Let p = -0.96 + -0.04. Let q = 0 - p. Let f be 2/(-6) + 52/12. Sort q, f, -3.
-3, q, f
Let p = 314.03 + -314. Put p, 18, 0 in decreasing order.
18, p, 0
Let g(v) = v**2 - 7*v + 14. Let r be g(4). Suppose 4*c + r*c = 3*c. Put -25, 5, c in descending order.
5, c, -25
Suppose 0 = -5*j - 216 + 51. Let p = j - -36. Put p, 4, 0 in increasing order.
0, p, 4
Let s(x) = -x**3 - 9*x**2 - x - 11. Let p be s(-9). Put -3, 0, p in ascending order.
-3, p, 0
Let h(q) = -q**2 - 3*q. Let k be h(-4). Let i(l) = l**2 + 2*l - 8. Let s be i(k). Put -3, s, 5 in ascending order.
-3, s, 5
Suppose 2*n = t + 1 + 10, -1 = -t - 4*n. Let z be 2 + -4 + 5 + t. Sort -1, 3, 5, z.
z, -1, 3, 5
Let i be -3*2*(3 - 2). Let n be (-3)/i + 18/(-4). Let a = 1638 - 1637. Put a, 0, n in descending order.
a, 0, n
Suppose -v = -4*r - 52, -5*v = 3*r + 13 + 49. Let o be -2 - r/(1 - -1). Put 3, o, -5 in ascending order.
-5, 3, o
Let i = -73/16 - -1219/176. Let y = i + -27/11. Put y, 1, 0.5 in decreasing order.
1, 0.5, y
Let l = 1.6 - 2. Let i = 222 + -222. Put i, l, 2/17 in descending order.
2/17, i, l
Let h = 841 + -837. Put h, 0, -10 in ascending order.
-10, 0, h
Let v = 116 - 84. Let m = v + -31.9. Sort m, 0, 0.2, -2 in ascending order.
-2, 0, m, 0.2
Let u = -4.06 - -0.06. Sort 5, -15, 0.1, u.
-15, u, 0.1, 5
Let b be (-7)/((-98)/(-40)) + (-5)/35. Let j(s) = s**2 + 2*s - 4. Let k be j(3). Put 0, k, b in increasing order.
b, 0, k
Let s = -0.0468 + -4.9532. Let j be 3/6*(-478)/(-7). Let k = 34 - j. Sort k, 3/4, s in descending order.
3/4, k, s
Suppose 5*o - 24 = -9. Let f be 2/(-5)*10/(-4). Suppose -4*l + a - f = 0, -2*l + 6*l + 4*a - 4 = 0. Put l, o, -5 in decreasing order.
o, l, -5
Suppose 2*y + 28 = -2*y. Let q = y + 10. Suppose -4*b + q*m = -2 - 6, -13 = b + 3*m. Sort b, 2/3, 0.4 in increasing order.
b, 0.4, 2/3
Suppose -11 = -z + 3*a - 1, 4*a = 3*z - 5. Let o = 8 + z. Let s be (o + (-15)/6)*-16. Put s, -4, 3 in descending order.
3, -4, s
Let d = -1859 - -9294/5. Sort -0.25, d, -6 in increasing order.
-6, -0.25, d
Suppose -58*q = -50 - 298. Sort 11, -4, q in increasing order.
-4, q, 11
Suppose -21 + 87 = 3*z + 5*y, -y + 20 = z. Suppose -5*g + 3 = -z. Sort 1, g, -6 in decreasing order.
g, 1, -6
Let h = 0.3 + 0.2. Let r = 0 - h. Let j be 52*2/(-28) - -4. Sort j, r, 2 in descending order.
2, j, r
Let b = 1.07 + -0.57. Let s(g) = g**3 + 15*g**2 + 13*g - 2. Let h be s(-14). Sort 1, h, b in decreasing order.
h, 1, b
Suppose 4*z - 38 = 4*l + 6, -3*l = -6. Let f = z + -8. Suppose 5 = -2*d - 2*d - f*u, 1 = -u. Sort d, 1, 2 in ascending order.
d, 1, 2
Let r = 43/2 - 22. Let f be 378 + -386 + -2*(-74)/18. Sort f, 1, r, 4.
r, f, 1, 4
Let n = -521 + 1564/3. Sort 5, 29, n, 1 in ascending order.
n, 1, 5, 29
Suppose 0 = 3*b - 2*y + 1, -5*b = -y - 0 + 4. Suppose -9 = -5*u + 2*k, u - 3*k = -0*u + 7. Let g be (-1 + u)/((-2)/(0 + 2)). Put 5, b, g in decreasing order.
5, g, b
Let c be (-3 + -7)*(-6)/(-35). Suppose -2 = 4*b - 10. Put c, b, 0 in ascending order.
c, 0, b
Suppose -u = 3*s - 10, -s + 3*u + 6 = 6*u. Suppose -3*o = -s, -2*w = -5*o - 5 - 2. Suppose -4*h = 5*i - w, 0 = -i - h - h. Sort -1, i, 0 in decreasing order.
i, 0, -1
Let g = -9 - -5. Let r be (-21)/2*(-128)/48. Let f be 2/(-3) - r/(-6). Sort f, 0, g.
g, 0, f
Let s be 16/(-6)*(-3)/4. Suppose -1 = -s*o + 7. Suppose -3 = -5*c - 4*v, 3*c - o*v = -0*c - 11. Sort c, -3, 5.
-3, c, 5
Let n = -4 - -4.3. Let u = 0.2 + n. Let j = -16/787 - 723/3148. Put 4/5, u, j in descending order.
4/5, u, j
Let b = -5 + 10. Let u = -42 - -37. Sort 4, u, b in ascending order.
u, 4, b
Suppose -2*z - 26 = -k, 2*k - z - 12 = -5*z. Let l = k + -19. Let f(x) = x**2 + 6*x + 1. Let j be f(-5). Put l, j, 2 in decreasing order.
2, l, j
Let n = -6 + 8. Suppose n*d + 6 = 4*d. Let o = 195 + -198. Put o, 0, d in ascending order.
o, 0, d
Let h be 658/322 - (-11)/(-253). Let y(l) = l**3 + 4*l**2 - 7*l - 7. Let i be y(-5). Suppose 18 = -i*n - 0*n. Put h, -1, n in increasing order.
n, -1, h
Let c = 3 + -7. Suppose 10*f + 18*f - 168 = 0. Put 0.4, c, f in increasing order.
c, 0.4, f
Suppose 4*n - 12 = -4*p, -2*p + p + 7 = 5*n. Let c = -439 + 449. Sort n, -1, c.
-1, n, c
Let y be ((-2)/(-7))/((-200)/(-175)). Let u = -13 + 12.93. Let j = u + 0.07. Sort -2, y, j in decreasing order.
y, j, -2
Let q = -0.5 + 0.84. Let d = 0.24 - q. Let h = 85 + -253/3. Sort -1, h, d in decreasing order.
h, d, -1
Suppose 5*f - 3 = -8. Let t be f/(-3) - (-98)/(-6). Let s = 11 + t. Put -3, -2, s in decreasing order.
-2, -3, s
Let y(i) = 18*i + 42. Let s be y(-2). Let v be (0 - -1)/(-6 - -5). Let z = v + 2. Sort 0, s, z in decreasing order.
s, z, 0
Let j = -1385.974 + 1383. Let b = j + -0.026. Sort 2, -5, 0.5, b.
-5, b, 0.5, 2
Suppose p + 49 = 2*y, -5*p = -0*p + 25. Let i = 25 - y. Put 12, i, 0 in ascending order.
0, i, 12
Let z(v) = v**2 - 19*v + 2. Let t be (-272)/(-14) + (-3)/7. Let s be z(t). Suppose -2 - 14 = 4*w. Put w, 5, s in increasing order.
w, s, 5
Let l(p) = 6*p - 11. Let n be l(1). Sort n, -3, 3 in descending order.
3, -3, n
Let i = 0.6 - 1. Let a = -797/2 + 400. Put a, -1/7, i in decreasing order.
a, -1/7, i
Let h be (-116)/16 + (-1)/(-4). Let g = -1 - -0.9. Sort h, g, -0.3, -2/21 in ascending order.
h, -0.3, g, -2/21
Let z = 8 - 1. Let p = 0.1877 - -0.0123. Sort 0.1, p, z.
0.1, p, z
Let n = 6.6 + -0.6. Let a = -1.242 + 1.142. Sort a, n, 1/4, 0.3 in decreasing order.
n, 0.3, 1/4, a
Suppose -3*p + k = -3*k, 4*p = -4*k. Let l(h) = -h + 14. Let q be l(11). Suppose -v + 0*n = -5*n + 5, 4*v + 20 = q*n. Sort -4, v, p in ascending order.
v, -4, p
Let q(g)