 899, -3*q + 2*l = -2690. Is q a multiple of 15?
False
Suppose -16*j + 4203 + 917 = 0. Does 41 divide j?
False
Let j(z) = 14*z**2 + 26. Does 10 divide j(-4)?
True
Let w(i) = i**2 + i. Let n(z) = -33*z**2 - 12*z + 6. Let t(s) = -n(s) - 15*w(s). Does 22 divide t(-2)?
False
Suppose 0 = -4*q - 2*p + 2784, -47*p - 2114 = -3*q - 42*p. Is 19 a factor of q?
False
Let g(t) be the second derivative of t**8/6720 - t**7/1260 + t**6/360 + t**5/60 + t**4/4 + 3*t. Let n(m) be the third derivative of g(m). Does 6 divide n(2)?
True
Is (-49 - -1)/(-7 - -5) a multiple of 6?
True
Suppose -3*w = 4*q - 78, -w = -2*q - 14 - 12. Suppose 2*c = -j + 2*j - w, -5*c = 2*j - 70. Is j a multiple of 6?
True
Let w be 5/10 - 41/2. Let s = w + 27. Suppose s*n - 4*n - 198 = 0. Is 22 a factor of n?
True
Suppose 6*f = f. Suppose 4*k - 175 = -5*m, 4*k - 2*m - 179 = -3*m. Suppose 3*u - k + 9 = f. Is u a multiple of 11?
False
Suppose l + 360 = 13*l. Let v = l - 9. Does 4 divide v?
False
Let r be 588/(-3) - (-6 - -4). Let g be (r/(-3))/((-4)/6). Let p = -17 - g. Is p a multiple of 20?
True
Suppose o - 2493 = -4*d - 0*d, 4*o + 602 = d. Is d a multiple of 16?
False
Suppose 4*i = 16, -11*i + 9*i = -3*y + 640. Is 10 a factor of y?
False
Let n(c) = 2*c**2 + c + 16. Is n(4) a multiple of 4?
True
Let v = 32 + -30. Let q be v - (0 - (45 + 3)). Is 3 a factor of -25*(-5)/(q/6)?
True
Suppose -1345 - 7125 = -7*b. Does 6 divide b?
False
Suppose 0 = -0*f - 3*f - o + 358, 0 = -2*f - 3*o + 248. Let c = f + -93. Does 3 divide c?
False
Let o be 2 + 1 + -2 + 26. Suppose -g + 3 + 8 = -3*p, o = 4*g + 5*p. Suppose -4*h = 0, -2*u + 3*h + g = -2*h. Is 3 a factor of u?
False
Suppose 50 - 34 = -4*q. Does 13 divide 2782/39 + q/(-6)?
False
Suppose 0 = -8*y + 412 + 3940. Does 68 divide y?
True
Let t be (6/(-4))/(1586/(-316) + 5). Suppose t = 3*q - o, 2*q + 2*o - 49 = -o. Is 11 a factor of q?
False
Let o = -63 + 49. Suppose 0 = 6*u - 2*u - 104. Let n = u + o. Is 7 a factor of n?
False
Let x = 1016 + 2310. Is x a multiple of 62?
False
Suppose -o = 4*i - 4*o - 239, o = 4*i - 245. Let d = i - 20. Is 9 a factor of d?
False
Suppose -12*w = -5*l - 7*w + 8110, 3*l - 4856 = -2*w. Is l a multiple of 81?
True
Let a = -4 + -2. Let u(i) be the third derivative of -i**5/60 - 7*i**4/24 - i**3/2 + 6*i**2. Is u(a) a multiple of 2?
False
Let f = 3573 + -2711. Is 11 a factor of f?
False
Suppose 4*g + 3*u = 1355, -g + 677 = g + u. Is 42 a factor of g?
False
Suppose -5 = 5*c - 5*r, -3*c = 4*r + 12 + 5. Let w = -2 - c. Suppose -u + 4 = 9, -n - 4*u + w = 0. Is n a multiple of 7?
True
Suppose 0 = 292*l - 286*l - 3084. Does 28 divide l?
False
Let d(x) = x + 3. Let t be d(-1). Suppose -128 = -10*u + t*u. Does 8 divide u?
True
Suppose -17*w - 3615 - 1366 = 0. Let k = 454 + w. Does 20 divide k?
False
Let q(u) be the first derivative of 7*u**3/6 - 5*u**2/2 - 4*u - 4. Let w(d) be the first derivative of q(d). Is w(5) a multiple of 15?
True
Let t = 0 - -2. Suppose 2*w - 5*f - 12 = -f, t*f = 5*w - 38. Does 8 divide w?
True
Is 521*40/18 - (-206)/927 a multiple of 5?
False
Suppose -524 = 4*w + 3*x, 6*x - 2*x - 655 = 5*w. Let y = 229 + w. Is 16 a factor of y?
False
Let h(r) = -r**2 - 7*r - 4. Let x be h(-5). Let z(l) = 2*l**3 - 10*l**2 + 15*l - 1. Is z(x) a multiple of 23?
True
Let b(m) = 7*m + 576. Is b(6) a multiple of 9?
False
Let v(s) = -33*s - 13. Is v(-3) a multiple of 7?
False
Let q(m) = -14*m + 46. Is q(3) a multiple of 4?
True
Let w = 1824 + -1297. Let p = -1862 + w. Does 17 divide p/(-60) - 6/(-8)?
False
Let l = 16 + -13. Suppose -4*h - 2*w = -82, 122 = 5*h + l*w - 7*w. Does 11 divide h?
True
Let b = 1053 + -813. Is b a multiple of 11?
False
Let d(x) = x**2 - 5. Suppose 8*t - 20 = 12*t. Does 3 divide d(t)?
False
Let d(z) = z**2 + 14*z + 28. Let r be d(-12). Let c(v) = 10*v + 4 + 13*v - v - 6*v. Does 17 divide c(r)?
True
Let i be (-2)/(180/(-91) + 2). Let r = i - -137. Is 10 a factor of r?
False
Let s = -433 + 468. Does 4 divide s?
False
Let q = 427 + -157. Is 15 a factor of q?
True
Is (322/(-69))/((-4)/6) + 497 a multiple of 7?
True
Suppose -2*l - u = -5*u + 4, 3*l - 5*u = -4. Suppose l*g + 3*g - 427 = -3*z, -5*g + 561 = 4*z. Does 21 divide z?
False
Suppose 3*j = -2*o + 1850 + 10586, -3*j = o - 12434. Is j a multiple of 8?
True
Suppose 0 = -53*a + 57*a - 5*p - 16692, -5*a + 3*p = -20865. Is a a multiple of 29?
False
Suppose 0 = -8*w + 369 - 17. Let k = w + -7. Does 18 divide k?
False
Suppose 5*n + 3*h - 242 = 0, -3*h + 236 - 40 = 4*n. Let l = -25 + n. Let r = l - 11. Does 2 divide r?
True
Suppose -3*f = -m - 7*f - 3, -m = f. Let b be m*(0 + -1) + 1. Suppose b = h + 4*c - 20, h = -h - 2*c + 34. Does 8 divide h?
True
Is 3 a factor of 1182/(-15)*(14 - 19)?
False
Suppose -163*l = -152*l - 10813. Is l a multiple of 11?
False
Suppose 0 = -5*o - o - 324. Let j = o + 172. Is 32 a factor of j?
False
Suppose -1760 = -5*c - 3*f, c - 5*c + 1408 = -3*f. Is 72 a factor of c?
False
Let z(h) = -h**2 + 9*h - 16. Let i be z(5). Suppose -i*v - 4*j + 390 = -6*j, -j + 96 = v. Is v a multiple of 35?
False
Suppose 40330 - 213130 = -64*n. Is n a multiple of 130?
False
Let w(l) = -115*l - 3. Let a be w(-3). Suppose 3*z = a - 114. Is z a multiple of 34?
False
Suppose -48 - 8 = -4*k. Suppose -12*g + k*g - 304 = 0. Does 27 divide g?
False
Let x(i) = -133*i + 11. Is x(-1) a multiple of 28?
False
Let s be 55/20*(40 + 4). Is (-4 - 0) + s - 1 a multiple of 39?
False
Let z(r) = -r**3 - 4*r**2 + 4*r - 1. Let c be z(-5). Suppose 4*u + c*n - 960 = 0, -2*u + 348 + 132 = -2*n. Suppose 6*a - u = 2*a. Is a a multiple of 15?
True
Let u(x) = -x**3 + 7*x**2 - 2. Let s be u(-5). Let v be (-1)/2 - s/(-4). Suppose z + z + 3*t - v = 0, 4*t = 3*z - 94. Does 12 divide z?
False
Let h(t) = -t**3 + 7*t**2 - 7*t + 8. Let y be h(6). Suppose -y*o + 11 - 1 = 0, r + 4*o = 97. Is r a multiple of 9?
False
Suppose 2*i = -138 + 4. Let n(t) = t**2 + 28*t + 31. Let z be n(-22). Let d = i - z. Is d a multiple of 17?
True
Let p be 3*(-12)/162 + (-578)/(-9). Suppose p*z = 59*z + 215. Is 4 a factor of z?
False
Let r be ((-38)/(-10))/(2/10). Suppose r*o - 66 = 18*o. Is 6 a factor of o?
True
Let n(a) = -a**3 + 18*a**2 + 43*a + 16. Is n(20) a multiple of 3?
False
Let l(a) = a**2 + 33*a + 980. Is 13 a factor of l(-17)?
False
Let k(h) be the first derivative of h**4/4 - 2*h**3/3 - 2*h + 91. Suppose 4*t = -4*b + 24, -3*b = -5*t + 15 - 1. Is k(t) a multiple of 15?
True
Suppose -2*p + 67 = -4*c - 3*p, -5*c - 3*p - 89 = 0. Let y = c + 12. Let u(h) = h**3 + 7*h**2 - 4*h - 4. Is 13 a factor of u(y)?
False
Suppose -32*i = -46*i + 4368. Does 6 divide i?
True
Let j = -1233 + 1747. Is 10 a factor of j?
False
Let n(r) = r**3 - 30*r**2 + 40*r + 32. Is 13 a factor of n(29)?
True
Let v(m) be the third derivative of m**8/20160 - m**7/504 + 7*m**6/720 - m**5/10 + 6*m**2. Let c(w) be the third derivative of v(w). Is 7 a factor of c(10)?
True
Let a(l) = l + 17. Let c be a(12). Let g be c/(-3*(-1)/6). Let b = 20 + g. Does 28 divide b?
False
Suppose -b + 5 = 3*z + 4, -3*b = 4*z - 8. Suppose 3*f + 393 = -0*g + 2*g, -5*g + 925 = b*f. Does 11 divide g?
False
Suppose 2*p - 2*b - 10 = 0, 1 = -4*p + 3*b + 20. Suppose p*u - 72 = -0*u. Is u a multiple of 12?
False
Suppose 3*v + 948 = 5*z + 126, -v + 166 = z. Does 15 divide z?
True
Let h = -1897 + 3185. Does 56 divide h?
True
Let k(n) = -n**2 - 4*n - 2. Let t be (2 + -1)/(4/(-8)). Let i be k(t). Suppose -5*l - 3*y = i*y - 70, -y = -4. Is l a multiple of 10?
True
Suppose 12*v + 768 = 28*v. Is 6 a factor of v?
True
Suppose 2*l = 3*n - 2573, -2*n - 4*l - 427 = -2137. Is n a multiple of 7?
False
Let j = 27 - 37. Let t = j - -51. Does 10 divide t?
False
Suppose 12 = 3*k - 6*k, -2*k - 251 = -c. Is c a multiple of 11?
False
Suppose 0 = -5*x - u + 391, -4 = -5*u + 1. Does 6 divide x?
True
Suppose -1173 - 1689 = -6*b. Does 13 divide b?
False
Let i(u) = u**3 + 12*u**2 - 8*u + 68. Does 2 divide i(-13)?
False
Let u(y) = y + 18. Let i be u(-13). Is 11 a factor of ((-32)/i)/(4/(-40))?
False
Let w(z) = z**2 - 17*z + 17. Suppose -l + 5*l = 5*c + 43, 0 = -5*l + 4*c + 65. Is 6 a factor of w(l)?
False
Suppose -4*m - 2*s + 55 = -7*s, 0 = 2*m + s - 17. Let q = 13 - m. Suppose 3*o = q*y - 167 + 56, -106 = -3*y - 2*o. Is y a multiple of 18?
True
Let m(s) = s**3 + 2*s - 27*s - 5*s**2 + 8 + 11 + 3*s. Does 