e 14*l + 27 = -1. Let v be (l + (-330)/25)/(2/(-5)). Suppose -g = 2*k - v, -3*k - k + 3*g + 76 = 0. Is k a multiple of 4?
False
Let a(i) = -i**2 + i + 2. Let v be a(0). Suppose -v*y - 6 = -4*y. Does 20 divide y + 160 - (-1 - -1)?
False
Let k(o) be the third derivative of o**4/24 + 59*o**3/6 - 2*o**2 + o. Does 8 divide k(-11)?
True
Let q(m) = m**3 + 26*m**2 - 32*m - 117. Let z be q(-29). Let g = z + 2682. Is 10 a factor of g?
True
Let b(i) = i**2 - 19*i + 56. Let k be b(11). Does 77 divide 385*2*k/(-40)?
True
Suppose 606*d + 63048 = 618*d. Does 3 divide d?
False
Let b(i) be the third derivative of i**6/120 + 3*i**5/20 - i**4/2 - 5*i**3/2 + 11*i**2. Let k be b(-10). Suppose k*f - 1010 = -0*f. Does 32 divide f?
False
Suppose 24 = 5*g - 6. Suppose -3*k + g*k - 3 = 0. Is k/4 - (-3689)/28 a multiple of 26?
False
Suppose 9*h - 26*h - 7*h + 236040 = 0. Does 140 divide h?
False
Suppose 0 = 89*z - 92*z + 18, -h + 11992 = -z. Is 9 a factor of h?
False
Let h(i) be the second derivative of -11*i**3/6 - 7*i**2/2 - 35*i. Let j be h(-1). Is 20 a factor of 10*(-2)/j*-8?
True
Let w = -6 + 90. Let m = -451 + 444. Let l = w - m. Is l a multiple of 22?
False
Let o = 110 - 91. Let y(v) = 17*v - 19. Is 23 a factor of y(o)?
False
Suppose -3*c - m = -12733, 4*c + 24*m = 25*m + 16975. Is c a multiple of 6?
False
Let l(h) = -9*h**2 + 3*h + 2. Let g be l(-1). Let c be g/(-40) - (-1862)/8. Suppose 7*u - 702 = -c. Is 17 a factor of u?
False
Suppose c - 6338 = -2*m + 1607, -5*m + 2*c + 19840 = 0. Does 11 divide m?
False
Suppose 5*m = -45 + 70. Suppose -i - m + 3 = 0, -4*i - 1857 = -z. Is 82 a factor of z?
False
Suppose 32*a - 44*a + 53508 = 0. Is a a multiple of 91?
True
Suppose -3*r + 13*k + 26341 = 8*k, 0 = 5*r + 5*k - 43835. Is 17 a factor of r?
True
Let u be ((-8)/6)/((-14)/(-63)). Let r(o) = -130*o - 144. Is r(u) a multiple of 12?
True
Let b = -8067 + 13632. Is 24 a factor of b?
False
Suppose -14 = 10*z - 4. Let p be (z/(-3))/(3/5823). Suppose -8*n + p = -265. Is 19 a factor of n?
True
Is 208/(-2080) - (2 + 380421/(-10)) a multiple of 120?
True
Let r(w) = -1707*w + 285. Does 24 divide r(-1)?
True
Let z = -2019 + 2758. Does 16 divide z?
False
Let q = -4108 + 5338. Is q a multiple of 6?
True
Does 216 divide 15738247/3173 + ((-3)/57)/1?
False
Let z(l) = 17*l + 4. Suppose -4*x + 25 = x. Suppose x*t = 76 - 71. Is z(t) a multiple of 7?
True
Let f(z) = -24*z**2 + 5*z - 3. Let h be f(-3). Suppose 5*j = 6*j - 375. Let l = h + j. Is l a multiple of 16?
False
Suppose -5*u + 2*u + 6 = 0. Let f(t) = t**2 - 9*t + 10. Let n be f(u). Let j = 375 + n. Is 53 a factor of j?
True
Let n(m) = 3. Let f(t) = 3*t + 150. Let a(r) = f(r) + 9*n(r). Is a(-11) a multiple of 8?
True
Suppose -751583 = -121*d + 308377. Is d a multiple of 60?
True
Let p = 65 + -61. Let v(x) = 9*x**2 - 2*x + 8. Let w be v(p). Let c = -14 + w. Is 5 a factor of c?
True
Suppose 2*r = 6, 0 = -2*b - 6*r + 3*r + 6701. Is 42 a factor of b?
False
Let q = -20755 - -22731. Is q a multiple of 52?
True
Let p be -839 + (12/(-3) + 2)/(-2). Let n = -568 - p. Does 18 divide ((-9)/(-15) - -1)/(4/n)?
True
Let x(y) = -11*y**2 + 7*y + 22. Let b be x(-7). Let f = b + 338. Let m = -158 - f. Does 14 divide m?
True
Let g(o) be the first derivative of -3*o**2 - 26*o - 22. Let t be g(-5). Suppose -160 = -4*u - t*h, -3*h - 164 = -5*u + h. Does 15 divide u?
False
Let w(i) = -292*i**3 - 37*i**2 - 105*i + 6. Does 96 divide w(-3)?
True
Is (-19135)/(-8) - (124/(-480) + 16/120) even?
True
Suppose -6*z + z + 4*v + 47 = 0, -3*v = -3*z + 30. Let f(o) = 2*o**2 - 5*o + 5. Let i be f(z). Suppose -i = -4*w + s + 89, 4*s = -3*w + 94. Is 19 a factor of w?
True
Let g(n) = n + 1. Let w be g(-6). Let t(b) = -6332*b**3 + 0 - 3*b + 0 - b + 6331*b**3 - 6. Does 14 divide t(w)?
False
Let t(h) = -3*h**3 + 6*h + 2*h**2 - 8*h**2 + 2*h**3 + 32. Suppose -62 = 13*g + 70 - 28. Does 8 divide t(g)?
True
Suppose -5*s + 111439 = v, 20 - 4 = 4*v. Is s a multiple of 51?
True
Let l be (4/(-8))/(20/(-840)). Let y = -7 - -2. Let s = y + l. Is 11 a factor of s?
False
Suppose o = 2*v + 3*v - 25, 0 = -4*v + 4*o + 20. Let s(m) = -7*m + 161. Let k be s(23). Suppose -l + 335 = v*b - k*b, 3*b - 208 = -2*l. Is b a multiple of 22?
True
Let m be 5257/14*(0 - (-3 + 1)). Let s = m - 391. Is s a multiple of 36?
True
Let l be 3/7 - 217258/161. Let q = l + 2373. Is 11 a factor of q?
False
Suppose -k - 5*w + 119 = 0, -5*k - 5*w = -487 - 188. Suppose 5*f - 25 = 0, k + 208 = 3*d + f. Does 12 divide d?
False
Suppose 22*z = -85 - 91. Let q(t) be the third derivative of -t**6/120 - 2*t**5/15 - 7*t**4/24 + 4*t**3/3 - t**2. Does 4 divide q(z)?
True
Suppose -3*z - 2*g = 59, -4*z = -445*g + 449*g + 76. Let j(y) = -1. Let m(u) = u**3 + 20*u**2 - 23*u + 6. Let l(h) = -6*j(h) + m(h). Is l(z) a multiple of 19?
False
Suppose -25 = -9*y + 8*y. Suppose y = -w + 2*w. Suppose 15*i + 1760 = w*i. Is 16 a factor of i?
True
Let h = -280 - -398. Suppose 2*u - 40 = -5*w + 68, -u + 65 = 3*w. Suppose -5*f + w = -h. Is 7 a factor of f?
True
Suppose -37*j - 5540 = -5*v - 32*j, -2*v - 3*j = -2231. Let r = v - 567. Is r a multiple of 17?
True
Let n be (17/7 - 3)/(4/14). Is 34 a factor of (75/n)/((-39)/702)?
False
Suppose -4*d + 4*z = -2870 - 1234, 0 = -3*d + z + 3068. Suppose -3*k = 13*b - 11*b - 1013, -3*k - 4*b = -d. Is 9 a factor of k?
False
Suppose 102 = 4*w - 18. Let j be 11/2 + -1 + 45/w. Is ((-88)/(-6))/((-245)/42 + j) a multiple of 22?
True
Suppose 3406 + 86 = 3*s. Is 123 a factor of s?
False
Let b be (1 + -3 - -8)/(18/960). Let x = b - 295. Is x a multiple of 9?
False
Does 9 divide (-1)/((-6)/2859) - 138/(-276)?
True
Suppose 16 = -49*b + 48*b. Let l = b + 13. Is 30 a factor of 8*(l + 2 + 23)?
False
Let q(n) = -n**3 - 108*n**2 - 683*n + 633. Is q(-102) a multiple of 3?
True
Suppose -13*i = -40*i + 31617. Let q = i + -768. Does 4 divide q?
False
Suppose -9*u = -12 - 15. Suppose -u*v + 1281 = -3*p, -v - 4*p + 561 = 134. Does 61 divide v?
True
Let y(s) = 99*s + 4013. Is 128 a factor of y(60)?
False
Suppose -2*d = 1694 - 5304. Let y = d - 919. Is 12 a factor of y?
False
Is (1 - (-17307 + -1))*(123 + -121) a multiple of 13?
False
Let t be 3 - -5 - (1 + 2). Suppose 2*s = 4*l - 29 - 441, 3*s - 615 = -t*l. Does 15 divide l?
True
Let v be ((-8)/3)/((-7)/(-21)). Let h be (v/12)/((-1)/(-6)). Is 18 a factor of 570/5 + -2 + h?
True
Suppose -q = 5*m - 3752, 0 = -q - 3*m + 5114 - 1362. Is q a multiple of 42?
False
Suppose -5*u + 2*i + 1972 = 0, u - 224 = -i + 176. Let x be 41/(3/(10 + -1)). Suppose -u = -3*n - 3*v, 0 = n - 2*v + 6*v - x. Is 9 a factor of n?
True
Let l = 717 - 723. Let n(f) be the third derivative of -5*f**4/6 + f**3/6 + 2*f**2. Is 12 a factor of n(l)?
False
Let g = -10336 - -13197. Is 22 a factor of g?
False
Let l = 31483 - 21823. Is l a multiple of 7?
True
Suppose o - 4*f - 25 = 102, -5 = 5*f. Let v(l) = -61 + o - 12*l - 67. Is v(-3) a multiple of 2?
False
Let l(w) = 130*w - 3. Let m(b) = b + 1. Let x(u) = -l(u) - 3*m(u). Let c be x(-1). Suppose 10*i - c = 9*i. Is 22 a factor of i?
False
Let h be (9 + (-63)/7)/(-2*1). Suppose h = -21*w + 18*w + 780. Does 20 divide w?
True
Suppose 0 = -500*t + 496*t + 1524. Let q = t - 189. Is 32 a factor of q?
True
Let b = -129 + 143. Suppose 768 = -b*r + 20*r. Is 19 a factor of r?
False
Let n = 894 + -606. Suppose -53*f + 49*f - n = 0. Let o = 117 + f. Is o a multiple of 28?
False
Let k = -14522 - -20786. Is 36 a factor of k?
True
Let r(h) = 24*h - 222. Is r(31) a multiple of 29?
True
Suppose -4*d + 9*c - 8966 = 4*c, 0 = d - 3*c + 2245. Does 19 divide 35/28 + -3*d/12?
False
Let y = -3189 - -4707. Is 11 a factor of y?
True
Let d = 90 + -9. Let m = 495 - d. Does 18 divide m?
True
Let x(u) = 2*u**2 + 12*u - 11. Let p = 12 + 6. Let c(a) = a**3 - 19*a**2 + 17*a + 25. Let s be c(p). Is 14 a factor of x(s)?
False
Suppose 22233 = 3*a + 3*x + 6270, -5*x = -3*a + 15987. Is a a multiple of 44?
True
Suppose -5*g = -f - 3558, 3*g + f - 2140 = -f. Let z = -666 + g. Is 3 a factor of z?
False
Suppose -15 = 3*j, -3*n + 4*j - 2*j = -8314. Suppose 5*m = w + n, 5*w + 614 + 484 = 2*m. Does 12 divide m?
False
Is ((-6628)/12 - 2)*1*-3 a multiple of 95?
False
Let r be 2 + 22 + (15 - 7). Suppose -17*y = r*y - 36260. Does 68 divide y?
False
Suppose 0 = 6*u - u + 39870. Let v be (-2)/(-10) - (2 - u/(-30)).