468). Is 10 equal to d?
False
Let n be (-41656)/820 + ((-2)/(-8) - 44/(-80)). Is n bigger than -0.056?
False
Suppose 8*f = 9*f. Suppose -3*l + 29 = c, 0 = -2*c + 3*l + 72 - 23. Let r = f - c. Is r less than or equal to -26?
True
Suppose 21049 = -3*l + 20767. Suppose -k - 5*c = -4*k - 270, -5*c - 15 = 0. Do l and k have the same value?
False
Let s be (-11)/(-18414)*3/4. Let k = s + -236597/11160. Which is smaller: k or -20?
k
Let w(o) = -344*o + 1720. Let b be w(5). Which is smaller: b or 2/12241?
b
Let a be 1/(-13) - 81/(-39). Is a equal to 69/25?
False
Let u = -5 - -8. Let o be (-10 + 22 - 4)*(10 - (-296)/(-32)). Are o and u equal?
False
Let b = -2.14 + 4.3. Let t = b - 0.16. Is t at most as big as 13?
True
Let p be 12/42 + (-120)/518. Let n = 424 + -300. Let f = -124 + n. Are p and f equal?
False
Let w = 27 + -14. Let i = 1.0157 + -1.0157. Which is greater: i or w?
w
Suppose -5*z = -10*z + 2*z - 8*z. Which is greater: z or -2/6969?
z
Suppose g = -g + 2. Let o(h) = h**3 - 9*h**2 + 447*h - 2125. Let l be o(5). Which is greater: g or l?
l
Let q = -2008.01 - -2008. Which is greater: -15/13 or q?
q
Let w = -0.5558 - 137.4442. Is w less than -0.8?
True
Let q be (-42)/(-12)*(-3152)/(-64)*2. Which is smaller: q or 346?
q
Let u = 438 + -281. Is u at most 161?
True
Suppose 2*b - 10 = 2*p, 2*p - p + 17 = 5*b. Suppose k + b = -2*k. Let j(d) = d + 1. Let i be j(k). Which is greater: i or 2/59?
2/59
Let d be -3 - (-4 - (-3 - 0)). Let u be 10367/(-8430) - 10/(-25). Let c = -1/281 + u. Is d smaller than c?
True
Suppose 0*j = -3*j - 15. Let w(b) = -110*b**2 + 5169*b + 44. Let t be w(47). Are j and t unequal?
True
Let l = 4 - 19. Let w = 8020.5 - 8021. Which is greater: l or w?
w
Let w = 20490 - 20463. Let h = 44 - 18. Is w greater than h?
True
Suppose 0 = 53*k - 58*k. Suppose k = -5*c, 5*j - 4*j = -3*c - 18. Is -141/8 bigger than j?
True
Let u = 616.65 - -46.35. Is u greater than -1/4?
True
Let j = 521.43 - -0.57. Let a = j - 521.9. Are a and 2/49 equal?
False
Let m(i) = -17*i + 4. Let s be m(1). Let g = s + 20. Let z be (6/3 - g)*44/70. Which is smaller: -4 or z?
-4
Suppose -328 = -4*t + 108. Suppose -2*a + 640 = 5*x + 100, -5*x + 540 = -2*a. Is x < t?
True
Let r = -167 - -170. Let o be 4/r - (-2704)/(-2024). Is 0 <= o?
False
Suppose -p + 2*o = -5*p - 18, 0 = 5*p - 5*o. Let v be -5 - p - (0 - 4). Suppose -4*g - 56 = 4*h, -3*h + 3*g - 5 = 7. Which is smaller: v or h?
h
Let g = -5876 - -5870. Do g and 310 have the same value?
False
Let q be 59421/82010 + 27/(-45). Let z be -2 - -1 - 3799/(-3422). Let j = z - q. Is j at least 0?
False
Let v be (-79 + 71)*1028/12 + 8 + -1. Is v > -677?
False
Let h = -10528 - -1284383/122. Is -1 less than h?
True
Let r = -46347395/1211 - -38272. Let i = r - 1411/408107. Which is greater: -1 or i?
i
Let x = -9877/9 + 75724/69. Suppose -2*n - n = 0. Which is greater: n or x?
x
Suppose 397 - 4335 = -11*g. Is 358 greater than g?
False
Let g(t) = t**3 + 19*t**2 + 18*t + 7. Suppose k - c - 18 = 2*k, 0 = c. Let u be g(k). Is u at least 1?
True
Let a be 9/(216/(-32))*(2 - 11). Suppose -17 = 3*u + 19. Let o be (-2)/u - (0 - (-2)/a). Which is bigger: o or -9/10?
o
Let d be (-1)/2 + 2/(-12). Let u = 0.157 + 30.843. Let g = 28 - u. Is g at least as big as d?
False
Suppose -66*k - 83980 + 239740 = 0. Is k > 2365?
False
Let b = 52961/2 - 373745781/14114. Do b and 0 have the same value?
False
Let b = 63375 - 63373. Suppose 3*l - 11 - 13 = 0. Let t be 2/l - 37/(-12). Which is greater: t or b?
t
Let q = -23707206/17119 + 23543/17. Is q not equal to 1?
True
Let b(s) = -s**3 + 10*s**2 + 10*s + 7. Let m be b(11). Let y be 36/3*(-7)/m. Suppose -y*h - 33 = -18*h. Is h bigger than -14?
True
Let t be (49/(-3))/((-1)/213). Which is smaller: t or 3480?
t
Let p = 49/6 + -955/114. Let h be (-1)/(-2)*(-8 - -10). Which is smaller: h or p?
p
Let f(t) = -30*t**2 + t + 7. Let k be f(2). Let o be (-114)/(-4)*74/k. Which is greater: o or -59/3?
o
Let s = 12374 + -10061. Which is bigger: s or 2?
s
Suppose -3*p - 161 = 5*d, 281 = 2*p - 7*p - 2*d. Is -71 greater than p?
False
Suppose 5*i + 78 = 4*i. Let b be 4/(24/330) - -2. Let v = i + b. Are -19 and v non-equal?
True
Let o be 9/(5 + -2) + (-3)/((-135)/(-78)). Let y = 6 + -4. Which is bigger: o or y?
y
Let c(h) = h - 21. Let n(w) = 93*w**2 - 3*w - 2. Let y be n(-1). Suppose 5*s + q = y, -4*s - s + 93 = 2*q. Let m be c(s). Is m greater than or equal to -2?
True
Let o = 8 + -7.9. Let c(b) = -4*b**2 - 12*b - 5. Let q be c(-7). Which is smaller: q or o?
q
Suppose 28 = 2*t - 4*t. Let o = t + 15. Let z be (-4)/(-1 + o/(-1)). Which is greater: 1 or z?
z
Let w(b) = -b**2 - 39*b - 186. Let a be w(-34). Let v = 3 - 3. Let q = 2 - v. Is a > q?
False
Let s(z) = z**2 + 11*z - 23. Let d be s(-13). Let w be 1 + d + -12*26/(-3). Suppose w = -10*m - 42. Which is bigger: m or -14?
-14
Suppose 0 = -6*a + 13*a - 147. Let l be 46/a*(-28)/(-16). Is l at most 3?
False
Suppose 2*z + l = 51, z + 11*l - 12*l - 24 = 0. Let b be z/2 - (-60)/(-120). Which is smaller: -19 or b?
-19
Suppose -13*l = -53*l - 35440. Let c = l - -7077/8. Which is greater: -2 or c?
c
Let r(z) = -z - 12. Let u be r(-4). Suppose 21*s - 50 = 16*s. Let n = s + -20. Which is bigger: n or u?
u
Let u be 13/(-26) + 30/(-12) + (-1478)/(-398). Is 0 less than u?
True
Suppose j = 58 + 66 - 125. Which is smaller: j or 1/619?
j
Let u be -4 + -5 - (-5 - -3). Let z(l) = -2*l**3 + 9*l**2 + 17*l + 1. Let y be z(u). Suppose 910 = 19*m - y. Is 101 smaller than m?
False
Suppose 711402 + 218200 = -336*t + 84898. Which is bigger: -2513 or t?
-2513
Let r = -61972/9 - -6877. Is -10 smaller than r?
True
Let j(q) be the third derivative of -11*q**4/12 + 28*q**3/3 + 19*q**2 + 4*q. Let h be j(3). Which is bigger: -5 or h?
-5
Let n = -0.6 - -0.5. Suppose 9*j - 8*j + 52 = 4*v, 5*v = -2*j - 65. Let c be (3/42)/(1/j). Is c less than or equal to n?
True
Suppose 1998 = -55*c + 346*c - 330. Do c and -19 have the same value?
False
Let w = 7005 - 5264. Is 1742 > w?
True
Let h = -0.0248 + 27.0248. Let k(m) = m**2 - 9. Let y be k(5). Let j be (-17)/8 - (-2)/y. Which is smaller: j or h?
j
Let z(c) = -10*c - 949. Let d be z(-84). Which is smaller: 20 or d?
d
Let n be 69 - (4 + 6)*4/10. Let x be (n - (-4 + 9))*(-1)/(-1). Is 60 at most as big as x?
True
Let c = 146172349/3843 + -38036. Is c greater than 0?
True
Let k = 0 - -3. Suppose k*b - 5 - 4 = 0. Suppose -3 = 3*m - 4*t, 3*m = b*t - 0*t - 3. Does -2/13 = m?
False
Let h be (-14 - (-15 - -3)) + (-59 - 1). Is h less than or equal to -3?
True
Let p be (3 - (-69)/(-21)) + (-1908)/(-14). Suppose -13 = -135*u + p*u. Let x(w) = -2*w + 12. Let c be x(7). Is c at most as big as u?
False
Let o = 8.4 - 8.36. Let m = -0.081 - -4.181. Let u = m - 3.3. Is o >= u?
False
Let z be 7 + (6 - (-55715)/(-33)). Is -1674 >= z?
True
Let z be -7*(-9)/(-45) - 4. Which is bigger: z or -5?
-5
Suppose 0 = -4*i + 6 - 22. Let r be (i/16)/(4/(-16)). Let d be 1*5/35*r. Is 5/2 greater than or equal to d?
True
Let l = 1.0506 - 2.1506. Which is smaller: l or 40.6?
l
Let f be (186/15)/((-23)/5). Let c be 140/84*(2/(-10))/(1/9). Which is smaller: f or c?
c
Let t(z) = z**3 + 38*z**2 - 73*z + 88. Let v be t(-40). Let o be 16/(v/(-12))*367*1. Is o at least as big as 366?
True
Let u = 861 - 227. Let p = 229 - u. Which is bigger: p or -404?
-404
Let x be 225363/(-39259) - (-4)/(-44). Which is smaller: x or -6?
-6
Let b(l) be the third derivative of 1/12*l**4 + 1/120*l**6 + 0*l + 16*l**2 + 23/6*l**3 - 7/30*l**5 + 0. Let w be b(14). Are 52 and w nonequal?
True
Let m be 3/6 + 41/(-2). Suppose -b = -2*j + 66, -5*j = -2*b - b - 200. Let n be (-34)/b + 4/m. Which is greater: 12 or n?
12
Let a = -2808 + 2815. Which is bigger: 0.2 or a?
a
Let l be 25/((-200)/(-48)) - (-17068)/(-7). Let p = l - -2444. Is 12 greater than p?
True
Let b = -21542/5 - -4307. Which is greater: b or -1?
-1
Suppose 4*g - 84 = 2*w, -g - w + 6 = -15. Let m be ((-18)/g)/(3/21). Let y be 8/m*759/(-44). Which is bigger: 24 or y?
24
Let a(c) be the third derivative of c**6/120 + c**4/24 + c**3/3 + 27*c**2. Let y be a(0). Let l be y + (1 + -2)*(5 - 2). Is l > 2/109?
False
Let u = 3.54 - -220.46. Let k = 344 - u. Is k <= 0.1?
False
Let o = -2961.6 + 2962. Are o and -76 nonequal?
True
Let b be (-10)/(-5) + 0 + 0. Let w be -4 + ((-8)/(-4