 + 23*m + 106. Let f be j(-4). Is (-47)/f + 121/2 a multiple of 6?
True
Let f be (-3)/4 - 6964/16. Let d = -376 - f. Does 12 divide d?
True
Let c be ((-3)/(-12) - 0)/((-2)/(-40)). Suppose c*w = -8 + 8. Suppose 16*a - 20*a + 60 = w. Is a a multiple of 3?
True
Suppose -4*v + 12194 = 5*d + 1065, -2*d + 2786 = v. Is 208 a factor of v?
False
Suppose -7*s + 82*s - 253680 = -65*s. Does 12 divide s?
True
Let t(i) = i**3 + 2*i**2 - 11*i + 9. Let o be t(2). Suppose p = 2*p - 2*u - 257, -5*p + 1285 = o*u. Is 30 a factor of p?
False
Let u(r) = 181*r**2 + 136*r - 1921. Does 179 divide u(13)?
False
Let z(l) = 2006*l + 5. Let p be z(-1). Let a = -1272 - p. Is a a multiple of 26?
False
Let l = -223 - -241. Let w(i) = i**3 + 10*i**2 + 10*i + 12. Let r be w(-9). Suppose 5*n - y = -5*y + 45, r*y = -2*n + l. Does 9 divide n?
True
Let z(w) = 1218*w + 13292. Is z(13) a multiple of 36?
False
Let n be 20/(-6)*(8 - 184/20). Is (n - -46)*(-2)/(-4) a multiple of 25?
True
Let n = -13721 - -18591. Does 10 divide n?
True
Suppose -4*s + 7*s - 5*n = 24, 4*s = 3*n + 21. Suppose 2*j + 4*h = 4*j - 826, s*j - h = 1234. Is j a multiple of 49?
False
Is (24770/15)/((-18)/(-27)) a multiple of 14?
False
Let s be (4/(-5))/((-2)/180). Suppose 2*x = 5*m + 48, 0 = -4*x + x + m + s. Suppose x*w - 26*w + 194 = 0. Does 20 divide w?
False
Suppose 2*p + 58*p - 540 = 0. Let c(q) = -q**3 - 10*q**2 + 8*q - 6. Let a(w) = w**3 + 1. Let v(i) = -2*a(i) - c(i). Is 5 a factor of v(p)?
False
Let d(n) = -n**3 - 7*n**2 - n + 12. Let a be d(-5). Let t(y) = -2*y**2 - 9*y + 3. Let p be t(-9). Let o = a - p. Does 9 divide o?
True
Suppose -2*p - 38 = -4*a, 5*a - 48 = 2*p + 2. Let c(w) = 29*w - 130. Is c(a) a multiple of 49?
False
Does 14 divide ((-56028)/(-464))/((-6)/(-496))?
True
Suppose 13*a - 19859 = 6154. Does 69 divide a?
True
Let m = 3498 - -7158. Is 211 a factor of m?
False
Let h(c) = 5*c**2 - 6*c + 41. Let x be h(-8). Let t = x + -274. Is 13 a factor of t?
False
Suppose -7582*z + 7579*z + 2976 = 0. Is 3 a factor of z?
False
Suppose -b + 20239 = 5*o, -6246 = -o - 7*b - 2171. Is 71 a factor of o?
True
Suppose 139*r - 152*r = -3965. Is r a multiple of 3?
False
Suppose -36*w + 1124 + 32572 = 0. Does 36 divide w?
True
Let i be (6 - (-108)/(-16)) + (-1119)/(-4). Suppose -i = -3*u - 24. Is 17 a factor of u?
True
Let t(x) be the third derivative of -x**5/30 - 2*x**4 + 19*x**3/3 + 15*x**2 + 1. Is 7 a factor of t(-23)?
True
Let t(a) = -9*a**3 - 48*a**2 - 13*a + 4. Is t(-9) a multiple of 23?
False
Let o be (-6 + 5)/(-3 + 428/142). Let s = 71 + o. Suppose s = -u - m + 29, 4*u + 3*m - 137 = 6*m. Does 16 divide u?
True
Suppose 38*x = -25547 + 333119. Is x a multiple of 238?
False
Suppose -2*j + 5 = 2*v - j, -4*v - 4*j = 0. Let n be (-2 - (-5)/v)/((-2)/8). Suppose n*t = -5*g + 269, g - 34 = 3*t + 16. Does 26 divide g?
False
Let k(o) = o**3 - 9*o**2 - 7*o + 62. Let r be k(9). Is 9 a factor of 232*(26/104 + r/(-4))?
False
Let a = -587 - -51. Let x = 598 + a. Is 13 a factor of x?
False
Let g be (0 + 0)*(26 + -25). Suppose -6*x + 2*k = -3*x - 856, -4*x + k + 1148 = g. Is x a multiple of 16?
True
Let u(a) = 78*a**3 + 3*a - 2. Let f be u(1). Suppose 0 = 9*w + 1159 - f. Let r = -86 - w. Is r a multiple of 13?
False
Suppose -6*c + 3*c = -3*i - 9, 2*c - 13 = -5*i. Suppose 2*b - 420 = -c*w + 314, -w + 188 = 2*b. Is 26 a factor of w?
True
Is ((-3 + 2)*-84)/(194/1067) a multiple of 6?
True
Let j(p) = 4*p. Let a be j(12). Does 20 divide (-35)/((-246)/a - -5)?
True
Let d = 712 - -41. Suppose -5*y - 3*w + d = -5952, -w = 3*y - 4019. Does 15 divide y?
False
Let f(o) = o**2 + 4*o + 3. Let x be f(-3). Let t be (-16)/104 + 314/13. Suppose x = -t*r + 30*r - 216. Is 11 a factor of r?
False
Suppose t + 3 = -0*y - 3*y, y + 1 = -2*t. Let p = -664 + 667. Suppose a + t*a + p*m = 160, -4*a = m - 684. Does 30 divide a?
False
Suppose 3*y = 3*p - 258, 2*p + 0*y = y + 177. Is p a multiple of 2?
False
Let i(k) = -k. Let x be i(-5). Suppose -2*p = -x*p + 6. Suppose p*b + 48 = 10*b. Does 3 divide b?
True
Let t = 52 - 134. Let a = t + 148. Is 22 a factor of a?
True
Suppose -1618668 = 8868*o - 8904*o. Is 39 a factor of o?
False
Suppose u = -45*z + 52*z - 362200, -5*z - 5*u = -258760. Is 264 a factor of z?
True
Suppose -2*s = 5*s - 21. Suppose 5*f + 5*g - 40 = 0, s*g = 2*f + g + 4. Suppose 0*r - f*r + 59 = -5*w, 0 = -3*w - 3. Is 4 a factor of r?
False
Let x = -2313 - -4553. Is 160 a factor of x?
True
Let c = -76 + 48. Let i = -22 - c. Does 9 divide ((-45)/i)/(-3 + 85/30)?
True
Let m(k) = 12*k**2 - 612*k + 195. Does 121 divide m(58)?
False
Let r(b) = -29548*b - 20. Does 50 divide r(-1)?
False
Let x = -64 - -150. Suppose 81*c - x*c + 1305 = 0. Is c a multiple of 29?
True
Let b be 21/15 + 2/(-5). Let y(t) = 1 + 3*t + 7 + 0 + 134*t**2 - 6 - 4. Is 31 a factor of y(b)?
False
Let d(k) be the second derivative of k**5/20 - 7*k**4/6 + 11*k**3/3 + 13*k**2/2 + 46*k. Let p be d(11). Is p/8*(-5 - 3/1) a multiple of 36?
True
Let s be (-15)/((105/(-20))/7). Let n be (19 - -3)/((-5)/s). Let j = n + 160. Is 25 a factor of j?
False
Let x = -250 - -259. Let q(z) = -z**2 - 5*z - 3. Let v(g) = -2*g**2 - 11*g - 7. Let l(d) = -13*q(d) + 6*v(d). Is l(x) a multiple of 23?
True
Suppose -2*r + 19039 = -3*j - 21341, -3*r + 3*j + 60579 = 0. Is r a multiple of 78?
False
Suppose 0 = 2*j - 4*t - 0*t - 12, j - 2 = t. Does 2 divide (-66)/(-11)*(3/2 - j)?
False
Suppose -5*o + 0*j + j = 3, 0 = -3*o - 5*j + 15. Suppose r + 142 = 3*p, -2*p + o*p + 92 = -2*r. Is p even?
True
Let m(h) = -14*h**2 - 34*h + 118. Let c(i) = 5*i**2 + 11*i - 40. Let k(r) = -8*c(r) - 3*m(r). Is 9 a factor of k(10)?
True
Let c = -926 + 409. Let a = c + 316. Let b = -80 - a. Does 19 divide b?
False
Suppose -i + 263 = -3*d - 247, 3*i + 180 = -d. Let y(q) = -12*q**2 + 2*q - 5. Let o be y(3). Let r = o - d. Is 15 a factor of r?
False
Suppose 441 = d + 3*h, 0*d - h = 2*d - 892. Let b = d + -239. Is 9 a factor of b?
False
Let a(o) = -11*o + 9. Let n(q) = -44*q + 47. Let g(r) = -11*r + 12. Let v(f) = -22*g(f) + 6*n(f). Let l(s) = 5*a(s) - 3*v(s). Is 5 a factor of l(2)?
False
Let h(p) = p**2 - 7*p - 15. Let d be h(9). Suppose -4*m + 8 = 0, d*x = 4*m - 90 - 152. Does 32 divide (-12)/x + 6648/52?
True
Let r = -100 - 206. Let t = r - -592. Does 6 divide t?
False
Suppose 3285 - 14865 = -10*k. Suppose 0 = -c - 0*c + 3*y + 225, 5*c - 4*y - k = 0. Is 18 a factor of c?
True
Let g = 87 + -83. Let y be ((-20)/g - -4)*-3. Suppose -y*j - 3*h + 63 = 0, -2*h = j + 2*h - 30. Is 3 a factor of j?
True
Suppose -28*g = 97*g - 798875. Is g a multiple of 77?
True
Let u(r) = 5*r**2 - 15*r - 16. Let s be u(-1). Suppose 3*g + 3*i - 178 = 1475, s*i = 2*g - 1120. Is 12 a factor of g?
False
Let s(g) = 6*g - 16. Let y(h) = 6*h - 32. Let x(m) = 5*s(m) - 3*y(m). Let t(k) = -k**3 - 6*k**2 - 6*k - 2. Let f be t(-5). Is x(f) a multiple of 13?
True
Let o = -14542 + 20128. Is o a multiple of 7?
True
Is 46 a factor of (-7)/2 + (-24)/288*-5562?
True
Let f(d) be the first derivative of 17*d**2/2 - 5*d - 35. Let y be f(6). Suppose 0 = 2*s - 3*r - y, 2*s = -r - 2*r + 67. Does 28 divide s?
False
Suppose -404*w + 397*w = -22764. Suppose -26304 - w = -36*q. Is 52 a factor of q?
False
Suppose -4*m + 8*m + 2*g - 13976 = 0, 3483 = m - 5*g. Is m a multiple of 101?
False
Suppose -55*z + 73*z = 64170. Suppose z = -305*m + 310*m. Does 32 divide m?
False
Suppose -z + 376 + 294 = 0. Let w = -502 + z. Is 55 a factor of w?
False
Let f(q) = 7*q + 72. Let p be f(0). Suppose -p = -4*z - 0*z. Suppose 21*d - z*d - 6 = 0. Is d a multiple of 2?
True
Suppose -1192 - 1269 = -5*f + h, -5*f = -4*h - 2464. Is 17 a factor of f?
False
Suppose 14132 = 4*c + 4*g, 4*c - 8896 = -2*g + 5236. Is c a multiple of 83?
False
Suppose -7*f + 2*c = -6*f - 224, 0 = 2*f + 3*c - 476. Is f a multiple of 11?
False
Suppose -26*b + 167674 = -26*b + 26*b. Is 16 a factor of b?
False
Suppose -73710 = -47*p + 8*p. Does 21 divide p?
True
Suppose -m = -3*a + 68, -2*m - 188 = m - 5*a. Let g be m/(-24) - (-4)/6. Suppose -2*z + g*r + 150 = 35, 3*r - 150 = -3*z. Is 18 a factor of z?
False
Suppose 14*g = 9*g + 5*f + 3885, -2*g = f - 1545. Does 19 divide g?
False
Suppose -6*i - 18481 = -24*i + 6323. Is i a multiple of 107?
False
Is 15 a factor of (-1260)/1512 + ((-345)/54)/(2/(-4674))?
False
Is ((4615/2)/5)/(11/(112