. Is 24 a factor of p?
True
Suppose -o = -209 + 217. Let d(q) be the third derivative of q**5/30 + q**4/2 + q**3/3 - q**2. Is d(o) a multiple of 15?
False
Let t(n) = 4 - n**2 + 5 + 0 - 2 - 46*n**3 + 165*n**3 - n. Does 10 divide t(2)?
False
Let o = 12482 + 17441. Does 15 divide o?
False
Let o be 3/6*1*2. Let q be o + 44/(-10) + 60/150. Is (-2)/q - 332/(-6) a multiple of 8?
True
Let w = -23 - -68. Let k = w - -66. Let g = k + -69. Does 21 divide g?
True
Suppose -25*w = -29*w - 2*j + 34, 2*w + 3*j = 11. Is 2 a factor of 2/w*(0 - -125)?
False
Does 4 divide 24*(0 + (618/18 - 7))?
True
Is (-77)/(-33)*6 + (-1 - 2) + -1 a multiple of 10?
True
Suppose 2*a + 0 = 8. Suppose -a*o + 4120 = -3*v, 3*o + v - 3061 = -4*v. Is 79 a factor of o?
True
Suppose 5*m + 3*o - 280 = 0, m + 6*o - 56 = 13*o. Is m a multiple of 56?
True
Is 7490*1 + 384/48 a multiple of 46?
True
Let z = 202 - 184. Does 14 divide (-4)/z + 0 + 11416/18?
False
Let c(d) = 7*d**2 + 23*d + 88. Suppose -334 = 17*n - 164. Does 18 divide c(n)?
True
Let q be (1/4 + (-19)/76)/4. Suppose -a + 2*a + 3*b - 99 = q, 506 = 5*a + 4*b. Is a a multiple of 6?
True
Let m(g) = 2*g**3 - 5*g - 45. Does 28 divide m(12)?
False
Let t(v) = -2*v - 28. Let y be t(-17). Suppose -4*w - 738 = -2*z, -y*z + 5*z = w - 381. Does 10 divide z?
False
Suppose -2*v + 792 = 4*r, 13*v = 16*v + 3*r - 1182. Does 71 divide v?
False
Let t = 8520 + -6744. Is t a multiple of 37?
True
Suppose -141*z = -129*z - 20652. Is z a multiple of 18?
False
Let f(y) = 25*y**2 + y - 116. Is f(-11) a multiple of 43?
False
Let j(x) = -x**2 + 12*x - 20. Let z = -115 - -120. Does 15 divide j(z)?
True
Let n(h) = 3*h**2 + 7*h - 89. Does 15 divide n(-25)?
False
Is (35529/(-130) - (-55)/22)*(-30)/4 a multiple of 51?
False
Let l(n) = n**3 + n**2 + 2. Let z(i) = -16*i**2 + 27*i + 41. Let h(b) = l(b) - z(b). Is h(-13) a multiple of 76?
True
Let p be 50/(-3)*(3 + (-12)/(-20)). Let s = p - -90. Suppose 142 - s = b. Is 18 a factor of b?
False
Let d = -8772 + 14328. Is 13 a factor of d?
False
Suppose -437*s = -438*s + 1760. Is s a multiple of 88?
True
Let i be -2073 - 42/((-24)/(-4)). Is (i/60)/(((-2)/9)/1) a multiple of 78?
True
Let t = 19772 - 15497. Is 15 a factor of t?
True
Suppose 5*z - 1638 = 6297. Suppose 3*v = 3*y - 948, 5*y + 0*y = -2*v + z. Is 17 a factor of y?
False
Suppose 7*y - 4*p = 5*y + 180, -5*y + 385 = 3*p. Suppose -y = 3*z + 64. Is (37/(-3))/(2/z) a multiple of 30?
False
Suppose -3277 = -3*a - 4*i, 5*a - 2*i - 7335 = -1856. Let d = a - 779. Suppose 3*v - d - 32 = 0. Is v a multiple of 18?
False
Let z(u) = -2*u**2 - 6*u - 8. Let q be z(-2). Let s(w) = -9 - 12 - 3*w + 9 + 10*w**2 - 13. Is s(q) a multiple of 32?
False
Suppose 2*b + 55 - 65 = 0. Let f be b*(-27)/3*1/(-3). Is 1341/15 + f/25 a multiple of 24?
False
Suppose 2*i + 3*i + 50 = -3*f, -34 = 3*f + i. Let p be f/(-1)*(-3)/5. Is -5 + 404/12 + (-8)/p a multiple of 10?
True
Let n(z) = z**3 + 15*z**2 - 18*z - 38. Let g be n(-16). Let b = g - -111. Is 8 a factor of b?
False
Suppose 4*n - 5*y = 80, -3*n + n = 4*y - 40. Let o = -8 + n. Is -30*(-2)/(o/9) a multiple of 10?
False
Suppose -5*t - 58 = -2*g - 2*t, -2*g + 38 = 2*t. Suppose g*m - 3442 = -38. Is 3 a factor of m?
False
Let x = 26671 + -21735. Is x a multiple of 4?
True
Suppose -519904 = 1889*y - 1911*y. Is 56 a factor of y?
True
Let n be (1*-1)/(7/(-273)). Let a be ((-355)/(-4))/(n/12 - 3). Suppose -30*m + a = -25*m. Does 3 divide m?
False
Suppose 11*o = 13*o + 5*o. Let b(k) = -k**3 + 2*k + 188. Does 47 divide b(o)?
True
Let u = 27131 - 16669. Does 17 divide u?
False
Is 7 a factor of (-2 + -3 - (-4 + 10)) + 6160?
False
Suppose -25 = -28*a + 87. Suppose a*r = -0*w + 2*w - 124, -5*w - 2*r + 334 = 0. Is w a multiple of 9?
False
Let w(t) = -8*t - 18. Let c(k) = -3*k + 56. Let y be c(20). Let r be w(y). Suppose -5*u + 609 = -4*d, -17*u = -r*u - 2*d - 367. Does 5 divide u?
True
Let g be (10/20)/((-2)/(-940)). Let q = g - 67. Does 12 divide q?
True
Let r = 116 + -62. Suppose r = -11*z + 186. Does 6 divide z?
True
Suppose 6 - 2 = 2*s + 2*l, 2*s - 4 = -5*l. Suppose -a - u + 57 + 452 = 0, s*a + 5*u - 1012 = 0. Does 73 divide a?
True
Let b(v) = -v**3 + 6*v**2 + 6*v - 4. Let h be b(6). Suppose -94 = 31*a - h*a. Let s = -46 + a. Is 12 a factor of s?
True
Let i be (-138)/(-7) + 6/21. Let a(f) = -834178 - 17*f - f**2 + 834154 + 2*f**2. Is 12 a factor of a(i)?
True
Let q(f) = -1130*f - 2377. Is q(-18) a multiple of 144?
False
Let j = 40614 - 20246. Does 152 divide j?
True
Let c = 14 + 1. Let w = -19 + c. Let k(t) = 2*t**2 + 2*t + 3. Is 8 a factor of k(w)?
False
Let n(m) = -3*m**2 + 37. Let x(t) = -2*t**2 + 38. Let g(b) = -3*n(b) + 4*x(b). Let q be g(0). Let z = q - 1. Is z a multiple of 5?
True
Suppose -32*o + 35*o = 4*k - 6415, 1561 = k + 4*o. Is 4 a factor of k?
False
Let l = 11 - 16. Let z = 302 - 292. Does 12 divide 2048/z - (-4)/l?
True
Suppose 2*g + 5*y + 19 = 0, g + 0*y + 11 = -3*y. Let m be g/7*(-16 - -9). Suppose m*x + 0*x - 20 = 0. Is x a multiple of 2?
True
Suppose 1 = u - 1, -u + 10 = v. Suppose -v*b + 9 = -23. Let g(r) = 13*r + 5. Does 19 divide g(b)?
True
Suppose 9775 + 56564 = 37*g - 16*g. Does 81 divide g?
True
Is -164*(374/(-40) + (-6)/(-10)) a multiple of 35?
True
Suppose 6*w = 4*w - 3*f - 72, -3*w - 123 = -3*f. Let r = 464 - 245. Let t = w + r. Is t a multiple of 31?
False
Let c = -1935 - -5736. Is c a multiple of 120?
False
Let d be (6/21)/((-5)/(-280)). Let w = -24 + d. Does 11 divide -44*((-70)/w)/(-5)?
True
Let a = 1636 - 1162. Let r be 4 - a*((-20)/12 + 1). Let z = r - 220. Is 20 a factor of z?
True
Is 11 a factor of (1029*-1)/(1079/(-52) - -20)?
False
Is 13 a factor of (-11494)/(-16) + 14 + 1150/(-80)?
False
Let v = -377 + 380. Suppose -7*r + v*b = -4*r - 885, r + 2*b = 292. Does 8 divide r?
False
Let u(h) = 18*h**2 + 79*h - 1882. Does 166 divide u(28)?
True
Let p = -56 - -61. Is -1 + p + 5 + 9 a multiple of 9?
True
Suppose 45*i = 47*i - 6. Suppose -5*o - 12 = i*k, -4*k - 16 = -o - 0. Suppose -5*p + 598 = -2*c + 4*c, 5*c + 5 = o. Is 21 a factor of p?
False
Let u(d) = 131*d**2 + 12*d + 18. Let p be u(-3). Suppose p = 4*n - 787. Is 46 a factor of n?
False
Suppose -3*k + k - 2 = 4*d, -d = 4*k - 17. Suppose 2*c + 8 = -k*q + 6*c, c = -4*q + 2. Suppose -2*u + 2*b = -q*b - 64, 2*u + 5*b = 57. Does 18 divide u?
False
Suppose -63 = -10*r + 31*r. Let p(j) be the third derivative of j**6/60 + 2*j**5/15 + j**4/6 + 7*j**3/6 - j**2. Is p(r) a multiple of 3?
False
Suppose -375083 - 314389 = -38*b. Is b a multiple of 32?
True
Let g(u) = -7*u**3 + 149*u**2 + 1439*u + 7. Is g(-9) a multiple of 14?
True
Let x(l) be the third derivative of -l**6/360 + l**5/15 + l**4/2 - 18*l**2. Let g(r) be the second derivative of x(r). Is 16 a factor of g(-4)?
True
Let g = 2015 + 770. Is 5 a factor of g?
True
Suppose -88 = -10*r - 38. Suppose -831 = -5*a + r*b + 589, -b = -2*a + 572. Is a a multiple of 16?
True
Suppose -2*p - 5*l = -10*l + 23, -p = -l + 4. Suppose 0 = -5*n - 5*a + 30315, 5*n - 30303 = -2*a + a. Does 10 divide p/(-7) + n/35?
False
Let k be 5 + 3 + -4 + 15. Suppose 6*b - 4*u + 10 = 4*b, k = -3*b + 2*u. Does 18 divide (-4)/28 + (-127)/b?
True
Suppose -13*d - 1499 = 113. Let c = 130 + d. Suppose -4*t - c - 2 = 0, -2*m = -t - 230. Does 13 divide m?
False
Suppose 58*k = 53*k + 600. Suppose 4*u + f - 652 = 0, -u - 5*f + 62 = -k. Is u a multiple of 11?
False
Suppose 2*f + 2*d - 21980 = d, -2*f + 21964 = -3*d. Is 134 a factor of f?
True
Let n be -2*250/(-18) - (-12)/54. Does 6 divide (37/n + 30/70)*200?
False
Let o(y) = 2*y**2 + 29*y + 675. Is o(33) a multiple of 17?
False
Let l(p) = p**3 - 4*p**2 + 2*p - 6. Let i be l(4). Suppose 52*q - 13*q + 16*q = 110. Suppose -q*z + 128 = i*z. Is z a multiple of 16?
True
Suppose 12 = -x + 2*k, 0 = 3*x - 5*k - 8 + 39. Let f be (-4)/(-8) - (1 + (-487)/x). Let j = f - -444. Does 50 divide j?
True
Let i = -2517 - -3749. Is 77 a factor of i?
True
Suppose -5*p + 15318 + 22779 = 12*p. Is 27 a factor of p?
True
Suppose -3*s + 3*k - 393 = -2991, 5*s + 2*k = 4372. Does 6 divide s?
False
Suppose 404 = 2*x - 7*c + 11*c, -3*x - c = -611. Let o = x - -86. Is o a multiple of 11?
False
Suppose r = -4*z - 1019, -4*z + 2*r = -z + 778. Let c(h) = 21*h**3 + 2*h**2 - 2*h - 3. Let x be c(-2). Let t = x - z. Is 10 a factor of t?
False
Let i = -