oes 12 divide k?
True
Suppose 43*r - 45*r = 3*g - 86394, 0 = -r - 6. Does 45 divide g?
False
Suppose 9*n - 36 = -0*n. Suppose -6*q + n*q - 457 = -3*v, 3*v - 455 = 4*q. Suppose g = 6*k - 2*k + 41, 3*g - 2*k - v = 0. Is 2 a factor of g?
False
Let p = -3238 - -5669. Does 11 divide p?
True
Suppose 4*q + 22 = b + b, 2*q + 14 = 2*b. Suppose v = b*w - 161, 3*v + 90 = 2*w - 15. Does 16 divide w?
False
Let g(o) = 25*o**2 + 22*o - 46. Is 63 a factor of g(10)?
False
Let j(z) = -5*z**3 + 29*z**2 + 151*z + 30. Does 184 divide j(-11)?
False
Suppose 0 = 49*l + 72978 - 751383. Does 11 divide l?
False
Let m = 44801 - -30157. Is 219 a factor of m?
False
Suppose 3*b + 21 = -4*l - 142, 5*b + 279 = -3*l. Does 8 divide ((-11058)/b)/(-2*(-1 + 0))?
False
Let r = 22 - 25. Let j be 20/30 + (-4)/r. Suppose -100 = -3*y - j*q - 29, -2*y + 3*q = -56. Does 17 divide y?
False
Let c(a) = -a + 31. Let n be c(32). Let z(j) = -2*j**2 - 24*j**3 - 1 + 0*j**2 - 2*j - 23*j**3. Is z(n) a multiple of 23?
True
Let f(a) = -2*a - 9. Let i be f(-6). Let n(r) = 14*r + 5. Let t be n(i). Let h = -37 + t. Does 5 divide h?
True
Suppose 182*b - 2320 = 174*b. Is 32 a factor of -5 - (-1 - (b - -2))?
True
Suppose -4*t + 16 + 28 = 0. Let j(u) = 51*u**2 + 122*u + 19. Let g(y) = 14*y**2 + 31*y + 5. Let o(k) = -11*g(k) + 3*j(k). Is 13 a factor of o(t)?
True
Suppose 12 = -3*g, 4*g - 64 + 604 = y. Let d = 328 - y. Let o = 361 + d. Is 11 a factor of o?
True
Suppose 4*g = 4*o - 356, -o + 48 = -4*g - 44. Is 11 a factor of o?
True
Suppose -d + 30325 = 2*c, c - 6837 = -3*d + 8343. Does 31 divide c?
True
Suppose 5*m - 13604 = l + 274403, 2*l + 14 = 0. Is 96 a factor of m?
True
Suppose 8*j = j + 53256. Suppose -2117 + j = 19*y. Is 14 a factor of y?
False
Let y be (-2 - (-4 + 25/10))*0. Suppose y = -5*q + 1281 + 1114. Is q a multiple of 66?
False
Suppose 4*n - 666 = 3*y, 14*y + 306 = 2*n + 17*y. Is n a multiple of 9?
True
Let m(a) = 3*a + 30. Let q be 1/((-2)/(-66)*-3). Let l be m(q). Is 2 a factor of ((-21)/(-6) + l)/((-4)/(-216))?
False
Suppose 4*i + 2*v - 22 = 0, -4*i = i - v - 10. Suppose 4*l - 3*s + 33 = -0*s, 12 = -i*l - 2*s. Let p(u) = 3*u**2 + 6*u + 6. Does 17 divide p(l)?
False
Let h(i) = -5*i**3 - 9*i**2 - 74*i - 164. Does 5 divide h(-8)?
False
Suppose 0 = 5*x + 1 - 46. Suppose 3 = -0*w + w + v, -v + x = 2*w. Suppose -w*d + 815 = -d. Does 12 divide d?
False
Let t = -17 + 20. Suppose -t*k - 3 = -4*k. Suppose -r + o - 5 + 41 = 0, k = o. Is r a multiple of 13?
True
Let l = 432 + -434. Let h(x) = 54*x**2 + 2*x + 7. Does 9 divide h(l)?
False
Suppose -15*m = -36*m + 63. Suppose -14*k + 2497 = -9*k + r, 0 = 5*k - m*r - 2489. Is k a multiple of 11?
False
Does 31 divide (93/(-6))/(20/14460*6/(-4))?
True
Suppose -69*w - 163*w + 2377536 = 0. Does 28 divide w?
True
Suppose 4*m + 33 = 49. Suppose 0 = k - m, 3*c + 17 = 4*c + 3*k. Is 1 - 1 - (-90)/c even?
True
Let g(b) = b**2 - 4*b - 19. Let c be g(19). Let o = c + -70. Suppose 4*v + o = 8*v. Is v a multiple of 8?
False
Let m = 936 - -7148. Is m a multiple of 43?
True
Let g(v) = -4*v**2 - 59*v + 23. Is 6 a factor of g(-10)?
False
Let c = 8 - 7. Let v = -474 - -501. Is 2 a factor of -1 + c + (v - 1)?
True
Suppose 60*r - 72 = 63*r. Is 5 a factor of ((-42)/(-8))/(-7) - 234/r?
False
Suppose 5*y = 4 - 44. Let d(t) = 7*t**3 - 11*t**2 - 2*t - 15. Let f(u) = 3*u**3 - 6*u**2 - 2*u - 8. Let p(o) = 4*d(o) - 9*f(o). Does 20 divide p(y)?
True
Let r be 440/12*66/(-11). Let x = 535 + r. Is x a multiple of 21?
True
Does 17 divide (-1)/2*-94*(1320/(-12))/(-10)?
False
Is 18/(-24)*(-12116 + 8) a multiple of 11?
False
Let u be ((-4)/3)/((-2653)/882 + 3). Suppose -141 = -2*p - 23. Suppose -2*o = -4*q - 85 - p, -2*o - 2*q + u = 0. Is 40 a factor of o?
True
Suppose 119885 = 28*b - 154459. Is b a multiple of 46?
True
Let l = -2788 + 3502. Is 31 a factor of l?
False
Suppose 4*m + 0*a - 443 = 5*a, -5*m + 2*a + 541 = 0. Suppose j = -37 + m. Does 3 divide j?
False
Let p(t) = 9*t**3 - t**2 - 11*t - 8. Let r be p(4). Let w = -60 + r. Does 16 divide w?
True
Let p(o) = -3*o**2 + 20*o - 7. Let l be p(6). Suppose -4*a + 250 + 786 = l*q, 0 = -3*a + 2*q + 800. Does 4 divide a?
True
Suppose 0 = -4*j + 9 + 3. Suppose 2*u - j*u = -5. Suppose -62 - 48 = -u*b. Is 7 a factor of b?
False
Let z(k) = -2*k**3 + 20*k**2 - 3*k + 9. Let g(m) = 5*m**3 - 59*m**2 + 7*m - 35. Let d(f) = 3*g(f) + 8*z(f). Suppose 68 = -4*x - 0*x. Is d(x) a multiple of 5?
False
Suppose 2*d = -11*x + 14*x - 530, -514 = -3*x - 2*d. Let b(l) = -l**3 + 7*l**2 - 7*l + 8. Let m be b(6). Suppose m*o + o = x. Is 6 a factor of o?
False
Let h(j) = 6*j**2 - 136*j - 30. Let u be 18/2 - 112/(-8). Is 14 a factor of h(u)?
False
Let m = 206 - 208. Let v(j) = -410*j + 24. Is v(m) a multiple of 14?
False
Let z be (-330)/(-21) + 1 + (-2)/(-7). Let y = -1 + z. Suppose v = 4*q - 68, 2*q - 3*v - y = 2*v. Is 13 a factor of q?
False
Is 13 a factor of (-981)/(-2)*(4 - 74)/(-7) + -4?
True
Let j be 22 - (0 - 12/(-3)). Suppose 5*t - j - 27 = 0. Is 1132/t - 12/(-54) a multiple of 21?
True
Suppose -8*q - 10 = -13*q. Let m(h) = 2 + h**3 + 2*h**q - 6 + 2*h**2 - 3*h. Is m(-3) a multiple of 2?
True
Let u be (-112554)/(-518) + -1*4/14. Suppose -p = 0, -5*v - 4*p = -1158 - u. Is 18 a factor of v?
False
Suppose -60*x + 62*x - 2020 = 4*t, -3045 = -3*x + 3*t. Is x a multiple of 20?
True
Is 57 a factor of 10184/10*1/(-1)*390/(-52)?
True
Let u(x) = -x**3 - 8*x**2 - 2*x + 2. Let m(y) = -8*y + 6. Let l be m(2). Let q be u(l). Suppose 12*k = 14*k - q. Is 17 a factor of k?
False
Let i(h) = -2*h**3 + 30*h**2 + 29*h + 48. Let b be i(16). Suppose 3*w - 2*s = -s + 128, b = -w + 4*s + 61. Does 41 divide w?
True
Is 44473/8 - 32/256 a multiple of 2?
False
Suppose 15*l + 1462 - 122962 = 0. Does 30 divide l?
True
Suppose -8*y = 89 - 153. Does 13 divide (-1 + y - 187)*-3?
False
Suppose 0 = 3*w - 2*h - 52574, -w + 5*h - 2553 = -20069. Does 55 divide w?
False
Let h(p) = -p**3 + 10*p**2 - 12*p + 66. Let r = -599 + 605. Is 4 a factor of h(r)?
False
Let w(f) = 36*f**2 + 26*f + 748. Is 53 a factor of w(-19)?
True
Let b(g) = 4*g**2 + 2*g - 4. Let j be b(-4). Suppose 0*d = -5*x - 3*d - j, 2*x = -d - 20. Let k(c) = -3*c - 4. Is 20 a factor of k(x)?
True
Does 169 divide (-6)/2*(-4537690)/354?
False
Let d = -96 - -100. Suppose 0 = -s - d*z + 5*z, 2*s = -5*z. Suppose 3*y - 125 - 73 = -2*k, -k - 3 = s. Is 17 a factor of y?
True
Suppose x - 270 = -4*x. Let o = 156 - x. Is 26 a factor of o?
False
Let j be 48/(-10)*(-11)/((-176)/(-40)). Suppose 3524 + 808 = j*v. Is 13 a factor of v?
False
Suppose 0*d - 2*d = -56. Suppose 68*x - d = 72*x. Let u(o) = o**3 + 10*o**2 + o. Does 28 divide u(x)?
True
Is 22 a factor of 1144/(-312)*(-2076)/2?
True
Let g = 16101 + -8598. Does 10 divide g?
False
Suppose 12*m - 40*m = 28. Is 2 - 6/m - -649 a multiple of 31?
False
Is (78*(-364)/390)/(4/(-470)) a multiple of 45?
False
Suppose 0 = 36*s - 3050673 + 917673. Does 150 divide s?
True
Suppose 5*q + 2626 = 2*r, 0 = -2*q - 6 - 2. Let z = r + -830. Does 33 divide z?
False
Let m(x) = -43*x + 26. Let u be m(-3). Is 89 a factor of 16/(u/62*(-8)/(-890))?
True
Suppose -346*j + 118*j = -3986352. Is 9 a factor of j?
False
Let k(g) = 4*g + 57. Let x be k(-13). Suppose p = x*p - 176. Is p a multiple of 26?
False
Suppose 0 = -4*h - 5*q + 30798, -h - 2*q + 7772 = 68. Does 14 divide h?
False
Let v = -9408 + 14542. Does 151 divide v?
True
Let j(g) = -8*g - 148. Let s be j(-18). Does 30 divide 246/(-5 - 86/(-16)) - s?
True
Let j = -42 - -32. Let w be 64/10 - (-4)/j. Is 50 + 20/w*12/10 a multiple of 18?
True
Let n(v) = -v**3 - v**2 + 28*v - 39. Does 6 divide n(3)?
False
Let a(b) = 2*b**2 + 1. Let l(c) = 6*c**2 + 11*c - 28. Let q(g) = 4*a(g) + l(g). Is q(2) a multiple of 2?
True
Suppose 13*y = 7 - 59. Let p be (-29)/(-5) - y/(-5). Let l(a) = 55*a - 3. Does 16 divide l(p)?
True
Let t = -56 - -8. Let q = 67 + t. Let r(k) = k + 10. Is r(q) a multiple of 29?
True
Let q be ((-216)/180)/(4/(-10)). Suppose q*n - 76 = -4*x, x - 13*n - 32 = -17*n. Is x a multiple of 8?
True
Suppose -3*c + 3*s = -486, -11*c + 14*c - 496 = 5*s. Does 14 divide c?
False
Let b = 155 + -481. Let n = 424 + b. Is n a multiple of 49?
True
Suppose 3*g + 2*q - 6916 = 0, -3*g - 84*q + 6920 = -83*q. Is g a multiple of 15?
False
Let s(x) = x**2 + 7. Let g be s(0). Is 530 + g/(14/(