5) + 9/15. Let b be (m/3 - 2)*-3. Suppose -b*l + l = -8, -t + l = -35. Does 10 divide t?
False
Let q = 1984 - 1386. Is q a multiple of 60?
False
Suppose 7*b - 42 - 294 = 0. Is 4 a factor of ((0 - 0) + (-14)/(-21))*b?
True
Let n = -32 + 287. Is 15 a factor of n?
True
Suppose 4*c + c = 3*d + 83, -c + 21 = -5*d. Does 14 divide (c/6)/((-22)/(-165))?
False
Let f(s) = s**2 - 7*s - 12. Let q(t) = 6*t**3 - 2*t**2 + 4*t - 2. Let r be q(2). Suppose 4*p - 5*h + 4 = 0, r = -7*p + 2*p - 4*h. Is f(p) a multiple of 11?
True
Suppose 4*z - 2*j = 84, -5*z - j + 81 = -10. Suppose z*b = 12*b + 462. Is 9 a factor of b?
False
Suppose -3*r + 3 - 6 = 0, 3*k - 402 = 3*r. Suppose -k - 1067 = -6*y. Does 19 divide y?
False
Let r(v) = -189*v**3 + 2*v**2 + 9*v + 7. Is 14 a factor of r(-2)?
False
Let b = -198 + 585. Let g = b - 207. Does 36 divide g?
True
Let q be (-1500)/(-105) + (-4)/14. Let y = 7 + q. Is y a multiple of 6?
False
Suppose -4*u - 2600 = -18*g + 14*g, -2*u = 0. Is 10 a factor of g?
True
Let a(y) = -y + 2*y + 2*y + 7 - 7*y. Let p be a(13). Let r = p + 75. Is 15 a factor of r?
True
Suppose 32*m - 17955 = -3*m. Is 57 a factor of m?
True
Let f(s) = -25*s + 13. Does 6 divide f(-5)?
True
Suppose -3*i = s - 1444, 2*s - 3007 = -4*i - 1079. Is 42 a factor of i?
False
Let h(a) = 165*a**2 + 5*a - 6. Let m be h(1). Let l = m - 68. Is l a multiple of 16?
True
Does 21 divide (21/15 + -3)/((-46)/16905)?
True
Let i(b) = 2*b - 8. Let k be i(4). Let v be 8*(-3 - -4) - k. Is 70/6 - v/(-24) a multiple of 12?
True
Let m(i) = -3*i + 1 - 3*i - 4 - 2*i. Let d be m(-6). Let v = d + -27. Is 18 a factor of v?
True
Let s = -90 + 90. Does 32 divide 1 - (-189 + (s - 2))?
True
Let d = 107 + -105. Is d*(5 + -6)*-4 a multiple of 3?
False
Let j be 1 + 2412/39 + 14/91. Let d = j + -55. Is d a multiple of 4?
True
Let l be 746/2 + 0 - (12 - 13). Suppose -l = -3*r + 3*d - 104, 3*r + 5*d - 286 = 0. Is 23 a factor of r?
True
Let f = -1163 + 1697. Suppose -801 = 3*k - 6*k - 3*m, -4*m - f = -2*k. Suppose 2*i - 3*a = 183, -4*a - k = -3*i - a. Is 19 a factor of i?
False
Let n be 336/(-8)*4/(-3). Let d = 106 - n. Suppose d = f - 27. Is f a multiple of 20?
False
Let t be (8/18)/(-2) + 12/54. Suppose 8*l = -t*l + 1600. Is l a multiple of 20?
True
Suppose 2*f = -4*g + 1570, -657 - 910 = -2*f - 3*g. Does 19 divide f?
True
Suppose 9*s = 11*s - 4. Suppose -3*l + 222 = 4*v, 4*v + s*l = -v + 274. Does 9 divide v?
True
Suppose -m - 19 + 12 = 0. Is 25 a factor of (m/(14/(-50)))/1?
True
Let w be 11/((-11)/(-24)) + -4. Suppose -5*m = w, 5*d + 2*m + 178 = 505. Does 13 divide d?
False
Let x = -1042 - -1256. Is x even?
True
Is 38 a factor of 4/(-18) + (-22)/(-495)*11975?
True
Let d(k) = k**2 - 11*k - 14. Let c be d(10). Let m be -3*92/c*10. Let i = m + -61. Does 18 divide i?
True
Suppose 4*n = 8*n - 172. Let l = n + -16. Suppose -4*j + l = -209. Is j a multiple of 12?
False
Is 28 a factor of 100/(-300) + (0 - (-5210)/6)?
True
Suppose 0 = -50*o - 13*o + 79632. Is o a multiple of 11?
False
Let y(z) = -z**3 - 5*z**2 - 6*z - 5. Let i be y(-4). Suppose 0*l + i*l = 0, 4*l = 2*j + 380. Let m = -136 - j. Does 18 divide m?
True
Let g = 27 - 26. Suppose -5*v = -21 + g. Suppose -2*n - 20 + 96 = -v*d, -4*n = 5*d - 152. Is 38 a factor of n?
True
Suppose -79*v + 6928 = -71*v. Is v a multiple of 113?
False
Let c be -2 + 7/(28/16). Suppose c*g = -5*g + 35. Suppose q = g*q - 244. Is q a multiple of 9?
False
Let a = -844 + 1324. Is 32 a factor of a?
True
Let a = -573 - -595. Is 6 a factor of a?
False
Let v(w) = -w**2 - 14*w - 21. Let p be v(-12). Suppose -p*t = -731 + 212. Does 19 divide t?
False
Let o(z) = -z**3 + 9*z**2 + 9*z + 12. Let u be o(10). Let x be -5 - (-6)/u - -4. Suppose 0 = 5*k - 20, 0*k + 58 = v + x*k. Does 25 divide v?
True
Let s(o) = -2*o**2 + 6*o + 6. Let t be s(5). Let p = -13 - t. Is 3 a factor of (-2)/(p + 57/(-51))?
False
Suppose 2*j + 4*z - 58 = 0, z - 27 = -j - 2. Is j a multiple of 4?
False
Let f = -1113 - -1274. Is 6 a factor of f?
False
Let x = 4 + -1. Suppose 2*w - 5 = -0*h - h, -13 = -w + x*h. Is w even?
True
Let v(l) = -2*l**2 - 140*l - 6. Is 21 a factor of v(-61)?
True
Let t = -64 + -20. Let u = -25 - t. Does 9 divide u?
False
Let o = 63 + -59. Suppose 135 = o*r - 1. Does 10 divide r?
False
Let a = 2488 + -869. Is a a multiple of 23?
False
Let a be (-2)/4*(0 - 4). Suppose 0 = a*b - 12 - 8. Does 5 divide b?
True
Let z(y) = y**3 - 17*y**2 + 2*y**2 - 28*y + 15*y - 18. Does 6 divide z(16)?
True
Suppose -66*h - 375 = -81*h. Is h a multiple of 7?
False
Let g(x) = 3*x**2 + 5*x - 13. Let w(u) = -u**2 - 1. Suppose 0 = -3*t + q - 1, -2*q + 16 - 4 = 4*t. Let s(v) = t*g(v) + w(v). Is 8 a factor of s(-6)?
False
Let j(i) = i**2 - 6*i + 2. Let u be j(6). Suppose 5*p - 3 = 12, 0 = -u*y - 4*p + 24. Does 2 divide (-5)/(15/y) - -6?
True
Let v = 400 - 343. Is v a multiple of 4?
False
Let d be (-4 + (-56)/(-10))*55. Let q = d + 26. Is q a multiple of 25?
False
Let z be (2 + -1)/(1/3). Suppose -2*b = -z*d + b + 15, -2*b - 22 = -5*d. Suppose 0*t - d*u = 5*t - 343, 0 = -u + 2. Does 23 divide t?
False
Suppose -5*c - j - 3*j - 45 = 0, 5*c - 5*j = 0. Let u = c + 4. Is 18 a factor of (-7 - u)*3*-2?
True
Let q = 1081 + 188. Is 85 a factor of q?
False
Let p = 56 - 140. Suppose 175 + 203 = -9*r. Let t = r - p. Is t a multiple of 15?
False
Let k(t) be the third derivative of 0 - 5*t**2 + 1/60*t**5 + 0*t + 1/3*t**3 + 0*t**4. Does 19 divide k(-7)?
False
Let n be (0 - 4)/(2/3). Suppose -4*w = t + 2*t - 65, w = -3*t + 77. Does 7 divide 2/n - (-252)/t?
False
Is ((-40860)/(-52))/5 + (-8)/52 a multiple of 4?
False
Suppose 3*v = -3*t + 21, -3*t + v + 0*v = -1. Suppose -10 = 2*u, -t*d + 2*u + 7 = -d. Does 6 divide (d + 22)/(4/12)?
False
Let w = 99 + -104. Let o(s) = 6*s**2 + 10*s + 20. Is o(w) a multiple of 13?
False
Let j = 85 + -25. Let z = j + 353. Suppose 0 = 4*o + 2*t + 73 - z, -4*t = -o + 85. Is 17 a factor of o?
True
Let d = -241 - -399. Let w = d + -121. Is w a multiple of 31?
False
Let w(j) be the first derivative of -3*j**2 - 8*j + 4. Let y(i) = -12*i - 16. Let s(p) = 5*w(p) - 2*y(p). Is 17 a factor of s(-7)?
True
Let o(s) = s**3 + 11*s**2 + 22*s - 4. Let i be o(-9). Is 24 a factor of 20/((-26)/i - 2/5)?
False
Let u be (3/(-6))/(1/(-2)). Let b(r) = r**3 - 6*r**2 + 11*r - 7. Let z be b(4). Is 3 a factor of u*2 - (-5)/z?
True
Let u = -66 - -69. Suppose -5*o - h = -395, -u*o + 216 = -4*h + 2. Is 9 a factor of o?
False
Suppose 0 = -5*d + t + 18, -4*t - 8 = -2*d + 10. Does 12 divide 255 + 2/d*6?
False
Let o(l) = -l + 3. Let b be 20/30 + 76/(-6). Let n be o(b). Is (-6)/n - 504/(-10) a multiple of 10?
True
Let c = 3165 + -2311. Does 12 divide c?
False
Is 23 a factor of ((-5)/(-2) + (-2144)/(-320))*95?
True
Let j = 226 + 782. Is j a multiple of 7?
True
Let a(z) = z**2 + 38*z + 188. Does 18 divide a(-33)?
False
Let b(k) = k**3 + 3*k**2 - 6*k - 5. Let w be b(-4). Suppose -12 = -5*z - 37, -42 = -3*s + w*z. Suppose -230 = -s*p + 4*p. Does 16 divide p?
False
Let z be (-5*2/(-30))/((-2)/258). Let t = 2 - z. Does 15 divide t?
True
Let c(f) = -4*f - 15. Let u be c(6). Let r be (13/u)/((-1)/267). Suppose -5*p + r = -16. Is p a multiple of 21?
True
Let m(f) = -7*f. Let h be m(-6). Suppose -14 = -p - 5*g, -3*p + g = -g - h. Is p a multiple of 11?
False
Let f = 5424 + -1348. Does 14 divide f?
False
Suppose -2*w + 5*l = -0*l - 24, 4*w - 3*l = 20. Suppose 5 = -w*s + 15. Suppose -160 = -s*j - 5*h, j = -3*h - h + 41. Does 12 divide j?
False
Suppose 3*j + d = 15, -3*j - d - 20 = -7*j. Suppose o = 4*k + 22, 9 = -j*o + 3*k + 51. Suppose -v = o*q - q - 125, -125 = -5*q - 2*v. Does 8 divide q?
False
Suppose 6*x - 108 - 204 = 0. Is x a multiple of 27?
False
Let i(o) = -3*o + 43. Let k be i(13). Does 9 divide ((-6)/k + -3)*-16?
True
Let m be (-33)/(2 - 5) - -4. Let g(k) = k**2 - 14*k - 9. Let t be g(m). Is 4 a factor of 9 + t*(-3)/(-6)?
True
Let i = -65 + 76. Let t = 49 + i. Is 10 a factor of t?
True
Let k be 50/((5 - 1) + -2). Is 6 a factor of (-4)/12 - k/(-3)?
False
Does 22 divide 66/(-77) - (-622)/7?
True
Let j(q) = 23*q. Let y be j(2). Let c = y - 10. Does 17 divide c?
False
Let a = -368 - -644. Is a a multiple of 24?
False
Suppose -5*v - 2*n = 461, -136 = 5*v - 5*n + 304. Let x = -82 - v. Is 9 a factor of x?
True
Let c = -12 + 16. Suppose c*l = 2*l + 144.