 11*j**2 + 15*j - 5. Is 27 a factor of c(17)?
True
Suppose 6*x = 4*f + 5*x - 416, -f = -4*x - 104. Let p = f + 331. Is p a multiple of 32?
False
Let p = -4 + 8. Suppose -2*a + 5*w = -96, -5*a + 97 = w - 143. Suppose a = p*g - u - 23, 14 = g - 4*u. Is 3 a factor of g?
True
Let f be (-5)/(-15)*1*-3*-7. Suppose -1512 = -f*m - 29*m. Is m a multiple of 21?
True
Suppose -4*t - i + 5*i = -72, -6 = -t - 3*i. Suppose 2*h = t*h - 637. Is 7 a factor of h?
True
Is 6/(270/(-55)) + 1 + 50584/18 a multiple of 7?
False
Let o(z) = 91*z**2 + 20*z - 84. Is 24 a factor of o(6)?
True
Let z(l) = -361*l - 821. Is z(-13) a multiple of 88?
True
Let s = -5003 - -10913. Does 15 divide s?
True
Suppose -96598 = -52*y - 7*y + 70018. Does 7 divide y?
False
Let m be ((-6)/3)/(6 + (-152)/26). Let u be 4/(-18) - (-1750)/18. Let a = m + u. Is a a multiple of 14?
True
Let k be 15/10*1100/3. Suppose -6*w = -k - 1094. Is w a multiple of 32?
False
Suppose 4*f + 320 = -2*b, -3*b = -4*f + b - 332. Let q be (-1 + -71)*(-14)/(-6). Let x = f - q. Is 29 a factor of x?
True
Let p(i) = i**3 + i**2 + i + 4. Let l be p(-4). Let u be (-44)/3 + (-32)/l. Let w = u - -19. Is 3 a factor of w?
False
Suppose -30*r - 42814 = -117814. Is r a multiple of 25?
True
Suppose -11*g + 21390 = 12*g. Suppose 3849 - g = 7*a. Is 26 a factor of a?
False
Let g(s) = 1427*s + 4474. Does 11 divide g(10)?
True
Suppose 3194*h + 606 = 3195*h. Is h a multiple of 18?
False
Let j be (-1 - -2)*0/(-1). Suppose 5*m + w + 3*w - 27 = j, -w + 3 = 0. Suppose 14*i = m*i + 1430. Is 15 a factor of i?
False
Suppose 5*p - 3*l = 15589, -85*p + 82*p + 4*l + 9371 = 0. Does 39 divide p?
False
Suppose 4*l + 30 = 94. Let r = l - 28. Let f = r + 152. Is 35 a factor of f?
True
Let n(y) = -y**2 - 3*y + 5. Let b be n(13). Let w = b + 207. Is 4 a factor of w?
True
Suppose -2*x - 5180 = -2*d - 1698, d - 1749 = -3*x. Does 7 divide d?
True
Let j = 61 - 58. Suppose -m + 7*o = j*o - 752, -734 = -m - 5*o. Let l = m + -440. Is l a multiple of 16?
True
Let m(d) = -3*d + 8. Let l(r) = -7*r + 17. Let w(p) = -4*l(p) + 9*m(p). Suppose 83*i = 45 + 287. Does 4 divide w(i)?
True
Let h(n) = 3*n**2 - 6*n + 1. Let p = -24 - -27. Let d be h(p). Suppose -d = -5*r - 0, 5*f - 3*r - 564 = 0. Does 20 divide f?
False
Let j(m) = -25*m + 26. Let a be 1*(-60)/(-8)*(-2)/3. Does 10 divide j(a)?
False
Is 4 a factor of 45/((-1350)/(-62340)) + 2 + -2 + -2?
True
Let p(k) = -k - 71. Let i(g) = 3*g + 206. Let v(m) = 3*i(m) + 8*p(m). Suppose 4*o = 58 - 2. Is 47 a factor of v(o)?
False
Suppose 746*p = 745*p + 5. Suppose -3*q - 553 + 2083 = p*g, -15 = -3*q. Does 3 divide g?
True
Suppose 2651 = 4*l - m - 2972, 0 = 3*l - m - 4218. Is 20 a factor of l?
False
Let y(j) = -2*j**3 - 58*j**2 - 54*j + 62. Let k be y(-28). Suppose 2*a - 202 = -s, -5*s = -k*s - a + 198. Is s a multiple of 40?
False
Let b(c) = -c**2 - 20*c - 11. Let t be b(-19). Suppose 4*u + 104 = -t. Let o = u - -70. Is 7 a factor of o?
True
Let b(s) = 12677*s - 6908. Is 36 a factor of b(4)?
False
Let s(r) = -r**2 - 6*r - 6 + 0*r - 4*r. Suppose 39*j - 15 = 43*j + o, 5*j = -3*o - 10. Is 15 a factor of s(j)?
False
Suppose -306*h + 146*h + 146*h = -51730. Is h a multiple of 139?
False
Suppose 0 = 587*n - 742855 - 1733111. Is 19 a factor of n?
True
Let q(k) = 45*k - 121. Let j be q(9). Suppose -4*d + j = -11*p + 10*p, 0 = d + p - 76. Does 6 divide d?
True
Suppose -126*b - 12 = -129*b. Is 12 a factor of -4 + ((-1330)/(-15) - b/6)?
True
Does 35 divide 25815 + ((-10 - -8) + -2 - -7)?
False
Does 120 divide 49/35 + -1 + 430101/35?
False
Let k = -4754 - -5738. Is 12 a factor of k?
True
Suppose -6*i - 1 = -25. Is (-1107)/((-4)/8 - 1) + i a multiple of 14?
True
Let r(n) = 19*n**2 + 3*n - 28. Is r(-10) a multiple of 16?
False
Let d(j) = -j**3 - 6*j**2 - j + 22. Suppose 3*s + 11*s + 70 = 0. Let t be d(s). Suppose -p = o + t*p - 207, -2*o + 405 = 3*p. Is 18 a factor of o?
True
Suppose -63 = -p - 5*r + 64, 2*r + 381 = 3*p. Suppose 4*h + 112 = 2*w, -w = -5*h - 5*w - p. Is 18/(-4)*18/h a multiple of 2?
False
Suppose 3*b + 9 = -3*q, -5*b - 2*q - 2*q = 18. Let p(r) be the third derivative of -37*r**4/24 - 25*r**3/6 + 79*r**2 - r. Is p(b) a multiple of 21?
False
Suppose 2 - 50 = -3*q. Suppose -6*i - 40 = -q*i. Suppose -i*o = -275 - 29. Is 20 a factor of o?
False
Suppose -4*a + 5*c = -894 - 2389, -3*c + 3323 = 4*a. Let g = -439 + a. Is 9 a factor of g?
False
Let a = 8664 - -9506. Is 129 a factor of a?
False
Let b = -265 + 512. Let u = b - 99. Is u even?
True
Let s be 6/12 - 3/(-2). Suppose -s*x - 1 = -19. Is ((-130)/(-15))/(1 + (-6)/x) a multiple of 10?
False
Let i(p) = 4*p**3 + 8*p**2 - 178*p + 374. Is 7 a factor of i(22)?
False
Let a(z) = z**2 + 8*z + 9. Let r be a(-5). Let s = r - -2. Is ((-16)/(-4))/s + 71 a multiple of 7?
True
Let b = -3 + 0. Let h(m) be the first derivative of 3*m**3 + m**2 + 6*m - 34. Does 21 divide h(b)?
False
Let j be (63/(-28))/((-3)/48). Does 7 divide 1172/6 - (-24)/j?
True
Let q(l) = 2*l**2 - 6*l + 54. Let j(d) = -d**2 - 13*d + 7. Let t be j(-13). Is q(t) a multiple of 11?
True
Suppose 53*z = 57*z - 732. Let v = -592 + z. Let o = -228 - v. Is o a multiple of 26?
False
Let c be 2*1*(2 + 364/(-8)). Let g = 32 + 76. Let r = g - c. Is 39 a factor of r?
True
Suppose 20*g = -0*g - 20. Let v be (0 + 2 + -24)*g/2. Let b = -5 + v. Is 2 a factor of b?
True
Let x(s) = -78*s - 1873. Does 5 divide x(-56)?
True
Suppose -6*h - 1298 = 640. Let b = h - -796. Suppose 13*s - b = 983. Is 28 a factor of s?
True
Let m = -216 + 111. Let o = 397 + m. Does 12 divide o?
False
Let t(p) = -5*p + 7. Let o(w) = 11*w - 14. Let d(l) = -6*o(l) - 13*t(l). Let x be d(0). Let z(c) = -2*c + 19. Is z(x) a multiple of 15?
False
Suppose -2*u - 4*b - 69 = -629, 2*b - 1090 = -4*u. Suppose 0 = -j + 10 - 7. Suppose j*g + 45 - u = 0. Is 20 a factor of g?
False
Let a = -1437 - -2577. Is 6 a factor of a?
True
Suppose 2*f - 3*s - 276 = -3*f, 2*f + s - 106 = 0. Suppose -f*k + 74*k = 3940. Is 19 a factor of k?
False
Let k be ((-12)/(-15))/(4/880). Suppose -6*x - 178 = k. Does 21 divide (-4)/8 + x/(-2)?
False
Let f(y) = 10*y**2 - 60*y + 64. Let v be f(9). Let r be 1 - (-1 + 0 + 216). Let u = v + r. Does 12 divide u?
True
Let k = 305 + -128. Suppose -4*c - k - 179 = 0. Is c/(-1) - (-3)/(-3) a multiple of 11?
True
Let g(r) be the first derivative of 2*r**3/3 - r**2 + 2*r + 15. Let t be g(0). Suppose -t*q + 2*w = 4*w - 104, 2*w - 2 = 0. Is q a multiple of 17?
True
Suppose -2*j + 7356 = 3*b, -356*b - 12252 = -361*b - 2*j. Is b a multiple of 18?
True
Let p be -7 - (-3 - (-4 + 2)). Let k = -357 - -361. Does 6 divide p/k*(-84)/18?
False
Suppose -13*s + 80256 - 32520 = 0. Is s a multiple of 54?
True
Let x(y) = -13*y - 76. Let a be x(-6). Suppose -2*b = a*w - 190, -2*b - 289 = -3*w - b. Does 27 divide w?
False
Let k(b) = -8*b + 49 - 55 + 27 - b**2. Is k(-5) a multiple of 9?
True
Let a = -6181 + 7416. Does 95 divide a?
True
Suppose -11040 = 15*u + u. Let k = -326 - u. Does 28 divide k?
True
Let a(j) = 4*j**2 - 25*j + 84. Let m be a(16). Suppose -m = -4*h + 2*n, 32*n - 30*n = h - 171. Is h a multiple of 34?
False
Suppose 0 = q + 5*p - 16 - 35, 3*p = -q + 41. Let a be 3 + q + 3 + 3. Does 35 divide a/(1*-2 + 35/14)?
True
Suppose 4*l - 10*f = -6*f + 53416, 0 = l + 2*f - 13372. Is 40 a factor of l?
True
Suppose -1263*q + 27072 = -1251*q. Does 94 divide q?
True
Let w(v) = -v**2 + 4*v + 3. Let g be w(0). Suppose -g*x = -4*x - 54. Let c = 76 + x. Is 8 a factor of c?
False
Suppose 0 = -8*m - 0*m + 2120. Let p = m - 181. Is p a multiple of 7?
True
Let o be (1/5 - 52/(-65)) + 98. Suppose 122*l - 121*l = o. Is 49 a factor of l?
False
Suppose 51*f - 60 = 39*f. Suppose -5*l + 2040 = f*j, 5*l - 4*j - 2030 = j. Does 24 divide l?
False
Let q(a) = 2*a**3 + 12*a**2 - 10*a - 1. Is 12 a factor of q(7)?
False
Suppose 0 = 5*n - 4*u - 6620 - 9303, 0 = 4*n + 3*u - 12757. Is 16 a factor of n?
False
Suppose -8*z = 4*z - 1428. Suppose -120*p + 140 = -z*p. Is p a multiple of 10?
True
Let f be 6/8 - (-1155)/(-20). Does 11 divide ((-38)/f)/((-1)/(-87))?
False
Suppose 9*j = -12*j. Suppose 0 = -a + 2*n + 1060, n = -2*a - j*n + 2115. Is 12 a factor of a?
False
Let d(f) = f**2 - 108*f + 2996. Is d(166) a multiple of 184?
False
Let h(o) = -1605*o - 144. Is 30 a factor of h(-3)?
False
Suppose 2*h - 38102 = 2*t