
Let x = 1 + -5. Let h = -2 - x. Let w be 4/(-6) - ((-135)/(-60))/((-135)/(-20)). Which is bigger: h or w?
h
Let s be (-1062)/6 + -5 - 5. Let l = 371/2 + s. Suppose 0 = 4*k + 2*m + 10, m = 4*m + 9. Is k at most l?
False
Let t be (800/(-1122))/5 + (-102)/(-561). Let w = -7 + 4. Let k = -3 - w. Which is smaller: k or t?
k
Let n = -20362 + 3456. Are n and -16907 equal?
False
Suppose 11 - 77 = 5*f + x, -20 = -5*x. Suppose -58 = 6*d + 2. Are f and d nonequal?
True
Let f(o) be the third derivative of o**6/60 - 9*o**5/20 - 7*o**4/24 + 9*o**3/2 + 36*o**2. Let y be f(14). Is y < 124?
False
Let c = -378 - -377.32. Let i = -7.3 + 8.28. Let k = i + c. Is 0.3 less than k?
False
Let d be 79/9 - ((-8)/(-3) - 3)/((-412)/13596). Let j = -6 - -8. Let c = j + -3. Which is greater: d or c?
c
Suppose 0 = 13*x - 2*x - 6754. Let g = x + -586. Let u = 80 + -51. Which is smaller: g or u?
g
Let i(x) = -864*x + 2341. Let q be i(8). Does q = -4571?
True
Suppose 2*o - f = 2, 4*o + 3*f + 1 - 25 = 0. Suppose i + o*k = 2*k - 110, 0 = 4*i + 5*k + 439. Let z = i - -114. Is 30/13 greater than or equal to z?
False
Let o(r) = -r**3 + r. Let q be o(1). Let j be (2/5)/(((-220)/(-660))/(5/9)). Are q and j equal?
False
Let m be 5336/(-1160) + (-34)/(-10) - 1672/(-10). Let u(x) = 19*x**2 - 2*x + 1. Let g be u(3). Is m greater than or equal to g?
True
Suppose -3*u + 286 + 250 = -2*z, 3*u = -3*z + 546. Let y = u + -1262/7. Let l = -3634613 + 39980767/11. Is l at least as big as y?
True
Let b = 82 - 47. Suppose 0 = 36*h - b*h - 106. Suppose 2*g + 0*g - h = 5*o, 2*o = 3*g - 159. Is g smaller than 54?
True
Let b = -1345 - -2332. Suppose -27 = -10*j - b. Which is smaller: -97 or j?
-97
Let g = 266 + 464. Let h = 791 - g. Does 5 = h?
False
Let h = 17351/21646 - 59/79. Is 1 at most h?
False
Let o = 130/53 + -573/212. Which is greater: o or -67/6?
o
Let t be (-74037)/(-36917) - (-1 + 3). Is t at least 1?
False
Let o = -5.54 - -336.54. Let s = -329 + o. Let v = -35/4 - -17/2. Which is smaller: v or s?
v
Let b = -1726662 + 32831227/19. Let a = b + -1298. Which is smaller: 0 or a?
a
Let x = 6.033 + 0.267. Let f = 34 - 27.6. Let i = f - x. Which is smaller: i or 3.8?
i
Suppose 5*c - 5*j - 3085 = 0, -6*c = -2*c + 2*j - 2468. Suppose c = -g - 4*d, -g + 3*g - 4*d = -1210. Which is smaller: g or -608?
g
Suppose 3*i + 4*t = 217, 0*i - 3*i + t + 242 = 0. Let u = i - 61. Suppose 8*b - 226 = -u. Do 27 and b have different values?
True
Suppose -111*y = -79*y - 4512. Which is smaller: -14/11 or y?
-14/11
Let r be ((-416)/24)/(-26)*-573. Do r and -395 have the same value?
False
Let s(l) = 2*l**2 + 52*l + 1. Let w be s(-26). Is 1/8101 at least w?
False
Let i = -52239 - -52240. Let k be -9*(-2 - (-1 + 18)). Which is smaller: k or i?
i
Let d = 1007/4 + -252. Let i = -20/127 - 6170/1143. Is i not equal to d?
True
Let x = 0.23 + -12.23. Let p = -66 + x. Which is smaller: -2 or p?
p
Let p = 48 - 44.2. Let y = -3.4 + p. Let s = 2.4 - y. Which is smaller: -11 or s?
-11
Let x = -9410994/19 - -495180. Which is greater: x or -134?
-134
Suppose 0 = -8*m + 15 + 17. Suppose 0 = 3*y + 5*x - 197, -m*y + 7*y - 194 = -2*x. Does y = 61?
False
Let k(f) = 579*f + 568. Let s be k(-1). Are s and 1132 non-equal?
True
Let f(a) = a**2 - 18*a + 20. Let j be f(17). Suppose 5*d - 221 = 2*r, -203 = j*d - 8*d - 4*r. Is d less than or equal to 44?
True
Let o be 180 + -186 + 32/6. Which is smaller: 15071 or o?
o
Let r = -77 + 96. Suppose r = -2*z + 5. Is z smaller than -6?
True
Let z(v) = -18*v**3 + 3*v. Let s be z(-2). Let o = s - 106. Which is smaller: 33 or o?
o
Let k be -15 + 16 + -14 + -2. Let s be (22/(-6) - -3) + (-520)/k. Let d(j) = 2*j**3 - 3*j**2 + 2*j. Let v be d(3). Is s at least v?
True
Let t = 473 - 778. Is t at most as big as -302?
True
Let c = 2 + -2. Let d be (1 - (-13)/(-3))*24/10. Let q be 1/2*d/34. Is q >= c?
False
Let m = -77788/2831 + -23/149. Is -27 at most as big as m?
False
Let u(q) = -433*q - 5646. Let o be u(-13). Which is greater: o or -84?
o
Let r be 1 - ((-2)/4 - 165/(-22)). Let n be (9 + -10)*3/(-1). Suppose n*h - 7 = -22. Which is greater: h or r?
h
Let z be 2/6*(-90)/(-12)*12. Let m be 3/15*z/18*-111. Is m bigger than -39?
True
Let q = -6961 + 6985. Which is bigger: -5/4 or q?
q
Let z(h) = 6 + 2 + 2*h**3 - 2*h + 12*h - 13*h**2 - 2. Let i be z(8). Let u be (3 + 2 + i/(-56))*2. Which is greater: u or 0?
u
Let d(c) = 2*c**2 + 24*c + 15. Let b be d(-12). Suppose -42*h + b = -37*h. Suppose h*r + 21 = 3. Which is smaller: r or -19/4?
r
Let w(t) = 2*t**3 - 24*t**2 - 4*t + 45. Let g be w(12). Which is greater: -99/32 or g?
g
Suppose 4*n + 192 = -4*z, n + 71 = -4*z - 115. Let o = z + 50. Suppose 0 = -3*c - o*b + 45, -2*b + 45 = 3*c - 4*b. Is 15 bigger than c?
False
Let g = 259852381991/11928 - 21785076. Let m = g - 1/1704. Let w(h) = h**2 + 26*h - 87. Let q be w(3). Which is bigger: q or m?
q
Suppose -5*n - 15 = -s, 3*s - 5*n - 73 = -4*n. Suppose b = -3*v + s, -5*v + 3*v + 22 = b. Which is greater: b or 24?
24
Let l = -56 + 56. Suppose -3*q + 10 = t - 2, l = -4*q + 3*t + 3. Suppose -8*z = -q*z - 45. Is z greater than 9?
False
Suppose -c + 413 = 5*r, 0 = 3*c + 136 - 130. Suppose -5*s + 89 + 331 = 0. Is r <= s?
True
Let q(j) = 4*j + 1. Let b be q(5). Let v = 25 - b. Suppose -2*r - 20 = 4*k, -v*r - r = 5*k + 70. Is r at most as big as -17?
True
Let f = 0.0174 - -0.3106. Let p = 290/3 - 96. Which is greater: p or f?
p
Suppose 1376*u = 1373*u + 3*r - 15, -5*r + 43 = u. Is u smaller than 219/88?
False
Suppose -137*h + 79*h - 580 = 0. Is h equal to 243?
False
Let d(k) = -1 - 2*k + 10 + 2. Let j be d(5). Suppose 4*u + 1 = -2*g - j, 3*u = 2*g + 16. Is u greater than -3?
True
Let l be (-2 - (-1 + 42)) + 3. Let o = 74 + l. Let z = -4 - o. Is -1 != z?
True
Let j = 105275 + -266872129/2535. Is -1 less than j?
True
Let r = -0.8915 - -0.1915. Let i = -34.9 - -35. Is i < r?
False
Let q = 1819927/111423 - 6/37141. Suppose 0 = -5*f + 2*w - 9 + 90, w = -2*f + 27. Is f less than q?
True
Let m be 54/(-297)*2*(-1)/(-72). Let u = m + -13/693. Is 4 equal to u?
False
Let k be (((-1)/2)/((-43)/(-602)))/(5/(-80)). Which is bigger: k or 110?
k
Suppose 4*i = 3*a + 1504, -6*i + 3*i - 15 = 0. Let k = a - -376. Is -132 smaller than k?
False
Let w be 330/4*1/155. Let f = -1/31 + w. Let a = -953 - -953. Which is greater: a or f?
f
Suppose 4*i - 16 = -0*i. Suppose 3*s - 283 = -s + 5*t, i*s = -t + 289. Let w(c) = c**3 + 8*c**2 - c - 7. Let r be w(-6). Is s greater than r?
True
Let x = 42.782 - -2.128. Let i = -0.075 - -0.985. Let r = x - i. Is 0 at most as big as r?
True
Suppose -5*b - 1486 = -3*q - 248, 0 = -8*q + b + 3363. Which is smaller: q or 423?
q
Let i = -542 + 796. Let u = 259 - i. Which is greater: u or 0.5?
u
Suppose 4*g - 8*g = -l - 337, -l + 258 = 3*g. Which is smaller: g or 29?
29
Suppose 3*l + 1331 = -5*m, -3*l = -2*m + 2*l - 520. Suppose -337*o - 2*g = -338*o - 266, -4*o = -3*g + 1064. Which is smaller: o or m?
o
Let p be ((-1143)/(-6))/((-5)/(-10)). Let l = p - 375. Is 1/18 at most l?
True
Let w be (-388)/776 - ((-4762)/4 - -1). Is 1189 equal to w?
True
Let v = -15878 - -340. Which is greater: v or -15537?
-15537
Suppose -162*o - 97 = -166*o - a, 2*o - 45 = 3*a. Let d be 14*o/784 + (-288)/182. Let c(j) = -j. Let s be c(0). Is d less than s?
True
Let u = -8268032 - -74533028/9. Let w = 13432 - u. Is 15 at most w?
True
Let d be (9/12)/(-13 + (-1183385)/(-91028)). Is 3250 less than or equal to d?
True
Suppose 40*u - 46*u = 4*o + 1558, 5*u - 4*o = -1269. Which is bigger: -256 or u?
-256
Let b = -96654/19 - -5087. Is -8/21 < b?
True
Let l = -108/11 - -659/66. Let g = 7.4 - 4.5. Which is smaller: l or g?
l
Let a(f) = 6*f**2 + 165*f + 235. Let m be a(-26). Are m and 15/506 equal?
False
Let u = 27507.1 - 27539. Which is bigger: u or 4?
4
Let z = 0.02 + 0.1. Suppose 0 = 15*c + 23*c - 266. Suppose -2*s - 1 = 5*i, -60*i + 62*i = -3*s - c. Which is bigger: i or z?
i
Let z be (-2 - 3) + (-30771)/(-6049). Is z >= 2/45?
True
Let n be (558592/108840 - (16 + -11)) + 2/(-15). Which is bigger: 1/10 or n?
1/10
Suppose 5*o + 88 = -6*o. Let k be (-2907)/36 + 2/o. Which is bigger: k or -83?
k
Let y(n) be the third derivative of -1/24*n**4 + 0*n - 1/120*n**6 - 13*n**2 + 2/3*n**3 + 0 + 1/6*n**5. Let c be y(10). Is -2 < c?
False
Let w be (-26)/(-24) - 1 - 