Suppose 5*t - 65 = -0*d - d, 75 = j*d - t. Is 10 a factor of d?
True
Let y(p) be the second derivative of p**4/12 + 5*p**3/6 - 2*p**2 - 50*p. Is y(2) even?
True
Suppose m - 4*k + 81 = -90, -5*m + k - 779 = 0. Let z = m - -403. Suppose 0*g + 3*n + z = 4*g, -5*g - 2*n + 333 = 0. Is 7 a factor of g?
False
Let o(y) = y + 9. Let n be o(13). Suppose 0 = 11*g + n*g - 10725. Is 13 a factor of g?
True
Let u = 92 - 54. Suppose 39*f = u*f + 141. Let x = f - -22. Does 32 divide x?
False
Suppose -5*p = 2*n - 1002, -3*n = n + 3*p - 1990. Let a = 1280 - n. Is a a multiple of 56?
True
Does 32 divide (51/(-3))/(3*2/(-402))?
False
Let t(y) = 6*y**2 - 11*y + 15. Let x(c) = 7 - c**3 - 4 + 3 + 13*c**2 - 1. Let k be x(13). Does 11 divide t(k)?
True
Suppose 18*n = 22*n - 40. Suppose 6*a + 196 = 2*o + n*a, 284 = 3*o - 4*a. Is o a multiple of 16?
True
Suppose -2*i + 2961 = -t + 9553, -t - 2*i = -6616. Is t a multiple of 13?
True
Let o(k) = 12*k**2 + 2*k - 104. Does 2 divide o(5)?
True
Let u = 1131 + -320. Let o = u - 376. Does 18 divide o?
False
Suppose -x + 1320 = 21*x. Is x a multiple of 12?
True
Suppose 6*n = -n - 98. Let k be (n/(-42))/(-1 - (-19)/18). Suppose 201 = k*m - 843. Is 29 a factor of m?
True
Suppose -52*p + 226344 = 38*p - 181896. Is p a multiple of 18?
True
Let a(n) = 86*n + 114*n - 31 + 18 + 16. Is 9 a factor of a(1)?
False
Suppose s - 19*l = -20*l - 20, -5*s + 4*l = 82. Is 83/3 - 6/s a multiple of 26?
False
Suppose 720 = 5*d + 2*i, 2*i + 15 = 5. Suppose 4*g - 5*m = d, m - 80 = -5*g + 88. Suppose 0 = -6*l + 5*l + g. Is 13 a factor of l?
False
Let g = 183 + -86. Suppose 9*h + g - 241 = 0. Suppose h*r = 21*r - 105. Is r a multiple of 5?
False
Suppose n - 6317 = -5*h + 29853, 3*n = -2*h + 14468. Does 73 divide h?
False
Let p be 5/75*5*12. Suppose -o + 1719 = 3*t, -p*o + o = 0. Does 26 divide t?
False
Is -38*(-1)/(-8)*848/(9 + -11) a multiple of 7?
False
Suppose 15*h - 13*h = 216. Let p = h + 68. Is p a multiple of 11?
True
Let q(p) = 6*p + 8. Let t = 3 - 1. Let k be ((6 - 2)*1)/(t/3). Does 4 divide q(k)?
True
Suppose -2*x + 2*k = -4*x + 4, -3*x = -k - 14. Let a be 2 + (x - 4)/(-4). Suppose a*m = -z + 184, 3*z - 185 = 2*z - m. Is z a multiple of 34?
False
Suppose -7417*a + 7368*a = -832608. Is a a multiple of 13?
False
Let u(f) be the third derivative of 7*f**6/60 - f**5/30 - f**3/3 - 3*f**2. Let k be u(2). Suppose -j = 92 - k. Is 8 a factor of j?
False
Let v(c) = -43*c - 330. Let q be v(-8). Suppose -q*g + 3674 = -6406. Is 72 a factor of g?
True
Let y(f) = 5502*f**2 + 175*f + 350. Is 25 a factor of y(-2)?
False
Suppose 23*r = 17 + 52. Suppose -v = a - 3*a + 773, 383 = a + r*v. Is 57 a factor of a?
False
Let o(m) be the first derivative of m**4/4 + 5*m**3 + 3*m**2 + 13*m + 20. Let u be o(-9). Suppose -u = -5*q - 125. Does 16 divide q?
True
Is (45021/(-698))/(1/(-46)) a multiple of 69?
True
Let d(k) = -2*k**3 + 86*k**2 - 94*k - 97. Is d(34) a multiple of 20?
False
Let j = 35552 - 33747. Is 19 a factor of j?
True
Let p = 28 + -48. Is 14 a factor of 295 + (-5)/(p/(-24))?
False
Suppose -24100 = 27*h - 2*h. Let u = -714 - h. Is 34 a factor of u?
False
Suppose -2*a - 2*a - 14 = -5*l, 5*a + l = -32. Is (15/a)/(-5) + (-1212)/(-24) a multiple of 6?
False
Suppose -1 + 46 = -5*k. Let u(s) = -5*s**2 + 3*s + 47. Let g(n) = -14*n**2 + 8*n + 139. Let t(d) = 6*g(d) - 17*u(d). Is 13 a factor of t(k)?
True
Suppose -20*c + 27*c + 186120 = 27*c. Is 3 a factor of c?
True
Let w = -1129 + 1756. Suppose 4*m + w = x, -3*m + 945 = 4*x - 1620. Suppose 5*z - 820 = 5*k, 17 = 4*z + 5*k - x. Is 10 a factor of z?
False
Let y = -85 + 85. Suppose -w - 2*d + 9 = 0, y = 5*w - 5*d + 3 - 33. Is (-305)/10*(5 - w) a multiple of 3?
False
Suppose -2*a - 8622 = -5*d + 9128, -2*a + 7114 = 2*d. Does 74 divide d?
True
Is 54 a factor of (14/28 - (-101332)/8) + (1 - -1)?
False
Let k be (-80 + -3)*-1 + -2. Suppose 2*f - 4*f = h - k, f - 48 = -3*h. Does 3 divide f?
True
Let t be 34196/36 - (-5)/45. Let b = -633 + t. Is b a multiple of 5?
False
Let b(q) = 104*q**3 - q**2 + 6*q - 3. Suppose 16*f = 26 + 6. Does 11 divide b(f)?
False
Let x(y) = -3*y**2 + 401*y - 467. Is x(121) a multiple of 27?
True
Does 17 divide ((-1)/(-2))/((-15)/85450*-5)*9?
False
Suppose 0 = -104*r + 2160394 + 1019614. Is r a multiple of 187?
False
Let h = -307 + 312. Let a = 93 - h. Is a a multiple of 9?
False
Suppose -5*j = -1340 + 50. Suppose j = 5*m - 4*m - 3*w, 2*w + 982 = 4*m. Is m a multiple of 9?
True
Let n(g) = -48*g - 14. Let z be n(-1). Suppose -4*p + 272 = -0*p. Let o = p - z. Is o a multiple of 20?
False
Let i = 5981 - 4077. Is i a multiple of 20?
False
Suppose 5*a = 5*l + 35, 3*a + 22 = 6*a - 2*l. Let u be (-8)/((-3)/(12/a)). Suppose q = 5*q + u, 5*q + 290 = 3*h. Does 22 divide h?
False
Suppose 0 = -5*c + 5, -5*v = c - 0*c - 136. Suppose -9*x + 0*x + v = 0. Suppose 5*p - 4*g = 723, -p = p - x*g - 285. Is p a multiple of 21?
True
Let t = -2020 + 3288. Let r = 898 - t. Does 37 divide (r/3)/(13/(117/(-6)))?
True
Suppose 2*v = 4*h - 804, -3*h + 4*v + 400 + 203 = 0. Let b = h + -115. Is b a multiple of 7?
False
Suppose -14*d - 24 = -4*v - 17*d, d + 5 = 3*v. Suppose -4*q = -4, 2*u - 2286 = -v*q - 891. Is 11 a factor of u?
False
Let j(t) = t**3 - 10*t**2 - 24*t + 2. Let n be j(12). Suppose 4*o + 148 = 3*c, 137 = 2*c + 3*o + n*o. Is 2 a factor of c?
True
Let s(o) = 5237*o**2 + 4*o - 4. Let u be s(1). Suppose 12*k + 1901 = u. Let d = 398 - k. Is d a multiple of 6?
True
Suppose 47411 = 45*h - 59599. Is 35 a factor of h?
False
Suppose -4214 = -c + 5*a + 65520, 2*a = 2*c - 139460. Does 33 divide c?
True
Let m(p) = 18*p**2 + 31*p - 162. Suppose -4*t - v = v - 32, -44 = -4*t - 5*v. Is m(t) a multiple of 16?
True
Let g = -13574 - -14952. Does 21 divide g?
False
Let o(z) = 63*z**2 + 2*z. Let v be o(-1). Suppose v*s - 395 = 56*s. Does 8 divide s?
False
Suppose 0 = -8*o + 22 - 54. Let r(w) = 11*w**2 + 6*w - 9. Does 6 divide r(o)?
False
Let t = -3820 - -10490. Does 23 divide t?
True
Let g = -917 + 5572. Does 60 divide g?
False
Let q(w) be the first derivative of -w**4/4 + 8*w**3/3 - 4*w**2 + 9*w + 19. Let g be q(7). Is g/3 - (4656/(-9))/4 a multiple of 13?
True
Let g be ((-2)/(-2) + 12 + -14)*0. Suppose g = 3*b - 0*b + 3*r, 5*r + 50 = 5*b. Let f = 141 + b. Is f a multiple of 17?
False
Is 6 a factor of (-207620)/280*(-1 + -9) + -2?
False
Let i = -1435 + 6380. Is i a multiple of 57?
False
Let j(k) be the third derivative of -5*k**7/1008 - k**6/240 - k**5/60 - 16*k**2. Let b(d) be the third derivative of j(d). Is b(-2) a multiple of 17?
False
Let f = 9 - 6. Suppose -h + f = 1. Suppose g - 94 = 4*u, -3*g - 2*u = h*u - 250. Is g a multiple of 7?
False
Let c(h) = 6*h**2 + 5*h + 24. Let t(i) = i**3 + 17*i**2 + 10*i - 89. Let w be t(-16). Is c(w) a multiple of 9?
False
Suppose 0 = -4*r + 20, -72778 + 18858 = -5*n - 2*r. Is 6 a factor of n?
True
Let m(f) = 3*f + 2*f - 3*f - 25 + 4*f. Let y be m(5). Suppose -220 = -y*r - 2*b - 35, -15 = -3*b. Is r a multiple of 6?
False
Let g(o) = o**2 + 4*o + 6. Let n be g(-4). Let m be n/(-27) + (-56)/(-9). Does 17 divide (-2 - -5)/(m/136)?
True
Suppose -4*a - 2*d + 2687 = -3*d, 0 = -5*a - 4*d + 3364. Suppose -42*v - 16*v + 376 = -11*v. Suppose -264 - a = -v*t. Is t a multiple of 13?
True
Suppose -4*v - 4*v = -40. Suppose -538 = -v*r + 202. Let n = r - 93. Is n a multiple of 8?
False
Let p = 29 - 19. Let y(f) be the third derivative of 11*f**4/24 - 5*f**3/2 + 4*f**2. Does 7 divide y(p)?
False
Let r(z) = -16 - 14*z + 35 - 15 - z**2. Does 26 divide r(-8)?
True
Let a(m) = -3221*m - 436. Is a(-4) a multiple of 19?
False
Let y = 5306 - 2636. Does 10 divide y?
True
Suppose -66436 = -231*s + 214*s. Suppose -6*q - 530 = -s. Does 8 divide q?
False
Suppose 4*y = a + 4*a + 35882, -y + 4*a = -8976. Is y a multiple of 76?
True
Let s(i) = 123*i + 927. Is 87 a factor of s(54)?
True
Let q(g) = 7*g - 90. Let u(c) = -11*c + 179. Let a(v) = 7*q(v) + 4*u(v). Is a(-10) a multiple of 26?
False
Suppose 3*y = 4*w - 4 + 2, 0 = -w + y. Suppose -3*c + 33 = 4*q - 2, -3*c + 2*q = -5. Suppose b - 104 = -w*l - 0*l, -c*l - 460 = -5*b. Is 16 a factor of b?
True
Let r be 4/(-3)*(9 - (3 - -3)). Let z be (-5 - 76/(-4))*(-6)/r. Let y(x) = x + 19. Does 12 divide y(z)?
False
Is (20/(-30) - (-75682)/6) + (2 - -1) a multiple of 38?
True
Let u = 12084 