a multiple of 9?
True
Is (7 - -12 - 21) + -1 + 43608 a multiple of 15?
True
Suppose -4*c = 4*m - 48, 17 = 4*m + 1. Suppose -100 = -c*g - 764. Let n = -3 - g. Is 10 a factor of n?
True
Let z = -29 - -32. Suppose -2*o + z*g + 240 = -77, 10 = -2*g. Suppose -1 = 5*n - o. Is 5 a factor of n?
True
Let h(g) = 32*g + 30. Let r(t) = -48*t - 45. Let p(i) = -8*h(i) - 5*r(i). Let d be ((-6)/(-8))/((-13)/156). Does 23 divide p(d)?
False
Suppose -44 = -30*o + 16. Suppose -686 = -o*t - 3*k, -3*k = -3*t - 6*k + 1023. Is t a multiple of 32?
False
Let f(t) = -2*t**2 + 8*t + 25. Let h be f(8). Let x(c) = c**3 + 6*c**2 + 4*c - 3. Let z be x(-5). Is (z - (-464)/26) + (-6)/h a multiple of 17?
False
Suppose h = 4*g + 19, -5*h = -2*g - 2*g - 31. Let f be 4/(0 + 2) - (-213)/h. Let y = f + -41. Is 10 a factor of y?
False
Suppose -u + 2*z + 3 = -14, -40 = -5*u - 5*z. Let w = u + 1015. Is w a multiple of 18?
True
Let p be (-490)/(-7)*(-4 - -3). Is p*(36/30)/(4/(-10)) a multiple of 18?
False
Suppose -5*w - 473 = 3*z, -5*w + 8*w - 811 = 5*z. Let g = 232 + z. Does 21 divide g?
False
Let g(n) = -127*n - 4. Let p be g(-2). Let c = 404 - p. Does 11 divide c?
True
Let x = 2217 - 546. Suppose -6*t + x + 1569 = 0. Does 20 divide t?
True
Let g be (2 + -3 + -13)*7. Let t = -93 - g. Suppose -r = -5*u + 4*u + 87, -t*u + 429 = -2*r. Is u a multiple of 5?
True
Suppose -2*x = -4*x + 4. Suppose 0 = g - 2*g + 264. Suppose -x*c - c = -g. Does 12 divide c?
False
Let s be 4*3 + 0/1. Suppose -630 = -17*r + s*r. Is 21 a factor of r?
True
Let v be (-333)/(-54) - (-1)/(-6). Suppose 98 + 64 = -v*r. Let k = r + 51. Is 4 a factor of k?
True
Let u = -99 - -321. Let q = u + -159. Does 2 divide q?
False
Suppose 49*f = 37*f + 132. Does 48 divide 2*f/((-77)/(-168))?
True
Let g be (-2)/6 + 196/(-6). Let d = g - -67. Is 11 a factor of (d - 1)/(42/56)?
True
Let l(k) = -k**2 + 2 + 12 + 0*k + 9*k + 16. Is 16 a factor of l(7)?
False
Let p be 3/1 - (3 - -1). Let w = 64 - 49. Does 10 divide p*w*(-17 + 13)?
True
Let q be 135/(-30)*(4070/(-3))/(-5). Is 3 a factor of 88/(-77) - q/21?
True
Let t(a) = -3*a + 31. Let v be t(10). Let y be (5570/35 - -3) + v/(-7). Suppose 8 = 4*u, -4*u = -4*q + u + y. Is q a multiple of 8?
False
Let k be (2 - 479)*(0 + 51/9). Let i = -1823 - k. Suppose 0*f = 11*f - i. Is f a multiple of 16?
True
Suppose -6*t + 4*t = 10. Let l(g) = -2*g**3 - 4*g**2 + 9*g - 1. Let y be l(t). Let s = y - -8. Does 34 divide s?
False
Suppose 4*y + 3583 = h, -3*y = 3*h - 3594 - 7080. Is 7 a factor of h?
True
Let m(y) = y**2 - 9*y - 13. Let p(r) be the second derivative of -r**3/6 + 19*r**2/2 + 16*r. Let a be p(7). Is m(a) a multiple of 3?
False
Let j(z) = -819*z + 788. Is 55 a factor of j(-3)?
True
Let z = 10531 - 4679. Is z a multiple of 7?
True
Let r(m) be the first derivative of 69*m**2 + 75*m - 77. Does 17 divide r(5)?
True
Let l(t) = -18 - 6*t**3 + 27*t**3 - 8*t**3 - 4*t - 2*t. Is l(5) a multiple of 83?
True
Suppose -54*d = -429 + 105. Suppose -195 = -d*n + 2445. Does 5 divide n?
True
Let v(a) = 3*a**2 - 23*a - 32. Is v(11) a multiple of 21?
False
Let j = -29570 - -86155. Is 39 a factor of j?
False
Let i(h) be the first derivative of -15*h**2/2 - 45*h - 24. Let z(w) = w. Let a(j) = -i(j) - 12*z(j). Does 5 divide a(-5)?
True
Let a = 12633 + -5418. Is a a multiple of 111?
True
Suppose 5*k + 28174 = j, -17*j - 56348 = -19*j - 3*k. Is j a multiple of 115?
False
Let n = 9117 + -4521. Is n/10 + 12/30 a multiple of 92?
True
Suppose 0 = -5*t - 141*i + 139*i + 16699, 4*t - i = 13341. Does 6 divide t?
False
Suppose -15*r - 4488 = -40113. Is 19 a factor of r?
True
Suppose o - 11 + 10 = 0. Is (3*o/(-4))/((-183)/5856) even?
True
Let x = 1409 + 1791. Is 8 a factor of x?
True
Suppose -53311 = -4*n - p + 54686, -5*n - 2*p + 134994 = 0. Is n a multiple of 45?
True
Suppose -48*c + 185266 = -76672 + 43058. Does 30 divide c?
True
Let f(t) = t**3 + 32*t**2 - 35*t - 17. Does 13 divide f(-22)?
False
Let u(n) = -5*n - 134. Let c be ((-43758)/65)/17 + (-2)/5. Is 2 a factor of u(c)?
True
Suppose -3*f = -5*y - 9280, -600*f + 12336 = -596*f - 2*y. Is f a multiple of 55?
True
Suppose 857*v + 30 = 863*v. Suppose 4*r = v*j - 260 - 249, 4*j + 4*r - 436 = 0. Does 14 divide j?
False
Suppose 562 = s - 530. Suppose 3*m - 7*m = -s. Suppose 4*n - 51 = -o + 3*n, -5*o + 4*n + m = 0. Is o a multiple of 11?
False
Let z be (-1148)/(-112) + 2/(-8). Let q be ((-11)/(-5) - 3)/((-4)/z). Suppose -12 - 4 = -q*c. Does 8 divide c?
True
Let s(o) = -5*o - 75. Let j be s(-16). Suppose 2*t = j*u - 4085, 3167 = 5*u + 5*t - 883. Does 34 divide u?
False
Let m(h) = -1593*h + 10. Let w(i) = 531*i - 3. Let f(o) = -4*m(o) - 11*w(o). Let c be f(2). Suppose 5*q + 2*s = 1317, c = 3*q + q + 3*s. Does 38 divide q?
False
Let z(j) = -j**3 + 54*j**2 + j - 84. Let u be z(52). Suppose -8*p - u = -22744. Does 71 divide p?
False
Let n(h) = -2*h - 2. Let w be n(-3). Suppose -31*b + 3*b - 504 = 0. Does 4 divide w/b + (-152)/(-36)?
True
Suppose 5 = -5*k + 5*s, -4*k - 4*s + 23 = s. Let c(d) = -k*d**2 - 4*d - d - 58 + 4*d + 175. Does 13 divide c(0)?
True
Let o(u) = -251*u - 3282. Does 48 divide o(-45)?
False
Let u(t) = -t - 3. Let j be u(-4). Suppose -j = 13*s - 12*s. Is (0 - -1) + (s - -22) a multiple of 11?
True
Let t(n) = 5*n**2 - n + 6. Let h(z) = 3*z - 32. Let p be h(12). Is 25 a factor of t(p)?
False
Suppose -4*n + 8 = 0, -v - 2*n + 64 = 2*v. Suppose 12*t - v = 2*t. Suppose 78 + 2 = t*p. Does 10 divide p?
True
Suppose -2*k + 17007 = 5*d - 653, -8 = 2*d. Does 130 divide k?
True
Suppose -12*b - 8940 + 45408 = 0. Suppose -19*g = -8511 + b. Does 18 divide g?
True
Let q(h) = 37 + h**3 - h + 0*h - 33 + 5*h**2 + 2*h**2 + 0*h**2. Suppose -4*b - 37 = 3*a, -2*a = a - 2*b + 13. Is 3 a factor of q(a)?
False
Suppose -5*w + 1481 + 4544 = 0. Let x = -314 + w. Is x/21 + (-6)/14 a multiple of 14?
True
Suppose -3*z = -2*f + 7 - 260, 5*f + 607 = -z. Let w = 198 + f. Is w a multiple of 14?
False
Let w(a) = a**3 - 31*a**2 + 57*a + 50. Let n(v) = -v**2 - 16*v - 34. Let d be n(-9). Does 2 divide w(d)?
False
Let k(n) = -n**3 + 19*n**2 - 3*n + 51. Let x be k(19). Is -5 - ((-1548)/x)/(-6) a multiple of 6?
False
Let p = -31 - -336. Suppose -p = 12*d - 17*d. Suppose -d = -3*a - 5*h, -a + 3*h + 3 = -8. Is a even?
False
Let c(o) be the third derivative of -o**6/24 + o**5/60 + o**4/24 - 6*o**2. Let r be c(-1). Suppose q - 2*u - 70 = 0, u + 218 = r*q - 177. Is q a multiple of 20?
True
Is 3129 + 33/121*11 a multiple of 108?
True
Let h be (742/91 - (-4)/(-26)) + 1. Let t = 68 - h. Is t a multiple of 3?
False
Suppose 2*v = 2*m + 2, -3*v + 2*m + 7 = m. Suppose -2*a = 4*k - 4*a - 368, -v*k + 4*a = -286. Does 6 divide k?
True
Suppose -31345 = -4*j - 5*c, 0 = 4*c - 13 - 7. Does 50 divide j?
False
Is 57 a factor of 3/(-3)*-37*-3*4990/(-30)?
False
Suppose -34*h + 35*h - 2 = 0. Let o be (-1)/(h/(-458)) + -4. Suppose -o - 43 = -2*x + 2*m, 0 = -5*x - m + 652. Does 19 divide x?
False
Suppose 2*t - 2*b + 14 = 3*t, 4*t - 12 = 3*b. Suppose 0 = -10*x + t*x + 112. Does 7 divide x?
True
Let h(s) = -s**3 - 32*s**2 + 195*s - 106. Is 108 a factor of h(-39)?
False
Let x = 22 - 18. Suppose 3*m + 0*m + w - 142 = 0, -5*m + x*w + 265 = 0. Let d = m + -19. Is 10 a factor of d?
True
Is (5 + 1497/2)/((-186)/(-60) + -3) a multiple of 28?
False
Let p(o) = -11169*o**3 - 24*o**2 - 21*o. Is 53 a factor of p(-1)?
False
Let b(f) = -f**3 + 3*f**2 - 5*f + 4. Let o = -101 - -103. Let n be b(o). Does 22 divide 104/(-156)*(-1)/(n/(-198))?
True
Let z = -29 + 31. Suppose 0 = -z*i - 18 - 40. Let s = 55 + i. Is s a multiple of 7?
False
Suppose -1 = -v, -2*v + 19 + 8 = 5*n. Suppose h + 8*z - 9*z - 37 = 0, 4*z = n*h - 182. Is 3 a factor of h?
False
Let y be (4 + 64/(-20))*(-5)/(-2). Suppose -2*u - 2*m - 56 = 0, 2*u + 3*u = -y*m - 125. Is (-2 + u/(-4))/((-26)/(-624)) a multiple of 9?
True
Suppose -950 = -3*s + 40. Suppose 19 - 27 = -2*v. Suppose -7*m - v*m = -s. Is m a multiple of 5?
True
Let o = -14828 - -44018. Does 139 divide o?
True
Let p(o) = -o**2 - 14*o - 5. Let k be p(-12). Suppose k*y - 13650 = -16*y. Does 33 divide y?
False
Suppose -2*s + 3 = 1, 0 = 4*l - 4*s - 84. Is l - (-4 + 5)*3 a multiple of 4?
False
Suppose -4*j - 11 = -75. Suppose 5*s = -3*s + j. Suppose 5*h - s*m - 61 = 140, -m + 114 = 3*h. Does 4 divide h?
False
Suppose 161648 = 2