 be m(-6). Suppose -6 = -j*d + 9*d. Suppose 0*x - d*x = -210. Is 16 a factor of x?
False
Is (-242 + -13 + -6)/(-1) a multiple of 9?
True
Let y(j) = 9079*j - 165. Does 25 divide y(3)?
False
Let w = -33185 - -57158. Is 8 a factor of w?
False
Let q(b) = 38*b + 3. Let i(o) = 5*o**2 - 2*o - 1. Suppose -8*c = -4*c + 4. Let x be i(c). Is 38 a factor of q(x)?
False
Does 4 divide (25060/(-112)*2/(-5))/((-2)/(-36))?
False
Let g(m) = 23 + 7 - 4*m - 1. Suppose 0 = -12*o - 86 - 58. Is 11 a factor of g(o)?
True
Suppose 0 = -4*b + 3*b - r + 1131, 4*b + 2*r = 4534. Does 8 divide b?
True
Suppose -222876 = 12*o - 48*o. Is 8 a factor of o?
False
Let u(x) = 3*x**3 - 181*x**2 - 121*x - 51. Is u(64) a multiple of 25?
False
Let n = -47 + 50. Suppose 3*i + n*x = 498, 0 = 4*i - 3*x - 306 - 386. Does 10 divide i?
True
Suppose -120*k = -136*k + 1472. Is 44 a factor of (-2373)/(-140)*k + (-4)/10?
False
Let o = 10102 + 3768. Is 5 a factor of o?
True
Let k = 12942 - 12654. Let g(v) = 3*v**2 + 8*v + 4. Let j be g(-6). Suppose 61*o = j*o - k. Is 8 a factor of o?
True
Does 51 divide (204/(-24))/((-4971)/1656 + 3)?
True
Is 153 a factor of (53 + 1)*((-5 - -9) + (-1575)/(-10))?
True
Let h be 21*(70/(-21))/(-10). Suppose -2167 - 1858 = -h*z. Does 23 divide z?
True
Let z = -14661 + 15586. Is 5 a factor of z?
True
Let w = 22 - 18. Suppose -3*l + 7*l + 4 = 4*s, 2*l - w*s = 6. Let h = 33 - l. Is h a multiple of 19?
True
Suppose k = v - 1085, -4*v + 5*k - 598 = -4943. Is 108 a factor of v?
True
Let r(z) = 144*z**2 + 31*z + 137. Let b be r(-4). Suppose -333*m + 326*m = -b. Is m a multiple of 20?
False
Let c = 1877 - 791. Let f = c - 162. Is 16 a factor of f?
False
Let p(w) = 492*w**2 - 61*w - 856. Does 26 divide p(-11)?
False
Let h = 14938 + 265. Is h a multiple of 27?
False
Let a = 57 - 45. Is (a - 21)*((-20)/3 + 2) a multiple of 7?
True
Let l = 145 + -71. Let o(w) = w**2 + 15*w - 18. Let r be o(-20). Let p = r - l. Is p a multiple of 4?
True
Suppose 4*u - 1762 = 2*c, 2*c = -3*u + 4*c + 1319. Is u a multiple of 5?
False
Suppose -c - 256 = 1215. Is 5/(-15) + -3 + c/(-3) a multiple of 30?
False
Suppose 6*x - 3*x - 2718 = -3*r, -2*x + 4*r = -1836. Suppose 7*w = -0*w + x. Is 4 a factor of w?
False
Let v(p) = -3107*p + 554. Is 21 a factor of v(-8)?
True
Suppose -4*g + 65 = -0*g + i, -5*g + 85 = 2*i. Let r(q) = -13*q - 20 + 8*q + g*q. Is r(7) a multiple of 5?
True
Suppose -2 = 3*a - 11. Is ((-22)/a)/((-14)/210) a multiple of 5?
True
Let c = 64 - -370. Suppose 8*m = m + c. Let t = -50 + m. Is 6 a factor of t?
True
Suppose -9*t = -85 + 4. Suppose -t*q - 4396 + 12136 = 0. Is 20 a factor of q?
True
Let z(t) be the second derivative of 13*t**3/6 - 75*t**2/2 + 143*t. Is z(6) a multiple of 3?
True
Let j(t) = -t**3 + 8*t**2 - 10*t + 23. Let x be j(7). Does 33 divide (-11 + 10)/(x + (-399)/198)?
True
Let o(w) = w**3 - 7*w**2 - w + 13. Let a be o(7). Is 9 a factor of 3*1*(1 - (-182)/a)?
False
Let y(w) = w**2 + 4*w - 3. Let v be y(-5). Suppose 52 = -0*o + v*o. Suppose 6*g - o = 4. Is 3 a factor of g?
False
Suppose 2*a - j = 3459, -9*j - 5181 = -3*a - 10*j. Let l = 2568 - a. Is 60 a factor of l?
True
Let q be (9024/(-10))/4 - (-10)/(-25). Let b = q - -230. Is 4 a factor of b?
True
Suppose -4*g = -v + 6708, 22*g = 19*g - 12. Is 164 a factor of v?
False
Is 6 a factor of 33/((-3927)/(-1060324)) - 2/7?
True
Let z(r) = 48*r - 6. Let f be 1*(290/5 + -2 + 5). Let u = 65 - f. Is 31 a factor of z(u)?
True
Let k(h) be the first derivative of h**4/4 - 3*h**3 + 11*h**2/2 - 6*h - 56. Is 5 a factor of k(10)?
False
Let o be 8/(-12)*-132*(-18)/(-8). Let y = 597 - o. Is y a multiple of 21?
True
Suppose 96*g = -10*g - 256426 + 1390308. Is 13 a factor of g?
False
Let t(h) = 414*h**3 + 3*h**2 - 4*h + 2. Let c be ((-8)/(-16))/(3/6). Let s be t(c). Let b = s + -176. Is 49 a factor of b?
False
Let n be (34/(-10)*-1)/(2/10). Suppose 6*o - 71 = -n. Is 3 a factor of o?
True
Let u be 1/3 - (1 - (-40)/(-15)). Suppose u*q - 6*j = -3*j + 12, 5*q - 30 = 4*j. Suppose -182 = q*x - 1502. Is 22 a factor of x?
True
Suppose 5*n = 4*m + 7334, -2*m = -3*m + 4. Does 3 divide n?
True
Is (18 - (3 - -2))/((-2)/(-356)) a multiple of 34?
False
Suppose -164 = 2*r - 412. Suppose 0 = -2*a - q - 216, -7*q - 216 = 2*a - 2*q. Let l = r + a. Is 4 a factor of l?
True
Suppose 13*k - 52464 = 26888. Does 56 divide k?
True
Suppose -18*i - 236208 = -14*i - 25*i. Does 127 divide i?
False
Let j(n) = -9*n**3 + 14*n**2 + 49*n + 19. Is j(-6) a multiple of 4?
False
Let c = 101 + -231. Does 61 divide (-168025)/c*4/5?
False
Suppose 0*q - 2*q + 5*g = -389, -3*g = -9. Suppose -5*b - 1780 = -3*t - q, 2*t + b - 1039 = 0. Does 62 divide t?
False
Suppose -388 = -24*y + 548. Let q = y - -258. Does 18 divide q?
False
Let u be 4 + (-60)/(-25) + (-6)/(-10). Let r(t) = -u*t + 5 + 16*t - 6*t - 2*t. Does 7 divide r(10)?
False
Suppose 0 = 5*u - 15, -81*v + 82*v - 8055 = 5*u. Is v a multiple of 30?
True
Suppose -3*o - k + 20887 = 0, 7*k - 6*k = -4*o + 27850. Is o a multiple of 37?
False
Suppose 0 = 3*h - 2*h - 6*h + 9840. Is h a multiple of 24?
True
Let r(s) = -s + 3. Let t be r(4). Let d(w) = 89*w**2 + 6*w + 5 - 139*w**2 + 53*w**2 + 65*w**2. Is d(t) a multiple of 23?
False
Let d be 2*22/(-8) + (-5)/10. Let v be 1/(-5) - d/30. Suppose r + 4*y - 27 = v, 2*r = y + 4*y - 11. Is r a multiple of 2?
False
Let d = 2264 - 1517. Suppose -2*u + d = -x, 6*u - 10*u = x - 1479. Is u a multiple of 7?
True
Let g = 2577 + -259. Is 11 a factor of g?
False
Is 11*(-3340)/5*10/(-40) a multiple of 43?
False
Suppose -18344 = -4*g + 5*h - 3234, 4*g + 2*h = 15124. Does 189 divide g?
True
Is 11 a factor of (36/(-8))/(2*2/(-904))?
False
Let g(x) = 14*x**3 - 41*x**2 + 30*x + 20. Let u(a) = 5*a**3 - 14*a**2 + 10*a + 7. Suppose -6*b + 28 - 4 = 0. Let j(o) = b*g(o) - 11*u(o). Does 9 divide j(9)?
False
Let v = 7 + -3. Let w be (6/v)/(75/(-200)). Does 8 divide ((-20)/(-5))/w + 73?
True
Let a(h) = -h**3 + 5*h**2 + 6*h - 3. Let i be a(4). Suppose -2*f - 5*x + 116 = 0, -4*f - 4*x - 37 + 293 = 0. Suppose -f = -3*q + i. Is 12 a factor of q?
False
Let w(f) = 168*f**3 + f**2 - 2*f + 1. Let t = 50 + -49. Is 24 a factor of w(t)?
True
Let w be (-18)/12 + (-396)/(-8). Let u = w + 258. Suppose -53*b + u = -47*b. Is b a multiple of 15?
False
Let m(v) = 5 - 3*v - v + 15*v + 7*v. Let h be m(2). Suppose -14 = -z + h. Does 12 divide z?
False
Let d be ((72/84)/((-1)/7))/(-1). Let i(w) = 6*w**3 - 6*w**2 + 14*w + 4. Let y be i(d). Suppose -y = 13*u - 21*u. Does 32 divide u?
False
Suppose 5*f - 5*o + 225 = -230, 9 = -3*o. Let y = 163 - -20. Let j = y + f. Is j a multiple of 22?
False
Let p(l) = 3*l**3 - 10*l**2 - 11*l - 8. Let t = 73 + -78. Let y(c) = 4*c**3 - 10*c**2 - 10*c - 7. Let m(n) = t*p(n) + 4*y(n). Does 10 divide m(-8)?
True
Is 29 a factor of 11*872 - 750/250?
False
Let d(c) = -c**3 - 8*c**2 - 8*c - 11. Let j(k) be the second derivative of k**5/20 + k**4 - 11*k**3/6 + 9*k**2 - 11*k. Let r be j(-13). Does 29 divide d(r)?
False
Let j(l) = 29*l**2 + 94*l - 834. Does 8 divide j(8)?
False
Suppose -73488 = -48*y + 156912. Is 32 a factor of y?
True
Suppose 677292 + 1635528 = 90*f. Does 102 divide f?
False
Let y be 4/((-4 - -2) + 0) - 14. Let v(i) be the second derivative of i**4/12 + 11*i**3/6 + 12*i**2 + 6*i. Is 8 a factor of v(y)?
True
Let l(b) = b**2 - 47*b + 1782. Does 66 divide l(47)?
True
Let r = -713 + 10465. Does 23 divide r?
True
Suppose -35*w = 15*w + 29753 - 88403. Is 12 a factor of w?
False
Let w(i) = -512*i - 120. Is 23 a factor of w(-32)?
False
Let l = -558 - -324. Let i = -635 - -622. Is i/(l/(-12)) + (-436)/(-6) a multiple of 9?
True
Let u(q) = -4*q + 7. Suppose 11*l - 7*l - 56 = 0. Suppose 3*i + 4 = -l. Is u(i) a multiple of 3?
False
Suppose 989960 = 14*j + 274328 - 383284. Is j a multiple of 44?
False
Let x = 46 + -48. Let o be (-4 - x)*(-1 + 33/(-6)). Suppose 0 = 18*f - o*f - 60. Is f a multiple of 3?
True
Let k(s) = 305*s - 1127. Is k(5) a multiple of 24?
False
Let y = 1041 + -423. Suppose q = -i + y, -4*q + 3140 = 5*i - 9*q. Does 11 divide i?
False
Suppose 285 = -3*m + 351. Suppose -m*j + 1008 = -13*j. Is j a multiple of 8?
True
Suppose 4*m = 2*a - 4, -2*a + 4*m - 8*m = -4. Suppose 0 = s + 3*d - 33, 0 = a*s + 2*d - 28 - 54. Is s a multiple of 30?
False
Suppose 1212 = -41*a + 45*a. Let x = 381 + a. Does 19 