 - t - 23230, -4*t + 13256 = -11*h + 15*h. Is 79 a factor of h?
True
Does 13 divide (-2368941)/(-423) - (-2)/(-6)*-2?
False
Let b(u) = 4*u**2 - 69*u - 153. Does 3 divide b(22)?
False
Let n(r) = -541*r - 487. Is n(-13) a multiple of 129?
False
Is 12 a factor of (35/(-2) + 19)/(-6*3/(-10452))?
False
Suppose 18*i - 5*s - 4404 = 14*i, -3*i + 5*s = -3308. Suppose -8*b = -3464 - i. Is b a multiple of 9?
False
Is 71 a factor of (-158472)/(-27)*216/96?
True
Suppose 399*r - 435*r = -1194480. Does 15 divide r?
True
Suppose 8994 = w - 12*p + 15*p, 18003 = 2*w + 3*p. Does 63 divide w?
True
Let b = -3742 - -11222. Does 10 divide b?
True
Let w = 22 - -5. Let q be 33/w - 1 - 32/(-18). Suppose -124 = -3*o - 4*m, -5*o - q*m + 255 = -5*m. Is o a multiple of 16?
True
Let x(f) = -136*f + 57. Let o be x(-3). Suppose 2*n + 170 = y, -3*y - 3*n + o = -0*y. Is 6 a factor of y?
False
Suppose -3*m - 6056 = -2*v, -4*v + 7691 = -4*m - 4417. Is v a multiple of 27?
False
Suppose -3*j + 15 = -3. Suppose -20 = 10*n - j*n. Let s(c) = 7*c**2 + 14*c + 11. Is 10 a factor of s(n)?
False
Suppose 0 = -161*h + 154*h + 10192. Suppose -h = 213*o - 221*o. Is 26 a factor of o?
True
Let a = 18 + -60. Let h be (9/6)/(1/58). Let o = a + h. Does 9 divide o?
True
Let a(l) = -l**3 + l**2 + 19*l + 5. Let n be a(-4). Let y(r) = 4*r**2 - 3*r - 33. Is y(n) a multiple of 24?
True
Let m(r) = -27*r - 55. Let k be m(-6). Suppose 5*g - o - k = 1025, -4*g - o = -902. Is 16 a factor of g?
False
Let k = 266 - 69. Suppose -r + k = -100. Does 11 divide r?
True
Suppose 3*m - 5 = 3*f - 2, 2*m - 4 = 3*f. Let s be f*(-63)/(-24)*40/(-3). Suppose 8*b = 10*b - s. Is 7 a factor of b?
True
Suppose -2*x = w - 4135, -x - w + 2069 = -0*w. Suppose -r + p + 1038 = 0, 17*r = 19*r - 4*p - x. Does 13 divide r?
False
Let y be 34/(-119) - 216/(-21). Let d(t) = t**2 - 5*t - 2. Let l be d(5). Does 17 divide (y + l)/(-1 + 95/85)?
True
Suppose 4*o - 12471 = -3*v, 15612 = -50*o + 55*o - 4*v. Is 16 a factor of o?
True
Let p = 545 + -312. Suppose k - 583 = -p. Is k a multiple of 7?
True
Let r(z) = -253*z + 2427. Does 66 divide r(8)?
False
Let j be (1 - (-28)/(-21))/(1/(-24)). Suppose -j*q + 4 = -12. Suppose 27 = q*b - 7. Is b a multiple of 17?
True
Let t = 851 - -34. Suppose 5*k + 2*a - 1237 = 0, 5*k - 364 - t = a. Does 14 divide k?
False
Suppose 3*r - 4*z - 934 + 184 = 0, -3 = -z. Let f = r + 109. Is f a multiple of 33?
True
Suppose -2*x - 198 + 2398 = 2*c, -2*x = -10. Is c a multiple of 3?
True
Suppose -n = 4*n + 3*t - 181, 2*n + 5*t = 80. Let z(y) = 54 - n - 27 - 28*y. Is z(-5) a multiple of 12?
True
Let t(y) = y**2 - 11*y + 54. Let c be t(17). Suppose -3*p + 230 = 2. Let o = c - p. Is o a multiple of 8?
True
Let t(y) = y**2 + 4*y + 71. Let c be t(0). Let j = c + -66. Suppose -j*z + 4*z + 12 = 0. Is z a multiple of 3?
True
Suppose 0 = -3*s + 2*m + 1, s + 5*m = 22 + 1. Suppose -26*z = -5482 - 862. Suppose 5*w - z = w + 4*i, 191 = s*w - i. Is w a multiple of 14?
False
Let h = 2 + -2. Suppose h = -2*t + 2*i + 34, -i + 4*i - 69 = -3*t. Is 12 a factor of ((-24)/5)/(t/(-650))?
True
Suppose 0 = -5*j - 2*g + 86 + 198, -4*j + 5*g + 214 = 0. Suppose 0 = -3*a + b + 161, -a - 4*b + j + 15 = 0. Is a a multiple of 5?
True
Let w = 27675 + -11896. Is w a multiple of 18?
False
Let r(c) = -c**3 - 13*c**2 + 29*c - 11. Let a be r(-15). Suppose -5*g = m + 314, 0 = 5*m - a*g + g + 1654. Let h = -189 - m. Is h a multiple of 35?
True
Suppose 15 = 7*s - 2*s. Suppose -s*v + 33 = 3*c, 0 = 3*c - 0*c - 5*v - 65. Suppose -5*b - 3*a = -0*b - 1065, 0 = 3*a - c. Is b a multiple of 30?
True
Suppose -d + 2*d - 5 = 0, 3*d = -5*p - 5. Let h(q) = -2*q**3 - 3*q**2 - 8*q + 3. Is 57 a factor of h(p)?
False
Suppose 5*m + 3*t + 66 = 0, -5*m + 54*t - 81 = 52*t. Let h(k) = 6*k**2 + 6*k + 86. Does 49 divide h(m)?
False
Let h be 68/51*(1 + -8 - 2). Let q(s) = -4 - s**3 - 13*s - 4*s**2 - 9*s**2 + 0*s**3 + 11. Is 16 a factor of q(h)?
False
Let j(r) = -r**3 + 35*r**2 - 8*r + 80. Let b be j(15). Suppose 17*y - 6403 - b = 0. Is y a multiple of 15?
False
Let n(p) = 25*p + 31 - 2 - p**2 - 3. Is 24 a factor of n(23)?
True
Suppose 9*p = 14*p - 26*p + 457254. Does 191 divide p?
True
Let y(p) = 14*p + 9. Let u(v) be the third derivative of v**6/120 - v**5/15 + v**4/6 + v**3/6 + 23*v**2. Let n be u(3). Is 13 a factor of y(n)?
True
Suppose -2*c + 8 = -0*c, -c = -2*y + 132. Suppose -15*s + y = 8. Suppose -s*h = 4*h - 896. Is 14 a factor of h?
True
Let g = 1625 + -923. Let x = g + -549. Is 51 a factor of x?
True
Let n = 6397 - 4968. Is n a multiple of 5?
False
Let h be (156/18)/((-4)/6). Let y(c) = 135*c + 33. Let u be y(h). Is 13 a factor of 42/11 + -4 - u/33?
True
Let i = 8653 - 3241. Is i a multiple of 33?
True
Let x(h) = 8*h**3. Let a be x(-1). Let c be ((-1)/2)/((1 - -1)/a). Suppose -4*u + 81 = -p, 53 = 2*u - c*p - p. Is u a multiple of 19?
True
Suppose 0 = 2*k - 4*f - 14834, -4*k = 3*f - 10369 - 19233. Is 20 a factor of k?
False
Is ((-61202)/(-71) + 51)/((-72)/(-70) - 1) a multiple of 74?
False
Suppose -v + 73 = 3*j + 2*j, 0 = -2*v + 5*j + 116. Let x be ((-24)/(-68))/3 + 15624/(-153). Let h = v - x. Is h a multiple of 28?
False
Suppose 4*f + u - 14 = 0, 5*u - 15 = -3*f + 4. Suppose 0 = -b - 5*j + 31, -3*j + 12 = -0*j. Suppose 0 = -b*s - f*s + 630. Is s a multiple of 15?
True
Let l be -9*4/6 + (2 - -1). Is 5*(-1 - l) + 0 a multiple of 7?
False
Let z(g) = g**3 + 3*g**2 - 10*g - 7. Let m = 28 - 33. Let b be z(m). Is 3 a factor of (-2)/(3 + b)*18?
True
Suppose -2*v + 2*m - 30 = 0, 32 = -v - v + 3*m. Let f = v + 15. Suppose 2*i = f - 6, -78 = -5*o - i. Is o a multiple of 16?
True
Let g(i) = -18*i + 8. Let r be g(-12). Let o = r + -112. Does 4 divide (2 - o/52) + (-327)/(-13)?
False
Suppose 11*v - 3575 = -2*v. Let h = 335 - v. Does 6 divide h?
True
Let r = 7848 + 3645. Is 42 a factor of r?
False
Suppose -5*n + 3*a = -2*a - 40, -16 = -n + 5*a. Suppose -7*s = -4*z - n*s + 1156, -2*z + 596 = 4*s. Is 10 a factor of z?
True
Suppose 32*u - 496356 = -6*u. Is u a multiple of 15?
False
Suppose 23*a + 32950 - 125216 = 165058. Is 55 a factor of a?
False
Suppose 13*j - 8*j + 4*n - 51020 = 0, 3*j = n + 30595. Is 34 a factor of j?
True
Suppose 5*p = 6 + 4. Let g(n) = 24*n + 9*n + 17*n + p*n. Is 24 a factor of g(2)?
False
Suppose r - 3 = 4*r. Let c(p) = -4*p - 2. Let h be c(r). Does 42 divide ((-226)/h - -4)/(2 - 3)?
False
Let h be ((-42)/4)/(33/66). Is 3 a factor of 3 + 7/h*1182/(-2)?
False
Let r = -2380 + 9588. Is 34 a factor of r?
True
Suppose 23*l + 1878 = 20*l. Let c = -446 - l. Does 10 divide c?
True
Suppose 5*p - 54 = -89. Is (-42)/p + (-2 - -111) a multiple of 23?
True
Suppose -4*b - 44585 = -5*t, 38*t + 5*b - 8917 = 37*t. Is t a multiple of 10?
False
Let r = 2927 - 2027. Does 75 divide r?
True
Suppose 0 = 5*c - 3*d - 103512, 42801 = 4*c + 5*d - 40053. Does 13 divide c?
False
Let d = 709 + -454. Let n(u) = 32*u + 29. Let l be n(13). Let a = l - d. Does 18 divide a?
False
Let d(s) = 3047*s + 306. Is 32 a factor of d(2)?
True
Let j be (-2*2)/(88/(-2882)). Let d = 360 - j. Is 6 a factor of d?
False
Suppose -6*w + 4*w = b - 1096, -4*w + 3278 = 3*b. Let f = -396 + b. Is 30 a factor of f?
True
Is (-230514)/18*33/(-44) - (-2)/8 a multiple of 55?
False
Let t be (1 - (-47)/3)/((-1)/(-60)). Suppose 0 = -2*v + 2*f - 4*f + t, 0 = -4*v + 2*f + 2024. Does 12 divide v?
True
Let l(g) = g**2 + 7*g + 2. Let k be l(-6). Suppose 1242*y - 1249*y - 140 = 0. Is 4 a factor of (y/12)/(k/12)?
False
Let b(k) = 641*k - 826. Is b(11) a multiple of 15?
True
Suppose -23 = -3*o + 184. Suppose d - 5*b = 95, -b - 3*b = 2*d - 162. Suppose 7*r - o = d. Is r a multiple of 11?
True
Let s be (0 + (-6)/(-9))*(-38106)/(-116). Let i(g) = -340*g + 1. Let l be i(-1). Let z = l - s. Is 24 a factor of z?
False
Suppose -135 - 615 = -3*n. Is (6600/n)/(-2 + 323/160) a multiple of 22?
True
Let f(k) = k**2 + 8*k - 33. Let x(t) = -t**3 - 7*t**2 + 16*t - 1. Let z be x(-9). Does 49 divide f(z)?
True
Let a = 3706 + 5621. Is a a multiple of 18?
False
Suppose 0 = 64*v - 60*v + 8. Let n(u) = -24*u**3 + 7*u**2 + u + 5. Let a(o) = -12*o**3 + 3*o**2 + 2. Let f(r) = 5*a(r) - 2*n(r). Is f(v) a multiple of 26?
True
Suppose r - 24 = -5*x - 17, -3 = -3*x. Let p(m) = -5*m**2 + 5*m - 8. Let w be p(-7). Is 47 a factor of r - 5/(20/w)?
False
Let x(a) = 83*a**3 