Let o be ((-74)/2035)/((-21)/(-5)). Let t be 6/21 - 24/(-14). Let q = 2 - t. Which is smaller: o or q?
o
Suppose -5*q = -4*m - 58900, 54126 = -5*m - 3*q - 19425. Is -14713 smaller than m?
False
Suppose 57 + 49 = 9*w + 97. Let o be 3/9 - 1894983/(-981). Let v = -1932 + o. Is w != v?
True
Let p(k) = -k - 10. Let x be p(-10). Suppose 3228 = -2*g + 3232. Is g at least x?
True
Let v(l) = -10*l - 18. Let c(d) = d - 1. Let s(p) = -22*c(p) - 2*v(p). Let k be s(0). Let m = k + -59. Which is smaller: 1/83 or m?
m
Suppose -90*z - 302 + 572 = 0. Do z and 143/71 have the same value?
False
Let d be (55/21 - 3)/(40/12). Which is bigger: d or -0.018?
-0.018
Suppose 91*w - 1399 = 18*w + 2835. Is w at most 64?
True
Let a = 37 - 32. Suppose k - 3*h + 3 = -a, h = 4. Let w be 4/(-16) - (-1)/k. Which is smaller: 1/3 or w?
w
Let r = 26726.8 + -26727. Are -56.13 and r equal?
False
Suppose -1604 = -4*j + 1276. Let n be (10 - j/70)*14/(-10). Which is bigger: 35 or n?
35
Let a = 28 + -20. Suppose 13*q - 5*q = a. Let x be q/(-2) - (12/(-8))/3. Is x greater than or equal to -1/37?
True
Let o be ((-16)/20 - -2)*20/(-30). Let v = 0.39 - 0.09. Let r = v + -1.3. Which is greater: r or o?
o
Let j(n) = n**3 - 5*n**2 - 2*n - 21. Let z be j(6). Let h(x) = x**2 - 3*x + 3. Let o be h(z). Let m be (o - 4)*4 - (-6 + 3). Which is bigger: m or -2/35?
-2/35
Let h be 2/11*(2 + -8). Let n(a) = 24*a - 440. Let w(y) = -5*y + 88. Let d(j) = 3*n(j) + 16*w(j). Let q be d(11). Which is smaller: q or h?
h
Let q be (-180)/(-6)*-1 + 7. Suppose -5*l + 25 = 5. Suppose -l*w - 115 = w. Is q smaller than w?
False
Let v = -64258 - -64258.1. Let k = -0.085 + -0.04. Is k less than v?
True
Suppose 91 = 70*t + 21. Do t and 3/457 have the same value?
False
Let t = -16809 - -16804. Let k(n) = 8*n**3 + 2*n**2 - n. Let m be k(1). Which is smaller: m or t?
t
Let t(g) = -10*g + 32. Let m be t(3). Let c be (44 + -42)*((-1)/m - 0). Is -1/800 at least c?
True
Let b be -14 + (8 - -1) + 57. Which is bigger: 50 or b?
b
Let u be 978/9*((-63)/6)/7. Let f = 105 + u. Let j be -4 + (-56)/f - -3. Are j and -0.1 equal?
False
Suppose 3*s + 16 = 91. Let r = -668 - -551. Let y be (r/27)/(1*3/(-18)). Is s at most y?
True
Let h(q) = 3*q**3 + 69*q**2 - 50*q + 502. Let f be h(-24). Let b = 3 - 5. Which is greater: b or f?
b
Let g = -2062497/5 + 4873687476/11815. Let t = 15/139 + g. Let v = t - 98/187. Is v equal to 0?
False
Let h(w) = 30*w + 18. Let f be h(-5). Let n be f/45 + 110/132. Let q(p) = 2*p**3 - p**2 - p. Let a be q(-1). Which is bigger: a or n?
a
Let s = -0.8616 + 43.8616. Let z = 5 + -6. Is z > s?
False
Let v be 65052/(-48) - 2/(-8). Let m = v - -6754/5. Which is smaller: -5 or m?
-5
Let t(c) = -c**3 - 6*c**2 - 6*c - 6. Let a be t(-5). Let k be (-52)/676*(-9)/6. Is a bigger than k?
False
Let i = -36121/3 - -12041. Is -1.6 >= i?
False
Let f be 48756/(-760) + -3 - 7/(-70). Is f not equal to -68?
True
Let s = -5825.9915 + 5826. Is s at least as big as 1?
False
Let m = -1050224/615 + 5123/3. Which is greater: -2 or m?
m
Let n(a) = -a**2 + 5*a + 17. Let q(b) = -b**2 + 5*b + 18. Let g(s) = -5*n(s) + 6*q(s). Let d be g(-3). Which is smaller: d or -16?
-16
Let x = 15.1 - 15. Let z = 1448.28 + -1451. Is x greater than or equal to z?
True
Let n = 80 + -238. Let k be (228788/n)/1 - 0. Let g = -1448 - k. Is g <= 1/4?
True
Suppose -15 = 12*h - 9*h, 20 = 5*y - 3*h. Let p be 2088/(-203)*(-2 + y). Is 10 less than or equal to p?
True
Let a be (-6)/6*43/86. Let n = 0.104 + -90.104. Which is bigger: n or a?
a
Let i = 1.00041 + -0.00041. Which is smaller: i or 3205?
i
Let c(q) = q**2 + 2*q - 2. Let v be c(-3). Let w = v + -8. Suppose -54 = u + d - 55, d - 36 = 4*u. Is u at least as big as w?
True
Let m = -2.4 - -1.84. Let b = m - -0.2. Let g = b + 0.26. Is -2 at least as big as g?
False
Let b be 1 + 5 + (-6 - -7). Let j be 4/b + 22302/(-39543). Is j > -1?
True
Let p = 63096 + -63096. Let z be (-12)/9*1/(-86). Which is smaller: p or z?
p
Let g(w) = w**2 - 7*w - 19. Let q be g(9). Let t = 51127781638/6279 + -8142663. Let r = t - 3/299. Which is smaller: r or q?
q
Let k(w) = w**3 - 7*w**2 + 2*w - 10. Let y be k(7). Let g(r) = y - 13 + 4*r**2 + 6*r - 2*r**2 + r. Let f be g(-6). Which is smaller: -1/3 or f?
-1/3
Let o = -7 + 7.12. Let v = o + -1.12. Let t = 182 + -184. Is t greater than or equal to v?
False
Let f(v) = -82*v + 1558. Let z be f(19). Is z at most as big as 2/4725?
True
Let y(v) = v**3 - 32*v**2 - 585*v + 15. Let j be y(-13). Is j greater than or equal to -309?
True
Let m(o) = -5*o + 581. Let t be m(113). Is 398/27 > t?
False
Let y = 82.17 + -0.17. Let h = -11.1 - -97.1. Let x = y - h. Which is greater: -4/3 or x?
-4/3
Let y = 39.2 + -39.504. Let m = y - -0.205. Is -1/3 != m?
True
Let d = -2.43 + -1.67. Is 0.06 greater than or equal to d?
True
Let o be 54/63*10857/94. Which is bigger: o or 195/2?
o
Let g = -13723 - 2238. Let u = g + 3559295/223. Is u greater than 0?
False
Let f be 1001/(-286) + 5*(-6)/(-15). Is -5.5 less than f?
True
Let z be (3 - 0) + (-6 - -3). Suppose 6*i - i + 10 = z. Let u be 2 + -5 + i + 4. Is -1/41 > u?
True
Let x be 4374/(-39) - (-182)/1183. Is -1 greater than or equal to x?
True
Let w = -191 - -188. Let u be ((-4)/w)/(-2) - 2904/(-90). Which is greater: 32 or u?
32
Let l be (-4 + -3)*(-76)/(-1083)*-447. Which is greater: 220 or l?
220
Suppose -19*c - 326 - 282 = 0. Let z = c + 72. Is 41 less than or equal to z?
False
Let x = -3292 + 42797/13. Which is smaller: x or 2/101?
2/101
Let r be 9 + 18/(2 - (-1832)/(-912)). Which is greater: -2044 or r?
r
Let h = 100928116 - 4137801306/41. Let i = -6134 + h. Which is greater: i or -1?
-1
Let o = -45 + 158. Suppose -50 = -o*b + 108*b. Which is smaller: 0 or b?
0
Let u(c) = -c**3 + 4*c**2 + 5*c - 11. Let x be u(-5). Let o be x/6*(-32)/40. Is -26 <= o?
True
Let i(n) = n**3 - 3*n**2 - 7*n + 6. Let g be i(7). Suppose 4*q = q + g. Let b = -407/8 + q. Which is greater: b or 1/4?
1/4
Let b = -1.9 - -2. Let w = -135.05 + 82. Let z = 53 + w. Is z > b?
False
Suppose -281 = 3*d - 2*u, -103*u = -4*d - 105*u - 370. Which is smaller: d or 3.4?
d
Let n = 18.1 - 18.49. Let h = 39.61 - n. Is h bigger than -2/5?
True
Let a be (19 + 385)/(1 - (-24)/(-5)). Let n = a + 2522942/23731. Let s = n + -4982/8743. Which is bigger: 0.4 or s?
0.4
Let q(h) = 3*h - 40. Let i be q(12). Suppose -2*c + 64 = -0*c. Let l be (2/6)/(i*(-4)/c). Which is bigger: -0.11 or l?
l
Let g be -1 - (-1)/((-1)/(-10)). Suppose -4*x - 5*u - 14 = 0, -3*u = -x + 24 - 2. Suppose x*k + 20 = g*k. Is 2 <= k?
True
Let p = -134559031/134112 + -3/44704. Let f = 981 + p. Is f less than -21?
True
Let o(v) = v**3 - 3*v**2 - v + 7. Suppose 0 = -0*i + 5*i - 25. Let f = -2 + i. Let m be o(f). Which is smaller: 6 or m?
m
Let g = 83 + -80. Suppose 5*x + 4 = -g*y - 11, 2*x - 5 = y. Is x < 1/140?
True
Let p be 20/3*9/6. Let i = p - 1. Suppose 138 = -3*r + i*r. Do r and 22 have the same value?
False
Let v = 646 + -394. Suppose 31*r = 35*r + v. Let l = -568/9 - r. Is 0 less than l?
False
Let g be -1*(-4)/(8 - 12). Is g at least as big as -13/44?
False
Suppose -2*o + 6*o = -80. Let n be (-1)/(2/o) - 1. Let u = 60425 + -60418. Is n >= u?
True
Let t = -7 - -6. Suppose 3*l - 5 = -2*p, -p - 25 = -l - 3*l. Suppose -l*b + 60 = -7*b. Do b and t have the same value?
False
Let i = 38835 + -38834.9. Which is smaller: i or 2112?
i
Suppose 2*m = r + 5, -m = m + 4*r - 20. Suppose 2*t + 178 = -m*h, 0 = -5*h + 4*t + 52 - 268. Is -42 < h?
False
Let y = 12.2 - 8.7. Let f = -0.6 - -1.4. Let b = -0.9 + f. Which is smaller: y or b?
b
Let i(p) = p + 2. Let y be i(8). Let v be (-2)/y + (-30)/(-25). Let s = -597 + 2385/4. Do s and v have the same value?
False
Let j(b) = 32 + 108 + b**2 + 32 - 29 - 23*b + 23. Let q be j(16). Is 57 bigger than q?
True
Suppose 582*b + 15640 = 4*a + 586*b, -15592 = -4*a + 4*b. Which is greater: a or 3906?
3906
Suppose 19640 = 18*u - 37006. Is 3146 smaller than u?
True
Suppose 15*z - 204 = 6*z - 3*z. Which is smaller: 1.2 or z?
1.2
Let x(f) = f + 19. Let d be x(0). Let g = 146968/5 - 58787/2. Which is greater: g or d?
d
Let r = -2848.8197 - -2849. Let a = -0.0633 + r. Which is bigger: -0.3 or a?
a
Let u be (-4 - (-20)/6)/((-9)/(-486)). Is u < -34?
True
Suppose 0*u + u = 17. Let p be (-9)/2*2*(-258)/9. Let h = p - 242. Which is sm