et z be (45 + -43)/(2/(-3171)). Let o = -4504452688/89 + 50608657. Let q = z - o. Which is greater: 0 or q?
0
Let n(h) = -h**2 + 801*h + 7291. Let w be n(-9). Is -2/7745 bigger than w?
False
Let k be ((-8)/5)/((-10)/50). Let p(a) be the third derivative of -a**4/24 + 3*a**3/2 + 22*a**2. Let f be p(k). Which is greater: f or 3/14?
f
Let s = 0 + 3.6. Let d = -1973.6 + 1970. Let u = d + s. Which is smaller: 7/3 or u?
u
Let t(m) = -114*m - 24. Let g be t(-15). Let y be (g/75)/(8/40). Let h = 112 - y. Which is greater: h or 4?
4
Let o = 116.6 + -117. Let y = 0.15 + -0.05. Which is bigger: o or y?
y
Let y(c) = c**3 - 19*c**2 + 2*c - 40. Let t be y(19). Let f be t + (-4)/(-18) + (-4824)/(-162). Suppose 0 = 5*i - 42 - 98. Is f < i?
False
Let t be 2/43 - (-3696)/9288. Which is smaller: t or -0.07?
-0.07
Let p = 33 - 64. Let y = 29.949 + 0.051. Let i = p + y. Is 20 > i?
True
Let m be 81/12 + (-45)/60. Let g(y) be the second derivative of y**4/6 - 13*y**3/6 + 9*y**2/2 + 3*y. Let u be g(m). Is 3 less than or equal to u?
True
Let y = -2770.6 - -2771. Which is smaller: 0.054 or y?
0.054
Let z be ((-1)/3)/(25/50). Let r be (-13)/(-68) + (-39)/12 + 3. Is z != r?
True
Let u(o) = -o + 6. Let i(y) be the first derivative of y**2 - 13*y - 24. Let w(h) = -2*i(h) - 5*u(h). Let c be w(3). Is 2.1 equal to c?
False
Let f = 60063 + -540389/9. Let j = 26 - 7. Is f at least as big as j?
True
Let s = 270 - 147. Let p = s - 71.6. Is -0.1 > p?
False
Suppose 5*v + 22 = j, 4*j = 5*v - 7*v - 22. Which is bigger: 272 or j?
272
Let l = -912.2 - -912.2. Let t = 34.55 - 37. Let y = -0.15 + t. Which is smaller: l or y?
y
Suppose 3 - 1 = m. Let q = 1280/93 - -90/31. Let u = 39/2 - q. Is m at least as big as u?
False
Suppose -7*q + 2*a - 828 = -4*q, -4*q - 1104 = 2*a. Let n = 188 + q. Which is bigger: n or -87?
-87
Let n(y) = 6*y + 15. Let d be n(-2). Suppose -4*z - 2*l + 171 - 1 = 0, d*z = -l + 130. Suppose -6*w + 3*w - z = 0. Which is smaller: w or -16?
-16
Suppose 0 = -8*q - 1847 - 1577. Let o = -456 - q. Is o greater than -28?
False
Let s be (-82)/(-287) + 164352/(-266). Let l = s + 617. Is 0 at most l?
False
Let w be (-583 - -294)/((-2)/128). Which is bigger: -1 or w?
w
Let l = -20017 + 20026. Is 337/33 <= l?
False
Let v = -1625753/7992110 - -5/25781. Which is smaller: 0 or v?
v
Let t = 2.097 - -0.353. Let y = 2.38 - t. Which is smaller: y or 0.2?
y
Let m = -66 - -173. Let y = -73 + m. Is 17 equal to y?
False
Suppose -2*j - 3*g - 1 = -0*g, 5*j - g = -45. Let v be ((-17)/187)/(j/6). Are -1 and v non-equal?
True
Let j(w) = 9*w + 3. Let u be j(2). Suppose -p = -u + 15. Let a(i) = i**2 - 4*i + 6. Let n be a(4). Is n at most as big as p?
True
Let s = 253 + -295. Let c = -35 - s. Let p be 21/(-36) - 1/(-4). Which is smaller: c or p?
p
Let z = 6015 - -808. Is 6824 greater than or equal to z?
True
Let i = -1/5556 - -19507/46642620. Which is bigger: i or -1?
i
Let v = 356.91664 + -0.64664. Let n = -356 + v. Which is smaller: 2 or n?
n
Let o = 40 + -69. Let t = 30 + o. Let n be t/((0 - 1)*1). Which is smaller: n or -2/173?
n
Let r be 6 + (-25360)/638 + 6/(-87). Which is smaller: -33 or r?
r
Let i be (-1)/(14/5 + -3). Suppose 0 = -n + j - 17, 4*n + 33 = i*j - 35. Which is greater: -71/4 or n?
n
Let c = 10.88 + 0.12. Let n = -66441 + 66438. Do n and c have different values?
True
Let i = -4205 - -3876. Is -330 at most i?
True
Let c = -462 - -445. Which is smaller: -15 or c?
c
Let f(w) be the third derivative of w**5/30 - w**4/6 - w**3/6 + 7*w**2. Let u be f(4). Let x be u/((-90)/12)*7/10. Is -2 > x?
False
Suppose 5*m = -2*i - 37, 2*i + 4*m + 9 = -27. Let p be (-56)/i - (0 - -3). Let g = -742/13 + 57. Which is greater: g or p?
p
Let s be (-1)/23*(830 - 830). Let m = 804 - 17673/22. Which is greater: m or s?
m
Let u be (-2)/20*((11 - 11) + -2)*0. Are u and -2/23021 equal?
False
Let l be ((-28)/168)/(2*3/(-9)). Which is greater: l or 12.33?
12.33
Let d = 130/19 - -699/95. Let g = 899 + -885. Which is bigger: g or d?
d
Let x be (10/(-60))/((-5)/30). Let t be (-2013)/122 - (x + -9). Is t equal to 0.1?
False
Let q(x) = 2*x + 2. Let a(b) = -8*b - 263. Let z(w) = -a(w) - q(w). Let t be z(-26). Is 0.2 bigger than t?
False
Let a(i) = -i**2 - 18*i + 3. Let d be (1 - 7/3)*12. Let j be a(d). Let z = 36 - j. Which is smaller: z or -2/91?
-2/91
Let o = -23.8 + 21.8. Let m = 156/5 - 51958/1665. Is m smaller than o?
False
Suppose -11*q - 24 = -145. Let n be 1*-1 + 6 + -4. Let p = n - q. Which is smaller: -11 or p?
-11
Let d = 12953 - 10115. Is 2838 less than d?
False
Suppose -59 = 19*a + 12595. Let p = a - -682. Let o be 15 + 0 + (1 - 1). Which is greater: p or o?
p
Let x be 50*(8/(-16))/((-1)/4). Let v = 97 - x. Let l be (20/24)/((-2)/9). Is l greater than v?
False
Let x(m) = -m**2 - 3*m - 27. Let o be x(-9). Let l be (-1037 - -2)*(-27)/o. Is -347 greater than or equal to l?
False
Let u(g) = -3*g**2 + 136*g - 45. Let d be u(45). Is -4/19943 at most as big as d?
True
Suppose 15*y - 4497 = 10*y - 2*a, -5*y - 5*a = -4515. Which is smaller: 898 or y?
y
Let k = -164.01 + 201.01. Let v = -2.9 - 1.1. Which is greater: k or v?
k
Let y(d) = 849*d + 6423. Let m be y(-6). Is 1331 greater than or equal to m?
True
Let z(p) be the second derivative of 5*p**3/6 + 41*p**2/2 - 169*p + 2. Let o be z(-8). Are o and 2/601 unequal?
True
Let a = -11805 + 11801. Are a and 188/7 non-equal?
True
Suppose -3*u - 2*u = -4*o + 88, 2*u = 5*o - 93. Let f(v) = v**2 - 15*v - 40. Let m be f(o). Let c(p) = 4*p + 3. Let r be c(-2). Are m and r equal?
False
Suppose 0 = 4*a + 3*g - 74 - 158, 0 = 5*a - 3*g - 317. Suppose -x + 5*x - 368 = 0. Let v = 153 - x. Is a equal to v?
True
Let f(t) = 2*t**2 + 24*t - 28. Let p be f(-14). Suppose -p*b = -31*b - 3. Do b and -3 have the same value?
False
Let r(h) = h**3 - h**2 + h - 225. Let p be r(0). Let c = 13011 + -13237. Which is bigger: p or c?
p
Let o be (-3)/(64/40*-5) - (-9765)/8. Which is smaller: 1219 or o?
1219
Let q = -108 - -105. Let p be 3 + (5 - (11 - (0 - q))). Is p at least 2/141?
False
Suppose -847*s + 844*s = 4*l - 9, -5*l - 3 = -s. Which is smaller: l or -7/2741?
-7/2741
Suppose -74*w = -30*w. Is -160 equal to w?
False
Suppose 6*g - 2*g - 2*y = 2, 4*y + 4 = 3*g. Let u be -2 + (g - 0) - -2. Let z = 13833 + -13835. Do u and z have the same value?
False
Suppose -7*i + 6894 - 18512 = 30*i. Which is smaller: i or -315?
-315
Let c be (-3)/9*100/2355. Which is bigger: 1 or c?
1
Let w = -969/80 - -189/16. Which is bigger: -1 or w?
w
Let p(v) = 25*v**2 - 5*v - 16. Let m(z) = 13*z**2 - 2*z - 9. Let f(k) = -5*m(k) + 3*p(k). Let t be f(-2). Are 46 and t equal?
False
Let j be 9/(-1) - (-28 - -1012)/(-12). Suppose 2*a = -2*a - 4. Which is smaller: j or a?
a
Suppose -6 = 9*s - 114. Let a(p) = p**2 - 14*p - 17. Let h be a(s). Which is smaller: -43 or h?
-43
Let v(u) be the third derivative of 1/30*u**5 - 19*u**2 + 5/6*u**3 + 0 + 0*u - 7/8*u**4. Let k be v(9). Is -22 bigger than k?
False
Let r = -137.45 - 0.55. Let f = 195 + r. Let w = 57.1 - f. Which is smaller: w or 0?
0
Suppose 18*u + 152*u + 984 + 36 = 0. Do 3 and u have different values?
True
Let d = -11517 + 11517. Is -3/649 at most as big as d?
True
Let a be (3*(6 - 280/49))/(2/12). Is a smaller than 4?
False
Let i = 110561/9 - 12284. Let c be (-1)/(-1) - -1*2. Suppose -y - 5*k = -0*y - 15, -c*k + 9 = 5*y. Is i greater than y?
True
Let i = -0.935 - 17710.065. Is i <= -0.1?
True
Let x(v) = -v**3 + v**2 + 3*v - 9. Let y be x(0). Let n(h) = -12*h - 11*h**2 + 3*h**3 - 2*h**3 + 1 + 0. Let r be n(12). Which is greater: r or y?
r
Let a be 31/(-217) - (-22)/(-140). Is a at least -157?
True
Let c be (-8)/(-2) - (-138)/115*15/(-6). Which is smaller: -1/14715 or c?
-1/14715
Suppose 0 = 3*s - s - 4*y - 50, 5*s - 97 = 3*y. Let b(m) = -16*m**2 - 207*m - 160. Let h be b(-12). Is h less than or equal to s?
False
Suppose -13*n = 54 - 2. Let s be (863/n - 4)*4/(-3). Is s <= 293?
True
Suppose 0 = -23*z + 28*z + 60. Let w be (z/(-10))/((-14)/70). Let s be (-10)/22*w/(-15). Which is smaller: -1 or s?
-1
Let i = -346 + 3100/9. Let m be ((-4)/6)/((-8)/(-20)). Let c = m - i. Which is bigger: c or 1?
1
Let i(l) = 2*l**2 - 3*l + 3. Let y be i(3). Let f be (-20)/2775*8/((-512)/y). Which is smaller: 1 or f?
f
Let w(p) = 2*p + 4. Let y be w(-1). Suppose 2*r = 4*s + y - 14,