s 3 a factor of (17688/(-165))/(k/(-10))?
False
Let d be (-3 - 34/(-10)) + (-28)/(-5). Suppose 4*t - o - 11 - d = 0, 0 = -t - o - 2. Suppose 7*f = -t*f + 160. Is 8 a factor of f?
True
Let v(b) = 7*b**2 + 11*b + 14. Let h(q) = -2*q**2 + q + 1. Let p(z) = -3*h(z) - v(z). Does 7 divide p(-5)?
True
Let v be 6/(-8) - 221/52. Let q(a) = -64*a + 16. Does 21 divide q(v)?
True
Let k = 7 - 4. Suppose 4*m + k*s - 2*s = 812, 3*s + 12 = 0. Let c = m - 12. Does 33 divide c?
False
Does 8 divide 26*(-10)/(-585) - (-1330180)/45?
True
Let h = 469 - 449. Suppose 0 = -h*r + 1416 + 4344. Is r a multiple of 24?
True
Suppose 249*a - 307162 = 116885. Is 5 a factor of a?
False
Suppose -l + 24 = m, -32 = -m - 0*m + l. Let t = m + -29. Is 2168/60 - (6/(-45))/t a multiple of 18?
True
Suppose 2*f + 2*f + 584 = 0. Suppose 5 = 3*s - 3*w - 637, s = -5*w + 196. Let n = s + f. Does 13 divide n?
True
Let y = 1019 - 998. Suppose 2*n - 5*x = 7*n + 45, 18 = -2*n + 5*x. Let d = y - n. Is 10 a factor of d?
True
Suppose -239*r - 5*u - 77335 = -241*r, -r + u + 38660 = 0. Does 15 divide r?
True
Let s(t) = 12*t - 12. Let d(j) = -2*j. Let w(b) = 3*d(b) + 3*s(b). Is w(4) a multiple of 24?
False
Suppose 4*c + c - 69 = 4*i, i + 1 = -2*c. Let u = i - -17. Suppose 2*w - u*w = -96. Is w a multiple of 11?
False
Suppose 2*k = 8 + 10. Suppose 25*c - k = 22*c. Let p(y) = 2*y**2 + 5*y + 4. Is 7 a factor of p(c)?
False
Let h be (0 - -59) + (-9 - -16). Suppose 58*k - h*k + 1664 = 0. Is 26 a factor of k?
True
Suppose 5*b - 8*b = -30. Suppose k - b*k = 7*k. Suppose 3*p - 9 = 0, k*p + 2*p + 504 = 5*q. Does 51 divide q?
True
Let n(c) be the third derivative of -c**6/120 + c**5/6 - 3*c**4/8 + 5*c**3/6 - 20*c**2. Let g be n(6). Is 1/2 + g/2 a multiple of 6?
True
Let v(i) = 3*i**2 + 15*i + 6. Let g be (-4)/(-14) + (-368)/161. Let f be g/(-14) - (-9)/((-441)/350). Is v(f) a multiple of 3?
True
Let u be (-6 - (7 + -13))*3/6. Suppose -n + u = 1, n + 3276 = 5*v. Is v a multiple of 5?
True
Let k be ((-8)/12)/1*-63. Let i = k - 40. Suppose i*u + 5*u = 196. Is u a multiple of 3?
False
Let i(y) be the first derivative of 2*y**4 + 2*y**3/3 - y**2/2 + 2*y - 75. Is 9 a factor of i(2)?
True
Let n = -112612 + 160177. Is n a multiple of 35?
True
Let j(g) = -9*g - 8*g - 4 + 20*g + 407*g**2 + 2. Let i be j(1). Suppose -2*o + i = -0*o. Is o a multiple of 21?
False
Suppose -20*f + 28455 = -10025. Does 10 divide f?
False
Suppose 0 = 9*i - 10*i + 62. Let z = i + -65. Is 43 a factor of -3 + 2 + z + 0 + 133?
True
Let f = 91 - 89. Suppose -h + 20 = -5*s + 1, 0 = f*h + 4*s - 80. Let u = h + 170. Is 30 a factor of u?
False
Let a(c) = 2*c**2 + 12*c - 5. Let h be a(-6). Let p be 96/(h/(-2) + -2). Does 8 divide 20/(-3)*p/(-40)?
True
Let b(w) = 4*w**3 + 3*w**2 + 5*w + 2. Let h be b(-1). Let c(f) be the second derivative of -5*f**3/2 + 3*f**2/2 - 2*f. Is c(h) a multiple of 21?
True
Let v(o) = -o**3 + 4*o**2 + 5*o. Let p be v(8). Let j = 71 + -163. Let x = j - p. Is x a multiple of 31?
True
Suppose -6*i = -16*i + 140. Let j be 7042/49 - (-4)/i. Let a = j + -32. Is 16 a factor of a?
True
Let b(x) = x**3 + 6*x**2 + 9*x + 9. Let t be b(-4). Suppose 4*d + 6*q = 3*q + 6823, 5*d + t*q - 8530 = 0. Does 75 divide d?
False
Let s(t) = t + 10. Let x be s(-5). Let h be ((-4)/x)/(11/(-825)). Let m = h - 14. Does 16 divide m?
False
Let j(d) = -8*d**3 - 3*d**2 + 4*d + 1. Let q be j(1). Is 5 a factor of 13 + q + -4 - 161*-3?
False
Let a(o) = -2*o - 6. Let g be a(-3). Suppose 9*p - 17 - 28 = g. Suppose p*q - 374 = 4*z, 5*z + 301 = 4*q - 0. Is 10 a factor of q?
False
Suppose -5*v + 4*x - 4 = 8*x, 5 = -5*x. Is 95*2*5/10 - v a multiple of 13?
False
Let a(j) = -j**2 - j + 9. Let b(u) = u**2 + u - 8. Let g(k) = -4*a(k) - 3*b(k). Let w be g(-5). Is 36 a factor of 122 - (w + -4 + -7)?
False
Suppose 0 = -f + l + 31064, -5*l = -3*f + 55191 + 37989. Is f a multiple of 10?
True
Suppose 66*i = -69*i + 20*i + 692415. Is 13 a factor of i?
False
Suppose -4*a = 4, -228*m - 5*a + 10885 = -226*m. Is 105 a factor of m?
False
Suppose -2722*h + 8540 = -2712*h. Is h a multiple of 14?
True
Let g = 26168 - 15503. Is 27 a factor of g?
True
Let a be 66/(-44)*(4/(-3))/(-1). Let d be (a + 2)/3 + -1 + -1. Let r(n) = -37*n + 2. Does 19 divide r(d)?
True
Let j be 24 + -19 - 13/1. Is 2/j + 8 + (-1734)/(-24) a multiple of 16?
True
Suppose -2*v + 4*w - 7*w = -895, v - 3*w = 452. Does 8 divide v?
False
Let c be ((-50)/15 - 0)*252/10. Let q = -29 - c. Does 11 divide q?
True
Let s(v) = -v**3 - 39*v**2 + 26*v + 55. Let d be s(-40). Let l = -271 + d. Is 92 a factor of l?
False
Suppose 2 = 3*b - 31. Suppose 15 = 5*j - 5*n, 5*n = -j + 2*j - b. Is 42 a factor of 20772/99 + (-2)/(-11)*j?
True
Let q(f) be the second derivative of f**4/12 - 7*f**3/3 + 29*f**2/2 + 15*f. Let s be 21*(3 + -6)/(-12)*4. Is 22 a factor of q(s)?
True
Let o(y) = 29*y**3 + 3*y**2 + y - 6. Let d = 249 - 247. Is 24 a factor of o(d)?
True
Let b = -11858 - -13427. Is 6 a factor of b?
False
Let x be 50 + (-1 + 0)/(15/(-60)). Is x - 18/12*2 a multiple of 17?
True
Suppose -929*v + 744*v = -2734670. Is 19 a factor of v?
True
Let c = -4321 + 6851. Does 26 divide c?
False
Suppose -24*d = -29*d - 225. Let q = 135 + d. Suppose -86*c = -q*c + 152. Is 11 a factor of c?
False
Suppose o + l - 67 = 0, 4*o - 334 + 62 = -3*l. Let k = o + 325. Is k a multiple of 36?
True
Let q = 60 + -78. Let u be ((-3)/(-6))/((-1)/230*-5). Let o = q + u. Is 4 a factor of o?
False
Let p(b) = 3*b**3 + 6*b**2 - 23*b + 5. Is 15 a factor of p(10)?
True
Suppose 106*r - 156456 = 151368. Is 6 a factor of r?
True
Let i(v) = -9*v + 3. Let k be i(0). Suppose -3*o + 299 = z - 626, -1225 = -4*o - k*z. Is 42 a factor of o?
False
Let t(w) = 2*w**3 - 22*w**2 + 20*w + 3. Let f be t(10). Suppose 3*c + 540 = -f*x + 4*x, -3*x + 4*c = -1595. Is x a multiple of 21?
True
Let x be (-2)/(-7) - 107/7. Let j(m) = m**2 - 21*m - 447. Let n be j(34). Let p = n - x. Is 5 a factor of p?
True
Let a(x) = -x**2 + 6*x - 18. Let l be a(7). Let v = 28 - l. Let j = 90 - v. Is 21 a factor of j?
False
Suppose z + 453 = -4*d, -5*d + 4*z - 540 = -0*z. Let k = d + 145. Does 11 divide k?
True
Let l be (-6)/8 + (-5495)/(-20). Let p = 187 - l. Let j = 157 + p. Does 7 divide j?
True
Let i(c) = -c**3 + 10*c**2 - 6*c + 19. Let w = -35 - -44. Let t be 3*(-2)/(-18) - (-78)/w. Does 46 divide i(t)?
True
Let f(r) = -16*r - 22. Let c be f(-6). Suppose -7*l + c + 234 = 0. Is l a multiple of 11?
True
Let n = -124 + 190. Suppose 7*k - n = 74. Is 6 a factor of k?
False
Let u(r) = -2*r**2 - r - 3. Let n be u(4). Let m = -36 - n. Suppose 0 = 5*g - 3*i + 45 - 222, 111 = 3*g + m*i. Is 6 a factor of g?
True
Suppose 2*k = 3*o - 101, -5*k + 82 = -5*o + 342. Let q = 271 - 109. Let b = q + k. Is 9 a factor of b?
False
Is (-264 - -7293) + 9 + 2 a multiple of 55?
True
Let n = -2184 - -3896. Suppose w = -5*i + 431, -5*i = 5*w - n - 423. Is 15 a factor of w?
False
Suppose 0 = y + 3*m - 2208, -m = 5*y + 6692 - 17732. Does 32 divide y?
True
Suppose 0 = -2*r - 0 + 14. Suppose -r*k - 210 = -2*k. Let w = 150 + k. Is w a multiple of 12?
True
Is 15 a factor of (2 + (-6)/4)*(-6610100)/(-1349)?
False
Suppose 0 = 12*w - 13*w + 2. Suppose p + 3*i + 0*i = 2, 8 = 4*p + 4*i. Suppose w*x + 1 = p*v + 83, 4*x - 182 = -2*v. Is 9 a factor of x?
False
Suppose -11*b - 5*r = -11*b, 2*b = -5*r + 842. Is b a multiple of 51?
False
Let c be -3 - ((-1)/3)/(19/57). Is 18 a factor of (-1 + (-987)/c)*36/45?
False
Let u(s) = -7*s + 32. Let a be u(4). Suppose 4*d = g + 349 + 234, 12 = -a*g. Is d a multiple of 12?
False
Let t = -4538 - -7889. Is t a multiple of 80?
False
Let q be (4/4 - -4)*1 + -5. Suppose q = 13*k - 4806 - 2994. Is 63 a factor of k?
False
Let x(k) = -6*k**3 - 5*k**2 - 10*k + 2. Let z(v) = -4*v**2 - 46*v - 27. Let h be z(-11). Is 19 a factor of x(h)?
False
Let n(o) be the second derivative of -11*o**3/6 + 13*o**2/2 + 39*o. Let u be (0 - 1) + (-24)/2. Is 26 a factor of n(u)?
True
Let t be ((-2)/(-2))/((-4)/(-12))*-2. Is ((-1592)/(-16) - -4)*(-2 - t) a multiple of 18?
True
Suppose -h = 4*l + 166, 162 = -6*h + 5*h - 5*l. Let o = 379 + h. Does 28 divide o?
False
Does 45 divide 71290/14 - (-3)/147*-7?
False
Suppose -12 = -3*c, 0 = -5*x + 4*c + 76 - 7. Let d = x + -11. Does 21 divide (-9)/(-8)*40/d*14?
True
Suppose g + 18885 = 5*p, -105*p + 101*p 