ppose 21*x - 13818 = 154479 - 7836. Is 9 a factor of x?
True
Let t(y) = -13*y**2 + 4*y - 6. Let r(d) = -3*d**2 + d - 2. Let h(a) = -9*r(a) + 2*t(a). Suppose 0 = -4*k + 32 - 8. Is 4 a factor of h(k)?
True
Suppose 3*v + 3*b = 1011, 1983 - 295 = 5*v + 2*b. Let t = v + 280. Suppose 7*x - t = -177. Is 21 a factor of x?
True
Suppose 25*i = -0*i - 425. Let w(y) = y**2 + 7*y + 14. Is w(i) a multiple of 13?
False
Let b(l) be the first derivative of -11*l**2 - l + 38. Let g(q) = -q + 1. Let a be g(2). Does 21 divide b(a)?
True
Let q = 3804 + -1164. Is q a multiple of 15?
True
Suppose -20*z + 15*z = 0. Suppose z*a = 5*a - 1385. Is a a multiple of 54?
False
Suppose 0 = -6*s - 85*s + 266175. Is s a multiple of 5?
True
Let p = -20 + 24. Suppose 0*g = p*u + 4*g, 5*u + 4 = -3*g. Does 5 divide (-1 + 0)*u + 2 + 16?
True
Suppose -4*o + 2 = 3*s - 0*s, -4*s + 4*o = -12. Let m be ((-48)/28)/(s/49). Let l = -9 - m. Does 13 divide l?
False
Let u(h) = -h**3 - 19*h**2 + 37*h + 54. Does 75 divide u(-24)?
False
Let c(u) = -u**3 + 456*u - 77. Is c(-22) a multiple of 7?
True
Suppose -54030 = -5*a + m, 4*a + 17836 - 61060 = -5*m. Does 20 divide a?
False
Suppose -3*z + 132 = -4*m - 0*m, 4*m = -5*z - 100. Let b be 50/4*112/20. Let q = b + m. Does 5 divide q?
True
Suppose 53*c + 36 = 47*c. Is 54 a factor of (-7)/(-1) + c - -215?
True
Let l(t) = -t + 18. Let h be l(-18). Let z = h - 36. Suppose -11*n + 14*n - 48 = z. Does 16 divide n?
True
Suppose 0 = u + 7*u - 24. Suppose -4*o = -5*d + 2*d + 19, -2*o = u*d - 13. Suppose d*i = 3*i + 60. Is i a multiple of 6?
True
Let b(y) = 2*y**3 - 10*y**2 + 8*y + 16. Let i be b(7). Let a = -130 + i. Let t = a - 47. Is 12 a factor of t?
False
Let z(d) = 5*d + 1. Let j be z(1). Suppose -5*s + 485 = -j*u + u, 5*u + 3*s = -509. Let f = u + 141. Is f a multiple of 39?
False
Suppose 0 = -4*m - c - 128, 3*m + c + 81 = 4*c. Let x = -1 - m. Suppose 315 = -27*b + x*b. Is 26 a factor of b?
False
Is -4 + 4031 + 0 + (5 + -9)/(-4) a multiple of 19?
True
Let q(l) = -6*l - 2. Let b be q(-2). Let g(w) = 5*w**2 + w**3 - 16*w**2 + 14*w + 20 - 13. Is 8 a factor of g(b)?
False
Let q(y) = 2*y**3 + 5*y**2 - 30*y + 224. Does 16 divide q(8)?
True
Let z(h) = h**3 - 2*h**2 - 4*h + 9. Let g(d) = -2*d**2 - 16*d - 28. Let p be g(-11). Let n be (-10)/45 - p/18. Is 16 a factor of z(n)?
True
Suppose 0 = -3*t + 5*f + 44530, 0 = t + 109*f - 112*f - 14846. Does 14 divide t?
True
Suppose 4*a - s - 7 = 4, 3 = -3*a - 3*s. Let j be (-2)/(-3) + (-8)/12 + a. Is ((-1)/3)/(j/(-72)) a multiple of 7?
False
Suppose 36*r = 34*r - 5*f + 983, 5*r - f - 2390 = 0. Is 6 a factor of r?
False
Let d be -3 - -4 - 3/(-3). Suppose 2*o - 69 = d*p - 217, 2*o = -p - 148. Let v = o + 96. Is 16 a factor of v?
False
Let u = 48 - 48. Suppose -4*p - 4 = 4*b, -2*p = 3*b + 3 - u. Is 101 + 0 + 0 + b a multiple of 34?
False
Suppose 5*r - 44664 = 2*r - 3*m, 5*r = -2*m + 74464. Is r a multiple of 52?
False
Is ((-10)/(-15))/(1/(233970/20)) a multiple of 22?
False
Is 8 a factor of 2/(5 + (-3)/3) + 104867/14?
False
Suppose 113*z + 43*z = 131508. Is z a multiple of 3?
True
Let n be 4 - (3/(-2) - 1/2). Is 5 a factor of (-59)/(-2) - (n + (-30)/4)?
False
Let z(n) = 3*n**2 - 47*n + 513. Does 24 divide z(31)?
False
Let d be -5 + 6 - (-6 + 4). Suppose -d*k + 145 = 7. Let i = 112 - k. Is 11 a factor of i?
True
Let i = 64 + -59. Suppose -2*c - i*k + 358 = 0, -c + 61 + 131 = -4*k. Does 19 divide ((-76)/10)/(c/(-60) - -3)?
True
Let f(n) = 2*n. Let x be f(1). Suppose -2*s - 238 = -3*p, p - 3*s - 30 = 54. Suppose -152 - p = -x*z. Is 20 a factor of z?
False
Let z = 298 - 661. Let x = 541 + z. Is x a multiple of 12?
False
Does 21 divide 5/(-2)*138096/(-120)?
True
Suppose 0 = 14*n - 3 + 3. Suppose -s + n*s + 0*s = 0. Suppose s = -a + 112 + 93. Is 14 a factor of a?
False
Suppose 5*i - 3*v - 1525 = 0, 5*v - 217 - 362 = -2*i. Suppose i = -2*o - 3*s, 0 = -6*s + s. Let w = -105 - o. Is w a multiple of 11?
False
Let z = -1365 - -2345. Is z a multiple of 2?
True
Is 6 a factor of (-2560 - (-11)/22*8)*-2?
True
Let m = 6717 - 4173. Is m a multiple of 12?
True
Is 50 a factor of ((-191961)/(-18))/(-7)*-2*1?
False
Suppose -2*m + 100 + 8 = 0. Suppose 0 = 5*d - m - 571. Suppose 5*g + d = 10*g. Is g even?
False
Suppose -21*s + 18*s + 53306 = -2*a, 5*s + 4*a - 88880 = 0. Does 176 divide s?
False
Suppose 0 = 2*u - 2*t - 580, 5*u - 733 - 721 = t. Let p = -197 + u. Is 4 a factor of p?
False
Let b(n) = -68*n - 21 + 154*n - 88*n. Does 5 divide b(-29)?
False
Is 2 a factor of -8*((-10)/30 - (-21786)/(-144))?
False
Let d(q) = -29*q - 33. Let r be d(-7). Let g = 252 + r. Is g a multiple of 14?
False
Suppose -5*l - 5*h - 3107 = -627, 3*h - 1977 = 4*l. Let k = l + 623. Is 16 a factor of k?
True
Suppose 5*i - p - 159127 = 0, -54*i + 57*i = -4*p + 95444. Is 34 a factor of i?
True
Let i(r) = r**3 - 4*r**2 - 19*r + 78. Let g be i(4). Suppose 777 = g*t - 0*t - 5*q, 0 = -2*t - q + 783. Does 17 divide t?
True
Let l(k) = -5*k**3 + 79*k**2 + 23*k - 8. Let c be 2 + 9 - 20/(-4). Is 11 a factor of l(c)?
False
Let h(p) = 66 - 13*p - 33*p**3 + 34*p**3 + 14*p. Let j = -67 - -67. Is 10 a factor of h(j)?
False
Let t(a) = 2*a**2 + 8*a + 1. Let m be t(-6). Suppose 33*w - 1400 = m*w. Does 35 divide w?
True
Suppose -1788*g + 1785*g = 414. Let q = g + 519. Is q a multiple of 3?
True
Suppose 0 = 5*t + 3*s - 39455, 13*s - 14*s = -5*t + 39435. Is t a multiple of 16?
True
Does 14 divide (-10 - (-3016 - 12)) + (-7 - 1)?
True
Let g be 0/((-9)/(-6 - -15)). Suppose g = 45*o - 735 - 3810. Does 22 divide o?
False
Suppose -36 = 3*a - 2*k + 4*k, 0 = -4*a - 3*k - 47. Is 4 a factor of (-2)/((15/a)/15)?
True
Suppose -12*d + 17*d + 40 = 0. Let o(q) = q**2 + 4*q - 21. Is o(d) a multiple of 2?
False
Suppose -4*m + 604 - 7720 = -4*i, -2*m = 5*i - 8930. Does 4 divide i?
True
Let b be 8/(-2) - (-16 - 3). Suppose 4*p + b = -465. Is p/14*(6 + -13) a multiple of 12?
True
Let y(t) = -3*t + 2 - 4*t**2 + 5*t**2 + 1 - 4*t**2. Let i be y(-3). Is ((-6)/i)/2 + 1028/10 a multiple of 27?
False
Let d(x) = x**3 - 5*x**2 + 3*x + 8. Let c be d(4). Let o = c - -108. Suppose 3*q = 338 + o. Does 10 divide q?
True
Let k be (2/2)/((-3)/15). Is 10 a factor of 65 - 4/(k - 6/(-2))?
False
Let f(o) = -5*o**3 - 1. Let k be f(-1). Suppose 4*y = -z + 2019, 0*y - k*z = -y + 492. Does 9 divide y?
True
Let h = 35 - 33. Suppose -h*p = p - 918. Is 18 a factor of p?
True
Let w(o) = -2*o**2 + 31*o + 32. Let m be w(16). Suppose 0 = -m*r + 943 - 207. Is r a multiple of 23?
True
Let q(z) = 66*z**2 - 132*z - 770. Is 50 a factor of q(-8)?
False
Suppose -4*g + 3*d = -36322, 0 = 2*g + 2*g + 4*d - 36364. Does 107 divide g?
False
Suppose -6*d + 2*d - 2*b + 294 = 0, -d + b + 75 = 0. Suppose -d*z - 1260 = -83*z. Does 20 divide z?
True
Suppose -3*u + 83 = -1. Let g be (-16)/u + (-3016)/14. Let q = -140 - g. Does 13 divide q?
False
Suppose -6*k + 4*k - 5*m + 1 = 0, -2*k - m + 5 = 0. Suppose 1 = -t - k. Let r(q) = -q**2 - 9*q - 6. Is 9 a factor of r(t)?
False
Let b(g) = 7*g - 20. Let i be b(5). Suppose i = -5*j + 55. Suppose -j*p = -12*p + 1040. Is p a multiple of 10?
True
Let b = 15356 - 13207. Is b a multiple of 37?
False
Suppose 38*l - 1206860 = -62*l + 153540. Does 179 divide l?
True
Let b(o) = -384*o - 356. Is b(-16) a multiple of 33?
False
Let n be (2/6)/((-13)/390). Is 2/4 + (104125/n)/(-7) a multiple of 31?
True
Let m(j) be the second derivative of 10*j**4/3 - j**3/3 + j**2 - 34*j. Let c be m(-4). Suppose -4*f - 222 = -c. Does 10 divide f?
False
Let x = -89 - -94. Suppose -775 = -x*j + 45. Suppose -2*w + j = -5*r, -5*r + 13 = 2*w - 111. Is 14 a factor of w?
False
Let l(c) = -c**2 + 5*c - 1. Suppose -2*w - 2 = -5*s, -2*s + 2 = -2*w + 6. Let j be l(s). Suppose -4*y + 208 = -3*x, -j*y + 4*x + 103 = -157. Does 13 divide y?
True
Let i = -374 - -395. Is 17 a factor of i/21 + 4497/3?
False
Let o = 17 - 1. Let h(v) = 9 + 25*v + o*v - 3. Is h(3) a multiple of 43?
True
Let r(t) be the second derivative of 0 + 39*t - 5*t**2 + 1/6*t**4 - 2/3*t**3. Is 15 a factor of r(-8)?
True
Suppose 4*g = -8, 80*j - 8703 = 79*j + 2*g. Is j a multiple of 8?
False
Let i(h) = 229*h + 1751. Does 79 divide i(51)?
True
Suppose -2 = -p + 46. Suppose -26*a - p = -18*a. Does 8 divide 110 + (-2*1 - (a - -3))?
False
Does 7 divide (2 + 24/(-14))/((-14283)/(-1785) - 8)?
False
S