5232 = -41*v, -s = 3*v - 39378. Does 199 divide s?
True
Suppose j - 24 = 3*p + 7, -1 = -2*p + 5*j. Let w(r) = -4*r - 46. Let d be w(p). Suppose -4*x + 5*u + 39 = 0, -d*x + 4*x - 3*u = 17. Is 10 a factor of x?
False
Suppose 4*b = -b - 6*b + 42768. Is 108 a factor of b?
True
Let g = -193 - -196. Suppose g*v = x + 1100, 5*v - 1056 - 775 = 4*x. Does 20 divide v?
False
Suppose -7*y + 24 = 5*y. Suppose -4*v + 432 = 3*k, k + y*v = -0*v + 142. Let q = -79 + k. Does 23 divide q?
True
Let b(m) = 641*m - 3350. Is b(26) a multiple of 9?
False
Suppose 18*z - 3338 - 28 = 0. Is z a multiple of 66?
False
Suppose -4*y + 63212 = 4*d, -3*y + 32410 + 14994 = 2*d. Does 28 divide y?
False
Let k = 137 + -121. Suppose l = -3*m + 80, -3*m + 210 = -13*l + k*l. Is l a multiple of 6?
False
Suppose -m + 5685 = -3*b, -44*m + 2*b + 22760 = -40*m. Is 74 a factor of m?
False
Let c = 4643 + -4504. Is 20 a factor of c?
False
Let o = 6783 - 1893. Is o a multiple of 15?
True
Let n = 460 + 4664. Is 21 a factor of n?
True
Let y be 14*(0 - 144/(-14)) - 1. Let h = y + -71. Is 18 a factor of h?
True
Let s(q) be the second derivative of -17*q**3/6 - 7*q**2/2 - 2*q. Let h = -55 - -51. Is s(h) a multiple of 13?
False
Is 3 a factor of -5*(136668/20)/((-15)/10)?
False
Let o(f) be the first derivative of 3*f**3 + 3*f**2/2 - 2*f - 142. Let c = 8 + -11. Does 9 divide o(c)?
False
Let v = 33044 - 16326. Is v a multiple of 131?
False
Let b = -2219 - -4099. Is b a multiple of 12?
False
Let l(i) = 55*i**2 + 20*i - 76. Is 44 a factor of l(6)?
True
Let a(g) be the first derivative of 4/3*g**3 - 17*g**2 + 13 + 3*g. Is 9 a factor of a(10)?
True
Let p(o) = -o + 1 + 8*o + o. Let j = 685 - 681. Is p(j) a multiple of 11?
True
Let g(o) = 8*o - 15. Let y(b) = b. Let r(w) = -g(w) + 5*y(w). Let q be r(3). Suppose -q*n = -84 - 54. Does 9 divide n?
False
Let y(q) = -4*q**2 + 21*q - 4. Let x(d) = -3*d**2 + 20*d - 4. Let r(f) = 3*x(f) - 2*y(f). Suppose 6 = -11*k + 94. Is 19 a factor of r(k)?
True
Suppose 2*i + 0*i + 4*c = -2, 3*c = 5*i - 21. Suppose y - i*y = -4. Suppose -39 - 149 = -y*q. Does 10 divide q?
False
Let j(x) = 2*x**2 + 11*x + 8. Let q be j(-5). Suppose -2*v + 15 = -q*a, 4 = v - 4*a - 11. Suppose -4*y - g + 36 = 0, g + v*g = 0. Is y a multiple of 5?
False
Suppose -20*h + 16330 = 290. Does 30 divide h?
False
Suppose 5*i = -4*p + 90656, -295*p + 296*p = -5*i + 90659. Does 11 divide i?
False
Let r(j) = 572*j - 2053. Does 20 divide r(28)?
False
Suppose 20 = -14*i + 18*i. Suppose 5*z = -i + 20. Suppose 2*r - 238 = -z*a + 107, -3*r + 2*a = -485. Is 19 a factor of r?
False
Let b = 16248 - -529. Is 19 a factor of b?
True
Suppose f = -c + 934, -3*f = -30*c + 26*c + 3750. Does 117 divide c?
True
Suppose 3*k + 91 - 85 = 0, 4*k + 8998 = 5*a. Is 31 a factor of a?
True
Suppose -b + 6 - 3 = -2*r, -3*b = r - 9. Let v be b*(3 - 0/(-4)). Suppose v*i = 12*i - 480. Is 18 a factor of i?
False
Suppose -65*h + 9690 = -14*h. Is 34 a factor of h?
False
Let w(o) = -o + 3. Let z be w(7). Let a(d) be the third derivative of -5*d**4/8 - 8*d**3/3 + 13*d**2. Does 11 divide a(z)?
True
Let j = -1511 - -3239. Suppose -13*g + 5*g = -j. Is 18 a factor of g?
True
Let h(c) = 4*c**2 - 23*c - 15. Suppose 13*x = 35 - 165. Does 15 divide h(x)?
True
Suppose 5*a + 380 = -3*u, 3*u + a + 376 = -3*a. Let y = -57 - u. Let z = y - 56. Is 7 a factor of z?
True
Suppose -6*d + 2075 = -1735. Let q = 668 - d. Does 18 divide q?
False
Suppose 0 = -5*u + 9*w - 8*w + 38, u + 5 = -4*w. Let h = u + 0. Suppose 3*j - 908 = -4*a + h*j, -j = 5. Is a a multiple of 37?
True
Suppose 0 = -5*c + 158*c + 5751419 - 17419811. Does 277 divide c?
False
Does 228 divide 590*((-288)/(-504))/(20/798)?
True
Let v(j) be the first derivative of -17*j**4/12 - j**3/6 - 4*j**2 + 3. Let s(o) be the second derivative of v(o). Is 21 a factor of s(-1)?
False
Suppose 5*p - 2*z = 3*p + 4314, 2187 = p + 4*z. Is 42 a factor of p?
False
Let h(k) = -3*k + 160. Let q = -82 + 80. Let g be 0/(-4 - (q + 2)). Is 10 a factor of h(g)?
True
Let d = 11313 - 2828. Is d a multiple of 43?
False
Suppose 0 = 19*p - 31*p + 180. Suppose -23*o - p*o = -12768. Is o a multiple of 48?
True
Is 14 a factor of ((-896)/24)/(6/(-1629))?
True
Let l = 229 - 226. Suppose 5*w = 2*f - 671, -l*w + 349 - 8 = f. Does 13 divide f?
True
Suppose 225 = -4*i + b, -4*b + 2*b = 4*i + 210. Let g = i + 56. Is (2/g)/8 + (-1251)/(-36) a multiple of 4?
False
Let k be (-3)/7 + (-10152)/(-21) - 4. Suppose 2*q - k = -5*c, 4*q - 9*c - 1033 = -4*c. Is 28 a factor of q?
True
Let a = 2094 - -1322. Is 56 a factor of a?
True
Let c(m) = -m - 1. Let r(a) = -16*a + 8. Let g(s) = 6*c(s) - 3*r(s). Is g(15) a multiple of 34?
False
Let h be (0 - 1)*12*-21. Suppose -8 = 4*s, 2*s = -u + 3*s + 111. Let t = h - u. Does 41 divide t?
False
Let m = 10 + -7. Suppose 0*h = -m*q - 5*h, -4*q = -2*h. Suppose j - 41 = -z - q*z, 0 = j + 5*z - 21. Is j a multiple of 11?
False
Suppose 24 = 3*z, -1554 = -2*k - 4*z + 1198. Does 8 divide k?
True
Suppose 9 = 3*o, 0 = 5*f + 3*o - 37 + 28. Is (f/1 + 1)/((-29)/(-8033)) a multiple of 14?
False
Suppose 0 = v - 2*t + 19 + 107, -v - 4*t = 102. Let z = -122 - v. Does 9 divide 103 - z/1*-1?
True
Let w(y) = 7*y**2 - 16*y + 12. Suppose -3*k + 2*i = -6*k + 10, 3*k + 5*i = 16. Suppose -5 - 7 = -k*f. Is 40 a factor of w(f)?
False
Suppose 301*j - 441824 - 2396606 = 0. Does 34 divide j?
False
Suppose 4*j = 2*j - 12. Let c be j/(48/(-332))*4. Is 44 a factor of c*(-2 - 25/(-10))?
False
Let a be -1 - (-10)/8 - 1173/(-12). Suppose 6*q - a = 8*q. Let z = q - -63. Is 2 a factor of z?
True
Let c = -395 + 510. Let n = c - -465. Is n a multiple of 10?
True
Let v be ((0 - 3)*2)/(15/110). Suppose 4*y - 18 = 2*m, 3*m + 0*m - 13 = -4*y. Let a = y - v. Is a a multiple of 6?
True
Suppose 0 = 2*v - u + 107, 0*u - 15 = -5*u. Let o be 6/21 - v/14. Is (78/15 - o)/(6/100) a multiple of 7?
False
Suppose -2*x + 6841 = -c, 4*x + 803*c - 13676 = 799*c. Does 26 divide x?
False
Let s = -447 - -86. Let q = 689 + s. Suppose 4*n - 4*h + 2*h = 624, -2*n = -5*h - q. Does 11 divide n?
True
Suppose 0 = 3*w + 2*w + 5, 5*w - 367 = -3*a. Let p = a - 52. Is 11 a factor of p?
False
Let d = 40949 + -24009. Is 10 a factor of d?
True
Let i be 6 + ((-1986)/4)/((-18)/108). Let t = i - 1306. Does 48 divide t?
False
Suppose -5*m + 25 = -2*j, 0*j - 10 = -2*m - 3*j. Suppose 597 = m*k + 62. Let h = k + -92. Is h a multiple of 3?
True
Let a(t) = 7*t + 2. Let x be a(1). Suppose 10*n - x*n - 62 = 0. Suppose -17 = u - n. Is u a multiple of 15?
True
Is 83/(-1 - -1 - (-30)/1110) a multiple of 84?
False
Suppose g = 3*g - 10. Suppose 2*i - 1 - 3 = 0. Is (-2)/(i/(-9))*g a multiple of 21?
False
Let q(z) = 2*z**3 + 11*z - 8. Let k(o) be the second derivative of o**3/6 + 9*o**2 - 27*o. Let g be k(-14). Is q(g) a multiple of 41?
True
Suppose 8*b = -5*b + 46*b - 23760. Is b a multiple of 16?
True
Suppose l - g - 38 = 0, 4*l + 3*g - 19 - 147 = 0. Suppose 42*m = 40*m + l. Is m a multiple of 2?
True
Let k = -47 - -175. Let n = k - 92. Is n a multiple of 6?
True
Let p = -29 - 36. Suppose -2*t + 322 = -111*j + 107*j, -5*j - 397 = 3*t. Let m = p - j. Is 12 a factor of m?
False
Let p(b) = 1. Let n(s) = s + 3. Let q(h) = 4*n(h) - 10*p(h). Let x = 31 - 28. Is q(x) a multiple of 3?
False
Let a = 423 + 1377. Does 12 divide a?
True
Let t be -4 - (-1)/(3/12) - -138. Suppose 0 = -15*m + 9*m + t. Is m a multiple of 23?
True
Let j(y) = -5*y + 5. Let s be j(10). Is s/(-36)*9*60 a multiple of 19?
False
Let l(y) = -y**2 - 14*y + 17. Let a be l(-15). Suppose a*n - z - 74 = 0, -4*n - 4*z + 11 + 113 = 0. Is 7 a factor of n?
True
Suppose 3 = 3*d, 28*d - 14590 = -3*q + 24*d. Is q a multiple of 13?
True
Let l(o) = o**2 + 15*o - 30. Let p be l(-17). Suppose 5*b - 2*d - 4186 = 0, 3*b = p*d + 3480 - 960. Is b a multiple of 7?
False
Suppose 48 = -2*q - 4*n, n + 154 = -4*q + 30. Let t = q - -42. Is t a multiple of 10?
True
Let p = 2 + 4. Let n(b) = 6*b + 26. Let z be n(p). Let r = 111 - z. Does 7 divide r?
True
Suppose -3710 = -9*b + 2950. Suppose 16*d - 12 - b = 0. Is 9 a factor of d?
False
Let z(g) = g**2 - 5*g - 21. Suppose 5*x = -0*n - n - 25, 4*x + n = -19. Does 4 divide z(x)?
False
Let t(h) = -219*h + 339. Does 52 divide t(-7)?
True
Is (11180/(-325))/((8/990)/(-2)) a multiple of 9?
True
Suppose 5*a - 2*t - 35 = 22, -3