18543. Which is smaller: w or 646?
646
Suppose -4*x - 176 = -164. Let y = 2/10657 + -479597/170512. Which is smaller: x or y?
x
Suppose -4 = -h, 2*w - 22*h + 24*h = -318. Which is greater: 0 or w?
0
Let q = -208 - 16. Let l = q + 172. Which is bigger: -2 or l?
-2
Suppose -2*m + 6 = z, -22 = -5*z - 3*m + 43. Let i be (8/28)/((280/(-1519))/(-10)). Is z >= i?
True
Let g = 2 + -2. Let r = 111 - 102. Let a be 6/r - 48/68. Is a smaller than g?
True
Suppose -6 - 9 = -5*o. Let y = 447.88 - 7.88. Let q = y + -444. Which is greater: q or o?
o
Let p = 11067.11 + -11012. Let u = 0.11 - p. Let j = u - -55.16. Is j at least -0.1?
True
Suppose -l + 54 = -10. Let c be ((-2)/(-40))/(l/(-128)). Which is bigger: 3/11 or c?
3/11
Let x be -2*(0 + -2 + 3). Let u be -3 + (21 - 4) + x. Let o = u + -59/5. Is o greater than or equal to -0.07?
True
Suppose -3*n - 4*a = -49, 2*n - 41 = -n - 2*a. Let c be (68/(-935))/((-2)/n). Do -0.03 and c have the same value?
False
Let s = 57355 - 57266. Let m(q) = 3*q**2 + 4*q + 4. Let b be m(-6). Is b at most as big as s?
True
Let o be (-2)/(8/(-10)) - 3 - 0. Let g = 517 + -611.97. Let p = g + -1.03. Are o and p unequal?
True
Let f(j) = 155*j - 5425. Let k be f(35). Are k and -1/13147 non-equal?
True
Suppose -4 = 3*c + 2, -2*l = -4*c - 68. Let z be 274/(-30) + 4/l. Suppose 3*n - 33 = 3*i, 5*i + 20 + 19 = -3*n. Is z less than i?
False
Let p be -1 - (3 + 165/(-9)). Suppose -14*h - 56 = 126. Let w = h - -26. Which is greater: p or w?
p
Let w = 43.4505 + -43.4. Let b = w + 7.9495. Which is bigger: b or 5/2?
b
Let k be (1766/4415)/(0 + (-4)/(-230)). Let w(v) = 4*v**2 - 5*v + 7. Let q be w(3). Is k greater than or equal to q?
False
Let y be 3*(-11)/((-165)/10). Suppose 2*x = -3*d - 3, 3*x + y = -4*d - 2. Which is smaller: d or 1/22?
d
Let q be (-2)/(-2) - (-5 - -382). Let z = q - -239. Let r = -687/5 - z. Is -0.7 < r?
True
Let o(t) = -49*t - 149. Let i be o(18). Is i at least as big as -1032?
True
Let b = -221/540 + 2/5. Let q be ((-4)/(-1))/1 - 12/3. Which is greater: q or b?
q
Suppose 3*i = -2*i - 2*d + 16, 3*i + d - 9 = 0. Suppose -3*g + 15 = 0, -4*h + g = -i*g - 373. Which is smaller: h or 101?
h
Let j = 43.346 - 43.6. Let w = -0.354 - j. Is -60 less than or equal to w?
True
Let v = -12024 + 541082/45. Which is bigger: -111 or v?
v
Let x be ((-24)/624*-26)/(2/14). Let u be 5 + -1*1/(-1). Which is bigger: x or u?
x
Let p be (2 - 50)*(-7096)/(-32). Which is smaller: p or -10645?
-10645
Let q = 69.78 + 0.22. Let x = 2810 - 2878. Let p = x + q. Which is smaller: 15 or p?
p
Let r be 25/((-125)/(-6))*89190/27. Which is smaller: r or 19823/5?
r
Let m(b) = -25*b**2 + 3*b + 1. Let a be m(-2). Let c be (8/20)/(49/a). Let u = -0.2 + 0.4. Is c < u?
True
Suppose 2*h + 2 + 4 = -5*d, 2*d = -2*h. Suppose -h*t - 2*z + 9 = -3*t, 3*t - 13 = -2*z. Let i = 1205/959 - -4/137. Which is bigger: t or i?
i
Let h be (-6)/10 + (-702)/130. Let r be (6/54*12)/((-8)/h). Which is smaller: 1/475 or r?
1/475
Let y(q) = -q**2 - 4*q + 27. Let l be (6/9)/(22/99). Let p be y(l). Do 1 and p have different values?
True
Suppose -l = 3*l. Let o(r) = -4*r**2 - 91*r. Let d(s) = -77*s**2 - 1729*s. Let z(i) = 3*d(i) - 56*o(i). Let p be z(-13). Are p and l equal?
True
Let a = 1.4 - 1.34. Suppose 2*y + 1495 = 5*x, -4*x = -9*x - y + 1480. Let z be (-9*(-11)/x)/(1/(-3)). Which is smaller: a or z?
z
Let u = 0.1113 - 11.1113. Which is smaller: 28/15 or u?
u
Let d be (448/368)/14 + 4960/92. Is -46 >= d?
False
Suppose 34 = -2*g + 42. Suppose 0 = 8*h - g*h - 8. Suppose 7*z = h*z - 15, -5*z = 3*j - 63. Do 26 and j have the same value?
True
Let f = -79346727/352205 + -4/50315. Which is bigger: f or -224?
-224
Let c = 947.9 + -948. Is c at most -120?
False
Let w(q) = 7*q - 15 - 10 - 13. Let t be w(6). Suppose -5*g + 1 + t = -5*d, 2*g + d + 13 = 0. Is -11 equal to g?
False
Let a(q) = q**3 + q**2 - 10*q - 3. Let x be a(3). Suppose -5*f + 2*t = 5, x*f + 4 = -f - 3*t. Do f and -2.2 have the same value?
False
Let x = -1.3 + 0.3. Let u be (-244)/2277 + (3/6)/(161/28). Is x greater than or equal to u?
False
Let t(i) = 3*i**3 - 5*i - 59. Let k be t(-4). Is k bigger than 0.5?
False
Let g(v) = -7*v**2 - 9 + 11*v - 29*v**3 - 3*v**2 + 15*v**3 + 13*v**3. Let k be g(-11). Which is smaller: k or -17/2?
k
Let n be (-75)/12 - -6 - 1737/(-132). Which is smaller: 12 or n?
12
Let a = -27 - -75. Let t = a + -49. Let l = -3.6 + 4.02. Which is greater: l or t?
l
Let m = -6858 + 3363. Is -3495 at most m?
True
Let r = -11169 - -11173. Is -5 greater than or equal to r?
False
Suppose -2*n = -4*m - 8, -3*n + 6*m = m - 9. Let q = -5474/19 - -288. Which is bigger: n or q?
q
Let r(q) = -42*q - 1. Let l be r(1). Let a be 334100/(-6825) + 14/3. Is l greater than a?
True
Let q(w) = -w**3 + 13*w**2 + 15*w - 10. Let s be q(14). Let t be (-30)/s*6/(-3). Let h be (12/99)/(50/t). Are h and -0.2 non-equal?
True
Suppose 0 = -2*r - 7*r + 36. Suppose -11 = -5*d - 3*i, -r = -30*d + 34*d - 4*i. Is -0.061 at least d?
False
Let i = -7875 - -13668. Which is greater: 5792 or i?
i
Let n = -21319 - -48921. Let d = n + -27655.881. Let z = -0.119 + d. Which is smaller: -1/3 or z?
z
Suppose -5*o - r + 597 = 0, -4*o = -3*r + 124 - 594. Let j = o - 118. Which is smaller: j or -0.005?
-0.005
Let x = -673.328 - -1.328. Which is smaller: 1/3 or x?
x
Let o = 6905/3 + -2321. Let m = 1627/84 + o. Is m at most 1?
True
Let m be (-78)/18 - 32/(-24) - (-2889)/117. Is m at least 2/7?
True
Let l = -1 - 0. Let y be 2 - ((-2)/(-5)*-5 + 5). Let b be ((-36)/441 - y) + -1. Which is smaller: l or b?
l
Let b be (123/(-59614))/(3/(-4)). Suppose -10 + 7 = -3*y. Is y equal to b?
False
Suppose 2*l = -3*c + 1593, 3*c = l - 5*l + 3171. Suppose 3*i + 3*p + l = 0, 4*p + 797 = -3*i + 3*p. Is -266 at least as big as i?
True
Let w be (((-245)/(-290))/(3/20))/(32/48). Which is smaller: w or 7?
7
Let r(o) = -28*o + 112. Let a be r(4). Let l be 10 - a - (3/(-3) + -2). Let j be (-1)/(2/(-4)) + 11. Do l and j have the same value?
True
Let d be -2 + ((-94)/(-17) - 3). Let i(g) = g**3 + 16*g**2 - 36*g. Let o be i(2). Is o < d?
True
Suppose 8*x - 5*q = 7*x + 13, -3*x = 3*q - 57. Let c be (-10270)/117 + (-4)/x. Let y = 33 + c. Is y not equal to -55?
False
Suppose 1295*z = 1277*z + 666. Which is smaller: 484/13 or z?
z
Let o(k) = -3*k - 1. Let d be o(-6). Let t = 31 - d. Suppose -4*r - t + 74 = 0. Which is smaller: 16 or r?
r
Let l(s) = s**3 - 6*s**2 - 5*s - 9. Let a be l(5). Let v = a + 53. Let h be (v/4)/((-513)/(-12)). Which is bigger: h or 0?
0
Let k(p) = 2*p**2 - 2*p + 3. Let r be k(2). Suppose 2*i - r = i. Let m be (-18)/(-40) + i/(-14). Which is greater: -1 or m?
m
Suppose 5*y + 5*m - 10 - 20 = 0, -16 = -3*y - m. Suppose -3*q - 3 = 3*b, 3*b = -2*q - 2*b - y. Which is greater: q or 2/791?
2/791
Let l be (-24)/(-90) + 141434/(-530490). Is -1 > l?
False
Let l(w) = w - 6. Let b be (-4)/((-2)/4 - 0). Let a be l(b). Suppose a*k = k + 26. Are k and 26 unequal?
False
Let k = -3.52 + -1.48. Suppose -3*o + 3*g = -39, 3*o - 29 - 10 = 2*g. Is k less than or equal to o?
True
Let j(f) = -f**2 + 23*f + 55. Let u be j(30). Let i = 153 + u. Which is bigger: i or -16/5?
i
Let i be ((-12)/(-9) - (-3)/(-9))/(-1). Let n be ((-1 - 73) + 0)*i. Is 75 smaller than n?
False
Let g = 54367092/366355 - 2/73271. Is 148 less than g?
True
Let j be 9/3 - 42/7. Let u = -60 - -779/13. Which is bigger: j or u?
u
Suppose 0 = 3*h + 4*l + 16348 - 460, 3*h = 2*l - 15906. Is h equal to -5299?
False
Let q = 185.95 + -40.95. Which is greater: 2/9 or q?
q
Let m be ((-167)/5)/((-2304)/80) + -1. Let s = m - 6703/42192. Does -1 = s?
False
Suppose -9*d - 302 + 32 = 0. Let h be (29/3)/((-11)/33). Which is smaller: h or d?
d
Let d be 8/10 + 5/((-734850)/113276). Let s = 139836211/808335 - d. Let x = s + -173. Are 2/7 and x non-equal?
True
Let m = -0.3339 + 0.2339. Is m greater than or equal to 51/65?
False
Suppose 0 = d + 5*r - 204, -4*r = 2*d - 386 + 14. Do 181 and d have different values?
True
Suppose -2*a - 5*o - 3065 = 3*a, 3*a - 4*o + 1832 = 0. Suppose -4*l + 587 = -s, 5*l + 2474 = 894*s - 898*s. Is a at most as big as s?
True
Suppose 68700 = 407*i - 332*i. Which is smaller: i or 11910/13?
i
Let f be -14 + 201/15 + 773/5. Which is smaller: 143 or f?
143
Let l(x) = 4*x**3 + 2*x**2 + x - 2. Let t be l(1). Let r = 4 - t. 