 = 7*a - w*a - 350. Is a a multiple of 14?
True
Let u(d) = d - 1. Let j be u(3). Suppose -2*x + 1 = -h, -5*x + 3*h = -j*h + 5. Suppose 0 = -4*w + 3*w - x*c + 9, -8 = -w - 3*c. Is w a multiple of 4?
False
Suppose -24*a - 16272 + 40560 = 0. Is a a multiple of 22?
True
Let t = 512 + -96. Is 52 a factor of t?
True
Suppose -2*f + 6*f = u + 4490, -2*f = -4*u - 2252. Is f a multiple of 11?
True
Suppose 0 = -12*i + 6*h - h + 3529, 2*h = -10. Does 5 divide i?
False
Let u(k) = 10*k**2 + 3*k + 27. Is 13 a factor of u(-8)?
False
Let o = -20 - -24. Let d(r) = r**2 - 1. Is d(o) a multiple of 8?
False
Suppose 3*t + 8*l = 3*l - 13, 2*l + 22 = -4*t. Let p(d) = 9 + 7*d**2 + 4*d - 4*d**3 + 4*d**3 + d**3. Is 7 a factor of p(t)?
True
Suppose -6*g + 18887 - 7187 = 0. Is g a multiple of 15?
True
Suppose -4*a = 20*a - 44472. Does 8 divide a?
False
Let u be ((-3)/(-4))/((-3)/(-12)). Suppose -l + 4*t = -2*l + 11, u*t = -5*l + 4. Is 44 - (-1)/(l/(-1)) a multiple of 15?
True
Let g(z) = 3*z**2 + 26*z - 69. Is 99 a factor of g(-20)?
False
Let k be -7 - (-2 - -11)/(-3). Let j be (-2)/k + (-35)/(-10). Suppose -j*a + a = -78. Is a a multiple of 26?
True
Does 38 divide -2 - (2377/(-5))/((-6)/(-30))?
False
Suppose 60*d - 68*d = -12240. Does 9 divide d?
True
Is (9 - 3)*(-5165)/(-30) a multiple of 48?
False
Let q be (-6)/45 - 2/(-15). Suppose q = 25*f - 20*f - 20. Suppose f*j = 283 + 313. Does 43 divide j?
False
Let q(c) = 5*c**3 + 5*c**2 + 6*c + 5. Let k be q(-3). Let p = k - -139. Is 9 a factor of p?
True
Is 4 a factor of 56 - 0/(12/4 + -2)?
True
Let j be (-9)/(-12)*16/6. Suppose 24 = 4*r - j*r. Let a = r - -25. Does 7 divide a?
False
Suppose -16*k + 3423 = v - 13*k, -k + 6861 = 2*v. Is v a multiple of 44?
True
Is -1 + 3 + 4 - -154 a multiple of 32?
True
Let m = 30 + -20. Suppose 0 = 2*u - m, 3*q - 5*u - 233 - 174 = 0. Suppose 5*o + 55 = a, a + o + q = 5*a. Is a a multiple of 18?
False
Suppose -5*x = 5*w - 140, 35 + 29 = 3*w - x. Let a = w - -10. Is 10 a factor of a?
False
Let o = 3205 - 1441. Is o a multiple of 28?
True
Let w be 5*(636/10)/(-3). Is -4 + 4 - 0 - w a multiple of 31?
False
Suppose -3*f + 6*l - 3*l + 657 = 0, f = -2*l + 228. Does 74 divide f?
True
Is 11 a factor of (49/3)/(-2*(-7)/168)?
False
Suppose 9*v + 1463 - 4622 = 0. Does 13 divide v?
True
Suppose -3*p - 159 = -2*g - g, 0 = -5*g - p + 271. Let w = 80 - g. Does 6 divide w?
False
Suppose 2*q - 5*k = 6, -6*q + 4*q + 42 = 4*k. Suppose -3*j - q - 104 = 0. Is ((-3)/(-1) + j)*-2 a multiple of 24?
True
Suppose 5*t - 625 = -5*w + 1420, 2*w + 1630 = 4*t. Does 23 divide t?
False
Let s(q) = q**2 + 29*q - 93. Does 5 divide s(6)?
False
Let g(k) = 14*k**2 + 17*k - 59. Is 112 a factor of g(-16)?
False
Let z(n) = -n**3 - 10*n**2 - 7*n - 24. Let p be z(-10). Let d = 148 - p. Does 17 divide d?
True
Let d(v) be the first derivative of -v**4/4 - 11*v**3/3 + 4*v**2 - 13*v + 5. Let r be d(-12). Let k = -20 + r. Is k a multiple of 5?
True
Is 17 a factor of (((-76780)/33)/(-10))/((-2)/(-3))?
False
Does 25 divide (2 - 1)/(2424/807 + -3)?
False
Let f = 21 - 29. Let s = f - -9. Suppose 0*q = q - s, -4*v = 5*q - 145. Is v a multiple of 11?
False
Let l = 23 - 21. Suppose 5*a + 212 = -3*t + 5*t, 0 = -l*t + a + 196. Is t a multiple of 16?
True
Let r(w) = w - 4. Let x(m) = m + 1. Let v(p) = r(p) + x(p). Let i be v(2). Is (10 - (2 - -1))*i a multiple of 7?
True
Let q(c) = -10*c. Let y = 15 + -21. Is q(y) a multiple of 27?
False
Let c(f) be the second derivative of f**6/360 + f**4/24 - f**3/2 - 5*f. Let u(s) be the second derivative of c(s). Is 6 a factor of u(3)?
False
Does 8 divide 2/5 - ((-21564)/30)/3?
True
Suppose 3*p - 28 = 20. Let g = p - -3. Is 12 a factor of g?
False
Is -1 - 24/(-32)*556 a multiple of 4?
True
Let d = 178 + -234. Let r = 126 + d. Is 14 a factor of r?
True
Let g(d) = -d**2 + 11*d + 1. Let h be g(12). Let m(k) = k**3 + 12*k**2 - 7*k - 9. Let w be m(h). Let n = -122 + w. Is 32 a factor of n?
False
Let f(v) = -123*v - 2. Let c be f(-1). Suppose 2*k - 11 = c. Is 22 a factor of k?
True
Let x(f) = -f**2 - 2*f + 3. Let a be x(0). Does 13 divide ((-84)/(-9))/(2/a)?
False
Let k(i) = i**3 + 7*i**2 - 3*i - 5. Let h be k(-7). Suppose 4*q = -0*q + h. Let p = 10 + q. Does 3 divide p?
False
Does 50 divide 152/(-76) - (-5)/(5/102)?
True
Let x(v) = 4*v**3 + 6*v**2 + 6. Let o(p) = -4*p**3 - 5*p**2 - 5. Let m(w) = 7*o(w) + 6*x(w). Is 19 a factor of m(-2)?
False
Let i = -1285 - -2309. Does 34 divide i?
False
Let k(t) = 7*t**3 + 3*t - 17. Let p(c) = 3*c**3 + 2*c - 8. Let u(x) = -4*k(x) + 9*p(x). Is 2 a factor of u(-3)?
False
Let i(n) = -37*n**3 + 9*n**2 + 17*n. Does 20 divide i(-2)?
False
Does 30 divide (((-10)/(-4))/(-1))/(4/(-48))?
True
Let q be (-2)/(-9) + 734/18. Suppose q = -5*l + 101. Let o = -6 + l. Is o a multiple of 3?
True
Let g(h) = -54*h - 45. Is g(-9) a multiple of 49?
True
Suppose -21*z - 719 = -r - 16*z, -z = 5*r - 3699. Is r a multiple of 70?
False
Let f = -87 - -116. Let p = 10 + f. Is p a multiple of 3?
True
Let q be ((-136)/3)/(((-8)/(-3))/(-4)). Let i = -26 + q. Does 2 divide i?
True
Let t = 6 - -35. Suppose 4*d + t = f - 21, -4*f - 3*d + 153 = 0. Let x = f - 14. Is 16 a factor of x?
False
Let b(o) = -o**2 - 27*o - 9. Is b(-18) a multiple of 17?
True
Let p be (-4 + -2)/24 + (-458)/(-8). Suppose -4*d = -d - p. Does 11 divide d?
False
Let p be (-1)/(-5) + (-9)/(-5). Suppose -k + j = p*k - 387, 2*j = 2*k - 258. Is 21 a factor of k?
False
Let s(k) = 2*k + 7. Let d be s(-4). Is 1*(d - -44 - 2) a multiple of 6?
False
Suppose 6*a = 11*a - 5. Does 23 divide 5 + a + -4 + 118?
False
Suppose 148 = f + 129. Let p = 25 + f. Does 11 divide p?
True
Let p be 4/(-6) - (-16624)/(-12). Let i = -833 - p. Suppose 9*r - i = 2*r. Is 24 a factor of r?
False
Let g(v) = -v**3 + 6*v**2 + 4*v + 10. Let i be g(7). Let h = i + 22. Suppose h*y - 8*y - 210 = 0. Is 14 a factor of y?
True
Suppose 3 = -3*j + 4*j. Suppose -j*u + 4*u = 3. Is 10 a factor of (-4)/((-29)/(-10) - u)?
True
Let a be (2 + -7 - (-2 + 0))*-1. Let w be 4/10 + (-36)/15. Let m = a - w. Is 5 a factor of m?
True
Suppose -160*s + 152*s = -864. Is 27 a factor of s?
True
Let f(s) = s**3 - 16*s**2 + 15*s - 10. Let p be f(16). Let y = 182 + p. Suppose -92 + y = 5*t. Is t a multiple of 26?
False
Let o be -4 - -7 - 1 - -26. Suppose -3*k + 193 = o. Does 14 divide k?
False
Let d = -1292 - -1371. Is d a multiple of 2?
False
Suppose -5*c = -v - 2965 - 1256, v + 3377 = 4*c. Is c a multiple of 16?
False
Suppose -2*v = 2*r + 68, 6*v - 2*v - r + 116 = 0. Let h be ((-2)/(-4))/((-3)/v). Suppose h*u = -10, a - 100 = -0*a + 2*u. Is a a multiple of 21?
False
Does 22 divide (10056/(-4))/(-6) - 1?
True
Let v(l) = 25*l + 72. Is 73 a factor of v(6)?
False
Let h(r) = -61*r - 4. Let c be h(-3). Suppose 0*v = -2*n + 5*v + c, -2*n = -v - 183. Suppose -17 + n = 5*d. Is d a multiple of 4?
False
Is 4/20*2 + (-222312)/(-120) a multiple of 19?
False
Let t = -34 + 34. Suppose -6*d + 383 + 1939 = t. Is d a multiple of 43?
True
Suppose 5*h - l + 25 = 0, l + l - 10 = 0. Is ((-124)/12)/(h/24) a multiple of 35?
False
Is 132/(-18)*810/(-20) a multiple of 13?
False
Let j be (10 - (-6)/3) + 0. Suppose 13 = -k - j. Let n = -13 - k. Is n a multiple of 6?
True
Let d(j) = -34*j + 478. Is 15 a factor of d(-8)?
True
Let t(l) be the second derivative of l**4/4 + 2*l**3/3 - 3*l**2/2 + 14*l. Is 4 a factor of t(1)?
True
Let q(o) = 10*o**2 + 16*o - 140. Is q(8) a multiple of 17?
False
Is 29 a factor of 1065/(-1420)*(0 - 2824/2)?
False
Let j(g) = 2*g + 20. Let w(s) = -s**3 - 8*s**2 + 5*s - 22. Let a be 3/2*(-114)/19. Let p be w(a). Is j(p) a multiple of 12?
True
Let u(i) = 254*i - 11. Let r be u(4). Suppose 6*y = r + 615. Is 15 a factor of y?
True
Let z(t) = 16*t + 32. Does 19 divide z(36)?
True
Suppose 2*q + 66 - 6 = 0. Let g = q + 44. Is g a multiple of 14?
True
Suppose -3*c + 2*t = -130, -3*c + 4*t = -98 - 42. Let s(y) = 5*y**2 + 3*y - 5. Let k be s(4). Let l = k - c. Does 17 divide l?
False
Let k = 139 + 26. Is k a multiple of 5?
True
Let x(s) = 2*s**2 - 6*s + 3. Let p be x(5). Let t = 67 - 62. Suppose -q - p = -2*u - 4*q, t*q + 82 = 3*u. Is u a multiple of 16?
False
Let s(t) be the first derivative of -11*t**2/2 - 22*t + 18. Is s(-8) a multiple of 11?
True
Let b = 1013 - 911. Does 3 divide b?
True
Let b = -774 - -1636. Is 56 a fa