ual to 5/2443?
True
Suppose -4*r + 7 = -1. Suppose 14 = n + r*q, -2*n + 4*q + 2 = -2. Suppose 8*p + n = -8. Is p < 0?
True
Let f = -681/5 - -113747/835. Is f > -0.12?
True
Suppose -2773 = -164*s - 164*s + 375*s. Let b be (-1)/((-1)/(-4)*-1). Let j be 2/(-8) + (-239)/b. Which is smaller: s or j?
j
Let g = -3777 + 3821. Which is smaller: -0.003 or g?
-0.003
Let f(u) = -12*u + 294. Let t be f(26). Let h be 11/99*t/4. Let g = 19 + -36. Is h at least g?
True
Suppose -2*w = -l + 6, -5*w - 14 = 4*l - 51. Suppose 3*k - 3*c = -l*c - 21, 0 = 3*c - 9. Which is smaller: k or -11?
k
Let a = 7 - 5. Let w = -1 - a. Let c = -15686/109851 + -1/15693. Is w at most as big as c?
True
Let b be (-195)/39 + (44341/11085 - (12 + -13)). Which is smaller: b or 0?
0
Let v = -5409 + 5662. Which is bigger: 251 or v?
v
Suppose 297*s + 1145 = -206*s - 1370. Let o = -1.63 - -1.7. Which is smaller: s or o?
s
Let t = 35.08261 + -0.08261. Which is bigger: 100 or t?
100
Let i = -4322 - -4336. Is -10.2 smaller than i?
True
Let w(l) = 4*l - 75. Let h be w(20). Suppose -d + h = -i, 4*i + 14 = 3*d - 5. Which is smaller: -56 or d?
-56
Let r be 0 - -1 - 26/18. Suppose -4*h = -4*l + 12, -2*l + 15*h = 14*h - 1. Let q be ((-12)/6 - 0)/l. Which is greater: q or r?
q
Suppose -2*c - 1132 = 2*k, 2851 = -5*k + 3*c - c. Let l = k - -40969/72. Let u = 37/72 - l. Is u greater than 0.4?
True
Let m(j) = -j + 13. Let k(l) = l**2 - 8*l - 11. Let h be k(8). Let d be m(h). Is 119/5 equal to d?
False
Let v = -7596 - -7596. Which is smaller: v or 3/9860?
v
Suppose 0 = t + g - 380, -3*g - 19 = -22. Is 379 greater than t?
False
Let d be 4/(24/702) + -4. Suppose d - 890 = -7*h. Let k be (216/h - 2)/1. Which is bigger: k or 1?
1
Let j(b) = -b**3 + 16*b**2 - 17*b - 27. Let p be j(11). Is -8 at most p?
True
Let m(x) = 3*x - 9. Let v be m(4). Suppose -4*p - h - 20 = v*h, 5*h + 17 = 3*p. Let z be (1 - p - 2) + (-88)/11. Is z bigger than -8?
False
Suppose -708*f + 9 = -706*f - 3*l, -2*f + 2*l = -14. Let y be (15/(-6))/((-8)/38). Which is smaller: f or y?
y
Let b = -404.66 - -397. Let x = 10.66 + b. Which is bigger: 5 or x?
5
Let g = -20181 - -9062. Do g and -11119 have the same value?
True
Let a be (62/8)/(7/(-28)). Let m be a/(-19) + 0 + -1. Let n = 2507 + -2506. Is n equal to m?
False
Let a = 74 + -74.1. Let w = 21/10 + -17/10. Which is greater: a or w?
w
Let y(u) = -160*u**2 - 3*u + 3. Let q be y(1). Let a = q + 186. Is 25 > a?
False
Suppose -4*y - 3*g = 111, -7*g + 3*g = y + 31. Is y > -29?
True
Let p = -0.0659 - -0.0209. Which is bigger: -46 or p?
p
Let q = -3/589465 - -733648148/1768395. Let s = -415 + q. Which is bigger: -3 or s?
s
Suppose -4*b + 3 = 79. Let s = 35.9 - 36. Which is smaller: s or b?
b
Let h(w) = -24*w + 17*w**2 - 3*w**2 - 8511*w**3 + 18 + 8510*w**3. Let b be h(12). Which is smaller: 20 or b?
b
Suppose 0 = -54*k - 512298 - 20898. Is -9873 > k?
True
Let r(b) = -5*b**2 + 16*b - 17*b + 20*b + 4. Let w be r(4). Do -3/89 and w have different values?
True
Let d = -787/2397 + -4/799. Is -4/531 at most d?
False
Let q = -8192 + 8169. Is 0.36 at least q?
True
Let y(k) = 19*k**2 - 9. Let g be y(4). Let z = -3251/11 + g. Does z = 8?
False
Let g be ((184/(-54))/((-27)/(-81)) + -5)/3. Is g equal to -6?
False
Let o be ((-207)/84)/(44 + (-1730)/40). Let j(c) = -c**2 - 3*c - 3. Let p be j(-3). Is p at least o?
True
Suppose -m = -0*m - 2. Let f be 3 - (8 + 12/((-108)/63)). Is m at most f?
True
Let h(o) = 18*o - o**2 + 29229 - 2*o**2 - 29238. Suppose 63 - 22 = 5*a + 2*g, -3*a + 5*g + 6 = 0. Let u be h(a). Which is smaller: u or -27?
u
Let m = -32.35 + 32.71. Which is smaller: m or -0.3?
-0.3
Suppose -5*k + 4*m = -3*k + 6, 0 = -2*k - m + 4. Let i be (2 - k)/(-3*5/(-15)). Let s be (4/(-130))/(2/20). Which is smaller: i or s?
s
Suppose 0 = 218*f - 214*f + 1432. Are -367 and f nonequal?
True
Let z = 3.3 + -0.5. Let v = 3 - z. Let d = -4.15 + -2.85. Is v at most d?
False
Let q(z) = 96*z - 129. Let m be q(-4). Let g = m - -7693/15. Which is smaller: 1 or g?
g
Let v = 80 + -98. Is 39/2 greater than v?
True
Let h = -1417071/20753814802 - -1/693574. Which is bigger: h or 1?
1
Let q = -3245 + 3245. Which is greater: -2840 or q?
q
Let b = -7.87 + -0.53. Let v = b - 49.6. Let t = v - -59. Is -8 at most t?
True
Suppose -h - 334 = -3*x, -3*h + 672 = -5*h + 2*x. Are -339 and h non-equal?
True
Let y = -28043 + 27978. Let s(w) = w**3 + w**2 - 69. Let u be s(0). Which is greater: y or u?
y
Let h = -40 - -50. Let d(g) = 12*g - 39. Let f be d(h). Suppose 0 = r + 5*a - 67, 3*a = 2*r + 25 - 198. Which is smaller: r or f?
f
Let q = -1/2598 + 23635/657294. Let l = -10427/1518 + q. Which is smaller: -7 or l?
-7
Suppose 2231 - 557 = -2*g - 4*h, -10 = -5*h. Let s = -117739/140 - g. Is 1 at most as big as s?
False
Let t(i) be the second derivative of i**4/12 - 7*i**3/6 - 29*i**2/2 - 38*i - 2. Let d be t(9). Is d smaller than -20?
False
Let f(h) = -6*h**2 + 33*h - 10. Let u(z) = 4. Let m(i) = -5. Let s(c) = -5*m(c) - 6*u(c). Let r(y) = -f(y) - 6*s(y). Let n be r(6). Which is smaller: 21 or n?
21
Let n(u) = -25*u + 308. Let t be n(12). Let y be (t/6610)/(-2)*-5. Is -2 less than y?
True
Let q = 40002 + -40004. Which is smaller: -49 or q?
-49
Suppose 14*i - 71 - 27 = 0. Suppose -31 = 4*j - i. Is -7 at least as big as j?
False
Let y = 823 + -1313. Let m be 150/9*12/y. Is 0 > m?
True
Let o = -6652 + 6630. Let t = -1/309 + -32131/1545. Which is smaller: t or o?
o
Let j be ((-28)/3)/((-100)/60). Suppose -8*f - 28 = -12*f. Are f and j non-equal?
True
Let k = -3329.85 + 3330. Let w = 1/128 + -67/384. Is w at least k?
False
Let p = 0.1441 + 0.0559. Is p at least as big as 16?
False
Let w = -12001 - -12121. Which is greater: w or 1/4?
w
Let p(t) = -28 - 11*t - 19 - 11*t + 0*t**2 + t**2. Let d be p(24). Which is smaller: -1/38 or d?
-1/38
Suppose -y = -3*y - 5*b, y + 75 = -15*b. Is y equal to 91?
False
Let y = 0.044 + 0.056. Let s = -2040.6 - -2038. Which is bigger: y or s?
y
Let q = -451.5 + 452. Let l = 368/21 - 122/7. Which is greater: l or q?
q
Suppose -b = b - s + 60, 0 = b - s + 29. Let n be (-12)/(-48) - b/4. Let v be (-9 + n)/(1/(1/(-1))). Is 2/93 bigger than v?
False
Let p = 10 + -18. Let b(h) be the first derivative of 2*h**3/3 - 27*h**2/2 + 12*h + 291. Let w be b(13). Which is bigger: p or w?
w
Let l be -6 + (-75466)/40 + (-13)/(-52). Is l at least -1891?
False
Let p be 12/28 + 36/14. Let g(a) = 0*a**2 + 0*a**3 + 8*a - 6 - 3*a**2 + a**3 - 2*a**2. Let l be g(p). Are 4/13 and l non-equal?
True
Let l = -16287 - -16287. Is l smaller than 25/23?
True
Let r be 255/425 - 13/5 - (1 - 2). Which is bigger: -10/1361 or r?
-10/1361
Let k = 568 - 567.87. Let o = k + -0.15. Is o greater than or equal to 0.057?
False
Let j = 4427029/184 - 24060. Which is greater: j or -1?
j
Let l = 33.454 - 33.4. Let q = l + 19.946. Is q not equal to -0.8?
True
Let l be (330/168 + -2)/((-7)/(-574)). Which is bigger: 2/7 or l?
2/7
Let m be (6/4)/((-18)/48). Let k be (7 + -5)*(474/118 - 4). Are k and m nonequal?
True
Suppose 4*w = -227 + 247. Is w less than 1?
False
Let q be (-60)/45 + 508/(-6). Which is bigger: q or -84?
-84
Suppose 42 = -4*i + 54, -7*w - 2*i = 6378. Which is bigger: w or -914?
w
Suppose -306 = -195*h + 193*h. Let i = h + -163. Which is bigger: -2 or i?
-2
Suppose 0 = -2*g - 3*g - 5. Let s(q) be the second derivative of -q**4/12 - 17*q**3/6 - 13*q**2/2 + 4*q - 1. Let k be s(-16). Are g and k unequal?
True
Let j(z) = -4*z - 9. Let g be j(21). Let d = -43 - g. Let s be (0 - 6/15)/((-2)/d). Which is smaller: s or 9?
9
Let v = 4385/3 + -1448. Let j = -133/9 + v. Which is greater: 0 or j?
0
Suppose 2*h + 5*o = 134, -h + 2*h = -5*o + 62. Let p = h - 143/2. Suppose 14 = 2*z + 58. Is z at least as big as p?
False
Let i = -81.6 + 154.3. Let q = i + -6.7. Let m = q + -65. Which is smaller: m or -18?
-18
Let d = 33/25 - -1/75. Let g be 10 + -10 - 1*(-124)/(-2). Let w = g + 61. Is d bigger than w?
True
Let j be 2*9/(-12)*-2. Suppose -7*b - 989 = -1024. Suppose b*q - 2*c - 45 = 3*c, 0 = 2*q - 4*c - 24. Which is greater: q or j?
q
Suppose 16 = -4*m + 3*r, -10 = 2*m + 14*r - 15*r. Let q = 145 + -144. Is q greater than or equal to m?
True
Suppose 4*k + 12 = 0, 5*w - 2*k + 57 = -67. Let t(r) = r**3 + 10*r**2 - 5*r + 16*r**2 - 47*r**2 - 25 + 19*r**2. Let o be t(0). A