 p = -11*x. Suppose 0 = -15*f + 4*f + x. Does 21 divide f?
False
Let u = -118 + -47. Let b be (-101)/((-10)/(-3) + -3). Let t = u - b. Is 43 a factor of t?
False
Suppose -i + 415 = 4*i. Does 9 divide -79 + i - (0/1 + -728)?
False
Let r = 11733 + -7640. Is 47 a factor of r?
False
Let y(m) be the second derivative of -m**4/6 - m**3/3 + 2*m**2 - 7*m. Let j be y(4). Is 11/(-4) + 9/j + 45 a multiple of 14?
True
Suppose -10690 = -5*m - 2*l, 2*m + 1798 - 6083 = l. Suppose 3*u - z = 1284, 6*u - u = 3*z + m. Does 10 divide u?
False
Suppose 615*l - 3660409 = 502*l. Is 29 a factor of l?
True
Let m(i) = -i**2 - 2*i + 5. Let q = 46 - 49. Let o be m(q). Suppose 7*r = o*r + 55. Is r a multiple of 11?
True
Let r(a) = -2*a**2 - 20*a. Let l be r(-10). Suppose -2*w - 2*b + 894 = l, -4*w + 7*b = 2*b - 1779. Is w a multiple of 34?
False
Let p(j) = 2*j**3 + 18*j**2 - 12*j + 22. Does 31 divide p(11)?
False
Let p = -75 + 238. Let f = p + -73. Suppose 0 = -3*o - f + 219. Does 10 divide o?
False
Suppose 52716*l - 52757*l = -700034. Does 205 divide l?
False
Let b(u) = u**3 + 10*u**2 + 12. Suppose -4*x = -4*m + 24, 3*m - 9 = 6*m. Let y be b(x). Suppose 3*o = -15 + y. Does 13 divide o?
True
Does 6 divide (6/(-4))/((-1197)/2443476)?
False
Suppose -4*g + 31076 = 4*n - 2*g, -n = 2*g - 7766. Is 10 a factor of n?
True
Suppose -45*j + 625095 = -496395. Is j a multiple of 28?
False
Let k(r) = -2*r**3 - 30*r**2 - r - 13. Let q be k(-15). Suppose -488 = -4*n + q*f, -6*n + 5*f + 373 = -3*n. Is 9 a factor of n?
False
Let j(h) = -h**2 + 15*h - 12. Suppose -39 = 5*c - 109. Let w be j(c). Suppose -n = w - 14. Is 2 a factor of n?
True
Does 82 divide 22348*(4 + 8/(32/(-14)))/2?
False
Let q(g) = 4*g**2 + 22*g - 6. Let m be q(-6). Suppose m*x - 1768 - 68 = 0. Is x a multiple of 17?
True
Suppose 21*a = 29*a - 64. Is 81 a factor of (a + -5)*-2 - -573?
True
Let b(s) = s**3 + 5*s**2 - 12*s + 16. Let j be b(-7). Suppose 4*y + 174 = j*g + 2*y, 4*y = 3*g - 259. Let u = -59 + g. Is u a multiple of 10?
True
Suppose 3*a + 16 = 2*l, -6*l = -3*l - 2*a - 19. Suppose -1067 = -l*w + 2*j - 98, -600 = -3*w - 5*j. Suppose 4*o - w = -o. Is o a multiple of 9?
False
Suppose -n - 21*n + 34692 = 6*n. Is n a multiple of 21?
True
Let z(h) = h**3 - 12*h**2 - 2*h + 4. Let l be z(12). Let s = -17 - l. Suppose -3*g + 2*o = -356, -4*g - s*o = -o - 484. Is g a multiple of 10?
True
Let o = 15 + -11. Suppose 0 = 5*d - 3*s - 21, -22 = -o*d + 4*s - 10. Suppose -2*i + 133 = 5*n, -3*n + 77 = -2*i + d*i. Does 3 divide n?
True
Suppose 5*a = 2*a + 3*n + 39726, -5*a - 2*n + 66224 = 0. Is a a multiple of 77?
True
Let b(w) = 64*w + 16. Let g be b(-3). Does 24 divide (-4)/22 + (-42272)/g?
True
Let h be (3/4)/((-1)/(-4)). Suppose -h*c + 1402 = -197. Is 41 a factor of c?
True
Suppose 8*k - 5*k - 30 = 0. Suppose 0 = -5*h - k, -h - 38 = -4*a - 0*h. Is 5 a factor of 55 + (a/(-6))/(1/(-2))?
False
Suppose -5*p + 3380 = k - 3989, 0 = 4*k - 4*p - 29332. Is 26 a factor of k?
False
Suppose 0 = 22*i - 17*i - 2*r - 27016, 2*i - 10810 = 2*r. Does 37 divide i?
True
Suppose -20*l = -220 + 1260. Let o = 347 - l. Is 36 a factor of o?
False
Suppose -454*w - 4*b + 1554 = -452*w, -5*w + 3937 = -3*b. Does 2 divide w?
False
Let w(a) = -8*a**2 + 23*a**2 - 8*a - 4 + 4*a**2 + 9*a**2. Is w(-2) a multiple of 13?
False
Let r = -107 - -609. Is 14 a factor of 13/26 - r/(-4)?
True
Suppose -2*x - x = -6, 6212 = -4*g - 2*x. Let y(n) = -2*n - 46. Let s be y(-24). Does 5 divide 11/((-847)/g) + s/(-11)?
True
Is 6 a factor of (-183744)/432*(-45)/2?
True
Suppose 0 = -2*m + 442 + 600. Let r = m + -431. Is r a multiple of 18?
True
Suppose 0 = -w - 4, 0*w = 4*g + 5*w + 20. Suppose -6*z + 5*z = g. Suppose z = 5*x - 6*x + 86. Is 14 a factor of x?
False
Suppose 14 - 82 = -4*y. Let n = y - 16. Does 18 divide (-252)/45*-5*n?
False
Suppose -2*t = 3*x - 20285, 26*t - 21*t = -3*x + 20279. Does 11 divide x?
False
Let c be 542/2 + 11 + -11. Let f = c + 37. Is 11 a factor of f?
True
Let h = -70 - -82. Is 5 a factor of h + 5 + 1*4?
False
Let q be (-1)/2*(39 - 29). Let l(f) be the first derivative of f**3/3 + 2*f**2 - 1. Is l(q) a multiple of 3?
False
Suppose 0 = -42*s + 150 + 60. Suppose 5*q = 4*j - 3408, 4*j - 5*j = s*q - 852. Does 12 divide j?
True
Let m = 88 - 4. Let l = 98 - m. Let u(v) = -v**3 + 13*v**2 + 15*v + 14. Does 4 divide u(l)?
True
Suppose 4*w + 4 = -0*w. Let g be (-4 - w - -6) + -22. Let z(v) = -v**3 - 19*v**2 - v - 11. Does 4 divide z(g)?
True
Let w(g) = g**2 + 16*g + 23. Let y be w(-14). Let h be -8*y/220 + (-460)/(-11). Suppose 3*b - 3*r = 24 + h, -r = -2. Does 12 divide b?
True
Suppose 0 = 2*o + 4*k - 42, -2*o - 3 + 0 = -5*k. Suppose 1 = r, -718 = 8*q - o*q + 2*r. Is 30 a factor of q?
True
Suppose -3*s = -3*i - 12, 4*i + 10 = -2*s + 3*s. Let z = i + -5. Does 5 divide 2/z*(-2 + -47)?
False
Suppose -16*b + 15 + 1 = 0. Does 8 divide (b/(-1))/((-3)/(-12)) + 80?
False
Let d = 147 - 143. Suppose d*o - 2*w = 50, 31*w + 65 = 5*o + 29*w. Does 5 divide o?
True
Let z(l) = -4*l**2 - 9*l + 1. Let j be z(-2). Suppose -2*w + 113 = -j*b, 2*w - 4*b - 163 + 49 = 0. Is 10 a factor of w?
False
Suppose -4*g + 2*s = g - 147, -4*g + 119 = -3*s. Let l = g + -7. Let o = 4 + l. Is o a multiple of 14?
False
Suppose 0 = 18679*n - 18684*n + 29370. Does 89 divide n?
True
Let p(s) = 5*s**3 + 18*s**2 + 6*s + 2. Let l(w) = 2*w**3 + 6*w**2 + 2*w + 1. Let n(t) = -8*l(t) + 3*p(t). Is n(5) a multiple of 3?
True
Let o(f) = 18*f - 3. Let v be o(5). Let g = v + -73. Is 35 a factor of (-720)/32*g/(-3)?
True
Suppose 9*b - b = 32. Let d be -4 - (-3 + b) - -12. Suppose d*w - 210 = 5*w. Does 35 divide w?
True
Let m = -11 + 290. Is 20 a factor of (-2265)/(-31) + (-18)/m?
False
Let s(q) = -q**2 + 3. Let k be s(2). Let i(v) = 7*v**2 + v + 3. Let x be i(k). Is 9 a factor of 102 - (12/x)/(2/(-3))?
False
Suppose 0 = -4*u + 3*h + 128488, 8*u = -2*h + 147250 + 109758. Does 257 divide u?
True
Let y be (-63)/(-5) - (7 + (-148)/20). Suppose y*x - 4 - 22 = 0. Is 5 a factor of -15*(x - 28/10)?
False
Is 33 a factor of (-1221 - 0)*(-4 - -12 - 12 - 5)?
True
Let x(y) = y**2 - 5*y - 11. Let z be x(7). Suppose 3*s = 4*w + 621, -3*s - z*w - 415 = -5*s. Let f = s - 87. Is f a multiple of 29?
True
Suppose -47*q + 1864455 + 8036601 = 539*q. Is q a multiple of 16?
True
Suppose 2*h = -5*h + 3304. Suppose 5*d = -2*o + 164, -2*o + h = 3*o - 3*d. Suppose 4*u - o - 196 = 0. Is 24 a factor of u?
True
Suppose 0 = -r - 5*d + 904, 35*d - 34*d = r - 922. Does 26 divide r?
False
Let h = 604 - 630. Let r(w) = -6*w + 78. Is r(h) a multiple of 9?
True
Let u be (-80)/10 - (-49 + 0/(-6)). Suppose 2*p = -3*v + 4 + 4, 4*p = v + 2. Suppose 0 = l + v*h - u, -132 = -4*l - 2*h + 32. Is l a multiple of 7?
False
Let u(p) = 13*p**3 + 14*p**3 + 6*p**3 - 6*p + 5*p**2 - 34*p**3 + 5. Let o be u(3). Let m(j) = 6*j - 16. Does 9 divide m(o)?
False
Let c = 14 - 25. Let u(m) = 289*m**3 + m**2 + m - 1. Let g be u(1). Does 3 divide g/22 - (-2)/c?
False
Let u = -335 - -328. Let s(l) = -l**2 - 5*l + 84. Does 10 divide s(u)?
True
Suppose 4*h - 14*h = -640. Let z = h - 60. Suppose 3*x - 140 = -4*l, -5*l + z*l = 4*x - 48. Is l a multiple of 14?
False
Does 44 divide 21562/10 + (-226)/1130?
True
Let d(l) = 196*l + 6. Let m be d(4). Let o = -529 + m. Is o a multiple of 9?
True
Let k be -6 - -2 - 0 - -4. Suppose -981 = -k*u - 3*u. Is 22 a factor of u?
False
Let r(b) = -b**3 + 2*b**2 - 12*b + 3. Let p(q) = -q**2 - q + 2. Let s(t) = -4*p(t) + r(t). Does 16 divide s(-7)?
True
Suppose 12 = 10*h - 68. Let a(b) = b**3 + b**2 + 10*b - 42. Is 13 a factor of a(h)?
False
Let s be (1*(-16)/24)/((-1)/669). Let l be s/(-30) - 4/30. Is 31 a factor of (-2*2/10)/(l/9375)?
False
Suppose 12 = 8*i - 12*i. Let z(c) = c + 2. Let j be z(i). Is 393/12 + (-1 + j)/(-8) a multiple of 6?
False
Let p(h) = -2*h**3 + 7*h**2 + 2*h + 2. Suppose -16 + 31 = 5*j. Let b(y) = -2*y**3 + 6*y**2 + 3*y + 1. Let f(r) = j*p(r) - 4*b(r). Does 15 divide f(5)?
False
Let s = 474 + -446. Is s a multiple of 14?
True
Is 106 a factor of (8 - 7)/(-6 + 5)*-4028?
True
Let n = -1328 + 1879. Let d = 10 - 2. Suppose d*q = n - 175. Is 5 a factor of q?
False
Let q be (-73 - 3081)*((-1)/(-2))/1. Let u = 2416 + q. Is u a multiple of 39?
False
Let s(p) = -25*p + 471. Does 2 divide s(11)?
True
Is 207 a factor of 50055*(-9 + (-25)/(-3))