p = 2*i - 2537. Is i a multiple of 27?
False
Let j be 5/(4/((-56)/35)). Does 17 divide (-1060)/30*(-4 - (-7)/j)?
False
Suppose -y + c = 5, 0 = -y + 4*c - 1 - 7. Let n(a) = -10*a + 1. Is n(y) a multiple of 41?
True
Let d be (1462/102)/(2/(-42)). Let y = d - -448. Is y a multiple of 21?
True
Let z(a) = 11*a**3 + 23*a**2 - 86*a - 9. Does 5 divide z(7)?
False
Let y(b) = -2*b + 5. Let x be y(1). Suppose -4 + 13 = x*n. Suppose 2*m - n*g = -5*g + 54, m = -2*g + 30. Is 4 a factor of m?
True
Let r(k) = 8219*k + 97. Is r(1) a multiple of 18?
True
Let z(j) = 6*j**2 - 59*j - 42. Is 31 a factor of z(-11)?
True
Suppose -16*r = -12*r + 4956. Does 11 divide (1 + -2)/(r/309 + 4)?
False
Let q be 684/42 + (-27)/21 + 1. Let k(p) = q*p - 12 + 23*p - 24*p. Does 5 divide k(4)?
False
Let q(l) = -l - 12. Let z be q(-14). Suppose 5*b - 8*b - 5*o + 154 = 0, -5*b - z*o = -282. Does 29 divide b?
True
Let c(p) = 8*p - 2. Let v be c(-4). Let r = 56 + v. Suppose 11*n = 13*n - r. Is n a multiple of 5?
False
Let o(x) = x**2 - 2*x - 22. Let g be o(6). Does 33 divide 110/(((-20)/(-6))/g - 1)?
True
Let s(f) = -20*f - 143. Let z(t) = -10*t - 71. Let g(x) = 2*s(x) - 5*z(x). Does 42 divide g(6)?
False
Let w(f) be the second derivative of 94*f**4/3 + f**3/6 - f**2 + 45*f. Let i be w(1). Let j = i + -84. Is j a multiple of 57?
False
Let i = -44 - -55. Let v(d) = -d**3 + 10*d**2 + 11*d + 4. Let x be v(i). Suppose 2*o - x*o = -120. Does 12 divide o?
True
Let m be ((-1)/2)/(6/1896). Let k(n) = 29*n**2 + n + 8. Let y be k(-3). Let i = y + m. Is 13 a factor of i?
False
Let j be 14/(-112) + 626/16. Suppose 4*q + 4*h = -432, -4*q - 186 = 3*h + 242. Let z = j - q. Is z a multiple of 13?
True
Let s(l) = l**3 - 5*l**2 + 4*l - 10. Let h be s(5). Is 46 a factor of 5/10*h + 409?
True
Suppose -4*u + 5*l = -6314, -2163 + 588 = -u + 3*l. Suppose 5*o + 2356 - 811 = 5*m, 4*o - u = -5*m. Does 9 divide m?
False
Let n(o) be the third derivative of o**3 - 1/5*o**5 - 1/2*o**4 + 14*o**2 + 0*o - 1/120*o**6 + 0. Is n(-11) a multiple of 5?
False
Is (-5)/(-4) - 1 - 169763/(-1012) a multiple of 9?
False
Suppose 5*n = 3*n - p + 5115, 3*p - 2565 = -n. Suppose 2436 = 26*g - n. Is g a multiple of 24?
True
Suppose -16875 = 31*m - 6*m. Let q = 216 - m. Is q a multiple of 33?
True
Suppose 20*o - 172 = 8. Is 21 a factor of (o + -637)*-1*(-1)/(-4)?
False
Let r be -4 + 49/14 + 1345/(-10)*1. Let c(l) = 61*l - 2. Let k be c(-2). Let t = k - r. Is 11 a factor of t?
True
Let h(x) = -x - 7. Let z be h(-11). Suppose 0 = 2*i + z*i + 6. Does 14 divide (-70)/i + 0 + 4 + -4?
True
Suppose 94*v - 102*v - 688 = 0. Let n = v - -92. Does 3 divide n?
True
Suppose 5*g - 5*z = 3275, -5*z + 2005 = g + 2*g. Is (0 + g/9)*27/6 a multiple of 11?
True
Is 72994532/8398 - (-4)/38 a multiple of 82?
True
Let u(w) = 3*w**2 - 5*w - 24. Let b be u(15). Suppose b = 5*a - 424. Is a a multiple of 6?
False
Let l = 340 + -571. Let c = 487 + l. Is 6 a factor of c?
False
Let l = -431 - -369. Let j = l - -293. Does 62 divide j?
False
Suppose -249 = 9*p - 12*p. Suppose 125 = d - p. Is d a multiple of 9?
False
Is 13 + 6580 - 7 - 14 a multiple of 12?
False
Suppose u = -0*b + 2*b - 24, -2*b + 78 = -4*u. Let a(c) = c**2 - 14*c - 20. Is 17 a factor of a(u)?
False
Let q(o) = 20*o**2 - 3*o + 4. Let z(g) = 20*g**2 - 2*g + 3. Let i(y) = -5*q(y) + 4*z(y). Let a be i(4). Does 21 divide 7/49 - (-1)/((-7)/a)?
False
Let b = -2990 - -7519. Does 7 divide b?
True
Let p(t) be the third derivative of 0 + 1/30*t**5 + 0*t - 5/24*t**4 - 1/2*t**3 + 20*t**2. Is 30 a factor of p(7)?
True
Let s = -22025 + 34525. Is s a multiple of 250?
True
Let k = 20558 + -14150. Does 16 divide k?
False
Let t(c) = -141*c**3 - 9*c**2 - 9*c + 2. Let a be t(-2). Suppose a = -14*z + 5396. Is z a multiple of 6?
True
Let c(q) = -570*q - 7373. Is 71 a factor of c(-33)?
False
Let g = 35 - 48. Let b = 18 + g. Let a = b - -17. Does 11 divide a?
True
Suppose 2*n + 5538 = 4*h, 3*h - 1638 - 2484 = -2*n. Is h a multiple of 15?
True
Is 29 a factor of (7/(-4))/((-1)/5316) + (-24)/(-4)?
True
Suppose 6 = -3*u + 18. Suppose 3*h - h = u. Suppose -50 = -5*m + 5*b, h*b = -2*m - 9 + 25. Is m a multiple of 2?
False
Let r = 1431 + 1437. Is 56 a factor of r?
False
Suppose -2*j + 31889 = -10*t + 5*t, -j = 4*t - 15951. Is j a multiple of 88?
False
Let c = -189 + 194. Let t(y) = 27*y**2 + 11*y - 70. Does 12 divide t(c)?
True
Let m(c) = 5*c - 19. Let d(n) = -6*n + 19. Let z(o) = -3*d(o) - 4*m(o). Let s be z(7). Suppose -8 = s*a - 58. Is 7 a factor of a?
False
Suppose -19378*l - 512831 = -19389*l. Is 71 a factor of l?
False
Suppose 253*m - 325728 = 195*m. Is 78 a factor of m?
True
Suppose 18*c - 88131 + 9636 - 48945 = 0. Is 8 a factor of c?
True
Let g(p) = -15*p + 50. Let i be ((-3)/4)/((9 + -2)/84). Is 3 a factor of g(i)?
False
Suppose -2*c = -z - 39657, 5*c = -8*z + 9*z + 99132. Does 15 divide c?
False
Let b = 138 + -78. Let y be ((-2)/(-5))/(6/b). Does 17 divide (-410)/(-6) + y/(-12)?
True
Suppose 198 = 3*m - 120. Let l = m - 94. Is 35 a factor of 381/2 + (-6)/l?
False
Let q(d) = -4*d**3 - d**2 + d - 2. Let w be 1*(-3 + 1)*(1 + 3). Let x = w + 6. Is q(x) a multiple of 6?
True
Suppose 5*n = -10, -5 = -4*i - 3*n + 5. Suppose -2*d + o + 5 = 0, i*d + o + 0 = 1. Does 8 divide (6 - (-14)/(-7))/(d/55)?
False
Suppose -35 = -6*h - 5. Suppose -y - 2*s = -h*y - 80, 0 = 2*y - 5*s + 56. Does 3 divide y + 22 + (0 - 0)?
False
Let r(w) = -3*w - 3 - 9 - 2 + 4*w. Let q be r(16). Suppose -q*f + 6*f = 16, f + 107 = 3*b. Does 4 divide b?
False
Suppose -5*t + t + 5*q + 46 = 0, -5*q - 28 = -2*t. Suppose -3*n + t = -0. Is 15 a factor of (-1)/(2*n/(-480))?
False
Let y(s) = -4*s**3 - 27*s**2 + 107*s - 6. Let n(l) = -5*l**3 - 27*l**2 + 106*l - 4. Let j(f) = 5*n(f) - 6*y(f). Is j(20) a multiple of 26?
False
Suppose -h - 52 = -0. Let i be 4 - (h + -4) - 4. Suppose -7*a + i = -6*a. Is 8 a factor of a?
True
Is 4 a factor of (-390)/(-91)*3*(-1596)/(-54)?
True
Let t(p) = -p**2 - 10*p + 24. Let r be t(-11). Let h = r + -12. Does 2 divide (-3)/(h*15/(-20))?
True
Let r be 2/(-10) - 336/(-105). Suppose -4*c + 8*c - r = v, 3*c = 5*v + 15. Suppose c = -13*u + u + 864. Is 12 a factor of u?
True
Does 41 divide 8 - ((45/(-5) - -3) + -2993)?
False
Let w be (-21)/28*-2*44. Suppose b - 2 = -w. Is 13 a factor of b/(-48)*(-138)/(-8)?
False
Let j = 115 + -50. Let b = 68 - j. Suppose 4*n - 144 = -2*t, -n + 6*n - b*t - 169 = 0. Is n a multiple of 7?
True
Suppose -4*m = 5*p - 939 - 21414, -p + 5*m + 4488 = 0. Is 21 a factor of p?
True
Suppose -1641*v + 1598*v = -243466. Does 18 divide v?
False
Suppose 11*o = 4*o + 14. Let u be (o - -13)*(-48)/15. Is 1675/6 + 8/u a multiple of 26?
False
Let h(k) = -17*k - 29. Let s be h(-6). Let t = s + -41. Let n = 10 + t. Is 18 a factor of n?
False
Suppose -47 + 67 = -5*z. Is 11 a factor of (-3*(z - -7) - -4) + 27?
True
Is 76 a factor of 5 - (4 + -1)/(20/(-28140))?
False
Suppose -2*v + 3*x + 1 = 54, -3*x + 78 = -3*v. Let y = 147 - v. Does 43 divide y?
True
Let l = -208 - -210. Suppose 3*u - l*h - 1722 = 0, -205 = 4*u - 5*h - 2501. Is u a multiple of 7?
True
Let i be ((-4)/(-3))/((-2)/(-36)). Let t(j) = j - 28. Let d be t(10). Let q = d + i. Is q a multiple of 6?
True
Suppose 27749 - 1113 = 5*h + 4*w, -w = -3*h + 15968. Is h a multiple of 14?
False
Suppose -4*b = -29 + 309. Suppose 0 = -15*o + 1033 + 917. Let x = o + b. Is 10 a factor of x?
True
Suppose -53*w + 49*w - 4*q = -17148, 2*w - 5*q = 8581. Is w a multiple of 4?
True
Suppose -37088 = -4*d + 4*l, 12 = 3*l - 7*l. Is 299 a factor of d?
True
Let n be (-56304)/63 + 8/(-28). Let c = n + 1518. Does 13 divide c?
True
Suppose 58*h - 184898 + 42302 = 41*h. Is h a multiple of 10?
False
Let d = 2406 + -1480. Suppose -16*z - d = -158. Does 37 divide 6/(-16) - 14226/z?
True
Suppose -4*n = -4*h + 35097 - 4345, 20 = -5*n. Is 6 a factor of h?
False
Let r be (-5)/(5/(-2)) + -3 + 1. Suppose r = -16*c + 19*c - 45. Is 12 a factor of 204/9 - 10/c?
False
Let x = -5791 + 11707. Is 51 a factor of x?
True
Let f = 59 + -37. Let j = 31 - f. Suppose j*m - 1144 = m. Is 44 a factor of m?
False
Let j be (4 - 14) + -2 - (-24)/4. Let i(l) = -2*l**3 - 10*l**2 - 33*l - 28. Is i(j) a multiple of 6?
False
Let b(j) = -j**2 - 20*j + 17. Let h(a) = a**2 + 25*a + 128. Let u be h(-16). Does 9 divide b(u)?
True
Suppose 5911274