 of 12?
False
Suppose -d + 3*q + 2309 = 0, -5*d + 3*q = -3591 - 8002. Suppose -1807 - d = -16*l. Does 6 divide l?
True
Let b(i) = 4*i**3 - 5*i**2 + 9*i + 6. Let w(y) = 6*y**3 - 5*y**2 + 10*y + 6. Let q(a) = 5*b(a) - 4*w(a). Does 14 divide q(-3)?
False
Let z = 13 + 83. Suppose -3*m + 168 = -m - 4*l, -m - 2*l = -z. Suppose -45*j + m = -40*j. Is j a multiple of 9?
True
Let w be 23 + -19 + 865*2. Suppose w = -8*b + 5278. Is b a multiple of 7?
False
Let k(i) = 5*i**2 - 19*i + 40. Does 14 divide k(19)?
True
Let p = 39 + -222. Let w = p + 251. Is 34 a factor of w?
True
Let l = 21798 + -2022. Is l a multiple of 17?
False
Let l(b) = b**2 - 9*b + 19. Let t = 253 + -242. Is 5 a factor of l(t)?
False
Suppose -s - 2*g = 7, 4*s - 4*g + 4 = -12. Let x be (1*-20)/s - -9. Let d = x - -125. Is d a multiple of 15?
False
Let p(w) = w**3 - 7*w**2 - 3*w + 20. Let r be p(7). Let q = -2 + r. Is 1532/12 + (-1)/q a multiple of 32?
True
Let b = 25126 - 9223. Suppose 37*n - b = -2028. Does 15 divide n?
True
Suppose -10*h - 3*h + 2223 = 0. Suppose -15*z + h = -6*z. Is 5 a factor of z?
False
Let w(q) = 220*q**2 - 27*q - 52. Let j(c) = -c**2 - 6*c + 53. Let z be j(5). Is 21 a factor of w(z)?
True
Suppose 0 = -4*w - 16, 4*a - 3*w + 130 = 2*a. Let m = 75 + a. Suppose -3*k + 354 = -4*j, 2*k + 5*j - m*j = 225. Is 19 a factor of k?
True
Let b(q) = -q**3 + 14*q**2 - q + 20. Let t be b(14). Let f(s) = -7*s - 32. Let i(l) = -8*l - 31. Let v(u) = -7*f(u) + 6*i(u). Is 22 a factor of v(t)?
True
Let x = -4119 - -4353. Is x a multiple of 18?
True
Suppose -79 - 159 = -7*w. Let b(k) = 6*k + w - 22 + 10*k + 6. Does 13 divide b(7)?
True
Suppose -4*z + 5*l + 21 = -4, z + 5*l = 0. Suppose c - 5*h = -c + 14, z*c = 2*h + 35. Is c/(-21) - (-62)/6 a multiple of 2?
True
Let h be 75/(-27) + 3 + 404/(-36). Let k(c) = -c**3 - 11*c**2 - 10*c - 4. Let r be k(h). Let s = 178 - r. Is 12 a factor of s?
True
Suppose 53*o - 106*o + 95550 = -48*o. Is o a multiple of 105?
True
Suppose -24206 = -62*w + 11320. Does 2 divide w?
False
Suppose 15*w = -11*w + 8866. Suppose 3*d + 108 = z, -3*z + 39 = 5*d - w. Is 10 a factor of z?
True
Suppose -1762*v = -878*v - 885*v - 8. Let o(c) = 5*c**2 + 15*c - 9. Let r(n) = n**2 + 1. Let z(g) = o(g) - r(g). Is z(v) a multiple of 21?
True
Let z(r) = 3*r**2 - 41*r - 236. Let k be z(-6). Suppose -k*h + 528 = -115*h. Does 16 divide h?
True
Suppose -3*i + 9741 = 5*k, -3*k = i - 7*k - 3264. Suppose -4*c = 5*t - i, 2*c - 1938 = -3*t + 4*c. Suppose 17*s = 13*s + t. Does 18 divide s?
True
Let r(f) = 10214*f**2 + 18*f + 8. Is r(1) a multiple of 58?
False
Let s = 4388 - 2200. Suppose -5*o + s = 3*z - 1396, -5*z + 1445 = 2*o. Is 13 a factor of o?
True
Is 12 a factor of (((-163835)/21 - -8) + 4)*-3?
False
Suppose 2*d - 4*d - 204 = -2*m, 3*m - d - 312 = 0. Let l(z) = 0 + m*z - 107*z + 3. Does 9 divide l(-5)?
False
Let t(f) = -f**3 + 14*f**2 + 15*f - 10. Let d(z) = -6*z - 9. Let n be d(-4). Let q be t(n). Does 29 divide q*(-10)/4 - -4?
True
Let b(s) = -21*s**3 - 22*s**2 + 13*s + 258. Does 220 divide b(-10)?
False
Let g = 76573 + -50212. Is g a multiple of 87?
True
Let b(a) be the third derivative of 41*a**4/12 + 2*a**3/3 + 33*a**2 - 2. Is b(4) a multiple of 4?
True
Let l(p) be the third derivative of 5/6*p**3 + 0 + 1/60*p**5 - 1/12*p**4 + 1/120*p**6 + 10*p**2 + 0*p. Is 7 a factor of l(3)?
True
Let z = -4 - -6. Suppose 0 = -2*m - 3*b + 173, -z*m + 116 = b - 59. Suppose 4*t + 2*n = n + m, t = -3*n + 22. Is t a multiple of 22?
True
Suppose 0 = -26*v + 28*v - 4. Suppose -3*s = -v*s + 4*p - 384, -s + 3*p + 384 = 0. Suppose 0 = 5*t - s - 31. Does 17 divide t?
False
Let q(a) = 2*a**3 + 7*a**2 - a + 22. Let w be q(-7). Let f = 1062 + w. Suppose 360 = 2*l + 5*c, 0*l = 4*l - 4*c - f. Does 32 divide l?
False
Suppose 0 = -2*z - 2383 - 2747. Let u be (-10)/40 + z/(-4) + 1. Suppose -3*a + u = 8*i - 3*i, 2*i - 3*a = 240. Is 9 a factor of i?
True
Suppose 1062 + 1906 = -14*q. Let s = -104 - q. Is s a multiple of 5?
False
Let k(r) = -5 - r - 5 - 1 + 0. Let z be k(-11). Suppose u - 5 = z, 220 - 45 = 3*v + 2*u. Is v a multiple of 11?
True
Let s(j) = j**2 - 6*j + 8. Let f be s(3). Does 16 divide (52 - f) + -7*(-40)/56?
False
Let l(a) = 4*a + 75. Let n(x) = -x - 39. Let j(t) = -6*l(t) - 11*n(t). Let z = 19 - 30. Is 8 a factor of j(z)?
False
Let v(y) = -254*y + 365. Let r(o) = 766*o - 1096. Let l(m) = 5*r(m) + 14*v(m). Is l(6) a multiple of 14?
True
Let n(g) = -20*g**3 + g - 1. Let t be n(1). Does 24 divide (-2 + (-475)/t)*20?
False
Suppose -5*f - 3 = 2*r + 25, 0 = f. Is 25 a factor of (r - -8)*((-4872)/(-9))/(-7)?
False
Let w(v) be the third derivative of 17*v**4/12 + 7*v**3/2 - 308*v**2. Is w(23) a multiple of 10?
False
Suppose -21*o + 135287 = 21215. Does 56 divide o?
True
Let p be (142/568)/((-2)/(-16)). Let q = 4 + -25. Is ((-82)/6 + 3)*q/p a multiple of 24?
False
Let n(l) = 2*l**3 + 61*l**2 - 88*l + 120. Is n(-28) a multiple of 6?
True
Suppose 2574*p - 2566*p - 57891 + 11955 = 0. Is 88 a factor of p?
False
Suppose 7*y - 26 - 2 = 0. Suppose -5*u - 115 = -3*i + 479, 0 = 3*i - y*u - 594. Is 9 a factor of i?
True
Suppose -4*b - 4*y + 48670 = 5206, y - 32610 = -3*b. Does 24 divide b?
True
Suppose 0 = -4*j - b + 29, -5*j = -j + 2*b - 34. Suppose -54 = -0*u + u. Let g = j - u. Does 10 divide g?
True
Let x(u) = 34 - 4*u - 2*u + 12*u. Let b be x(18). Suppose -38 = -6*n + b. Is 13 a factor of n?
False
Let c be (-56)/(4*2/(-144)). Suppose c = 13*a - 4*a. Does 16 divide a?
True
Let k(r) = -6216*r**3 - 5*r**2 - 5*r. Is 14 a factor of k(-1)?
True
Suppose 3*b - 12 = 0, 2480*f - 2483*f = -4*b - 46616. Does 13 divide f?
False
Suppose 0 = 5*l - 26 + 6. Suppose -70 = -x - l*k + 144, -2*x - 4*k = -424. Is x a multiple of 42?
True
Suppose 7417 = 3*n - 4*c - 16053, -2*n + 5*c = -15642. Is 14 a factor of n?
True
Let x be (-6)/4*-1 - (-81)/(-18). Does 7 divide (11 - 2)/(x/(-189))?
True
Let q = 84 - 81. Suppose -4*p + p = q, 4*p = -4*m + 228. Suppose 2*o - 19 = c + m, c = 3*o - 117. Is 10 a factor of o?
True
Let n(k) = 139*k - 1163. Let v be n(11). Let p(q) = -q**3 - 6*q**2 - q - 6. Let u be p(-6). Suppose -3*s - v + 951 = u. Does 39 divide s?
True
Let a be (-11 - -5)*4/(-6). Suppose 5*o - x - 305 = 4*o, -a*o = -3*x - 1220. Is 18 a factor of o?
False
Suppose -2*n + 2*j + 2367 = -j, -4*j = -4*n + 4724. Suppose -5*w - n = -12*w. Does 5 divide w?
False
Let f(k) = 15*k**2 + 19*k - 6. Is f(6) a multiple of 12?
True
Let w be ((-5)/3)/((-40)/144). Let u be w/4*70/5. Suppose -u - 55 = -4*a. Does 3 divide a?
False
Let s = 9066 + -944. Is 10 a factor of s?
False
Let m(z) = z**2 + 25*z + 34. Let p be m(-25). Suppose -p*t = -2346 - 3094. Does 10 divide t?
True
Let y = -9131 - -26925. Is 11 a factor of y?
False
Let i(g) = 5*g - 55*g**2 - 7*g**2 - 4 + 5. Let s be i(2). Let n = 496 + s. Does 37 divide n?
True
Let s = -2526 + 3373. Is s a multiple of 2?
False
Let i be -18*((-65)/(-20))/((-3)/36). Suppose 2*a + 276 = i. Is 71 a factor of a?
True
Suppose 0 = -12*o + 13*o - 4. Suppose -3*b = -3*m + b + 28, m = o*b + 20. Suppose m*g - 98 + 38 = 0. Does 8 divide g?
False
Let x be 6/2 + 0/(-20). Let w = x + -5. Is 20 a factor of 328/10*(-5)/w?
False
Suppose q = -3*i + 420, 0 = 4*i - 4*q - q - 541. Let t = i + 389. Is t a multiple of 66?
True
Is 25 a factor of -7 + -9 + 2 + (-1 + 265)*146?
False
Suppose 0 = -64*p + 47*p + 34425. Is p a multiple of 2?
False
Let y = -6 + 9. Let z be ((-8)/(-1) - (8 + -5))/1. Let b = z + y. Does 8 divide b?
True
Suppose t - 6*r + 11*r = 67, 3*r = 3*t - 111. Does 44 divide (3390/t - 5)*(1 + 6)?
False
Is (-195)/(-10)*((182/(-21))/13 - -88) a multiple of 67?
False
Let r = -66 + 62. Let s(a) = -4*a + 24. Is s(r) a multiple of 8?
True
Suppose -4*u - 1751 = -3*o, -20*o = -15*o - 2*u - 2923. Is o a multiple of 9?
True
Let a = -34 + 117. Let w = 1221 + -1219. Suppose -5*b + a = q - 57, 3*b - w*q - 84 = 0. Does 28 divide b?
True
Suppose 61 = -5*b + 4*b. Let s = b - -63. Suppose 92 = -4*m - 3*d + 256, 0 = 3*m + s*d - 124. Is m a multiple of 33?
False
Let t be (12/3)/16 + (-14)/(-8). Suppose 2*u = -4, -t*d + 43 = -d + u. Suppose -d - 255 = -4*c. Does 8 divide c?
False
Let i be (0 + (-8)/10)/((-98)/(-245)). Is 30 a factor of ((-3051)/18)/(1/i)?
False
Let a be 1650/(-33) + 0 + -2. Does 12 divide a/234 + (-857)/(-9)?
False
Suppose 25*