 m, m = -2*y + 1. Let g be 67/y*(-1 + 3). Is g greater than or equal to 68?
False
Let w = -4270 + 4271. Which is smaller: w or -17/72?
-17/72
Let l = -20151 + 23403. Does l = 3251?
False
Let q = -25.03 + -1.87. Let m = -26.959 + -0.041. Let v = q - m. Which is bigger: v or 22?
22
Let y(t) = 19*t - 57. Let g = -63 + 71. Let c be y(g). Which is greater: -0.1 or c?
c
Let n = 40 + -40.22. Let p = n - -0.2. Let r = -0.008 - -1.008. Is p less than r?
True
Let r = 17.4987 + -0.0187. Let z = -0.52 - r. Let s = z + 17.9. Which is greater: -0.3 or s?
s
Suppose 5*y = -5*o + 35, o = -2*y + 23 - 13. Suppose 2*k = -o*v - 24, -5*v - 29 = 4*k - 5. Let m be (-1)/(-4) + (-29)/4. Is v > m?
False
Suppose 55 = 7*p + 4*p. Let l(b) = b**2 - 5*b - 9. Let w be l(p). Which is greater: w or -8?
-8
Let t be (5 - 4) + 2/1. Suppose -t*d = -7*d - 40. Let z be 5/2 - (-20)/d. Are -5 and z unequal?
True
Let v be ((-6)/35)/(1074/(-2506)). Is -81 smaller than v?
True
Let m(o) = 9*o**2 + 28*o + 121. Let z be m(-4). Is z smaller than 158?
True
Suppose -34 = -3*s - 10, -212 = -3*p - s. Which is smaller: 467/7 or p?
467/7
Let d = 632 - 630. Is d greater than -250?
True
Let k = -0.0931 + -0.1069. Which is smaller: 2120 or k?
k
Let d = -8 + -4. Let t be (-35 - -33) + (-48)/(-26). Are d and t equal?
False
Let w be 20/50 - ((-81)/30)/(-3). Let s = -13 - -11. Let z be (-2 - -1)/(1 + s). Which is greater: z or w?
z
Suppose -3*f + 3 + 24 = 24*f. Let g be 8/(-36) - (-616)/2718. Is g greater than or equal to f?
False
Let a = 20430143/1296 - 15764. Suppose -z - 22*t + 73 = 30, 13 = -3*z + 5*t. Which is greater: z or a?
a
Let y = 1/69104 + 29331/360791984. Is -1 != y?
True
Suppose 32912 = 76*w + 62*w - 104*w. Is w != 966?
True
Let f = -18377/4 - -422663/92. Let v be 1/4 - 3/12. Is f equal to v?
False
Let i = 520058464/569823 + -2/189941. Let c = -913 + i. Is -1 >= c?
False
Suppose -3*l - 35 - 28 = 0. Let g = l + 15. Suppose -5*b - 4*q = 14 - 6, -5*b - 23 = -q. Which is smaller: g or b?
g
Let o = 120 + -153.5. Let r = 5.5 - o. Let q = r + -44. Are -0.07 and q nonequal?
True
Let s = 13 - 11. Let m(n) = n**3 + n**2 - n - 1. Let q(d) = d**3 - 3*d**2 + 2*d - 18. Let b(t) = s*m(t) - q(t). Let u be b(-6). Which is smaller: 13/3 or u?
u
Let c = 204.6 + -203.1. Which is smaller: -6/23 or c?
-6/23
Let y(z) = 5*z - 123. Let p be y(23). Let g be 6 - ((-14)/p)/(34/136). Are -2.5 and g non-equal?
True
Let p = 6920 + -14141. Let r be (p/1803 - -4)/(12/8). Which is smaller: 1 or r?
r
Let u = 3.436 + -3.646. Let t = -125/12 + 43/4. Is t != u?
True
Let j(g) = 264*g + 9817. Let x be j(-37). Which is smaller: x or 9?
9
Suppose 4*b = -115 + 15. Let o be 1/2*(-248)/(-31). Suppose -4*m - 93 = 3*r, o*r - 10 = 10. Which is smaller: b or m?
m
Let u = -170171/110 - -1547. Let r = -12586 + 12587. Is u bigger than r?
False
Let w = -35 + 43. Suppose -3*n - 2 + w = 0. Let c = 1623/1528 - -12/191. Which is smaller: c or n?
c
Let w = 851/7 + -113. Let f be 17 + -2 + -6 + 0. Which is greater: w or f?
f
Let k be (12/(-16))/(45/(-3960)). Is 72 <= k?
False
Let c = 78/349 + -44801/192648. Is c > -1?
True
Let f(i) = -i**3 + 15*i**2 - 24*i + 7. Let w be f(14). Let m = -133 - w. Which is smaller: m or -0.187?
-0.187
Let w = -29 + 40. Let i = w + -11.05. Suppose -h - 4 + 2 = 0. Is h > i?
False
Let c = -2751009/110 - -25009. Which is smaller: 1 or c?
c
Let r(n) be the second derivative of 35*n**3/6 - 4*n**2 + n. Suppose 0 = 3*u + 3, -4*q + 220*u - 223*u = -1. Let y be r(q). Is 3 greater than or equal to y?
False
Let v = 48553/27 + -1799. Which is greater: v or 22?
22
Let l(g) = -g**3 + 8*g**2 - 6*g - 18. Let a(h) = -h**3 - 16*h**2 + h + 22. Let v be a(-16). Let x be l(v). Suppose -2*b + 44 = 6. Is b >= x?
True
Let q = -6107 - -1312999/215. Which is greater: -1 or q?
q
Let l(q) be the third derivative of q**7/630 + q**6/60 - q**5/60 + 6*q**2. Let z(u) be the third derivative of l(u). Let k be z(-3). Is k < 0?
True
Let t(o) = 3*o**2 + 21*o + 92. Suppose -4*j + 51*n - 70 = 54*n, j = 3*n - 25. Let s be t(j). Which is bigger: 777 or s?
777
Let n(v) = -2*v**3 - 9*v**2 + 38*v + 13. Let m = 583 - 592. Let f be n(m). Which is smaller: 0.1 or f?
0.1
Suppose 0 = -3*u + n - 6131, -5*n = -2*u - 5335 + 1252. Is -2044 equal to u?
True
Let z = 1612.05 - 1866. Let w = 254 + z. Which is bigger: 4.1 or w?
4.1
Let o(p) = -p**2 - 19*p - 23. Suppose 5 + 11 = -i - 3*c, -3*c - 2 = -i. Let r be o(i). Is 61 bigger than r?
False
Let d = 4025 + -4024. Is -15/952 at most as big as d?
True
Suppose 0 = 3*c + 15, 42*d - 37*d = -2*c. Let o be 1/(2 - 2545/1277). Let j = 143 - o. Which is bigger: d or j?
d
Let b = -746 - -557. Let t = -198 - b. Is -6 at most t?
False
Let q = -141.8566672 + -0.1504328. Let r = 0.0071 + q. Is r less than or equal to -0.1?
True
Let x = 0.4246 + -0.4222. Which is greater: x or 2?
2
Suppose 7 = 2*w + 37. Let q be 6/4*(-1072)/12. Let s = 121 + q. Which is greater: w or s?
s
Let w = 8971 - 8969. Which is smaller: 377 or w?
w
Let z be (-480)/4191 + 2/2. Let c = z + 3/127. Suppose 0 = 20*k - 143*k. Which is greater: k or c?
c
Let l(f) = f - 11. Let g be l(12). Let h be 64/(-24) - g/3. Let j = -151/4 + 35. Is j greater than h?
True
Let u = -1509059/408707 - 1/31439. Which is greater: u or -4/13?
-4/13
Let f be (13 + -12)/(1/(-117)). Suppose 0 = -14*x + 4*x - 1180. Which is smaller: x or f?
x
Suppose 239*a - 241*a = -100. Suppose -a*v + 448 = -22*v. Which is greater: 14 or v?
v
Let m(t) = 2*t**2 + 11*t - 10. Let i be m(-7). Let u(v) = -v**2 + 5*v + 32. Let r be u(i). Which is smaller: r or -33?
r
Let n = -304 - -509. Let c = -217 + n. Which is greater: c or -2/7?
-2/7
Let p = -0.635 - -0.667. Is p equal to -5?
False
Let b be (-56)/(-9 + 2) + -5. Let z be (48/(-180))/((-2)/b). Is 0.3 < z?
True
Let w be (-4)/((-3027672)/(-178104) + -17). Is w less than 7418?
False
Let w = -15.17 - -130.97. Is -7 not equal to w?
True
Let d be (3254/(-16))/(15/20). Let x = 272 + d. Let m = 78.4 - 78.8. Do m and x have different values?
True
Let h = 653 - 365.7. Let i = 288 - h. Are i and -0.1 equal?
False
Let q(j) = j + 34. Let b be q(-15). Let o = -207 - -223. Is b at most o?
False
Suppose -3*v - 4*u = 62612, 3*v = 10*u - 4*u - 62622. Which is smaller: -20871 or v?
v
Let l = 24 - -13. Suppose -4*s - 5 = -l. Suppose 13*k = s*k + 40. Is 10 smaller than k?
False
Let u = 5005 + -5004.9. Is 4836 < u?
False
Suppose 4*g = 2*z - 2, -g - 5 = 4*z - 0*z. Let y be ((-12)/10)/((-19 + 37)/(-90)). Suppose 2*d + 2 = t, -y = 3*t - 3*d + d. Which is greater: t or z?
z
Suppose 2 + 1 = 3*r - 5*o, -2*o = 3*r + 18. Let m be (-6 + (-2361)/(-394))/((-9)/r). Is -1 smaller than m?
True
Let l = -3.04 + 34.64. Let k = 22.6 - l. Is 3 greater than k?
True
Let b be 10/3 - ((-64)/6)/8. Let t(r) = r**3 + 9*r**2 - 5*r - 129. Let u be t(-7). Is u equal to b?
False
Let q = 2.5 - 21.5. Let d = 0.057 + 100.043. Let m = -100 + d. Which is smaller: m or q?
q
Let t = -1911 + 1923. Is t at most -6/7?
False
Suppose 3*j - 5*v = 2, v + 40 = 2*j + 3*j. Let x(s) = -3*s + 21. Let m be x(j). Let b be m/(-4*(-1 + (-21)/(-18))). Is 12 less than b?
False
Let h(s) = -s**2 - 4*s - 16. Let l be h(-6). Let m be l/(-35)*185/2. Which is bigger: m or 221/3?
m
Let t be -2*(-2 - 25/(-15)) - (-3776)/(-6384). Which is greater: t or 1?
1
Let b = -26 + 30. Suppose -b*n - 10 = 2*t - 38, 2*t + 2*n - 18 = 0. Let r be -4 + t - (-9)/66. Which is smaller: r or -1?
-1
Let c = 147132 + -147214. Suppose 0*m = -3*m - 729. Let y be 1*2/(6/m). Is y <= c?
False
Let p(n) = n**3 - 5*n**2 - 8*n + 8. Let s(c) = c**3 - 2*c**2 - 3*c - 1. Let w be s(4). Suppose -w*f = -22*f + 18. Let t be p(f). Is -5 less than t?
True
Let q = -75.6 + 12.6. Let x(r) = -7*r - 43. Let n be x(-6). Let z be n/2*(-44)/77. Are q and z non-equal?
True
Suppose -o = 22*o - 575. Suppose 6*a = 343 - o. Does 53 = a?
True
Let o = -0.28 - -0.267. Let g = o + 68.013. Which is smaller: g or 1/6?
1/6
Let r be (-2)/13*1248/(-576). Is 6/1051 less than r?
True
Suppose -385 = 39*s + 1019. Let r be (38/2)/(37 + s). Is r bigger than 25?
False
Let k be (5/(10/8))/((-2)/(-30)*-70). Let r = 28.3 - 4.3. Let g = -11 + r. Which is bigger: k or g?
g
Suppose -2*x - 2*p + 870 = -0*p, -2*p = 4*x - 1750. Let b be (-2)/8 + (-154)/x. Does 0.1 = b?
False
Let c = 8 - 7.94. Let p = -1.71 - -119.71. Le