/3
Let m = 163.7095 - 2.7095. Let b = 2.04 + -0.04. Is m equal to b?
False
Let y(h) = -169*h**2 + 18*h - 19. Let v be y(20). Let q = v - -6995045/104. Let a = -12/13 + q. Which is smaller: a or 0?
0
Let c = 156 + -84. Suppose 5*i = 243 + c. Suppose i = 11*h + 206. Is -4 less than h?
False
Suppose 129*h + 3181 + 2444 = 1884. Which is smaller: -43 or h?
-43
Let h = -2065 + 2064. Which is smaller: 0.7 or h?
h
Let w = -74 + 74. Suppose 16*k - 1538 - 6590 = w. Which is smaller: k or 509?
k
Let f = 17372/651 - 80/3. Suppose -z = -2*p - 3, z - p - 6 = -4. Is z >= f?
True
Let l = 199.9 - 200. Which is smaller: 6940 or l?
l
Let j = 3118 - 3101. Let g be 6/(-12) + 159/6. Which is greater: g or j?
g
Let l be (264/1 - 0) + 1. Suppose -5*k = -3*n + 398 + 360, 3*n - 774 = 3*k. Which is bigger: l or n?
n
Let t(x) = x**2 - 4*x + 3. Let d be t(6). Suppose 2*r - 1 = -h, 5*r - r + 3*h = 3. Suppose 5*s - l - 36 - 39 = 0, r = -s + l + 19. Is s <= d?
True
Let v(o) = 2*o**3 - 5*o**2 - 21*o + 30. Let w be v(-8). Is -1146 bigger than w?
False
Suppose -2*b + 2607 = -0*b - 1389. Which is smaller: -4 or b?
-4
Let d = 1170.308 - 3.308. Are -1/2 and d non-equal?
True
Let o be 4 - (-4)/(16/(-44)). Let b = o - -9. Let p be 2/(4 + b) - 0. Do p and 0.05 have the same value?
False
Suppose -10*c + 2*w + 28 = -13*c, w = -3*c - 32. Do -7 and c have the same value?
False
Suppose 52*k - 54*k = -56. Suppose k = 4*c + o, c + 28 = 5*c - 2*o. Is 42/5 bigger than c?
True
Let y be ((-26)/(-6))/(33/18). Let a = y + -584/275. Let l be (42/(-28))/(27/18). Which is smaller: l or a?
l
Let p(c) = 12*c + 146. Let j be p(-13). Let r be 1974/(-9126) + j/(-45). Does -1 = r?
False
Let u = 4.32 - 0.32. Let m = -0.6 + u. Which is bigger: m or 2?
m
Let p be ((-4752)/948 + 5)/(5 + (-870)/172). Is p <= 0?
False
Let g(h) = h**3 - 31*h**2 - 34*h + 70. Let v be g(32). Suppose -9*t - v*t = -2*t. Is 11/8 < t?
False
Let z = 76 + -79. Let j(m) = m + 10. Let o be j(z). Suppose -o = 3*q - 85. Is q > 25?
True
Let w = 3325 - 3324. Which is smaller: 2701 or w?
w
Let b = 7679/4 - 1928. Do b and -6 have different values?
True
Suppose -i = -5*j - 86 + 368, 158 = 3*j + 5*i. Is -1 equal to j?
False
Let b(h) = h**3 - 4*h**2 - 5*h + 2. Let p be b(5). Suppose 0 = 5*g + p*m - 7, -3*g - 2*g + 9 = 4*m. Let n be 8/(-30)*(-2)/(-40). Which is greater: n or g?
g
Suppose -a + 171 = 2*y + 59, 2*a - 224 = 3*y. Let n be (-1)/7 - (-7 + 740/a). Which is bigger: 4/7 or n?
4/7
Let o be 2 - (1 - 2924/(-36)). Let b = -80 - o. Let y = 1611/11 - 146. Which is smaller: y or b?
b
Suppose 9*m - 2618 = 9073. Is m at most 1299?
True
Let l(k) = -k**2 + 44*k + 605. Let u be l(55). Is u < 2/13107?
True
Let n(i) = -2*i**3 - 129*i**2 + 66*i + 29. Let j be n(-65). Is 2/7 not equal to j?
True
Suppose -4*q + 120 = -q. Suppose 0 = 3*r - 5*r - 82. Let j = r + q. Is j >= -6/13?
False
Let o be 90/4*(-32)/(-8). Let r = -76 + o. Let g = r + -132. Which is smaller: -117 or g?
g
Suppose 0 = -149*y + 474 - 1517. Are y and 270 unequal?
True
Suppose 6*b - 3*s - 482 = 2*b, 2*b + 5*s - 228 = 0. Let w = b - -108. Let c = w - 7040/31. Which is smaller: c or -1?
-1
Let z(f) = -f**3 + 14*f**2 - 29*f + 52. Let h be z(12). Let u be (h/2040)/(5/(-10)). Which is bigger: 1 or u?
1
Let a(q) = q**3 - 49*q**2 + 131*q - 88. Let k be a(46). Is -2048/5 greater than or equal to k?
True
Let d = -24534 - -27941. Is 3406 equal to d?
False
Let n = 23 - 14. Let j = -356.87 - -348. Let g = n + j. Is 1 less than or equal to g?
False
Let u be 1/(-3)*(-18 - (21 + -42)). Which is bigger: -6/4157 or u?
-6/4157
Suppose r = 4*r + 2*y + 7, 5*r + 10 = -3*y. Let w be (-196)/6 + ((-50)/15)/(-5). Let s = w - r. Does s = -33?
True
Let g = -42 + 48. Let x = -1.7 - 2.5. Let l = 4.6 + x. Which is bigger: g or l?
g
Suppose -44 = -11*f + 7*f. Suppose f = 5*h - 2*l + 13, 4*l = 4. Suppose -30 = -5*x - h. Is x < 11?
True
Let h be (-772)/(-1158) + (-50)/(-114). Is 1.2 >= h?
True
Let u = -30.6 - 13. Let o = 43.5 + u. Is o > 2/5?
False
Let i = -2.5 + -26.5. Let d = 22.2 - -6.9. Let b = i + d. Which is smaller: b or -0.22?
-0.22
Let v(i) = -9*i**2 + i. Let x be v(-1). Suppose -64 + 91 = -2*d - d. Does d = x?
False
Suppose 139*k - 4*y - 137 = 142*k, -2*y + 39 = -k. Suppose 0 = 12*q - 11*q + 38. Is q greater than k?
True
Let b be (6/(-16))/((-60)/160). Which is greater: b or 13/33?
b
Let j(r) = 168*r + 43. Let i be j(-2). Let k = i - -286. Suppose -4*m + 1 + 4 = -3*n, -n + 9 = -4*m. Do n and k have the same value?
True
Let k be (-28)/(-126) - ((-1)/3 - (-113308)/182052). Does k = 1?
False
Let c(r) = r**3 - 15*r**2 - 13*r - 27. Let h be c(16). Let d be ((-33)/44)/(2/(-48)). Is h >= d?
True
Let x be (-36 - 30/5)/(-1). Is x bigger than -3?
True
Let a = 387 - 413. Let i(s) = 60*s**2 - 6*s - 2. Let d be i(3). Let f be (d/100)/(1/(-5)). Is f greater than a?
False
Let s(n) = -n**2 - 11*n - 18. Let w be s(-8). Suppose 0 = 4*u - 4*k - 12, -6*u + 35 = -u + 5*k. Suppose w = -z + u. Which is bigger: -2/9 or z?
-2/9
Suppose 0 = -2*f + f - 5*f. Suppose f = 4*u - 8*u - 88. Is u at least -20?
False
Let l(d) = 25*d + 5. Let j be l(12). Suppose 53*f + 1529 = 5*b + 51*f, -3*f + 1519 = 5*b. Is j at most b?
True
Let u be 6/(-8)*1/3. Let q = -4.1607 + 0.1607. Let n = q + 3.76. Is u at least n?
False
Let g = -193 + 192.78. Let v = 1.22 + g. Which is smaller: 8/13 or v?
8/13
Let p be (-17)/(102/36)*(-2)/(-4). Let u(o) = -44*o - 132. Let d be u(p). Is -3/67 at least as big as d?
False
Let n be -6478 - (5 + (-21)/6)*4/(-6). Is -1 > n?
True
Suppose 39 = u - k - 15, 0 = -3*k - 9. Let m = u + -99/2. Is -47 smaller than m?
True
Let a be (-12 + 558/45)*15/2 - 2. Which is smaller: 73/127 or a?
73/127
Let k(y) = -y**2 + 6*y + 4. Let g be k(7). Let u = -77 + 80. Suppose -10 = -n + 6*n, -u*w + n = -5. Is g > w?
False
Suppose -81*k - 528 = -528. Is 87/152 at most k?
False
Let x = -164 + 170. Let k be (x/(-5) - -1)/(2/35). Let p be ((-10)/(-15))/((-4)/(-6)). Which is smaller: k or p?
k
Let g = 7 - 42. Let m = -29 - g. Suppose 0 = f + 1 - 5. Do f and m have the same value?
False
Suppose -3*d - 5*t + 75 = -37, -2*t + 38 = d. Suppose -2648 - 6872 = d*a. Do -281 and a have different values?
True
Let c = -3158/9 - -350. Let f = -7083 + 7082.9. Which is bigger: f or c?
f
Let c = -154 - -159. Suppose c*a - 3*q = -6, 4 = 2*a + 3*a + 2*q. Which is smaller: a or -11/15?
-11/15
Let n be 404/(-5858) + 377934/87. Is n < 4346?
True
Let n = 3784 + -3971. Let c be -188 + 1/3*0. Which is bigger: c or n?
n
Suppose -444*d + 80 = -424*d. Is 69/22 <= d?
True
Let x be (2/3*-3)/(4/(-62085674)). Let j = x + -2079807505/67. Let m = j + -934. Is m at most as big as 0?
True
Suppose -182 = -3*j + 2*w, 28 = 4*w + 8. Let m be -2 - 988 - (-10)/(-5). Let z be -3*(m/(-12))/(-4). Which is smaller: z or j?
z
Suppose 0 = -18*g + 822 - 3414. Which is smaller: -143 or g?
g
Let z = -9 + 11. Suppose z*v + 3 = w - 0*v, 5*w = -4*v + 1. Suppose 5*s - 37 = -3*b, -2*s - 3*s + 5 = -5*b. Which is smaller: w or b?
w
Let n(v) = v**2 - 8*v + 20. Suppose 25 = -0*b + 5*b + 2*r, 2*b = -2*r + 4. Let l be n(b). Let i(t) = 13*t**3 + t**2 - t. Let d be i(1). Is d <= l?
True
Let a = 1148 + -797. Let r be (-26)/a - (-50)/(-54). Which is bigger: r or 1/70?
1/70
Let p = 5754 + -15347. Is -9593 at least p?
True
Let w(s) be the third derivative of s**4/8 + 7*s**3/3 + 2*s**2. Let k be w(-7). Let c be (17 + -15)*k/(-20). Is c not equal to 2?
True
Let b be (-236)/(-826) + (-212)/791. Which is smaller: b or 0?
0
Let i be (-1012)/(-78) - (-148)/(-481). Which is bigger: 3/7 or i?
i
Suppose -1883 + 1997 = 2*w. Suppose -w*l = -66*l + 288. Which is bigger: 6 or l?
l
Suppose 281*f - 2047 = 258*f. Let p be -2 + 132*3/9*2. Which is greater: p or f?
f
Let f = -25143 - -25131. Let j be (-4)/18 + 29/9. Which is smaller: f or j?
f
Let f = 4.197 + -2.197. Which is bigger: 21/22 or f?
f
Let b = 1.95 + -1.85. Let r = b - 0.2. Let i = -0.22 + -6.38. Is r < i?
False
Suppose -5*q + 30 = 5*g, -g - 3*g = 5*q - 31. Which is bigger: 2/25635 or g?
2/25635
Suppose 16*y - 51*y - y - 23004 = 0. Is -640 at least as big as y?
False
Let g = -1368677/231 - -5925. Which is bigger: g or -1/2?
g
Let j(q) = -q**2 - 4*q - 3. Let o be j(-5). Suppose 116*i - 24 = 114*i. Let t be 50/i + 9/(-18)*8. Which is greater: o or t?
t
Let g = -1642451 - -65107