3*d + 491 - 28, -g = -3*r + d. Does 8 divide r?
True
Let i = -80 - -384. Let p = -100 + i. Is 17 a factor of p?
True
Suppose -2*h - 244 = o, -2*h + 2*o - 377 = -127. Let y = h + 73. Let k = -18 - y. Is 14 a factor of k?
False
Let d = 15716 - 6994. Does 25 divide d?
False
Suppose 0 = -2*g + 2*l + 28, 60 = 5*g + 3*l + 2*l. Let q = g - 11. Suppose q*p - 128 = -2. Does 7 divide p?
True
Let c be -5 - (6/15)/((-1)/190). Let g = -19 + c. Is 8 a factor of g?
False
Let c(g) = -304*g - 1646. Is c(-34) a multiple of 33?
False
Let t = 2 + 1. Let z(i) = 9*i + t - 4*i + 5 + 11*i**2 - 6. Is 8 a factor of z(-1)?
True
Let w(j) = -385*j + 19. Let h be w(1). Let d = 446 + h. Is d a multiple of 19?
False
Suppose -r - 24 = -4*j - 0*r, -2*r = 4*j - 36. Suppose 4*w - 12 = 0, -5*z = -3*w + 16 - j. Suppose z = 8*b - 3*b - 605. Is 36 a factor of b?
False
Suppose -135 = -4*c - 3*m - 12, -4*c - 4*m + 128 = 0. Let p(b) = -c - 20*b + 42*b - 16*b. Is 26 a factor of p(11)?
False
Let q = 7093 - 4912. Is 5 a factor of q?
False
Let s(f) = -f**3 + 32*f**2 - f + 30. Let y be s(32). Let h(p) = -105*p. Is 14 a factor of h(y)?
True
Suppose 84690 = -56*t + 708082. Is t a multiple of 47?
False
Let u = -110 - -684. Let k = u - -42. Is 28 a factor of k?
True
Let g(i) = 620*i**2 + 17*i + 27. Let b(w) = -207*w**2 - 6*w - 10. Let l(u) = 11*b(u) + 4*g(u). Let s(o) = o + 9. Let h be s(-8). Does 8 divide l(h)?
False
Suppose -7*i = i - 88. Suppose 2396 - 317 = i*t. Is t a multiple of 9?
True
Is (-350)/315*(-6)/(-10) + (-19628)/(-12) a multiple of 83?
False
Let l(w) = -w**3 - 5*w**2 - 27*w + 96. Is l(-16) a multiple of 16?
True
Suppose 5*w = 5*g - 8345, 1129 + 5507 = 4*g + 4*w. Is g a multiple of 4?
True
Suppose -5*o - 3*s - 1300 = 185, -5*o = -2*s + 1510. Suppose 0 = -t + i - 10, 2*i = 3*t - 0*i + 32. Is o/(1*t/8) a multiple of 10?
True
Suppose 0 = -v + 4, -14*h + 10*h - 2*v + 9004 = 0. Is h a multiple of 26?
False
Let f(v) = 2*v**2 - 20*v - 57. Suppose -9*k = -11*k + 56. Does 15 divide f(k)?
False
Suppose 3511 = 5*v - 4*b, v - 808 + 89 = 5*b. Is v a multiple of 36?
False
Suppose -y + 28 = 3*b, 0 = 4*b - 4*y - 4 - 12. Suppose b = -0*w + 2*w. Suppose -l + w*c = -245, 8*l - 1300 = 3*l + 5*c. Is l a multiple of 35?
False
Let l(j) = 3*j**3 + j**2 - 1. Let v be l(1). Suppose 4*p + p = -3*w - 222, p + v*w = -42. Let s = p + 137. Does 28 divide s?
False
Let n = 9849 + -9984. Let r(d) = 43*d + 1. Let g be r(4). Let t = n + g. Is 15 a factor of t?
False
Let r = 92 - 39. Let x = 218 + -48. Let m = x - r. Does 13 divide m?
True
Is -8*6470/(-80) - 6 a multiple of 29?
False
Let s(k) = -10245*k + 10760. Is 31 a factor of s(-4)?
False
Let z(n) = n**2 - 37. Let y be z(-6). Is 3 a factor of y/((-5)/165)*22/6?
False
Let s be (-8612)/(-20) + 8/20. Is s + (3 - 0 - 6)/(-1) a multiple of 77?
False
Suppose 15 = -2*i - 3. Let a be i/((-2)/((-2672)/6)). Is a/(-11) + (40/(-44))/5 a multiple of 13?
True
Suppose -4*s + 13620 = -4*k, 7*s - 5*k + 13575 = 11*s. Is s a multiple of 17?
True
Let y(c) = 55 + 99 + 0*c**2 + 3*c**2 + c**2 - 43*c - 2*c**2. Is y(20) a multiple of 94?
True
Let o = -21775 - -42960. Is 35 a factor of o?
False
Let v(b) = 2592*b - 5865. Is 80 a factor of v(4)?
False
Suppose 8*o = -4965 + 20973. Let d = o - 967. Is d a multiple of 11?
True
Suppose 0 = 4*m - 190*q + 187*q - 4116, 3*q - 2076 = -2*m. Is m a multiple of 4?
True
Suppose -79268 = 4820*m - 4839*m. Does 149 divide m?
True
Suppose 2*z - 1 = z - 3*d, -31 = 4*z + 5*d. Is (10/(60/(-9)))/(1/z) a multiple of 21?
True
Let f be 12*((-328)/(-12) - 3). Let d = f + -180. Does 12 divide d?
False
Let a = 275 + -252. Suppose -a*d - 60 = -26*d. Is d a multiple of 6?
False
Suppose -4*y = -4*v - 5*y + 4, 0 = -2*v - y + 4. Is 15 a factor of (-3 - v/(-2)) + 393?
True
Suppose 0 = l + 3*t - 15 + 302, l = 3*t - 269. Let f = -17 - l. Does 9 divide f?
True
Let n = 8 + -82. Let s = n - -74. Suppose s = -0*v + 2*v - 152. Is v a multiple of 11?
False
Let r(c) = 113*c**3 + 10*c**2 - 40*c - 10. Does 13 divide r(6)?
True
Suppose 1568*h - 1569*h + 5*s + 1749 = 0, 5*h - 2*s = 8699. Does 3 divide h?
False
Let l(u) = 16*u**3 + 4*u**2 - 44*u - 8. Is l(5) a multiple of 48?
True
Let b(l) = 76*l - 30. Suppose -4*s = 36*g - 37*g + 28, 2*s + 10 = 0. Is 7 a factor of b(g)?
False
Suppose -7*c + 4*c + 78 = 0. Suppose 0 = 2*n - c + 44. Let v(g) = 3*g**2 + 11*g - 12. Is v(n) a multiple of 12?
True
Let r = 103 + -112. Let q = 89 + r. Is 5 a factor of q?
True
Let j = 13 - 19. Let k(d) = -d**3 - 5*d**2 - 9*d - 12. Let o be k(j). Suppose -2*a = -84 - o. Is a a multiple of 8?
False
Let u = -4 + 9. Let i be -3*2*u/30. Let w(a) = 58*a**2 - 2*a - 1. Is w(i) a multiple of 20?
False
Let x = -43 + 62. Let p(g) = 18*g - 66. Let u be p(x). Let f = u - 176. Is f a multiple of 10?
True
Let d(v) = -v**3 + 4*v**2 + 2*v + 20. Let l be d(5). Suppose -3*z - o - 108 = -468, l*z - o = 600. Is 22 a factor of z?
False
Suppose -4*k + h + 7 = 4, 25 = 5*h. Suppose 3*a = -4*c + 44, c + k*c - 6 = 0. Suppose 0 = a*j - 5*j - 49. Is j a multiple of 2?
False
Suppose 5*l - 3*l + 788 = 4*v, -5*v + 982 = -l. Suppose 3*d + 7*m = 4*m + 528, -5*m = d - v. Is d a multiple of 9?
True
Let b = -4532 + 5235. Is b a multiple of 5?
False
Suppose k + 3*b + 1000 = 6*k, 3*k - 5*b - 600 = 0. Suppose 3*m = -4*s + k, 2*m + 0*m - 152 = 2*s. Is m a multiple of 7?
False
Does 19 divide (-4)/14 - (7 + (-218528)/56)?
True
Let b(h) be the third derivative of -h**6/120 - h**5/15 + h**4/24 + 5*h**3/6 - h**2. Suppose -2*f - 6 = -11*d + 7*d, 0 = f - 4*d + 1. Is b(f) a multiple of 5?
True
Let c(w) = -10*w**2 + 6*w. Let k be c(-2). Let s = 424 - k. Is 68 a factor of s?
True
Let q = -54 + 60. Does 11 divide q*(6 + 476/8)?
False
Suppose -4*g + 5*n = -21, g - 5*n + 3 - 12 = 0. Suppose -g*z + 1100 + 484 = 0. Does 11 divide z?
True
Let c = -1494 - -2484. Is 3 a factor of c?
True
Let v = -33 - -35. Let j be (-259)/(-2*1/v) - 3. Suppose 16*i - j = 12*i. Does 16 divide i?
True
Let u(z) = -2*z + 3*z**3 + 13*z**2 - 12*z**2 - 7*z**3. Let f be u(1). Is ((20/6)/f)/((-2)/15) a multiple of 4?
False
Suppose -4*d - 2*b + 367 = -b, 5*b - 161 = -2*d. Let h(c) = 4*c**2 - 5*c - 99. Let t be h(6). Let l = t + d. Is 13 a factor of l?
False
Let w(v) = -2*v**3 + 25*v**2 - 9*v + 30. Let z be w(12). Suppose -4*x + 5*n + 188 = 0, n - 122 = -3*x - 0*n. Let r = z - x. Does 8 divide r?
True
Let l = -2 + -4. Let c be 2097/45 - l/(-10). Let g = c + -19. Does 9 divide g?
True
Does 7 divide 11 + 2 + 13 + (7 - 5)?
True
Let l = -122 + 128. Is 10 a factor of 8/l - 2/((-6)/569)?
False
Let q(n) = 6 - 18*n**2 + 41*n**2 + 0 - 24*n**2 + 37*n. Is 14 a factor of q(26)?
False
Is (-697946)/(-30) - 162/(-1215) a multiple of 47?
True
Suppose -329 = -8*c + c. Suppose c = 7*y - 44. Suppose -y*k - k + 2198 = 0. Is 15 a factor of k?
False
Let k(u) = -46*u + 3413. Is 11 a factor of k(-31)?
False
Let h = 33 - 31. Suppose 5*y - 22 = -5*m - 7, -h*y - 3*m = -6. Let s(v) = 43*v - 9. Is s(y) a multiple of 30?
True
Is (-111 - -4498) + -1 + -3 + -9 a multiple of 27?
True
Let j(t) = -21*t**3 + 3*t**2 - 3*t - 1. Let b be j(-3). Let s = b - 242. Is 12 a factor of s?
True
Let s be ((-724)/48 + (-2)/8)*-6. Is 1 + (-191)/(-4) - 69/s a multiple of 4?
True
Let a be ((-148)/(-4))/(0 - -1). Let j = -38 + a. Is (j - (-115)/25)*15 a multiple of 7?
False
Let o(y) be the second derivative of -y**4/12 + 11*y**3/3 - 65*y**2/2 + 169*y. Is o(13) a multiple of 3?
False
Let k be (-12)/(-66) + (336/22)/4. Suppose -19*q = -k*q - 3465. Is q a multiple of 21?
True
Suppose 4*k + 3*x - 121675 = -17277, -5*k = -3*x - 130457. Does 36 divide k?
False
Suppose 3*a = -5*g + 20, 4*a - 24 = -4*g - 0*g. Suppose a*q = 10*q - d - 1381, 3 = -3*d. Is q a multiple of 12?
True
Suppose -6*h + 95 = 77. Suppose -3*s = -5*c + 966, h*s + 573 = 4*c - 201. Is 12 a factor of c?
True
Suppose -3*c - 5*d + 5899 = -0*d, 3*d = -5*c + 9821. Does 90 divide c?
False
Is (8/12)/((-14)/(-66003)) a multiple of 67?
False
Let k = -122 + 123. Is (0 + k)*(1 - 0) - -143 a multiple of 12?
True
Let x = -1255 - -1791. Suppose -2*b - p = -1052, b - x = -10*p + 12*p. Does 39 divide b?
False
Suppose 0 = 2*c - w + 199, -25 = -2*w - 3*w. Let y = 175 + c. Does 26 divide y?
True
Suppose -5*g - 5*u = 771 + 164, g + 3*u + 185 = 0. Let z = g + 456. Is 3 a factor of z?
False
Suppose -7277