et d be (-3 - (-22)/10)/((-4)/10). Suppose 6*k - d*k = 16. Suppose w - 25 = -v, 0*w = k*v - 3*w - 100. Does 2 divide v?
False
Let c = 19 + -37. Let v = c - -19. Suppose 5*j - 2*m = 348, 2 + v = 3*m. Is 10 a factor of j?
True
Is 425 - 425 - 83576/(-2) a multiple of 166?
False
Suppose -4*j = -4*h + 115520, -161*h - 5*j + 144330 = -156*h. Is 78 a factor of h?
False
Suppose 9*z - 1815 = -7917. Let s = 734 + z. Is 4 a factor of s?
True
Suppose 100272 = 99*a - 60603. Does 29 divide a?
False
Let h(k) = -4*k**3 - 6*k**2 - 27*k - 77. Let v be 2 + 4/(-6)*135/10. Is h(v) a multiple of 35?
True
Let v(d) be the third derivative of d**5/12 - 25*d**4/24 + 10*d**3 + 87*d**2. Is 10 a factor of v(6)?
True
Suppose 0 = 3*r + 5*h + 1, 5*r - 6 - 5 = -2*h. Suppose -22 + 641 = 2*q - 5*k, -r*k = q - 337. Is 26 a factor of q?
False
Does 96 divide ((-39)/(-12) - 4) + (-6570837)/(-284)?
True
Suppose -117*x + 71403 = -84*x - 140952. Is x a multiple of 15?
True
Let c(m) = 18*m**2 - 30*m + 1252. Is 10 a factor of c(21)?
True
Let r(d) = 10*d - 6. Suppose 66*h = 63*h. Suppose -a + 5*p + 24 = h, 2*a - 2*p = 12 + 4. Is r(a) a multiple of 18?
False
Suppose 2*h - 29*y = -31*y + 17634, 3*h + 4*y = 26452. Is 38 a factor of h?
True
Let m be -6 + (-6 - 12 - -8). Suppose -f = -2*p - 9, f + 2*f - 11 = 2*p. Does 16 divide m/(-6)*(-399)/28*p?
False
Let x = -761 + 1456. Let c = -365 + x. Is 55 a factor of c?
True
Suppose 6*v - v = 10. Let k(l) = 6 + 0 + 4*l**3 + 4*l - 5. Is 19 a factor of k(v)?
False
Suppose -1056 = -31*k - 31*k + 30*k. Does 12 divide k?
False
Let g = -3503 + 8550. Is g a multiple of 9?
False
Let d = -7281 + 13994. Suppose -d = -30*s + 7687. Is s a multiple of 40?
True
Let c be (60/(-90))/((-1)/12). Let p(h) = 126*h - 32. Does 16 divide p(c)?
True
Suppose -157 = 3*a + 782. Let x = a + 745. Is 6 a factor of x?
True
Let w(x) = 695*x**3 + 2*x**2 - 10*x + 9. Let b = -524 - -525. Is 29 a factor of w(b)?
True
Let r = -69 + 134. Let x = r - 58. Suppose -190 = -2*k - 4*f, -x*k - f + 366 = -3*k. Is 13 a factor of k?
True
Let o(g) = g**2 - 22*g - 46. Let k be o(24). Let p(x) = -1 + x - 13*x**2 + x + 28*x**k. Does 43 divide p(3)?
False
Suppose 3*y = -g - g + 11708, 4*y + g = 15609. Does 117 divide y?
False
Let v(s) = -103*s + 148. Let i be v(-4). Suppose 0 = -d - d + 36. Suppose -22*j = -d*j - i. Does 34 divide j?
False
Let y = 92 - 21. Let i = y - 17. Suppose -4*c + 4*q + 156 = 0, -2*c = 6*q - 2*q - i. Is 9 a factor of c?
False
Suppose 0 = -3*d - k + 1564, 3*d - 22*k - 1568 = -24*k. Is 20 a factor of d?
True
Suppose 0 = 26*i - 34*i - 23672. Let h = -1910 - i. Is 20 a factor of h?
False
Let t = 19 + -14. Suppose -1 = -l + t*f + 1, -2 = -l + 3*f. Suppose 0 = -l*w + 236 - 42. Is w a multiple of 25?
False
Let v be 8/(-52) + (-30)/(-26). Let s be 53 + (v - 8/2). Is (-18)/12*s*-1 a multiple of 11?
False
Suppose 4*b - 18 = 5*r + 116, 0 = 5*r + 2*b + 128. Let g = r + 25. Does 10 divide (-17)/((2 - g)/(-6))?
False
Let n = 6826 - 5815. Is n a multiple of 15?
False
Let v(h) = -h**2 - 43*h + 55. Let j(x) = -x**3 + 9*x**2 - 17*x - 15. Let d be j(7). Is 25 a factor of v(d)?
False
Let w(r) = r**3 - 6*r**2 + r + 204. Is 22 a factor of w(12)?
False
Let w = 10270 - -2359. Is 28 a factor of w?
False
Suppose 3*n = 4*x + 2270, -3*n + 70*x + 2268 = 67*x. Is n a multiple of 37?
False
Let g be 1312/(-72) - (-2)/9. Let t be g/(-24) + (714/(-8))/3. Is (1 - t)*24/60 a multiple of 4?
True
Let n(l) = -l - 19. Let i be n(-22). Suppose -2*b = 3*j - 910, 4*b = -i*j + 594 + 1226. Suppose 0 = 6*x - x - b. Does 13 divide x?
True
Let g(m) be the second derivative of -245*m**3/6 - 65*m**2/2 - 82*m. Does 45 divide g(-1)?
True
Let s = -59 + 67. Suppose 4 = s*w + 92. Is 19 a factor of -3 - 1/2*1738/w?
True
Is 12 a factor of (-5)/(-10) + 8/(-24) + (-518035)/(-30)?
True
Suppose -o + 184 = r + 631, 1341 = -3*o + 4*r. Let w = o - -723. Does 4 divide w?
True
Suppose 1276250 = -2048*m + 2073*m. Is m a multiple of 25?
True
Does 32 divide -48*(22 - 11920/30)?
True
Suppose 42*s = 59*s - 5372. Is s a multiple of 2?
True
Let y(v) = 90*v - 96. Let j be y(24). Suppose j + 1200 = 16*n. Is 12 a factor of n?
True
Suppose 4*l + 869 - 4414 = -z, 2*l + 5*z - 1759 = 0. Is 4 a factor of l?
False
Suppose -18*m + 22*m - 4642 = q, -1156 = -m - 2*q. Does 2 divide m?
True
Suppose -156*j + 2187934 = 73*j - 3357301. Is j a multiple of 29?
True
Suppose -6*x = -d + 4656 + 12764, 0 = 4*d - x - 69795. Is 38 a factor of d?
False
Suppose -5*x - 3*g = -8204, 0 = -23*x + 18*x + 3*g + 8216. Does 80 divide x?
False
Suppose -60605 = -5*y - 2*j - 22835, 2*y = -3*j + 15097. Does 71 divide y?
False
Let s = -85 + 65. Let i = s - -410. Is i a multiple of 21?
False
Let n be (-218)/8 + (-6)/(-24). Is (21420/175)/(n/15 - -2) a multiple of 34?
True
Let v(j) = j**2 + 12*j - 13. Let i be v(-13). Suppose 5*l - 3559 = -2*m, i = 2*l + m - 549 - 874. Is l a multiple of 23?
True
Is (-12)/6 + -4 - (-23)/((-46)/(-16856)) a multiple of 27?
False
Suppose -8568 = -24*x + 20*x. Suppose 8*f - x = 2*f. Suppose -3 = -y, -f = -4*s + s + y. Is 20 a factor of s?
True
Suppose -29640 = -1406*i + 1394*i. Is i a multiple of 26?
True
Let k = -28 - -37. Suppose -r = k*r + 40. Is 27 a factor of ((-107)/r)/(2/8)?
False
Let y = 28 - 26. Suppose -4*k = -8*z + 7*z, -y*z - 4*k + 24 = 0. Is 14 a factor of (z/6)/(26/1599)?
False
Suppose 2*k + 254046 = 85*k - 358328. Is k a multiple of 34?
True
Let k be -9*(-26)/(-4)*(-4)/6. Suppose 89 + k = s. Suppose -4*j = -6*j + s. Is j a multiple of 32?
True
Suppose 2*b - 137 = 139. Let v be -12*11/297 - (-66)/27. Does 35 divide b/5*10/v?
False
Let n(c) = -2*c**3 + 2*c**2 + 7*c - 25. Let i be n(-5). Let w = i + -150. Is 9 a factor of w?
True
Let a = -482 - -487. Suppose -4750 = -a*o + 5*n, 3*o - 2850 = 7*n - 6*n. Is o a multiple of 38?
True
Does 5 divide 1470*(-15)/(-44 - -14)?
True
Suppose -10*g + 8*g - 54 = 0. Let y be (-1314)/g + (-2)/3. Let s = y - -32. Is 16 a factor of s?
True
Let d(q) = 42 + 4*q - 38 + 4*q. Is d(10) a multiple of 7?
True
Let f(k) = -6*k - 17. Let d = -21 - -17. Let m be f(d). Let t(h) = -h**3 + 8*h**2 - 3*h - 17. Is t(m) a multiple of 11?
True
Suppose 0 = 3*c + 8 - 2. Let k(t) = -2*t + 1. Let a be k(c). Suppose -a*i + 212 = -478. Is 35 a factor of i?
False
Let s = -485 + 484. Does 83 divide (-5 + s)/((-4)/(149 + -1))?
False
Let k(q) = -6*q**2 + 17*q**2 + 8*q**3 - 5 - 2*q**3 + 0 + 6*q**2. Does 9 divide k(4)?
False
Let x(c) = -10*c**3 - 147*c**2 + 2*c + 56. Is x(-15) even?
False
Let z be ((-5)/(-8))/((-82)/(-656)). Suppose -35*o + 6230 = 4*n - 40*o, z*o - 7810 = -5*n. Is n a multiple of 24?
True
Is 23 a factor of (37/(74/(-3)))/(6/(-1816))?
False
Let s = 12358 - -307. Does 18 divide s?
False
Suppose 3*r - 6*r - 5*w + 133 = 0, -4*r + 154 = 2*w. Is r/84 - 3966/(-7) a multiple of 63?
True
Is 2 a factor of 766 + (-108)/(-4 - -13)?
True
Let a(v) be the second derivative of -12*v - 8/3*v**3 + 33/2*v**2 + 0. Is a(-8) a multiple of 63?
False
Is 381 a factor of (-19 + 19 - 1) + 4/2 + 43052?
True
Suppose -12 = 3*m, 0 = -5*q + 9*q - 2*m - 56648. Is 20 a factor of q?
True
Let n(s) = -4*s + 66. Let f be n(-6). Is 19 a factor of (-3)/(-5) + 15336/f?
True
Does 70 divide 55180 - (70 + -75 - (2 + 1) - -4)?
False
Suppose 2*s - 36*y + 33*y - 17689 = 0, 4*y + 4 = 0. Is 37 a factor of s?
True
Let v = 158 - -4290. Does 40 divide v?
False
Suppose -3776*v = -3819*v + 1005125. Does 275 divide v?
True
Let x be 5062/7 + 24/28. Let a = x - 430. Is a a multiple of 14?
True
Let h(v) be the third derivative of -v**7/80 + v**6/720 + 11*v**5/20 - 37*v**2. Let m(c) be the third derivative of h(c). Is m(-3) a multiple of 19?
True
Let m(l) be the third derivative of -82*l**6/15 - l**4/6 - l**3/2 - 2*l**2 + 3. Does 15 divide m(-1)?
False
Is (-126)/231*-22 - -38628 a multiple of 16?
True
Let n = 94 + -82. Suppose -15*y = -n*y - 435. Does 12 divide y?
False
Suppose -z = d + 2*z - 1311, -5*d + 2*z + 6521 = 0. Is d a multiple of 45?
True
Let d be 1444/8 - (-2)/(-4). Let v = d - 507. Let b = -225 - v. Does 28 divide b?
False
Let q(p) = 8639*p**2 + 29*p - 28. Is q(1) a multiple of 60?
True
Let f(l) = -98*l + 40. Let j be (4/(-6))/(4/18). Is 32 a factor of f(j)?
False
Suppose 5*w + 11*u = 15*u - 175, 2*u = -w - 21. Is ((-17)/2)/(w/620) a multiple of 10?
True
Let n(d) = d + 22. Le