multiple of 41?
False
Let u(r) = r**3 - 7*r**2 + 14*r - 44. Let b be u(6). Suppose 0 = n - b, 3*a - 323 = -5*n + 735. Is a a multiple of 10?
False
Suppose -5 + 12 = b. Suppose b + 5 = 4*v + 5*a, a - 14 = 5*v. Is (v + 10/3)*15 a multiple of 16?
False
Suppose -o + 7 = -8. Let l be 3/o - (-124)/(-20). Is 40 a factor of ((-13)/l)/13 + (-257)/(-6)?
False
Let h(p) = 2745*p - 5041. Is h(16) a multiple of 10?
False
Suppose 4*l + 8 = -5*f, 0 = -3*f - 7 - 5. Let t(m) = -17*m - 6*m + l*m + 6. Does 39 divide t(-3)?
False
Let i = -61 - -163. Let j be (4/(-6))/((-17)/i). Suppose j*r - 38 - 3 = -d, -d + 35 = 2*r. Does 29 divide d?
True
Does 21 divide -114*(60/(-8) + (-6 - -10))?
True
Let k(p) be the first derivative of -4*p**2 - 15*p + 3. Let d be k(15). Does 9 divide d*((-14)/(-10) - 2)?
True
Let w = 41 - 36. Suppose -2*p - 78 = -w*r, 0*p = -p + 1. Suppose 0 = 3*h - 62 - r. Is h a multiple of 4?
False
Let t be (-1 - -2)/(1/(-4)). Let b(f) = 39*f + 44. Let x(k) = -19*k - 21. Let r(u) = 6*b(u) + 13*x(u). Is 29 a factor of r(t)?
False
Let z(q) be the second derivative of -7*q**3/6 - 3*q**2 - q. Let x(l) = 3*l**2 + 33*l + 69. Let o be x(-8). Is 15 a factor of z(o)?
True
Let q(i) = 8*i + 11. Let f be (1*(-9)/12)/((-4)/208). Let z = 43 - f. Does 7 divide q(z)?
False
Let b = 51 - 63. Is 32 - (32/b - (-6)/(-18)) a multiple of 7?
True
Suppose 3*g - 6 = 3*w, 7*w = 3*g + 5*w - 6. Is 54 a factor of -2 - -594 - (-2 - -2 - g)?
True
Let x(m) = -m**3 + 9*m**2 + 20*m + 12. Let y be x(-7). Suppose 13*b - y = -45. Is 40 a factor of b?
False
Suppose -22*r = -17*r + 30. Is 5/(r/(-88)*(-14)/(-42)) a multiple of 19?
False
Let w(o) = -o**3 + o**2 + 2*o + 2. Let i be w(-1). Suppose -i*d - 285 = -a + 293, -4*d - 580 = -a. Is a a multiple of 32?
True
Let u(j) = -118*j + 44. Let y be u(-13). Let v = y - 965. Is v a multiple of 12?
False
Let p(v) = 11 - 2*v + v + 2*v + 4*v. Let d be p(18). Let h = d - 60. Is h a multiple of 5?
False
Suppose 4*g + 31 = 3. Let r(i) = -i + 6*i**3 + 10 - 6*i**2 + 2*i**3 - 9*i**3. Is 11 a factor of r(g)?
True
Is 123 a factor of (-20)/(240/(-389748)) - 7?
True
Suppose 4*h - 2*r + 0*r + 2074 = 0, -4*h - 2086 = 2*r. Let t = h - -1090. Does 15 divide t?
True
Let w be 0*7/(-12 + -2). Let a(q) = -q**3 + q**2 + 2*q + 27. Does 2 divide a(w)?
False
Let q(x) = 7*x - 115. Let o be q(18). Let y(s) = 40*s - 32. Is y(o) a multiple of 17?
True
Let p(r) = r**3 + 3*r**2 + 3. Let v be p(0). Is 29 a factor of (v - 6)*(-290)/3?
True
Is 123 a factor of (-5 - (-24819 - 21)) + 11?
True
Suppose -2*k = -4*u + 63608, -u - 257*k + 256*k + 15896 = 0. Is 15 a factor of u?
True
Let s(r) = -r**3 - 26*r**2 + 3*r + 30. Let t be s(-26). Does 12 divide (-27128)/(-64) + (-6)/t?
False
Let y = -12 - -16. Suppose -y*x + 34 = g, 0*g = g - 2. Suppose -x*w = -984 - 208. Is w a multiple of 22?
False
Suppose -4*y = 24, 2*r + 368*y - 367*y - 37514 = 0. Is r a multiple of 70?
True
Let s = 3891 + -3. Is s a multiple of 81?
True
Let g be ((-12)/(-8))/(30/1000). Is ((-12225)/g)/(6/(-8)) a multiple of 96?
False
Let r(c) = -c**3 + 12*c**2 - 11*c + 14. Let h be r(11). Suppose -h*u + 12*u = -220. Let d = 205 - u. Does 5 divide d?
True
Suppose 5*q - 15196 = -3*d, -4*d + 2*q - 6*q = -20272. Suppose -15*c - c + d = 0. Does 11 divide c?
False
Let o(a) = -a**3 - 15*a**2 - 15*a + 7. Suppose 2*v - 8*v + 132 = 0. Suppose v = -5*u - 48. Is o(u) a multiple of 3?
True
Does 2 divide 3 + 0 + -10 + 1970?
False
Suppose -f + 4*b = -2, -2*b = -1 + 3. Let n(h) = 63*h**2 - 4*h + 7. Let s be n(5). Is s/33 - f/3 a multiple of 5?
False
Let h be (12/7)/((-2)/2387). Let s = -1290 - h. Is s a multiple of 42?
True
Let t = 1053 - 738. Does 15 divide t?
True
Suppose 2 = 2*u, 4*u = 3*p + 7*u - 6027. Is p a multiple of 4?
True
Let k(y) = -y**3 + 20*y**2 - 16*y + 10. Let v be (7 - 5/(30/4))*3. Does 4 divide k(v)?
False
Suppose 11*s - 8*s = 0. Suppose s*v + v + 3 = 0. Is 12 a factor of (-70)/(-5 - v - -1)?
False
Let v be ((-46300)/(-65))/2 + (-8)/52. Suppose 8*n + 92 = v. Does 33 divide n?
True
Let x(j) = 85*j + 37. Let i be x(-7). Let u = -331 - i. Is u a multiple of 11?
False
Let g(l) = -l**3 - 7*l**2 + 10*l - 24. Let c be g(-9). Suppose c + 66 = 2*u. Is u a multiple of 57?
True
Is 26 a factor of ((-200)/14)/(12 - 5064/420)?
False
Suppose -2*v - 109 = -3. Let k = v - -55. Suppose 3*n - k*x = 75, 6*x - 2*x = -5*n + 103. Is n a multiple of 3?
False
Let c = 15290 + -8846. Does 4 divide c?
True
Let h(k) = k**3 + 16*k**2 + 13*k + 15. Let w be h(-15). Is 0 + w*(8/(-6))/(-1) a multiple of 15?
True
Suppose -2308 - 4184 = 4*s + 4*r, 4*s + 6506 = 3*r. Let g = s - -2433. Is g a multiple of 81?
False
Let b = 287 - 327. Let a = -10 + -4. Let k = a - b. Does 11 divide k?
False
Let r = -671 + 2975. Does 96 divide r?
True
Let s be 354/21 + 2/14. Suppose -3*j - s + 26 = 0. Suppose 4*t = -2*z + 540, 0 = -j*t - z + 474 - 70. Is t a multiple of 28?
False
Is ((-598)/(-39) - 15)*17076 a multiple of 23?
False
Suppose 4*l - 346 = 58. Let v = l + -99. Is 2 a factor of (46/10 + v + 0)*5?
False
Let m(o) = 32*o**2 + 14*o - 1110. Does 6 divide m(20)?
True
Let s(a) be the first derivative of -a**4/4 + 25*a**3/3 + 32*a**2 - 11*a - 92. Is s(27) a multiple of 37?
True
Let o = 21 + -36. Let m(v) be the first derivative of -17*v**2/2 + 50*v + 1665. Is 44 a factor of m(o)?
False
Let p(q) = q**2 + 17*q + 1. Let n be p(-17). Let c = 5 + n. Does 17 divide c/(-24)*-274 + (-1)/2?
True
Suppose 0 = -a + 466 - 90. Suppose 3*b + a = 7*b. Let k = b - 46. Is k a multiple of 12?
True
Let k(x) be the second derivative of -x**4/12 + 19*x**3/6 - 17*x**2 - 26*x. Let c be k(17). Suppose 8*h - 107 - 317 = c. Is h a multiple of 23?
False
Suppose l + 10167 = 15*b - 11393, 0 = 2*b - 3*l - 2889. Is 129 a factor of b?
False
Let a(c) = -c**2 + 4*c**2 + 16*c - 357 + 358. Suppose 5*f - w + 54 = 0, f + 6*w = 4*w - 13. Is a(f) a multiple of 7?
False
Suppose 2965 + 25574 = 21*g. Suppose -6687 = -8*y - g. Is 74 a factor of y?
True
Let p(t) = 202*t**2 - 134*t - 850. Is 92 a factor of p(-6)?
False
Let p = 3278 - 3265. Let i(t) be the third derivative of -t**6/120 + 7*t**5/30 - 11*t**4/24 - 2*t**3 - t**2. Is 14 a factor of i(p)?
True
Suppose -3*x - 938 = 4*x. Let p = -68 - x. Does 37 divide ((-13)/2)/((-3)/p)?
False
Let c be ((-36)/(-21))/(-2 - (-805)/392). Is 22 a factor of 1/1*(1291 - c)?
False
Let l(o) = 63*o**2 + 194*o + 969. Does 13 divide l(-5)?
False
Does 37 divide (-157)/((-6)/(-8 + 2))*-14?
False
Let p(s) = -29*s + 53. Suppose 2*v - k + 30 = -2*v, -v - 2 = -3*k. Does 49 divide p(v)?
False
Let j = 120 + -97. Does 12 divide (46/(-8))/(j/(-1104))?
True
Suppose -h + 0*h = -141. Suppose 0 = 3*i - 0*i + h. Let s = i + 179. Does 12 divide s?
True
Let x be ((-9)/(-12))/(-3*1/48). Let r(s) = s**2 - 10*s - 76. Is 7 a factor of r(x)?
False
Suppose 3*b + v = -31, 96*b + 16 = 92*b + 5*v. Let w(c) be the second derivative of -c**5/20 - 7*c**4/12 + 4*c**3/3 + 2*c**2 - 2*c. Is w(b) a multiple of 22?
False
Let m(a) = 5*a**2 - a + 251. Is m(49) a multiple of 13?
True
Let p be 36/(-54) + (1616/3 - -2). Let n = 355 + p. Is n a multiple of 67?
False
Let n(c) = 44 - c + 5*c**2 + 4*c + 0*c**2 - 16*c. Is 11 a factor of n(7)?
True
Let f(u) = 4*u**2 + 3*u - 19. Let r be f(-3). Suppose r*q - 1305 = 1575. Does 9 divide q?
True
Let z = -1503 - -1960. Does 159 divide z?
False
Does 14 divide -2*12/2*(-22)/(-132) + 10419?
False
Let l(k) = 898*k - 833. Does 21 divide l(64)?
False
Let c be 284/(-8) + 6/4. Let o = -96 - -193. Let g = c + o. Does 16 divide g?
False
Let o be 9/3 - (2 - 6). Does 19 divide (-1)/o - 13583/(-119)?
True
Let v(m) = 2*m**3 - 10*m**2 + 5*m + 24. Let p be v(6). Let y = 407 - 281. Suppose -p = -2*c - 0*g - g, y = 2*c - 2*g. Does 56 divide c?
False
Let p = 177 - 171. Suppose -p*c + 2*c - a + 1407 = 0, 5*c + a - 1760 = 0. Is c a multiple of 21?
False
Let t(i) = 3*i**2 - 152*i - 1632. Is 69 a factor of t(-82)?
False
Is 42/28 - (3 - (-143226)/(-4)) a multiple of 31?
True
Let o(a) = 1353*a - 1267. Is o(4) a multiple of 15?
False
Let v be 2/5 + (5328/20)/(-6). Let j = v + 38. Is j/15 + 1638/45 a multiple of 3?
True
Let v = -75 - -23. Let j = -199 - -292. Let a = j + v. Is a a multiple of 6?
False
Let h = 7054 - 794. Does 6 divide h?
False
Let u = 249 + -54. Suppose -u = -y + x, -4*x = y - 0*x - 215. Does 12 div