2*n - 5024 = 4*j. Let q = n - 442813/176. Which is greater: q or 0?
q
Suppose -569 = 3*j + 4*f - 292, -2*j - 5*f - 194 = 0. Which is greater: j or 1/4?
1/4
Let g = -29/12 - -13/6. Let b be 2 + 5 + 2412/(-12). Which is greater: b or g?
g
Let r = 2/111 - -101/555. Let q = 15.9 + -19. Let y = -3 - q. Is y > r?
False
Let a(l) = 3*l + 22. Let s be (-2 - -1)/(12/84). Let r be a(s). Which is bigger: r or -9/28?
r
Suppose -2*t - t - 3*z - 54 = 0, -5*t = -3*z + 82. Let l = -24 + 5. Are l and t unequal?
True
Let z(p) = -p**3 - 15*p**2 + 15*p - 43. Let l be z(-16). Suppose -6*u - 2*u = 208. Which is smaller: l or u?
l
Let k be 16/36 - 295/(-45). Suppose -5*i + 10 = 5*b, -3*b + 4*b = -2*i + k. Which is bigger: 2 or i?
i
Suppose 342*w + 42 = 384. Let d = -1417 - -128944/91. Which is smaller: d or w?
d
Let x be 18/(-117) + (-99)/455. Which is bigger: 0 or x?
0
Let p = -181 - -62. Let b = 117 + p. Let c be 39/(-86) - 1/(-2). Which is smaller: c or b?
b
Let y = -0.46907 - 7.53093. Let i(z) = -5*z**2 - z**3 + 0*z + 5*z - 4*z - 2. Let f be i(-5). Which is smaller: f or y?
y
Suppose -3*u - 473 = -173. Which is greater: u or -181?
u
Let j = 8867 + -186127/21. Suppose 0 = 3*n - 13*q - 61, 5*n = 2*q - 24 + 47. Which is bigger: n or j?
j
Let p = 245 + -122. Let k = p - 108. Is k <= 2/3?
False
Let q = -53 + 2.1. Let o = 44.9 + q. Are 2/13 and o unequal?
True
Let b = -26.23 - -49.03. Are b and 0.07 nonequal?
True
Suppose 10 = -8*n + 10*n. Suppose 6*y = n*y - y. Which is smaller: y or -1/89?
-1/89
Let x(d) = -d**2 - 8*d - 2. Let k be x(-7). Suppose 40 = 5*w - 5*t, 3*t - 10 = -k*w + 30. Let f be (-5)/(20/w) - 22. Which is smaller: f or 1?
f
Suppose 0 = -2*t + 5*p + 324, -21 - 613 = -4*t + 3*p. Let x = t + -151. Let g(k) = k**2 + k - 1. Let l be g(0). Which is smaller: x or l?
l
Let g = -7253 + 7282. Which is bigger: g or 421/15?
g
Suppose 21*f + 403 = 130. Is 8/5 at least f?
True
Let d be (155/57)/((3 - 7)/4). Let n = -39/19 - d. Let g = 24 - 68. Which is smaller: g or n?
g
Suppose 256 = -9*b + 4*b + 2*u, -6*b - 4*u = 320. Is b equal to -63?
False
Let a be -3 + 1180/296 + (0 - 0). Which is smaller: 0 or a?
0
Let h = 20237 - 21493. Which is smaller: h or -1257?
-1257
Let d be (-45)/(-105) - ((-584)/434 - -2). Let i be 4*(18/8)/9. Which is smaller: d or i?
d
Let m be ((-6)/15)/(2/(-35)). Let s be 6434/14 - (-3)/m. Let x be (4*1)/(s/10). Which is bigger: 1 or x?
1
Let m(a) = -3*a - 2. Let z be m(5). Let g be z/(1938/(-240)) - (0 + 2). Is g at least 2?
False
Let d = 14617 - 13175. Do d and 10084/7 have the same value?
False
Let h = 0.5 + 5.68. Let n = h + -7.88. Is n less than -2?
False
Let t(m) = 2*m - 4. Let l be t(2). Let f be -3 - 0 - 9/((-24048)/8668). Let p = f + 1/167. Is l at most p?
True
Let i = -5244 - -4996. Do i and -248 have the same value?
True
Let x(b) = -3*b**2 + 11*b + 92. Let l be x(-4). Is -11/413 bigger than l?
False
Let h be (-12 - 3)/(3/(-4)). Let x be (57/(-152))/((-9)/h). Let q = -81 - -81. Is q less than or equal to x?
True
Let t be 7/(315/(-10)) - (-1263)/(-27). Is -50 < t?
True
Let d(t) = 27*t**2 - t. Let n be d(3). Let w be (-5)/(n/(-66)) - (-6)/(-16). Is -5/48 equal to w?
False
Let w = -0.347 - 36.353. Let g = -39 - w. Let d = g + 1.6. Is d less than -1?
False
Let h be (-16)/(-80) + (-62)/110. Which is greater: h or 13?
13
Let y(h) = h**3 + 24*h**2 - 26*h - 21. Let l be y(-25). Suppose 5*k = -l - 6. Let j be k/7 - (352/(-105) - -3). Is j equal to 0?
False
Let g(c) = c**2 - 7*c - 4. Let h be g(5). Let t be 80/(0 - 4) - -15. Do t and h have the same value?
False
Let q(l) = -l**3 + 11*l**2 - 9*l - 13. Let r be q(10). Let m = 2799 - 2799. Is m at least r?
True
Let o = 2 + -3. Let w = 44480/55413 + -346/423. Which is bigger: o or w?
w
Let r be 5/1*(-18)/30. Let z be (-12)/((-36)/8 - r). Suppose -m - 7 = -z. Is -6/13 less than m?
True
Let a be 14/(-28) - (-13508)/8. Are a and 1688 nonequal?
False
Let n be ((-6)/(-4))/3*-4. Let z = -22274/12699 + -8/747. Are z and n equal?
False
Let g(j) = -j**2 - 16*j - 23. Let b be g(-13). Suppose -b*m - 257 = -17. Which is bigger: m or -12?
-12
Let p = 1.459 - -17.641. Which is smaller: p or 3/7?
3/7
Let t = -493249/13 + 37982. Which is bigger: t or 41?
41
Let n = -145 - -135. Let v be ((-4)/(-8))/(-1)*n/(-1220). Which is greater: v or 0?
0
Let a = -591 - -561.1. Let x = -6.1 + a. Let i = -35 - x. Are i and -84 equal?
False
Suppose 8*p + 748 = -156. Let j(r) = r**3 + 11*r**2 + 8*r - 24. Let g be j(-11). Which is greater: p or g?
g
Let b(h) = -10 - 9 + 3*h - 5 + 5. Let y be b(-8). Let v = y - -55. Is v < 11?
False
Suppose -161*r + 17 - 17 = 0. Does r = 324?
False
Let y = -134 + 150.1. Let i = 16 - y. Let l = 25.93 + -25.8. Which is smaller: i or l?
i
Let m be (-5)/(-1 + 2) - (3 + (-4 - -101)). Is 11 not equal to m?
True
Suppose 19 = -3*o - 2*y, o + 3*y - y + 13 = 0. Let t be ((-124)/12 - -11)/(2/o). Is 2/33 greater than t?
True
Suppose 15656 = 31*l - 27*l - 8*l. Which is greater: -3913 or l?
-3913
Let n be (9/4)/((-540)/(-127080)). Are 529 and n non-equal?
True
Let i = -1104.2 - -1104. Let t = 82 - 81.76. Which is smaller: t or i?
i
Let n = -0.5 + 0.3. Let i = 4.8 - n. Let g = 632/3 + -210. Which is smaller: i or g?
g
Let c = -1926.9117 + 1927. Let v = c - 9.0583. Let o = v - 0.03. Which is bigger: o or -2/9?
-2/9
Let d be 10/124*(-70472)/(-230). Which is greater: d or 25?
25
Suppose 40*t = 46*t + 54. Let z be -2*((-42)/(-12) - 3)*t. Which is smaller: -1/16 or z?
-1/16
Suppose -2*v - 6 = 5*w - 48, -4*v + 56 = -4*w. Let l be v/40 - (-681)/(-15). Suppose r = -0*r + 4*s - 36, -r - 42 = -s. Is r <= l?
False
Let n = 38.9 + -22.5. Let x = n + -14.4. Is x greater than 45?
False
Suppose 70 = -2*g + 1380. Let n = g + -656. Which is greater: n or 4/17?
4/17
Let c = -108 + 40. Let w = -368/19 - 2753/57. Is w != c?
True
Let n = 0.018 - -0.042. Let i = n + -0.06. Let t = 76 - 17. Which is greater: i or t?
t
Let k be ((-4)/(-6))/((-3)/9). Let u be (2 - (-16)/(-9))*k. Let d = 0.02047 + -0.02047. Which is smaller: d or u?
u
Let f(t) = -t**3 - 10*t**2 - 9*t - 4. Let l be f(-9). Let c be (l - 24)/4 - 4. Let g be (-1)/(-2)*(-13 - c). Which is greater: -10/9 or g?
g
Let o = 38 + -17. Suppose 3*s - r = 14, 5*r - o - 5 = -s. Suppose 0 = -117*l + 179*l + 124. Which is smaller: s or l?
l
Let v be 1/(-18)*-3 - 52/24. Let a be ((-6)/(-12))/(-3 - v)*-6. Let m be 4 - -15*(-1)/a. Is 1/27 >= m?
True
Let u = -179 + 379. Let h = -199.6 + u. Suppose 4*d - 29 + 5 = 0. Which is bigger: d or h?
d
Let o(a) = a + 12. Let i be o(-9). Suppose -i*b + 10*b = -63. Which is bigger: b or -1?
-1
Let u be 1*3 + 0/(-2). Let z = -0.09544 - 165.93456. Let f = z + 166. Do f and u have the same value?
False
Suppose k = -4*j - 8, 8 = j - 3*k - 3. Let c = 1/9339 - 1038/3113. Is c bigger than j?
True
Let q be (336/(-32))/((-2)/4). Suppose 26*c = q*c - 295. Which is smaller: -0.1 or c?
c
Let t = -2994 - -53887/18. Let r be 2/5 + (-7)/5. Which is bigger: t or r?
t
Let b = 30.8 - 45. Let y = b + 73.2. Let m = y + -57. Is 7 smaller than m?
False
Let l be 1 + (-18)/14 - 0. Suppose -3*m + 1486 - 439 = 0. Let k = m + -1749/5. Do l and k have different values?
True
Let n = 489/7 + -70. Let y be (-2)/((-1 + -1)/(-12)). Let a be (-2 + 0)*3/y - 0. Are n and a unequal?
True
Let h = -1517941 - -1517988.56627. Let y = h - 0.53727. Let m = y + -47. Which is smaller: m or 1?
m
Suppose -2*x = -r - 14 - 0, -4*x + 20 = 0. Let y be -1 + (5 - 3) + (-181)/183. Let c = y + -65/366. Is c at least as big as r?
True
Suppose -2*x + 3 = x. Let i = 1034 + -656. Let m be i/49 - 3 - 5. Is m != x?
True
Let v(h) = -h**3 - 45*h**2 - 40*h + 351. Let u be v(-40). Is u at most as big as -6049?
True
Let d be 40/((-37)/((-518)/(-28))). Which is greater: 174 or d?
174
Let b(j) = j**3 + 9*j**2 + 45*j + 691. Let h be b(-17). Is h at most -2385?
True
Let y = 9 - 13.2. Let g = y - -4. Let d = -10697 + 10686. Do d and g have different values?
True
Let w = 20.3 + -18.3. Let a = -1011.27 + 1004. Let j = a - -0.27. Which is bigger: w or j?
w
Suppose 0 = -3*f + 4 + 2. Let o be (5 - (-114)/(-24)) + 1 - (8 + 0). Is f greater than or equal to o?
True
Let q = 172 + -294. Let k = q + 135. Let x be (-3)/(4 - k)*3. Is x at least as big as -1/6?
True
Let g be (-17)/((4/(-1))/4). Suppose -g = -x + 3*s, -x = -5*x - s + 16. 