se 5 - 25 = 5*o, o + 3264 = 5*n. Suppose 7*v - n = 3*v. Is 4 a factor of v?
False
Let w = 23603 + -10853. Is 25 a factor of w?
True
Suppose 80*m + 249174 = 98*m. Does 43 divide m?
False
Let b(r) = 175*r**2 - 173*r - 1655. Does 104 divide b(-9)?
False
Suppose -4*u + 20 = 0, -3*p + 12*u - 7*u - 727 = 0. Is 3/27 + (-910)/p a multiple of 4?
True
Let v = -669 + 4485. Is 9 a factor of v?
True
Let p(r) = -3*r**2 - 69*r + 72. Let l(x) = x**2 + 23*x - 24. Let y(f) = 8*l(f) + 3*p(f). Let j(d) = -88*d - 369. Let h be j(-4). Does 18 divide y(h)?
True
Suppose -2*m + 3*h = -34, -5*m + 8*h = 3*h - 85. Suppose 0 = m*y + 400 - 1148. Is 11 a factor of y?
True
Let y = 12182 - 11564. Suppose -5*b + 2*n + 15 = 4*n, -3*n - 12 = -4*b. Suppose -4*h - b*f = -f - y, -2*h - 4*f = -312. Does 14 divide h?
True
Let f(t) = -23*t + 11. Suppose -2*s = 2*s + 12. Let w be 6/(-3)*(-2)/(4/s). Is 16 a factor of f(w)?
True
Suppose 3*l = 3*v - l - 9587, v - 3*l = 3204. Is 66 a factor of v?
False
Suppose 3*j - 442 = -4*r, -6*j + 2*r + 560 = -2*j. Suppose 8*s = j + 234. Is 7 a factor of s?
False
Let a = -209 - -213. Suppose 5*t - 283 = -a*l + 229, t - 3*l - 110 = 0. Is t a multiple of 13?
True
Let j = -27790 - -40190. Is j a multiple of 20?
True
Let g(k) = 2*k**3 - 6*k**2 + 3*k - 3. Let z be g(4). Let r = z + -47. Is 20 a factor of 158 + (1 - -2) + 6/r?
True
Let n(b) = 22*b**2 + 24*b - 540. Does 9 divide n(18)?
True
Suppose v + 30132 = 182*a - 178*a, -4*a + 3*v + 30140 = 0. Is 14 a factor of a?
True
Let g be 1/2*53 - 87/58. Let n(m) = 35*m + 25. Is n(g) a multiple of 60?
True
Suppose 2*i + i - 9 = 0. Suppose 0 = i*x - 74 - 106. Let r = -15 + x. Does 30 divide r?
False
Suppose -4 = -4*t - 12. Let j be 134*(t - (36/(-8))/3). Let y = j - -106. Is y a multiple of 13?
True
Let l(q) = -q**3 - 12*q**2 - 23*q - 220. Does 48 divide l(-24)?
False
Does 83 divide -83*28*1/2*1182/(-788)?
True
Let g = -117 + 86. Let j = g + 28. Does 2 divide (-16)/(8/j*1/4)?
True
Let l = -55 - -57. Suppose l*z + 992 = 4*b, -2*b + 994 = 2*b - 3*z. Is 13 a factor of b?
True
Let j(x) be the first derivative of 1/4*x**4 + 16*x + 16 - 3*x**2 - 10/3*x**3. Is j(11) a multiple of 15?
False
Let v = -24019 - -27443. Does 16 divide v?
True
Let t = -42 - 6. Let z be (0 - (-5 - -3)) + t/(-2). Let n = 72 - z. Is n a multiple of 4?
False
Suppose -d + 0 = -0. Suppose -l - 2*y + 490 = 4*l, -y = d. Suppose 2*b + 2*a - 356 = 0, b + 3*a - l = 76. Does 29 divide b?
False
Suppose 94*h - 28923 = 125519. Does 2 divide h?
False
Let s(o) = o**3 + 9*o**2 + 5*o - 15. Let j be s(-8). Let u = 179 + j. Suppose g + 3*p = 47, 4*g + p - u = -3*p. Does 6 divide g?
False
Let n(w) = 197*w**2 + 121*w - 68. Is n(-10) a multiple of 68?
False
Let j(z) = -2*z - 6. Let v be j(-5). Suppose 0 = v*m + 2*u - 15 - 41, 0 = 3*m - 4*u - 64. Let h(q) = q**3 - 14*q**2 - 22*q - 5. Is 20 a factor of h(m)?
False
Let j(t) = 141*t + 1209. Is j(39) a multiple of 12?
True
Suppose 2*x - 5*g - 522 = 99270, 4*g = 0. Is x a multiple of 36?
True
Let x = -1811 + 2979. Is 16 a factor of x?
True
Let a be (-1 + (-715)/(-10))*6. Suppose -2*n - 1052 = -5*j, -j + 3*n = j - a. Does 5 divide j?
True
Let g(a) = -a**2 - 10*a - 6. Let b be g(-10). Let c(n) be the second derivative of n**4/6 - 2*n**3/3 - 5*n**2/2 - 43*n. Is c(b) a multiple of 14?
False
Suppose -11*u - 2*r = -7*u - 1018, -4*r = u - 272. Let t(s) = 7*s**2 - 252*s + u*s - 9. Is t(3) a multiple of 5?
False
Suppose n = 2*f - 923, 143*f - 147*f - 3*n + 1811 = 0. Is f a multiple of 3?
False
Suppose 3*x + 74613 = 9*u, -30*u - 16590 = -32*u + 3*x. Is u a multiple of 27?
True
Suppose -21 = -5*n - 11. Let m be (1*2)/(n/(-14)). Does 3 divide (-1 + m/(-5))*5?
True
Suppose 5*f = -i + f - 14, 5*f + 40 = -5*i. Let y be (4 - 3)*i*6/(-9). Let r(z) = z**3 + z**2 + z - 4. Does 11 divide r(y)?
False
Let s = 239 + -239. Suppose 5*b - c - 155 - 790 = s, -378 = -2*b + 3*c. Is b a multiple of 20?
False
Let q(a) = 2*a**2 - 3*a + 15. Let i be q(4). Does 18 divide (-135)/(i/14 - (4 + -1))?
True
Let q(x) = 2*x**3 + 5*x**2 + 5*x + 6. Let k be q(-3). Is 1119 + (-42)/(k/3) a multiple of 11?
False
Let d(t) be the first derivative of t**4/4 + 5*t**3 - 3*t**2 + 50*t - 65. Is d(-15) a multiple of 35?
True
Suppose -f + 2*k + 7628 = 1026, 4*k - 13236 = -2*f. Does 10 divide f?
True
Let f = 140 - 135. Suppose 6*p - 2*p - f*c - 697 = 0, 5*c = -5. Is p a multiple of 17?
False
Suppose z + 9*v - 5799 = 6*v, -4*v + 5800 = z. Is 14 a factor of z?
True
Let p = -1109 + 385. Let k = -392 - p. Is 83 a factor of k?
True
Let q(w) = -368*w + 4528. Is 30 a factor of q(0)?
False
Suppose t = 14 + 1. Suppose 0 = -t*s + 1963 + 2657. Is s a multiple of 44?
True
Let z = -97 + 103. Is 1508/(z - 2) - -2 a multiple of 13?
False
Suppose 2*u = -5*y + 168294, -5*y + 2*u + u + 168309 = 0. Is 10 a factor of y?
True
Let h(x) = -34*x + 173. Let b be h(5). Suppose -2*d - 5*q = -479, 7*q = -b*d + 3*q + 708. Is d a multiple of 17?
False
Let i(k) = 75*k + 138. Let g be (42/(-8))/(78/(-104)). Is i(g) a multiple of 17?
True
Let p(f) = -29*f - 142. Let t be p(-26). Suppose -792 = -6*q + t. Is 39 a factor of q?
True
Suppose -9*n - 5401440 = 2*n - 166*n. Is 11 a factor of n?
True
Suppose -2*j - 2 = 0, 0*j = 4*z - j - 21. Let s(f) = -3*f**2 + 16*f - 3. Let w be s(z). Suppose -4*l + 288 = 5*v, l - 3*v + w*v - 72 = 0. Is 24 a factor of l?
True
Is (3/(-8 - (-20)/2))/((-4)/(-77736)) a multiple of 41?
True
Suppose -8*b - 25*b + 46464 = 11*b. Is b a multiple of 6?
True
Let v = -43 + 31. Let h(z) = 2*z + 37. Let c be h(v). Does 29 divide ((-754)/c)/((3/(-2))/3)?
True
Let h(p) = -203*p**3 - 6*p**2 - 26*p - 3. Is 131 a factor of h(-3)?
True
Let y = -2998 + 5483. Suppose -3*g + 1499 = -a, -g = 4*g + a - y. Is 17 a factor of g?
False
Let h be (-5)/((-110)/4) + (-119)/(-11). Let b(l) = -l**3 + 13*l**2 + 9*l - 26. Is b(h) a multiple of 15?
True
Let r = -11388 + 24554. Is r a multiple of 29?
True
Suppose 3*b = -9*q + 4*q + 114219, 4*q - 91427 = 5*b. Is 17 a factor of q?
True
Let s(z) = z**3 - 2 - z + 0 + 8 - 3*z**2. Let c be s(3). Suppose -345 = -c*x - 2*x + 2*g, -2*g - 276 = -4*x. Does 14 divide x?
False
Let y(m) = -17*m**2 + 4*m + 11. Let z be y(5). Let v = z - -755. Suppose 5*a + 4*j - 874 = 2*j, 2*a - 3*j - v = 0. Is 44 a factor of a?
True
Let i = -63 - -60. Let w be (i/(-1))/(((-9)/(-98))/(-3)). Is w/(-4)*(15 + -13) a multiple of 21?
False
Suppose 2*f - 5*x = 6960 + 23382, -5*f + 75913 = 2*x. Does 324 divide f?
False
Let p(h) = h**3 + 61*h**2 + 126*h - 66. Is p(-39) a multiple of 101?
True
Suppose 3*j = -24 - 15. Let s(u) = -2*u**2 - 24*u + 66 - 29 - 29 - 17*u. Is s(j) a multiple of 12?
False
Let n be -2*((-4)/10 + (-399)/190). Is 50 a factor of (-102)/n*(-115)/23?
False
Let d be 8/18 - 6496/(-288). Suppose d*x - 3024 = 5*x. Is x a multiple of 8?
True
Let l(m) = -3*m - 2. Let x be l(-7). Suppose -a + x = 3*b, -2*a - 12 = -0*a - 4*b. Suppose 2 = a*i - 286. Is 12 a factor of i?
True
Suppose 10493*u = 10536*u - 310417. Is u a multiple of 21?
False
Suppose 4*p - 2*p + 4*b - 4482 = 0, p + 4*b = 2241. Suppose -11*r + 5019 = -p. Does 33 divide r?
True
Suppose -z = 4*v - 16, -5*v = z + 2*z - 34. Let u be (z - 18)*1/2*-11. Is 6 a factor of u/(0/1 + 1)?
False
Suppose 11467*y = 11473*y - 2736. Is 38 a factor of y?
True
Let s(m) = 2*m**2 + m - 7. Let c(r) = -r**2 + 8*r - 13. Let h be c(6). Let b be ((-3)/(-4))/(12/(-48)) + h. Is s(b) a multiple of 3?
True
Let z(p) = -p**3 - 11*p**2 - 7. Let y be z(-11). Let i be (58/(-4))/(y/(-14)). Is 9 a factor of i/(((-20)/8)/5)?
False
Suppose -221 = 5*v + 3*z + 363, 2*v - 5*z = -215. Let d = v + 1106. Is d a multiple of 13?
False
Let n = -217 + 216. Let x be (-6)/(-15) + (-282)/5. Is n/(-3)*3 - x a multiple of 19?
True
Let j(l) be the first derivative of 3*l**2 + 11*l - 3. Suppose 7*d = -37 + 86. Does 14 divide j(d)?
False
Let r(m) = 2*m + 58. Let a be (6 - (1 + 6))/(1/(-31)). Is r(a) a multiple of 3?
True
Suppose -3945*r + 2540 = -3940*r. Let l = r + -443. Is l a multiple of 13?
True
Let f(k) = -3*k**3 + 4*k**2 + 10*k + 8. Let t be f(-4). Suppose -5*m + 3*c + 205 = -t, 4*m + 5*c = 358. Is m + 0/1 + -2 a multiple of 17?
True
Let z = 23332 + -21346. Is 17 a factor of z?
False
Let h = 44 + -40. Let x(g) = 11*g**2 + g - 2. Let m be x(1). Suppose u = -n - h*n + 8, -2*n = m. Does 18 div