 20868 = 4*a, 4*a - v - 20910 = -6*v. Is 6 a factor of a?
True
Let y(v) be the first derivative of 117*v**2/2 + 73*v - 45. Is y(11) a multiple of 20?
True
Let m(s) = -112*s - 74. Let z be m(-13). Let b = -962 + z. Is b a multiple of 60?
True
Let y = 1071 + -1069. Suppose 58 - 168 = -5*d. Is (9/y)/(((-2)/(-2))/d) a multiple of 33?
True
Let j = -31 + 47. Suppose -3681*n - 225 = -3696*n. Suppose -j*u = -n*u - 95. Is 19 a factor of u?
True
Suppose -53*x + 27*x + 36686 = 0. Let o = x - 788. Is 30 a factor of o?
False
Suppose 23*q - 6*q - 1258 = 0. Let n = q - -166. Does 4 divide n?
True
Let t(z) = -4*z + 5*z - 3*z + 158 + 3*z. Is 13 a factor of t(28)?
False
Suppose 305*h = 268*h + 79217. Is 61 a factor of h?
False
Suppose 2*t = 12*t. Suppose 22*a - 19*a - 210 = t. Does 5 divide a?
True
Let j be ((-21)/(-2))/((-2)/(8/(-6))). Suppose -1215 = -3*q + 4*a, 3*q + a = j*q - 1620. Is 15 a factor of q?
True
Let t = -33159 - -39106. Is 313 a factor of t?
True
Let b be ((-26)/(-4))/(14/(-1260)). Let k = b - -977. Is k a multiple of 8?
True
Let f(a) = 2*a + 11. Let w be f(-5). Let x(g) = g**2 + 6*g - 132. Let y be x(-15). Is 8 a factor of (y + -2)/((-1)/(w*-23))?
False
Let k(s) = -15*s + 26*s + 4 + 37*s - 7. Does 5 divide k(6)?
True
Let o = 26 - 32. Let n be 150/(-20)*272/o. Suppose 2*u = 7*u - n. Is u a multiple of 17?
True
Suppose 4*j - 7 = 2*x + 5, -4*j + 14 = -3*x. Let r be x/(-4) - (-1252)/(-32)*4. Let z = r + 332. Is z a multiple of 19?
False
Let k(j) = -j**2 + j + 1. Let x(c) = -c**3 - 11*c**2 + 25*c + 15. Let o(f) = 2*k(f) - x(f). Is o(-8) a multiple of 20?
False
Suppose 4035 = 31*r - 28*r. Suppose 0 = 9*v - r + 4801. Does 5 divide (-8)/(v/904) + 1/6?
False
Let f be (-18)/24 - (-1 - 95755/20). Suppose -58*q - f = -77*q. Is 9 a factor of q?
True
Let y = 2641 - -6186. Does 91 divide y?
True
Let q = -294 - -319. Suppose -11231 = -q*t + 2069. Does 28 divide t?
True
Let l(n) = 2*n**2 - 71*n - 7951. Is 4 a factor of l(116)?
False
Let v = -4451 - -10583. Suppose 35*j - v - 4123 = 0. Is 42 a factor of j?
False
Suppose 740 = -0*j + j - 3*d, 4*j - 2940 = 2*d. Let z = j + -404. Is z a multiple of 22?
True
Let g(m) = -m**3 - 28*m**2 + 7*m - 892. Is 9 a factor of g(-31)?
False
Let p(k) = k**3 - 6*k**2 - 4*k - 16. Let c be p(7). Suppose -b + c = 3. Suppose 0 = 5*l - 19 - 6, 3*t - 46 = -b*l. Is 11 a factor of t?
False
Let i(t) be the second derivative of -3*t**3 - 10*t**2 + 41*t - 3. Does 4 divide i(-8)?
True
Suppose 5*v = -3*n - 3679 + 5458, -n - v + 589 = 0. Is 11 a factor of n?
True
Let f = 88 + -74. Let y be 924/6*12/f + -2. Suppose 0 = -5*t - i + 628, -t - 2*i + y = 8. Does 18 divide t?
True
Suppose 10*n = 684 + 4416. Let g = -18 + -26. Does 4 divide n/22 - (-8)/g?
False
Suppose -5*k + 4212*d + 74769 = 4215*d, 5*k - 74748 = 4*d. Is 14 a factor of k?
True
Let x(f) = f**3 + 4*f**2 - 2*f - 7. Let t be x(-4). Let j be 3*t/(9/123). Let n = -25 + j. Is n a multiple of 8?
True
Suppose 0 = -2*s + 5*r + 13920, 0 = 6*s - s + 2*r - 34800. Is 120 a factor of s?
True
Let g(k) = 3971*k - 2115. Is 142 a factor of g(3)?
True
Let k be -2 + 36/24 - 1625/2. Let j = k + 2133. Is j a multiple of 40?
True
Let p = 34 + 62. Let w = p + -213. Let v = w + 141. Is 6 a factor of v?
True
Let v = -1173 + 3969. Is v a multiple of 29?
False
Suppose -5*v - 7 - 30 = -4*u, 2*u + v = 1. Suppose -u*f + 4 = -f. Suppose 5*t = 2*a + 350, -3*t - a + 210 = -f*a. Does 7 divide t?
True
Let x(n) = 134*n + 825. Does 9 divide x(12)?
False
Let f be -1 + (-2)/4 - (-1281)/122. Is 8/72*f - (0 + -1114) a multiple of 25?
False
Let z be (-3)/(-4) + 420/(-112). Is (-670)/(-30) + 1/z a multiple of 22?
True
Let x be (3/1*-1)/((-27)/45). Suppose 0 = x*i + 729 - 3089. Does 11 divide i?
False
Let x(b) = b**3 + 26*b**2 - 21*b + 722. Is 52 a factor of x(14)?
True
Suppose 14*y - 65286 = 18*y - 30*y. Does 81 divide y?
True
Let w(r) = r**3 + 10*r**2 - 11*r - 15. Let c be w(-9). Let j = c - 137. Does 7 divide j?
True
Let x(t) = 2*t**2 + 3. Let l be x(0). Does 19 divide (-11 - -1736)*(l - (-8)/(-3))?
False
Suppose -158*r + 160*r = 10. Suppose -r*b = 172 - 1712. Is b a multiple of 44?
True
Let m(w) = 1639*w - 533. Is m(6) a multiple of 131?
True
Let t(d) be the second derivative of -9*d**3 + 2*d**2 + 4862*d. Let q(j) = 2*j + 1. Let s be q(-3). Does 47 divide t(s)?
False
Let v(p) be the first derivative of -13*p**2/2 + 115*p - 41. Does 11 divide v(-15)?
False
Let b(a) = -34*a**2 + 10*a - 7. Let w be b(-6). Let q = -842 - w. Is q a multiple of 24?
False
Let t = 4037 - 1058. Is t a multiple of 22?
False
Let a(g) = -18*g + 118 - 59 + 17*g. Suppose x + 2*b + 3 = -28, 0 = -5*x + 2*b - 95. Is a(x) a multiple of 16?
True
Let h(g) = 2*g**3 - 5*g**2 - 7*g - 4. Let w be h(6). Suppose 0 = 4*s + 256 + 180. Let j = s + w. Does 8 divide j?
False
Suppose 3*y + 256 - 1327 = 0. Suppose n = -5*d - 451, 0*n - 3*n + y = -4*d. Let u = 169 + d. Is u a multiple of 35?
False
Suppose 0 = -4*m - 4*s + 1548, -2*m + 3*s + 453 + 296 = 0. Suppose 387*o - 1485 = m*o. Is 83 a factor of o?
False
Let u(i) = 74*i**2 + 2 - 13 - 657*i - 12*i**2 + 664*i - 18. Is u(3) a multiple of 11?
True
Let a be (8/(-22))/((-32)/176). Suppose -4*n - 3915 = -9*n - 4*f, 0 = -a*n + 5*f + 1533. Is n a multiple of 44?
False
Suppose 3*f - 41 = -2*p, 3*p + 74 = 2*f + 51. Suppose -2*a - 65 = -5*z - f, 0 = 4*a + 4. Does 4 divide z?
False
Suppose 2*h = -5*m + 30097, 35 = -5*h + 65. Is m a multiple of 22?
False
Let s be (24/15)/(36/45). Suppose -29*f = s*f - 18848. Is f a multiple of 8?
True
Let z(g) = 15*g**2 + 12*g + 54. Does 48 divide z(-12)?
False
Let r = 3 + 1. Suppose 2*l = -15 + 9. Is ((-4)/(-3)*l)/(r/(-46)) a multiple of 9?
False
Let q = 73 + 262. Is q a multiple of 34?
False
Suppose -7*s + 7267 = 687. Is s a multiple of 20?
True
Let n be (-3)/12 + (-2623)/4. Suppose 89 = -k - 846. Let b = n - k. Does 46 divide b?
False
Suppose 2*a = 5*j + 10808, -9*a + 14*a - 27101 = -j. Is 40 a factor of a?
False
Let a(c) = 3*c**3 - 17*c**2 - 14*c + 88. Does 6 divide a(16)?
True
Let r = -17 + 43. Suppose 16 = 6*g - r. Is (20/(-7))/(-2 - (-13)/g) a multiple of 5?
True
Let o(s) = s**2 - 17*s - 48. Suppose -3*q + 33 + 50 = -4*g, -q - g = -16. Does 2 divide o(q)?
True
Let q(g) = -g**3 + 22*g + 52. Suppose -158*s + 20 = -162*s. Is q(s) a multiple of 3?
False
Is (-20)/(-120) + (-34)/60 - 46564/(-10) a multiple of 54?
False
Let p(a) = -11*a + 40*a - 15 + 21*a. Let k be p(6). Suppose -3*h = 3*m - k, -2*m - 89 = -h + 3*m. Is 47 a factor of h?
True
Suppose 0 = -3*u + 16 - 13. Is (u + 3)/(2368/584 - 4) even?
False
Suppose w - 17 = -2*d + 1218, 1847 = 3*d - 4*w. Let l = 1429 - d. Is 22 a factor of l?
False
Let i = 6349 - 2901. Is 71 a factor of i?
False
Let i(m) = -2*m**2 - 99*m - 2. Let t = 470 + -515. Is i(t) a multiple of 31?
True
Let o = -135 - -151. Suppose 0*g + 4*g + o = 2*x, -3*g = -x + 7. Does 5 divide x?
True
Is 7 + -6 + 1480 - -3 a multiple of 53?
True
Suppose 5*o = 5*a + 285, -4*o = o - 4*a - 280. Suppose -o = -10*u - 12. Is (-204)/(-16) + (-3)/u a multiple of 6?
True
Suppose 524*a = 516*a + 448. Let r be (-2)/(-2 - (-3)/2). Does 7 divide (a/10)/(r/(-5) - -1)?
True
Suppose -k - 2*i = -12040, 96*k - 98*k - 5*i + 24073 = 0. Does 56 divide k?
False
Let d(o) be the third derivative of 17*o**6/60 - o**5/12 + o**4/2 - o**3/2 - o**2 + 15*o. Does 39 divide d(2)?
True
Let h(a) = 6*a**2 - 23*a - 505. Is h(-17) a multiple of 2?
True
Let d = 21 - 24. Let a be 9/d + 66/3. Is 20 a factor of 4/((-16)/(-12)) + a*3?
True
Let m be 4 - (-4)/(-6) - (-4)/6. Let q be (-1 + 1 + 1)*(58 + m). Let y = q - 34. Is y a multiple of 7?
True
Let k(h) be the third derivative of 5*h**4/4 - 11*h**3/3 + 16*h**2. Let l be k(21). Let v = l + -305. Does 28 divide v?
False
Suppose -1 = -3*c - 4*w - 704, 5*w - 438 = 2*c. Let u = c + -59. Let k = -58 - u. Does 23 divide k?
True
Let l(g) = 1208*g + 2087. Is 122 a factor of l(31)?
False
Let t be 16/30*57 - (-4)/(-10). Suppose 0 = n - 0 - 2, 2*n = -2*x + t. Is 11/(-2)*((x - 5) + -10) a multiple of 11?
True
Let u be 8/12*9 - 15*14/(-6). Let c be 1/4 + 6/8. Suppose t = u + c. Is 5 a factor of t?
False
Let k be 2/3*(5 - 39/6). Let j(v) = -146*v + 8. Does 14 divide j(k)?
True
Let w(f) = f + 14. Let c = 35 + -30. Let s be c*(3 - 38/10). Is 10 a factor of w(s)?
True
Let h(r) = 13*r - 16. Let m