35)?
True
Let r = 1228 - 761. Is r a multiple of 7?
False
Suppose -5*v - 1999 = 4*u, -6*u + 3*v - 521 = -5*u. Let k = -357 - u. Does 29 divide k?
False
Let h = 3777 - 6357. Let d = h - -3677. Is 47 a factor of d?
False
Suppose 2*k + s - 2*s - 236 = 0, s + 587 = 5*k. Suppose -96*u - 307 = -2899. Does 26 divide (1 + 23)*k/u?
True
Suppose -2*a = -3*a - 5*w + 28, w + 88 = 5*a. Let p = -18 + a. Suppose r + 2*r - 513 = p. Is 18 a factor of r?
False
Let p be -5 + (2 - (1 + -35)). Suppose 34*w - p*w - 150 = 0. Is 5 a factor of w?
True
Let h(n) = 35*n - 1272. Does 45 divide h(79)?
False
Is ((-976)/64)/(4/(-6560)) a multiple of 172?
False
Is (10 - 9)*1/(-4) - 2297/(-4) a multiple of 63?
False
Let v(i) = -20*i**3 - 83*i**2 - 538*i - 9. Does 50 divide v(-7)?
True
Let x = -5534 - -7032. Does 2 divide x?
True
Let b = 134 + -131. Suppose 0 = b*c - 5*w - 26, -2*c - 5*w + 9 = -0*c. Is 7 a factor of c?
True
Suppose -v + 65*n + 7114 = 62*n, n + 7112 = v. Is 90 a factor of v?
False
Let t be ((-50)/(-15) + -3)/(2/6). Let m be t/5 - 19/(-5). Suppose m*z + 40 = 136. Is 2 a factor of z?
True
Let b(z) be the third derivative of 1/3*z**4 + 7/6*z**3 - 11*z**2 + 0*z + 0. Does 11 divide b(6)?
True
Let i = -62 - -64. Let c be (-2)/6*8*(-3)/i. Suppose -2*f + c*f - 344 = 0. Is f a multiple of 12?
False
Let o = -328 - -355. Suppose -13*k = o*k - 200. Is k a multiple of 2?
False
Suppose 876*y - 873*y - 1017 = 0. Does 55 divide 3*y*(19/3 - 6)?
False
Suppose -159*l + 272*l - 194812 = 0. Is l a multiple of 9?
False
Is 1029570/50 + 28/(-20) a multiple of 71?
True
Let y = -1506 + 3624. Does 67 divide y?
False
Suppose 0 = 4*l - g - 30794 - 35736, 3*l - 49888 = -4*g. Does 9 divide l?
True
Let b = 1873 - 1893. Suppose 0*u - 4*u - 5*m = -663, 0 = -4*u - 3*m + 665. Let i = u + b. Is 12 a factor of i?
False
Let l be (1 - 6) + 1 + 4. Is l + (-4)/(-10) + (-1976)/(-10) a multiple of 11?
True
Is 14 a factor of (-2)/((-21)/(64041 + 9))?
False
Suppose -5*k + 0*k = 5*q - 20, -3*q = -5*k - 12. Suppose k = 3*r - 2*r. Is (-13 + r)*(-12 - -8) a multiple of 21?
False
Suppose -71 - 39 = -11*f. Suppose -2*o - 1414 = -4*j, -f*j + 15*j - 3*o = 1765. Is 15 a factor of j?
False
Suppose 15*k - 11*y = -8*y + 388521, -2*k + 51798 = -2*y. Is 9 a factor of k?
True
Let i(u) be the third derivative of 0*u - 13/24*u**4 + 14*u**2 + 1/60*u**5 + 0 - 7/6*u**3. Does 21 divide i(21)?
False
Is 117 a factor of 4170/(-12)*5800/(-250)?
False
Let h be (2/6 + (-2)/6)/1. Suppose -54 = 4*r + 3*s, s + 14 = -r - h*s. Is ((-316)/r + -3)*3 a multiple of 14?
True
Let f be ((-5)/((-225)/(-1602)))/(1/5). Let p = -58 - f. Is 21 a factor of p?
False
Does 31 divide (3024/360)/((-3)/(-625))?
False
Suppose -5*j = g - 18, 9 = -4*g + 1. Suppose j*z + 12 - 20 = 0. Suppose u + 7*x - 2*x - 57 = 0, -z*u - 2*x = -146. Does 15 divide u?
False
Let g(o) = 23*o + 237. Is 2 a factor of g(10)?
False
Suppose 169*x - 755665 = 54*x. Is x a multiple of 7?
False
Is 17 + 4 + (-23 - -15497) a multiple of 15?
True
Let c be (0 - -1)/(-2 - (-11)/5). Suppose -4*y + l = -14, -2*y - 9 = c*l - 27. Let d(t) = 46*t - 11. Does 19 divide d(y)?
False
Let m(w) = -3*w**2 + 15*w - 37. Let o be m(6). Let h = 135 + o. Suppose h - 20 = 3*x. Is x a multiple of 3?
False
Let u be 1/(-6)*-3*(-3 - -93). Suppose -3*f + 237 = u. Is f a multiple of 8?
True
Is (-13)/5 - -2 - (-11 + (-725736)/110) a multiple of 14?
True
Suppose 0*s = 7*s - 7700. Suppose 3*b - 2*a - 3*a - 664 = 0, -5*a - s = -5*b. Let v = 75 + b. Does 11 divide v?
False
Let g = -37 + 37. Suppose g*a = -3*a + 648. Suppose -18*k = -6*k - a. Is k a multiple of 7?
False
Is 429646/210 + (-6)/(-90) a multiple of 33?
True
Suppose 0 = -8*l + 6280 + 4000. Suppose -9*o = -m - 14*o + 439, l = 3*m - o. Is 11 a factor of m?
True
Suppose 0*s - 3*s = -12. Let w be (15/(-9))/((-1)/12). Suppose s*h = -w + 324. Is 19 a factor of h?
True
Suppose 4*y + 402 = 5*u + 8*y, -4*y = u - 74. Let k = -92 + u. Does 38 divide k*(-47)/8 + (-9)/12?
False
Let t(y) = 18*y**2 + 36*y + y**3 - 56*y + 17 - 2*y**2. Does 32 divide t(-16)?
False
Let o(r) = 44*r**2 - 232*r + 13. Is 7 a factor of o(10)?
True
Let h be 0/(-2 + -2)*-3*(-2)/(-12). Suppose -y = 5*q - 141, -5*y + 0*q + 774 = 2*q. Suppose 5*l - l - y = h. Does 5 divide l?
False
Let p(g) = 22*g + 21. Let m be p(15). Let n = 530 - m. Is n a multiple of 15?
False
Suppose -9*t + 4*n - 58449 = -14*t, 5*t = 3*n + 58407. Is 95 a factor of t?
True
Suppose -85 = w - 4*y, -2*w - 2*w + 4*y - 316 = 0. Let k = w - -277. Suppose -101*d - k = -102*d. Is 29 a factor of d?
False
Suppose 317*o - 575640 = 200*o. Does 30 divide o?
True
Suppose -2*d = 5*j - 296 + 9, -5*j + d = -284. Suppose 2808 = j*r - 51*r. Does 13 divide r?
True
Let b = 499 + -354. Suppose -2*j = -239 + b. Does 6 divide j?
False
Suppose 416*j - 4341691 - 16375109 = 0. Does 200 divide j?
True
Let m(d) = 3*d**2 + 15*d + 215. Is m(24) a multiple of 49?
True
Suppose 30*j + 1233 - 130887 = -19*j. Does 6 divide j?
True
Let q be 141/(315/144 - 6/3). Is -12*(-8)/24 + q a multiple of 28?
True
Suppose -23*z - 245850 = -57*z - 115*z. Is 11 a factor of z?
True
Suppose 5*n - 5*p - 195 = 0, 0 = 61*p - 56*p - 5. Is 10 a factor of n?
True
Let b be ((-3271)/(-2))/(-1 + 6/4). Suppose -9823 = -12*i - b. Does 26 divide i?
True
Suppose -8*s = -269 - 499. Let k = s + -78. Does 22 divide (0 - -1)/(k/3582)?
False
Suppose 0 = -3*h + 15, -36 = -2*v - 5*h + 299. Is v a multiple of 11?
False
Suppose -46*b - 100523 + 573403 = 0. Does 125 divide b?
False
Let v be 2994/(-20)*-8 - 15/25. Suppose 22*s - v = 3*s. Does 7 divide s?
True
Suppose 0 = 110*p - 106*p + 640. Does 8 divide p*-4*(-8)/(-16)?
True
Suppose -21*u + 8000 = -13*u. Suppose 0 = 15*t - 25*t + u. Is t a multiple of 5?
True
Suppose 0 = 3*w, 0 = 3085*f - 3090*f + 3*w + 131755. Is f a multiple of 5?
False
Let g(f) = -f**3 + 20*f**2 - 61*f - 18. Let v(q) = 13*q - 76. Let t be v(7). Is 41 a factor of g(t)?
False
Let s = -13465 - -21991. Does 14 divide s?
True
Let w = -26 - -1454. Is 12 a factor of w?
True
Let k(h) be the third derivative of h**9/10080 + h**8/20160 - h**6/720 - 11*h**5/30 - 10*h**2. Let r(x) be the third derivative of k(x). Is 4 a factor of r(1)?
False
Let c(h) be the third derivative of -h**5/60 - 35*h**4/24 - 25*h**3/3 - 40*h**2 + 1. Is c(-25) a multiple of 25?
True
Let n be -6 - (-42)/9*21. Let z be 694/4 + 1/2. Let k = z - n. Is 11 a factor of k?
False
Let p(r) = 5*r**2 + r. Let x be p(-1). Suppose -5*f - 2073 = -4*z, -6*z - 3*f - 2575 = -11*z. Suppose 88 = x*m - z. Does 23 divide m?
False
Let q(k) = -2*k**3 + 17*k**2 + 2*k + 43. Let i be q(8). Let m be 44*(-3)/(6/5). Let h = m + i. Does 2 divide h?
False
Let y = -49 + 46. Let x be -1 - y - (-34)/2. Let n = 8 + x. Does 9 divide n?
True
Suppose -6*v = 10*v - 17537 - 11823. Does 7 divide v?
False
Suppose 15 = -4*b - 3*t, 5*t - 17 = -2. Is -1 + (-454)/b*(2 - -1) a multiple of 7?
False
Let v(s) = -2*s**2 + 18*s + 35. Let g be v(-2). Is 3 a factor of (g - 812/(-12)) + (-5)/3?
True
Let c = -134 - -196. Suppose -c = -r - 4*d, 6 + 36 = r - d. Is r a multiple of 3?
False
Suppose -60291 = -19*l + 6*l - 14*l. Is 12 a factor of l?
False
Suppose 5632*l - 5619*l - 50440 = 0. Is 10 a factor of l?
True
Suppose -7047 - 55625 = -4*d - 0*d. Is d a multiple of 38?
False
Let w be (1 + -1)/(3 - (-4 - -11)). Suppose 5*q - 7*q + 392 = w. Is 28 a factor of q?
True
Is 72/(-8)*(-758)/2 a multiple of 32?
False
Let a(z) = z**3 + 7*z**2 + 8*z + 7. Let u be a(-6). Let f(b) be the third derivative of -5*b**4/12 + b**3/6 - 24*b**2 - 1. Is 9 a factor of f(u)?
False
Let l(x) = -x**3 - 4*x**2 - 5*x - 6. Let g be l(-3). Suppose 7*v - 3*v = 0. Suppose g*c - c + 17 = v. Is c a multiple of 17?
True
Let l be (2/(-3))/(-6 + (-492)/(-81)). Let u(m) = -m**2 - 30*m - 2. Does 17 divide u(l)?
True
Suppose 2*t - 5 = -3*n - 14, 5*n = 2*t - 15. Suppose t = -4*u + 4*q + 364, u - 4*q = 4*u - 308. Suppose 6*v - u = 2*v. Is 24 a factor of v?
True
Suppose -4*s + 5*c - 17572 = -57879, -2*s + 3*c + 20157 = 0. Is s a multiple of 3?
True
Suppose -2*k = 3*l - 2853, 979 = 4*k - 3*l - 4736. Suppose 0 = 23*b - 458 - k. Does 41 divide b?
True
Let g = 18 - 15. Let o be 4 + g + 1 + -2. Does 4 divide (-7)/(-2)*24/o?
False
Is (6237/378)/(262/128 + -2) a multiple of 32?
True
Suppose -r + 2071 = 3*f, -3*r + 557 = -2*f - 56