 1208. Does 14 divide d?
True
Let c(s) = 2*s**2 - 20*s + 23. Let r(y) = -y**3 + 4*y**2 - 2*y + 5. Let q be r(4). Let i be q/9*-33*1. Is 24 a factor of c(i)?
False
Let j = -268 - -271. Let l(a) = a**3 + 3*a**2 + 5*a - 13. Does 3 divide l(j)?
False
Suppose 5*b - 2*n - 2*n + 289 = 0, 4*n = b + 45. Suppose -219 = -3*q - 3*u, 5*q + u - 207 - 158 = 0. Let r = b + q. Is r even?
True
Suppose -631007 = -160*a + 258433. Is 32 a factor of a?
False
Let p(a) = -a**2 - 9*a + 5. Let t be p(-9). Is (20/t)/((-4)/(-402)) a multiple of 40?
False
Suppose l + 13 - 20 = 0. Suppose 98 = -l*p + 21*p. Is 2 a factor of p?
False
Suppose 13*k - 4193 = -852. Suppose -13*w + k + 146 = 0. Is 26 a factor of w?
False
Is (12650/5 - 6) + (2 - 2/2) a multiple of 5?
True
Suppose 106*w + 14882 = 120*w. Suppose 0 = 3*k - 4*a - w, -4*a + 5*a = 2. Does 31 divide k?
False
Let u(c) = 77 - 44*c**3 + 17*c + 9*c + 12*c + c**2 - 9*c. Is 24 a factor of u(-3)?
False
Let o(l) = l**3 + 44*l**2 + 251*l - 112. Is o(-37) a multiple of 12?
False
Let y(h) = 903*h + 4153. Is y(6) a multiple of 22?
False
Let o be 2/(-8) + 6*(-54)/(-16). Suppose -4*n - n = -p - 1766, 5*p - o = 0. Does 59 divide n?
True
Let a(b) = -b**3 + 3*b**2 - 2. Let u be a(2). Suppose -5*q - 25 = -5*w, -3 = 5*q - u*q + w. Does 5 divide q - -44 - (-2 + (-1)/1)?
True
Let b = 46 + -48. Let k be 13/(15/6 + b). Suppose -k*u = -22*u - 352. Is 21 a factor of u?
False
Let w(y) be the second derivative of 7*y**3/6 + 14*y**2 - 2*y. Let a(r) = 8*r + 134. Let x be a(-15). Is 13 a factor of w(x)?
False
Let c(l) = -l**3 + 3*l**2 + 9*l. Let o be c(5). Let n be (-5)/(25/(-2)) + 2/o. Suppose 4*x - 32 = -4*d, 0 = d + 2*x - 10 - n. Is d a multiple of 6?
True
Let a = 60 + -55. Suppose 20 = a*p, -112 = -j - 5*p + 20. Is 16 a factor of j?
True
Let z(h) = 2*h**3 - 117*h**2 + 906*h + 96. Is 3 a factor of z(50)?
False
Let p(m) = -110*m - 4999. Is p(-87) a multiple of 86?
False
Suppose 17136 = -297*s + 304*s. Suppose 51*x - s = 45*x. Does 12 divide x?
True
Let v = -5515 - -14335. Suppose -v = -29*f - 2730. Is f a multiple of 35?
True
Does 75 divide -6 - (-5)/20*4 - 11*-130?
True
Does 9 divide (((-1702)/185)/23)/((2/73240)/(-1))?
False
Let h be (-3)/((36/16 + -2)*-3). Suppose -2431 = -h*d + 3*s, -3*s - 1396 = -2*d - 185. Does 11 divide 24/32 - (0 - d/8)?
True
Let t(r) = r**2 + 5*r - 12. Let o be t(0). Let a be 2/o - (-5257)/42. Let m = -67 + a. Is 9 a factor of m?
False
Suppose 4*f + 1308 = 4096. Let w = 1092 - f. Is w a multiple of 40?
False
Suppose 0*n + 4*n + a - 745 = 0, 2*a = 4*n - 742. Let y = 48 + n. Suppose i + 2*i - y = 0. Does 11 divide i?
False
Let n(d) = -4614*d**3 + 4*d**2 + 68*d + 125. Is 19 a factor of n(-2)?
True
Let p = -6 + 0. Let w(x) = -x - 15. Let j be w(p). Is (4 - j/(-2)) + (-831)/(-6) a multiple of 19?
False
Let k = 13443 + -3615. Does 156 divide k?
True
Let w = 41 + -25. Suppose 4*b - 12*b = -w. Suppose 3*a - b*s - 180 = s, a - 2*s - 65 = 0. Is a a multiple of 14?
False
Let v(r) = 5704*r - 2420. Does 73 divide v(3)?
False
Let s = -13144 - -25715. Is 25 a factor of s?
False
Let b(i) = -32*i**3 - 2*i - 2. Let p = 865 + -867. Does 4 divide b(p)?
False
Suppose 68*p + 3225 = 73*p. Is 8 a factor of 8/(48/p) - 9/6?
False
Let g be ((-8)/(-1) + 2335)/1. Suppose 925 + g = 19*m. Is 4 a factor of m?
True
Let b = 43 - 73. Let u = b + 30. Let g = u - -54. Does 18 divide g?
True
Let i(m) = m**3 + 16*m**2 - 14*m + 54. Let f be i(-17). Suppose -f*b = 3*c - 264, -4*c + 2*b + 72 = -310. Is c a multiple of 8?
False
Let z be -4 - ((19 - -1) + 2). Suppose -31 - 3 = -x. Let q = x + z. Is q a multiple of 6?
False
Let p be ((-114)/(-1))/(80/1000). Suppose 0 = 9*z + p - 6240. Does 34 divide z?
False
Suppose 120 = -2*m + d - 37, -m = 4*d + 101. Let o(t) = 40*t + 4. Let u be o(3). Let k = u + m. Is 16 a factor of k?
False
Let q(l) = 4*l**2 + l. Let t be q(-1). Suppose -t*o = -100 + 22. Suppose b - o = -6. Does 5 divide b?
True
Suppose -40*j - 4754 - 1510 = 14*j. Let m(p) = 239*p**2 - p - 1. Let r be m(-1). Let t = j + r. Is 23 a factor of t?
False
Is 37 a factor of (444/72*18)/(3*(-4)/(-132))?
True
Suppose 23284 + 29516 = 20*r. Is r a multiple of 10?
True
Let s(x) = 95*x**2 + 40*x - 484. Is 8 a factor of s(10)?
True
Let p(b) = 29*b**2 - 4*b + 6. Let y be p(3). Let u(v) = v**2 - 16*v - 7. Let d be u(24). Suppose d = 5*q - y. Does 11 divide q?
True
Suppose 2*d = -2*d + 20. Let y = d + -24. Let g = y - -31. Is 3 a factor of g?
True
Suppose 5*c - 4*p = 127176, -3*c = 4*p + 42966 - 119246. Is c a multiple of 136?
True
Let x be 372/30 - -3*(-2)/15. Suppose -4*y + 4*t + x = 0, 0 = 4*y + t - 25 + 8. Is (40/2)/y*17 a multiple of 15?
False
Suppose 7*b - 3*z - 1632 = 0, 3*b - 706 = -43*z + 41*z. Is b a multiple of 26?
True
Let l(k) = 12*k + 2760. Is 26 a factor of l(-87)?
True
Suppose 2*f = -0*f + 50. Is 6 a factor of f?
False
Suppose 9*b = 40*b - 3029 - 3605. Is 2 a factor of b?
True
Let f(p) be the first derivative of -2*p**3/3 - 7*p**2 - 3*p - 13. Let y be f(-11). Let r = -63 - y. Is r a multiple of 7?
True
Let q(b) = 6*b**2 + 2*b + 1078. Suppose 2*z + n = 2, -4*z + 2*n - 3*n + 2 = 0. Does 76 divide q(z)?
False
Let a = -140 + 115. Let g(n) = -n**3 - 24*n**2 + 23*n + 5. Does 55 divide g(a)?
True
Let n = -3743 + 8522. Suppose -28*a + 37*a - n = 0. Is a a multiple of 14?
False
Let k(u) = u - 5. Let x be k(4). Let d be 12/3 + x + 0. Suppose -2*y = -3*v - 17, 5*y + 7*v - d*v - 31 = 0. Is 2 a factor of y?
False
Let b(a) = -44*a**3 - 5*a**2 + 44*a - 3. Is 41 a factor of b(-8)?
True
Suppose -5*x + 34*j + 61585 = 39*j, 4*j = -3*x + 36953. Is x a multiple of 19?
False
Let l(n) = n**3 - 5*n**2 + 5*n - 20. Let f be l(4). Let m(z) = -z**3 - 13*z**2 + 40*z + 17. Is 2 a factor of m(f)?
False
Suppose k = -2*a + 4663, -4*a = -447*k + 444*k - 9361. Is a a multiple of 16?
False
Let n = 2422 - 2340. Is n a multiple of 14?
False
Does 213 divide -5 - (366680/(-72) + (-2)/9)?
False
Is 45 a factor of (-36)/378 + 11/(1155/1027750)?
False
Let h(z) = 58*z**3 + 6*z**2 - 8*z + 2. Let q be h(2). Let d = q + -235. Is d a multiple of 15?
False
Suppose g - 279 = 4*g. Let u = 56 - g. Does 30 divide u?
False
Let r be 2/((-8)/252*-1). Let m be (-14)/(-4) + (r/(-14) - -4). Suppose 2*h - 4*h = -m*f - 22, h - 3*f - 8 = 0. Is 13 a factor of h?
False
Let r(c) = -122*c - 158. Let k be r(-30). Suppose -16*m + 5330 = -k. Does 69 divide m?
True
Suppose -2*j = -3*n + 2825, -153*j - 1878 = -2*n - 149*j. Does 7 divide n?
False
Let w(d) = 4*d - 1. Let y be w(-5). Let p(u) = 11*u + 7*u + 5 - 20 - 4 + u**2. Is p(y) a multiple of 11?
True
Let d = 51 - 47. Suppose 3*n + 2*s - 76 = 0, 2*n - 3*n + d*s = -16. Suppose -2*t + 152 - n = 0. Is t a multiple of 16?
True
Let v(q) = -17*q - 79*q + 16 + 35*q + 5*q**2 + 26. Does 8 divide v(15)?
False
Let x be (-4 - -6)*(-10)/(-4) - -546. Suppose 6*r - x = 4171. Is 31 a factor of r?
False
Let b(d) = -d**3 - 16*d**2 - 11*d + 30. Let l be b(-15). Let z(w) = -25*w + 225. Is z(l) a multiple of 39?
True
Suppose 2*t = 2*t - 3*t. Suppose t = 4*h - 3*h - 179. Is 9 a factor of h?
False
Suppose -235*z = -243*z + 24. Suppose -z*h + 37*c = 33*c - 2952, -3*h = 5*c - 2925. Does 49 divide h?
True
Let b = -4785 - -4881. Let q(l) = 8*l**2 - 7*l - 6. Let o be q(6). Let x = o - b. Is 10 a factor of x?
False
Let p(k) = 24*k**2 + 5*k. Let i(r) = -r**2 + r - 1. Let y(b) = 3*i(b) + p(b). Is 5 a factor of y(3)?
True
Let n be 15566 - (60/4)/(-3). Suppose 26*d = n + 1017. Does 58 divide d?
True
Let b(z) = 36*z - 42. Suppose -3*k = 3*c - 45, 0*c = -4*c + 3*k + 46. Let a be b(c). Does 4 divide (-1 - (-6)/10) + a/15?
True
Let u(a) = a**2 + 24*a + 32. Let c(p) = 2*p**2 + 48*p + 63. Let g(v) = 3*c(v) - 7*u(v). Does 36 divide g(-11)?
True
Let v be 30242/8 + (210/24 - 9). Suppose 13*w - v = -w. Does 18 divide w?
True
Let j(y) = -3*y + 39. Let x be j(13). Suppose 2*p - 112 = -5*i, x = 3*p + 5*i - 2 - 171. Is 29 a factor of p?
False
Suppose 2579 = 26*i + 473. Is 13 a factor of -78*(0 - -1)*i/(-6)?
True
Is 4816 + (-68)/(-102)*(-4 - -1*1) a multiple of 50?
False
Suppose 4*i - 20 = 0, 11*i + 494 = 4*u + 9*i. Is 7 a factor of u?
True
Let g = -3497 + 6019. Is 26 a factor of g?
True
Let g(w) = 2*w**3 - 7*w**2 + 14 + w**2 - 12 - 6*w. Let k be g(7). Suppose i - 100 = 3*u - u, -4*i = 4*u - k. Is 15 a factor of i?
False
Su