ppose -5*r - 5*d + 8075 = 0, -18*d + 8045 = 5*r - 23*d. Is 31 a factor of r?
True
Suppose 5*c - 78 = -3*b + 2*c, 0 = 2*b + c - 50. Suppose b*x = 23*x + 970. Suppose 5*k = -5*k + x. Does 16 divide k?
False
Let p = 3 + 1916. Suppose -5*r + p = 2*c, -4*r = c + c - 1918. Does 11 divide c?
True
Suppose 106*z - 1280806 - 558082 = 0. Is z a multiple of 126?
False
Let g(p) = 105*p - 1005. Does 30 divide g(27)?
True
Suppose 6*a = 4*a - 37*a. Let n(i) = i**2 + 5*i - 3. Let u be n(-6). Suppose 3*h = h + 8, a = u*k + 3*h - 339. Is k a multiple of 29?
False
Let w = 1694 + -1233. Does 17 divide w?
False
Suppose 3*n = -8*n + 2*n + 11385. Is 30 a factor of n?
False
Let u = 2825 + -459. Suppose -3269 = -7*f + u. Is f a multiple of 35?
True
Suppose -2*k + 43673 = 5*p, 29*p + 8753 = 30*p + 5*k. Does 237 divide p?
False
Let n be 12/(-126) - 4315/(-105). Suppose 48*i - n*i - 3423 = 0. Is i a multiple of 63?
False
Suppose -262805 = 9*z - 14*z - 5*h, -3*h = -5*z + 262821. Is 70 a factor of z?
False
Suppose -165 + 105 = -4*r. Suppose -12*l + r*l - 108 = 0. Is l a multiple of 4?
True
Suppose -2*i = -4*r - 42016, 174*r = 3*i + 179*r - 63057. Is 38 a factor of i?
True
Let k = -92 + 102. Is 6 a factor of (8/20)/(k/2150)?
False
Let q be (6*-1)/(-1) - (-18)/6. Is (18 - 3 - q) + 1306 a multiple of 18?
False
Let n(m) = m**3 + 12*m**2 - 14*m - 19. Let s be n(-13). Let k(g) = -g**2 - 7*g - 13. Let x be k(s). Let r = 16 + x. Does 9 divide r?
True
Suppose 0 = 4*i - 2*i - d - 4, 3*i + 5*d = 19. Let x(q) = 81*q + 6. Let s be x(i). Let l = s + -130. Does 17 divide l?
True
Let y = -2983 - -5755. Does 63 divide y?
True
Is (-34561)/(-4) - 21/(101 + -17) a multiple of 40?
True
Let i be ((-18)/4)/(((-975)/(-6968))/(-25)). Let x = 860 - i. Is 3 a factor of x?
False
Let w(d) = 186*d + 865. Is 14 a factor of w(0)?
False
Suppose 106*p = 47*p + 48*p + 185625. Is 125 a factor of p?
True
Let z be -2*(325/10)/13. Let q(k) = -49*k - 29. Does 3 divide q(z)?
True
Let z(r) = -20*r**3 - 3*r**2 - 3*r - 1. Let k be z(-1). Let q(w) = 60*w + k*w + 99*w - 44*w - 3. Does 9 divide q(1)?
False
Suppose 548 = 4*q - 3*h, -64*q + 69*q - 3*h - 682 = 0. Is 67 a factor of q?
True
Does 15 divide 5260/16*((-380)/(-8) - (-3)/6)?
True
Suppose 2 = 5*n - 5*k - 3, 0 = 4*k - 16. Let b(z) = z**2 - 8*z + 7. Let p be b(8). Suppose p + n = c. Is 3 a factor of c?
True
Let f = 612 + -618. Is 15 a factor of (-1080)/(-48)*(-436)/f?
True
Suppose 6506 = 9*d - 5077. Does 8 divide d?
False
Suppose 2*k = -4*d + 21138, -5288 = 9*d - 10*d + 3*k. Does 68 divide d?
False
Suppose -i - 2437*o + 2434*o = -14541, -14565 = -i + 3*o. Is i a multiple of 49?
True
Let b(q) = 48*q**2 - 24*q + 101. Is b(-10) a multiple of 53?
True
Suppose 1005714 - 357949 = 82*x - 217663. Is 6 a factor of x?
True
Let a = -160 - -159. Let v(p) = -16*p + 5. Does 12 divide v(a)?
False
Let l = 4619 - 217. Does 2 divide l?
True
Suppose -40 + 150 = -4*g + 2*s, -90 = 3*g + s. Let a = 81 + g. Suppose -2*w = -a - 2. Is w a multiple of 5?
False
Let t = -3282 + 27520. Does 29 divide t?
False
Let d(l) be the second derivative of -26*l + 0 - l**2 - 4/3*l**3 + 1/4*l**4. Is 5 a factor of d(4)?
False
Suppose 0 = 5*h - a - 35040, h - 3831 = 2*a + 3168. Does 25 divide h?
False
Suppose 49 = -41*g + 254. Let v(c) = 27*c**2 - 16*c + 23. Is v(g) a multiple of 69?
False
Let y = 196 - 196. Suppose 790 = -y*d + 2*d + 3*q, 5*d - 1975 = q. Is d a multiple of 29?
False
Suppose -3*t = -m - 2770, 3326 = 4*t + m - 372. Does 36 divide 1163568/t + 3/(-11)?
False
Suppose 3*a = -3*k + 3, -5*a + 10*a = 3*k + 45. Let i be (-5325)/6*(-6)/15. Suppose -a*n + 329 = -i. Does 8 divide n?
False
Suppose -120*w + 212*w - 110*w = -610560. Is w a multiple of 64?
True
Suppose 23250 = 25*l + 6*l. Let y = -198 + l. Is y a multiple of 24?
True
Let u = 5277 - 4605. Does 6 divide u?
True
Let n be 100*(12 + (1 - 5) + 2). Let c be (0/(-1))/(-1) + 9. Suppose -c*y + 728 = -n. Is y a multiple of 12?
True
Let l(m) = 14*m**2 - m - 1. Let z(q) = -69*q**2 + 5*q + 6. Let h(d) = 11*l(d) + 2*z(d). Let u(c) = 7*c**2 + 5*c. Let p be u(-1). Is h(p) a multiple of 17?
False
Suppose -5*b - 2*a = -51872, 101*a - 102*a + 1 = 0. Is b a multiple of 11?
False
Let z(i) = -13*i + 429. Let d be z(33). Suppose 4*v + 3*g = 9*v - 7023, d = 2*v - 3*g - 2811. Does 15 divide v?
False
Let u = -128 + 131. Suppose u*t + 277 = n, 3*n + 0*t - 819 = -3*t. Is 50 a factor of n?
False
Let b(d) = d**3 + 5*d**2 + 4*d + 3. Let v be b(-3). Suppose 0 = -3*l + v*l - 510. Let f = l + -51. Is f a multiple of 34?
True
Suppose 0 = -3*d + 5400 - 270. Suppose -24*s + 15*s + d = 0. Is s a multiple of 5?
True
Suppose -2162 = 4*b + l - 730, 0 = -3*b + 4*l - 1093. Let u = b + 1178. Does 63 divide u?
True
Let g(j) = 26*j + 0*j - 146 - 143 - 24 + 4. Is g(17) a multiple of 5?
False
Let h(d) = 16*d - 26. Suppose 10*r - 7*r = 21. Let o be h(r). Let x = 87 + o. Is x a multiple of 25?
False
Suppose 9*z - 10 = 44. Suppose -5*l = 5*g - 4120, -4*l - 1613 = -z*l + 5*g. Is 14 a factor of l?
False
Suppose 0 = -188*p + 185*p + y + 15118, 4*y + 25192 = 5*p. Is p a multiple of 90?
True
Suppose -2*l = -5*i + 35196, -4*i - 3*l + 46311 - 18122 = 0. Does 10 divide i?
False
Let h(a) = 5*a**2 - 83. Is h(9) a multiple of 8?
False
Let o be 409 - 8/(-12)*-9. Suppose 409*m - 102 = o*m. Is m a multiple of 2?
False
Let k be 155/25 + -7 + 132/(-10). Is 26 a factor of k/42 + (944/6 - 1)?
True
Suppose -35 = -a - 2*a - 4*x, -4*x = -4*a + 28. Let u = a + -1. Suppose 7*v + 131 = u*v. Does 19 divide v?
False
Let u(n) = 2*n**2 - 4*n - 5. Let h be u(3). Is 25 a factor of ((-2625)/(-10))/(((-9)/(-12))/h)?
True
Let t = -2736 + 4798. Does 9 divide t?
False
Let h = 75 - 61. Let m(g) = -h*g - 7*g + 58*g + 95*g. Is 19 a factor of m(1)?
False
Suppose -59*t = -56*t - 1035. Is 75 a factor of 616/140*t/6?
False
Suppose -6202 = -25*w + 13673. Suppose -8*n - w + 2459 = 0. Does 52 divide n?
True
Let f(t) = -t**3 + 8*t**2 - 3*t - 11. Let l be f(5). Suppose 1032 = -l*z + 53*z. Does 12 divide z?
False
Let q(d) = 3*d**2 - d + 20. Let z be q(-7). Suppose -5*r = 3*p - 114, r - 4*r = 5*p - z. Let x = p + 39. Is 24 a factor of x?
True
Let o(r) = 105*r**2 + 117*r + 489. Is o(-4) a multiple of 8?
False
Let c = 28 - 33. Let r be (-2 - c)*9/9. Suppose 5*i - 480 = -5*m, -496 + 111 = -4*m - r*i. Is 13 a factor of m?
False
Let j(d) = d**3 - 33*d**2 + d - 272. Is 6 a factor of j(34)?
True
Let n(t) = 17*t - 156. Let s be n(10). Let j = s - -4. Does 5 divide j?
False
Let z = 12 - 12. Suppose -4*o + 2*p + 16 = 7*p, -3*o - 2*p + 12 = z. Suppose -20 = o*m - 48. Is m a multiple of 7?
True
Let y be 357 + 2*(-5)/20*6. Suppose y = -10*q + 2704. Is 55 a factor of q?
False
Let g(x) be the second derivative of x**5/20 + x**4 - x**3/2 - 49*x**2/2 + 7*x + 2. Is 21 a factor of g(-8)?
True
Let r(f) = f**3 + 35*f**2 + 14*f - 238. Does 61 divide r(-30)?
False
Suppose -14*n + 29*n = 2100. Suppose 4*d - k - 492 = 0, -d - 6*k + n = -2*k. Does 8 divide d?
False
Suppose -18*m = -36839 - 28825. Is m a multiple of 16?
True
Suppose 29*r = 3437 + 69289 + 15376. Is 31 a factor of r?
True
Suppose 53*r - 2432 = 55*r. Let z = r + 1721. Is 51 a factor of z?
False
Is 28 a factor of 6444 - 1 - ((-546)/14 + 42)?
True
Suppose -4*k = s - 3267, 3*k - 7*s + 2*s = 2433. Let l be ((-2)/(-2))/(6/k). Suppose -7*w = -6*w - l. Is 11 a factor of w?
False
Is ((-34)/8)/(45/(-540)) a multiple of 6?
False
Let d be (-216)/(-16) - 8 - (-1)/(-2). Suppose -n = 2*j - 758, -3758 = -0*n - d*n - 2*j. Is 89 a factor of n?
False
Let q be (95/57)/(5/54). Suppose -q*s = -3*s - 3240. Is 8 a factor of s?
True
Let r = 27557 + -9560. Is r a multiple of 14?
False
Suppose 0 = 7*a - 9 - 26. Suppose -4*h = -8, 0*g + a*h = 5*g - 15. Does 37 divide (-2)/5*((-1860)/g + 2)?
True
Let x(m) = -m**3 + 5*m**2 + 15*m. Let g = 37 + -92. Let y be (-308)/g - 2/(-5). Does 9 divide x(y)?
True
Let y(l) = l**3 + l**2 + l + 5. Let x be y(0). Suppose -4*d + 5*d = -x*d. Let g = d + 30. Is g a multiple of 15?
True
Suppose 4*v = 8, -150*v + 9179 = b - 149*v. Does 21 divide b?
True
Suppose -1244 = -b + 3*d, -24*b = -29*b + 3*d + 6232. Does 36 divide b?
False
Suppose -3*b + 15 = 0, -25*s + 22*s - 2*b + 535 = 0. Let l = -79 + s. Is l a multiple of 16?
True
Let t(g) = 14*g**2 + 174*g - 162. Does 14 divide t(-23)?
False
Let n(w) 