2*m, r - 235 = -5*m. Does 10 divide r?
True
Let i(o) = o**2 - 10*o + 16. Let y be i(8). Suppose 5*a = 4*w - 1069, -2*w + a - 5*a + 554 = y. Does 13 divide w?
False
Let z(g) = 924*g + 58 + 69 - 959*g. Does 37 divide z(-12)?
False
Let z(t) be the second derivative of -2*t**3 + 164*t**2 - 84*t. Does 8 divide z(-32)?
True
Suppose -4*i = -v - 38140, -v + 13167 = -5*i + 60841. Suppose -i = -13*k - 8*k. Is k a multiple of 7?
False
Suppose 5*y = 3*p - 7*p + 1, y = 5*p - 23. Suppose -150 - 86 = -p*b. Let h = b + -26. Is h a multiple of 3?
True
Let a(c) = 186*c**2 - 16*c + 26. Is a(-5) a multiple of 4?
True
Is 57 a factor of -6 + -11 + 657560/34?
True
Suppose 21 = s + 16. Suppose -s*j - g + 2164 = 0, 3*j - 8*j - 2*g + 2168 = 0. Is 9 a factor of j?
True
Let x(j) be the third derivative of -11*j**6/8 - j**5/12 - j**4/24 + j**3/3 - 37*j**2. Is x(-1) a multiple of 22?
False
Suppose 21 = 8*c - 27. Suppose q = c + 53. Let d = q + -3. Is 7 a factor of d?
True
Let q(o) = -114*o**3 - o**2 + 1. Suppose 5 + 3 = -2*h. Let u(c) = c**3 + 6*c**2 + 9*c + 3. Let j be u(h). Does 19 divide q(j)?
True
Let u(f) = -f**2 - 16*f + 48. Let j be u(0). Suppose 0 = -p + 5*w + 42, 3*p + 4*w - 58 = 2*w. Let t = j - p. Is 19 a factor of t?
False
Is (2368/12)/4*14130/120 a multiple of 37?
True
Let f(z) = 5*z**3 + 3*z**2 - 2*z - 2. Let s be f(2). Let i be (3/((-120)/208))/(2/(-15)). Let k = s - i. Does 7 divide k?
True
Let m be ((-812)/(-8))/((-3)/18). Let h be m/(-35) - (-3)/5. Let t = 54 - h. Is t a multiple of 11?
False
Suppose 45*b + 18 = 43*b, -2*b - 9918 = -4*n. Does 25 divide n?
True
Suppose 0 = 4*c + 12, 5*w - 3*c + 0 = 34. Suppose 4*i = -w*k + 1109, 5*k - 21 = -16. Is i a multiple of 18?
False
Suppose -1275*q + 42660 = -1257*q. Does 33 divide q?
False
Suppose 0 = 48*k + 8215 - 33319. Is 67 a factor of k?
False
Does 99 divide (1/8)/1 - 255190/(-208)?
False
Let p = -10058 + 17126. Does 228 divide p?
True
Let u(p) = p**3 + 15*p**2 + 37*p - 136. Is 33 a factor of u(13)?
False
Suppose 2*h - 4*h + 8 = 4*i, i - 5*h = 2. Suppose -2*r + 5*n = -1579, -18*r = -20*r - i*n + 1544. Is 48 a factor of r?
False
Let y(q) = q**3 + 11*q**2 + 5*q - 11. Let d be y(-9). Suppose -5*k - d = -7*k. Suppose -2*f - 242 = -r - 4*r, -r = -5*f - k. Does 23 divide r?
False
Is 17 a factor of 28/6*(-5478030)/(-945)?
False
Let g = 1771 + 7488. Is 23 a factor of g?
False
Suppose -2*u + 4 = -4. Suppose u*w - 2*w = 16. Suppose 0 = -w*g + 139 + 341. Is 8 a factor of g?
False
Let x(o) = -2*o**3 + 2*o**2 + 34*o + 54. Is x(-13) a multiple of 70?
False
Let f(d) = 165*d**2 - 23*d - 9. Does 15 divide f(-7)?
False
Let i(f) = -2*f**3 - 6 - 4*f - 7*f**2 - 3*f**2 + 4*f**2. Let r be i(-4). Suppose -4*h + 8*s = 3*s - r, h - 5*s - 3 = 0. Is 2 a factor of h?
False
Let d(x) = 14*x**2 - 13*x + 145. Does 7 divide d(-13)?
False
Let p be (1 + -1)*(-31 - -32). Suppose -5*f + 3*r = -95, p = -0*f - 4*f + r + 83. Does 2 divide f?
True
Suppose 0 = -9*j - 20029 + 124357. Is j a multiple of 23?
True
Let m(s) = -550*s - 14. Let d(h) = 2*h**2 + 17*h + 29. Let t be d(-6). Is m(t) a multiple of 15?
False
Let i(y) = -6*y + 16*y**2 - 21*y**2 - 3*y + 55 + 4*y**2. Does 15 divide i(-9)?
False
Suppose 4*z + 5*q = 2*z - 503, q + 1292 = -5*z. Let d = 483 + z. Is 16 a factor of d?
True
Suppose -12256 = -7*j + 5699. Let u = -1753 + j. Is u a multiple of 58?
True
Let g be 26/(-39) + (-800)/6. Let k = g + 39. Let j = -57 - k. Does 8 divide j?
False
Let z = -19 - -50. Suppose -4*u = 23 - z. Suppose g = 3*s - 336, -u*g = -s + g + 112. Does 14 divide s?
True
Suppose 3*x - 5796 = 4*y, -9956 = -4*x + 5*y - 2228. Is x a multiple of 28?
True
Let x = -71035 - -123863. Is x a multiple of 281?
True
Is (7560/(-810))/((-2)/195) a multiple of 5?
True
Suppose 4*q = 4*k + 80048, -84429 - 15640 = -5*q - 4*k. Is 118 a factor of q?
False
Let v = 342 - 308. Is 3 a factor of (-1893)/(-15) - v/170?
True
Let l(z) = -33 - 13*z + 58*z + 54*z - 17*z. Let g be l(15). Suppose -11*f + 2*f = -g. Is f a multiple of 34?
False
Suppose 34769 = 23*j + 2*j - 115606. Is j a multiple of 25?
False
Let p(k) be the first derivative of -k**3/3 - 13*k**2/2 - 4*k + 23. Let m be p(-12). Is 8 a factor of (8/(-3))/m + 314/6?
False
Suppose 3*b = 4*b + q - 23846, b - 23832 = -3*q. Does 31 divide b?
False
Let t(r) = 133*r**2 + 61*r - 133. Is 37 a factor of t(-7)?
True
Suppose -16*x + 365 = -611. Suppose -5*d = -x - 344. Is 11 a factor of d?
False
Suppose -17*o - b = -21*o + 18820, -4*o + 3*b = -18812. Is o a multiple of 7?
False
Suppose 0 = -k + 2, r + 3*k = -20 - 16. Let c = 438 + r. Is c a multiple of 9?
True
Let j(n) = -32*n**3 - 13*n**2 - 27*n + 18. Is 19 a factor of j(-8)?
False
Let m = -428 + 212. Let z = -160 - -39. Let t = z - m. Does 10 divide t?
False
Suppose -4*y + 4 = 0, 6*a = 10*a - 4*y - 23812. Does 229 divide a?
True
Suppose -3*o - o + 29 = x, 0 = 4*x - 5*o - 158. Suppose x*y - 3948 = -10*y. Does 9 divide y?
False
Suppose k - 3*p = -1, 31 = 5*k - 0*k + 3*p. Suppose 6*w - 108 = k*w. Suppose -w = y - 4*y - 3*q, -2*y + 76 = q. Is 20 a factor of y?
True
Suppose -2*u + 12 = 0, 35*u = 5*g + 39*u - 1564. Is g a multiple of 9?
False
Let k(s) = 9*s**2 - 6*s - 5. Let f be k(-8). Is 17 a factor of 25/125 - f/(-5)?
False
Let q(c) = 3*c**3 + 3*c**2 + 4*c + 6. Let f be q(-3). Let s = f + 105. Suppose 4*k = k + s. Is 5 a factor of k?
True
Let v = 5529 + 1983. Is v a multiple of 24?
True
Suppose -17*r - 609 = 2944. Let a = r + 354. Does 2 divide a?
False
Suppose -115961 = -36*v + 5863. Is 6 a factor of v?
True
Let m(g) = -866*g - 1016. Does 64 divide m(-7)?
False
Does 12 divide (-51264)/6*(-126)/24?
True
Suppose 0 = 5*c - 5, 0 = k - 2*k - c + 4. Let x(u) = -u**3 - 2*u**2 - u + 4. Let v be x(k). Is (v/66)/(((-5)/(-216))/(-5)) a multiple of 11?
False
Suppose t - 14075 = 5*s, 3*t - s = 68024 - 25841. Is t a multiple of 20?
True
Let p(n) = 49*n**2 + 4*n - 2. Let c be p(3). Suppose -4*v + 213 = -c. Does 23 divide v?
False
Suppose -n = -3*c + n + 2606, -c + 3*n + 878 = 0. Suppose c*s = 871*s - 460. Does 23 divide s?
True
Let j be 17/4 - (-15)/(-60). Suppose 5*i = j*i + 68. Suppose 3*s + f + 5 - 68 = 0, -4*s + 4*f = -i. Does 20 divide s?
True
Is 4663 + (-2)/(-72)*12*(-2 + 5) a multiple of 63?
False
Suppose -11*k = -l - 6*k + 11, 5*l - 3*k - 33 = 0. Suppose -l*i + 182 = 44. Is i a multiple of 17?
False
Let i = 28026 - 13704. Does 21 divide i?
True
Let s(i) = i**3 - 13*i + 15. Let u be s(-4). Suppose 0 = -u*t - 5*x + 3183, 2576 + 598 = 3*t + 2*x. Is t a multiple of 11?
True
Suppose -7*h + 24 = -46. Does 16 divide ((-4)/(-10))/((h/6400)/1)?
True
Let f(i) = -i**3 - 4*i**2 + 2*i - 10. Let c be f(-5). Suppose -l + c*l = 444. Is l a multiple of 6?
False
Suppose -3*j = 3*s + 5538, -1850 = j - 9*s + 12*s. Let c = -769 - j. Does 14 divide c?
False
Let b(w) = 3*w - 27. Let l be (-1)/((-7 - -6)*2/20). Let k be b(l). Suppose -4*j - 24 = -p, -3*p - j = k*j - 40. Is p even?
True
Let m(h) = 364*h**2 + 10*h + 54. Does 68 divide m(-4)?
False
Does 134 divide 169/(3 - (-868)/(-294))?
False
Suppose 0 = 224*f - 219*f + 5390. Let n = f - -1975. Does 39 divide n?
True
Suppose -10 = 2*d, 1182 + 375 = 4*s - d. Let y = -92 + s. Is 13 a factor of y?
False
Suppose -y = 5*y - 12. Suppose 4*q + 2*x - 15 = 5*x, y*q = -x + 5. Is 11 a factor of 2/q + ((-26530)/21)/(-10)?
False
Let o = 881 + -21. Let l(w) = 6*w**2 + 2*w - 1. Let t be l(1). Suppose 0 = -t*n + 92 + o. Is n a multiple of 17?
True
Let s(z) = 6 - 4*z**2 - 8*z - 6*z**3 + 10*z**3 + 2*z**3 - 5*z**3. Let l be s(5). Let n(d) = 2*d**2 + 7*d + 15. Does 19 divide n(l)?
True
Let f = -109 + 111. Suppose 146 = -f*x - 244. Is 42 a factor of (x/(-45))/(1 - 38/39)?
False
Let n(j) = 15*j**2 - 28*j - 21. Let i(g) = -7*g**2 + 14*g + 11. Let h = 30 - 24. Let z(q) = h*n(q) + 13*i(q). Does 7 divide z(12)?
False
Suppose -125 - 139 = 6*u. Let y(l) = l**3 + 43*l**2 - 47*l + 57. Is 63 a factor of y(u)?
True
Let p(o) = -8*o - 25. Let t be p(0). Let g be (3 - 15330/t) + (-3)/15. Let x = g + -336. Is x a multiple of 40?
True
Suppose n - 1 = -2*m, -18 = -5*n - m + 4*m. Suppose -t + 2*r = -4, -4 = -n*t + 2*t + 4*r. Is 9 a factor of (-351)/(-52)*t*2?
True
Suppose 2*u + n + 274 = 5*u, 0 = -4*u + 4*n + 368. Suppose u*a = 85*a + 474. Is a a multiple of 11?
False
Let w(s) = s**3 - 6*s**2 - 5*s + 57. Let x be w(6).