t d(v) be the third derivative of v**6/120 - v**5/60 + v**4/3 - 7*v**3/2 + 90*v**2. Let k be d(2). Does k = -1/285?
False
Let r = -555 + 893. Let l = r + -345. Is -4 != l?
True
Suppose 3*v + 6146 = -p, 4*v - 83 = 5*p - 8303. Which is smaller: v or -2049?
v
Let r = 11728 - 11912. Is r bigger than -198?
True
Let l(f) = 142*f**3 + 2*f**2 + f. Let x be l(-1). Let u be x/54 - 6/(-4). Let j(t) = -2*t**3 + 40*t**2 + 10*t - 201. Let h be j(20). Which is smaller: u or h?
u
Let i(p) = p**2 - 5. Let r be i(2). Is 2/55 smaller than r?
False
Let j = 279 + -270. Let l be j + -13 - (-67)/10. Do 4 and l have different values?
True
Let w be ((56*(-11)/(-792))/((-14)/(-24)))/((-70)/15). Let g be 88/(-3) + 4/(-6). Let d be 19/g + (-2)/(-6). Which is bigger: d or w?
w
Suppose -x + 8820 = 2*o, -1268*o + 5*x + 17584 = -1264*o. Is 4404 <= o?
True
Let m = 286 + -275. Suppose -44 = -11*a - m*a. Do a and -0.05 have the same value?
False
Let c be ((-1)/4 - -1)*(-720)/42390. Let t = c - -432/9263. Let s be 0/((1 - 0)*-1). Do s and t have different values?
True
Let y(g) = -625*g**2 + 242*g + 241. Let h be y(-1). Which is smaller: -625 or h?
h
Let j = -3889.9 + 3877. Which is greater: 0.07 or j?
0.07
Let h = -22.492 - -20.5513. Let y = h - 0.0593. Is y > 52?
False
Let t be (-5 + 6)/(-1)*6. Let n be -3 - (2 + 18/t). Which is smaller: 8 or n?
n
Let m(g) = -53*g + 9. Let t be m(6). Let i = t + 321. Are i and 54/5 non-equal?
True
Let h(l) = 39*l**2 + 679*l + 38. Let w be h(-17). Which is smaller: w or -213?
w
Let o = -24 - -39. Suppose -4*d = q - 20, -4*d - 5*q = d - 40. Let s be (224/21)/(d/6). Which is smaller: o or s?
o
Suppose -3*o + 135 = -0*o. Suppose -5*i - o = -14*i. Suppose -2*k + i = 3*a, 5*a - 3 = 2. Is -2/317 at least k?
False
Let u = 67 - 67.0347. Let g = 57.9653 - u. Is 0.4 != g?
True
Suppose 66*g - 62*g - 5 = 3*x, 3*x = 15. Let h be (82/5)/(2/g) + -4. Which is smaller: 27 or h?
27
Let k(c) = -43*c**2 + 46*c + 449. Let d be k(-9). Is d bigger than -3447?
False
Let u(x) = x - 6. Let k be u(3). Let h = 24558/3377 - -2/3377. Let z = 163/33 - h. Is k > z?
False
Let z = -999 - -1030. Is z less than -1/240?
False
Suppose 3*z - 297*r + 292*r = -509, -2*r - 350 = 2*z. Which is smaller: -7 or z?
z
Let x = -6098 + 6097.27. Are x and -11 unequal?
True
Let c = 6767442/45467 - 2828/19. Which is smaller: c or 1?
c
Suppose 3*t = -9*v + 13*v - 40, 16*v - 2*t - 40 = 0. Let j be ((-1)/2)/(93/(-30)). Which is bigger: j or v?
v
Let p = 157 - 354. Let q = -188 - p. Are 55/6 and q equal?
False
Suppose 4 = 78*v - 7*v + 4. Which is greater: v or -13862?
v
Suppose -2*z - 5*n = -32, -4*z - 24*n + 28 = -20*n. Is z < 1/5849?
False
Let o = 199 - 10946/55. Let l be (-1 + 0)*(10 - 10). Is l bigger than o?
True
Let h = 60 + -79. Let i = -55.94 - 0.06. Let n = i - -56.1. Which is greater: h or n?
n
Let b = -2.059 + 0.059. Let p = 16.8 + b. Let m = 16.3 - p. Which is smaller: -1 or m?
-1
Let z = -14312 - -15197.88. Let w = z + -939. Let n = 53 + w. Is 0 not equal to n?
True
Let w = -207367/579405 + 131/361. Are w and 1 nonequal?
True
Let l = 2766816/55 - 436128194/8745. Let o = l - 434. Is o at least as big as 0?
True
Let i be 12/78 - (-96)/52 - 1. Which is bigger: i or 5/3512?
i
Let n = -7880 - -7844. Which is smaller: n or 30?
n
Let s be (-2304)/832 + (-6)/26. Which is greater: s or -15/22?
-15/22
Suppose -7*x - 70 = -2*x. Let u = x + -15. Let j = 28 + u. Which is smaller: j or -3?
-3
Let m be (1/12*996/(-844857))/(0 - -1). Is m bigger than 0?
False
Let l = -78259376 - -47816489363/611. Let c = l + -225/13. Are -1 and c non-equal?
True
Let z = 233/4 + -4585/76. Let i be 2/(-9) + (-66981)/5130. Let m = i - z. Is -11 less than m?
False
Suppose 0 = 131*z - 138*z + 6902. Suppose -14*t = 3*t + z. Which is smaller: -60 or t?
-60
Suppose -5*n + 7 = -22*v + 18*v, 10 = 2*n - 4*v. Which is smaller: 150/59 or n?
n
Let z(v) = -v**3 + 7*v**2 + 9*v - 1. Let c(k) = -k**2 - 11*k - 10. Let t be c(-9). Let m be z(t). Suppose 3*b + 2*b - 3*q = 8, -2*b + 2*q = 0. Is b less than m?
True
Let b = -102 - -100.52. Let m = b + 0.48. Is m greater than or equal to 1/10?
False
Let b be (159/(-12) + 3)*-56. Which is smaller: b or 2873/5?
b
Let u = -0.072 - -0.065. Let c = 73.207 + u. Let q = c + -80. Is q >= -2/5?
False
Suppose 0 = 14*v - 10*v - 364. Suppose v = 2*t + 49. Suppose -t + 69 = -8*p. Is p at most as big as -40/7?
True
Let v = -3.8 + 3.762. Let n = 23.038 + v. Let h = n - 29. Which is smaller: h or -8?
-8
Let d(n) = -18*n**3 - n**2 - 148*n + 891. Let q be d(6). Is q at most -3920?
True
Let a = -387/5 + 56894/735. Let p = 0 + 1. Is p at least as big as a?
True
Let x(b) = -7*b**2 - 42*b + 4. Let z be x(-6). Let m be (-7140)/(-40) - 2/z. Does m = 177?
False
Suppose -2*n = -d - 60 - 30, -224 = -5*n + 3*d. Let c(l) = 7*l**2 + 455*l + 47. Let i be c(-65). Let j = n - i. Which is greater: j or -2?
j
Let n(o) = o**3 + 6*o**2 + 16*o + 83. Let d be n(-5). Suppose 2*m = 88 - 30. Is m != d?
True
Let s be (-13)/(-39) + (1322/(-564) - -2). Let g(b) = b**2 - 4*b + 4. Let l be g(3). Is s at most l?
True
Suppose -2*y - 4*j - 10 = 0, 2*y + 7 = j - 28. Let t(r) = -11*r**2 + 43*r + 3. Let h be t(10). Let d = 654 + h. Which is smaller: d or y?
y
Let x = 200 + -210. Let q be 364/(-12) - (14 + x). Which is smaller: -35 or q?
-35
Let k = 715/2 - 348. Let f = 9 - k. Which is smaller: 82 or f?
f
Let i(m) = 3*m - 103. Let s(d) = -d**3 + 6*d**2 - 3*d + 8. Let t be s(5). Let h be i(t). Which is greater: h or -48?
-48
Let d(m) = -14*m + 8. Let r be d(2). Let s be ((-12)/r)/(3/2)*-15. Let o be s/(-14) - 2/4. Which is bigger: o or 0?
0
Let o be (120/84)/((-400)/(-275)). Do o and 1 have the same value?
False
Let r be (656988/821085)/(-4) + 6/((-810)/(-27)). Which is bigger: r or -1?
r
Suppose 5*x - 4 + 149 = -4*b, -5*x = -3*b - 100. Let p = -94 - -660/7. Do p and b have different values?
True
Let i = 830 - 829. Is 1/876 >= i?
False
Let s = 220 + -163. Let u = 59 - s. Which is greater: u or 2.1?
2.1
Suppose -2*n - 3*n = 3*y + 9711, 1959 = -n + 5*y. Let a = n - -7825/4. Let g = a - 295/12. Which is greater: -12 or g?
-12
Let l = -10 - -7. Let u(q) = -2*q**2 - 23*q + 15. Let r be u(-12). Suppose 3*t + 6 = -9, 3*t + r = 3*o. Which is bigger: l or o?
l
Let u = -7988 + 24346/3. Which is bigger: 128 or u?
128
Let q(s) = -s**3 - 10*s**2 - 9*s + 3. Let r be q(-9). Let m(c) = 3*c**2 + c - 3. Let b be m(r). Are b and 51/2 non-equal?
True
Let n be 0 - 4 - (6 - (-36)/(-3)). Suppose -5*p + 4*i - 100 = 0, -2*p - 40 = -n*i - i. Let u be 8/p + 186/15. Is 7 < u?
True
Let n(j) = 2*j**2 + 16*j - 139. Let k be n(-21). Does k = 406?
False
Let l(c) = -36*c - 5. Let b be l(-1). Let g be 3 - (2 - -1 - b). Let p = g - 30. Which is smaller: 12/13 or p?
12/13
Let q = 4.66 + 23.54. Let k = 28.2 - q. Is k <= 2/103?
True
Let h = 3.974 - 2.974. Is h smaller than -3369?
False
Let h = 7821.2 + -7821. Is h less than -2/441?
False
Suppose 5*r = 6*a - a + 25, 5*r - 2*a = 19. Let p(g) = 9*g - 2. Let z(w) = -4*w + 1. Let x(h) = r*p(h) + 5*z(h). Let o be x(-1). Which is smaller: o or -26/3?
-26/3
Let q(g) = -2937*g - 30. Let w be q(-1). Is w at least 2908?
False
Let p = -13193 + 13206. Let o(k) = -k**3 + 5*k**2 + 8*k - 8. Let s be o(6). Suppose s*j - 2*y - 3*y - 38 = 0, 2*j = -3*y + 30. Are j and p unequal?
True
Suppose 4*r = 5*b - 206 - 446, 4*b = -5*r - 856. Let v = -1727 - -1130. Let n be 3/24 - v/r. Is -2 < n?
False
Let o be (-8 - (-30)/(-10))*(-4)/((-16)/2188). Is o less than -6017?
False
Let n = -33 - -24. Let d be 3/n*6/1. Let g(o) = -o**3 + 4*o**2 - o - 1. Let j be g(3). Does d = j?
False
Let g be ((-34)/(-51))/((-257)/(-3)). Let q(c) = -c**2 - 18*c - 80. Let w be q(-9). Which is smaller: w or g?
g
Let o = -14833/2 + 29667/4. Let s = -61.2 - -1.2. Which is greater: o or s?
o
Let i = 1.57541 - 0.17541. Let o be 1*-1 + 10/14. Which is bigger: o or i?
i
Let v be 2954 + -4 + 0/3. Suppose 0 = -m + 5, -5*m + v + 5827 = 4*g. Let i be 1/(-7) + (-4 - g/(-518)). Which is bigger: i or 1?
1
Suppose -10 = -p + 4*c, -4*c - 5 = -9. Suppose 0 = p*y - 11*y - 42. Let r be 14/(-22) - (-7)/y. Which is smaller: -2/5 or r?
-2/5
Let t(o) = -o**3 - 14*o**2 - 10*o + 16. Let y be t(-13). Let n be y/(-9) + (-6)/2. Let c = -75 + 75. Is c equal to n?
False
Let j = 32905 + -32906. Is j smaller than -2