Let x be (-2 - -1) + (-18)/(-15). Let i = -413 + 95. Let n = -18764/59 - i. Are n and x equal?
False
Suppose -4*n - 31 = -5*u, -13*u + 15*u = -n + 2. Suppose -u*l = o + 1, -4*l + 9 = -2*o - 3. Which is smaller: l or 8/15?
8/15
Let f be (2 + 92/10)/(741/(-8645)). Let s(z) = -9*z**2 - 3*z + 2. Let p be s(-4). Let h = f - p. Is h at least as big as 2?
False
Let h = 147 - 39. Let t be (-31)/62*(h - 0 - 1). Let p = 55 + t. Which is bigger: p or -3?
p
Let f(z) = -17*z**2 - 24*z + 89. Let y be f(4). Are y and -279 nonequal?
False
Suppose s - 14 = -4*b + 4, -3*s = 2*b - 14. Suppose -b = -d + 14. Is 18 equal to d?
True
Suppose -a + 28 - 9 = 0. Let z = -41 - -100. Let r = 59 - z. Is r greater than a?
False
Suppose 29*l - 4247 - 3496 = 0. Let k = l + -8279/31. Which is smaller: k or -1?
-1
Let l be -4*(-1)/4*1 - -2. Suppose 32 = -l*w - 5*w. Let s be (6/w + 1)*(0 - 2). Which is smaller: s or -9/4?
-9/4
Let k be -2 - -5 - (-336)/(-80). Let b(y) = -y**3 - 2*y**2 + 3*y - 1. Let d be b(2). Let i = -12 - d. Is k >= i?
False
Suppose -100*a = 3*a - 48 - 55. Is -2/197 at most as big as a?
True
Let n = -54/113 + 198047/415614. Is n less than or equal to 0?
True
Let p(h) = 5*h + 51. Let c be p(-8). Suppose -10*z + c*z = 0. Is -5/62 < z?
True
Let i = 5020 + -5044.03. Let x = 24 + i. Let d = 1.03 + x. Which is smaller: 15 or d?
d
Let m = -6.2 + 1.2. Let g = 5.38 + -4.5. Let q = g + -1.08. Which is bigger: m or q?
q
Let k(l) = l**3 + 19*l**2 + 18*l + 12. Let x(j) = -2*j**3 - 35*j**2 - 36*j - 25. Let h(r) = -7*k(r) - 4*x(r). Let o be h(-5). Which is greater: o or -20?
-20
Let d = 20 + -24. Let t(f) = -f**3 - 5*f**2 - 10*f - 7. Let b be t(d). Suppose -5*r = 5*n - 65, -n = -5*r + 27 + 50. Which is smaller: r or b?
r
Let b = 330.7 - 51.7. Let s = b + -278.92. Do s and -38 have the same value?
False
Let y = -1174 - -1116. Let d(n) = 50*n. Let z be d(-2). Let h = z - y. Is h greater than -42?
False
Let r(d) = d - 9. Let y be r(5). Let w be 0/(-1)*y/(-4). Let v be 9/51*(-2)/3. Is v at least as big as w?
False
Let d = 11977/1221 - 108/11. Let f(y) be the first derivative of -y**4/4 - 7*y**3/3 - 5*y**2/2 + 6*y + 2. Let n be f(-6). Is n smaller than d?
False
Suppose -13*s + 2708 = -4*i - 17*s, -3*s = -4*i - 2743. Which is greater: i or -685?
i
Let u = 1278 + -1208. Let q be 20/50 - (-716)/10. Which is smaller: u or q?
u
Let u = 6071 - 6070. Which is greater: -36 or u?
u
Suppose z - 2*z - g + 150 = 0, -2*z = 5*g - 288. Suppose 5*u - 280 = 23*q - 25*q, -5*q + 793 = -3*u. Is q not equal to z?
True
Let x be (672/18)/(-7)*(-21)/2. Let v be (-112)/(-72)*96/x. Is v at most 1?
False
Let d(n) = -3*n**2 + 31*n - 17. Let t(j) = -2*j**2 + 32*j - 16. Let p(y) = -5*d(y) + 6*t(y). Let g be p(-13). Is g < 2?
False
Let g = 123915 + -123913. Let m be (-230)/(-4) - (-2)/4. Which is bigger: g or m?
m
Let m(i) = 600*i + 452. Let u be m(-1). Which is bigger: -20 or u?
-20
Let a = -163 + 17. Is a at least as big as 0.5?
False
Suppose 7*g = 15*g - 144. Which is smaller: 216/13 or g?
216/13
Let u be ((-29)/(-3)*(-558)/(-6))/(0 + 1). Which is smaller: 900 or u?
u
Let h(g) = -g**3 + 3*g**2 + 6*g - 6. Let x be h(4). Suppose -a = -x*w - 8, a + 4*a - 3*w = 12. Let o = -7768.74 - -7769. Which is bigger: o or a?
o
Let h be (26 - 31)/(5*(-3)/36). Suppose -37 + 9 = -4*w. Suppose -g + w*g = -h. Is g greater than -7?
True
Let v = -0.284 + 0.3. Let t = 3877 - 3877.084. Let x = t - v. Which is smaller: 1.2 or x?
x
Let w = 526.486 - 526. Let q = -0.286 + w. Which is smaller: 2/7 or q?
q
Let m = -340333/10841 + 1157/37. Which is smaller: m or -1?
-1
Let p(v) = -v**3 + 65*v**2 - 5*v + 325. Let d be p(65). Are 1/2681 and d non-equal?
True
Let y = -34 - -44.2. Let j = y + -9.2. Is j at most 1/80?
False
Let q be 2/(-4) + (-3)/6. Let c(x) = 22*x**3 + 111*x**2 + 10*x + 27. Let b be c(-5). Is b at least as big as q?
True
Let g be -29*2*(-2)/(3 + -5). Let c = g - -60. Suppose 3*o + 5*z = 5, 0*o + 2 = 3*o + c*z. Which is bigger: 1/7 or o?
1/7
Let u be 222/(-42) - 2/(-7). Let r = 9 + 1. Suppose -13*w + 3*o - 76 = -8*w, w + 2*o = -r. Which is smaller: w or u?
w
Let n = 6471/4615 - 2/923. Let o = -0.43 + -5.67. Let p = 5.9 + o. Is n greater than p?
True
Suppose 0 = g + 5*n - 80, 2*n = 4*g - 165 - 155. Suppose 2*k + 172 = 3*s, 4*k - 13*s = -10*s - 332. Let j = k + g. Is j at most as big as 51?
True
Suppose 2*a + 3 = -1. Let c be a/(48/(-2063)) + -1. Let u = 85 - c. Which is smaller: u or -0.1?
-0.1
Let k = 10 + -32. Let y = -2.31 - 883.79. Let i = y + 886. Is k less than or equal to i?
True
Let r(b) = -33*b**2 - 32*b - 914. Let a be r(-14). Is -6933 less than or equal to a?
False
Let c be 591/(-6)*(27664/476 + (-4)/34). Is -5713 >= c?
True
Suppose 3*q - 39 - 208 = 4*m, 0 = q - 5. Let j = m - -62. Let i be (-1)/((-2)/(-552)*j). Is -68 bigger than i?
True
Let x(t) = -t**3 + 6*t**2 - 2*t + 7. Let d be x(6). Let u be (-1 - d)*(-9)/12 + 2. Are u and -1/25 non-equal?
True
Let t = -24935 + 24173. Which is bigger: t or -780?
t
Let m = -344547/882368 + -2/13787. Which is greater: m or 0?
0
Let y be -1 + -1 - -92 - (47 - 53). Is y > 77?
True
Let f = -1776/11 - -7203/44. Which is smaller: -80 or f?
-80
Suppose 4*a = 17 + 83. Suppose 2*s + a = s. Are -25 and s nonequal?
False
Let d = 137 + -128. Suppose 7*t - d = 26. Let b be (10/(-8))/t + (-1)/(-4). Is b > -5/7?
True
Let b(a) = -78*a - 5157. Let r be b(-66). Suppose -w - w - 24 = 0. Which is bigger: w or r?
r
Let o = -20 + 6. Let f = o + -13. Let k = -32 - f. Which is smaller: k or -0.02?
k
Let u be -567 + -6 + 2 + 16. Which is bigger: u or -554?
-554
Let p = 44 - 58. Let f be (1 - 7)/(0 + p/273). Let n = 93 - f. Is n != -25?
True
Let c = -0.10469 + -0.89531. Which is greater: -76.5 or c?
c
Let p be (-1)/(-4)*((-21)/9 - -1). Let u = 65 + -110. Let b = 72 + u. Is p < b?
True
Let s = -4963 + 5062. Is s not equal to 498/5?
True
Let d = -99 + 260. Let r = -142 + d. Which is greater: -0.1 or r?
r
Let d = -76 - -369. Let n = 291 - d. Is n >= -31/11?
True
Let c be (-35 + 95)*(-14)/(-10). Are -19 and c equal?
False
Suppose -3*i + 146 = -2*d, -69 = 5*d - 34. Which is smaller: i or 16?
16
Let j = -0.17 - -0.061. Let z = -0.209 - j. Which is smaller: 0.092 or z?
z
Let p(r) be the first derivative of -r**3/3 + 8*r**2 + r - 19. Let y be p(13). Suppose 6*x + 46 = y. Which is smaller: x or -1/92?
x
Let o = -57 - -29. Let q = o + 80. Let m be (-1)/15*13/(q/(-8)). Are m and 1 equal?
False
Let d = -28.774 + 29.1. Let c = d + 0.004. Which is smaller: c or -3/5?
-3/5
Suppose -39 = -y + h - 183, h + 416 = -3*y. Let a = 142 + y. Is a smaller than 13/18?
False
Let r be 2/(-6) + (-1)/(-3). Suppose -13*z - 7*z = 1540. Let q be (-6)/21 - 1/z*-48. Do r and q have the same value?
False
Let x be (2 - 68) + 8/2. Let u be -2 - x/20 - 3/6. Is u smaller than 0?
False
Let h be 26/5 + (2 - 4). Let i be (1/(10/4))/((-71)/(-710)). Suppose 0*u + 4*u = i*b - 20, 2*b - 12 = 4*u. Which is smaller: b or h?
h
Let n(s) be the second derivative of s**5/4 - s**4/3 - 7*s**3/6 + 21*s**2/2 + 62*s. Let x be n(2). Is 4/7 not equal to x?
True
Let g be 0/(-6) - (-1)/2. Let w(p) = p**3 + 5*p**2 + 5*p + 15. Let l be w(-2). Is l at most g?
False
Let a be 59*(2 - 3) - 5. Let u = -47 + a. Let p = u + 158. Which is greater: p or 46?
p
Let n be 6175/(-26) + 6/(-4). Let i = n - -210. Which is smaller: -27 or i?
i
Suppose 14*z + 70 = 6314. Let l = z + -432. Is l at least as big as 16?
False
Suppose 0*i - 12 = -6*i. Let s be i + (8/(-3))/2. Suppose 149*p - 154*p = -10. Which is greater: p or s?
p
Let r = -2674888/603 - -4436. Is 0 >= r?
False
Let q(d) = 14*d - 29*d + 10*d - 51. Let f be q(-10). Let u be (f/(-6))/(((-812)/(-8))/(-7)). Which is bigger: 0 or u?
0
Let v = 35905/12 - 2995. Which is smaller: 1/2 or v?
v
Let q = -2858831/5256980 + -463/8618. Let w = q + -418/61. Let k = -33/4 - w. Is k != -2?
True
Let u be (30/(-20))/(2/(-632)). Suppose -480*d + 18 = -u*d. Which is greater: -29/5 or d?
d
Let z(s) = 3*s + 5*s - 2*s - 169. Let r be z(35). Which is bigger: 38 or r?
r
Let i(x) = x**2 - x + 28. Let o be (-2)/6*(0 - 0). Let c be i(o). Let v be 7/(c/(-64)) - -2. Which is greater: -15 or v?
v
Let k(g) = 317*g**2 - 277*g + 837. Let a be k(3). Which is smaller: 2860 or a?
a
Suppose v - 36 = 4*v. Let h be (1 - v/(-2))*-4. Let z be (-125)/h + 6 - 31