 u + 360. Is 41 a factor of d?
False
Let q = -13493 - -23743. Does 82 divide q?
True
Suppose 5*a - 10 + 5 = 0. Suppose -k - 12 = 5*w, 3*k - 2*w = -a - 1. Is (-85)/(-10)*(k + 4) a multiple of 8?
False
Let l(x) be the first derivative of x**2/2 - 11*x + 35. Let p be l(17). Is 9 a factor of p/1*(-624)/(-32)?
True
Suppose -9*a - 1152 = -3*a. Let c = 212 + a. Is c even?
True
Let u = 4709 + 8672. Does 19 divide u?
False
Let y(o) = -o**2 + 13*o - 18. Suppose 0 = 9*j + 120 + 69. Let a = j - -30. Is 8 a factor of y(a)?
False
Let a(j) = -j**3 + 15*j**2 - 7*j - 8. Let m be a(13). Let h(r) = -21*r - 1. Let g be h(6). Let w = g + m. Is 28 a factor of w?
True
Suppose 0 = -6*j - 2*j + 16. Let d be -5 + (11 - -4 - j). Suppose -332 - 932 = -d*t. Is t a multiple of 17?
False
Let y = -860 + 4059. Is 66 a factor of y?
False
Let q = 4885 - 1873. Does 93 divide q?
False
Let w(a) = -283*a - 109. Let k be w(-5). Suppose -k = -3*p - 478. Does 12 divide p?
True
Let f be 74*((-5)/(-10))/(4/(-448)). Let z = -2794 - f. Is z a multiple of 30?
True
Let c(n) = -21*n + 10*n + 4 - 17*n + 0. Suppose -19 = 4*w - 11. Is c(w) a multiple of 12?
True
Let a(p) = -20*p + 13944. Does 9 divide a(132)?
True
Let o(b) = -33*b**2 - 2*b + 1. Let j be o(-2). Let m = j - -131. Suppose 8 = m*v, 148 = t - 4*v + 3*v. Is t a multiple of 19?
False
Let u(p) = -247*p**2 - 1. Let b be u(-1). Suppose -66*j - 34080 = 7*j + 7*j. Let n = b - j. Does 18 divide n?
False
Let l be (-1 - 0)/(8906/1272 - 7). Suppose 5*b = 958 - 5578. Let g = l - b. Is 48 a factor of g?
True
Let u = 62 + -59. Suppose u*m = -3 - 18. Let v(j) = j**3 + 7*j**2 - 4*j - 6. Does 11 divide v(m)?
True
Let k(l) be the third derivative of -3*l**4/4 + 40*l**3 - 4*l**2 + 4. Does 32 divide k(-8)?
True
Let v(h) = 750*h + 2447. Does 20 divide v(6)?
False
Let d = 394 + -391. Suppose -7*o = -d*o + 20, 4*l - 2*o = 1250. Does 8 divide l?
False
Let h be (2/4)/(7/(-56)) + -12. Is 170*(h/(-10))/4 a multiple of 27?
False
Let h be (-8 + 323)*(0 + 1). Let u = h - 105. Is 35 a factor of u?
True
Let c be (-20)/230 + 50/46. Is c + 42/(-38) - (-15408)/171 a multiple of 30?
True
Let a = -86 + 92. Suppose -5*z - 7*v = -3*v - 38, 3*v = a. Does 6 divide z?
True
Suppose 13*q - 9 = 14*q. Let l = q + 11. Suppose 3*d + 63 = 4*w, 0*d - 4*d = -l*w + 34. Is 15 a factor of w?
True
Let b(g) = 82*g + 83*g + 0 - 174*g - 16. Does 5 divide b(-4)?
True
Let x = 7961 + 7117. Is 42 a factor of x?
True
Let n = 991 + -530. Let r = n - 250. Does 28 divide r?
False
Let l = 2255 + 1970. Does 65 divide l?
True
Let c(s) = s**3 - 11*s**2 - s + 4. Let g be c(11). Let o be (g/(-21))/1 - (-2)/3. Is 8 a factor of (o - (-1 - -116))*72/(-54)?
True
Let h = 330 - 180. Suppose -8*x = -5*v - 3*x + h, v - 2*x = 32. Is 28 a factor of v?
True
Is 4/(-20) + 2/(-20)*-42 - -6456 a multiple of 68?
True
Suppose 2*v + 54954 = j + 4*j, -32973 = -3*j + v. Is j a multiple of 12?
True
Suppose 0 = 111*o + 18*o + 30*o - 943506. Is 46 a factor of o?
True
Let t = -12 - -12. Let x = -255 + 270. Suppose t = 5*p + x, -3*d + 2*p + 131 = 2*d. Is d a multiple of 3?
False
Let f be (3/4)/(30/17440). Let j(n) = -n**3 + 3*n**2 - 8*n - 4. Let i be j(7). Let h = f + i. Is 10 a factor of h?
True
Let w(o) = -3*o + 8. Let m = 18 - 28. Let x be -4*5/m + 0. Is 2 a factor of w(x)?
True
Let v(x) = 2*x**2 - 94*x - 408. Let l be v(-4). Let h(q) be the first derivative of -q**4/2 + 50*q + 2. Is h(l) a multiple of 6?
False
Let t = -41 + 50. Suppose -p = t - 58. Let y = p + -37. Does 6 divide y?
True
Let b be (-2)/8 + 41/4. Suppose b = -4*w + 3*n - 53, -2*w = 4*n + 4. Does 29 divide (3 + (-556)/(-8))*w/(-10)?
True
Suppose 0 = 529*v - 580*v + 120309. Is v a multiple of 9?
False
Suppose m = -4*o + 33344, -1375*o + 1376*o - 8336 = 3*m. Is 20 a factor of o?
False
Let z(i) = 2*i**3 - 16*i**2 - 18*i. Let p be z(9). Suppose -r - 1 = -p*r, 0 = 2*u + 4*r - 56. Does 6 divide u?
True
Let s(m) be the first derivative of 11*m**4/2 + 2*m**3/3 - m**2 + m + 70. Does 49 divide s(2)?
False
Let c(f) = f**2 - 9*f - 10. Let y(u) be the second derivative of -5*u**3/6 - 12*u**2 - 19*u. Let o be y(-7). Is c(o) a multiple of 6?
True
Let v(g) be the second derivative of g**4/12 + g**3/6 - 3*g**2 - 48*g. Let l(b) = 10*b + 1. Let m be l(1). Is 14 a factor of v(m)?
True
Suppose 3*k + v + 34 = 6*k, 0 = 4*k - v - 47. Does 2 divide k + 7 + (2 - 6)?
True
Suppose -4*h + 14 = v, 3 = 3*h - v - 4. Suppose 11*n - 5*g = 8*n + 584, h*n - 3*g = 588. Is 11 a factor of n?
True
Let v(y) = -y**3 + 5*y**2 + 7*y + 2. Let q be v(7). Let i = -39 - q. Is 23 a factor of (-485)/(-7) - i/28?
True
Suppose 319 = -5*h - 41. Let l = 72 + h. Suppose l = -9*s + 325 + 269. Is s a multiple of 51?
False
Let c(j) be the first derivative of -16*j**2 - 174*j + 182. Is 27 a factor of c(-24)?
True
Let f(u) = -u**3 - 34*u**2 + 68*u - 232. Is 33 a factor of f(-38)?
False
Let w = 31 - -2. Suppose -l = -4*l + w. Suppose 0 = -10*j + l*j - 119. Is 17 a factor of j?
True
Suppose -2*f - 3*y + 10456 = 0, -5*f - 76*y = -78*y - 26178. Is f a multiple of 37?
False
Let o(c) = 74*c - 1378. Is o(65) a multiple of 24?
True
Suppose 5*m = -4*b + 5775, 2*m + m + 2*b - 3463 = 0. Suppose -c + m = 68. Is c a multiple of 12?
False
Let y = -575 - -22. Let j = y - -715. Is 3 a factor of j?
True
Let x = -8603 + 18302. Does 162 divide x?
False
Let j = -198 - 41. Let i = j + 275. Is 6 a factor of i?
True
Suppose -83*m = -66*m - 130305. Is m a multiple of 40?
False
Suppose 97 = 3*w - 2*z, -3*w + 106 = -3*z + 13. Suppose -108 = -39*n + w*n. Is n a multiple of 21?
False
Suppose 12 = -3*h + 3*m + 33, -5*m = 5*h - 5. Suppose -v = -h*v. Suppose 3*p - 7*p = 3*q - 237, v = -4*p - q + 239. Does 15 divide p?
True
Let c(y) = -6 - 109*y**2 + 254*y**2 + 5*y - 120*y**2. Is 2 a factor of c(1)?
True
Suppose 5*n = m - 34, 2*m + 3*n - 8 = n. Suppose m*v - 236 - 223 = 0. Is 51 a factor of v?
True
Suppose 2*a - 1426 = -4*p, 2*a = -2*p - 0*a + 708. Suppose -2*z + p = -2*y - 1033, -3*y = 0. Is z a multiple of 29?
True
Let x(y) = y**3 + 19*y**2 + 13*y - 266. Let b be x(-20). Let i = 1021 + b. Is i a multiple of 4?
False
Suppose 4*r = 3*m - 45985 - 17807, 0 = 3*r + m + 47844. Is 3 a factor of r/(-90) + (-1)/5?
True
Let b(w) be the first derivative of 1/2*w**2 + 4/3*w**3 + 0*w + 9. Does 3 divide b(-3)?
True
Let c = 731 + -732. Let z be 10/(-3)*(-6)/(-2). Does 7 divide 56*(5/z - c)?
True
Let s(l) = 13*l**2 + 450*l - 58. Is s(-48) a multiple of 29?
True
Let n = 25 - 7. Suppose -21*t = -n*t. Suppose 298 = 5*i - 2*p, -3*i + t*p - p = -181. Is i a multiple of 20?
True
Let j = -10224 - -16152. Does 26 divide j?
True
Suppose -18*w + 2931 = 753. Let x = 131 - w. Is 10 a factor of x?
True
Let s(w) = 39*w + 4. Let v be s(3). Does 5 divide v + (4 - -1) + 0?
False
Suppose -4*n = -7*n - 2*s + 99, -3 = -s. Let l = n - 57. Is (-2)/(-6) - (-138)/(-36)*l a multiple of 19?
False
Let m be (-20)/(-6)*(84/10 + -6). Suppose -m*b - 363 = -2939. Does 23 divide b?
True
Suppose -854904 = -100*f - 377*f + 119*f. Is f a multiple of 4?
True
Let d(w) = -w**3 - 8*w**2 - 11*w + 17. Let g be d(-5). Is (-105*1)/(-3) - (-9)/g a multiple of 8?
True
Let z(g) = -g**3 + 10*g**2 - 8*g - 6. Let x be z(9). Suppose -f - 3*h + 5 = -3, f = 2*h + x. Does 43 divide ((-3)/f)/(6/(-2580))?
True
Suppose -684*z = -680*z - 12. Suppose -1140 = -16*l - z*l. Is l a multiple of 10?
True
Let h be (4/1)/((-56)/(-1456)). Suppose -5*i + 10 = -2*y, 0 = -5*i + 1 + 19. Suppose 5*v - h = -y*r + 31, -v - 153 = -5*r. Does 6 divide r?
True
Let g(c) be the second derivative of 10*c**3/3 - 20*c**2 - 5*c. Let b be g(11). Suppose 5*p - 140 - b = 0. Is p a multiple of 16?
True
Is (6880/(-56))/(2 - 432/210) a multiple of 43?
True
Let g = -117 - -110. Let a(f) = f**2 - f + 2. Does 10 divide a(g)?
False
Suppose 9*b + 2*z = 14*b, 10 = 2*z. Is 14 a factor of -156*1/b*(-20)/10?
False
Is 4 a factor of (-3321220)/(-980) - -1*(1 - -3)?
False
Let r(t) = -2*t**3 - 15*t**2 - 28*t + 2. Let h be r(-4). Let v(p) = 20*p**2 + 6*p - 12. Does 10 divide v(h)?
True
Suppose -4*m + 7796 = 2*s, -4*s + 402*m - 397*m = -15527. Is s a multiple of 3?
True
Let c(h) = h + 1054 - 1051 + 2*h - 2*h + 19*h**2. Let o be 4/6 - 8/(-6). Does 12 divide c(o)?
False
Let u be 3*102/(-10) + 21/35. Let f = u + 25. Let a = f + 54. Is 7 a factor of a?
True
Is ((-118)