(-4)/84))/(52/(-1196))?
False
Let n(u) = 10*u**2 - 16*u - 18. Let t be n(-10). Let p be t/14 + (-8)/14. Suppose 0 = 84*z - p*z - 792. Is 33 a factor of z?
True
Let o(j) = 3*j**2 - 2*j + 17. Let z be o(-5). Suppose 5*i - 381 = -3*r + z, -3*r = i - 87. Does 11 divide i?
True
Let y be (3/(-5))/(1/(-5)). Suppose -2*m - m - 2*o + 76 = 0, -y*o - 51 = -3*m. Is 2*(0 + m/4) a multiple of 2?
False
Suppose -47 = -3*x - 68, 5*z = x + 191742. Does 15 divide z?
False
Suppose 0 = 59*q + 143*q - 3506402 - 6282922. Is q a multiple of 18?
False
Let o = 61583 - 35803. Is 77 a factor of o?
False
Is 1805*36/120*8 a multiple of 19?
True
Suppose -j + 4*z - 22 = -2*j, 4*j = -5*z + 44. Let i be j/((-10 + 3)*(-4)/14). Suppose 9*b = i*x + 4*b - 15, -4*x + 43 = b. Does 10 divide x?
True
Suppose -5*z - 3*g + 28 = 0, -2*z + 24 = 2*z + 2*g. Suppose 2032 = z*x - 5392. Is 29 a factor of x?
True
Let j be (4 - 7 - -1)*1. Let l be 1/((6 + j)/(-8)). Let b(n) = 18*n**2 - 3*n - 3. Is 16 a factor of b(l)?
False
Does 79 divide (246/15)/(5*8/15800)?
True
Suppose -2*x - 106398 + 10568 = -12*x. Does 72 divide x?
False
Let v(i) = -8*i**2 + 9*i + 21. Let z(o) = -2*o**2. Let m(n) = -v(n) + 3*z(n). Is m(15) a multiple of 7?
True
Let f(x) = 5 - 16*x**3 + 4*x + 1 + 0*x**2 - 6*x**2 + 14*x**3. Let a be f(-6). Let c = a + -100. Is c a multiple of 7?
True
Suppose 18*q = 5*x + 16*q - 382, 2*x = -4*q + 148. Let l = x + -49. Does 5 divide l?
False
Let t be (4571/(-7) - -1)/(-4). Let s = t - 67. Is s a multiple of 2?
True
Suppose -3*h - 48 = -153. Suppose -w - 4*x = 21, 0 = 3*w - x - 2*x + 3. Let y = h + w. Does 6 divide y?
True
Suppose -3*l + 159 = 3*m, 3*l - 5*m + 3*m = 184. Let y = l + -28. Is y a multiple of 4?
False
Suppose -3*x + 6*u - 2*u + 1497 = 0, -3*x + 1515 = 2*u. Let j = x + -368. Is 12 a factor of j?
False
Let z = 2126 - 1874. Is z a multiple of 14?
True
Let r(p) = p**3 + 8*p**2 - 2*p - 15. Suppose 25*i = 26*i + 6. Is r(i) a multiple of 5?
False
Let w(k) = -30*k**2 + 29*k**2 + 11 + k + 11*k. Let c be w(8). Suppose -s + 23 = -c. Is s a multiple of 10?
False
Suppose 5*b - 2*m - 47739 = -4*m, 5*m - 10 = 0. Suppose 0 = 16*f - 23531 + b. Is 9 a factor of f?
False
Let x be (-4)/6 - (136/(-12))/2. Let g be (-2)/(-3) - x/(15/68). Let l = g + 118. Is l a multiple of 32?
True
Is 26 a factor of -1601*(12/(-2) + 7)/(-1)?
False
Let c(z) = -z**2 + 21*z. Let o be c(20). Suppose -6376 + 1376 = -o*s. Is s a multiple of 10?
True
Let g(b) = -63*b + 164. Let h be g(16). Let s = -169 - h. Does 27 divide s?
True
Let f be -1 - (-2 - -2)/(-3). Let u be ((-24)/28)/(f/231). Suppose 4*b = -o + u, 3*o + 0*o - 194 = -4*b. Is b a multiple of 21?
False
Suppose 2*i + 3*t = 75, 2*t + 2*t = 3*i - 70. Suppose -4*g + i = g. Is 11 a factor of (-888)/(-9) + (-4)/g?
False
Suppose -45*s + 40*s + 2*n = -40615, 48738 = 6*s + 4*n. Is 44 a factor of s?
False
Suppose 153*x - 151*x + 4 = 0, 3*w - 3*x = 60249. Does 47 divide w?
False
Is (-6711386)/(-605) + (2/20)/((-2)/(-16)) a multiple of 78?
False
Let q(g) = 168*g + 4246. Is q(8) a multiple of 5?
True
Let x(q) be the first derivative of -47*q**2/2 - 10*q - 40. Let r be x(-4). Suppose -3*v + 5*m = 3*m - 255, -2*v + 4*m = -r. Is 5 a factor of v?
False
Suppose -3*m - 5*f = -1336, -748*m + 4*f = -749*m + 457. Is 23 a factor of m?
True
Suppose -t + 3*p - 6407 = -2*t, 2*t - 4*p = 12814. Is 16 a factor of t?
False
Let v(h) = -2*h**3 + 283*h**2 + 452*h + 66. Is 8 a factor of v(143)?
False
Suppose -2*h = 0, -3*z = -850*h + 851*h - 112035. Is z a multiple of 55?
True
Suppose 201018 = 70*j - 85676 + 9774. Does 92 divide j?
True
Suppose -7*r - 1168 + 1532 = 0. Is 31 a factor of (-1)/6*3354/r*-56?
False
Let k = 145 + -130. Suppose -2*u - 1 = -v + 2, -k = u + 4*v. Is 18 a factor of u/7 - 9504/(-77)?
False
Let k(b) be the first derivative of 49*b + 38 + 1/2*b**2. Is 6 a factor of k(10)?
False
Is 21/49 + 1*(-48045)/(-7) a multiple of 52?
True
Suppose 53532 = 4*d - 4*r, 28*d - 4*r = 30*d - 26796. Is 31 a factor of d?
False
Suppose 4*b - 5*s = 3*b + 740, 3*b - s = 2164. Suppose 0 = -3*d + 5*d - b. Is 24 a factor of d?
True
Let d(u) = -1477 + 1273 - 114*u + 82*u - 148*u. Does 48 divide d(-7)?
True
Suppose 3*r - 157663 = -4*g - 22343, -3*g - 3*r + 101490 = 0. Does 170 divide g?
True
Let f(h) = -h**3 - 17*h**2 + 23*h - 5. Let y be f(-19). Suppose y = -13*g + 6*g. Is 10 a factor of (10/(-4))/(1/g)?
True
Let l = -25 + 28. Let w(t) = -7*t**2 + 13*t + 2*t**2 + 18 - l*t - t**3 - 6*t**2. Does 21 divide w(-12)?
True
Does 14 divide ((-3)/(-3) - -1) + (1718 - 0)?
False
Let v(o) = o**2 + 8*o - 64. Let q be v(-13). Let s(j) = 173*j**3 + 8*j**2 - 9*j. Is s(q) a multiple of 9?
False
Is 28 a factor of 32/(-28)*(-130949)/52?
False
Suppose -b + 5*x = 4 - 28, -5*b - 5*x = -30. Suppose 8*t - b - 31 = 0. Suppose -t*z + 24 = -31. Is 2 a factor of z?
False
Let c be (-2)/(-6) - ((-4)/24 - (-12)/(-8)). Let z(q) be the first derivative of 4*q**2 - 8*q - 1. Does 6 divide z(c)?
False
Let j(g) = -g**2 + 10*g - 21. Let y be j(5). Suppose 508 = y*t + 48. Does 9 divide t?
False
Let h(r) = 230*r**2 - 420*r + 21. Does 103 divide h(7)?
False
Let r = -140 - -144. Suppose -5*c + 3*c + 4 = 0, -2*n = 3*c - 12. Is 10*r - 0 - (-3)/n a multiple of 9?
False
Is 16*(5 - (-64)/(-12))*22653/(-36) a multiple of 4?
True
Let a(m) = -2498*m + 164. Is a(-8) a multiple of 276?
True
Let l(v) = 4702*v**2 - 13*v + 4. Is l(1) a multiple of 24?
False
Let b(z) = -z + 5. Let t be b(1). Does 24 divide (5 + (-24)/t)/(3/(-519))?
False
Let g = 20898 + 4229. Is g a multiple of 32?
False
Let d = -19495 + 32059. Is 12 a factor of d?
True
Is 4 a factor of ((-1200)/(-42) - 6)*154?
True
Let t(a) = -2*a**2 - 3*a + 2. Let c be t(2). Suppose 18 = -37*d + 92. Is (c/(-7))/(d/(-98)*-2) a multiple of 7?
True
Let i be (5/(-2))/((-16)/96). Is 8 a factor of (48/i)/(267/(-90) - -3)?
True
Let b be 10 + -9 + 1 + -1 + 1. Does 4 divide (-545)/(-10) - ((-5)/b)/(-5)?
False
Suppose 0 = -5*v + 4*l + 14699, 25*l - 32*l + 11800 = 4*v. Is v a multiple of 161?
False
Let l be 140/30 + 2/(-3). Suppose -l*s = -z - 2*z + 25, -5*s - 11 = 3*z. Suppose -z*c + 37 = -32. Is c a multiple of 3?
False
Let d(f) = 79*f**2 + 79*f - 392. Does 64 divide d(5)?
False
Let l(p) = 2*p**2 - 35*p - 52. Let a be l(23). Is 41 a factor of a/(-7)*-20 + (-14)/49?
True
Suppose -2169 = -2*y + 5*k, -10*y - 3261 = -13*y + 5*k. Let s = y - 190. Does 82 divide s?
True
Suppose -99*k = 130*k - 1411556. Does 67 divide k?
True
Suppose 213*t - 42240 = 211*t - 4*c, -3*t = -4*c - 63330. Is t a multiple of 23?
True
Suppose 0 = s - 4*s - 3*s. Suppose 0 = 3*i + 4*l - 544, 3*l = -s*l - 6. Is i a multiple of 46?
True
Suppose 24*n = 20*n + 116. Let u(k) = -k**2 + 34*k + 63. Is u(n) a multiple of 28?
False
Suppose -3*s + 2159 = -12114 + 3584. Does 62 divide s?
False
Let t(m) = 2*m - 21. Suppose f = -2*i + 26, i - 27 = -4*f + 42. Let k be t(f). Suppose k = -4*h + 43. Is h a multiple of 5?
False
Suppose 3*b - 6*b = 4*y - 7192, -3*y + 2*b = -5394. Let d = y - 1246. Is d a multiple of 24?
True
Let p(h) = h**3 + 22*h**2 + 2*h + 36. Let j(f) = 69*f + 59. Let z be j(-1). Is 19 a factor of p(z)?
True
Suppose 3*f = 3*s - 6, 6*f - 8 = 8*f - 4*s. Let b = f - -29. Does 2 divide b?
False
Suppose 5*l = -10 - 50. Let g be (528/40)/(l/(-280)). Suppose z = -z + g. Is z a multiple of 11?
True
Let g = -71 + 96. Let v be g/(-4 - 0 - -5). Suppose v + 27 = j. Is 13 a factor of j?
True
Let n = 50 - 73. Let t(g) = -2*g - 48. Let o be t(n). Does 49 divide o*(-3 + (-1075)/10)?
False
Let i(x) = 2*x**2 + 6*x + 2. Let s be i(-5). Suppose 0 = s*w - 20*w - 404. Let d = w - 113. Is d a multiple of 14?
False
Suppose -s + 16 = -47. Suppose -11*q = 89 - 144. Suppose -2*z = -q*w - s, -w - 167 = -5*z + 2*w. Is 12 a factor of z?
False
Let a(p) = 54*p - 4. Let n(s) = 3*s**2 - 3*s. Let o be n(2). Suppose 5*c + 1 = o. Does 7 divide a(c)?
False
Let s = -39 + 41. Suppose s*m + 106 = v + 353, -m = -v - 121. Let z = m + -73. Does 16 divide z?
False
Let q(j) = j**3 - 69*j**2 - 5*j + 451. Is q(69) a multiple of 2?
True
Let k = -54747 - -86369. Is 97 a factor of k?
True
Let o = -2410 + 2998. Does 42 divide o?
True
Suppose 3*k + 2*k - 605 = 0. Let r = k - 81. Does 7 divide r?
False
Let v(c) = -10*c - 137. Let k be v(-14). Suppose d - 249 = -k*r, 0*d + r = d - 253. Does 36 divide d?