t x(l) = -l + 242. Let w be 22/33 + ((-700)/(-12))/(-5). Is 23 a factor of x(w)?
True
Is 9 a factor of 14499/(-6 - 88/(-15) - (-34)/30)?
True
Let n(b) be the second derivative of 2*b**4/3 + 19*b**3/6 - 3*b**2 + b. Let f be 10/(-6)*198/55. Is 28 a factor of n(f)?
True
Let v be (2/5)/((-11)/(-495)). Suppose v = -3*l + 2*u + 3780, 0 = 3*l - 3*u - 3765. Is l a multiple of 26?
False
Suppose 6*y - 8794 = 4724 - 1344. Is 70 a factor of y?
False
Suppose -63*c + 114*c - 1070700 = -78*c. Does 83 divide c?
True
Let z be (-1 - (-6)/4)*534. Let p = 71 + -67. Suppose -h = -p*h + z. Is 44 a factor of h?
False
Let p(l) = 137*l - 53. Let b be p(6). Let m = b - 577. Is m a multiple of 31?
False
Let k = -109 + 105. Let x be ((-3)/30*k)/((-15)/(-75)). Is 23 a factor of (648/(-15) + x)/((-20)/50)?
False
Suppose 236231 = 37*j - 194153. Is j a multiple of 16?
True
Let o(v) = -3*v**2 + 6*v + 3256. Is 21 a factor of o(0)?
False
Let s be (-2)/(-5) - (18/(-10))/3. Let c be ((-30)/(-9))/((-4)/(-6)). Suppose -2*r + 6 = t, c*r = -3*t + 16 + s. Is 2 a factor of t?
True
Let u(y) = y**3 + 15*y**2 - 32*y + 36. Let c be u(-17). Suppose c*t = 4*a + 348, 0 = -0*a + 3*a + 9. Is t a multiple of 16?
False
Let q(a) = -110*a + 1. Let o(y) = 110*y - 1. Let x(h) = 6*o(h) + 4*q(h). Let t be x(1). Suppose 0 = j + 10 - t. Is j a multiple of 26?
True
Let a = 5 + -7. Let b be 2/(-12)*a - (-52)/(-39). Let o(n) = 6*n**2 - 3*n - 2. Is 7 a factor of o(b)?
True
Suppose -5*w - f + 80 = f, -2*w - f + 33 = 0. Let z(n) = -n**3 + 13*n**2 + 11*n + 109. Does 10 divide z(w)?
False
Let k = 34 - 98. Is 21 a factor of (310 - 1)/(12*(-8)/k)?
False
Let o = -40 + 74. Suppose 26*j - o*j = -1080. Does 15 divide j?
True
Let n be ((-58)/5)/(-2*1/10). Suppose 3*k = -5*c + 473, -3*c = -3*k - k - 307. Let g = c - n. Is 6 a factor of g?
False
Let f be 3 + 15/5 + -3. Suppose w - o = -0*o - 4, 5*w = 2*o - 8. Suppose 2*z + 3 + 3 = w, f*t - 123 = -5*z. Does 3 divide t?
False
Suppose -z = 4*v - 11 - 2, -4*v + 52 = 4*z. Suppose z = l + 10. Let x = l - -3. Does 6 divide x?
True
Suppose 0 = -2*l - 4, -d - l - 2 + 10 = 0. Suppose -5*s = 5*g - 0*g + 160, 2*g + d = 0. Is 29 a factor of (-6)/s - 1418/(-18) - 0?
False
Let s(t) be the first derivative of 2*t**3/3 + t**2 - 103*t + 52. Is s(-10) a multiple of 9?
False
Let z(c) = 2*c**3 + 36*c**2 + 32*c - 20. Let m be (2/(-4))/((-83)/(-2822)). Is z(m) a multiple of 3?
False
Let s be 12/(-28) + (-11475)/(-119). Suppose 416 = 4*b - s. Does 29 divide b?
False
Let g = -38 + 39. Let a be (g + -4)*(33 + 2*-1). Let o = a + 144. Is o a multiple of 17?
True
Let c(z) = 136 - 155 + 5*z - 2*z. Let r be c(7). Suppose -k + 117 = 4*t, -4*t + r*k = -5*t + 24. Is t a multiple of 15?
True
Let t(m) = -26*m. Let i be t(-3). Let u = i - 96. Is 19 a factor of 2/(-6) + ((-20580)/u)/10?
True
Let q(s) = 2*s**2 - 94*s - 1568. Is q(103) a multiple of 28?
True
Does 47 divide 5/(-15)*((-9)/(-3) + -32514)?
False
Suppose -56*v = -52*v + 5*n - 75400, -3*v - 5*n = -56550. Is v a multiple of 111?
False
Let k(s) = -s**3 - 14*s**2 - 29. Let l be k(-14). Let n = l - -34. Suppose 192 = 3*q + 2*c, -q + 5*q - 249 = -n*c. Does 22 divide q?
True
Let x = 7051 + -2155. Is 51 a factor of x?
True
Let y = 5584 + -416. Is 19 a factor of y?
True
Let v(y) be the first derivative of -43*y**2/2 + 3*y + 3. Is v(-4) a multiple of 35?
True
Let x(d) = -d**3 - 13*d**2 + 5*d - 6. Let o = -25 - -50. Let v = -39 + o. Is 20 a factor of x(v)?
True
Let d = 13372 - 3274. Does 11 divide d?
True
Let q(p) = -p + 4. Let l be 1 + (-2)/13 - 6/(-39). Let t be q(l). Suppose 2*f - t*s = -s + 138, 2*f - s - 133 = 0. Is f a multiple of 11?
False
Let m(w) = 2*w**2 + 2*w - 1. Suppose 5*c + 14 = -4*k - 14, -18 = 5*k + 2*c. Let r be m(k). Suppose -r*j = -12*j + 198. Is j a multiple of 11?
True
Suppose 6*k + 8 = 8*k. Suppose -o = -7*x + k*x - 608, 4*x - 622 = -o. Suppose o - 206 = 4*a. Is a a multiple of 14?
False
Let k(h) = 593*h + 142. Let b(v) = 297*v + 70. Let s(u) = -5*b(u) + 3*k(u). Is 16 a factor of s(6)?
True
Let u(v) = 2*v + 38. Let w be u(-17). Let x = w - -86. Is 30 a factor of x?
True
Let p = 5507 - -2422. Does 12 divide p?
False
Let a be (-35)/(-30) - 1 - 35/(-6). Suppose 3*d - 4 = z + a, -4*z = d - 25. Suppose 0 = c - d - 86. Is c a multiple of 13?
True
Let t(x) = -2*x**3 + 5*x + 4. Let d be t(3). Suppose 0 = 3*a + 42 - 159. Let r = d + a. Is r a multiple of 2?
True
Suppose 4*l + 3*p - 5*p = 50872, 3*l - p - 38150 = 0. Does 20 divide l?
False
Let i(w) = 6174*w - 361. Is 12 a factor of i(2)?
False
Let i(k) = 4*k - 2. Let m(r) = 4*r + 26. Let w(p) = p + 9. Let z(t) = 3*m(t) - 10*w(t). Let v be z(7). Is 5 a factor of i(v)?
False
Let g = 63 + -63. Suppose -48 + g = -f. Suppose -7*q + f = -5*q. Is q a multiple of 8?
True
Suppose -160020 = -483*o + 378*o. Is 6 a factor of o?
True
Let j = -272 - -275. Does 23 divide ((-2)/j - (-6)/9) + 46?
True
Let j(p) = 2*p - 13. Let i be j(4). Is 11 a factor of 350 + ((-2)/i)/((-3)/(-15))?
True
Let h be 1 - 5 - (2 + -6). Suppose m = 2*d - 2, h = -d + 3*m + 13 - 2. Is 10 a factor of (d - -2)*(-186)/12*-2?
False
Let l(r) = 29*r**2 + 45*r - 77. Let a(k) = 11*k**2 + 15*k - 26. Let b(i) = 8*a(i) - 3*l(i). Let g(s) = 6*s**2 - 4*s + 2. Let u be g(2). Does 17 divide b(u)?
False
Suppose 105*r + 8646 + 36492 = 245478. Is r a multiple of 9?
True
Suppose 37*c = -41*c + 92*c - 21280. Does 5 divide c?
True
Is 115 a factor of 2/(-16) - (-15 + (-794085)/40)?
False
Let f(i) = i**3 - 14*i**2 + 10*i + 13. Let t be f(13). Suppose 2*u = -5*h - 2*u - 201, 4*h = -5*u - 159. Let a = t - h. Is a a multiple of 3?
True
Let i(v) = -v**3 + 71*v**2 - 34*v + 280. Does 10 divide i(70)?
True
Suppose 17*y = 19*y - 4. Suppose -1104 = -y*u + 426. Is 51 a factor of u?
True
Is (8/14)/((656/119224)/41) a multiple of 29?
False
Is 4 a factor of -140*(9 - -2*218/(-4))?
True
Let q(z) = -2*z**2 + 92*z - 84. Let a = 296 - 254. Is q(a) a multiple of 9?
True
Suppose 3*n + 10 = -11*k + 6*k, 2*n = 2*k + 20. Suppose 144 = -n*u - l + 1088, -3*l - 3 = 0. Is 18 a factor of u?
False
Let c = 74 + -49. Let f = c - 7. Suppose w + 3*z - 48 = -f, 3*w = 5*z + 104. Does 15 divide w?
False
Is 9 a factor of ((-6042)/(-12))/((-8)/(-144))?
True
Let b = -35119 + 59343. Is b a multiple of 16?
True
Suppose -198 = 17*n + 1502. Suppose -h = -3*h - 12. Is 19 a factor of (h/(-15))/((-1)/n*1)?
False
Suppose 0 = 7*r + 5*f - 86895, -35*r + 39*r - 2*f - 49698 = 0. Is r a multiple of 108?
True
Let i(j) = -7*j**2 - 2*j + 1. Let l(g) = -8*g**2 - 2*g + 1. Let w(x) = -7*i(x) + 6*l(x). Let p be w(-4). Suppose -y = -11 + p. Is y a multiple of 2?
True
Suppose 3842 = -94*y + 96*y. Is y a multiple of 8?
False
Let w(c) = -7*c - 22*c**2 + 0*c - c + 16*c + 380 - 9*c. Is 20 a factor of w(0)?
True
Let z(c) be the third derivative of 5*c**4/24 + 380*c**3/3 - 40*c**2. Let t be z(0). Suppose -3*l - t = -13*l. Is l a multiple of 19?
True
Let y = -23713 - -41383. Is 54 a factor of y?
False
Let t(b) = -27*b - 188. Let f be t(-7). Is 45 a factor of 259575/275 + (-2)/(-22) + f?
True
Let c(s) = -s**3 - s - 1. Suppose 0 = -3*m + 14*m + 11. Let v be c(m). Is (-1)/((2/(1 + -61))/v) a multiple of 4?
False
Suppose 3*j = 5 - 8, 0 = -4*o + 4*j + 76. Suppose 5364 = o*w - 16002. Does 25 divide w?
False
Suppose -32*d + 12264 = -8*d. Suppose -10*r + d + 1529 = 0. Is 12 a factor of r?
True
Suppose 3*x = -3*y + 12, 0*x - y = 2*x - 10. Suppose o + 4*m = -x, o - 4*o = -2*m - 24. Suppose 180 - 42 = o*w. Is w a multiple of 23?
True
Let x = 11310 + 2990. Is x a multiple of 42?
False
Let x = -7 + -53. Let d be 2/4 + (-86)/4. Let k = d - x. Does 16 divide k?
False
Suppose 0 = 11*c - 104 - 160. Suppose -c*j - 4945 + 21865 = 0. Does 5 divide j?
True
Let u(p) = 144*p - 240. Is u(21) a multiple of 18?
False
Suppose 0 = -2*q + 127 + 131. Suppose 60 = 7*f - q. Let n = f - -35. Is 10 a factor of n?
False
Let q be (-3)/(-7) - (1 - (-78)/(-14)). Let i(h) = 68*h + 15. Let u be i(q). Suppose -5*c + 5*m = -435, 4*c + 2*m + m = u. Is c a multiple of 23?
False
Let n be (-1 + (-34)/(-10))/((-14)/(-35)). Suppose -54 = n*u - 666. Does 11 divide u?
False
Let a = 3346 - -21419. Does 13 divide a?
True
Let n = 758 + -434. Suppose l - n = 270. Does 66 divide l?
True
Suppose -108*b + 94*b = -48972. Does 22 divide b?
True
Let i = 4 + -4. Let k be (i - -1)*