y + 3*w + 20. Suppose 215 - s = y*d. Which is greater: -42 or d?
-42
Suppose 5697 + 9885 = 53*j. Let x be ((-168)/j)/((-2)/14). Which is bigger: 2/109 or x?
x
Let t = 2072989/34 - 60977. Which is greater: -1 or t?
-1
Let o(s) = -2*s**3 - 5*s**2 + 3*s - 2. Let t be o(-5). Let x = 482 + -819. Let n = -228 - x. Is n < t?
False
Let n(o) = o**2 - 6*o - 3. Let l be n(-6). Let j = 81 - l. Suppose 8*p - 5 = 3*a + j*p, -2*a + 2*p - 8 = 0. Is a greater than -16/5?
True
Let h(m) = 7*m**2 + 11*m - 34. Let v(a) = a**2 - 1. Let q(w) = h(w) - 6*v(w). Let d be q(-13). Suppose 3*l + 4*l - 42 = 0. Is d bigger than l?
False
Suppose -6*p = 970 + 128. Let t = -180 - p. Is t at most as big as 4?
True
Let g(s) = s - 71. Let r be g(9). Let f = -68 + r. Which is greater: -904/7 or f?
-904/7
Let p = 29 - 28.86. Let a = -5420/3 - -59666/33. Let c = -19/11 + a. Which is smaller: p or c?
c
Let p = 14681 - 102789/7. Which is smaller: -54/5 or p?
-54/5
Suppose g + g - 4*w = 8, 4*g = 5*w + 19. Let u be (-87)/9 - (-1)/g. Is u less than or equal to -9?
True
Let f = 7.05 - 7. Suppose g - 20 = -34. Is g > f?
False
Let m be (-5 + 161/(-21))/(20/1110). Which is smaller: m or -3522/5?
-3522/5
Let w = -1908710/56441 - 2/5131. Which is smaller: -33 or w?
w
Let z be 12/(-22) - (-7359)/847. Let t(v) = v**3 - 5*v**2 + v + 1. Let x be t(5). Let r = 2 + x. Which is greater: z or r?
z
Let u(h) = -h**2 + 4*h + 4. Let g be u(4). Suppose 2*b = -3*i - 7, -g*i + 0*i - b = 1. Is 3/167 greater than i?
False
Let i = -7794 - -7801. Which is greater: -42/13 or i?
i
Suppose 0 = -2*c - z + 11, 0*z + 15 = 3*c + 2*z. Let k(a) = a - 3. Let g be k(c). Suppose -3*x - 3 = -0*x - 4*d, g*d = 0. Which is greater: -1/78 or x?
-1/78
Let i(s) = -7*s**3 - s**2 + 3*s + 2. Let f be i(-2). Let l be (-24)/22 + 172454/3586. Which is smaller: f or l?
l
Let u = -32 - -51. Let d be (-2)/((47 - 53) + 1 + 7). Which is smaller: d or u?
d
Let d = 111 + -111.97. Let j = -0.21 - d. Let q = j - 0.66. Which is greater: q or -1/24?
q
Let h(v) = 2554*v - 11459. Let c be h(5). Are 1308 and c unequal?
True
Let l(k) = -2*k + 1. Let h be l(-5). Suppose -h*r = -2*r - 3474. Is r at least as big as 387?
False
Let b be 12/9*(-82857)/284. Is -1938/5 >= b?
True
Suppose -5*n - 2*n = -5*n. Let o be 182/((1800/(-155))/6). Let c = o + 94. Which is smaller: c or n?
c
Let x = 366 - 296.8. Let y = x + -66.2. Let p = -0.16 + 13.16. Is p less than y?
False
Let f(m) = 7*m**2 + 6*m - 3. Let r be f(2). Let t = r + -19. Does t = 15?
False
Let f be (-1)/8 - (-1 + 4233/(-136)). Let d = -100 - -135. Is d greater than f?
True
Suppose 69 = -q - 86. Let v be (-2 + q)*(3 - 1426/476). Let t = v - -3/34. Which is bigger: -0.2 or t?
-0.2
Let k = 198.3 - 4.3. Let d = 471 + -470.9. Is k at least as big as d?
True
Suppose -44*j - 1626 = -41*j - 2*m, 0 = j - 2*m + 542. Is j <= -542?
True
Let r = 47000 - 1363437/29. Is r > -15?
False
Suppose 234 + 70 = 8*z. Let h = z + -25. Let u = -14 + 29. Which is smaller: u or h?
h
Let w be ((-12)/(-22))/((-4623)/1474). Does w = -9/5?
False
Suppose -s - 14 = s + 3*o, -18 = -2*s + 5*o. Let f be s/(5/4)*30/12. Let c(q) = -19*q - 11. Let p be c(f). Is 28 bigger than p?
True
Let i = -0.0188 - -253.0188. Let m = i + -252.8. Is -3/31 smaller than m?
True
Let t = -7198 - -2611. Does t = -4588?
False
Suppose -5*x + 5*p - 48 = 17, 3*x - 4*p = -41. Suppose -7*o = -3*o - 4. Let t = -9 - o. Which is smaller: t or x?
x
Suppose 4*y - 61 = -69. Let i be 7*(5*(1 - 2) + y). Which is smaller: -50 or i?
-50
Let i = -7189 + 7220. Let f(r) = -r + 15. Let a be f(0). Let j be 25*(-2 - (-48)/a). Is i > j?
True
Let d = 146.2 + 185. Let w = d - 331. Is -72 greater than w?
False
Let i be -11*36/(-3762) + (-216)/3724. Which is smaller: i or -1?
-1
Let v be 24585/(-12) + (-975)/780. Which is bigger: 4 or v?
4
Let o = -42.177 + 42.4. Let v = 1.223 - o. Which is bigger: 46 or v?
46
Suppose n + 2700 = -5*c + 3*c, -2*c - 3*n - 2688 = 0. Is -1353 not equal to c?
False
Let u be (3 - 6)*-149*3/9. Let h be (-35 - -37)/(1/75). Do u and h have different values?
True
Suppose 2*y - 978 = -4*a, 3*a - 3*y - 750 = y. Are a and 249 non-equal?
True
Let p = 106 + -183. Let o = -1576 + 1498. Which is bigger: p or o?
p
Let d be ((-10)/(-2070))/(43/3). Let z = 607/17496348 - -11726013927/628707936916. Let n = d - z. Which is bigger: 0 or n?
0
Let r be ((-1368)/8)/((-174)/402). Let v = r + -395. Is 0 at least v?
False
Let m be (-90)/100 - 3/(-120)*-4. Let c = -54169/61 + 888. Is c bigger than m?
True
Let u = 0.0306 + -24.1306. Let j = 23.7 + u. Which is smaller: j or 19?
j
Let b = 448 - 445. Suppose -2*r + 62 = 5*z, 3*r = 4*z - 0*r - 45. Let f be z/32 + 43/(-8). Which is bigger: f or b?
b
Suppose -15*b + 3584 = -1156. Let s = b - 13. Is 304 less than or equal to s?
False
Let k be 4/28 + 25109*16/392. Which is smaller: k or 1019?
1019
Let c = 3550 + -3549.925. Do -6/17 and c have different values?
True
Let h = -12725 + 12724. Let u be 0 - (-3)/((-486)/10). Is h <= u?
True
Let t = -480.7 + 50.7. Is -0.03 <= t?
False
Let a(c) = 6*c**2 - 4*c - 2. Let i be a(4). Let g = -73 + i. Let w be ((-1)/g)/((-8)/40). Is -2/9 greater than or equal to w?
False
Let g be ((-1)/(-3))/((-50)/(-3)). Suppose 3*s + 1 = -1565*w + 1566*w, 0 = -3*s - 4*w - 11. Do g and s have different values?
True
Let q = 2788 + -298294/107. Are 1 and q nonequal?
True
Let c = -571 + 1051. Let q = c + -1454/3. Suppose 4*d - 3*y + 8*y = -36, 0 = -5*y - 20. Is d != q?
True
Suppose -2*d + 43 = 2*m + 61, -51 = 4*d - m. Let a be (-17)/36 - (-2)/8. Is a at least d?
True
Suppose 67 - 94 = -3*f. Let j = 31/2 - f. Suppose 5*i - 5*h - 5 = 0, -4*h = -i + h - 19. Which is smaller: j or i?
i
Let o(z) = 366*z + 4259. Let t be o(-27). Is t equal to -5623?
True
Let m = 1/10610 - 33041/12848710. Is 1 <= m?
False
Let j = 4576 + -4694. Which is smaller: -951/8 or j?
-951/8
Let s = 1.348 - 0.158. Let c = 2.19 - s. Which is bigger: c or -2/7?
c
Let x(v) = -v**3 - 6*v**2 - 8*v - 109. Let g be x(-7). Which is bigger: g or 224?
224
Let o be (-6 + 7 + -2)*29*-1. Let h(p) = 7*p**2 - 4. Let z(y) = 15*y**2 + y - 8. Let i(r) = 9*h(r) - 4*z(r). Let q be i(4). Does q = o?
False
Suppose -30 = -2*i - 0*i. Suppose 15 = -3*j + 5*t, i = -4*j + 4*t + t. Suppose -4*v = -3*a - 9 + 12, 5*v + 4*a - 35 = 0. Which is smaller: j or v?
j
Let a be (-32)/6*(-27)/36. Let y be -5*(2 - (-4)/a). Let h = -15 - -1. Which is smaller: y or h?
y
Let g(d) = -9*d - 36. Let k be g(-8). Suppose 3*p - 2*q = -p - k, -2*p + 5*q = 2. Let w be 6/90*3/p. Are 1 and w nonequal?
True
Suppose 2*w = -2*g - 66 - 14, 5*g - 115 = 4*w. Suppose -16*o - 15*o = -34*o - 99. Which is bigger: w or o?
o
Suppose -9*k - 144 = -13*k. Suppose 0 = -l + 2, 4*l = -0*m - 4*m - 144. Let x = m + k. Are -12 and x equal?
False
Let p(i) = 729*i + 9726. Let x be p(-7). Is 4623 greater than or equal to x?
True
Let a = 47.69 + -47. Let q = a - 0.69. Let p be (-6)/4*4/(-60)*2. Which is smaller: q or p?
q
Let r = -15119/60 + 252. Let d(b) = 5*b**2 + 33*b - 33. Let f be d(1). Suppose -4 = -15*a + 18*a - 4*q, -f = 5*a - 5*q. Are a and r equal?
False
Suppose 0 = 5*o + 10, 3*f = 7*o - 3*o + 5. Let w = -534 + 522. Let r be w/(-45)*50/20. Is r less than or equal to f?
False
Let g = 8459 - 8268. Which is bigger: 167 or g?
g
Let c = 0.1952 + 1.6048. Is -1/431 at least c?
False
Let d = 199 + -207. Let r be 16/(-576)*d/30. Which is greater: r or 0?
r
Let i(d) = -279*d - 1512. Let n be i(-12). Is 1836 bigger than n?
False
Let n be (6041/56)/((-4)/72). Which is smaller: -1943 or n?
-1943
Let u = -11177 + 11173. Which is bigger: u or 1/240?
1/240
Let f = -314 + 1459. Is f <= 1145?
True
Let h(i) be the third derivative of i**6/120 + 3*i**5/20 - i**4/6 - 17*i**3/3 + 76*i**2 - 2. Let a be h(-9). Are a and -13.5 unequal?
True
Let q be 18/27*-1*180/21 - -6. Let v = -6.3 - -6. Which is smaller: q or v?
v
Let a(r) be the second derivative of -r**3/6 + 7*r**2 - 21*r. Let t be a(10). Suppose 2*y + 0 + 2 = -4*v, -7 = -t*v - 5*y. Are -3 and v unequal?
True
Suppose 3*q + 3*x = 732, -5*x - 227 = -q + 47. Is 213 at most q?
True
Suppose 201*q = 200*q + 185. Let l = -186 + q. Which is bigger: l or -11/31?
-11/31
Let g = -58/223 + 12532/43039. Suppose -6 = 4*u - 10. Which is smaller: u or g?
g
Suppose -4*n + 4*j = 8*j + 228, -77 = n - 4*j. Which i