
False
Let b be (-291)/485 - (-2 - -1). Let l be (0 - 3) + 6/3. Are l and b equal?
False
Suppose -6*t = -8*t + 30. Let r(s) = 6*s - 108. Let v be r(t). Is -0.1 > v?
True
Let n(m) = -m**3 - 4*m**2 - 4*m - 4. Let f be n(-3). Let k(s) = 13*s**2 + 20*s + 57. Let u be k(-13). Let o = u - 1994. Which is greater: f or o?
o
Let l = 6595/46956 - 6/43. Is 0 <= l?
True
Let t be (-2 - 3)/(3/(-54)). Suppose -t = -18*r + 28*r. Do -20 and r have different values?
True
Let s(f) = f**3 - 27*f**2 - 27*f - 30. Let z be s(28). Let h be (-21 - -26) + 0/z. Do h and -6 have the same value?
False
Suppose 9*l = 6*l - 2*o + 6, -5*l + 8 = 4*o. Let x(v) = -2*v**2 + l*v**2 - 7*v**2 - 4 + 8*v**2 + 2*v. Let f be x(2). Which is smaller: 5 or f?
5
Let t = 0.1182 - 7.1182. Is t at least 0.07?
False
Suppose -388*j - 1190244 = -7*j. Is -3122 at least j?
True
Let w = -37 - -31. Let n be (w/(-12))/((-18)/(-1176)). Which is smaller: 33 or n?
n
Let c = 1.064 - -3.346. Let x = -4.3 + c. Let m = -297 - -296.9. Is x greater than m?
True
Let b = -1892 - -1901. Suppose -14*j + b*j = 11*j. Let y = -1/2145 - 12821/105105. Which is smaller: y or j?
y
Let k(t) be the third derivative of 23*t**4/24 - t**3/2 - 11*t**2. Let j be k(-2). Let h be (j/(-14))/((2/6)/(-1)). Which is bigger: -10 or h?
-10
Suppose -4*l = -12, 6 = -y + 574*l - 572*l. Is y not equal to -1/7778?
True
Let j(q) = -7*q**3 + 2*q**2 + q - 1. Let a be j(-3). Let u be (-16*(74/370 - 1002/(-40)))/(-2). Does u = a?
False
Let s be ((-2528)/77120)/(1/(-1574)). Let c = s - 258/5. Are c and 0.1 unequal?
True
Let o(l) = -2*l**3 + 66*l**2. Let v be o(33). Let c be 1 + -3*328/(-140). Let h = -8 + c. Is v at most as big as h?
True
Let k = 0.0641 - 433.0641. Let g = k + 433. Is g >= 0.243?
False
Let d(r) = 2*r**3 + 247*r**2 - 125*r - 10. Let f be d(-124). Which is smaller: f or 88?
88
Let n(q) be the third derivative of 2/3*q**3 + 0*q + 1/12*q**4 + 0 - 2*q**2. Let b be n(-3). Which is bigger: b or -3/4?
-3/4
Let t = 1381109/178 + -7759. Is t < -1?
False
Let b be (-1154)/28 - (9 + (-732)/84). Let i(m) = -m**2 + 11*m - 15. Let c be i(13). Is b not equal to c?
True
Let q = -14084 + 15014. Is 941 != q?
True
Let r = -24715/49422 - -2/24711. Which is greater: -219 or r?
r
Suppose -21*d + 9 = -22*d. Let u be ((-291)/d)/(5/(-90)). Let x be 764/u + 52/39. Which is greater: x or -1?
x
Suppose 0 = -8*m - 18 - 6. Let z be m - 977/(-6) - (-1)/6. Suppose 4*n + z = 6*n. Is n less than 79?
False
Let u(v) = -v**3 + 6*v**2 + 5*v + 17. Let a be u(7). Suppose 3*n = -c + 15 + 6, a*n - 4*c = 6. Let b be (-10)/(-75)*-9*(-10)/18. Which is bigger: n or b?
n
Let o = 1826 - 3329. Is o < -1503?
False
Suppose -5*d + 6*z + 0 = -14, -2*z - 10 = -3*d. Which is bigger: d or 0.314?
d
Suppose 3*z + 5 - 8 = 0. Let n be (-17 - -13) + 6*z. Let j be (-6)/(5 - n) + (-3)/(-2). Is -1/2 less than or equal to j?
True
Suppose 5*g + 7708 = -3*r, -3*g - 7736 = 3*r - 2*g. Is -12898/5 not equal to r?
True
Let d = 61.79 + -61.78. Let r = 476.9 - 453. Let n = -23 + r. Is n greater than d?
True
Let p(m) = 71*m + 103. Let c be p(5). Are 453 and c nonequal?
True
Suppose -59*f + 899 = -5119. Which is smaller: 605/6 or f?
605/6
Let g be (474*19/(-399))/(-49). Which is greater: -1 or g?
g
Let b be (-172)/180 - 48/1080. Is b <= -41/368?
True
Let g(r) = 112*r + 1451. Let a be g(-13). Which is smaller: -152/27 or a?
-152/27
Suppose 15*y + 72 = 6*y. Let w = 158 + -166. Is y greater than w?
False
Let i(l) be the second derivative of 11*l**3/2 - 199*l**2/2 + 30*l + 1. Let o be i(6). Is o greater than or equal to -2?
True
Let v(r) = 6*r**2 + 78*r + 350. Let g be v(-6). Which is greater: g or 177?
177
Let o(k) be the first derivative of 13*k**2/2 + 78*k + 16. Let p be o(-6). Is 10/27 > p?
True
Let y be 4/(-8) + (-6833)/(-9900). Let n = 17/100 - y. Let w = 33734 + -33733. Is w greater than or equal to n?
True
Let f(x) = 3*x**2 + 5*x + 4. Let p be (-3)/((-5 - -6) + 0 - 0). Let a be f(p). Which is greater: 17 or a?
17
Suppose 2*n + s - 2 = 0, -74*n - s = -70*n. Is -165/73 at most as big as n?
True
Let v be (-2)/7 - 1182/(-21). Let m be v/(-6) + 20/(-30). Let l = 256 + -267. Which is greater: m or l?
m
Let j = 86.083 + 2.917. Which is smaller: -17 or j?
-17
Suppose 0*d + 5*d = -1785. Let n(r) = r**2 - 920*r + 3663. Let z be n(4). Which is smaller: d or z?
d
Suppose 3*q + 46 = -302. Which is smaller: q or -929/8?
-929/8
Let d be ((-2568)/(-448)*-4)/(1/(-4)). Which is smaller: 92 or d?
d
Let z = 776 + -1047.4. Let j = z + 246. Let t = 25 + j. Which is greater: 7 or t?
7
Let d be (-6 - (-35)/10*5)/((-5)/470). Which is smaller: d or -1083?
-1083
Suppose 2*k + 3*k = 0. Let t(v) = 95*v + 669. Let q be t(-7). Suppose 2*n - 4*i - 20 = k, 2*n - i + 3*i + q = 0. Is n > 1?
True
Let w be (9 - 10 - -1) + (-268)/(-2) + 1. Which is smaller: w or 28?
28
Let a = 279/1102 - 7/38. Let x(p) = -p**3 + 12*p**2 - 10*p - 12. Let c be x(11). Is a less than or equal to c?
False
Suppose 316*f - 326*f = -120. Suppose 2*g - 19 = 7*g + 4*b, 2*b = -4*g - 14. Is g < f?
True
Let f = 374 + -373.824. Let c = f - 6.176. Which is smaller: 18 or c?
c
Let i be (-6)/20 - 35812/(-40). Suppose 0 = -6*n + 2*n + 3*s + 744, 5*n + 5*s = i. Is 183 less than n?
False
Let z = -185 + 132. Let n = z - -50. Let s = -6 + 13. Is s smaller than n?
False
Let m be (33/(-154))/(2082/8). Is m equal to 1?
False
Let p(d) = d**3 - 7*d**2 + 4*d + 13. Let v be p(5). Let l = v + 18. Let m = 20111/48 + -419. Which is bigger: m or l?
l
Let d = -31.192 + -0.218. Let s = 33 + d. Which is smaller: s or 0.1?
0.1
Let x be ((-6)/(-348))/(2/(-130849)). Let u = 1128 + x. Is 0 greater than u?
True
Suppose a - 11*m - 20 = -6*m, -5*a = -4*m - 100. Let c(z) = z**2 - z + 20. Let b be c(0). Is a smaller than b?
False
Let o = 49 - 49. Suppose -5*w + 3*u + 20 = o, 0*w + 5*u + 16 = 4*w. Suppose -w*a + 0*q + 4*q = -192, 0 = a - 3*q - 42. Is a >= 51?
True
Suppose 6 = -2*z - 4*z. Let y be (-3 - -3) + z*9 + 1. Let c(a) = a**2 + 5*a. Let p be c(y). Which is greater: p or 25?
25
Let n(o) = o**3 + 21*o**2 + 49*o - 19. Let h be n(-18). Let b = h - 70. Let w be (-4)/6*21/(-2). Is w less than b?
False
Let w be (198/(-10))/(30/10). Let r(s) = s**3 + 3*s**2 + 3*s + 1. Let d be r(-3). Is w greater than d?
True
Let l = 3 - 4. Suppose 101 = 5*i - 2544. Let k = i - 529. Which is smaller: k or l?
l
Let l = 69600 - 69920.93. Let p = l - -344.7. Let s = 0.23 + p. Which is smaller: -1 or s?
-1
Let z(l) = 27*l. Let u be z(32). Which is bigger: 4326/5 or u?
4326/5
Let c(w) = -9*w**2 - 17*w - 54. Let n = -233 - -227. Let k be c(n). Which is smaller: -275 or k?
k
Let n = -45 + 80. Suppose -6*g + 13*g = -n. Let l(b) = -b**3 - 2*b**2 + b - 2. Let k be l(-2). Is g at most as big as k?
True
Let k be (24/(-320))/(-3) - (-2)/10*-2. Which is smaller: k or -72/7?
-72/7
Let z be -6 - (((-237)/(-33) - 8) + -5). Let b = -19.4 + -6.6. Let w = b - -41. Is w smaller than z?
False
Let g(r) = 1. Let u(t) = -t**2 - 25*t - 104. Let s(i) = -2*g(i) + u(i). Let f be s(-7). Which is smaller: 14 or f?
14
Suppose -2*n - 1147 = 2*f - 723, -3*n = 5*f + 618. Is -222 bigger than n?
False
Let h = 172/405 - 2/81. Let c be (-5)/(10/4) - 35*-5. Is h greater than c?
False
Let a = -16520 + 48280/3. Let c = a + 437. Which is greater: c or 9?
c
Suppose 2*v - i + 7331 = -2*i, i = 3*v + 10984. Let o be 1/(-3*(-3)/v). Do -406 and o have different values?
True
Let g = 133 - 125.9. Let w = g - 8.1. Which is greater: w or 0.64?
0.64
Let u = -23.436 - -23.27. Let n = -0.034 + u. Let x = 2039/15 - 136. Is x >= n?
True
Let p be (2/(-15))/((-168)/(-2870)). Let m = p - -10/9. Let g = m + 5/3. Which is bigger: g or -0.03?
g
Suppose -4*t - 3*p - 3634 = 0, -781 - 1934 = 3*t + 4*p. Is t <= -910?
True
Let l = -95/288 - 1/288. Suppose -2*c + 18 = c. Suppose -7*w + c*w = -1. Which is bigger: l or w?
w
Let f = 2031.8 - 2038.8. Is 17/21 bigger than f?
True
Let u = -1.9445 - -15066.9445. Is u not equal to -2/3?
True
Suppose -i = 5*z - 42, 2*z - 7*i + 4*i = 10. Let f be 2/6 + 7/(-3). Let a be ((f/z)/((-2)/(-8)))/(-1). Are -3/37 and a nonequal?
True
Let w be ((-6)/38)/((-159)/(-424)). Let o = -2627181/608 - -82108/19. Let q = w + o. Which is bigger: -1 or q?
q
Let l = 0.704 - -337.296. Let a = l + -337.7. Is a at most as big as -0.062?
False
Suppose 184 = 20*u - 43*