 -610*n**3 + 3*n**2 + 13*n + 33. Does 23 divide d(-3)?
True
Let p = 12793 - 8895. Does 44 divide p?
False
Is 1/6*-3*-4124 a multiple of 27?
False
Suppose 3*a - 4*m - 14202 = -7*m, a - m - 4748 = 0. Is a a multiple of 11?
True
Let v(w) = -10 + 0*w + 9*w - 3. Let m be (14/(-3))/((-650)/39 - -16). Is v(m) a multiple of 10?
True
Let f(w) = -4*w**2 - 4*w + 1. Let g be f(-2). Is 293 - (g - -6)*1 a multiple of 30?
False
Let a(c) = 27*c**2 - 30*c - 37. Is a(-17) a multiple of 40?
False
Suppose -36097 = -16*r + 5855. Suppose 4*v - 8 = 0, 10*m = 14*m - v - r. Is 25 a factor of m?
False
Let b(y) = -6955*y + 285. Does 40 divide b(-1)?
True
Let x be (12/(-4))/((-18)/12). Suppose 8*i - 975 = 3*i. Suppose -5*z + i = 3*t, x*t - 128 = -3*z - 2*t. Is z a multiple of 7?
False
Let j(d) = 14625*d**2 - 28*d - 21. Does 22 divide j(-1)?
False
Suppose -3*f - 4 + 7 = 0. Let c(h) = h**3 + 4 - 9*h**2 - f - 10*h + 10. Is 5 a factor of c(10)?
False
Suppose 6*m - 3*m - 2181 = 7*u, 3*m = 4*u + 2172. Let h = m + -600. Is 10 a factor of h?
True
Let t = 7156 + -2512. Is t a multiple of 36?
True
Suppose -813 = -y - 797. Suppose 9*s - 4650 = -y*s. Is s a multiple of 3?
True
Let w = -358 - -475. Suppose w = g - 140. Is 16 a factor of g?
False
Suppose 3*v + v = 204. Let h = -48 + v. Suppose m + 0*s - 3*s = 58, -205 = -4*m + h*s. Does 15 divide m?
False
Let h(b) = 6*b**2 - 10*b + 45. Let p = -459 - -469. Is h(p) a multiple of 8?
False
Let q(i) = -4*i**2 + 80*i + 272. Is 25 a factor of q(20)?
False
Let r = 232 + 8577. Does 117 divide r?
False
Is (-4 - 314/(-6))*(-4 - -7) a multiple of 18?
False
Let f(i) = i**2 - 17*i - 1. Let l(k) = k**2 - 17*k - 2. Let a(s) = 2*f(s) - 3*l(s). Suppose -4*q + 52 = t, -q - 64 = -6*q - t. Is 32 a factor of a(q)?
True
Let d = -45 + 62. Suppose d*n - 18*n - 319 = -p, 943 = 3*p + 4*n. Is 41 a factor of p?
False
Let r(n) = -3*n + 1749 + 18*n**3 - 1747 + 123*n**3 + n**2. Is 31 a factor of r(1)?
False
Does 30 divide (2184/18)/(-13)*-360?
True
Suppose 2*g = -3*g + 45. Let b(h) = -1705*h**2 - 4 - 12*h + 1710*h**2 - 5. Is b(g) a multiple of 36?
True
Let t be 128/40*(-125)/(-2). Suppose -7*x = -17*x + t. Is 16 a factor of x/3*(23 + -11)?
True
Let m(i) = 1434*i - 1130. Does 10 divide m(10)?
True
Suppose 3*u = -3*a + 2520, 0 = -5*u + 3*a + 1263 + 2921. Suppose -46*y + 55072 = u. Is y a multiple of 14?
False
Let s be -10 - (2 + -8) - -3. Is (s - -96) + 0/(12 + -26) a multiple of 4?
False
Is 2/18 + 5560350/513 a multiple of 15?
False
Let t = -663 - -981. Let x = t - -436. Is 12 a factor of x?
False
Let o(y) = -y**3 + 9*y - 2. Let m be o(-3). Is 12 a factor of ((-18)/4*m)/((-16)/(-768))?
True
Suppose 4*z + 7698 - 4404 = 38718. Is 216 a factor of z?
True
Let y(p) = -4*p**2 - 17 - 5*p**3 + 4*p**3 + 36*p - 29*p. Does 13 divide y(-10)?
False
Suppose -4*a + 618 + 166 = 0. Let y = 371 - a. Is 25 a factor of y?
True
Suppose -9*v = -15067 - 7784 + 3501. Does 3 divide v?
False
Let v = 90 + -69. Let x be ((-16)/(-28))/(3 + (-57)/v). Suppose 910 = 5*s + x*s. Is s a multiple of 26?
True
Let q(p) = -p**2 - p. Let v(z) = -z**3 + 12*z**2 - 13*z + 11. Let m = -139 - -138. Let u(g) = m*v(g) - 3*q(g). Is 3 a factor of u(7)?
True
Suppose 20375 = 12*y - 4*y + 1511. Does 15 divide y?
False
Suppose -60*r - 16680 = -70*r. Is 5 a factor of (r/(-15))/((-102)/30 + 3)?
False
Let m(d) = -5530*d - 18. Is m(-1) a multiple of 52?
True
Suppose 25*a = -9 + 34. Is 7 a factor of -30 + 36 + (-1)/a*-653?
False
Let f(r) = 8*r**2 + 5*r + 5. Let k be f(-5). Let z be ((-10)/3)/((-12)/k). Suppose -47*n = -z*n + 54. Is 5 a factor of n?
False
Let a(t) be the second derivative of t**4/6 + 13*t**3/6 - 5*t**2/2 - 63*t. Does 30 divide a(-14)?
False
Let q(d) = -d**3 + 10*d**2 + 16*d - 9. Let g be q(11). Suppose g = 9*s - 755. Does 4 divide s?
False
Let z = 136 - 602. Let w = 637 + z. Is w a multiple of 18?
False
Suppose -358 = -5*r + 3*k - 5*k, -4*k - 264 = -4*r. Let v be (3/2)/(21/r). Suppose 4*t = 5*t - v*a - 58, -2*a + 2 = 0. Is t a multiple of 9?
True
Let w(g) = 3*g**2 + g + 87 - 2*g**2 + 0*g**2 - 31*g. Is 3 a factor of w(30)?
True
Let k be (12 + -13)*(2 + -2). Suppose 0 = -3*q + 2*v - k*v + 3, -2*q + v = -3. Suppose 43 + 83 = q*s. Is 7 a factor of s?
True
Let b = 704 + -695. Suppose 4 = 5*s - 4*s. Suppose -b*c = -s*c - 440. Is 19 a factor of c?
False
Let b(r) = -4*r - 47. Let n be b(0). Let t = n + 48. Let d = 21 + t. Is d a multiple of 11?
True
Suppose 152*s - 163*s + 22 = 0. Let g = 132 - -46. Is 7 a factor of 24/(-9) + s - g/(-6)?
False
Let d(l) = 94*l**2 - 59*l + 7. Suppose -64*r - 76 = -268. Is d(r) a multiple of 77?
False
Let n = 1920 + 2308. Does 64 divide n?
False
Suppose 614 = 4*m - 3*i + 51, -5*i = -3*m + 414. Is 70 a factor of m?
False
Let a(o) be the second derivative of o**5/10 - o**4/3 - o**3/3 + 8*o**2 - 6*o + 1. Is a(4) a multiple of 18?
True
Let a(s) = -972*s + 7. Let f be a(-1). Let x = f - 323. Does 7 divide x?
False
Suppose 55 = 11*y - 44. Does 27 divide 10/90 + 485/y?
True
Suppose 4*j + 2298 = 3*s, -4*s + 73*j = 72*j - 3077. Is 35 a factor of s?
True
Suppose -410 - 160 = -2*o. Let p be (o/(-12))/(-2 - 51/(-24)). Let y = p + 270. Is y a multiple of 10?
True
Let c be 538/15 - (-4)/30. Let d be 8/c + 534/27. Is 33 a factor of (-12)/d + 1752/20?
False
Let k = 4514 + -4286. Is 4 a factor of k?
True
Suppose -4 = -d, j - 66*d + 71*d - 865 = 0. Does 6 divide j?
False
Suppose 2039 = 4*l - 5*i, 819*l - 821*l = 4*i - 1052. Is l a multiple of 29?
False
Suppose -17*k + 5*d = -20*k + 157, -5*k = -2*d - 210. Is ((-54)/5*1)/(k/(-110)) a multiple of 7?
False
Does 5 divide ((-36)/8)/(-9)*-8 + 62080/8?
False
Does 42 divide -2*(-268)/(-16)*17024/(-19)?
False
Suppose 5199 - 25551 = -16*o. Is o a multiple of 28?
False
Let y = 3176 + 3215. Suppose -21*m + y + 1946 = 0. Is m a multiple of 44?
False
Let j = -4 - 1. Let g(z) = 51*z**2 - 21*z + 9. Let f(n) = 13*n**2 - 5*n + 2. Let h(q) = j*g(q) + 21*f(q). Does 14 divide h(2)?
False
Suppose -3*k - 322 = -k. Let p = -154 - k. Is 2 a factor of p?
False
Let q(m) = -m**3 + 11*m - 10. Let i(h) = 4*h**3 + h**2 - 45*h + 41. Let b(w) = -2*i(w) - 9*q(w). Let k = 288 + -283. Does 4 divide b(k)?
False
Let l(u) be the first derivative of 44*u**2 - 14*u - 4. Is 50 a factor of l(3)?
True
Is (-2 + 55/10)*(403 - -17) a multiple of 10?
True
Suppose -85 + 240 = -a - 4*n, -2*n = -2*a - 320. Suppose 4*z + 3*j = -306, -3*j + 219 = -z - 2*z. Let w = z - a. Does 21 divide w?
True
Suppose t = 58 - 24. Suppose -40*g + 2340 = -t*g. Is 15 a factor of g?
True
Let a(s) = 2*s**2 + 16*s - 22. Let x be a(-12). Suppose -16 = -10*k + x. Is k a multiple of 2?
False
Let u(q) = 6*q + 19. Let m be u(-3). Let i be ((-11)/3)/(8/(-384)*m). Suppose -8*p + 624 = -i. Does 15 divide p?
False
Let d(m) = -m**3 + m**2 - m - 128. Let w be d(0). Is (w/40 + (-1)/(-5))*-93 a multiple of 8?
False
Let b = -751 - -821. Suppose 47 = s - b. Does 13 divide s?
True
Let r be 6/3*(-4 + 3)*44. Let i = r - -154. Let v = 94 - i. Is v a multiple of 4?
True
Let n = -334 - -212. Let z = n + 152. Does 11 divide z?
False
Suppose 0*c - 3*v - 633 = -2*c, 4*v = 12. Let b be 3*(-2)/(-2) + c/3. Let y = b - -37. Does 21 divide y?
True
Let r(v) = 83*v**2 + 212*v + 1578. Is r(-7) a multiple of 19?
True
Let a(p) = 6*p - 39. Let w be a(-2). Is 16 a factor of ((1 - -2) + -219)/(w/34)?
True
Let j(l) = -178*l + 100. Is 7 a factor of j(-25)?
True
Let j be 2724 + ((-24)/(-4) - 2). Suppose -j = -21*o - o. Is 8 a factor of o?
False
Suppose r + 219 = 632. Let n = r - 271. Is 28 a factor of n?
False
Suppose -6 = -3*n - 0. Let w = -287 - -287. Suppose j - n*j + 9 = w. Does 3 divide j?
True
Suppose 3*q + 12 = -2*y + 5*y, -8 = -3*y + 4*q. Suppose -7*r = -y*r + 4. Suppose -4*m - 967 - 557 = -r*c, 2*c + 5*m - 783 = 0. Does 43 divide c?
False
Suppose -y = -5*d - 712, 12 + 8 = 5*d. Suppose y = 28*c - 25*c. Is c a multiple of 14?
False
Suppose -5*b + 4*z = -32015, -876*z = b - 873*z - 6422. Does 43 divide b?
True
Suppose -b + 35 = -20. Suppose 7*g - 3*g + 148 = 0. Let y = b + g. Is y a multiple of 6?
True
Suppose 0 = 2*l + 8, 0 = -5*v + 5*l - 7 + 377. Let a = -84 + v. Let z = -9 - a. Is z a multiple of 5?
True
Does 10 divide (-548390)/(-116) - (-3 - (-7)/2)?
False
Suppose -t + 5*a - 8 = 0, -2*t + 11 = -13*a + 12*a. Let b be t + -4 - (-1 + 0) - 6. Is 13 a fa