et j(m) = -2172*m + 477. Is 15 a factor of j(-4)?
True
Suppose 19*h - 59*h + 345787 = 78867. Does 6 divide h?
False
Let z be (-80)/(-6)*(-150)/(-20). Suppose 14*m - z - 1524 = 0. Is m a multiple of 4?
True
Let h be 376*(-11)/(-792) - 2/9. Suppose 0 = -4*a + 2*g - g + 3905, -h*g + 950 = a. Does 15 divide a?
True
Let t be ((-36)/20)/((-1)/5). Let w be (3 + t - -4) + 0. Is 10 a factor of (-10)/(-3)*(w - 1)?
True
Let b(a) = 3*a**2 + 3*a - 132. Let f be b(6). Let w = 25 + 2. Is 47 a factor of -1*52/f*w?
False
Let z(o) be the second derivative of o**5/20 + o**4/4 + o**3/2 + o**2 - 4*o. Suppose 16*t - 61*t + 135 = 0. Does 5 divide z(t)?
True
Let k(q) be the first derivative of 7*q**3 - q**2/2 + 3*q + 66. Does 20 divide k(6)?
False
Let b(u) = 3*u - 24. Let p be b(6). Let t(a) = -11*a - 25. Let l(n) = 11*n + 24. Let h(v) = -4*l(v) - 3*t(v). Is h(p) a multiple of 13?
False
Let l be 2*(-2)/12 + 2828/(-84). Let a(f) = f + 191. Is a(l) a multiple of 26?
False
Let a(q) = 56*q + 36. Let o be a(5). Let t = o + -180. Does 17 divide t?
True
Suppose 2 + 0 = g - b, -10 = -4*g + 3*b. Suppose 5*v = g*n + 1150, 0*v = -3*v + n + 690. Is v a multiple of 23?
True
Suppose 2*l = -a + 7109, 4*l + 15*a = 12*a + 14219. Is 4 a factor of l?
False
Suppose 144*p = 174*p - 1059030. Is p a multiple of 41?
True
Let s = -13782 + 28086. Is s a multiple of 149?
True
Is 14 a factor of (-9717)/711*(1 - 25)?
False
Let v be 22/(-5) - ((-8)/10)/2. Let s be -1*(v - (4 + -4)). Suppose 0 = -s*g + 175 - 67. Does 20 divide g?
False
Let u be (91/(-21) + 3)*-12. Is 5 a factor of (-15)/20 + (-36)/u - -203?
True
Let d = 117 + 63. Suppose 0 = c - 3*c + g + 393, -d = -c - 5*g. Does 26 divide c?
False
Let q(m) = -60*m + 302. Let y be q(5). Suppose 0 = -3*s - 3*j + 2025, y = 10*j - 12*j. Is s a multiple of 13?
True
Suppose 0 = -5*q, 5*r + 4*q = 4*r + 2. Let b(y) = 18 - 22 - y - y**3 - y**2 + 4*y**r. Is 30 a factor of b(-3)?
False
Suppose 0 = -5*p - 5*x + 25530, -3*p + 75*x + 15318 = 77*x. Is 34 a factor of p?
False
Let p(t) = 190*t**3 + 10*t**2 - 2*t - 2. Is p(2) a multiple of 14?
True
Let v = 6529 - 381. Is 16 a factor of v?
False
Let v = 93 + -101. Let d(h) = 6*h**2 + 4*h - 42. Is d(v) a multiple of 31?
True
Suppose -4*h - 12 = 0, 4*a - 7*h = -8*h + 81. Does 12 divide a + (5*-1)/(10 + -11)?
False
Suppose -3*c = -5*c - 6. Is (-59)/c*-6*55/(-22) a multiple of 16?
False
Let c(x) = 639*x - 409. Is 41 a factor of c(29)?
True
Let k(o) = 537*o**2 - 204*o + 1050. Does 65 divide k(5)?
True
Let u(n) = 52*n**3 - 14*n**2 - 4*n - 9. Let q be u(7). Suppose 0 = 29*t - q + 670. Is 47 a factor of t?
False
Is 6 a factor of 5*6/225 + (368366/30 - 3)?
True
Is 300/250 - (-139598)/10 a multiple of 12?
False
Let y(j) = 5*j + 78. Let g be y(-14). Is 13 a factor of 717 - ((3 - g) + 3 + 2)?
False
Let z = 626 + -341. Let i = z - 60. Is i a multiple of 45?
True
Let a(w) = 4*w**2 - 3*w + 2. Let n be a(1). Suppose 1 = n*t - 8. Suppose 0*d = -2*d, -3*q + 270 = t*d. Is 18 a factor of q?
True
Let j(b) = b - 8. Let y be j(-4). Let v be (-38)/95*(-2 - y)/(-2). Suppose -6*x = -v*x - 156. Is 12 a factor of x?
False
Suppose -3*i = 3*l - 31743, -5*l = 13*i - 9*i - 52904. Does 92 divide l?
True
Suppose 329*i = -563*i + 2772336. Is i a multiple of 6?
True
Suppose y + 408 = 4*s + 11562, 2*s = -2*y + 22218. Is 109 a factor of y?
True
Let p(a) = -29*a**3 - 8*a**2 + 11*a**3 + 8*a**3 + 8*a**3 - 6*a. Is p(-6) a multiple of 10?
True
Suppose -12*l + 11*l = -3*b + 4373, 9*b + l = 13123. Does 9 divide b?
True
Let g = 957 + -193. Suppose g = v - 1083. Is 17 a factor of v?
False
Let n(o) = 21*o + 343. Let b be n(-14). Let d(m) = m**3 + m**2 + m - 26. Let y be d(0). Let r = y + b. Is 6 a factor of r?
False
Suppose 0 = 7*t + 178 - 206. Suppose 0 = t*a - 5*a - 4*h + 1301, 5*h = 5. Is 10 a factor of a?
False
Is 35/21 + -2 + 9541/3 a multiple of 30?
True
Is 12 a factor of (-2)/(-6) + (224266/35)/((-18)/(-15))?
True
Let x = 1204 - 675. Does 5 divide x?
False
Suppose -5*m = -5*o - 20, 0 = 3*m - 5*o - 13 - 3. Let l be 4 - (-100 - (0 - m)). Is ((-22)/(-4))/(17/l) a multiple of 11?
True
Let k(l) = -32 + 15 - 26 - 12 - 7*l. Is 10 a factor of k(-25)?
True
Let v = 17 + -6. Suppose 19 = 5*q - v. Suppose -40 = -q*u + 5*u. Is u a multiple of 9?
False
Let t be 16/32 + 21/(-2). Is (-4)/t - 78128/(-380) a multiple of 12?
False
Is 15 a factor of (208808/42 - (-4)/(-14))/(10/15)?
False
Let a = 57 + -223. Let n = a - 30. Is 3 a factor of (-1)/(-3 + n/(-66))?
True
Let s(c) be the third derivative of 1/3*c**3 + 0 - 1/24*c**4 + 0*c + 13*c**2 + 13/30*c**5. Does 9 divide s(1)?
True
Suppose 5*v = 432 + 493. Let a = v - 140. Is a a multiple of 10?
False
Is (12/(4 + 32))/((-9)/(-24975)) a multiple of 25?
True
Let p(f) = 4*f**3 + 8*f**2 - 10*f + 8. Suppose -11*s + 6*s - 5*u + 20 = 0, 0 = 5*s + 4*u - 19. Does 7 divide p(s)?
False
Let h = 17591 + -16691. Is 15 a factor of h?
True
Suppose -2*v = -3*y + 10, 4*v + 4 = 2*y - 0*y. Suppose 5*x + 9 = 2*t + 203, -2*x + y*t = -84. Let l = 301 - x. Is 52 a factor of l?
False
Suppose 0 = -6005*l + 5996*l + 17343. Is l a multiple of 32?
False
Suppose 0 = -5*l - 3*q + 16491, 0 = 30*q - 27*q + 9. Does 67 divide l?
False
Suppose 220 = 5*x - 5*r, 6*x - 2*x + r - 186 = 0. Is x - (2 - (-8)/(-6 + 4)) a multiple of 34?
False
Let t(z) = 7*z**2 - 4*z - 57. Let m(x) = -8*x**2 + 7*x + 56. Let q(s) = 2*m(s) + 3*t(s). Is 20 a factor of q(7)?
True
Let a = 103 - 96. Suppose 0 = -a*x + 15 + 6. Suppose -4*z = -h - 4*h + 1380, x*z - 257 = -h. Is h a multiple of 43?
False
Let c = -28131 - -39739. Is 12 a factor of c?
False
Let i = -1888 + 3275. Is i a multiple of 44?
False
Let m(p) = 9*p**3 - 6*p**2 + 11*p + 25. Suppose 160*l + 72 = 172*l. Does 103 divide m(l)?
False
Suppose -2*i + 17393 = a, 0 = -4*i - 6*i + 3*a + 86941. Is i a multiple of 52?
False
Let x be 0 - 1 - 2 - -30. Let b be (x/4)/(13/312). Suppose -t - 2*t + b = 0. Is 6 a factor of t?
True
Let m(b) = 101*b**2 + 16*b + 4. Is m(-3) a multiple of 4?
False
Let c(i) = -i**3 - i + 509. Let h be c(0). Let b = h - 185. Does 12 divide b?
True
Suppose 2079868 = -308*v + 8642732. Is v a multiple of 14?
True
Let u(z) = -2*z**3 - 8*z**2 + 18*z + 72. Let b be u(-6). Let v = b + 477. Is 15 a factor of v?
True
Let d = 1493 + 26143. Is d a multiple of 89?
False
Let c(y) = -9*y - 6. Let t(s) = -s**2 + 10*s + 5. Let k(j) = -3*c(j) - 2*t(j). Let w be k(-4). Suppose -5*r - 98 = -w*r. Is 5 a factor of r?
False
Suppose 3*j - 19635 = -5*v, -6*v - 880 = 2*j - 13978. Does 15 divide j?
True
Suppose 6585*j = 6569*j + 22048. Is 18 a factor of j?
False
Let h(v) be the second derivative of -17*v**3/6 + 13*v**2 + 10*v. Let y(c) = c - 18. Let k be y(10). Is 8 a factor of h(k)?
False
Suppose 0 = -p + 2*n + 858, 3*p = -0*p - 5*n + 2618. Is 25 a factor of p?
False
Let p be ((-4)/10)/(4/(31320/(-3))). Suppose 4*c - 5*d - p = 0, 3*c + 2*d = 275 + 531. Does 19 divide c?
True
Let x = 112 - 119. Let l be (-109)/(-2) + (-1)/2. Does 3 divide (-2)/(-9) - (x - (-174)/l)?
False
Let p = -87 - -88. Let o(n) = 100*n - 11. Is o(p) a multiple of 31?
False
Suppose -5*g + 0*g + 10 = 0. Suppose 8*h - 39 = -39. Suppose h*d + 5*t = -g*d + 18, 4*t = -d + 9. Is d a multiple of 3?
True
Let v = -29718 + 55692. Does 12 divide v?
False
Let c(r) be the first derivative of 0*r**2 - 7 - r - 2*r**4 + 1/3*r**3. Is 11 a factor of c(-2)?
False
Let p(a) = 3 + 4*a - 14*a - 6 + 9*a. Let i be p(-7). Suppose 3*b - b = -5*m + 105, -5*b + i*m = -312. Is b a multiple of 20?
True
Let p(w) = 4*w**2 - 20 - w + 6 + 2 + 6. Let y be p(7). Is 29 a factor of -1 + (y/3 - 0)?
False
Does 9 divide (56/(-140))/(1/(0 - 36360))?
True
Suppose 17290 = 56*h - 51*h. Is h a multiple of 15?
False
Let l be (-16 + 2)*218/(-4) + -3. Suppose g - 2*g - 3*s = -l, -2*s - 2 = 0. Suppose -4*i = -4*m - 604, -5*i + 0*m + m + g = 0. Is i a multiple of 19?
False
Suppose 0 = -5*t - 4*f + 7542, -40*t + 7558 = -35*t - 4*f. Is t a multiple of 151?
True
Let x be (5 + -870)/(-2 - -3). Let g = 101 - x. Is 21 a factor of g?
True
Suppose 5*c - 2*c + v - 13 = 0, c - 11 = v. Does 3 divide (-18)/(-12) - ((-261)/c - 3)?
True
Let n(p) be the second derivative of p**4/12 + 5*p**3/6 - 15*p**2/2 + 21*p. Let r be n(6). Suppose -4*y + 69 + r = 0. Does 15 divide y?
True
Let y(a) = 85*a**2 + 183*a + 3302. Is y(-20) a multiple of