*2 - 9*i + 62. Let n be x(-11). Is 194/5 at most as big as n?
True
Let x be (5 + 0 - (-18)/(-4))/(9/14202). Which is smaller: 0.3 or x?
0.3
Let f = -1447 + 485. Let n = -961.66 - f. Is -2 < n?
True
Let f(n) = n**3 - 45*n**2 - 49*n + 139. Let p(w) = 6*w - 248. Let a be p(49). Let l be f(a). Which is bigger: l or -1/210?
l
Let l(x) = x**3 + 15*x**2 - 8*x - 303. Let g be l(-18). Is g > -1131?
False
Let p = 676 + -538. Is 80 > p?
False
Suppose -46*k - 55*k = -14486 + 4992. Is k at least 92?
True
Let i = 9050 + -10650. Which is smaller: -4 or i?
i
Suppose -2*i - 40 = -4*d - 0*i, 0 = d + 4*i - 10. Let p be 32/10 - d/50. Suppose 3*k - 73 = -2*m - 2*m, -p*m = -5*k + 170. Do 31 and k have the same value?
True
Let q(t) be the third derivative of t**4/8 + 41*t**3/6 + 8*t**2 + t. Let g be q(-12). Which is greater: 1 or g?
g
Let h be ((-12)/(-20)*(-10)/(-33))/((-300)/(-275)). Is 600 <= h?
False
Let x be (-21)/(((-6)/9)/(-2)). Let w be (2 + -1)*76/19. Suppose -3*k - 181 = -2*b + 3*b, 258 = -w*k + 2*b. Which is smaller: k or x?
x
Let n(q) = -29*q**2 - 38*q + 61. Let c be n(2). Does c = -112?
False
Let u = -523/6 + 175/2. Let i be (-1078)/9 - 10/45. Is u bigger than i?
True
Suppose 5*x + 2006 = -2*r, -237 = 3*x + 3*r + 963. Are x and -400 unequal?
True
Let p be 336/(-5712) - 2/(-34). Let n be (1*-1)/1 + 33. Suppose p = 5*t + n + 183. Is -44 greater than or equal to t?
False
Let h = 151.2 + -151. Let w = h - 8.9. Which is greater: w or 1?
1
Let l be ((-36)/126)/(1/(-7)). Let f be (l*(-10)/160)/(75/(-36)). Which is smaller: 1 or f?
f
Suppose -8*s = -0*s - 24. Suppose 7*r - 4*z + 257 = 4*r, 0 = s*r + z + 247. Are -251/3 and r nonequal?
True
Let a be (-2)/(-55) - 17999/(-63140). Suppose 0 = -5*z + 5 - 0. Which is bigger: z or a?
z
Let l = -57/137 - 1053/4384. Which is greater: -1 or l?
l
Suppose -147 = 2*u - 5*u. Let p(f) = -32*f + 37. Let w be p(-4). Let o be (-100)/(-15)*w/22. Is u at most o?
True
Let p be ((-54)/120 + (-39)/(-52))/(42/(-5)). Is p at most 0.05?
True
Suppose 24*d - 2*y = 22*d + 122, 5*y - 199 = -3*d. Let g be 955/15 - 4/6. Is g > d?
False
Let p be 6 - -1*(-2 + 1). Let t(j) = j**2 - 4*j + 1. Let h be t(p). Let v = -14881 + 14884. Which is bigger: h or v?
h
Let n = -2676 - -2662.02. Does -0.2 = n?
False
Suppose -5*i + 1582 = t, 5*i + 1999*t - 1606 = 2001*t. Are 318 and i unequal?
False
Let k be ((-4)/6)/(8380/(-420)*31 + 3). Which is greater: k or -1?
k
Let h be (68/6)/(-17)*(-4 - -2971). Which is greater: h or -3957/2?
h
Let q = 37124 - 78554381/2116. Let s = q + -785045/6348. Which is smaller: s or -124?
-124
Let r be 22 - (-30)/(-20)*-1*2. Let b = 27 - r. Is 5 not equal to b?
True
Let s = 8195 - 8191.9. Is s at least 1/104?
True
Suppose -2*j = 5*q + 4360 - 1751, 1287 = -j + q. Are j and -1293 unequal?
True
Let j be (-3)/2*58/(-50). Let z be 3/(-6 + 24) + (-22)/(-300). Let y = j - z. Is y <= 2?
True
Let n = 9768 + -9384. Is 388 equal to n?
False
Let q = 52.98 - 53. Let b = -0.08 + q. Is b at most as big as -69?
False
Let n = -2582.707 + 2584. Let c = -0.293 + n. Do 4 and c have different values?
True
Suppose -3*l = -8 - 1, 5*a - 4 = -3*l. Let n be 394*a*71/142. Is -196 <= n?
False
Let x = -6005 + 6004.9. Is -2541 >= x?
False
Let a = 216706 + -1516933/7. Let x(s) be the third derivative of -s**4/24 + 5*s**3/6 - s**2. Let j be x(5). Do j and a have the same value?
False
Suppose -50*a = -36*a - 126. Suppose -2802 + 174 = -a*r. Which is bigger: r or 291?
r
Let n = -443.7 - -443.7. Which is smaller: n or 3.993?
n
Suppose -5*q = 83*m - 79*m - 42, -3*m + 2*q = 26. Let p be 3/(-12) - (-114)/(-40). Is p <= m?
True
Let d = 170 + -172. Let q(h) = 5*h**3 - h**2 - 3*h - 4. Let z be q(d). Which is greater: z or -41?
-41
Suppose -22*f + 23*f = 2. Suppose -f*z - 8 = 4*n, 3*z + 2*n + 4 = -0. Let c be (-13)/(910/(-30)) - 449/1015. Which is smaller: c or z?
c
Suppose -2*o - 3*h + 2*h + 98 = 0, -4*h = 5*o - 248. Suppose 0 = g + 3*g + o. Suppose -10*q + 6*q - 13 = 5*z, 4*q + 43 = 5*z. Are g and q equal?
False
Let z be (-21)/(-2) + 8 + -12 + (-36)/6. Let l be 1*4 - (2 + 0). Let w be l/((-2)/(-17)) - -2. Is w less than or equal to z?
False
Suppose 0 = -16*r - 31826 - 930 - 1516. Which is smaller: r or -2145?
-2145
Let q(n) = -n**2 - 13*n + 52. Let l be q(-16). Let r be -3 - (l + -2)*-7. Let z be 2*(-99)/(-18) - (0 - -3). Which is smaller: r or z?
z
Let u be (-672)/18 - (11 + 2). Is u <= -49?
True
Let r = -262 + 551. Which is smaller: r or 0?
0
Let k = 581.91903 + -0.01903. Let l = -582 + k. Is 85 != l?
True
Let s(f) = -f**3 - 12*f**2 + 172*f + 1911. Let t be s(-10). Which is smaller: -164/3 or t?
-164/3
Let n = 16 - 1999/125. Is n greater than or equal to 0?
True
Suppose p + 28860 = 31*p. Let i be (-5 - -3)/(-2) + p/(-13). Which is bigger: i or -74?
i
Let w(m) be the third derivative of -m**6/120 + m**5/20 + 7*m**4/24 - 5*m**3/3 - m**2. Suppose -110*g + 52 = -92*g - 20. Let z be w(g). Is -3.2 smaller than z?
True
Let o be 4/(-6)*87/(-2). Let m(d) = d**2 - 23*d + 152. Let n be m(14). Which is greater: n or o?
o
Let u(c) = 7*c - 17. Let i be u(3). Let t(r) = -r**3 + 3*r**2 - 12*r + 7. Let p be t(i). Which is bigger: -58 or p?
p
Let a = 293 - 325. Let d be (-6)/20*a/24. Let c = 23 + 0. Are c and d non-equal?
True
Suppose -10*c + 0*c + 60 = 0. Suppose c = -d + 5. Let m be -3 + 1 - d - 0/13. Which is bigger: m or 1/72?
1/72
Let l(t) be the second derivative of -2/3*t**3 - 1/2*t**2 - 16*t + 0. Let a be l(-1). Is a less than 6?
True
Let l = 400 - 2798/7. Let x = -30.038 + 0.038. Which is bigger: x or l?
l
Let r = 2/5537 - -66422/60907. Let t be (6/(-12))/(1/(-4)). Suppose t*b = -b. Which is greater: r or b?
r
Let h = -18203/4 + 4531. Suppose 4*i - 34 = -110. Are h and i unequal?
True
Let w = -443.27 + 443. Let j be 4 - (2 + 2) - 3. Is w != j?
True
Let r = -92579 - -1944947/21. Let k = r + -258/7. Does k = 2/3?
True
Let y = 4.5 + -5. Let w = 3236.08 - 3236. Which is smaller: y or w?
y
Let w = -36/14465 + -9137/2140820. Suppose -3*t + 0*t = 0. Which is greater: w or t?
t
Let a = 31413 + -4366409/139. Let j = -0.1 - 0. Which is bigger: a or j?
a
Let b be -32 + 1 + (4 - 1). Let z be 80/25*10/b*-1. Let k = 2 - 2.1. Which is smaller: k or z?
k
Let g = 700 - 685. Are 159/10 and g unequal?
True
Let s(a) = 13*a**2 + 34*a - 9. Let j be (-4)/((30/5)/6). Let n be s(j). Is 313/5 > n?
False
Suppose -19*z - 7*z - 61*z - 174 = 0. Which is greater: z or -5241?
z
Let m = -9573 - -57439/6. Let i be (-2 - -1)*(-1)/(-1). Is m not equal to i?
True
Let k be 0/(-1) + 124/(-644). Let m = k - -11/23. Which is smaller: -2 or m?
-2
Let f = 373 + -337. Let v = -101 + f. Let x = 0.18 + -0.08. Is x greater than or equal to v?
True
Let t be ((-248)/(-20))/((-4)/(-10)*1). Suppose -2*w - m + t = -2*m, m = 3. Let k be ((-24)/(-9))/(2/12). Is w at most as big as k?
False
Suppose -g + 2*a - 11 = 0, 0 = 5*g - 15*a + 13*a + 71. Let h be (26/6)/(37/(-111)). Which is greater: h or g?
h
Suppose 0 = -12*u + 3*u + 117. Suppose 20*q - u*q = 0. Which is smaller: q or -2/161?
-2/161
Suppose -2*f = -2*y + 153 - 1075, -5*y + 1327 = 3*f. Does 454 = f?
True
Let a(g) = 2*g**3 + 8*g**2 - 7*g - 8. Let u be a(-5). Suppose 3*p - 20 = -2*p. Suppose -5*s - p = -s. Which is greater: s or u?
s
Suppose -130*x + 20*x + 5713 - 53563 = 0. Which is smaller: -434 or x?
x
Let o = -811 - -796. Suppose 3*c + 92 = -p - 4*p, -3*p + 5*c = 62. Is p less than or equal to o?
True
Let w = 2 - 21. Let j(b) = 5 + 194 - 28*b - 105. Let q be j(4). Which is smaller: q or w?
w
Let n = 150968921/2175 - 69411. Is n at most as big as 0?
True
Let d(g) = -21*g - 943. Let r be d(-45). Are 48/95 and r nonequal?
True
Let p = -4 + 8. Suppose 4*c = -3*m - 30 - 5, 0 = -4*c - m - 41. Let q be c/(-4)*(-6)/60*-15. Is q at least as big as p?
True
Let g = -687/7 - -195/2. Suppose -8 = -5*w + h, -5*w + 0*h + 2 = h. Let j = -1 + w. Are g and j nonequal?
True
Let p(c) = -3*c**2 + 6*c - 1. Let u be p(3). Let h(y) = -2*y + 3*y + y**2 + 0 + 13 - 14*y. Let x be h(11). Is u equal to x?
False
Let q = -138/17 + 1778/85. Let k = -5 + 18. Does q = k?
False
Let y(b) be the second derivative of 3*b**5/20 + b**4/6 - 3*b**3/2 - 23*b**2/2 + 75*b. Let n be y(-2). Which is smaller: n or -22?
-22
Let t = -4814.9 - -4815. Which is smaller: -1260/11 or t?
-1260/11
Let i = -667/10 - -6083