ultiple of 3?
False
Suppose -148*n = -141*n - 448. Suppose -n*w + 65*w = 286. Does 26 divide w?
True
Let a(i) = -55*i + 16. Let s be a(-2). Suppose 0 = s*l - 127*l + 50. Is 10 a factor of l?
True
Let x(q) = q**2 + 23*q + 145. Let z be x(-11). Suppose -z*g = 7*g - 6980. Is g a multiple of 11?
False
Let p(n) = 319*n**2 - 50*n + 287. Does 16 divide p(7)?
True
Let k = 9 - 12. Let v be (k + 3 + -1)*0. Suppose -4*f = 3*h - v*f - 315, 525 = 5*h - 5*f. Is h a multiple of 21?
True
Let k(t) = -t**2 + 14*t - 22. Let j be (18/24 - (-18)/8) + -1. Suppose 8*y + j*y = 80. Is 13 a factor of k(y)?
True
Let z be (-4 + 44/12)/((-2)/846). Let t = z + -48. Does 10 divide t?
False
Suppose 50*j - 46761 = 37*j. Is 11 a factor of j?
True
Let x be ((-18)/(-6))/(-1 - (2 - 4)). Suppose -2*v - 30 = -x*d - 6*v, 5*d - 4*v = 18. Suppose 0 = d*z - 2*z - 288. Is 24 a factor of z?
True
Let p(w) = 2*w**2 + 19*w - 44. Let v be p(2). Suppose -2128 = -9*a + v*a. Is 38 a factor of a?
True
Let l be (-8)/(-3) - 20/(-90)*-3. Is (-10)/((l/(-220))/((-3)/(-6))) a multiple of 22?
True
Suppose -2*p = 5*l - 60879, 0 = -3*p - 13 + 4. Is 99 a factor of l?
True
Let y(l) = l**3 + 20*l**2 - 20*l + 16. Let w be y(-21). Is 9 a factor of 5/w - (0 - 226)?
True
Suppose 0 = 4*d - v + 22, -3*d = -2*d - 2*v + 9. Does 17 divide (-196)/(-8)*12 + d?
True
Let x = 931 + 3113. Is x a multiple of 45?
False
Suppose -20 = -14*o + 8. Suppose r = -3*v + 9, 2*r + 12 = 4*v + 5*r. Suppose 11*j - 16*j = -o*u + 53, -4*j - 62 = -v*u. Is u a multiple of 4?
False
Let w(b) = -b**2 + 7*b - 7. Let t be w(5). Suppose -3*g = -3*f - 8*g + 1, -11 = -t*f + 5*g. Suppose -5*c = f*c - 518. Is 18 a factor of c?
False
Suppose -4*i = 3*m - 1707 - 2493, 4200 = 3*m - 5*i. Is 40 a factor of m?
True
Let n = 1977 + -662. Let u = n - -167. Is u a multiple of 15?
False
Let h = -2608 - -3216. Is h a multiple of 8?
True
Suppose -p - 3*y + 26728 = 0, 6151*y - 6147*y + 133602 = 5*p. Does 69 divide p?
False
Let w(y) = -6341*y + 2986. Is w(-10) a multiple of 44?
True
Let m be 42104/120 - 3/45*-2. Let y = m + -306. Does 15 divide y?
True
Let g be 30*(3 + (-44)/20). Suppose -20*y = -g*y + 836. Suppose 6*a - y = 487. Does 20 divide a?
False
Suppose -5*n + 439 = 7*o - 1820, o + 4*n - 303 = 0. Is 18 a factor of o?
False
Let n be 1/((24/(-8))/(-63)). Suppose n*c = 1973 + 17578. Does 19 divide c?
True
Let p(r) = -r**3 - 40*r**2 - 36*r - 88. Let h be p(-39). Let b = h - -971. Does 7 divide b?
False
Let q(b) = b**3 + 3*b**2 - 4*b + 3. Let p be q(-4). Let v be p + 2*3*(-1)/6. Suppose -v*t = 2*j - 158, 2*j - 147 = -3*t + 6. Is 21 a factor of j?
True
Let s(d) = d**3 - 2*d - 6. Let m(b) = -4*b + 13*b + 42 - 5*b. Let f be m(-9). Is s(f) a multiple of 33?
True
Suppose -4*o + 0*o + 495 = -3*s, -110 = -o - 2*s. Is o a multiple of 40?
True
Let s(y) = -5*y**3 + 3*y**2 - 5*y + 3. Let v be s(1). Let o(b) = -18*b + 55. Does 13 divide o(v)?
False
Let w(p) = p**3 + 6*p**2 - 6*p + 29. Let s be w(-7). Let y(c) = c**3 - 23*c**2 + 25*c - 52. Does 9 divide y(s)?
False
Suppose -52*f - 2*a = -51*f - 626, 0 = 3*f - 3*a - 1824. Is 4 a factor of f?
False
Suppose -3*i = 2*q - 13 - 1, 0 = 4*i + 4*q - 16. Let d(k) = 28*k**2 - 9*k - 19. Is d(i) a multiple of 13?
False
Suppose -5*r = -5*p + 1 + 19, 3*r + 2 = -2*p. Suppose j - 5*l - 12 = 1, -p*l = 5*j - 92. Is j a multiple of 2?
True
Suppose q + 5 - 4 = -k, q - 19 = 4*k. Let o(d) = -6*d**2 - 4 + 7*d + 8*d**3 + 6*d**q - 20*d**3 + 7*d**3. Is o(5) even?
True
Let p(b) = 1211 + 5*b - 1218 - 3*b + 0*b. Is 15 a factor of p(17)?
False
Let z(t) = 3*t**2 + t**2 - 38 + 5*t - 3*t**2 - 19*t. Is 3 a factor of z(18)?
False
Let x be 6/9*3 - (-202 - -3). Let h = 217 + x. Does 38 divide h?
True
Let z be 14/6 + 4/(-12). Suppose -5*p + 5*k - 25 = 0, -z*k = -4*p - 5 - 5. Suppose -2*m + 2*x + 102 = p, -2*m + 4*m - 4*x - 108 = 0. Does 11 divide m?
False
Let w be -1 + (3*-9 - -4). Let y be 2/9*453 - 14/(-42). Let p = y + w. Is p a multiple of 41?
False
Let i(q) = -403*q**3 + q**2 - 5*q - 6. Let k be i(-2). Suppose k = 7*h - 835. Does 19 divide h?
False
Does 5 divide 45/(900/(-80)) + 0 + 2440?
False
Does 2 divide 10 + 231 + (1 + 3 - 5)?
True
Let h(b) = b**2 + 37*b + 1501. Is h(-34) a multiple of 53?
False
Suppose -84 = -5*v - 0*g + g, 0 = -3*v - g + 52. Suppose v*a = 13*a + 400. Is a a multiple of 25?
True
Suppose 202*c - 198*c - 26077 = y, 3*c - 5*y = 19545. Does 40 divide c?
True
Let a be (-50)/(-6) - 12/9. Suppose 12*i - a*i = 0. Suppose -4*t + i*t - 12 = 0, -g + 2*t = -36. Does 8 divide g?
False
Suppose 3*o + 5*z = 9686, 2*o + z - 2893 = 3555. Is o a multiple of 4?
False
Suppose 4*h = -5*m - 1046 + 293, 3*h = -m - 155. Let v = m + 296. Is 21 a factor of v?
True
Suppose 5*q - 5 = -0. Does 21 divide (-25)/10*-84*q?
True
Let r be (-4)/(-1) - (-1 + 3334*-2). Suppose -4*v - 1761 = -r. Is 24 a factor of v?
False
Let q(p) = 102*p + 103*p - 197*p. Let k be q(6). Suppose 0 = 2*s - 40 - k. Is s a multiple of 11?
True
Let h = -932 + 14372. Does 168 divide h?
True
Suppose -26483 - 1497 = 3*o - 8*o. Is 51 a factor of o?
False
Let u = -22178 + 38983. Is 24 a factor of u?
False
Let o be -1 + (30 - (-4 - 0 - -2)). Let f = 31 - o. Is (-69)/(-1) + f/(-9 + 4) a multiple of 21?
False
Suppose 0*z = 10*z - 4050. Let o = -353 + z. Does 2 divide o?
True
Let i be 202/(-6) - (-9)/((-162)/(-12)). Is 14 a factor of i/44 + 1126/8?
True
Let u = -4417 - -8925. Is u a multiple of 28?
True
Let r be 2/(-42)*-6 + (-40)/(-7). Let q be -2 - 2/r*(27 + -9). Let c = 24 + q. Does 9 divide c?
False
Let r be -4*3/(-24)*2. Suppose -m - 3*o + 29 = 0, m - 33 = -4*o + r. Suppose m*d = 10*d + 48. Is 4 a factor of d?
True
Suppose 4*l = 16 - 8. Suppose -l*v = -218 - 96. Let z = v - 52. Is 35 a factor of z?
True
Suppose -4*v - 2*f - 44 + 6 = 0, -3*v = -5*f + 22. Is 5190/135 + 4/v a multiple of 19?
True
Suppose 821*q + 252 = 793*q. Let l(b) = -8*b - 15 - 24 + 9. Is 8 a factor of l(q)?
False
Let z = 280 - 405. Let c = -107 - z. Is (4 - c)/((-1)/6) a multiple of 10?
False
Does 3 divide (-754)/91 - -8 - (-3201)/7?
False
Let s be -13 + 4 + 3 + 12/(-4). Let x(y) = -y**2 - 13*y - 31. Let h be x(s). Is 15 a factor of h/(-2)*5278/(-65)?
False
Let n = 3811 - -2104. Is n a multiple of 65?
True
Let y(b) = 94*b**2 - 7*b + 10. Does 27 divide y(-5)?
False
Is 8 a factor of 694/40*-5*-12?
False
Let f(y) = y - 264. Let z be f(0). Let d be 38/152 + (-1114)/8. Let j = d - z. Is 11 a factor of j?
False
Let n(l) = -l + l + l**3 - 15*l**2 - 6*l + 35*l - 6 - 11*l. Let i = 6 - -8. Does 11 divide n(i)?
False
Suppose 3*m - 2*r - 18 = 0, 4*r = 4*m + r - 25. Suppose m*b + 568 = 2252. Suppose -782 = -5*w + 2*p, 0 = 5*w + 4*p - 385 - b. Is w a multiple of 51?
False
Let v = 2555 - 2507. Suppose 0 = -a - 3*a. Is (0 - v)/(a + -1) a multiple of 16?
True
Let f(i) = -i**3 + 16*i**2 + 33*i - 39. Is f(17) a multiple of 3?
False
Suppose 4*m = 4*p + 2200, 72*m - 2152 = 68*m - 4*p. Is 2 a factor of m?
True
Let m = -590 + 318. Let n = 389 + m. Is n a multiple of 13?
True
Suppose 65*f - 109673 = -138*f - 20759. Is f even?
True
Is (239760/945)/((-2)/(-42)) a multiple of 48?
True
Suppose -2*a + 29 = 5*r, 43*r - 38*r - 65 = -5*a. Is 25 a factor of (-8 + 5)*((-2300)/a - -3)?
False
Let a = 2211 + -194. Is a a multiple of 24?
False
Let r = 803 + -800. Suppose 3*i - 63 = -2*s, 4*i - i = -r*s + 63. Is 9 a factor of i?
False
Let h be (-1)/((-1)/(-6)*-2). Suppose -k - 2 = -h. Is 29 a factor of k/(-1) - (-305)/5?
False
Suppose 2*s - 2078 = -2*d, -48*d = -s - 47*d + 1033. Does 28 divide s?
True
Let t(i) = -70*i + 35. Let n(j) = -23*j + 12. Let q(r) = 17*n(r) - 6*t(r). Suppose -15*c + 4 = -13*c. Is 20 a factor of q(c)?
False
Let p = 48 + -36. Suppose -4*w - 8*w = p. Is 3 + -3 + w + 3 + 162 a multiple of 10?
False
Let u = -1 - -3. Suppose -5*y - 3*s + 4*s + 627 = 0, 4*y + u*s = 510. Is 19 a factor of y?
False
Suppose -4*n - 48469 = -5*l, 17*l + 5*n = -0*l + 164776. Is l a multiple of 128?
False
Let z = -10 - -7. Let s = -1 - z. Suppose 3*h + 80 = -s*j + 6*j, -4*h = -j + 33. Is 8 a factor of j?
False
Let i be 1 + 5 + (-8 - -5) + -9. Does 2 divide -4 + 0/3 - i?
True
Let r(b) = 190*b**3 + 2*b**2 - 18*b + 36. Does 95 divide r(3)?
True
Is (2 + -4 - -3) + 24435/5 a multiple of 104?
True
Let i(y) = y**3 - 34*y**2 + 51*y + 113. Let v be i(33). Suppose 0 = 2*g + b - v, 