77. Let z be a(4). Is (273 - (-4 + 7))*12/z a multiple of 54?
True
Suppose -4*f - 12 = -0*s - s, 5*f = -3*s - 15. Suppose -8*w + 6*w + 30 = s. Let h(c) = -2*c**2 + 36*c - 10. Is 10 a factor of h(w)?
True
Suppose 497267 + 130845 = 107*u - 1218922. Does 14 divide u?
True
Let j be (2/6*2)/((-126)/189). Let p(q) = -131*q**2 - 4*q - 5. Let s be p(j). Let w = s + 252. Is w a multiple of 10?
True
Let g = 2338 + -1178. Is 40 a factor of g?
True
Let x(q) = -4*q - 10. Let d be x(-5). Let a be 102/d - (-1)/(-5). Is 10 a factor of 5*-3*(-11)/(33/a)?
True
Suppose 0 = 46*w - 181796 - 187170. Is 49 a factor of w?
False
Let f be (-3)/(1*12/(-4)) + -1. Suppose 9*t - 3*t - 2556 = f. Does 7 divide t?
False
Let w = -103 + 207. Suppose 4*s - 252 = 3*g, 12 = 2*s + g - w. Suppose -2*k + s = k. Is k a multiple of 5?
True
Is 46 a factor of 8*((-3682)/(-8) - (-7)/(-28))?
True
Let c = -75325 - -108191. Is c a multiple of 66?
False
Let y be (0 - (-90)/12)*2. Suppose 2 = 2*w - 4. Suppose w*l - 153 = -0*d + 3*d, -3*d = y. Is 10 a factor of l?
False
Let i(p) be the third derivative of -19*p**4/12 - 47*p**3/2 - 2*p**2 - p. Is i(-7) a multiple of 9?
False
Let v = 22 - 26. Let w be -2*((-90)/(-40))/((-6)/v). Is (w + 0)*2/4*-6 a multiple of 2?
False
Let g(z) = z**3 + 3*z**2 - 2*z - 2. Let l be g(-3). Suppose l*p - 375 = -5*o, -48 = -o + 2*p + 27. Let u = -36 + o. Is 39 a factor of u?
True
Let d(z) = 2*z**2 + 4*z + 14. Let s(o) = o**3 + 8*o**2 + 9*o + 8. Let q be s(-7). Let h be d(q). Let n = h + -37. Is 3 a factor of n?
False
Suppose 2*h - 5198 = -2*q, 0 = h + 4*q - 1164 - 1444. Is 2 a factor of h?
True
Let u = 1927 - -64. Does 11 divide u?
True
Let z(m) = -m**3 + 23*m**2 - 75*m - 67. Is 7 a factor of z(17)?
True
Let y = 12547 - 10801. Is 9 a factor of y?
True
Does 5 divide -2 + 9 + -10 + 441?
False
Let g = 139 - 134. Suppose -5*u + 358 = -2*q, -93 - 271 = -g*u - 4*q. Does 72 divide u?
True
Suppose -2*i = -10*o + 11*o - 15, 0 = -4*i + 5*o - 5. Suppose 5*b + 5*w - 130 = 0, -i*b + 2*w = 41 - 171. Is b a multiple of 7?
False
Is 42 a factor of ((-29280)/(-560))/(6/266)?
False
Let m(t) = -2*t**2 - 37*t + 28. Let l be m(-19). Let g(s) = 48*s - 30 + 17 + l. Is g(2) a multiple of 23?
True
Suppose -372 = 2*s - 1378. Let p = s + -395. Is p a multiple of 9?
True
Let s = -18522 - -46105. Does 58 divide s?
False
Let j = 44 + -13. Let d = 36 - j. Suppose -d*g - t + 457 = 0, 5*t = -g + 2*t + 97. Is g a multiple of 29?
False
Let y(d) = 41*d**3 + d**2 - 3*d + 3. Let t(z) = 7*z + 57. Let c be t(-8). Is 6 a factor of y(c)?
True
Let v(t) = -3*t + 77. Let y be v(25). Is 6 a factor of 5/(-10)*-384 - 1*y?
False
Suppose 2994 - 24162 = -7*o. Is 14 a factor of o?
True
Let g = 125 + -45. Suppose 3*v + 98 = g. Is 23 a factor of 51*(-138)/(-63) - v/21?
False
Suppose 28*b - 14*b = 812. Suppose 49*m = b*m - 1440. Is 16 a factor of m?
True
Suppose -3*h + 8 = -88. Suppose -7*p - h = -9*p. Is p/2 - 5 - -270 a multiple of 39?
True
Suppose -18310 = 2740*a - 2750*a. Is a a multiple of 167?
False
Let o = -48 + 67. Suppose -15*a = -2951 - o. Does 22 divide a?
True
Suppose -3*t - 1188 = 4*d, 5*d = t - 2*t - 1496. Let x = -191 - d. Let m = x - 32. Is 13 a factor of m?
False
Let j(i) = 63*i - 3. Let f be j(1). Let q be (-46)/(-10) - 36/f. Is 19 a factor of 0 + (291 + -3)/q?
False
Suppose -2*u - 48441 = -4*m + 3175, 0 = -4*u + 24. Is 35 a factor of m?
False
Is (-73938)/(-15) + (-11)/5 a multiple of 13?
True
Suppose -15 = 5*y, 0 = -5*d + 4*d + y + 5. Suppose -d*l = -m + 646, 3*m + 5*l - 1319 = m. Does 29 divide m?
False
Let t(w) be the first derivative of 22/3*w**3 + 4*w + 1/2*w**2 + 11. Does 9 divide t(-2)?
True
Does 71 divide 71/((441/(-7392))/(-21))?
True
Is 9 a factor of (-20)/(-150) - (-422512)/60?
False
Let z = 1705 - 389. Suppose z = 8*p - 1012. Is 40 a factor of p?
False
Let z(b) = 12*b**3 + 168*b**2 - 23*b + 56. Does 2 divide z(-14)?
True
Does 3 divide -7*((-3080)/(-49))/(-6 - -4)?
False
Let w(f) = 34*f + 8*f**2 - 12*f + 2 + 2*f**3 - 16*f. Let r be w(-3). Suppose 0 = 5*i - r*q - 92 - 72, 155 = 5*i - 5*q. Is 17 a factor of i?
True
Let j be 14*(-3)/((-24)/(-28))*-1. Let o(c) = -18*c + j - 7*c + 27*c. Does 8 divide o(14)?
False
Let r = -671 - -94. Let n = -515 - r. Is n a multiple of 6?
False
Let l = 3339 + 2874. Is 57 a factor of l?
True
Let a = -26558 - -81091. Does 177 divide a?
False
Suppose 4*n - 10 = -2*y, 22*y - 1 = -2*n + 25*y. Suppose 0 = c + 2*q - 28, -2*c = -6*q + n*q - 40. Does 3 divide c?
True
Suppose -71*t + 66*t = -25. Suppose 0 = -4*p - t*u + 67, 4*p + 2*u - 4*u = 46. Does 13 divide p?
True
Suppose -11*u - 97202 = 1028. Is 26 a factor of (-3)/5 + (u/25)/(-2)?
False
Let g(q) be the first derivative of 6*q**2 - 20*q - 128. Is g(15) a multiple of 44?
False
Let x(m) be the second derivative of -19*m**3/2 - 23*m**2/2 - 8*m. Is 13 a factor of x(-2)?
True
Suppose -3*v + 0*v - 4 = -4*c, -2*c + 2 = 4*v. Suppose v = -2*s + 2*o + 256, -3*s - 4*o = -4*s + 122. Does 13 divide s?
True
Suppose 0*r = -3*r - a + 1524, a - 1015 = -2*r. Let w = -48 + r. Suppose -5*l = -w - 439. Does 45 divide l?
True
Let u = 115 + -69. Suppose -2*c + u = -4*b, -5*c + 2*b + 181 - 74 = 0. Is c a multiple of 6?
False
Let y = -35 - 37. Let i = -7 - y. Let f = 81 - i. Is f a multiple of 4?
True
Let a(q) = q**2 - 40*q + 366. Let y be a(24). Does 71 divide y/12*(5 - (-1562)/(-6))?
False
Suppose -37*d - 66*d + 544355 = 0. Is 36 a factor of d?
False
Let g = -400 - -214. Let y = -148 - g. Is 19 a factor of y?
True
Let f = -41 + 45. Suppose g - f*g - 207 = 0. Let h = g - -126. Does 13 divide h?
False
Let m(r) = -r**3 + 14*r**2 + 67*r + 39. Does 83 divide m(13)?
True
Let j be 759668/988 - 2/(-19). Suppose -2*b = m - j, 2*b = 4*m + 6*b - 3068. Is 45 a factor of m?
True
Let d(c) = 5*c - 28. Let t(o) = 4*o - 17. Let h be t(5). Let q(w) = 2*w**3 - 2*w**2 - 8*w + 2. Let x be q(h). Does 15 divide d(x)?
False
Suppose 20*c - 11 = 15*c - 2*y, -5*c = y - 13. Is 21 a factor of 14*((-504)/140)/(c/(-10))?
True
Suppose -21 = -2*a - 5*g, -3*a - 5*g = 2*a - 60. Let r(j) = -j**3 + 14*j**2 + 7*j + 21. Is 11 a factor of r(a)?
False
Let b(p) = 86*p**2 + 95*p + 1584. Is b(-16) a multiple of 12?
True
Suppose -780 + 40 = -37*b. Suppose b*t - 1388 = -3*i + 21*t, -2*t = 3*i - 1382. Is 22 a factor of i?
True
Suppose 2*w - 6219 = 4*f - 1017, -4*f = -16. Is 4 a factor of w?
False
Let j(c) be the second derivative of -7*c**3/3 - 217*c**2/2 - 8*c + 12. Is j(-32) a multiple of 28?
False
Let f be (-5994)/42 - 6/21. Let y = f + 151. Is (2*(-6)/15)/(y/(-240)) a multiple of 4?
True
Let t be (-6)/27 - (-3926)/9. Suppose -t = -4*g + 5*w, 0 = -g - 2*g + 5*w + 332. Is g a multiple of 8?
True
Let s = 229 + 135. Let g = -608 + s. Let t = -105 - g. Is t a multiple of 15?
False
Suppose 14717*c - 19180 = 14707*c. Is c a multiple of 66?
False
Let x = -383 + 395. Suppose x*s - 1765 = -61. Is 5 a factor of s?
False
Let l(o) = -20*o - 52. Let p be l(10). Let d = p + 595. Is 7 a factor of d?
True
Let q be ((-36)/8)/((-6)/780). Suppose -5*s + 587 = 3*d, 5*d = -8*s + 3*s + q. Is 10 a factor of s?
False
Suppose -7*i + 2*a = -12*i + 391, i = -3*a + 73. Let q = -4 + 8. Suppose g + q*x - i - 74 = 0, -x = -2. Does 19 divide g?
False
Suppose -85*d - 6501 = -87*d + 3*b, -4*d + 3*b + 13023 = 0. Does 21 divide d?
False
Let y be 21/(14/2) - -4. Suppose 0 = -y*s + 688 + 544. Does 9 divide s?
False
Let v = 110 - 102. Suppose -k + 5526 = v*k. Is 17 a factor of k?
False
Let v = -4694 - -6394. Is 3 a factor of v?
False
Let t(a) = 2*a**3 + 15*a**2 + 19*a - 8. Let j be t(-6). Let r(x) be the first derivative of -2*x**2 - 18*x - 3. Is r(j) a multiple of 19?
True
Let a = 72 - 41. Suppose -14 = -a*k + 32*k. Let v(j) = j + 39. Does 12 divide v(k)?
False
Let h(k) be the second derivative of 0 - 3*k - k**2 - 1/3*k**3 - 52/5*k**5 + 0*k**4. Does 49 divide h(-1)?
False
Let p = 10887 + -9101. Is 38 a factor of p?
True
Let x be 11/(11/116) - -2. Suppose 5*v = x + 932. Is v a multiple of 14?
True
Let j be (-5)/((2/6)/((-2)/6)). Is (0 + -1)/(664/(-132) + j) a multiple of 3?
True
Let c(b) be the second derivative of b**6/120 - b**5/20 - b**4/6 + b**3/2 - 9*b**2/2 - 8*b. Let t(x) be the first derivative of c(x). Is 3 a factor of t(4)?
True
Let z(q) = -147*q + 8845. Does 29 divide z(0)?
True
Suppose o - 4*z + 517 = 2*o, 104