). Let q = t - 74. Which is greater: -106 or q?
q
Suppose 0 = -w - 4*w. Suppose -4*i + 2*i - 2 = w. Let l = 5367 - 5368. Does l = i?
True
Let l be 2 + (4 + -2)/(-1). Suppose 5*r + 45 = -l*r. Suppose 2*k + 16 = -4*a - 2*k, 3*k = -2*a - 3. Is r less than a?
False
Let k(g) = -3*g**3 + 5*g**3 - g**3 - 135 - 14*g**2 + 0*g**2 - 41*g - 7*g**2. Let z be k(23). Which is smaller: -18 or z?
z
Let b = -12.919 + 0.119. Let c = -3.415 + 3.615. Which is smaller: b or c?
b
Let c = 87388199/25277538 - -95/29461. Let m = -75/22 + c. Let d be 3/6*0/3. Which is smaller: m or d?
d
Let j be -1 + 22/3 + 13/(-39). Let x be -4*3/(-30)*(-5)/j. Let g = -7 + 11. Which is smaller: x or g?
x
Let u be (-62)/155*105 + 44. Let p(o) be the second derivative of o**4/12 + o**3/6 - 3*o**2/2 + o. Let k be p(-3). Is k smaller than u?
False
Let s be 1722/(-11) - (-273 + 252). Which is bigger: -135 or s?
-135
Let j be 4*((-5)/10 - -1) + (0 - 2). Are 2/153 and j nonequal?
True
Let q = 7409 + -7408.781. Let k = -1.96 + -0.04. Which is smaller: k or q?
k
Let n = -62 - -64. Suppose 2*i - 8 = 0, 2*i + 0*i = n*d. Suppose 0*a - 2*a - 2*o = -2, 3*a = -d*o - 1. Is a at most as big as 5?
True
Let g(o) = 72*o**2 + 3*o - 13. Let u be g(2). Are 291 and u unequal?
True
Suppose 71778 = -113*z - 10147. Which is bigger: -717 or z?
-717
Let t be 2443/(-14) + 29 + -12 + -33. Suppose -3*j = 473 + 97. Which is bigger: j or t?
j
Let c be (-66)/(-55) + 6/(-30) + (-1341)/1346. Are c and 0 nonequal?
True
Let u = 132 - 99. Suppose 43*p - 270 = u*p. Suppose -4*g = -5*b - p, 7*g - 3*b = 5*g + 15. Is g at most 6?
True
Suppose 36256 = 127*s - 159*s. Which is greater: -5658/5 or s?
-5658/5
Let n be (23 + -33)/(-4*(-1)/(-70)). Let w be (-3)/(42/n)*(1 + -11). Is -2/5 smaller than w?
True
Let l = 513 + -320. Let b = l + -210. Let i be 2/(-15) - (-20)/25. Is i less than b?
False
Let q be (-10 + 6)*10/130. Suppose 0*o = -2*o - 3*f - 6, 2*f + 4 = 2*o. Suppose i - 2*a - 10 = 0, -4*i = -5*a - o*a - 25. Is q less than i?
True
Let j be (-15)/5 + 12 + -5 + -4. Which is smaller: j or -15/34?
-15/34
Suppose h + 2 + 0 = -b, 2*h + b + 1 = 0. Let x = 60453/7 + -8629. Is h bigger than x?
False
Suppose 22*q + 784 = 29*q. Let u = q + -110. Suppose -y = u*y - x + 5, x + 1 = 0. Which is bigger: y or -5/2?
y
Suppose 0 = 13*q - 47 - 304. Suppose 44*w - q*w = 0. Is 245 at least w?
True
Let f = 32 - 11. Let c(z) = z**2 - 23*z + 19. Let g be c(f). Let d = g + 20. Which is smaller: -7/2 or d?
-7/2
Let u be 35*(-12)/60 + 164004/23428. Is -1 smaller than u?
True
Let j = -6113.2 + 5453. Let g = 665 + j. Is g less than -0.2?
False
Let p = 1761 - 1796. Is 32 bigger than p?
True
Let a = -22.64 - 0.36. Let v = 174/85 + -45/17. Is a at most v?
True
Let w(x) = 8*x**3 + 3*x**2 + x. Let a = -85 + 84. Let y be w(a). Let v be ((-12)/7)/y + 107/(-7). Which is greater: v or -8?
-8
Let g = 69 - 64. Let h be ((-1068)/(-68))/3 - g. Is 2 < h?
False
Let b be ((-4)/(-6))/(38/(-513)). Let c(x) = x**3 + 10*x**2 + 7*x - 19. Let j be c(b). Which is smaller: j or 3/13?
j
Let m(c) = c**2 + 2*c. Let d be m(-2). Let g(t) = -t**3 - 7*t**2 - 11*t - 4. Let a be g(-2). Let h be (a - d)*2/12. Does -2 = h?
False
Let s be (-3)/(-11) + (-13770)/25806. Which is greater: s or -0.007?
-0.007
Let c = 146 + -123. Suppose -15*t = -c*t + 40. Suppose -t*d + h = 10, -4*d + 3 = -3*h - 0. Which is bigger: d or -24?
d
Suppose -2*s = b - 0*b - 60, 2*b + 141 = 5*s. Suppose -10 = 5*z - 5. Let c be (s/32 + z)/((-5)/(-60)). Which is smaller: c or -1?
c
Let j be (93/(-27) + 3)/(204/(-54)). Which is smaller: 14.9 or j?
j
Let k(w) = -59*w**2 + 14*w + 2. Let x be k(-1). Is -69 equal to x?
False
Suppose -2*y = 1 + 9. Let p be (-1)/((-3 - y)*7). Suppose 4*w = -2*m + 12, 5*w - 11 = 9. Is m > p?
False
Suppose 14 = a + 2. Suppose -a = -3*p - 285. Let q = -52 - p. Is q at most 40?
True
Let u(c) = -11*c + 29. Let j(b) = 5*b - 14. Let s(o) = 13*j(o) + 6*u(o). Let x be s(-7). Let k = 7338/41 - 179. Is x < k?
True
Let a = -197 - -198.45. Let g = a + -1.45. Let v = -9.951 + 10. Is g equal to v?
False
Let i be ((-589)/(-593) + -1)*((-774)/(-43))/108. Which is greater: 1 or i?
1
Suppose 2*j + 6*c - 7*c - 37 = 0, 3*c + 60 = 3*j. Suppose -11*p = -j*p + 330. Do p and 1 have the same value?
False
Suppose 5*s - 4 = 21. Suppose -s*u + 4*u = -192. Let g = -2689/14 + u. Which is greater: g or -1?
g
Suppose -51 = 9*v + 8*v - 68. Is v >= -6841?
True
Let r = 308911/3 - 100298. Let c = -2697 + r. Do -26 and c have the same value?
False
Let m(c) be the second derivative of 5*c**4/24 - 14*c**3 - 45*c**2/2 - 5*c. Let u(z) be the first derivative of m(z). Let t be u(16). Are -4 and t equal?
True
Let g = -7.285 - -7.185. Is g greater than 1.2632?
False
Let v be ((-6)/(-9))/(-2) - (-2145)/9. Let j = v + -175. Is 62 at least j?
False
Let c(v) = -v**2 - 61*v - 798. Let u be c(-19). Which is greater: 46/45 or u?
46/45
Let t be 13/26*(-13)/(-2). Let m = 29 - 27. Let y be 3*((3 - 4) + m). Which is greater: y or t?
t
Let w = -151375 - -151374.9. Let l be 1/4*306/6. Let h = l + -13. Is w greater than h?
True
Let i(f) = f**3 - 20*f**2 + 20*f + 29. Let u be i(19). Let w be (u/(-60))/((-24)/(-5) + 2). Is w > 0?
False
Let n be 4/6 + 1 + (17808/(-36) - -5). Which is greater: -485 or n?
-485
Let b = -0.13569 + 0.16569. Suppose 0 = 4*s + 5*r + 1 - 7, -2*r = -4. Does b = s?
False
Suppose 6*s = 8*s - 4*m - 26, 31 = 3*s - 4*m. Suppose p = s*y - 35, -32 = 3*p - y + 3. Which is smaller: p or -13?
-13
Let n = -25451 - -20992. Do n and -4461 have different values?
True
Let n(s) = -5*s + 2*s + 0*s + 39. Let c be n(13). Is -9 at least c?
False
Let r be (-25)/(21/(7 + 35)). Is -10 <= r?
False
Let y = 32 + -137. Let x be 6/66 - y/(-308). Let k = -15 - -12. Which is smaller: k or x?
k
Let s(k) = k - 23. Let q be s(-28). Let r = 52 + q. Suppose -r = -u - 4. Are -2 and u nonequal?
True
Suppose 9 = 649*g - 644*g + 2*v, -g - 2*v = -13. Which is greater: -15/278 or g?
-15/278
Suppose 3*v = 4*p - 72, 3*v - 78 = -4*p - 6. Suppose -5*l = -h - 22, h = -0*h + l - p. Suppose -3*j - c + 7 = c, 6 = 3*c. Is j equal to h?
False
Suppose 4*x = -0*x + 20. Let h be -3*434/28*(-4)/33. Do x and h have different values?
True
Let n be 20304/(-90)*10/(-3). Let u = n - 742. Which is greater: 8 or u?
u
Suppose y = -28*y - 138 + 15218. Which is greater: y or -12?
y
Suppose -3*n = 2*t + 2*n + 5262, -4*n + 7916 = -3*t. Let g = t - -176609/67. Suppose -2*f + 5 = u, -4*f - u + 12 = 5. Which is bigger: f or g?
f
Let a = -85/16 + 1481/80. Is 14 bigger than a?
True
Let t = 204 + -25. Let i = 185 - t. Is 5 >= i?
False
Let u = 342 - 342. Let f = 47 + -47.11. Are u and f non-equal?
True
Let l(r) = -16*r - 278. Suppose 14 = -k + w, -w - 34 = 3*k - k. Let x be l(k). Are x and -28 non-equal?
True
Suppose 4*x + 0*x + 74 = 5*t, 4*t + 5*x - 92 = 0. Let s be (-12)/t + (-149)/(-3). Let l(p) = -16*p + 1. Let q be l(-3). Do s and q have different values?
False
Let g = -32088 - -32087.9. Let n = 2 - 2.2. Let d = n + 0.1. Is g at most as big as d?
True
Let y = 29366 + -29360. Let i be (-6)/(-30) + (-134)/(-80). Is i > y?
False
Let j be (-2)/(4/(-5)) - 564/(-2160)*-9. Which is smaller: -80 or j?
-80
Let r = -1146 - -1146.07. Let z(i) = i**2 - 7*i - 3. Let b be z(8). Suppose 6*s - s = b. Which is smaller: s or r?
r
Let d = 14/341 - 185/4774. Is -2/7 greater than or equal to d?
False
Let k = -11 - -11. Let o = 37 - 4. Suppose 5*t = -o + 103. Is k > t?
False
Let c be (38/(-2) - -1)*3/(-6). Let j be (-12)/c - (-91)/69. Let z be 1/(-4) + (-30)/40. Which is smaller: j or z?
z
Let h be ((0 - 1)*-2)/((-16)/264). Let g(p) = -3*p**2 - 5. Let b be g(3). Is b not equal to h?
True
Let q = -1330.7 - -1394. Let u = 71.28 - q. Let m = -0.02 - u. Are 0.1 and m non-equal?
True
Let z be (3 + -2)/(-2 - -1). Let q = -2025 + 257173/127. Which is smaller: q or z?
z
Let p be 3 + -1 - 16*9/18. Let c be ((-780)/114 - -1) + (-3 - p). Is c greater than or equal to -0.1?
False
Let u be -3*(1 - 1 - (-208)/24). Let f be u/(-6) - 10/(-15). Suppose o + 4 = f. Which is bigger: -1/17 or o?
o
Let r be 4701/(-33005) - (-1)/(-7)*-1. Let c = -42539/245180 + r. Which is greater: -1 or c?
c
Let m be 6/39 - (-172808)/936. Let g = -185 + m. Which is bigger: -0.1 or g?
-0.1
Suppose -42*m = -39*m + 3*p + 570, 4*p - 591 = 3*m. Let q = -45 + 4