6)/4)/(507/w + 2) a multiple of 7?
True
Let y(s) = 31*s**2 + 52*s - 53. Does 15 divide y(16)?
True
Does 75 divide 19/(190/40) + (8991 - -5)?
True
Let y(r) be the first derivative of -7/2*r**2 + 20*r + 1/4*r**4 - 16 - 3*r**3. Does 5 divide y(10)?
True
Suppose 73*s + 2609036 + 252768 = 117*s. Is 46 a factor of s?
False
Let t(n) = -n**2 + 18*n - 65. Let w be t(7). Suppose -w*g + 21*g = 3834. Is g a multiple of 10?
False
Suppose 216150 = -62*s - 76*s + 160*s. Is s a multiple of 15?
True
Let i be -1*((-2170)/(-279) - 2/(-9)). Is 14 a factor of 916/6*((-60)/i + -6)?
False
Suppose 163*j - 43218 = 154*j. Is 35 a factor of j?
False
Let x(b) = -b**3 - 28*b**2 + 89*b - 54. Is x(-33) a multiple of 15?
False
Is 12 a factor of 1142576/42 + (-2564)/13461?
True
Suppose -s + 2856 = 10*l - 5*l, -1722 = -3*l - 2*s. Is 30 a factor of l?
True
Suppose 13*l = -3*a + 25578, -4*l + 47 = 71. Is a a multiple of 8?
True
Let o = 293 + 3483. Is 118 a factor of o?
True
Suppose -9*s + 5012 = -5*s. Is 16 a factor of s/4 - 15/60?
False
Let z(x) = -376*x + 3. Let c be z(-3). Suppose -5*j + c = -6*j. Is j/(-13) - (-1 + -3) a multiple of 13?
True
Suppose -3*f - 4*x + 31181 = 0, 6*f - 2*x - 10377 = 5*f. Is 2 a factor of f?
False
Suppose -2166528 = -44*q - 268*q. Is q a multiple of 17?
False
Let h(o) be the third derivative of 5*o**4/24 + 5*o**3/2 + 7*o**2. Is 11 a factor of h(14)?
False
Let f be 4/(-18) - (-2722)/18. Let j be (51/(6/2))/(20/(-74 + -26)). Let s = f + j. Is 33 a factor of s?
True
Let s(u) = 3*u**2 - 10*u + 20. Let f(d) = -11*d**3 + d. Let n be f(1). Is s(n) a multiple of 20?
True
Suppose -5*x = -2*n - 2045, -x + 3*n + 2050 = 4*x. Suppose -8*r = j - 3*r - 27, j - 3*r = -13. Suppose -121 = j*p - x. Does 13 divide p?
True
Suppose 16517 + 5691 = 5*m + 3*m. Is m a multiple of 3?
False
Suppose -2*y + 53 = 49. Suppose y*n - 65 = 5*b + 65, 4*b + 5*n = -71. Let u = b - -32. Does 5 divide u?
False
Let n(k) = -k**3 - 25*k**2 - 11*k - 25. Let d be n(-25). Suppose w + 4*q = d, -5*w + 4*q - 484 = -7*w. Does 18 divide w?
True
Let w(n) = -132*n**3 - 4*n**2 + 13*n + 69*n**3 + 64*n**3 - 12. Let o be w(6). Suppose 0*k - 3*k + q + o = 0, -2*q - 6 = 0. Does 9 divide k?
True
Let m(k) = 6*k**3 - 13*k**2 - 50*k - 15. Is m(9) a multiple of 33?
False
Let r be (-12)/(-3 + 0) - 1. Suppose -4*l + 5*n - r = -4, 2*l - n + 1 = 0. Is 25 a factor of (-1 - l - 40)/(8/(-28))?
False
Let f be -2*(4 + (-4952)/(-16)). Is 11 a factor of -5 + -2 - (f - 18)?
True
Let w(q) = 9*q**2 + 4*q - 5. Let d be w(10). Suppose 3*p = -4*v + 5*v + d, 2*v = -4*p + 1230. Suppose -4*t + 78 + p = 0. Is t a multiple of 20?
False
Let y(h) = 46*h**3 + h**2 + 2*h. Let w be y(-1). Let s = 250 - w. Does 9 divide s?
True
Suppose -293*j - 9396 = -287*j. Let r = -1044 - j. Is r a multiple of 48?
False
Let u(n) = -n**3 + 21*n**2 - 8*n + 2. Let r be u(17). Suppose 0 = -6*f + 430 + r. Is 19 a factor of f?
False
Let q(c) = -23*c**3 - c**2 - 5*c - 7. Let j(x) = -x**3 - x**2 + x + 1. Let g(i) = 4*j(i) + q(i). Does 12 divide g(-3)?
True
Let x be -817 - (-1 - -2)*-5. Let u = x + 1092. Is 20 a factor of u?
True
Suppose -12839 + 888 = -21*n - 233. Is n a multiple of 245?
False
Let f be (-7)/((-7)/3) - (-2 - 1665). Suppose -f = -g - g. Suppose -3*c + 55 + 554 = -5*j, -g = -4*c - j. Is c a multiple of 52?
True
Let r = 9 - 183. Let o = 902 + r. Is 26 a factor of o?
True
Let p = 4110 + 2190. Does 63 divide p?
True
Suppose 0 = w - 0*w - 36. Let h(o) = -11*o - 12 + 44 + w. Is h(-22) a multiple of 25?
False
Let h(j) = -j**3 + 10*j**2 + 12*j - 10. Let p be h(10). Suppose 5*u - p = 7*l - 2*l, -2*l = 8. Let z(w) = 2*w**2 - 21*w + 22. Is z(u) a multiple of 22?
False
Let y = 38 + -34. Suppose -y*a - 3*d = -51, -4*a + 41 = 3*d - 2*d. Suppose -2*s = a*s - 209. Is s a multiple of 3?
False
Let b be (-20)/170 - (-87)/17. Suppose 5*q - 62 = 2*f, 5*f - f + 64 = b*q. Suppose 84 = 2*t - q. Does 6 divide t?
True
Let m = 302 + 70. Suppose -g + m = -5*n, -4*n - 381 = n + 2*g. Let i = n - -165. Does 10 divide i?
True
Let x be (12/9 - 2)/(6/36). Let w(z) = z**2 + 2*z + 8. Let i be w(x). Does 17 divide (-1530)/(-12)*i/20?
True
Suppose 0 = -91*k + 75*k + 563904. Is 132 a factor of k?
True
Suppose -20*v + 18316 - 75515 = -377499. Does 75 divide v?
False
Let a(v) = 182*v**2 + 14359 - 14361 - 4*v + 296*v**2. Is a(-1) a multiple of 40?
True
Let m(n) = -5 + 4 + 2*n + 11. Let s be m(-4). Suppose -s*r + 2 = 0, 2*y - 203 = -y + r. Does 34 divide y?
True
Let a(l) = -14*l - 73. Let k be a(-4). Suppose 17 = -3*o - 5*x, 0*o + 2*x + 10 = 2*o. Is 19 a factor of (-2 + k)/o*(0 - 1)?
True
Let o(q) = 2*q - 12. Let b be o(9). Suppose 2*i - b*i + 3*j = -38, 5*i = 5*j + 50. Suppose 4*l - i*l = -20. Does 2 divide l?
False
Let a be 1/(-3) + 12*(-4)/(-9). Let k(j) = j**2 - 2. Let h be k(a). Suppose 5*w = -2*u + 64, -2*w = -3*u - 14 - h. Does 14 divide w?
True
Let g = -55 - -26. Let r = 5 + g. Does 13 divide r/(2 - 3)*(4 - 0)?
False
Let v(d) = 2*d**3 + 52*d**2 + 9*d + 197. Does 138 divide v(-25)?
False
Let a = -249 - -252. Let l(p) = 4*p**2 - 17*p + 58. Is l(a) a multiple of 5?
False
Does 9 divide (63 + (-4)/(-2))*(32 + -3)?
False
Let y = -145 - -242. Let j = y + -70. Is j a multiple of 15?
False
Let i(u) = 23*u**2 - 3*u + 68. Is i(12) a multiple of 19?
True
Let g be (-3 + 632/24)*12/10. Let d = -11 + 15. Suppose 2*h + 4*k = d*h - g, -h + 5 = -5*k. Does 10 divide h?
True
Let v be (-25)/(-25)*(-1 + 4). Suppose 6*w = -v*w + 153. Suppose w*d = 19*d - 306. Is 14 a factor of d?
False
Suppose 10081 = -10*c + 41*c - 22562. Is 32 a factor of c?
False
Let q be (-3)/(-2) + (-15)/(-30). Suppose q*x - 206 - 910 = 0. Suppose 0 = 2*m - 2*f - 0*f - 368, -5*f - x = -3*m. Is m a multiple of 33?
False
Let r = -309 - 222. Let p = -151 - r. Is p a multiple of 8?
False
Suppose n + 137 = a, -4*a - a + 3*n + 679 = 0. Suppose -4*z - 4*m - 26 = -9*z, 0 = 5*z - 2*m - 18. Suppose 38 = -z*x + a. Is x a multiple of 24?
True
Let o(s) = 7*s + 3513. Is 71 a factor of o(0)?
False
Suppose 4*m + 5 = 3*m - 2*o, 5*m - 30 = o. Suppose 0 = 3*f + 3*p + 6, 5*f + m*p = p - 6. Suppose -3*q = -3*a - 9, -5*a + 23 = 3*q - f. Is 5 a factor of q?
True
Suppose -6*p - 74 = -32. Does 3 divide (-324)/45 - p - 211/(-5)?
True
Let t(x) = 7 - 30*x - 45 + 29*x. Let u(i) = 38. Let g(c) = -5*t(c) - 4*u(c). Is 10 a factor of g(23)?
False
Let v = 1010 + -41. Suppose 0 = -9*q + 1164 + v. Is q a multiple of 33?
False
Let a(g) = -390*g - 360*g - 44 + 798*g - 6. Does 17 divide a(22)?
False
Suppose 4159 + 57369 = 4*z - 2*q, 5*z = q + 76919. Is z a multiple of 17?
True
Suppose -d - 321 + 760 = 0. Let k = d + -376. Is k a multiple of 20?
False
Suppose 1746 + 93570 = 39*i. Is i a multiple of 4?
True
Let v(b) = 2*b**2 - 12*b - 8. Let s be v(7). Let d be (12/10)/((-2)/((-80)/s)). Suppose 0 = -d*c + 4*c + 728. Is c a multiple of 14?
True
Let a be -4 + (-1)/(-3)*6. Let n be a/(-4) - 25/10. Does 12 divide n + 47 + (-10)/(-5)?
False
Let b be (-14)/(-6) + (-12)/(-18). Let t(h) = -h + 4 + h**b + 0 + 2 - 2. Is t(4) a multiple of 16?
True
Let l(c) = -3*c**3 + 163*c**2 - 194*c + 87. Is l(53) a multiple of 21?
False
Let p = 416 + -425. Does 2 divide (5 - 8) + (29 - p)?
False
Let r = -4172 - -4179. Let p = -4 - -2. Is 33 a factor of 2/7 - ((-215)/r + p)?
True
Let k be -4*1*(-403)/(-52). Suppose -7*i + 1960 = 1722. Let u = k + i. Does 2 divide u?
False
Suppose -730 = -13*x + 3*x. Let m = x + -61. Suppose 4*p - m = 176. Is 10 a factor of p?
False
Suppose 6*w = 7*w + 8. Let c(y) = y**3 - 3*y**2 - 14*y + 8. Let k(u) = 3*u**3 - 9*u**2 - 41*u + 24. Let i(x) = w*c(x) + 3*k(x). Does 47 divide i(6)?
False
Suppose -84*a + 74*a = -120. Is 14 a factor of (4/a)/(7/3633)?
False
Suppose 101*p - 4073331 = -150390. Does 33 divide p?
True
Let z = -10 + 22. Suppose 17*k - 3000 = z*k. Does 15 divide (-12)/10*k/(-3)?
True
Suppose 13*c - 14040 - 4966 = 0. Is 17 a factor of c?
True
Suppose 0 = 2*b - 14, -3*q + 3*b - 8*b + 43487 = 0. Is q a multiple of 34?
True
Suppose 307 = 9*c - 197. Is -2 + 6/1 + c a multiple of 8?
False
Let n(i) be the third derivative of i**6/12 + i**5/60 - i**3/6 + i**2 - 3. Is n(1) a multiple of 5?
True
Let z be 2/(-3) + 122/3. Let f(p) = -p**2 + 41*p + 56. Is f(z) a multiple of 12?
True
Suppose 0 = 3*s - 3 - 3. Suppose 0 = -2*t + 6, -s*x = -t - t + 162. Let p = x - -141.