z, -2*a - 3*a = -4*z + 12. Suppose 3*j = -o + 41, -3*j = 3*o - a*j - 111. Is o a multiple of 33?
False
Suppose -4*b + u = -4*u - 401, -4*b - 2*u + 394 = 0. Let w = 97 - b. Does 38 divide (-12155)/(-51) - w/(-6)?
False
Let x = 336 - -101. Let k = -387 + x. Does 6 divide k?
False
Suppose 1160 = 110*r - 90*r. Suppose -3*d + 890 = 2*d. Let u = d + r. Is u a multiple of 35?
False
Does 119 divide ((-2474)/4 + -1)*(-11050)/195?
True
Let o be 7 - (-3)/(-9)*3. Suppose o = c + c. Does 5 divide (0 + 9)*(-33)/(-9) - c?
True
Let l = 4666 - 3244. Is l a multiple of 3?
True
Let p(g) = 4*g**2 - 3*g - 9. Let n be p(-3). Suppose -43*f = -n*f - 4158. Is 27 a factor of f?
True
Suppose 0 = -45*w - 21*w + 347220 + 529524. Is w a multiple of 123?
True
Let v(n) = n**3 + 27*n**2 + 27*n + 28. Let l be v(-26). Suppose s + l*a = 0, -9*a = -s - 4*a + 35. Let p = 76 - s. Is 11 a factor of p?
True
Let o = 11557 - 11008. Does 34 divide o?
False
Suppose -20*x = 35 + 25. Let m(v) = 103*v**2 - 9*v - 24. Does 15 divide m(x)?
True
Suppose -4 = -a + 1. Let j be (15/40)/((-18)/(-192)). Suppose -48 = -j*u + q + 117, q + 207 = a*u. Is u a multiple of 5?
False
Let m = -44 - -46. Suppose -2*q + 2 = -5*c + c, m*c + 3*q = 3. Suppose c = -d - u + 38, -100 + 18 = -2*d - 4*u. Is d a multiple of 6?
False
Let y(h) = 16*h - 2. Let m be y(22). Let w(n) = -n**3 - n**2 + 3*n + 2. Let s be w(-2). Suppose m = 2*p - s*p. Does 35 divide p?
True
Let h = 422 + 2216. Let x be h/6 - 4/6. Suppose f - x = -3*f - m, 4*f - 3*m - 427 = 0. Does 38 divide f?
False
Let o(c) = 5*c + 314. Let i(g) = -g + 1. Let t(x) = 4*i(x) + o(x). Is t(-38) a multiple of 35?
True
Is 113 a factor of 1*(-46)/23*(-198 - -1)?
False
Let x = 21265 + -13754. Is 71 a factor of x?
False
Let n(g) = 3*g**2 + 2*g - 6*g - 2*g**2 + 3*g - 2*g. Suppose -5*s - 47 = -12. Does 18 divide n(s)?
False
Suppose -x - 14 = -4*f - 34, 5*x + 2*f - 12 = 0. Suppose 49*o = 4*q + 54*o - 4, 0 = -x*q - 4*o + 8. Does 6 divide q?
True
Let b be (-40)/(-220) + (-986)/(-22). Let m = b + -55. Let o = 46 - m. Is 6 a factor of o?
False
Suppose 0 = 3*o - n - 5, 3*n - 5 = -o - 20. Suppose 0 = -5*m - 2*z - 154, -m + z + 11 - 46 = o. Does 29 divide -4 - ((-3 - -2) + m)?
True
Let h(j) be the third derivative of 11*j**5/60 - j**4/3 + 17*j**3/6 + 49*j**2. Does 18 divide h(11)?
True
Suppose -t - t - 4*g + 20 = 0, 0 = -2*g + 4. Let q be ((t/4)/(-1))/((-17)/(-34)). Is 42 a factor of (-252)/(-1 - q/(-6)*0)?
True
Let l = -2315 + 13765. Is l a multiple of 17?
False
Let h(y) = y**2 - 9*y + 5. Let k = -10 - -13. Suppose 55 = k*d + 5*i, 5*d - 3*i - 2 - 33 = 0. Is h(d) a multiple of 12?
False
Suppose -95*g = 52*g - 789595 - 3184697. Is 56 a factor of g?
False
Suppose -10 = 5*d, -4*i + 171523 + 193 = 2*d. Does 106 divide i?
True
Let s(m) = -m**3 + 14*m**2 + 30*m + 44. Let p be s(16). Suppose 17*r = p*r + 880. Is r a multiple of 16?
True
Is 129 a factor of (3/(-15) - 338668/60)/(6/(-9))?
False
Let w(k) be the first derivative of 3*k**2/2 + 29*k - 9. Let m be w(0). Let y = m - -3. Does 16 divide y?
True
Suppose 3*w + 9*d = 14*d + 8709, -d + 2879 = w. Does 172 divide w?
False
Let l = 689 + -687. Is ((-17655)/66)/((-1)/l) a multiple of 28?
False
Suppose 60*x - 4942 = -2*i + 62*x, -i = 4*x - 2466. Is i a multiple of 24?
False
Is 4 a factor of (-17734)/4*(529 + -533)?
False
Suppose -3*u = 5*j - 801, 13*j + 3*u - 153 = 12*j. Let g = j - 160. Does 2 divide g?
True
Let l = 78 - 98. Let n be (-3 - 68/l) + (-312)/5. Let k = n + 82. Is 4 a factor of k?
True
Let r(x) = 9*x**3 - 47*x**2 - 10*x + 434. Is r(13) a multiple of 16?
False
Suppose -4*c + 4*p + 48227 + 53293 = 0, -3*p + 76140 = 3*c. Does 235 divide c?
True
Suppose 3717*v = 3706*v + 99990. Is 85 a factor of v?
False
Let k(p) = -35*p**2 - 2*p + 5040. Does 36 divide k(0)?
True
Suppose 231*c + 5*d = 235*c - 18810, -d = 4*c - 18846. Is c a multiple of 10?
True
Suppose l - 5*l = 0. Let d = 4020 + -3784. Suppose l*i - 2*i - 160 = -2*a, d = 3*a + i. Is a a multiple of 21?
False
Let s(g) be the third derivative of -g**6/24 + g**5/20 + 5*g**4/8 + 5*g**3/6 + 59*g**2. Is 5 a factor of s(-3)?
False
Suppose -15*w + 246 - 21 = 0. Does 30 divide w*(-2 + 7 - 1)?
True
Suppose -3*l + 3 = 0, 0 = -3*j - 15*l + 17*l + 46. Suppose -372 = -j*m + 172. Is 4 a factor of m?
False
Let x = -18457 + 20121. Is x a multiple of 92?
False
Let t(q) be the second derivative of q**4/2 + 9*q**2/2 - 4*q + 17. Does 49 divide t(11)?
True
Suppose 0 = -o - 4*u + 4350 + 3569, 0 = -3*o + 5*u + 23689. Does 103 divide o?
False
Let v be 19 - (-21)/42*(-4)/(-2). Let t(y) = -y**3 + 22*y**2 - 26*y + 78. Is t(v) a multiple of 5?
False
Let a(x) be the first derivative of 85*x**2/2 - 21*x + 120. Is 49 a factor of a(21)?
True
Let p = 84 + -14. Suppose -4*s + p + 18 = 0. Is 10 a factor of s?
False
Let d be (-4)/((-12)/33) - 1. Suppose 5*h = -d + 35. Suppose -3*x = -2*z - 502, -x - 163 = -2*x + h*z. Is x a multiple of 33?
False
Let g = 658 - 267. Let y = 16 - 138. Let a = y + g. Is 16 a factor of a?
False
Suppose -19*b = 26*b + 38*b - 1339205. Does 18 divide b?
False
Let u = -114 - -116. Suppose -1 + 5 = -u*a. Is (2/(-6))/(1/(-381)) + a a multiple of 17?
False
Suppose -26 = -3*q + g - 3*g, 7 = q - g. Suppose 150 + 74 = -q*y. Is 4 a factor of y/21 - 338/(-6)*1?
False
Suppose -17*z = 11*z - 108441 - 52167. Is z a multiple of 24?
True
Let l = 96891 + -63221. Is 65 a factor of l?
True
Let t = -167 + 212. Is ((-60)/25)/(88/t + -2) a multiple of 9?
True
Let c(x) = -x**3 - 2*x**2 + 2*x - 3. Let k be c(-4). Suppose -k = -9*t + 51. Does 7 divide (t/(-10) - 2)*5*-3?
True
Does 25 divide (5 + 95)/((-155)/(-17) - 9)?
True
Suppose 3*c = 18, -4*n + 4406 = -3*c + 208. Does 62 divide n?
True
Let q(l) = -21*l**3 - 50*l**2 + 5*l + 45. Is 7 a factor of q(-6)?
True
Suppose -9*b + 20*b - 14916 = 0. Is (b/(-27))/(10/(-45)) a multiple of 40?
False
Let x(n) = -n - 36. Let m be x(-34). Let r(o) = -57*o - 12. Is 6 a factor of r(m)?
True
Does 4 divide (-311)/6220 - 57442/(-40)?
True
Let q = 384 + -627. Let m = 603 + q. Does 12 divide m?
True
Let u be -350 - (-3 - (2 - -1)). Let b = 109 - u. Does 31 divide b?
False
Let v be 2548/(-39)*(-3)/2. Let f = -97 + v. Does 8 divide -1 + 2 + 133 + f + 1?
True
Let d be (10*4/24 - 3)*-453. Let u be d/7 + (-4)/14. Suppose -4*r = j - u, 0 = 3*j + r + r - 268. Does 18 divide j?
True
Suppose 2*a - 3434 + 170 = 0. Does 16 divide a?
True
Let s = -65 - -1341. Suppose -n - 2*n = -v - s, 0 = -4*n - 4*v + 1680. Is 17 a factor of n?
False
Suppose -3*p - 895 = -2*s, -3*p = 5*s + 331 - 2621. Suppose 5*n = -10 + s. Is n a multiple of 5?
False
Let z = -513 + 20449. Is z a multiple of 60?
False
Suppose 0 = 14*n - 250962 - 234642. Suppose -63*s + n = -45*s. Does 42 divide s?
False
Suppose -6*x + o - 20677 = -8*x, 0 = -2*x - 3*o + 20687. Does 68 divide x?
True
Let v be -1 - (18/(-5))/((-4)/(-20)). Let o = -13 + v. Suppose -82 = -2*w - d + 6*d, o*w - 164 = 3*d. Is 41 a factor of w?
True
Let l(m) be the first derivative of 11*m**2/2 + 12*m + 18. Let w be l(2). Let i = w - 14. Is 10 a factor of i?
True
Let l(t) be the second derivative of 7*t**3/6 + 11*t**2/2 - t. Suppose -30*f - 32*f + 69 = -39*f. Is 17 a factor of l(f)?
False
Let w = -544 + 550. Suppose -3*z + w = 0, -5*r + 1564 - 46 = -z. Is r a multiple of 76?
True
Suppose -7*a = -14505 - 30274. Is 53 a factor of a?
False
Suppose -2*c = -0*c - 5*i - 5310, 0 = 2*c + 8*i - 5336. Is c a multiple of 19?
True
Let c(n) = -11*n + 201. Let i be c(18). Is 27 a factor of i/((6/(-2))/(-213))?
False
Let r(y) = -5*y**2 + 55*y - 19. Let t be r(11). Let u = t + 189. Does 85 divide u?
True
Let s = -47495 - -67520. Does 75 divide s?
True
Suppose -5*i = -5*s - 3*i + 1240, 5*s = 4*i + 1240. Let x = s + -122. Is 14 a factor of x?
True
Let z(w) = -6*w**3 - 21*w**2 + 4*w - 4. Let h(b) = -b**3 - 3*b**2 - b - 1. Let s(l) = 5*h(l) - z(l). Let x = 1 - 7. Does 7 divide s(x)?
False
Let r(d) = 3*d**3 - 64*d**2 + 44*d - 45. Is 3 a factor of r(21)?
True
Let z(h) = 2*h**3 + 45*h**2 + 10*h + 29. Let o = -288 + 266. Is z(o) a multiple of 12?
False
Suppose 17*j - 8 = -722. Let b = j - -86. Is b a multiple of 4?
True
Suppose -10*d + 5*d = -405. Let p = d + -85. Is (4 + -1)*(18 - 8/p) a multiple of 10?
True
Let z(q) = -4*q - 6 + q + 31 + 6. Let b be z(8). Is 24 a factor of ((-16688)/(-36