53. Does 7 divide i(5)?
False
Suppose 11661 = 8*b - 3795. Does 46 divide b?
True
Let z be (-8 + -1)*10/(-30) + 4. Is (-278)/(-7) + z + (-235)/35 a multiple of 5?
True
Suppose -r + 16159 = 4*v, -3*v + 56 = 71. Is 116 a factor of r?
False
Let a(z) = -z - 12. Let q be a(-4). Let s(y) = -2*y**3 - 11*y**2 - 10*y - 29. Is s(q) a multiple of 71?
False
Is 5279 + 11*90/165 a multiple of 35?
True
Suppose 17*g + 46*g - 30888 = 37*g. Is 11 a factor of g?
True
Does 3 divide 3/6*64/(-12)*-33?
False
Let n(w) = w**3 + 6*w**2 - 6*w - 14. Let k(q) = -q**3 - 7*q**2 + 6*q + 15. Let g(u) = 2*k(u) + 3*n(u). Is 13 a factor of g(6)?
True
Suppose w = -2*o + 7, 0 = 5*o - 7*w + 2*w - 10. Suppose -3*k = -k - o*j + 527, 4*k - j + 1059 = 0. Is 1 - k/2 - (-18)/12 a multiple of 25?
False
Suppose 38603 = 13*z - 20209 - 37518. Is z a multiple of 39?
True
Let f(s) = s**3 + 5*s + 266. Let g be (5 + (-4 - 1))*(-2)/2. Does 38 divide f(g)?
True
Let s be 4*15/40*16/6. Suppose 2*h + 2 = 4*x, x + s = -0*h + 2*h. Suppose -x*p + 114 = -24. Is p a multiple of 23?
True
Suppose 373*v - 370*v - 10290 = 0. Suppose 2*z + 4*m = 1388, 4*m - 714 + v = 4*z. Is z a multiple of 57?
True
Let m be 1768/(-299) - (-2)/(-23). Does 62 divide 3/m*(-123 - 1)?
True
Suppose -56*d + 237231 - 32383 = 0. Does 31 divide d?
True
Let z(l) = l - 5. Let d be z(5). Let a = d + 12. Is 9 + 1 + (9 - a) a multiple of 6?
False
Let k be 537*((-12)/18)/(-2). Let w = k + -32. Does 21 divide w?
True
Suppose 12*d = 15*d - 24816. Suppose 2476 = -18*w + d. Is w a multiple of 57?
False
Let p = -335 + 474. Let w be p + (-2 - 1/(-1)). Suppose 0 = 6*x - 78 - w. Is x a multiple of 6?
True
Suppose 65 + 445 = 3*i. Suppose -8*m = -i - 86. Is 3 a factor of m?
False
Suppose -m - o = -11, 2*m - 3*o - 6 - 6 = 0. Suppose m*f - 1765 = 1052. Is f a multiple of 53?
False
Let y(i) = -i**2 - 43*i + 146. Let k be y(-40). Does 18 divide (11 + -17)*k/(-3)?
False
Let l(i) = -174*i + 18. Let a be l(-3). Suppose 3*k + 12*k = a. Is k a multiple of 3?
True
Let n(s) = -3*s**2 + 63*s. Let j be n(21). Does 10 divide (-4 + j + 6)*38?
False
Suppose -26*w + 171 = -89. Suppose w*c = 1818 + 4392. Is 23 a factor of c?
True
Suppose 271*j - 276*j + 105 = 0. Does 86 divide (728/(-6))/(-12 - (-238)/j)?
False
Suppose 9*b + 1288 = j + 5*b, -1291 = -j + 3*b. Suppose -j + 1453 = 3*m. Is 5 a factor of m?
False
Let n be ((-1)/(-2))/((-1)/(-4)). Suppose -2*d - 2036 = -5*f, 0 = n*f + d - 645 - 173. Does 15 divide f?
False
Suppose 0 = -26*h + 32*h - 264. Suppose 0 = -h*r + 31*r + 2236. Is r a multiple of 11?
False
Let r(p) = -1678*p**3 + p**2 - p. Let v be r(1). Let x = -1113 - v. Suppose 5 = -5*h, -4*m - m + x = 5*h. Is 27 a factor of m?
False
Let r(x) be the third derivative of -7*x**4/12 + 5*x**3/6 - 21*x**2. Let v be r(1). Is 31 + (-3 - v - 2) a multiple of 9?
False
Let l be -8*(-6)/12 - -265. Let i(j) = 10*j**2 - 4*j + 4. Let s be i(-3). Let v = l - s. Is 14 a factor of v?
False
Let w(t) = t**2 + t + 5. Let p be w(4). Let x = p - 7. Suppose x = 4*d - 2*d. Is 4 a factor of d?
False
Let b(l) be the third derivative of l**6/40 + l**5/30 + l**4 + 25*l**3/6 - 281*l**2. Is b(7) a multiple of 60?
True
Suppose m + 3*v = 4028, 0 = 4*v - 111 + 107. Is m a multiple of 25?
True
Suppose 2*v - 272 = -k - 0*v, 1285 = 5*k - 5*v. Let a = k - 150. Suppose 2*j = 2*o + 56, 0*j + a = 4*j - 2*o. Does 11 divide j?
False
Let q(z) = -z**2 - 2*z + 8. Let p be q(-8). Let y = p + 20. Let n = 53 - y. Does 4 divide n?
False
Let y(d) = 231*d + 3007. Is y(89) a multiple of 165?
False
Let w = -22 - -30. Suppose 5*k - u = 307, -w*u - 298 = -5*k - 4*u. Suppose 4*j + k = f, 2*f + 4*j - 94 = -6. Is f a multiple of 5?
True
Is (-274704)/(-6) - (-9 + -6) a multiple of 271?
True
Let h(p) = 2*p**2 - 29*p - 3. Suppose -3*o - f + 44 = 0, 6*o - 3*f - 92 = o. Is h(o) a multiple of 2?
False
Let y(t) = -48*t**3 - t**2 - 17*t - 17. Suppose -6*v - 5*v = 11. Does 14 divide y(v)?
False
Is 36 a factor of -14*(3 - 6 - 3)*1320/14?
True
Let b(m) = 347*m**3 - 4*m**2 - m. Does 15 divide b(3)?
True
Let z = -2627 - -2599. Let y be (-12)/(((-12)/86)/(-3)). Let h = z - y. Does 29 divide h?
False
Is 242985/63 - (-4 - 820/(-210)) a multiple of 8?
False
Let y(c) = 2*c**2 - 18*c + 8. Let m be y(8). Let u = -37 - -36. Is 23 a factor of 2*92/m*u?
True
Does 9 divide (133/14 + 3)*4368/20?
False
Let m(p) = -18673*p + 23. Does 19 divide m(-1)?
True
Let d(j) = -13*j**3 - 80*j**2 - 76*j + 32. Let t(o) = 3*o**3 + 20*o**2 + 19*o - 8. Let r(x) = -2*d(x) - 9*t(x). Let h = -39 - -20. Is 6 a factor of r(h)?
False
Suppose -j + 3*v - 49 = -v, -245 = 5*j + 4*v. Let a = j + 107. Does 5 divide a?
False
Let y(h) = 11*h**2 + 67*h + 51. Let q(z) = 5*z**2 + 34*z + 25. Let i(x) = 13*q(x) - 6*y(x). Let w(l) be the first derivative of i(l). Is w(-19) a multiple of 6?
True
Let m(r) = -3*r**3 - 208*r**2 + 97*r - 110. Is 20 a factor of m(-70)?
True
Let r(o) = -32*o - 4. Suppose -2*n + 1 = -3*j, 4*j + n = 4*n - 1. Let t be 1*((-2)/j - 3) - 1. Does 6 divide r(t)?
True
Let a(b) = 24*b**2 + 18*b - 30. Is a(5) a multiple of 2?
True
Let n(c) = 6*c - 20. Let w be n(5). Let q be w/60 + (-3021)/(-18). Let r = 304 - q. Does 34 divide r?
True
Suppose 5*o - 10*o + 14605 = 5*l, -8*o + 23418 = -2*l. Does 9 divide o?
False
Let d be 2/(-5*1/(-20)). Let v be 2/(-4) + ((-260)/d)/(-13). Suppose -v*w = w + 9, 4*n + 5*w = 673. Is n a multiple of 31?
False
Suppose -21 = 2*m - 3. Let b be m/(-12) + (0 - (-52)/16). Is (-66)/(-44) - (-126)/b a multiple of 33?
True
Let h(x) = -18*x + 23. Let k be h(-6). Suppose 8*z - 317 = k. Does 8 divide z?
True
Suppose 9*s - 14*s = 807*s - 15839684. Does 73 divide s?
False
Suppose 29*q = 38*q - 45. Suppose -2*o - q*d + 34 = 0, 0 = -5*o + o + 3*d + 42. Is 2 a factor of o?
True
Suppose 0 = -51*h + 46*h + 9470. Does 76 divide h?
False
Let l(z) = 43*z**3 + 0 + 1 + 2*z**2 + 4*z + 3. Let g be l(-2). Does 34 divide (g/(-25))/((-4)/(-30))?
True
Suppose 2*q + 2*r = 22 - 20, 0 = 5*q - 4*r - 23. Suppose -151 = -3*v + 5*n, 2*v - 153 = -2*v - q*n. Is v a multiple of 3?
True
Suppose -14*p + p + 1128414 = 8*p. Is 64 a factor of p?
False
Let o(j) = 12*j**3 + 11*j**2 + 53*j - 549. Is 11 a factor of o(9)?
False
Let z = 37 + -27. Let l(k) = k**3 - 10*k**2 - k + 11. Let v be l(z). Suppose 5 = 2*x + v. Is x a multiple of 2?
True
Let o(f) = -5*f**3 + 11*f**2 - 17*f - 329. Is 11 a factor of o(-14)?
True
Let n(y) = -y**3 + 4*y**2 + 11*y + 6. Let h be n(7). Let d = 229 + h. Is 33 a factor of d?
True
Suppose -321*r + 313344 = -162*r - 141*r. Is r a multiple of 22?
False
Let d(q) = 4*q + 78. Let l be d(-19). Suppose 0 = -l*s - 2*z - 419 + 1125, 4*s = -5*z + 1412. Is s a multiple of 10?
False
Let p(w) = w**2 + w - 7. Let x be p(3). Suppose -5*z = -4*q - 1912 + 537, -x*q - 1380 = -5*z. Is z a multiple of 16?
False
Let i(k) = -5*k + 6. Let t be i(-6). Suppose -22*n - 5684 = -t*n. Is 29 a factor of n?
True
Let p(h) = 94*h**2 + 74*h + 27. Is p(-11) a multiple of 77?
False
Suppose -4*v - 8138 = -2*q - 120558, 6*q = -12. Is 9 a factor of v?
False
Suppose 60*y = 966 + 354. Suppose -2*r - 2*r = 0. Is 15 a factor of (y/2)/(2/10 - r)?
False
Suppose -69*g + 154756 = -191762. Does 93 divide g?
True
Let m = -478 - 2498. Is 22 a factor of ((-2)/(-3))/((-31)/m)?
False
Suppose 221*b + 648 = 222*b. Let i = b - 345. Is i a multiple of 25?
False
Let n be ((-2)/3 - 112/(-24)) + -32. Let y = n + 26. Does 6 divide (2/8*6)/(y/(-20))?
False
Let m(y) = -3*y - 11. Let o be m(-10). Suppose -o*t + 176 = -8*t. Does 16 divide t?
True
Let b = 294 - 290. Suppose -v = -b, 3*v + 323 = 3*u - 22. Is 7 a factor of u?
True
Let t(b) = -51*b + 27. Let h be t(-7). Suppose -585 - h = -3*j. Is 19 a factor of j?
True
Let d(z) = 2973*z**3 + 11*z**2 - 11*z + 29. Is 15 a factor of d(2)?
True
Let y(l) = 3*l**3 + 3*l**2 + 2*l. Let g be (3 - (4 + -4) - 2)/(-1). Let m be y(g). Is 14 a factor of -74*((-5)/2 - m)?
False
Let a be 17/(10/(-2) + 6). Let m(q) = q**3 - 15*q**2 - 28*q - 20. Is 6 a factor of m(a)?
False
Let z be -10*(-7)/((-175)/(-15)). Suppose -z*j = j - 497. Suppose 0*y + 3*k = y - 33, 2*k = 3*y - j. Does 6 divide y?
False
Let k(p) be the second derivative of -p**4/12 + 7*p**3/6 + 126*p**2 + 10*p + 1. Is k(0) a multiple of 63?
True
Let m be (-108)/(-10) - (-2 + 6)/(-20). Suppose -m - 37 = -4*a. Let k(b) = b**3 - 11*