e -2*i + 43182 + 7711 = -5*m, 5*i - 3*m - 127242 = 0. Is i a multiple of 15?
False
Suppose -2*i = 4*b - 55386, -3*b + b = -5*i - 27735. Is 21 a factor of b?
False
Suppose 10*s + 881 + 99 = 0. Let y = s - -104. Does 2 divide y?
True
Let f = 14 + -14. Suppose f = -8*j + 40. Suppose -177 = -j*u + 63. Does 12 divide u?
True
Let q = 8884 - 6694. Is q a multiple of 6?
True
Suppose -1676 - 14794 = -10*f. Suppose -j = 6*o - 2*o - 549, -3*j - 4*o = -f. Does 37 divide j?
False
Let p be 7245/20 - (3/(-4) - 0). Let o = p - 339. Does 4 divide o?
True
Let u(a) be the third derivative of a**6/120 - a**5/12 + a**4/12 - a**3 + 5*a**2. Let h be u(4). Let x(c) = c + 32. Does 2 divide x(h)?
True
Let a be 2586/14 + (-6)/(-21). Suppose -10*p = -34*p + 1560. Let d = a - p. Does 21 divide d?
False
Let c be (-32328)/(-64) + 1/(-8). Suppose -100 = 9*d - c. Is d a multiple of 5?
True
Let w(v) = -26*v**3 - 6*v**2 + 2*v. Let c be w(-4). Suppose -356*r - c = -366*r. Is 4 a factor of r?
True
Suppose 0*m + 259 = 7*m - 3738. Is m a multiple of 26?
False
Let r = -2733 + 6524. Is 13 a factor of r?
False
Suppose 43*n - 28*n + 120 = 0. Let r(g) = 2*g**3 + 18*g**2 + 10*g + 10. Is r(n) a multiple of 11?
False
Let r = 269 - 196. Let i = 85 - r. Is i a multiple of 6?
True
Let n be ((-36)/(-27)*44)/(2/(-498)). Does 7 divide ((-7)/2)/(88/n)?
True
Let q = -2983 + 4686. Suppose q = 4*j + 4*g + 311, 1393 = 4*j + 5*g. Is 3 a factor of j?
False
Suppose j = 4*j. Suppose j = -22*c + 17*c + 605. Does 11 divide c?
True
Let f = -19879 - -36511. Is 245 a factor of f?
False
Let k(z) = z**3 + 7*z**2 - 9*z + 2. Let i be k(-8). Suppose 22*l - 9*l - 702 = 0. Let u = l - i. Does 11 divide u?
True
Let b(n) = -2*n**2 - 27*n - 3. Is 39 a factor of b(-9)?
True
Suppose 784*m - 764*m - 64240 = 0. Is 7 a factor of m?
False
Let s be (-30)/(-3) + -2 - 32/8. Suppose -s*k + 5*l + 228 = 0, -120 = -2*k + 26*l - 22*l. Is 13 a factor of k?
True
Suppose -6*s = -7*s + 2*n + 191, 4*s = n + 750. Let v = s + -152. Is 35 a factor of v?
True
Is 17 a factor of (29682/388)/(-2*(-1)/148)?
True
Suppose -4*g - 660981 = -55*g + 207549. Is 131 a factor of g?
True
Suppose 1 + 8 = 3*z. Suppose -12*f + 18*f = 110*f - 312. Suppose 0 = -2*c + 3*c + z*l - 27, -39 = -2*c - f*l. Is 4 a factor of c?
True
Let k(w) = -1108*w + 8259. Is k(0) a multiple of 13?
False
Suppose 0 = 49*i + 64*i - 879705. Is i a multiple of 15?
True
Let m = 20931 - 10177. Does 38 divide m?
True
Let p = -980 - -1765. Let d = p + -552. Let w = d - 128. Is w a multiple of 15?
True
Let t = -89 + 677. Suppose -6*n + 132 = -t. Is 60 a factor of n?
True
Let m(g) be the third derivative of -g**6/120 + g**5/4 + 2*g**4/3 + g**3/2 - 22*g**2. Let y be m(16). Is 39 a factor of (2/(-2))/(y/(-291))?
False
Let z = -104 + 102. Does 14 divide (z + (-2 - -3))*(-2 + -348)?
True
Suppose 8 = 5*d - 3*d + 2*n, 4*d - 14 = -5*n. Suppose d*w - 2100 = -6*w. Let z = w - 120. Is z a multiple of 3?
False
Suppose 5*g = 4*c - 30, 2*c - 28 = -0*c - 4*g. Suppose -420 = -2*o - c*o. Is o a multiple of 7?
True
Suppose 3*d - 2*y - 16 = 0, 4*d = d + 5*y + 22. Suppose -2*g + d*g = 1338. Suppose 302 = 2*h - 2*z + 6*z, 4*h = 5*z + g. Is 26 a factor of h?
False
Let m(f) = -901*f + 7550. Does 10 divide m(0)?
True
Let v = -4990 + 7828. Does 6 divide v?
True
Let r(d) = 12117*d - 343. Is r(2) a multiple of 12?
False
Let y be (1/2)/((1/(-8))/(-1)). Suppose 9 - 1 = -y*b - 4*a, -2 = a. Suppose z = 2*d + 2*d - 220, b = -3*d - z + 165. Is 5 a factor of d?
True
Let j(x) = 19*x**2 - 16*x + 3. Let m = 33 + -39. Does 42 divide j(m)?
False
Let v(n) = n**3 - 15*n**2 + 15*n - 12. Let y be v(14). Suppose -5*o + 195 = x, 525 = x + y*x - 5*o. Does 20 divide x?
True
Let f = -3797 + 9151. Does 27 divide f?
False
Let t(c) = c**2 + 2*c + 5. Let d be t(-6). Let l = d + -26. Suppose 5*g - 5*n - 295 = -0*g, -l*n = -15. Is 16 a factor of g?
True
Let z be (-2)/6 - (-78)/18. Suppose -2*g - 2 = -4*q, -z*g + 5 = 4*q - 9*g. Suppose 2*p + 5*x - 148 = -0*p, q = 3*p + 2*x - 233. Does 9 divide p?
False
Let q(u) = -3*u + 80. Let i be q(26). Suppose -106 = -b + d, 3*b + 3*d = -i*b + 546. Is b/(5 + -4) - 0 a multiple of 28?
False
Suppose -21*t + 112 = -5*t. Suppose t*j - 2150 = 678. Is 34 a factor of j?
False
Let n(m) be the third derivative of -m**5/60 + m**4/24 + 27*m**3 + 35*m**2. Let u be n(0). Is (u/15)/(3/50) a multiple of 60?
True
Is 10 + 4071 + (-6 + 10 - 6) a multiple of 4?
False
Is (-315)/84*(-1344)/9 a multiple of 5?
True
Suppose -7*c = -4*c - 6. Is 26190/243 - c/(-9) a multiple of 9?
True
Let d be (-2349)/54*28/(-6). Is 19 a factor of 5946/14 - (-58)/d?
False
Let a(f) = 6*f**2 + 5*f. Let p be a(-3). Suppose p*c - 81085 = -19270. Is 29 a factor of c?
False
Is 97 a factor of ((100/(-375))/((-2)/(-115)))/(4/(-2910))?
True
Let r(h) = 4*h**2 - 32*h + 411. Does 26 divide r(28)?
False
Suppose 24 = 4*w - 8. Suppose 0 = -4*a - 0*b + 5*b - w, 5*a = -b + 19. Suppose -m - 85 = -a*n, m - 16 - 11 = -n. Is 14 a factor of n?
True
Suppose -27*w + w + 146944 = 38*w. Does 28 divide w?
True
Suppose 13*n - 176968 = -18*n + 874211. Does 21 divide n?
False
Suppose 0 = -4*j - 2*t + 812, -j + t + 203 = -4*t. Let g be (15 - 1)*j/14. Suppose 13 = 4*s - g. Is 9 a factor of s?
True
Let x = 20 - 271. Let n = x + 429. Is n a multiple of 10?
False
Suppose -8*h + 31*h - 62330 = 0. Is h a multiple of 65?
False
Let r(w) = -85*w - 22. Let h be r(-12). Suppose 4*u - 1255 = -5*a, 2*u - h = 16*a - 20*a. Does 48 divide a?
False
Let y be (-6 - (-44)/6)*(-6)/4. Let w = y + 86. Does 12 divide w?
True
Suppose 0 = -6*v - 8*v + 42. Suppose -5*j - 4*s + 29 = 0, -29 = -v*j - 4*s - 10. Suppose 467 = j*b - l, -2*l + 217 = 3*b - 58. Is 13 a factor of b?
False
Is 5 a factor of 182/((-9352)/780 + 12)?
True
Suppose 7*q = 3*q + 16. Suppose 4*a + u - 2736 = 0, q*u - 1255 = -4*a + 1481. Is a a multiple of 18?
True
Let w = -2 + -19. Let t be (w/28)/((-273)/(-136) - 2). Let i = t + 212. Does 23 divide i?
False
Let d(c) = -3*c**2 + 25*c - 142. Let a be d(5). Let r = a + 578. Does 9 divide r?
True
Let q(c) = -c**2 + 10*c. Let j be q(10). Suppose j = 2*p + 442 + 2. Is p/(-11) + (-20)/110 a multiple of 4?
True
Let z(i) = i**2 + 9*i + 10. Let n be z(-6). Let p(v) = -33*v - 22. Let c be p(n). Suppose 3*j + 2*r + 2*r - 152 = 0, 0 = 5*j + r - c. Is 8 a factor of j?
True
Suppose 3*o - 30 = -2*x, x + 62 = 5*o + 25. Let f be (-10)/40 + (98/o - 1). Suppose f*j + 1029 = 18*j. Is 7 a factor of j?
True
Let t(g) = 10*g - g**3 - 5*g + 0*g + 10*g**2 - 8 - 4. Does 38 divide t(10)?
True
Suppose 5*m + 47*g - 43*g = 254218, -254282 = -5*m + 4*g. Is m a multiple of 30?
True
Suppose -5*p = 2*y - 16876, p + 5*y + 4123 = 7535. Is p a multiple of 12?
True
Let g be (-9)/4*48/(-36). Suppose 3 = 2*t - g. Suppose t*b + 0*b - 3*j - 111 = 0, -165 = -5*b - 5*j. Is b a multiple of 7?
True
Does 37 divide (16*(-7)/14)/(7/(-14504))?
True
Let v = 26211 - 11385. Suppose 189*f - 203*f = -v. Is 30 a factor of f?
False
Suppose 0 = -3*w - 4*x + 6774, -w + 5*w + 5*x - 9031 = 0. Is 98 a factor of w?
True
Suppose 4*l = -2*q + 60990, 0 = -4*l + 3*q - 39192 + 100147. Is l a multiple of 103?
True
Let m(n) = n**2 - 3*n + 5. Let r(l) = -l**3 + 6*l**2 - 8*l + 3. Let h be r(3). Is 4 a factor of m(h)?
False
Let f be 1 - 4/6 - (-72)/(-54). Let p be -1*f/3*0 + 20. Suppose -v + 92 = p. Is v a multiple of 12?
True
Let n(b) = b**3 - 2*b**2 - 10*b - 13. Let w be n(5). Does 13 divide (w/(-40)*6)/((-1)/195)?
True
Let p(c) = c**3 - 5*c**2 + 5. Let d be p(5). Let a be d*20/(-75)*15/2. Is (-10 + 5)*456/a a multiple of 19?
True
Let r(m) = -22*m - 65. Let j(g) = 23*g + 65. Let v(a) = -6*j(a) - 5*r(a). Let f be v(-14). Suppose -3*q + f = -6*s + 8*s, 3*s + 231 = 2*q. Is 22 a factor of q?
False
Suppose -k - 62 = -3*r, -3*r + 0*k = -5*k - 70. Let u = r + -16. Suppose y - 42 = -0*i - 2*i, u*i = -8. Is 15 a factor of y?
False
Suppose -4477*g + 4449*g = -371504. Is 343 a factor of g?
False
Let k = -2842 + 4263. Is k a multiple of 33?
False
Let b(f) = 659*f**3 + f**2 + 170*f - 170. Is 117 a factor of b(1)?
False
Suppose -25*y = 13218 - 1218. Does 8 divide (1/((-16)/(-220)))/((-6)/y)?
False
Let m be 2/(-7) - 12/(-42). Suppose -c - 642 = -2*y - m*c, -5*c = 3*y - 950. Suppose -3*a - y = -2*k, 4*a = k + a - 157. Does 35 divide k?
False
Let p(u) = -49*u - 9. Suppose 2