multiple of 219?
True
Let k = 508 + -94. Suppose 7*p = -k + 1324. Is p a multiple of 29?
False
Let i(k) = -4*k + 53 + 35 - 7 - 3. Is i(-17) a multiple of 3?
False
Let l be 18*8/(-288)*-6. Suppose 3*f + 12 = 0, 2*i - 5*f = -l*f + 440. Is i a multiple of 2?
True
Suppose -6472*v = -6499*v + 359775. Is v a multiple of 13?
True
Suppose -102*q = -100*q - 42. Suppose b + 3 = 21*r - 16*r, -5*r - q = -3*b. Is 6 a factor of b?
True
Let t(i) = -57*i**3 - 13*i**2 - 32*i - 33*i**3 + 36*i. Let j(r) = -30*r**3 - 4*r**2 + r. Let u(d) = 7*j(d) - 2*t(d). Is u(-1) a multiple of 29?
True
Suppose 4*n - 2800 = -5*f, -4*f + 21*n - 25*n = -2240. Is f a multiple of 42?
False
Is 88 a factor of (-9585)/(-20) - (1 + 3/(-4))?
False
Let d = 53779 + -27773. Is d a multiple of 120?
False
Suppose 28*s - 30*s + 4 = 0. Suppose -n + 464 = t, -n = 2*t - s*n - 916. Is 46 a factor of t?
True
Let g(d) = -266*d - 831. Is g(-8) a multiple of 22?
False
Let f be -2*341*(20/(-8) + 3). Let u = f + 701. Is 15 a factor of u?
True
Let g = 68 + -33. Suppose i + y = -3*i + g, 3*y - 15 = -3*i. Suppose 2*w - w + p = 4, -4*w = -2*p - i. Is w even?
False
Suppose -2*x = 0, -3*l + 5*x = -8*l. Suppose l = 12*s + s - 21528. Suppose -s = -4*z - 5*z. Is z a multiple of 46?
True
Suppose 1435430 = -7*k + 165*k. Is 5 a factor of k?
True
Suppose -448929 = -245*h + 97911. Is h a multiple of 40?
False
Suppose -3*m = -5*z - 2281, 26*m - 21*m + 4*z - 3851 = 0. Let i = -696 + m. Is 3 a factor of i?
False
Let m be (46/(-115))/(2/(-85)). Let f(w) = 15*w + 53. Is f(m) a multiple of 36?
False
Let o(g) = -11 - 7*g + 21*g - 5. Is o(4) even?
True
Let u(d) = d**3 + 3*d**2 + d - 1. Let l(q) = -5*q**3 - 12*q**2 + 2*q + 20. Let c(i) = -l(i) - 4*u(i). Does 5 divide c(4)?
False
Let q = 1574 - 1558. Suppose 0 = -4*t - 6 - 6. Is 9 a factor of (-1 - -1) + t + q + 27?
False
Suppose -14*y - 147 = -17*y. Let n = y - 59. Is (-362)/(-6) + (n/5)/6 a multiple of 9?
False
Suppose 4031*h + 55643 = 4084*h - 288698. Does 19 divide h?
False
Let w(z) = z**2 + 4*z - 1. Let n be w(-5). Suppose 0 = -4*r - o + 90, -4*r + 36 + 48 = n*o. Suppose -r = -2*t - 5*h + 35, 4*t - 116 = -h. Does 6 divide t?
False
Suppose -2*g = 8*g - 60. Suppose -g*h + 765 = -1455. Is 15 a factor of h?
False
Suppose -10*m - 42*m + 3115793 = -184179. Does 17 divide m?
True
Let p(s) = 6*s**2 - 5*s - 61. Suppose 0*f - 3*f - 15 = 0, 2*g = -4*f - 34. Does 12 divide p(g)?
False
Suppose 5294 = -43*o - 13540. Let w = o - -954. Is 43 a factor of w?
True
Let v(x) = -x + 17. Let h(f) = f - 3. Let i be h(-6). Let w be v(i). Suppose 0*k + w = 2*k. Is 2 a factor of k?
False
Suppose 4*b = -3*p - 19, -3*b - 6 = 2*p - 2*b. Does 5 divide 26 + p + (4 - -1)?
True
Let s(r) be the first derivative of r**4/4 - 2*r**3 - r + 13. Let w be s(6). Is 5 a factor of (-3)/(((-1)/w)/(35/(-21)))?
True
Let q be (-1*6 - 0)*699/(-6). Suppose -2*m + q + 77 = 0. Suppose 3*r = 7*r - m. Is 12 a factor of r?
False
Let f(r) = 17*r**2 + 16*r - 156. Is 6 a factor of f(11)?
False
Let g = 3617 - 3130. Is 6 a factor of g?
False
Let l(g) = 103*g**2 - g - 2. Let b be (2/(-5))/(30/75). Does 6 divide l(b)?
True
Suppose 10 = -5*u - w + 6*w, 0 = -4*u - w + 2. Suppose u*a + 6*a - 2358 = 0. Is a a multiple of 13?
False
Let h = 50723 - 25049. Does 123 divide h?
False
Suppose 202 - 630 = 4*f. Let t = f - -195. Is 8 a factor of t?
True
Suppose 2*s - 6 = -6*n + 3*n, -3*n = -s - 15. Suppose -2*q - 244 = -g + 54, -4*g + 1172 = -n*q. Is 12 a factor of g?
True
Suppose -3*t = -4*n + 6682, -4*t - 1667 = -n - 5*t. Let h = n - 996. Does 47 divide h?
False
Suppose 0*m - 4*m - 1498 = 2*y, -y - 5 = 0. Let r = -76 - m. Is 20 a factor of r?
False
Let d = 18684 + -6493. Is d a multiple of 39?
False
Suppose -q = 2, -2*q - q = -2*v + 16270. Does 19 divide v?
True
Let k be -1 + -271 + (14 - (24 + -11)). Let d = -215 - k. Does 14 divide d?
True
Suppose 11*g = 9*g. Suppose g = 662*s - 657*s - 200. Does 12 divide s?
False
Let s = -52 + 54. Suppose 88 = -m + 2*l, m - s*l = -l - 90. Does 15 divide 5 + (-51)/9 + m/(-3)?
True
Let f = -22 - -49. Let b(j) = -j - 4. Let v be b(-6). Does 12 divide v + (-64)/36 + 1533/f?
False
Let d be 1 - (-192 - (1 + 2)). Suppose 6*k + 82 - d = 0. Is k a multiple of 3?
False
Suppose -2*c - 3 = -4*t - c, 4*c - 30 = -5*t. Suppose -5*p - y = -2078, -t*y = p - 5*y - 422. Is p a multiple of 12?
False
Let l(q) = -7*q**3 - 4*q**2. Let u be l(-3). Suppose -40*k = -2*k + 7*k. Suppose k = -5*j + 22 + u. Is 11 a factor of j?
False
Let w(m) = -3*m + 26. Let c be w(8). Suppose -6*x - c = -7*x. Let q = x - -11. Does 6 divide q?
False
Let x = -219 + 315. Let p be (-923)/(-4) - (-24)/x. Suppose -4*v = -i - 243, -4*v - 5*i + p = -2*i. Is v a multiple of 20?
True
Let z(c) = 234*c**2 + 69*c + 28. Is 23 a factor of z(-4)?
True
Let a be (3 + (-54)/(-24))*(-376)/(-3). Suppose 3*b - a = -5*y, 0 = -y - 0 - 1. Does 17 divide b?
True
Suppose 3*o - s - 2*s = 30, -10 = 2*s. Suppose 128 = q + o*c, 5*q + 5*c = q + 452. Let u = q + -67. Is 4 a factor of u?
False
Let t(x) = 547*x + 3243. Is t(26) a multiple of 35?
True
Let x = 4996 - -27923. Is 31 a factor of x?
False
Suppose -4*o - 40 = -2*f, 2*f + 3*o = 20 + 48. Suppose 0*u = -4*u + f. Does 14 divide (u/21)/(2/150)?
False
Suppose 0 = 4*p + 2*w + 2 - 54, -4*p - 4*w + 56 = 0. Suppose -p*y = 233 - 1025. Does 11 divide y?
True
Suppose 50955 = 68*v - 145018 + 47461. Is v a multiple of 7?
True
Let y be (12/(-9))/(1/(-72)). Let p = 43 + y. Is p a multiple of 22?
False
Suppose 35*l = 31*l + 452. Let d = l - -161. Is 9 a factor of d?
False
Let c(l) = -l**2 + 150*l - 461. Is c(85) a multiple of 183?
False
Let j(r) = 11*r**2 - 87*r - 253. Does 22 divide j(-20)?
False
Suppose 39*r = 18395 + 113513 + 168002. Is 25 a factor of r?
False
Let w(p) = p**2 - 331*p - 192. Is 35 a factor of w(-25)?
False
Suppose g = 3*c + 9500, 262*g + 5*c + 38028 = 266*g. Does 29 divide g?
True
Let o = -9799 + 13772. Is o a multiple of 29?
True
Let i(f) be the first derivative of f**4/4 - 7*f**3/3 - 8*f**2 - 13*f - 274. Suppose 2*w - 4*w + 20 = 0. Is i(w) a multiple of 24?
False
Is (5269/11)/((-3)/(-69)) a multiple of 112?
False
Let a(k) be the first derivative of 21*k**2/2 + 69*k + 82. Is a(5) a multiple of 29?
True
Suppose -2*z = -6*z + y + 311, -5*z = -5*y - 385. Let q = 470 - z. Is q a multiple of 56?
True
Let h(b) = -b**3 + 5*b - 11. Let f = -8 - -4. Is h(f) a multiple of 11?
True
Let k = 51828 - 15851. Is 151 a factor of k?
False
Let m(v) = 16*v - 47. Let q be m(15). Let k = q + 6. Is k a multiple of 23?
False
Let a(d) = 10*d + 422. Is a(-17) a multiple of 12?
True
Is (4 - (-2334)/(-9))*(-48)/(-128)*-40 a multiple of 23?
False
Suppose -146525 = -33*s + 90481. Is s a multiple of 38?
True
Let v = 16590 + -9960. Is v a multiple of 65?
True
Let x = 12 - 9. Suppose -3*h + 394 - 50 = -2*g, -2*g + 340 = x*h. Let u = h + -74. Is 10 a factor of u?
True
Let b(w) = 13*w - 13. Let v be b(-16). Let m = -327 + v. Let h = -285 - m. Does 43 divide h?
False
Let p = 122 - 101. Let k(i) = -8*i + 8 - p*i - 2 - 21*i. Is k(-1) a multiple of 7?
True
Suppose -109*m - 64 = -117*m. Suppose -s + d = -114, d + m = 12. Does 8 divide s?
False
Let i(j) = 26*j**3 - 2*j**2 - 9*j + 4. Let u be i(4). Suppose -u + 358 = -5*c + 4*n, -n = 3. Is 82 a factor of c?
True
Let i(n) = -n + 21. Let d be i(17). Suppose -4*q - 5*s + 5 + d = 0, -4*s = -4. Let j = q + 27. Is j a multiple of 4?
True
Suppose -3*q = 3*p - 0*q + 258, -5*p - 448 = -q. Suppose 5*o - 776 = -l, -26 + 10 = 4*l. Let k = p + o. Is 18 a factor of k?
False
Is (-201166)/(-10) - (-612)/255 a multiple of 11?
True
Suppose 0 = 35*p - 28*p - 833. Is 12124/p + 4/34 a multiple of 34?
True
Let h = -4906 + 10103. Is 16 a factor of h?
False
Let k(g) = -374*g + 232. Does 50 divide k(-32)?
True
Let a(b) = 2*b + 54. Suppose 0 = -5*w - 5*v - 60, -w = -2*v - v + 20. Let k be a(w). Let c = k + -15. Does 11 divide c?
True
Suppose 155*w - 506133 = 209812. Is 31 a factor of w?
True
Let f(q) = -q**3 + 18*q**2 + 131*q + 34. Does 19 divide f(-7)?
True
Let f(h) = 11*h**2 - 3*h + 15. Let p be f(3). Let l = p + -102. Suppose 5*c - 3*b - 838 = 0, -2*c - l*b = -c - 164. Is c a multiple of 31?
False
Let n(w) = 38*w**3 + 2*w**2 + 1. Let l be n(-2). Let t = l + 1055. Is t a multiple of 19?
True
Let c be (-6855)/35 + ((-48)/42 - (-1 - 0)