q**2 + 38*q + 442. Does 32 divide c(-11)?
True
Suppose 14*s - 264 = 2*s. Suppose s*h - 2040 = 2*h. Is 12 a factor of h?
False
Is 218 a factor of 18*(-28776)/(22 - 34)?
True
Let k(r) = 471*r**2 + 219*r - 17. Is 73 a factor of k(-4)?
True
Let z(w) be the first derivative of -w**5/60 - 5*w**4/6 - 11*w**3/6 - 7*w**2 + 1. Let u(j) be the second derivative of z(j). Does 10 divide u(-13)?
True
Is (-536 - -24)*6/(-12) a multiple of 8?
True
Is 6 a factor of (12 - 310/15)/((-2)/333)?
False
Suppose 0 = y + 4*o - 11, 0 = 4*y + o - 29. Suppose -4*l - y + 3 = 0. Is ((-14)/(-4)*8)/(l/(-6)) a multiple of 12?
True
Let g(k) = 37*k**2 - 5*k - 49. Is 29 a factor of g(11)?
False
Suppose -8*s - 103 = 513. Let l = s + 105. Is 14 a factor of l?
True
Does 38 divide 14182/5 + (-385)/275?
False
Suppose -45*b + 142*b - 440781 = 434547. Is 96 a factor of b?
True
Let m be 3540/100*(-10)/2 - 3. Is (144/m)/(1/(-175)) a multiple of 4?
True
Let b(r) = -r**3 - 4*r**2 + 6. Let k be b(-3). Let x be (49/k)/((-3)/18). Suppose -x = l - 154. Is 14 a factor of l?
True
Let q(k) = 8*k - 26. Let r be 84/8 - ((-1)/2 - -2). Suppose -36 = -r*c + 54. Is q(c) a multiple of 9?
True
Let x = 3296 - -14524. Does 40 divide x?
False
Suppose 3*z + 13 = -4*d, 6 + 10 = -4*d. Is 12 a factor of ((-15)/z)/(2/102*-3)?
False
Is 63 a factor of (4/(-18) + 35522/(-45))*5655/(-754)?
True
Let k(l) = -l**3 + 8*l**2 + 12*l - 5. Let t be k(10). Let h be (68/t)/((-2)/75). Suppose -h - 31 = -s. Is s a multiple of 17?
False
Let f(l) = -781*l - 1727. Does 147 divide f(-20)?
False
Let k(v) = 4*v**3 - 541*v**2 + 143*v + 200. Is k(135) a multiple of 20?
True
Suppose 4*q + 15*z - 41586 = 14*z, 4*q + 2*z - 41588 = 0. Does 113 divide q?
True
Let o(r) = 6*r**3 + 66*r**2 + 17*r - 40. Let z(w) = -9*w**3 - 99*w**2 - 26*w + 60. Let p(n) = 7*o(n) + 5*z(n). Does 47 divide p(-11)?
True
Let g = -494 + 476. Is ((-24)/g)/((-10)/(-645)) a multiple of 10?
False
Suppose 1528*t + 12087 = 1537*t. Does 7 divide t?
False
Suppose 0 = 149*c - 156*c + 28. Suppose -a = -c*a - 2*j + 1946, 5*a - 5*j = 3235. Is a a multiple of 54?
True
Let d(i) = -40*i**3 + 12*i**2 + 26*i + 20. Is d(-6) a multiple of 35?
False
Let k be ((64/12)/(-8))/(2/(-1971)). Suppose -2729 = -7*v - k. Is v a multiple of 8?
True
Suppose 192*l - 2241838 = 231506. Is l a multiple of 113?
True
Let v = 101 - 91. Let f(w) = -v*w - w - 6*w + w**3 - 3*w + 14*w**2 - 8. Does 11 divide f(-15)?
False
Suppose 3*a - 20751 = 3*t, 58*t + 27628 = 4*a + 62*t. Does 12 divide a?
True
Suppose 2*x + 2*g - 12 = 0, -2*g - 18 = 812*x - 816*x. Suppose -2*n = -0 - 4. Suppose n*v = 3*q - 360, 600 = 2*q + 3*q + x*v. Is q a multiple of 24?
True
Let w be (-7 + (-450)/(-42))/(2/14). Suppose -w*p + 18705 = 5367. Is 10 a factor of p?
False
Suppose -4*k + 1887 - 755 = 0. Let l = 668 - k. Is 11 a factor of l?
True
Does 148 divide 2405/260*(1550 + 2)?
True
Suppose -7*k = -4*k - 54. Suppose -3 = -7*i + k. Suppose 0 = i*n + n - 3*p - 116, p - 4 = 0. Does 10 divide n?
False
Suppose -40 = 3*f - 49. Let r(b) = 0*b**f + 5 + 10 - b**3 + 6*b**2 - 18. Is 13 a factor of r(-4)?
False
Let x be (-189)/36*((-20)/6 + -2). Suppose 12 = -x*q + 32*q. Suppose 3*t + 696 = q*c, -4*c + 774 = -3*t - 159. Is c a multiple of 59?
False
Suppose -31*c + 7786 = -14*c. Is 5 a factor of c?
False
Let x(k) = 2*k**2 - 44*k - 1552. Does 47 divide x(60)?
True
Let o(i) = 3*i + 1. Let m be o(3). Suppose -123*k + 2474 = 3*x - 118*k, 0 = -3*x - 2*k + 2489. Suppose -x - 507 = -m*y. Does 20 divide y?
False
Let q(o) be the third derivative of -o**6/120 + o**5/15 + o**4/12 + 204*o**3 - 2*o**2 + 85*o. Is q(0) a multiple of 17?
True
Let f = 10648 + -6268. Does 20 divide f?
True
Suppose 125*d = 133*d - 64. Does 4 divide 962/d + (-1)/4 - 5?
False
Let x be (0 - 1) + (1 + 4 - 33). Let v(y) = -3*y**3 + 4*y**2 - y - 1. Let k be v(3). Let m = x - k. Does 10 divide m?
True
Suppose 0 = 4*r + p - 17, 3*r + 0 - 13 = -p. Suppose 6*l - 120 = r*l. Is l a multiple of 4?
True
Suppose 45*k + 121*k - 29556 = 78344. Is k a multiple of 50?
True
Let w(t) = t**2 - 12*t + 3. Let o be w(16). Let u be (-4 + (2 - 2))*-142. Suppose -5*j + n = -u, 58 = j - 4*n - o. Does 18 divide j?
False
Suppose 3*l + 27 = -3*b, -4*l + 4*b + 20 = 80. Does 25 divide (-511)/(-3) + (-38)/(-3) + l?
False
Let s(g) = 56*g - 18. Suppose p - 16 = -15*p. Does 11 divide s(p)?
False
Let b = 1974 - 666. Suppose -5*q = -5*d + 6480, -5*q + 3*q + b = d. Does 20 divide d?
True
Is 382/(-54) + 7 + (-213850)/(-135) a multiple of 16?
True
Let k(f) = 7*f**2 + 198*f + 5. Is k(-61) a multiple of 118?
False
Let p be 5/(45/(-2))*(-4 + -5). Suppose 352 + 165 = p*j - r, -5*r = -j + 263. Is 22 a factor of j?
False
Let z be ((-56)/12)/(8/(-12)). Suppose -z*h + 1799 - 504 = 0. Does 5 divide h?
True
Let j(c) = 4*c**3 + 17*c**2 - 45*c + 378. Is j(10) a multiple of 19?
False
Does 67 divide (1 + (-13)/2)*(-478 - 12118)?
True
Suppose 7 + 5 = 4*n. Suppose 0*j - 3*j - n = 0, -j = -3*i - 41. Let f(b) = -b**3 - 14*b**2 - 3*b - 18. Does 4 divide f(i)?
True
Let d be (-28)/10 - 1/5 - -75. Suppose 3*p = -6*p + d. Suppose -312 = -p*m + 384. Does 16 divide m?
False
Suppose y = -i + 461 + 869, i - 1334 = -2*y. Is 15 a factor of i?
False
Is (-4)/5 + ((-497862)/(-90) - -3) a multiple of 108?
False
Suppose 0 = -3*x - x + 20. Suppose -2*l - x - 2 = -5*h, 3*h = 5*l + 8. Is (72/(-15))/(h/(-5)) a multiple of 20?
False
Let h = -12 - -10. Let b be (-3 - h) + 2 + 9. Suppose -4*m = -34 - b. Does 6 divide m?
False
Suppose -67*f + 2644 = -156036 - 78165. Is f a multiple of 35?
True
Let p = 343 - -413. Suppose 8*u - 20*u + p = 0. Does 9 divide u?
True
Let v(o) = -8*o - 15*o - o. Suppose 4*k - 3*n - 19 = -35, -5*k - 2*n - 20 = 0. Is 12 a factor of v(k)?
True
Let v(j) = 1157*j**2 - 38*j + 32. Does 74 divide v(-2)?
True
Let z(n) be the first derivative of 73*n**3/3 - n**2/2 - 5*n - 4. Let k be z(-2). Suppose -k + 1009 = 6*q. Does 15 divide q?
True
Suppose 0 = 30*o + o + o - 1325760. Is 49 a factor of o?
False
Let v(a) = -3*a**2 - 8*a - 9. Let m be v(-5). Let k be 11/(m/(-312)) - 3. Suppose -2*i + 50 = 2*t, -2*i + 0*i = 3*t - k. Is t a multiple of 25?
True
Suppose 2 + 2 = 2*s. Suppose 10*k = s*k + 912. Is k a multiple of 3?
True
Let h = 888 - -87. Suppose 3*r = -2*r + h. Is 13 a factor of r?
True
Let j be 1*(-30)/2 + -4. Let o = j - -19. Suppose -q + 99 + 9 = -4*h, -3*q - 2*h + 366 = o. Does 8 divide q?
True
Let y(q) = -14*q + 84. Let l = 368 + -374. Is y(l) a multiple of 5?
False
Let s(p) be the third derivative of p**6/120 + 13*p**5/60 + 2*p**3/3 + 6*p**2. Let k be s(-13). Suppose -10*h = -k*h - 54. Is 3 a factor of h?
True
Is 43 a factor of (-664209)/(-108) - 5/60?
False
Does 41 divide (-7609)/(-1) - (1 + 47)/(-8)?
False
Let y be (-14)/35*10/(-1) + 1757. Suppose -4*c + 3*w = -1405, -5*c = -0*c + w - y. Let b = -136 + c. Does 24 divide b?
True
Suppose 36*c + 72504 = 54*c. Does 76 divide c?
True
Suppose 9*o = -9*o. Suppose 5*k + 5*v - 15 = 0, -k - v = -4*v - 7. Suppose o = k*m + 6 - 38. Is m a multiple of 4?
True
Suppose 0 = -2084*l + 2085*l - 280. Is l a multiple of 40?
True
Let q(d) = -12*d - 19. Let z(t) = 11*t + 18. Let o(c) = -5*q(c) - 6*z(c). Let v be o(7). Let i = v + 115. Does 5 divide i?
True
Let d(s) = 845*s**2 + 292*s + 866. Is d(-3) a multiple of 13?
False
Let b(u) = 6*u - 100. Let t be b(19). Let c(n) = 3*n**2 - 8*n + 49. Does 7 divide c(t)?
True
Let f(x) = 162*x + 45. Suppose -18 - 12 = -3*j. Does 9 divide f(j)?
True
Suppose -183*i - 2257 = -4*v - 184*i, -v + 5*i + 538 = 0. Is v a multiple of 2?
False
Let m(v) = 2*v**2 + 55*v + 40. Let j be m(-27). Let n(i) = i**3 - 17*i**2 + 82*i + 16. Is n(j) a multiple of 23?
False
Suppose -3*h - 5*z = -471, 4*h = z + 343 + 331. Is h a multiple of 10?
False
Let t(b) = -3*b**2 + 125*b + 47. Let s be t(42). Suppose 3*r + 4*v = -r + 308, 2*v = -s*r + 391. Does 9 divide r?
False
Let t be 32/6*-4*(-12)/(-16). Let h = -30 - t. Let x(g) = -7*g + 2. Is 17 a factor of x(h)?
False
Suppose -2*z + 0*t = -3*t + 34, 17 = -z - 3*t. Let l(k) = -24*k - 18. Let y be l(z). Suppose -282 - y = -6*o. Is o a multiple of 14?
True
Let b = 8783 - 4762. Is b a multiple of 16?
False
Let f = 164 + -162. Suppose -15 = 5*g, -6*g + g + 511 = f*t. Is 34 a factor of t?
False
Suppose -2*q + 270 = 7*q. Suppose 11*b + q + 14 = 0. Is 11583/(-26)*