565/(-30). Let f be r(n). Is 4 a factor of (-2 + 45)/(3 + (3 - f))?
False
Let j(k) = -k**2 + 12*k - 3. Suppose 2*i = -i - 3, -2*s + 192 = -4*i. Suppose -39 = 5*v - s. Is j(v) a multiple of 3?
False
Let k(c) be the second derivative of c**5/20 - c**4/6 + 2*c**3/3 - 4*c**2 - 11*c + 2. Is k(6) a multiple of 8?
True
Let v(j) = 6*j**3 - 26*j**2 - 5*j + 59. Let t be v(4). Let c(p) = 24*p**2 - 1. Let m be c(1). Suppose -m*h = -t*h - 80. Is h a multiple of 5?
True
Let d(k) = 10*k - 101. Let h be d(11). Let g(z) = 8*z**2 + 12*z - 132. Is 24 a factor of g(h)?
True
Suppose -11*b + 13 = -31. Suppose 0 = -4*s - m + 8, 11 = -2*s - b*m + 1. Suppose 13 = -5*w + 3*r + 83, -s*w - r = -28. Does 2 divide w?
False
Suppose 5*t - 236*w = -235*w + 8303, 4977 = 3*t - 3*w. Is t a multiple of 5?
False
Does 16 divide 70/(-245) + 268636/14?
False
Suppose -20*q + 311396 = 38*q - 509536. Does 21 divide q?
True
Let b = -360 - -4046. Is 38 a factor of b?
True
Let l(b) = 68*b**2 + 13*b + 19. Let k be l(-8). Let x = -2347 + k. Suppose 2*t + x = 10*t. Does 12 divide t?
True
Let m = 479 + -21. Let d be (6/15)/(1/50). Is 23 a factor of (d - 17)/(6/m)?
False
Suppose 33*a - 94*a + 56*a = -17225. Is 2 a factor of a?
False
Let p = -1636 + 1845. Is p a multiple of 3?
False
Does 124 divide ((-184)/(-115))/(-3*(-5)/6975)?
True
Let u be 1*(1 + 0) + 58. Let y = u - 76. Let k(r) = -r**2 - 19*r - 1. Is 5 a factor of k(y)?
False
Let w be 60/160 - 6/16. Suppose 13 + 2 = 3*i, w = -5*n - 3*i + 4895. Does 61 divide n?
True
Suppose 4*m = -12, -5*q + 3*m = -7345 - 1754. Let i be 4/(-5) + 3/30*q. Suppose -i = -3*z - 4*w, 4*z - 3*w = -26 + 284. Is 9 a factor of z?
True
Suppose 0 = 3*j - 1812 + 291. Suppose j = 2*n + 191. Is 29 a factor of n?
False
Let t(u) = -5*u - 38. Let f(x) = x**3 + 2*x**2 + 1. Let y be f(-3). Let s be t(y). Suppose 0 = -z + 4*q + 7, s*q + 0*q = -z + 19. Is z a multiple of 5?
True
Suppose -23*v + 30*v = 30989. Does 19 divide v?
True
Let d = 507 + -3. Is d a multiple of 2?
True
Suppose 4 = -2*w - 4*a - 12, 0 = -5*a - 15. Let h be w/(-2)*(-8 - -7)*-52. Suppose -5*x + 6*x = h. Is 26 a factor of x?
True
Suppose -7*p + 1628 + 234 = 0. Suppose 0 = 7*g - p + 21. Does 26 divide g?
False
Suppose 433*b - 428*b = 195. Suppose -b = -7*x + 402. Does 3 divide x?
True
Is 2*101123/22 - -11 a multiple of 26?
True
Let g(p) = -2*p**2 - 34*p + 38. Let q be g(-18). Suppose 110 = 3*f + q*f. Suppose -90 = -28*l + f*l. Is 11 a factor of l?
False
Suppose 0 = -5*k + 2*p + 16, 4*p + 3 = -9. Suppose -5*v = 5, k*q - 790 = -5*v + 261. Is 8 a factor of q?
True
Suppose 2559*w = 2547*w + 48. Suppose -2*d - 476 = -6*d + 4*p, 333 = 3*d + 3*p. Suppose y = w*j + d + 155, 3*y = j + 854. Is 23 a factor of y?
False
Does 13 divide -32*(-3)/(-14) + (-24)/(-28) + 6623?
True
Let f be ((-10)/7)/((-68)/(-238)). Does 14 divide 824/12 - f*(-4)/12?
False
Let z(u) = -2*u**3 - 120*u**2 + 93*u + 1674. Is 14 a factor of z(-64)?
True
Suppose -2008656 = -155*q - 24*q + 5*q. Is 26 a factor of q?
True
Suppose 48*r - 38*r - 717774 = -41*r. Does 5 divide r?
False
Let s(p) = -32*p + 24 - 23*p + 50*p + 6*p**2. Is 3 a factor of s(3)?
True
Let l be (-60)/(-9)*(-18)/12. Let d(s) = 3*s**2 + 15*s + 10. Is 16 a factor of d(l)?
True
Is (-8)/(-8)*((-40374)/(-36) - 1/2) a multiple of 7?
False
Is -2*3/6 - -1286 - (-107 - -99) a multiple of 5?
False
Does 180 divide (-241936)/(-24) + ((-24)/(-18))/(-2)?
True
Let s = -19591 + 33142. Is 139 a factor of s?
False
Let b(n) = 2*n + 4. Let f(v) = -3*v - 8. Let u(o) = 5*b(o) + 3*f(o). Let r be u(16). Is 5 a factor of (-15)/r*-7*4?
True
Let j = -82 + 87. Does 28 divide (28/3)/(j/15)?
True
Let j(g) = -4*g**3 + 4*g**2 + g + 5. Let v = -44 + 40. Does 14 divide j(v)?
False
Let a(o) = -10*o**2 + 4*o**3 - 5*o**3 + 10*o + 1 + 2. Is 2 a factor of a(-11)?
True
Suppose -s = 3*y - 1036, 2*s = 2*y - 973 + 285. Suppose -15*l = -4395 + y. Does 30 divide l?
True
Is 24 a factor of ((-18)/(-12)*32)/(5/335)?
True
Let y be (5 + -14)*(-2)/6. Suppose y*q + 74 = 227. Let v = q - 23. Is v a multiple of 28?
True
Is 19 a factor of 9 - 9 - (-7 - -5)*250?
False
Let u(j) = 3*j**2 - 6*j - 9. Suppose 0 = 8*l - l - 21. Let b(q) = -q**2 - q + 7. Let v be b(l). Does 12 divide u(v)?
True
Is 36/54*(1 - 2)*(-2 - 1036) a multiple of 24?
False
Let y(n) be the second derivative of 4*n**3/3 - 6*n**2 - 657*n. Suppose 8 = 5*h - 17. Does 2 divide y(h)?
True
Let m be 2*-41*10/30*-3. Suppose 90*d - 3328 = m*d. Does 16 divide d?
True
Suppose 62995 = 19*q + 10916. Is q a multiple of 14?
False
Let n = 54920 - 39079. Does 31 divide n?
True
Let x(q) = -3*q**2 - q + 4 - 4*q**3 - 9 + 5*q**3 - 3*q + q. Suppose w = -h + 9, 9 = 3*w + 2*h - 15. Is 17 a factor of x(w)?
True
Let n(c) = 168*c - 601. Is 181 a factor of n(39)?
False
Let f be 7/5 + 42/70. Suppose 0*d + 4*d - 912 = -4*a, 4*d = f*a + 888. Let l = d + -157. Is 16 a factor of l?
False
Suppose -5*b + 5532 = 4*p, 2*b = 5*p - 0*p + 2226. Let r = -418 + b. Does 15 divide r?
True
Let p(y) = 4*y**2 - 171*y + 1036. Does 139 divide p(74)?
True
Is 18 a factor of 4591/(2955/(-270) + 11)?
True
Let x = 2174 + 6377. Is x a multiple of 41?
False
Let g(q) = q**3 - 16*q**2 - q + 16. Let v be g(16). Let y be v - (-4)/(0 - -1). Suppose -5*i + y*r = -583, -3*i + 3*r + 133 = -218. Is i a multiple of 18?
False
Is 7/9*189/42*360 a multiple of 36?
True
Suppose -q = -w - 1, 28*q - 33*q - 4*w + 5 = 0. Is 7 a factor of 1 - (q - 150) - -1 - 3?
False
Let y(o) = 327*o + 28 - 728*o + 350*o. Is 9 a factor of y(-9)?
False
Let v = -126 - -409. Suppose 0 = -2*w - b + 285, 0*w - 2*w - 3*b + v = 0. Does 13 divide w?
True
Let i = -3411 + 9578. Is 54 a factor of i?
False
Is 17 a factor of (-2)/(-10) - ((-18)/45)/(4/93838)?
True
Suppose -15*g + 21*g - 50050 = -104*g. Is g a multiple of 45?
False
Let q(t) = t - 8. Let b be q(8). Suppose 0 = -o - 1, 2*i + b - 316 = 4*o. Is 26 a factor of i?
True
Let g(b) = -b**3 + 4*b**2 - 6*b + 5. Let p be g(2). Let w be 2/(-4)*(-8 + p + 17). Let n(t) = -t + 19. Does 3 divide n(w)?
True
Let p = 219 - 19. Suppose 0 = -2*r - 5*m + 364, -r + m + p = -m. Does 12 divide r?
True
Is (3/(-12))/(6/(-8))*-6 + 3612 a multiple of 10?
True
Let x = -67 - -84. Suppose -13*r = -x*r + 88. Is 14 a factor of 150/20*r/3?
False
Let x = -1052 + 1652. Let i be x/216 - (-3)/((-54)/(-4)). Suppose -i*m + 320 = 5*m. Does 10 divide m?
True
Suppose -3*x - 2230 + 642 = 2*u, -5*x + 4020 = -5*u. Let g = u - -1263. Is g a multiple of 26?
False
Let h(r) = -2*r + 43. Let t be h(3). Suppose t - 148 = -3*q. Does 3 divide q?
False
Suppose 166560 = -29*m + 609930 + 503741. Is m a multiple of 31?
False
Let l be 14/35 + ((-212)/(-20) - 2). Let t(r) = 10*r - 61. Does 29 divide t(l)?
True
Suppose 3*t = -4*x + 18535, -122*t + 118*t + x + 24745 = 0. Is 5 a factor of t?
True
Let p(r) = -85*r - 435. Is 45 a factor of p(-57)?
True
Is 24/27*(-289602)/(-124) even?
True
Let u = 4654 + -2864. Is 4 a factor of u?
False
Suppose -3*l + 14*w - 12 = 13*w, 0 = -l - 3*w + 6. Is l/(-2)*(-5 - (-7629)/9) a multiple of 16?
True
Let h(m) = -3*m**3 + 21*m**2 - 34*m + 4. Let g(d) = -d**3 + 3*d**2 - d + 1. Let w(n) = 4*g(n) - h(n). Is 100 a factor of w(-15)?
True
Suppose 0 = 18*d - 78116 - 5206. Suppose 25*h - 20*h - 4637 = 3*t, 5*h - d = t. Is 51 a factor of h?
False
Let d(k) = 2*k**3 + 22*k**2 + 13*k - 4. Let x(c) = 2*c**3 - 15*c**2 + 8*c - 3. Let r be x(6). Let q = -73 - r. Is d(q) a multiple of 6?
True
Suppose -i - o = 3*i - 133, 2*i + 4*o - 70 = 0. Let v = i - 31. Is 9 a factor of ((-264)/(-96))/(v/72)?
True
Suppose 5*l - 133 + 93 = 0. Is 13 a factor of 208*(9 + (5 - l))?
True
Suppose 0 = -3*s - 7*s + 4520. Let r = -237 + s. Let d = r - 152. Is d a multiple of 9?
True
Let v(n) = n + 43. Suppose 902*x = 903*x + 7. Does 4 divide v(x)?
True
Let r = -225 + 471. Suppose 30*m + r = 36*m. Is 3 a factor of m?
False
Suppose 0 = 3*t + 4 - 19. Let c be -124 + (t + -3)*-1. Let k = 214 + c. Does 22 divide k?
True
Is (-2953)/(-6) + 110/132 a multiple of 7?
False
Let r = 50617 + -25213. Does 58 divide r?
True
Suppose c - 20 = d, d = -3*d - 2*c - 68. Is 16 + d - (0 - (577 + -2)) a multiple of 38?
False
Let j(a) = -14*a + 3. Let g(y) = -13*y + 3. Let c(x) = -4*g(x) + 3*j(x). Let h be (4 + -8)/(-4) - (-6)/2. Is 12 a factor of c(h)?
False
Suppose 0 = 2*l - 20 - 10. Suppose -5*k + 3*t = -2