3*-6). Suppose i = v - 5 - 99. Suppose -v = -12*t + 10*t. Is t a multiple of 9?
False
Suppose 3*k + 625 = 2*n, k = -2*k + 5*n - 613. Let z = k + 125. Is (2 + -3)/(2/z) a multiple of 9?
False
Let h(d) be the third derivative of -d**6/30 - d**5/30 + d**3/6 - 24*d**2. Let k be h(-1). Suppose 5*i - 25 = 0, -3*r - k*i = -r - 63. Does 3 divide r?
True
Let c(x) = -14*x**3 - 2*x**2 + 2*x + 5. Let k be c(-2). Let j be 7/(k/(-40))*72. Let u = 42 - j. Is u a multiple of 39?
True
Let b(z) = -263*z - 3516. Does 16 divide b(-20)?
True
Let v(h) = 249*h**2 - 158*h + 27. Is v(7) a multiple of 166?
True
Suppose -92*k + 57*k = 80*k - 63135. Is 17 a factor of k?
False
Does 179 divide (-7)/42 + -3*15441/(-54)*5?
False
Let o be 4 - (-74)/4 - 1/2. Let p = o + -21. Is 11 + -13 - ((-11)/p - 0) a multiple of 9?
True
Let y(s) = 14*s**3 - 3*s**2 - 96*s + 106. Does 22 divide y(9)?
False
Suppose 37*c - 36*c + 5*k = 1438, c = 3*k + 1470. Does 18 divide c?
True
Let z = 956 - 920. Suppose 0 = 3*b - i - 2662, -10 = -38*i + z*i. Is 7 a factor of b?
True
Let f = 249 - 245. Suppose 4*k + f*a - 220 = 0, -2*k + 5*a = -0*a - 75. Is 16 a factor of k?
False
Is 39 a factor of 21030 - -1*(-1)/((-9)/63)?
False
Does 61 divide (-1)/((2431/(-51))/13) - (-422375)/11?
False
Suppose 101*k + 143520 = -101*k + 232*k. Is k a multiple of 16?
True
Suppose -2*d + 105 = 5*d. Suppose -d = -3*a - 4*o, o + 15 = 3*a + 3*o. Suppose 0 = -a*z - z + 30. Does 2 divide z?
False
Let y be ((-7)/((-14)/64))/((-6)/33). Let h = -143 - y. Does 6 divide h?
False
Let k(s) = -s**2 - 35*s + 336. Is k(-30) a multiple of 18?
True
Suppose 135*a = 115*a + 387200. Is 16 a factor of a?
True
Let f(o) = -4*o + 38. Let r be f(-7). Let n = 23 - 6. Let s = r + n. Is 29 a factor of s?
False
Suppose 6*p - 2*p + 3*t = 55, 0 = -4*p + 3*t + 73. Suppose -p*v + 17541 = -4043. Is v a multiple of 19?
True
Let u(y) be the third derivative of -y**6/60 + y**5/12 - y**4/24 - 5*y**3/3 - 7*y**2 - 1. Is u(-6) a multiple of 33?
False
Suppose 195 = -5*p + 1105. Let a be ((-1)/((-6)/(-69)))/((-46)/(-368)). Let q = p + a. Is q a multiple of 15?
True
Is 22 a factor of 17 + 21810 + -39 + 10*1?
False
Let a be 0 + (-1)/(-11) + 98/(-1078). Suppose 5 = -x + 21. Let p = a + x. Is 4 a factor of p?
True
Let z(m) = -3*m + m + 3 + 1. Let g(s) = -9*s**2 + 4*s + 10. Let b be g(-1). Does 10 divide z(b)?
True
Let r(f) = f**3 + f**2 + 2*f - 14. Suppose 0 = -70*d + 65*d. Let g be r(d). Is (2 - g)/((-5)/(-20)) a multiple of 16?
True
Suppose -1911 = -19*x + 13194. Does 15 divide x?
True
Let r be 2/11 - ((-4140)/99 + 4). Suppose 1080 = -34*s + r*s. Does 30 divide s?
True
Does 133 divide 40/140 + 3009296/112?
False
Let q(p) = -98*p - 239. Let k(b) = 146*b + 358. Let g(r) = 5*k(r) + 8*q(r). Is 16 a factor of g(-6)?
False
Let k = 98320 + -67816. Is 41 a factor of k?
True
Suppose -4*d = -18*z + 19*z - 5505, 0 = 4*d - 2*z - 5526. Does 13 divide d?
True
Let o be 168 - (0/(-1) + 0). Suppose 0 = -f - o + 1349. Is 24 a factor of f?
False
Let g(r) = r**3 + 13*r**2 + 7*r - 30. Let t(d) = -d**3 - 13*d**2 - 6*d + 29. Let u(v) = -7*g(v) - 6*t(v). Is 7 a factor of u(-12)?
False
Let j = 106995 - 71355. Is 24 a factor of j?
True
Suppose -5*u = -3*o - 3826, -3*o - 3*u - 3810 = -0*u. Does 16 divide 6/(-10) + o/(-20)?
False
Let i(k) = k**2 + 7*k + 10. Let t be i(-6). Suppose 5*n - d = t*d + 525, -d - 321 = -3*n. Is n a multiple of 14?
False
Suppose 3*t = y - 39, -2*y + 3*t = -0*y - 75. Suppose y = -4*h - 2*a, h - a - 2*a = -2. Let v = h + 25. Is 11 a factor of v?
False
Let c = 52 - 28. Suppose c*d + 202 = 946. Does 5 divide d?
False
Suppose -795328 = -122*o - 456*o. Does 8 divide o?
True
Let q be (-438)/30 - (-4)/(-10). Is 11 a factor of 274 - 15*(-3)/q?
False
Let s be 49/(-21) + (-4)/6. Let u be 6*(s - (-20)/6). Suppose u*q - 1320 = -4*q. Is q a multiple of 44?
True
Let u(v) = 55*v**2 - 46*v - 819. Does 12 divide u(-29)?
False
Is 2 + -9 - ((-4)/14 + (-173706)/119) a multiple of 17?
False
Suppose 3*c + 16*c = -15*c + 149226. Does 21 divide c?
True
Suppose -2*s = -4*v + 2*s + 2864, -2*s = -8. Is (0 + v)*12/16 a multiple of 15?
True
Let z be 325/52 - 1/4. Let i be 3 + (-1)/(2/z). Is (3 - 2)*1*131 - i a multiple of 25?
False
Let n(i) = 1668*i - 5019. Is n(5) a multiple of 36?
False
Let i = -39 - -37. Let y be (-7 - -2) + (i - -7). Suppose -3*f = a - 81, 0 = -y*f + 2*f + a - 55. Is f a multiple of 3?
False
Let s be (7 - 6190)*(-6)/9. Suppose 4*m = -d + s - 671, -2587 = -3*m - 2*d. Is 81 a factor of m?
False
Suppose 11489 - 3254 = 9*t. Suppose 2*c - t + 163 = 0. Does 55 divide c?
False
Let c(k) = 6*k**2 + 42*k - 34. Let a be c(-14). Let x = 882 - a. Does 4 divide x?
True
Let g(w) = 1103*w**3 - 2*w**2 - 1. Let f be g(-1). Does 19 divide f/3*(-15)/10?
False
Let g(v) be the third derivative of -83*v**4/12 - 32*v**3/3 - 5*v**2 + 19. Is g(-10) a multiple of 28?
True
Let k(t) = 2*t**3 - 10*t**2 - 65*t - 540. Does 40 divide k(26)?
False
Suppose -g + 99 = 3*i, 15*g + i = 14*g + 93. Suppose g = -8*w + 290. Does 2 divide w?
False
Suppose -34*d + 388032 = 34*d + 18*d. Does 47 divide d?
True
Suppose -19*h - 1432 = -28*h + 5*h. Is 3 a factor of h?
False
Let g(a) = -2*a**3 + 3*a**2 + 30*a. Is g(-6) a multiple of 45?
True
Let f(i) be the third derivative of -i**6/120 + i**5/4 - 7*i**4/8 + 2*i**3 + 19*i**2 + 6. Does 36 divide f(10)?
False
Let a = -4 - -14. Is 12 a factor of 493 + (a/15 - 40/(-12))?
False
Is 22 a factor of ((-3400)/(-20))/(-17)*4*-756?
False
Is 23 a factor of (5 - -97)*2*138/9?
True
Let b(q) = 51*q**2 + 10*q - 8. Let s be b(1). Suppose -291 - s = -n. Is 22 a factor of n?
False
Let h(f) = 21*f**3 + 4*f**2 - 11*f + 5. Suppose 12 = 2*a + 2*u - 2, -u = -a - 3. Is 20 a factor of h(a)?
False
Suppose 7655 = 12*a - 301. Suppose b + 123 = a. Is b a multiple of 34?
False
Suppose 8*k - 9*k = 8*d - 18242, 0 = -d + 2*k + 2276. Is 57 a factor of d?
True
Let d be 70/2 + -10 + 17 + -11. Suppose -3*j + 17 = 2*n, -5*j + 0 = 2*n - d. Is j even?
False
Let k be (-12)/15 - 199/(-5). Suppose 3*t - 34*u = -k*u + 80, -3*t + 4*u + 98 = 0. Does 2 divide t?
True
Suppose -4*h = 3*n - 20, h + 10 = -2*h + 4*n. Suppose -4*y + h*c = 14, y - 4*c = 4*y + 16. Is 18 a factor of 8*(-2 - -4) + (y - -6)?
True
Let y(s) = s**2 - 6*s - 1. Let j be y(6). Suppose 0 = 4*l - 5*i + 87 + 114, -5*l = 4*i + 282. Does 4 divide ((-10)/6 + j)/(12/l)?
True
Let h(r) = 25*r - 80. Let t be h(5). Suppose t*a - 2465 = 28*a. Is 18 a factor of a?
False
Suppose 8*q - 342 = -22. Suppose -q*u + 170 = 3*l - 35*u, 4*u = 16. Is l a multiple of 10?
True
Let x(u) = -16*u - 2. Let q be x(-6). Suppose b + 27 = q. Is 6 a factor of b?
False
Let a = 11 - 4. Suppose 0*g + 14 = -a*g. Does 21 divide g*1 - -22 - (-9 - -8)?
True
Let g(a) = 75*a - 52. Let k be g(5). Let m = k + -155. Does 42 divide m?
True
Let q = -179 + 141. Is -3 + (-12 + -7)*q a multiple of 10?
False
Suppose 0 = 4*f - 7 - 5. Let s be 112 - 3*f/9. Let j = 171 - s. Is 10 a factor of j?
True
Suppose 5*x = 2*h + 2*x - 254, 5*h = 4*x + 649. Does 12 divide h?
False
Suppose 105 = o - 0*o - 3*x, 2*x - 10 = 0. Let s be (2/(-4))/((-20)/o). Suppose 72 = 2*a - 4*g, -3*a - g - s + 111 = 0. Is a a multiple of 6?
True
Let f be (-5 + (0 - 0))*-1. Suppose -2*s - f*a = -0*s - 445, -a = 4*s - 881. Is s a multiple of 20?
True
Let j = 16698 - 4644. Is j a multiple of 49?
True
Is (-6)/(-21) - 2204535/(-329) a multiple of 27?
False
Suppose 0 = -5*i - k + 13, -2*i - 7*k + 8 = -8*k. Suppose -i*y = -1379 + 29. Does 30 divide y?
True
Let l be 3106/(-8) + -1 - (-61)/244. Let u = 475 + l. Is 18 a factor of u?
False
Let r = -1579 - -2310. Is 129 a factor of r?
False
Suppose -3*y - 4*f = -y + 38, 5*f = y - 9. Let i = y - -2. Let v = 15 - i. Does 14 divide v?
False
Suppose 2*l - 4*w - 782 = 0, 5*l - w = 769 + 1195. Let b = l + -234. Let q = -49 + b. Is 12 a factor of q?
False
Suppose 2*q + 308 = -3*l + l, -598 = 4*l + q. Suppose -3*u - 695 = 2*u. Let v = u - l. Is 3 a factor of v?
True
Let v(a) = -a + 25. Suppose -4*g = 2*b + 11 + 25, -2*b = 4. Does 2 divide v(g)?
False
Suppose 2*z = 3*t - 9, 4*t - 3 = z + 4. Suppose -5*b + 0*b = -685. Let o = b + t. Does 23 divide o?
True
Let v be (3 - 72)/(3/(-2)). Suppose 96 = 7*u - 31*u. Let g = v - u. Is 25 a factor of g?
True
Is 11 a factor of (1 + 22/3)/(5*(-8)/(-35160))?
False
Suppose -2*t