e -467 and i non-equal?
True
Suppose 5*c - 5*l = 0, -3*c + 7*c + 5*l = 0. Let g be (67 - 69) + (c - -1 - 13). Let x be -17 + 1 + -1 + 2. Which is greater: g or x?
g
Let a = 354 - 109. Let h = -245.1 + a. Suppose -4*i - 16 = 0, 3*y - 172 = -4*i - 44. Is y not equal to h?
True
Let n = -33395 - -33392. Are 1703 and n unequal?
True
Let r = 472 + -472. Suppose 3*b = 2*d - 63, -4*d + r*d = -2*b - 146. Which is smaller: 38 or d?
38
Let k(d) = -4*d**2 - 45*d - 42. Let a be k(-1). Which is smaller: a or 36/73?
a
Suppose 3*m + 2*d = 3*d + 10, 12 = 3*m - 3*d. Suppose -117 = -m*a + 4*b, -b - 102 = -5*a + 110. Which is greater: 35 or a?
a
Suppose f = h + 296, 2*f = -h + 2*h + 293. Let k = 215 + h. Is -85 less than or equal to k?
True
Let r = 294 + -288. Let y(b) = -b**3 + 3*b**2 + 4*b + 24. Let f be y(r). Which is greater: f or -58?
-58
Suppose 19 - 25 = -3*d. Let z be -1 + (3 - 4) - d*44. Is z less than -92?
False
Let j = -0.0062 + -0.4938. Which is smaller: -36.9 or j?
-36.9
Let i = 36.1 - 36.329. Let p = -17.771 + i. Suppose -3*o = 3*q, o = -5*q + 2 - 6. Is q at most as big as p?
False
Let h(r) = -380*r - 1123. Let u be h(-3). Do 197/11 and u have different values?
True
Let o be -7 + 11 + 147/(-42). Which is bigger: 2.475 or o?
2.475
Let d = 1513996/597 - 2536. Which is bigger: d or -1?
d
Let z be (3468/85)/(6/(-1000)*-5). Is 1362 at least as big as z?
True
Let m = 842760 + -77582407/92. Let c = -527 - m. Is c less than 0?
False
Let a be ((-3)/(-2)*1)/(15/270). Let l be a/3 + 187/(-22). Suppose 4*w = 2*h - 5 + 1, -4*w - 4 = 0. Is h less than l?
True
Let c(g) = -2*g**2 - g - 9. Let w be c(-6). Let h be 5/(w/(-36)) + (-15)/(-25). Let r be h/(-5) - 8/80. Is 0 > r?
True
Let t = -858.917 + 1.917. Let j = t + 856. Is j not equal to -7/2?
True
Let f = 3516 + -3517. Is f bigger than -0.396?
False
Let j be -3*(-2)/24 + -1*(-120)/(-96). Is -6/13033 at least as big as j?
True
Let d = 73 + -73. Suppose -p - p = -d*p. Suppose -3*u - k - 4*k = -48, p = 3*k + 9. Do u and 41/2 have the same value?
False
Let j be ((-17138)/726)/(6/36). Are 0.1 and j unequal?
True
Let u = 83.9 + -84.1. Which is greater: u or 8?
8
Let v = 2896 + -98449/34. Let q = v - 77/136. Is q less than -3/5?
False
Let b = 180 + -180. Let n = 281683991/114130 + -278760/113. Let c = -1/202 - n. Is b equal to c?
False
Let u(s) be the second derivative of 19*s + 5/2*s**3 + 0 + 1/12*s**4 - 8*s**2. Let l be u(-16). Do l and -13 have different values?
True
Suppose -n + 6*n = -5*n. Let m be (-34)/(-3)*-1*(n - 6). Which is smaller: m or 67?
67
Let w = -2.08477 + -0.35523. Is w at most as big as -2/3?
True
Let h = -11977 + 12188. Is h greater than or equal to 222?
False
Suppose -11716 = 3475*f - 3479*f. Is 2928 < f?
True
Let d = 26547 - 26545. Let n be (1 - 0)/(2/30). Is n < d?
False
Let u be ((-21699)/(-15) - 6) + (-8)/(-20). Is 1441 > u?
False
Let l = 672 + -688.24. Let h = l + 16.1. Suppose -3*m + 4*i = 3, -7*m + 3*i = -3*m - 3. Which is smaller: m or h?
h
Let w = -347 + 1715. Let t be 17/(3927/w) + -6. Is 0 >= t?
True
Let p = -3947 - -327603/83. Let r = 9 + -17/2. Is p bigger than r?
False
Let n be (-9)/(-342)*(-4 - 1)/(10/(-12)). Is n at least -4/17?
True
Let k = -5010 - -4590. Is k at most -423?
False
Let f be (-4)/(4 + -3 + -3) - 0. Suppose 0 = -3*n - f*t + 2, 9*n + 5 = 10*n + 5*t. Which is smaller: n or 11/19?
n
Let p = -3405 + 3404. Does -1/20 = p?
False
Let t be (-117)/39 + 214/84 + (-10)/(-60). Which is bigger: 2.935 or t?
2.935
Suppose 0 = f - 4*q - 65, -407*f - 307 = -410*f - 2*q. Are f and 389/4 unequal?
True
Let t be -1*9/5 - (-65813)/39835. Are 0 and t nonequal?
True
Let b = -1488 + 876. Is b greater than -615?
True
Let k = 327 + -225. Let c = k - 102.86. Let b = -2.26 - c. Which is greater: b or 1/3?
1/3
Let d = -1.05733 + 0.05733. Is d >= 663?
False
Let y = 708 - 688. Let o be (y/14 - 1) + (-685)/455. Which is greater: o or -1?
-1
Let r(s) = s + 5. Let p be r(-5). Suppose p*v + 1 = 5*v + d, 0 = -2*v + 5*d + 22. Let u = 57398/27 - 2126. Are u and v equal?
False
Let o = 1627/39 + -112753/2613. Let x = -2838/1139 - o. Which is smaller: -2 or x?
-2
Let h be (-3 - -2)/((18860/(-8))/5). Which is bigger: 1 or h?
1
Let c be ((21/(-5))/((-5)/25))/1. Suppose 9*v = -c + 39. Is 12/11 > v?
False
Suppose -4*n - 72 = -0*n + 2*x, -5*n + 3*x - 79 = 0. Let h = -103 + 111. Let r = -25 + h. Is r greater than or equal to n?
True
Let s(c) = -c**2 + 13*c - 7. Let u be s(12). Suppose 0 = u*n + 3*h - 112, -2*n - 14*h + 41 = -9*h. Suppose 4*l - 23 = 3*l. Are l and n unequal?
False
Let n(a) = 5*a + 20. Let v be n(-8). Suppose 0 = -171*j + 343*j + 3440. Is j smaller than v?
False
Let j = 514 + -353. Let x = -160.9 + j. Which is smaller: x or -6?
-6
Let b = 19.41 - 19.5. Let q = 0.91 - b. Is 1 at most as big as q?
True
Suppose -n - 2*n + 9 = 0. Let y = -4 + n. Let j = 80990/747 - 976/9. Which is bigger: j or y?
j
Let c = 221 - 140. Suppose -456 = 3*v - c. Which is bigger: -126 or v?
v
Suppose 3*j + 6 - 81 = 0. Let i = -707 + 2829/4. Is j at most as big as i?
False
Let n = 3692 - 3692. Let l be (1030/156)/5 + 4/(-3). Do n and l have the same value?
False
Let d(h) = -h**3 + 17*h**2 + 24*h - 1. Let g be d(18). Let j = g - 104. Let z be 45/1269*1*j/15. Which is smaller: z or 0?
0
Suppose -5872 = 175*x - 180*x - r, -5*r + 1208 = x. Is 1183 <= x?
False
Suppose -3*c + 4*c + 127 = -2*x, 3*x + 2*c = -189. Let s = -7 + 11. Let l be x/25 - (2 - s). Is l greater than -1?
True
Let v = 5318/11 + 8911/22. Which is bigger: 888 or v?
v
Let t(z) = 158*z + 4100. Let o be t(-26). Which is smaller: 401 or o?
o
Let w = 9143.4 + -9143. Is w less than -2/551?
False
Let b(p) be the third derivative of p**5/60 - p**4/6 - 2*p**3/3 - 87*p**2 + 2*p. Let s be b(-1). Which is greater: s or 9/16?
s
Let s be (10/16)/((-17)/884*-65). Is s > -0.1372?
True
Let r be (-36)/180*2/5. Let t = 110 - 78.2. Let y = 32 - t. Which is greater: r or y?
y
Let d be (-8)/(112/(-7)) - (-230)/68. Let s = d + -1765/459. Which is smaller: -1 or s?
-1
Let v = 100 - 102. Let m be (v/1)/((-4556)/(-3418)). Let p = m + 25/17. Does -1 = p?
False
Suppose -7*j + 12*j - 7362 = 3*j. Which is smaller: j or -0.1?
-0.1
Let y = -1633 + 3071. Is 2/5 > y?
False
Let j(r) = -r - 7. Let u be j(5). Let w be 8/(-48) + 1138/u. Suppose 32*y + 459 = 27*y - 2*k, 603 = -5*y + 16*k. Is y != w?
False
Let w be -3 + (-3)/(-9) + 3. Let t = 37.44 + -0.44. Let g = t - 37. Which is smaller: g or w?
g
Suppose 0 = 2*b + 2*b. Let o = 10835/199071 - -1/2727. Is o less than or equal to b?
False
Let z(k) = -107*k**2 + 37*k - 65. Let p be z(2). Which is smaller: -413 or p?
p
Let p(v) = -3*v - 2. Let b be p(0). Let z be (b/(-6))/(-1) + (-12)/18. Is z at most 0?
True
Let f = -0.186 + 10.586. Let a = 0.99 - -10.41. Let x = f - a. Which is greater: x or 5?
5
Let i(o) = -o**2 - o + 6. Let a(r) = -r**3 - r**2 - 2*r + 12. Let n(l) = 2*a(l) - 5*i(l). Let g be n(3). Is g != -35?
True
Let d(s) = -43*s**2 + 8*s + 29. Let k be d(-5). Let c be k/(-121) + -6 - 3. Are c and -1 non-equal?
True
Let u = -7103/5094 - 147217991/1034082. Let a = u - -1006/7. Is a less than or equal to 0?
True
Suppose 0 = m + 4*m + 10. Suppose -4*j + 8 = -5*d, -3*j = 6*d - d + 29. Let c be (m - 171/(-15)) + d/10. Is -8 at most as big as c?
True
Let r be ((-1)/2)/(5/(-430)). Let q(z) = 452*z - 3119. Let c be q(7). Is r greater than or equal to c?
False
Let s be (-7 + 8 - 2)*(3 + -1 + -1). Are s and -1/4502 nonequal?
True
Let d = -555/339416 - -4/3857. Which is smaller: d or 0?
d
Let m = 7125159/329 + -21657. Which is bigger: m or 0?
m
Let o be (-6)/(-12 + 15) - (-176)/2. Let q = o - 96. Which is greater: 4/13 or q?
4/13
Let s(w) = -w**3 - 11*w**2 - 29*w - 5. Let x be s(-7). Suppose 4*q + 12 = 5*r, 15 = x*r + 3*r - 5*q. Which is smaller: -15/16 or r?
-15/16
Suppose -5*w + 15 = 5*d, -10 - 2 = -3*d. Let b(l) = l**3 - 44*l**2 - 44*l - 58. Let o be b(45). Let c be (-5)/(-740)*(o + 17). Do c and w have different values?
True
Let u be 4*-2*2/(-8). Let a be (0 - u)/((-1)/(-8)). Let h = 19 + a. Is h less than or equal to 3?
True
Let h = 61 - 308. Suppose -3968 - 12087 = 55*f + 10*f. Is h >= f?
True
Suppose 2*b = -5*c - 2, -1 = -c + 3*b + 19. Is c <= 111/32?
True
Let r be ((-1*2)/(-2))/((-5)/(-35)). Let h(o) = o**3 - 8*o**2 + 7*o + 12. Let d be h(r). Suppose 