False
Let t be 1833/6 + 12/(-8). Suppose d + 3*i - 96 = 0, -2*d - d - 5*i = -t. Does 9 divide d?
True
Let x = 403 - 395. Suppose -x*a + 9*a = 12. Is a a multiple of 11?
False
Suppose 4*m + y - 3902 = -m, 5*m - 3904 = -2*y. Suppose -7*r + m = 3*r. Is r a multiple of 13?
True
Suppose -3*i = -2*w - 0*w - 482, i = w + 162. Let x = i - 137. Does 21 divide x?
True
Let m(a) be the third derivative of 3*a**5/20 + 13*a**3/6 + a**2. Let i(o) = -10*o**2 + 4*o + 9. Let h be i(-1). Does 15 divide m(h)?
False
Suppose -4*x + a - 1815 = 0, -2*a = 7 + 3. Is 53 a factor of (-2 + 5)/((-3)/x)?
False
Let t(l) = -7*l**2 - 2*l - 2. Let x(c) = -6*c**2 - 2*c. Let m(k) = -5*t(k) + 6*x(k). Let j be m(-4). Suppose -65 = j*i - 7*i. Is 2 a factor of i?
False
Let o be 24/9*-1*(-876)/16. Is (11 - 9 - o)*1*-1 a multiple of 7?
False
Let m(r) = -62*r**2 + 4*r - 3. Let n be m(2). Let s = -180 - n. Is 7 a factor of s?
True
Suppose 49*f - 704691 = 612184. Is 125 a factor of f?
True
Let j(n) = -5*n**3 - 8*n**2 - 27*n - 54. Is 114 a factor of j(-16)?
True
Suppose 2*h + 3*i - 12 - 1 = 0, -2*h - 2*i = -10. Suppose -4*a - 10 = h. Let f = 27 + a. Is 24 a factor of f?
True
Let b(n) = -15*n**3 + 22*n**2 + 334*n + 1. Does 10 divide b(-8)?
False
Let g(h) = 3*h + 49. Let l(r) = -5*r - 73. Let w(v) = 8*g(v) + 5*l(v). Let k be w(22). Suppose 4*p = k*p - 220. Does 22 divide p?
True
Suppose 2*m + 5*b - 17233 = 0, -2*m - 4*b = -1531 - 15705. Is 88 a factor of m?
True
Suppose 36 = -57*a + 75*a. Suppose -2*t - g + 2583 = 0, 0*t + a*g = -t + 1299. Is 21 a factor of t?
False
Suppose -5738 - 38844 = -12*v + 167962. Does 123 divide v?
True
Let u(h) = 2*h**2 + 37*h + 7. Let z(m) = -m**2 - 2. Let n(r) = -u(r) - z(r). Does 14 divide n(-35)?
False
Let k(b) = b**2 + 20. Let i = 42 - 2. Suppose -2*f - i = 2*f. Is k(f) a multiple of 26?
False
Suppose -3*r - 9 = 0, 3*r = -b + 415 + 475. Suppose -b = -2*k + 289. Does 39 divide k?
False
Is 44 a factor of -262*(-4)/(-14)*1*(11 - 88)?
True
Let t(b) = -3*b**2 - 19*b + 23. Let c(r) = 2*r**2 + 10*r - 12. Suppose 3*v - 4 = i, 0 = 9*i - 5*i - v - 39. Let p(u) = i*c(u) + 6*t(u). Is 43 a factor of p(6)?
False
Let m(o) = o**2 - 9*o. Let z be m(9). Suppose p + 21 - 2 = z. Let t = p - -27. Does 4 divide t?
True
Suppose 5*n - 3*n = 44. Suppose -d + 4*g + 10 = -0, -3*d - g = n. Does 8 divide ((-3)/18 - (-14)/(-12))*d?
True
Let h = 13714 + 2477. Does 85 divide h?
False
Suppose 0 = 4*s + 3*k - 65492, 18*s + 5*k = 17*s + 16407. Is 5 a factor of s?
False
Suppose 1843431 = 50*r + 522181. Does 13 divide r?
False
Suppose -3*t + 881 + 400 = 0. Let z = t + 53. Is 30 a factor of z?
True
Let k be -3 - (-21 - -3 - 4/2). Suppose k*p = -6*p + 9660. Is p a multiple of 35?
True
Let a = -49 - -97. Suppose -12*r + a = -9*r. Suppose f = -f + 5*k + r, -k - 68 = -4*f. Is f a multiple of 9?
True
Let l = 12911 - 8213. Is 18 a factor of l?
True
Let f(x) = 51*x**2 + 30*x + 58. Is f(-2) a multiple of 2?
True
Let r(y) = -3*y**3 + 2*y**2 + 2*y + 3. Let a(g) = 2*g**2 - 1. Let j be a(0). Let s be (j - -1) + (-4 - (0 - 2)). Is 31 a factor of r(s)?
True
Does 17 divide 4892 - ((-4 - (-2 - -4)) + 2)?
True
Let h(a) = 8*a**3 + 4*a**2 - 5*a - 5. Let l be h(6). Suppose 4*w + 5*d = l, -5*w - 4*d = -10*w + 2245. Suppose 5*g = -93 + w. Does 23 divide g?
False
Suppose -13*f + 32*f - 271692 = f. Is f a multiple of 50?
False
Let s = 10233 + -4069. Does 23 divide s?
True
Let j(o) = -o**3 + 5*o**2 + 4*o + 5. Let p be j(5). Let d be -3908*(2*-1)/((-40)/p). Is d/(-55) + (-72)/(-33) + -2 a multiple of 27?
False
Let c be (-18)/30 - (-674)/(-10). Let r = -65 - c. Let a(l) = 5*l + 9. Is a(r) a multiple of 8?
True
Let g = 17352 + -8891. Does 95 divide g?
False
Let s(l) = -14*l + 143. Let q be s(10). Suppose 3*v = -12, -q*w + 646 = -14*v + 10*v. Does 14 divide w?
True
Let n = 62648 - 41064. Does 152 divide n?
True
Let j be -1227*(18/3 + -5). Let k = 1737 + j. Is k a multiple of 85?
True
Suppose 111623 = 66*w - 73507. Is 3 a factor of w?
True
Let b(v) = -16*v**2 - 4*v + 79. Let z(n) = 3*n**2 + n - 16. Let s(i) = 2*b(i) + 11*z(i). Let r = -147 - -138. Does 6 divide s(r)?
True
Let w(t) = -t**2 + 58. Let l be w(-10). Is 19 a factor of (-1330)/l*(48 + -3)?
True
Let b = 494 + -493. Let y(a) = 419*a**3 - a**2 - 5*a + 5. Is y(b) a multiple of 22?
True
Does 12 divide (788/(-8) + -2)/((4 + -1)/(-108))?
False
Let p(z) = -2*z + 24. Let q be p(0). Suppose -12 = 28*x - q*x. Let c(l) = -31*l - 3. Is c(x) a multiple of 30?
True
Suppose -d + 4*k + 3420 = 0, 5*d + 23*k = 19*k + 17172. Is d a multiple of 39?
True
Let u(l) = -79*l + 16706. Does 50 divide u(-90)?
False
Suppose 15*x = -k + 17*x + 8680, -5*k + 43466 = x. Is 82 a factor of k?
True
Suppose -496*a + 491*a = -13995. Is a a multiple of 61?
False
Suppose -3*n - 27 + 117 = 0. Suppose 7*p - n = p. Suppose 2*f + 405 = p*f. Is f a multiple of 15?
True
Suppose -4*z + 3*z + 3 = 0, 2*v = -4*z + 1542. Suppose -c = -3*j + 3*c + v, j + 3*c - 268 = 0. Is j a multiple of 14?
False
Suppose -11853089 + 2833312 = -494*k + 1914419. Is k a multiple of 186?
True
Let b be (6/(18/(-6)))/((-12)/7242). Does 17 divide ((-24)/1)/((-71)/b)?
True
Suppose 4*h = -5*n + 427, 3*h - 213 = h - 3*n. Suppose -h = -7*q + 4*q. Is 12 a factor of q?
True
Suppose -8*d = -2*d. Suppose d*h + 24 = 2*h. Suppose -g + 44 = -h. Is 11 a factor of g?
False
Suppose 0 = -49*y + 1823759 - 151291. Is 39 a factor of y?
False
Let o(q) = -20*q**3 + q**2 + 4*q + 2. Let s(f) = -f**3 - 21*f**2 + f + 20. Suppose -a - 6 = 15. Let r be s(a). Does 2 divide o(r)?
False
Let b(k) = -k**2 + 125*k + 912. Is b(74) a multiple of 71?
True
Let t(a) = 2*a**3 - 45*a**2 - 25*a + 51. Let f be t(23). Suppose 5*j - 1655 = -f*y, 179 = -3*j - 4*y + 1173. Is 11 a factor of j?
True
Is 2/(20/94750)*4 a multiple of 20?
True
Suppose 3*b = 2*r + 209, 5*r + 0*b + 4*b + 488 = 0. Does 14 divide (r/40)/(((-3)/(-224))/(-3))?
True
Is 14 a factor of 134/737 - (63158/(-22) + 1)?
True
Suppose 9*s - 608 + 203 = 0. Suppose -14*t + 11*t + s = 0. Suppose 13*x + 236 = t*x. Is 9 a factor of x?
False
Let l be 8*(-2 + (-2)/(-4))/(-6). Suppose 4*w = l*w + 2556. Suppose r + 8*r = w. Is r a multiple of 40?
False
Suppose 0 = o - 4*o + 4*k - 8, 4*o = 2*k - 4. Suppose o = -25*y + 30*y - 430. Is y a multiple of 12?
False
Let c = -170 - -203. Suppose -c*t = -843 - 3645. Is 13 a factor of t?
False
Is 88 a factor of 290/(-29)*(0 + (-6864)/10)?
True
Let d = -156 - -339. Let s = 816 - d. Is 54 a factor of s?
False
Let y(a) = -18*a + 1. Let w be y(-2). Let s be (-12)/20 - w/5. Let b(c) = -c**3 - 9*c**2 - 10*c + 4. Is 5 a factor of b(s)?
True
Let k(b) = 7*b + 85. Suppose -2*r = -26*y + 23*y - 17, 24 = 4*r + 4*y. Does 3 divide k(r)?
False
Suppose 3*g + 20 = -5*d, g + 2*d + 0*d = -5. Let c(x) = x**2 + 12*x + 15. Is 20 a factor of c(g)?
True
Let u(f) = 35*f + 122. Suppose 0 = b + r + 1 - 15, -3*r - 84 = -4*b. Is u(b) a multiple of 94?
True
Let a(d) = -d - 12. Suppose -3*v - 64 = -4. Let o be a(v). Suppose o*h - 572 = 964. Is 35 a factor of h?
False
Let z(c) = -c**3 + 6*c**2 + 29*c - 16. Let b be z(9). Suppose 6*k - b - 10 = 0. Let n(a) = 15*a**3 - 4*a**2 + 3*a - 2. Is 6 a factor of n(k)?
True
Let a be 161 + (-5)/(0 - -5). Suppose 2*p = 3*y - 1185, -2*y - p + 5*p = -790. Suppose k + y = 4*k - 5*s, k + 4*s - a = 0. Is 20 a factor of k?
True
Let h = -43 - -72. Suppose h*w - 24*w = 1050. Suppose 5*n + 3*o - w = 3*n, -2*n = -4*o - 224. Does 18 divide n?
True
Suppose -v + a = -13269, 23*v - 19*v - a = 53085. Is v a multiple of 20?
False
Let t(p) = p**3 + p**2 + 3*p + 21. Let s be ((-5)/(-60)*6)/((-2)/(-28)). Suppose -i - 5 = 2*y, 4*y + s*i + 25 = 2*i. Does 21 divide t(y)?
True
Let j = 2131 - 877. Is 5 a factor of j?
False
Suppose -2*p = -3*r + 1512, 3*r - 2*p = 2*r + 512. Is r a multiple of 4?
True
Let o = 491 - -8496. Is o a multiple of 19?
True
Suppose -18*t = -1194 + 6162. Let s = 446 + t. Is s a multiple of 49?
False
Suppose -6298 = 72*p - 45*p - 27844. Does 21 divide p?
True
Suppose -15520 = -20*y + 27680 - 2880. Does 42 divide y?
True
Let r(j) = -6*j**3 - 6*j**2 - 6*j - 25. Let x be r(-4). Let z = 86 + 57. Let s = x - z. Is 13 a factor of s?
False
Suppose 2*z - 31675 = l, 30*z - 35*z = 3*l - 79149. Is z a multiple of 26?
True
Let i(k) = -2*k**3 - 6*k**2 - 7*k - 1. Let s be i(-1). Suppose 9*g - 6*g = s*