*i - 5*a + 7 = 0. Let f(g) = -384*g + 6. Does 26 divide f(i)?
True
Let h(i) be the third derivative of -i**6/120 + 4*i**5/15 + 2*i**4/3 + 11*i**3/3 - 30*i**2. Let r be h(17). Does 22 divide -201*6/(-9) + -2 + r?
False
Suppose -271*r - 289 = -272*r. Suppose 4*v - 837 = -r. Is 17 a factor of v?
False
Suppose 5*u = 3*k + 35013, -4*u + 2*k - 4*k + 28006 = 0. Is u a multiple of 36?
False
Suppose -14*h - 30 = -8*h. Does 14 divide 316*1/2*(h + 7)?
False
Suppose 3*c = -2*v + 2779, 0 = 29*v - 33*v + 4*c + 5508. Does 8 divide v?
False
Suppose -5*h + 2410 = -1185. Let o = -179 + h. Is o a multiple of 18?
True
Suppose 3*l - 1456 + 1 = 0. Suppose -6*v = -385 - l. Let r = v - 78. Does 14 divide r?
False
Let t(b) = 3*b + 14. Let l be t(-3). Suppose 327 = l*r - 4*x - 0*x, 3*x = -2*r + 117. Is 7 a factor of r?
True
Let q = 165 - 179. Is 59 a factor of 3795/10 - 7/q?
False
Suppose -5*r + 0*z + 2675 = 5*z, 0 = -r - 3*z + 541. Let x = -402 + r. Does 44 divide x?
False
Let n be -15 - -2 - (3 + -7). Let m(y) = -80*y - 177. Does 50 divide m(n)?
False
Suppose 109*z = -5*q + 112*z + 96154, 3*z + 38467 = 2*q. Does 16 divide q?
False
Let g = 17587 + -11446. Does 23 divide g?
True
Let k be 204/(-272) - (-1 + 62/(-8)). Suppose -3*l - 4*p = -2516, k = 2*p + 2*p. Is 26 a factor of l?
False
Let z = 5255 - 2267. Let y = z - 1445. Is 12 a factor of y?
False
Let o(u) be the third derivative of u**6/72 - u**5/120 + u**3/6 - 6*u**2. Let d(b) be the first derivative of o(b). Is 5 a factor of d(-2)?
False
Let z(u) = u**3 + 51*u**2 - 637*u + 32. Is z(-60) a multiple of 77?
True
Suppose -4*g + 4*o = -9394 - 4570, 3*g - o - 10471 = 0. Is 7 a factor of g?
False
Let a = -317 - -96. Let l = 392 + a. Suppose -2*t + 2*x = -106, 5*t + 3*x = 2*t + l. Is 30 a factor of t?
False
Let y be (-39)/(-6)*76 + 7. Let v = y - 186. Does 15 divide v?
True
Let w(f) = 473*f + 6268. Is w(7) a multiple of 309?
True
Let n(u) = -u**3 + 80*u**2 + 381*u - 71. Is n(84) a multiple of 4?
False
Let y be 1214308/690 - (17/(-15) - -1). Suppose 3416 = -5*b - 3*g + 12204, y = b + 3*g. Is b a multiple of 11?
False
Let y = 40 + -21. Suppose y*b - 644 = 12*b. Is 29 a factor of b?
False
Suppose 22514 = 59*g - 18957 - 27913. Is g a multiple of 4?
True
Let n be 6/21 + (-4)/56*46. Does 17 divide (354/n - 4)*-2?
False
Let s = -653 + 88. Let r = -401 - s. Let i = r - 51. Is 20 a factor of i?
False
Let v = 1872 - 1368. Is 63 a factor of v?
True
Let v(x) = 7*x**2 + 48*x + 707. Is v(-11) a multiple of 27?
True
Let r be (2 - 3)/((-37)/1628). Let x(y) = y**2 + 3*y - 5. Let m be x(-4). Is 16 a factor of r*m*52/(-16)?
False
Suppose 4*t + 304 = 4*l, 2*l = -3*t + 6*t + 154. Let r = l - -97. Does 19 divide r?
True
Let p(m) = 2*m**2 + 17*m - 3. Let y be p(-9). Suppose 0 = -y*x + 369 + 81. Does 10 divide x?
False
Let b(r) = r**2 + 40*r - 935. Does 143 divide b(-95)?
True
Let k(l) = -16*l - 35. Let u be k(-11). Let j = 208 - u. Is j a multiple of 13?
False
Suppose -4*o + 5*o - 565 = 0. Let q = 184 - o. Let k = q + 716. Does 27 divide k?
False
Let r be (1 + 0)*-41 - -1. Let g be 26/10 - 16/r. Is (-10)/((-48)/(-99) + (-2)/g) a multiple of 11?
True
Suppose -5*v + f - 2*f = 265, -3*v = 3*f + 147. Let w = 83 + v. Suppose -5*m + w = -1. Does 5 divide m?
False
Let v = -111 - -113. Suppose -g + 773 = v*z, -z + 120 = -5*g - 239. Is 64 a factor of z?
True
Suppose -5*w + 34 - 4 = 0. Is 8 a factor of 558/w - (1 + -3 + 7)?
True
Let r(j) = -j**3 - 6*j**2 - j + 14. Let w be (-3)/2*-4 - 3. Suppose -9 = 2*q + w. Does 5 divide r(q)?
True
Let f be (6/(-2) - -4)*5. Let v(s) = 7*s**2 - 4*s + 15. Let d be v(f). Suppose -9*k = -d - 559. Is k a multiple of 27?
True
Let v = 1720 + 2465. Suppose -2535 = -3*s - 3*r, 5*s + 15*r - 18*r - v = 0. Is s a multiple of 60?
True
Let y(h) = -28*h - 40. Let n(k) = -k. Let x(q) = 4*n(q) - y(q). Is 28 a factor of x(3)?
True
Let w(n) = 284*n**2 + 1215*n + 8436. Is 61 a factor of w(-7)?
True
Suppose 0 = 2*u + 49 - 13. Is 7 a factor of u/(-12)*2 + 130?
True
Let n(d) = 59*d + 126. Is n(2) a multiple of 244?
True
Suppose -275842 = -43*i + 309517. Does 8 divide i?
False
Let m be 2 - (-13 - -10 - 1*-3). Suppose -9 + 3 = m*z. Let t(v) = -3*v**3 + 2*v**2 - 6*v + 3. Does 24 divide t(z)?
True
Suppose -3*b + 8*b = 20. Suppose b*p = 3*h - 263, 2*p = 7*p + 10. Does 5 divide h?
True
Let g(h) = -2*h**3 + 28*h**2 - 77*h - 1122. Is 70 a factor of g(-21)?
False
Does 73 divide 14504/28*(-1)/2*-73?
True
Suppose 26*s - 31*s = 0. Suppose -4*c = j - c - 527, -5*j + 5*c + 2535 = s. Is j a multiple of 17?
False
Let y = -470 + 331. Let l = y + 212. Does 5 divide l?
False
Suppose 3302 - 4330 = -2*q + 7852. Does 60 divide q?
True
Let x(c) = 30*c**2 - 16*c + 2. Let g = 61 + -56. Let r be x(g). Suppose -2*s + r = 2*s. Is s a multiple of 14?
True
Let m = 414 - 410. Suppose 87 - 443 = -4*l + m*v, -4*l + 386 = 2*v. Is l a multiple of 4?
False
Let m = -5175 - -17307. Does 16 divide m?
False
Suppose -4*d + 3 = 5*s, -25 + 21 = -2*d - 2*s. Suppose d*g + 6960 = 37*g. Is 58 a factor of g?
True
Suppose -7*n + 11 = -115. Is 411/(n/6) + -3 a multiple of 67?
True
Is 1 + (-42)/46 - 65920/(-230)*13 a multiple of 54?
True
Suppose 95 = -52*d + 563. Suppose -d*a + 187 = -1613. Does 10 divide a?
True
Suppose -4*l + 20 = -h, -5*h - 80 = 4*l + 20. Suppose 4*k = 10 + 6. Is (-872)/h + k/10 a multiple of 11?
True
Let n be -1 - 39/(-3) - 4. Suppose 0 = -3*y + n*y. Suppose y = 7*w + 2*w - 108. Is w a multiple of 6?
True
Suppose 0 = j - 239 - 114. Suppose 3*i = 9*i + 1074. Let w = i + j. Is w a multiple of 47?
False
Suppose 0 = -527*s + 515*s + 73188. Does 57 divide s?
True
Let w(y) = 2*y**2 - 11*y - 2. Let i be w(6). Suppose 0 = -k - 4*k + i*k. Suppose 5*q + 235 = 2*j - k*q, -434 = -4*j - 2*q. Is 22 a factor of j?
True
Let p = 13680 - 8010. Is 27 a factor of p?
True
Let s(w) = -1765*w + 451. Is 81 a factor of s(-17)?
True
Let s = -5514 + 14863. Suppose s - 2914 = 15*r. Is 39 a factor of r?
True
Let j(z) be the third derivative of z**6/720 + 2*z**5/15 + 3*z**4/4 + 12*z**2. Let r(l) be the second derivative of j(l). Is 20 a factor of r(4)?
True
Let b(p) = 15*p**2 - 8*p - 49. Let l(h) = -4*h**2 + 38*h + 15. Let u be l(10). Is 42 a factor of b(u)?
False
Let p(y) be the first derivative of 7*y**3/6 - 10*y**2 - 16*y - 9. Let q(m) be the first derivative of p(m). Is q(10) a multiple of 12?
False
Is 143 a factor of ((-3)/(-9) + (-9929)/(-3))*126/28?
False
Let v be ((-72)/(-45))/((-4)/(-30)). Suppose -13*c - v*c = -3900. Does 11 divide c?
False
Let w = 220 - 145. Let i = -73 + w. Suppose -5*g + g - 92 = -3*l, 0 = g + i. Is l a multiple of 3?
False
Suppose 0 = 3*q + 5*m - 31, 0 = -5*q - 0*q + 5*m + 65. Suppose 37*n + q = 35*n. Is 25 a factor of (22 + 5 - -3)*(-10)/n?
True
Suppose 0 = -3*b + 2*b + 4*f - 1028, 0 = -5*b - 5*f - 5115. Let j = b + 1600. Is 64 a factor of j?
True
Let f(h) = 36*h + 22. Let q be f(12). Let n = 320 + q. Is 10 a factor of n?
False
Let v be 0 - (6/(-21) + 152/(-56)). Suppose -5*p + 345 = -0*i + v*i, 363 = 3*i - p. Does 24 divide i?
True
Let t be -4 + (4 - 15*(-6)/(-15)). Is t/57 - (-172920)/190 a multiple of 13?
True
Let o(m) = 2*m - 19. Let h(n) = 0*n - 3*n + 0*n + 10 + 2*n. Let s(l) = 9*h(l) + 4*o(l). Is 7 a factor of s(-7)?
True
Suppose 0*o = -7*o + 105. Suppose 0 = 19*a - 14*a - o. Suppose 25 = -2*y - a*y, 2*r + y - 163 = 0. Is r a multiple of 21?
True
Let c(i) = -46*i + 1523. Is 2 a factor of c(32)?
False
Let x(j) = -21 - 30 + 89 - 87*j - 1. Is x(-5) a multiple of 59?
True
Suppose -28*k + 10*k + 108 = 0. Let x(g) = 2*g**2 - 3*g - 9. Is x(k) a multiple of 4?
False
Let d(a) = 8*a**3 + 4*a**2 - 10*a - 6. Is 3 a factor of d(6)?
True
Suppose 11 = -2*f + 35. Is (-5 - (-342)/f)*2 a multiple of 4?
False
Let a be (-2492)/16 - 45/36. Let x = 917 + a. Is x a multiple of 10?
True
Let j(x) be the first derivative of -6*x**2 - 92*x + 162. Does 4 divide j(-25)?
True
Let d be (0 + 62/3)/((-12)/18). Let n be 405/(-3)*(-2)/6. Let y = n + d. Is 7 a factor of y?
True
Let h(y) = y**3 - 17*y**2 - 6. Let q be h(17). Let o be q*(-4)/12 - -1. Suppose 0 = 2*a + 2*k - o*k - 35, -5*a + 70 = k. Is a a multiple of 15?
True
Suppose 0 = 5*x - 5*q + 185, 4*q + 4 + 8 = 0. Is (24/20)/(-2)*x a multiple of 15?
False
Let c be (-78)/(((-2)/(-8))/((-140)/224)). Suppose 192*b + 2115 = c*b. Does 11 divid