 - 1010 = -2775. Does 68 divide r?
False
Suppose -6*g = 24, 19*u + 13205 = 24*u - 5*g. Does 13 divide u?
False
Suppose t + 3*j - 364 = 0, -4*t - 2*j + 1371 = -105. Let n = -100 + t. Suppose -8*s + n = -1282. Does 13 divide s?
False
Let g(y) = -y**2 - 3*y + 1. Let b be g(-2). Suppose b = -a - 4*u - 1, 5*u + 10 = 0. Suppose f - c - 20 = a*c, -5*f + 121 = -4*c. Is 5 a factor of f?
True
Suppose -3*g = 7*g - 3133 + 853. Does 76 divide g?
True
Suppose 32*f - 25 = 31*f. Let r = 577 + f. Is 12 a factor of r?
False
Let o(i) = -50*i**2 - i + 1. Let l be o(1). Let u be (-6)/18 - l/6. Let v = 32 + u. Is v a multiple of 8?
True
Let i(p) = -1213*p - 5403. Does 25 divide i(-6)?
True
Let g(o) = o + 15. Suppose -17*k + 22*k + 35 = 0. Let m be ((k - -4) + 2)*-1*17. Is 8 a factor of g(m)?
True
Is ((-16)/136 - 6752/(-170))/(4/190) a multiple of 47?
False
Let t(r) = 2*r**2 + r - 13. Let s(f) = -f**3 + 15*f**2 + 20*f - 23. Let a be s(16). Let k = a - 50. Is 11 a factor of t(k)?
False
Let g(l) = -3676*l - 456. Is 155 a factor of g(-5)?
False
Let n = -20 - -1086. Is 26 a factor of n?
True
Suppose 7*w = 25*w - 882. Suppose 192 = 55*p - w*p. Is p a multiple of 17?
False
Let v = -524 - -3898. Does 14 divide v?
True
Let t(c) = -4399*c - 1819. Is t(-5) a multiple of 4?
True
Let u = 3434 + -2894. Is u a multiple of 13?
False
Let x = 2217 - 2209. Let y(d) be the third derivative of d**6/120 - d**5/12 - 13*d**4/24 + 5*d**3/3 - 2*d**2. Is 14 a factor of y(x)?
True
Suppose -4*s + p + 93 = 0, 5*s = 3*p + p + 130. Suppose s*y - 28*y = 108. Let f = y - -24. Is 4 a factor of f?
False
Suppose -5*q - 3*u = -12207, q + 4*u - 9764 = -3*q. Suppose q + 574 = 13*f. Does 18 divide f?
False
Suppose -174 = 38*t - 1580. Let k = 295 - t. Does 10 divide k?
False
Let d = -676 - -1680. Suppose -4*z + 28*x = 27*x - d, 0 = -z - 5*x + 272. Is 84 a factor of z?
True
Let b = 8645 + -3629. Is 38 a factor of b?
True
Let x = 34628 + 19156. Is x a multiple of 13?
False
Let o(n) = 60*n - 258. Is 9 a factor of o(10)?
True
Let m(q) = 19*q**2 - 803*q + 792*q - 3*q**3 + 2*q**3 - 41. Does 17 divide m(18)?
True
Let d = -8716 + 8714. Let u(c) = 57*c + 3. Let w(t) = -t + 1. Let q(n) = -u(n) - 6*w(n). Does 31 divide q(d)?
True
Let v = 99 - 101. Let w be -177*((-6 - v) + (-6)/(-1)). Does 22 divide 4 + 7/((-21)/w)?
False
Let r(o) = -2*o - 21 - 2*o - 12 + o. Let n(f) = -14*f - 123. Let w be n(-7). Does 10 divide r(w)?
False
Suppose 89*j - 90*j = -620. Suppose -83*q + j = -73*q. Does 31 divide q?
True
Suppose 2493 = 9*i - 54. Suppose 15*v - 19*v + i = 5*w, 0 = -2*v + 4*w + 122. Is 17 a factor of v?
False
Suppose 718 = 3*d - 7*d - 2*r, 4*d - 4*r + 736 = 0. Let o = d + 266. Let j = o + 3. Does 39 divide j?
False
Let k(z) = 4*z + 26. Let c be k(-6). Is 27 a factor of -11 + 25515/49 + c/7?
False
Let q(z) = -470*z**3 + 6*z**2 + 9*z + 3. Let r be q(-1). Suppose -2*n = -0*g + 3*g - r, 0 = 3*g - 3*n - 465. Is g a multiple of 8?
False
Let n = 1688 + 611. Is n a multiple of 10?
False
Suppose 35 = -2*h - 231. Let d = h - -333. Is 40 a factor of d?
True
Suppose -3*x + 546 = -3*o - 37389, 4*x - o = 50559. Does 9 divide x?
False
Suppose -13 = 6*a + 17. Let b be (a/(-2))/(12/(-944))*-3. Suppose -5*x = -5*i + b, 4*i + 0*x = -3*x + 451. Is i a multiple of 11?
False
Does 141 divide ((-126)/105)/((-32)/642960)?
True
Let g(u) = -18*u + 346. Is g(-27) a multiple of 8?
True
Let n be 60/(-100) + (-26)/(-10). Suppose 2*s - 1029 = 2*q - 2665, -n*q + 1624 = 4*s. Is 68 a factor of q?
True
Suppose 3*z + 3*m - 39455 = 1030, -3*m + 13497 = z. Does 78 divide z?
True
Let x = -20589 - -28979. Is 62 a factor of x?
False
Suppose -s + 3*d + 13 - 10 = 0, 2*d - 8 = -s. Suppose -4*h + 3*z = -309, -s*h + 2*h - 3*z = -315. Does 3 divide h?
True
Let x(j) = j**3 + 22*j**2 - 31*j + 163. Does 5 divide x(-20)?
False
Let b(h) = -h**3 + 51*h**2 - 269*h + 65. Does 7 divide b(44)?
False
Suppose m - 2*o + 9 = -18, -190 = 5*m + o. Let u = m + 69. Let t = 58 - u. Does 6 divide t?
False
Suppose -9*k = 17*k + 546. Does 19 divide (1/(-3))/(k/1260)?
False
Let w be 18/(-14) + 1 + 8992/14. Suppose w = 16*l - 13*l. Is l a multiple of 14?
False
Let z be (0*4/4)/(-3 - 0). Let v = z - 5. Is (-67)/v - (-18)/(-45) even?
False
Suppose 7*l - 9692 - 2124 = 0. Is 36 a factor of l*(-3 - (-26)/8)?
False
Let b = -12 - -3. Let p be (10/30)/((-1)/b). Suppose p*u + 408 = 7*u. Is u a multiple of 51?
True
Suppose -4*s + 2026668 = 42*s. Is 21 a factor of s?
True
Let o = 10813 - 6050. Suppose c + 0*c - 943 = 3*k, 5*c = -k + o. Is c a multiple of 14?
True
Let s = 342 - 162. Let o = s + -100. Is 16 a factor of o?
True
Let o = 15832 - 12383. Is 5 a factor of o?
False
Is ((-1781)/52)/((-8)/1312) a multiple of 142?
False
Suppose 12*g - 28*g + 435888 = 20*g. Is 40 a factor of g?
False
Suppose 0 = 4*b + 4*b - 64. Suppose 3*t - 275 = 5*c, b*c + 185 = 2*t + 5*c. Is t a multiple of 50?
True
Suppose 2*t + 0*t = 3*p - 4, p = 4*t + 18. Let m be (t/2 - (-13)/26) + 29. Does 4 divide (-1 + 7/((-21)/m))*-2?
True
Let b = 34514 + -15809. Is 5 a factor of b?
True
Suppose 18*g - 23 = 49. Suppose -g*n - 20 = -636. Does 11 divide n?
True
Let i(k) = -k**2 + 28*k - 40. Let m(d) = -d**2 + 28*d - 41. Let r(b) = -5*i(b) + 4*m(b). Is r(49) a multiple of 9?
False
Let q be (-2)/6*(3 + 36). Let o = -37 - -63. Let v = q + o. Does 7 divide v?
False
Is ((-42120)/(-105))/(-18)*763/(-2) a multiple of 109?
True
Does 4 divide 7 + (-106)/14 - (-101872)/14?
True
Suppose 0 = -5*h + 228 - 263, 3*r + 2*h = 87052. Does 14 divide r?
True
Suppose -d = 3*w - 7563 - 6115, -w = 5*d - 68446. Is d a multiple of 23?
False
Let r(v) = -17*v**3 - v**2 - 5*v - 3. Let s(p) = 8*p**3 + 2*p + 2. Let w(g) = 4*r(g) + 9*s(g). Suppose -36*k + 12 + 96 = 0. Is 8 a factor of w(k)?
True
Let s = -128814 - -185304. Is 35 a factor of s?
True
Is 2 a factor of 283 - (3 - (-4 + 16 + -10))?
True
Let d(l) = l**2 - 9*l + 195. Let i be d(0). Let y = -140 + i. Is y a multiple of 8?
False
Let d(v) = -16*v + 1. Let b be d(2). Is 6 a factor of (b/(-2))/(16/160)?
False
Let y = 19 - 24. Let g(m) = m**3 + 6*m**2 + 5*m + 10. Let r be g(y). Suppose -r*a = -5*a - 850. Does 34 divide a?
True
Suppose -3*t - 2*g - 2*g + 29 = 0, -2*t - g + 11 = 0. Suppose 15 = t*a + 3. Is (a/(-8))/((-3)/294) a multiple of 7?
True
Let b(l) = l**3 + 8*l**2 + 11*l + 11. Let a be b(-6). Let j be (a - 15)/(4/122). Suppose j + 33 = 2*i. Is 7 a factor of i?
False
Is (11466/392)/((-3)/(-248)) a multiple of 25?
False
Let v(d) be the second derivative of d**4/6 - d**3/6 + 7*d**2 + 4*d. Let t be v(4). Suppose 0 = -2*r - r + t. Does 5 divide r?
False
Let o(n) be the first derivative of -n**4/24 + 19*n**3/6 + 15*n**2/2 + 3. Let g(j) be the second derivative of o(j). Is g(6) a multiple of 13?
True
Suppose 950*m - 2539485 = 755*m. Does 10 divide m?
False
Suppose 0 = 9*q + 4*m - 14339 - 15389, -m = 2*q - 6606. Is 7 a factor of q?
True
Is (-45804)/(-24) + (-42)/28 a multiple of 50?
False
Let h(a) = 2*a**2 - 56*a + 4. Let i be h(28). Is 10 a factor of (3/(-6))/(i/(-368))?
False
Suppose 28*g = 14 + 98. Let z(r) = 20*r**2 + 14*r - 49. Is z(g) a multiple of 27?
False
Let g be (62/6)/((-69)/(-6624)). Suppose 464 = 4*s - g. Is s a multiple of 28?
True
Let j(z) = -z**3 - 10*z**2 + 17*z + 10. Let f be j(-12). Suppose -5*n - 4*k + 0*k = 72, 0 = -4*n - k - 51. Let s = n + f. Does 10 divide s?
False
Let x be 3 + 2*4/(-8). Suppose 9 = -14*s + 17*s. Suppose 0*z - x*o - 112 = -s*z, -3*o + 52 = z. Is z a multiple of 15?
False
Let x(d) = 76*d + 294. Does 6 divide x(-3)?
True
Let w(o) = 4 - 1710324*o**2 - 5 + o**3 + 1710325*o**2. Let g(s) = -s**2 + 4*s + 7. Let q be g(5). Is w(q) a multiple of 11?
True
Let d(y) = -1616*y**2 + 1624*y**2 - 3*y + 8*y + 24. Does 14 divide d(-8)?
False
Let i(j) = 5*j - 23. Let d be i(11). Let y be ((-16)/d)/((-2)/(-8)). Is (y - (-184)/(-10))/((-6)/15) a multiple of 15?
False
Suppose -2*x = -5*x + 9. Suppose x*j - 2*j - 3 = 0. Suppose -j*b = -33 - 33. Does 3 divide b?
False
Suppose 3*g + 2*a - 1885 = -291, 2*g - 1050 = 5*a. Does 14 divide (-3 + 5 - (1 - 1)) + g?
True
Let p(m) = 15*m**3 + m. Let t be p(1). Let d(i) = i**2 + 302*i - 915. Let j be d(3). Suppose 4*g - 4 - t = j. Is g a multiple of 2?
False
Let z = -562 - -566. Suppose -5*p = 5*y - 850, -4*y + 685 = z*p - p. Does 35 divide y?
True
Does 36 div