ose 4*r + 116 = -4. Is 27 a factor of x(r)?
True
Let f(m) be the second derivative of 95*m**4/12 - 7*m**3/3 - 2*m**2 - 58*m + 2. Is 45 a factor of f(-2)?
False
Suppose -11*t + 1285 = -5205. Suppose -4*k = -2*p + t, -495 = -2*p + k + 89. Is 28 a factor of p?
False
Is (-17)/(-68)*-24 + (67086 - -2) a multiple of 34?
True
Let z = -139 + 107. Is 7 a factor of (-2)/7*(-17 + z)?
True
Let z(w) = -15 + 93 - 5*w - 46*w. Does 31 divide z(-5)?
False
Let l(q) = -2*q**2 + 15*q + 18. Is l(6) a multiple of 13?
False
Let u(l) = 3*l**2 + 11*l + 14. Let q be ((-2925)/10)/(-9)*8/(-10). Let p(z) = 2*z + 46. Let n be p(q). Is 14 a factor of u(n)?
True
Let m(y) = -y**3 + 16*y + 55. Let x = 383 - 390. Does 11 divide m(x)?
True
Suppose 8*n = 12*n - 12, 0 = j + 4*n - 3572. Is 8 a factor of j?
True
Suppose 0 = 2*x + 2*v - 12274, 7*x = 6*x - 5*v + 6133. Is x a multiple of 6?
True
Let v(q) be the second derivative of 103*q**3/3 - 6*q**2 - 316*q. Does 17 divide v(6)?
True
Suppose -10 = 24*c - 26*c. Suppose -238 = -6*i + c*i. Does 21 divide (i + -1)*(-2)/(24/(-4))?
False
Suppose -h = -8 - 6. Does 40 divide 2715/(-6)*h/(-7)?
False
Is -12962*(101/(-707))/((-18)/(-14) + -1) a multiple of 12?
False
Let k = -309 - -315. Does 5 divide (-64)/11 + k - (-4726)/22?
True
Let a(s) be the first derivative of -5*s**4/4 - s**3/3 - s**2/2 + 3*s + 30. Let u be a(-2). Suppose 0 = -46*q + u*q + 50. Does 10 divide q?
True
Suppose -932*n = -941*n + 78156. Is 27 a factor of n?
False
Suppose 0 = -5*h + 2*h + 105. Let x be (-4 - -5) + (-21)/3 + 45. Let i = x - h. Does 2 divide i?
True
Does 22 divide 891 + (-4 - -1 - -4)*-1?
False
Let m(w) be the first derivative of 20*w**3/3 + 3*w**2/2 + 55*w + 176. Is 84 a factor of m(-8)?
False
Let g(i) = i**2 + 137*i - 818. Is 171 a factor of g(65)?
True
Suppose 14*b - 10*b - 3875 = -3*u, 5*u - 6460 = -5*b. Is u a multiple of 53?
False
Suppose -2*y - 1 = n - 0*y, -5*n + 25 = 4*y. Let v be 3/n - (-334)/(-3). Let o = 303 + v. Does 24 divide o?
True
Suppose -14*b + 35*b = 10290. Let q = 709 - b. Is q a multiple of 11?
False
Let m = 366 - 383. Let q(u) = -8*u + 4. Does 17 divide q(m)?
False
Let p(g) = g**3 + 10*g**2 + 17*g - 6. Let x be p(-8). Is 9 a factor of (-3925)/(-35) + 2/x?
False
Let h be (-2)/4 + 88/16. Is 6 a factor of 31 - (h - 4 - 2)*3?
False
Suppose 68*y - 29*y = -122018 + 977639. Is 309 a factor of y?
True
Let u be (-261)/((-1)/1) - -5. Suppose -7*m + 1386 - u = 0. Let g = -94 + m. Does 14 divide g?
False
Suppose 2*f + 2*f = -s + 33, 0 = -4*f - 5*s + 53. Suppose -a = -f + 3. Suppose 0*i = -a*i + 36. Is i a multiple of 3?
True
Suppose 2*r - 3*n - 2554 = n, 5*n + 15 = 0. Let u = -887 + r. Is u a multiple of 3?
True
Let x(c) be the second derivative of -3*c**3/2 - 18*c**2 + 701*c. Suppose -12 = -3*v - 45. Is x(v) a multiple of 21?
True
Let q = -4614 - -8825. Is 2 a factor of q?
False
Suppose j - 4*w + 16 = 0, 0 = -3*j - 5*w + w - 64. Let a be 3 + 1 - (j + 19). Suppose -a*x + 634 + 61 = 0. Does 21 divide x?
False
Let k(v) = 8576*v**2 + 20*v - 46. Is 22 a factor of k(2)?
True
Let p = 25 + -22. Suppose 2*k - r = 638, p*k - 5*r - 967 = -r. Let t = 447 - k. Does 10 divide t?
True
Let j(u) = -u**3 - 9*u**2 + 7*u - 9. Let n = 39 - 49. Let z be j(n). Suppose 5*h = 3*r - 280, 3*h - z = -2*r + 153. Is r a multiple of 30?
True
Let m = 362 - -82. Suppose -5*j + 2*h + 2672 = 0, 3119 = 5*j - 5*h + m. Is j a multiple of 40?
False
Suppose -z + 3*z - 12 = 0. Suppose 4*u - z*u = -12. Is 15 a factor of -3 - (48/8)/((-1)/u)?
False
Suppose -2*i - 416*f + 421*f + 22975 = 0, -4*i - 2*f = -46034. Does 13 divide i?
True
Let i(k) = -1210*k + 14044. Is i(-17) a multiple of 13?
False
Suppose 2*w = -2*f + 240 + 314, -f = -w + 281. Does 27 divide w?
False
Let c = -28 + 28. Let f be 7/(-21) - ((-650)/6 - c). Suppose -5*q = 3*r - f, -4*r = 4*q + r - 89. Is 16 a factor of q?
False
Let d = 28758 + -22557. Does 20 divide d?
False
Suppose l + 6*l = 903. Let d be 1*(-921)/9*-3. Let y = d - l. Does 32 divide y?
False
Let w(j) = 3*j**2 + j. Let k be w(-1). Suppose -m - 2*x + 433 = 0, 1723 = 4*m + k*x - 3*x. Let n = m - 298. Does 25 divide n?
False
Let y be 2/(-1) + (4 - 0/2). Suppose -3*u - 504 = -y*n, -4*u + 8 + 8 = 0. Is 6 a factor of n?
True
Let j(k) = -k**3 - 45*k**2 - 172*k - 53. Is 5 a factor of j(-41)?
True
Let q be 490/(-112) - 6/(-16) - -15. Suppose 1229 = q*g - 850. Does 26 divide g?
False
Suppose 0 = 469*f - 416*f - 2370478. Does 107 divide f?
True
Let d(l) = l + 5. Let r be d(5). Let m be (r/15)/(10/345). Suppose 26*o - 69 = m*o. Is 4 a factor of o?
False
Let x be (-4)/(-9)*-3*126/(-28). Suppose x*y = 3259 + 1607. Is 27 a factor of y?
False
Let t = -2912 + 24208. Does 176 divide t?
True
Let j(r) = 86*r**2 + r - 2. Let f be j(-2). Let c be (f/6 + 2)*3/1. Suppose 5*g + 91 = 2*o, 4*o - g = 3*g + c. Does 5 divide o?
False
Let w(a) = 335*a - 765. Does 17 divide w(10)?
False
Is 21 a factor of (-2 - (-12 - -9)) + 1143?
False
Let g = -107 + 109. Suppose -d = -3*n + g*n - 385, -766 = -2*d + 3*n. Does 19 divide d?
False
Let v be (-2*2)/((-31)/62). Suppose 4*k = 2*x + 344, -5*x + v = 28. Does 7 divide k?
True
Let k(g) = g**2 - 2*g + 9. Let u be -18 + 1 - 2 - (8 + -8). Is k(u) a multiple of 17?
True
Suppose -167520 = -98*l + 276910. Does 153 divide l?
False
Suppose 9*q - 32 = 6*q - 5*n, 82 = 3*q - 5*n. Is 0 + 560*2 + (q - 19) a multiple of 16?
True
Let d(s) = 2*s**2 + 18*s + 13. Let w be 10/(-1)*(-32)/(-20). Let g be d(w). Suppose 6*x - 39 = g. Is 24 a factor of x?
False
Let u(d) = 13*d + 147. Let g be u(-11). Suppose -g*r + 3*q = -1137, r + 293 = 2*r + q. Is r a multiple of 4?
True
Let i = 344 - -1081. Suppose 2*c = -5*t + 2507, -4*t + 574 = -5*c - i. Does 28 divide t?
False
Suppose 9*s + 1643 = -526. Let b = s + 323. Is 11 a factor of b?
False
Let j(a) = -a + 13. Let s be j(8). Suppose 295 + 189 = 4*p + 2*d, -3*p + 350 = -s*d. Is 20 a factor of p?
True
Let j be (-3)/3*(3 - 1). Is 15 a factor of (-154768)/340*(9/j + 2)?
False
Suppose 0 = q - 5*q + 2*u + 11560, 8670 = 3*q - 4*u. Is q a multiple of 5?
True
Let p(g) be the first derivative of g**4/4 - 6*g**3 - 15*g**2/2 - 35*g - 34. Does 41 divide p(19)?
True
Suppose c = -46*c + 84882. Suppose -c = 11*s - 7966. Is 10 a factor of s?
True
Let f(j) = -23*j**2 - 1898*j + 140. Is f(-76) a multiple of 10?
True
Let x = -13 - -19. Let t(d) = d**3 - 6*d**2 + 6*d - 4. Let z be t(x). Suppose -5*p = 2*g - 152, p + 6 = 4*g + z. Does 29 divide p?
False
Suppose -32 = -19*l + 11*l. Suppose 0 = 13*n - l*n - 1332. Does 2 divide n?
True
Suppose 53*t = 61*t - 372864. Is t a multiple of 24?
True
Suppose 83 + 57 = 28*k. Suppose 0 = k*z - 2*j - 270, -3*j = -0 + 15. Is 22 a factor of z?
False
Let d be (-2 + (-21)/(-9))*0. Suppose 3*l = 4*t - 15, -2*t - 5*l - 25 = -d*t. Suppose t = 10*j - 5*j - 60. Does 12 divide j?
True
Let m(o) = 7*o**2 - 7*o - 6. Let u be m(-4). Suppose -u = 4*i - 518. Does 4 divide i?
True
Let h = 1418 + -845. Does 5 divide (-68)/(-170) - h/(-5)?
True
Let f(g) = g**3 + 41*g**2 - 21*g + 247. Is f(10) a multiple of 14?
False
Let a(m) = -m**2 + 115*m + 68. Does 36 divide a(18)?
False
Let v(x) = x**3 + 13*x**2 - 6. Let m be v(-13). Let g be (-554)/m + 8/12. Does 16 divide 72/10*(g/9 + 3)?
True
Let i(o) = 15*o**2 + 195*o - 1518. Is 242 a factor of i(9)?
True
Suppose 0*z + 2*z = -8*z. Suppose 2*r + r - 49 = s, z = -r + 3*s + 19. Suppose -7*x = -r - 82. Does 4 divide x?
False
Let t be 1/((-6)/9*(-9)/948). Suppose -2*v + 326 = 5*c, -t = -v - 8*c + 3*c. Does 28 divide v?
True
Let k = -9 + 9. Let i be (1 - -2)*(73 - 72). Is 15 a factor of i + (k - 1) - (-308)/11?
True
Suppose -2*m - 3 = -3*a, -4*m - 5*a = -a - 24. Suppose m*r = -d + 2*r + 481, -1437 = -3*d - 5*r. Does 44 divide d?
True
Let l = -184 - -184. Suppose l = v + 3*v + d - 725, -d = -v + 185. Is v a multiple of 26?
True
Let u(i) = 2*i + 7. Let g be u(-2). Suppose -p + g*k + 62 = 0, -p - 4*p + 242 = 2*k. Is p a multiple of 5?
True
Suppose 5*f + r - 4211 = 9916, -5*f + 5*r = -14085. Is 10 a factor of f?
False
Let h be (-3*1)/((-87)/464). Let c = 16 + h. Let t = 49 + c. Does 27 divide t?
True
Suppose 0 = -4*m + 4*p + 47480, -3*m - 3*p + 22066 + 13538 = 0. Is 13 a factor of m?
True
Suppose 0 = -4*v - 3*v + 7. Let m be 3*v + (109 + -3 - -1). Let h = 82 + m. Is 16 a factor of h?
True
Let m = -239 + -