5. Let m = 0.25 - w. Which is greater: m or y?
m
Suppose -40*i = -46*i + 6. Let y = 220375/7 - 188417111/5985. Let u = y - 3/95. Which is greater: i or u?
i
Let u(r) = r**2 + 9*r + 14. Suppose -k - 9 = d, -2*k = 3*d - 1 + 25. Let i be u(d). Suppose 2*x = -x - 21. Is x at most i?
True
Suppose 2*q = 743 - 779. Which is bigger: q or -2?
-2
Let k = 47.103 - 0.303. Let g = k - 47. Let i = 3 - 0. Is i equal to g?
False
Let w(n) = 1 + 8 - 3*n - 4*n - 1 + n**2. Let z be w(6). Suppose 3*t - z + 5 = 0. Which is bigger: -2/29 or t?
-2/29
Let y = -827 - -872. Are y and 40 non-equal?
True
Suppose -d - 16 = 4*d + 3*v, -8 = 3*d + v. Let r be (d/12)/((-98)/21). Which is bigger: r or 0?
r
Let p = -17544278/99 - -177218. Let q = 226/33 - p. Do 4 and q have the same value?
False
Let s be -2 + 5*(-2)/(-45). Let b = -58/63 - s. Let w = -33/14 + b. Which is greater: w or -2?
w
Let o = -20.03 - -1.63. Let w = o + 31. Let y = -12 + w. Which is bigger: -1 or y?
y
Suppose -4*l + 2*l - 7 = -3*h, 3 = -2*l - h. Which is smaller: l or -26/25?
l
Let t be (-54)/(-24)*4/39. Is t > 0?
True
Let g(a) = -2*a - 1. Suppose 4*c - 4*n - 6 = -n, -n - 1 = -c. Let o be g(c). Is -2 less than or equal to o?
False
Let l be (-4)/((-16)/36) - -282. Which is greater: 293 or l?
293
Suppose -2*n = -14 - 10. Suppose -j = 2*k + n - 5, -4*k = 3*j + 13. Is j <= -4/17?
False
Suppose -5*f + 18 = -2. Suppose -6 = 5*d + f. Let q(g) = g**2 - 2*g + 1. Let x be q(1). Do d and x have the same value?
False
Let z = -1426 - -1427. Which is bigger: 661 or z?
661
Let u = -317 - -327. Is u != -0.1?
True
Let v(j) = -j**2 + 10*j + 14. Let z be v(11). Suppose 4*b + 54 = z*r - 0, -35 = 3*b - 5*r. Let k be -2 - (72/b - -2). Which is smaller: 2 or k?
k
Let o(h) = -h**3 + 5*h**2 + 6*h + 2. Let a be o(6). Let v = -12.29 + 15.29. Which is greater: a or v?
v
Let g = 83 + -81. Suppose -12*d + g = -11*d. Which is smaller: d or 7/8?
7/8
Let f = 1672 - 814263/487. Are f and 0 equal?
False
Let i be (-31 - -41)*(-22)/(-5). Which is greater: i or 40?
i
Let a be -210 + -6 + 3 - (3 - 6). Does -211 = a?
False
Let y(x) be the second derivative of x**4/12 + 11*x**3/3 + 14*x**2 + 4*x. Let v be y(-20). Suppose p + 2*p + 33 = 0. Is v < p?
True
Let i = -11126287/19 + 585805. Let t = i - 211. Let d = -123 + 124. Which is smaller: d or t?
t
Let w be 1 - (2 + 125/(-126)). Let g(y) = 22*y + 1231. Let b be g(-56). Is w greater than b?
True
Suppose 4*x = -d + 30, -5*x = -2*d - 6 + 1. Suppose -5*s = 8*s + 52. Let q be 1*-3 - d/s. Is -2/7 at least q?
True
Let x(i) = -i**3 + i**2 + 16*i - 10. Let w be x(4). Let g be 4 - 476/w*(-3)/(-59). Are 0.2 and g unequal?
True
Let d(r) = r**2 - 7*r + 1. Let z be d(6). Let o = -143 + 137. Which is smaller: o or z?
o
Let p = -52 - -53. Suppose -29 = 7*u - p. Which is greater: u or -2?
-2
Let z = 24/29 + -811/174. Is z at most as big as -0.1?
True
Let y = 117.0822 - 0.0822. Is 2/5 less than y?
True
Let g = 5945 - 659890/111. Which is smaller: g or 1?
g
Suppose 5*d + 3*u + 13 = 0, 2*u = -0*d + d. Suppose -5*y + b = -2*b - 7, 0 = -4*y + 2*b + 4. Which is bigger: d or y?
y
Let s = -93.7194 - -93.7. Are s and 3/7 unequal?
True
Let p = -0.15 - 0.05. Let o = 17.84 - -1.16. Which is greater: o or p?
o
Let f(r) = r - 5. Let i be f(6). Let q be i/((-2)/4) + 3. Suppose -111*x - 56 = -55*x. Which is bigger: q or x?
q
Suppose 4*q - 3 = -27. Let o be (-1)/q*-3*40. Let w = o + 22. Are 4 and w unequal?
True
Let t = -1579 - -2033. Is 452 bigger than t?
False
Let n(d) = d**2 - 15*d + 14. Let c be n(12). Let x be ((-11)/c)/((-1)/(-2)). Let h be 2/x - (-1 - -1). Is h bigger than -1?
True
Let w = -11 + 11.06. Let l = 0.06 - w. Let b = 2 - 7. Which is smaller: b or l?
b
Let d = 3.49 - 3.69. Which is greater: d or -48.2?
d
Let o = -32 + 47. Which is smaller: 14 or o?
14
Let z be (-2)/7 - (-1819)/658. Let x = z + 1/47. Suppose -3*s - 4 = -1. Is s < x?
True
Let j = -0.83 - -1.13. Let b be (-7)/(525/310) + 4. Which is bigger: b or j?
j
Suppose -6078 = 4*x + 7734. Let s be x/(-63) - 1/7. Let d = s + -53. Which is greater: -4 or d?
d
Let t be 44/12 - (-2)/(-3). Let j(s) be the third derivative of -s**6/120 + s**5/15 - s**3/3 - s**2. Let o be j(t). Which is greater: 8 or o?
8
Suppose 0 = -0*v - v - 5*u - 15, 0 = -2*v + 4*u + 26. Suppose -4 - 6 = -v*z. Suppose z*h = 0, -2*p = p + h - 27. Is p <= 9?
True
Suppose 3*d + 530 + 172 = 0. Let c be d/(-65) + (-2)/(-5). Let v be 104/18 + c/18. Is v less than 4?
False
Let a = 1247 - 1231. Is a equal to 6?
False
Let t(b) = -17*b + 6. Let k(i) = -8*i + 3. Let u(q) = -13*k(q) + 6*t(q). Let o be u(2). Which is smaller: -1/89 or o?
-1/89
Let z = -732/21715 + 26/645. Is z bigger than 0?
True
Suppose 148 = 10*m - 6*m. Let l = -36 + m. Does -1/12 = l?
False
Let m be 65/(((-12)/(-4))/3). Let g be (-44286)/(-160) - 39/m. Let b = -276 + g. Which is greater: 1 or b?
1
Let l = -13 - -24. Let o = -11.1 + l. Which is smaller: 0.09 or o?
o
Let l = -61 - -91.3. Let v = l - 30. Is v smaller than 0.02?
False
Let c(a) = a**2 + 29*a - 29. Let h be c(-13). Let f = -1417/6 - h. Are 2 and f equal?
False
Let a = -1 - -1.02. Let r be 5 + -1 + (-2 - (-136)/(-3)). Let t = r + 44. Is a > t?
False
Let r(q) = -q**2 - 2*q + 107. Let k be r(-31). Which is smaller: k or -791?
k
Suppose 39*w - 44*w + 10 = 0. Suppose -5 = 4*h + 3. Let i be (h/(-21))/(-1)*-9. Which is greater: i or w?
w
Let u = -454 + 5543/12. Is u at least 7?
True
Let g = 845 - 9292/11. Is 2/133 less than or equal to g?
True
Suppose -7*m + 892 + 718 = 0. Is m >= 231?
False
Let i = -0.62 - -0.24. Let q = 0.08 + i. Let n = -0.6 - -1.6. Is n less than q?
False
Let z(m) = -2*m - 175. Let t be z(-13). Which is bigger: t or -751/5?
t
Suppose 29*i = 151*i - 61732. Which is smaller: i or 507?
i
Let t(m) = m**2 - 6*m - 7. Let k be t(7). Let o = 4 + k. Suppose -o*q - 5*y = -0 + 1, 0 = 2*q + 5*y + 3. Which is greater: -3/10 or q?
q
Let q = 122 - 242. Let g be (1/(-57))/(-2*(-4)/q). Which is greater: g or -1?
g
Let f = -99 + 98.8. Let d = -8.01 + 0.01. Is d at least f?
False
Suppose 4*a + 4 - 12 = 0, -m + 4*a = -187. Which is smaller: 196 or m?
m
Let o(c) = 13*c + 3. Let z be o(-1). Let f be (z/3)/((-19)/57). Which is smaller: f or 7?
7
Let u be (-6)/(-15)*15/(-24). Does u = 97?
False
Let a be (-4)/(-14) + ((-1367)/252 - -5). Which is smaller: 2/7 or a?
a
Let v = -6.5 - -5.56. Let r = v - 0.06. Suppose 0 = -d + 2*d. Which is bigger: r or d?
d
Let m = 15.5 - 13. Let c = 0.01 + 0.49. Let g = m - c. Is 4 at most g?
False
Let d be (-7)/(-6)*(-62)/(-217). Is -15/11 greater than or equal to d?
False
Let k be (-2)/(-11)*2/19. Is 1 less than k?
False
Let s = 125963/7 - 18045. Let m = 50 + s. Which is smaller: m or 13?
m
Let y(j) = -461*j + 463. Let r be y(3). Is r greater than or equal to -922?
True
Let r = -0.205 - -0.105. Which is bigger: r or 165/4?
165/4
Let u = -72 + 158. Let c = u - 88. Is 1 > c?
True
Let b be 8/(-6)*(-18)/(-12). Let h be (4/11)/(b/(-6)). Is 2 at least h?
True
Suppose -34*a + 3654 = -13*a. Which is greater: a or 173?
a
Let i = 11.923 + 0.077. Let c = i + -2. Which is smaller: 0.1 or c?
0.1
Let v = -2111 - -2110. Which is greater: -56/57 or v?
-56/57
Suppose 13*x + 41 = -128. Which is smaller: -9 or x?
x
Let h be -1*172*(-144)/288. Do 0.8 and h have different values?
True
Let d = -72 + 650/9. Let l = 18 - -31. Let y = -52 + l. Is y less than d?
True
Let d = 317.1 - 313. Is d equal to -6?
False
Let c be 6/4*104/50492. Is c bigger than 0?
True
Let s = 38.2 + -25. Let r = -0.8 - s. Let g = r - 10. Which is greater: -1 or g?
-1
Suppose 4*k + 3*d - 237 = 4*d, 3*d = -k + 56. Suppose 17*o - 1888 = 32*o - 47*o. Are o and k equal?
True
Let h = 10 + -21. Let u be -1 + 4 - (h - -1). Are u and 12 non-equal?
True
Let l = -8 + 14. Suppose l*j = p + j, 4*p + 4*j = 0. Suppose 2*q - 2*w + 16 = 0, 0*w - w = -2*q - 19. Which is smaller: q or p?
q
Let b = 598869 + -5080205713/8483. Let w = 643741/5726025 + b. Let s = 1/25 - w. Is 1 bigger than s?
True
Suppose 17 = -p + 105. Let u = 38 - p. Let q be u/15*(-3)/16. Which is bigger: q or 2?
2
Suppose -3*u = 4*p + 16, 2*p + 3*p - 5*u = 15. Let h be 5/4*(p - -7). Suppose 51*k + 336*k - 11*k - 2632 = 0. Which is greater: k or h?
h
Let j be (-6704)/(-45) - 2/(-9). Let q be 4 - (-292)/(-8)*-4. Let b = q - j. Is b at most -1/3?
False
Let t 