 + 13182. Is g a multiple of 54?
True
Let w = -28564 - -48164. Is 14 a factor of w?
True
Let d = 94387 + -50730. Does 293 divide d?
True
Let g(v) = -6*v**2 - 11*v + 59. Let l(u) = -3*u**2 - 5*u + 30. Let o(z) = -6*g(z) + 11*l(z). Is 32 a factor of o(8)?
True
Suppose 5*r + 2*w - 1464 = 0, -r + 2*w = 43 - 343. Does 3 divide r?
True
Suppose -15693 = -5*r + 3*d, -r - 105*d + 104*d + 3137 = 0. Does 6 divide r?
True
Let v(t) = 7*t**3 + 3*t - 2. Suppose 0 = 12*p - 8*p - 4. Let j be v(p). Is 15 a factor of j/(-14) - 16101/(-63)?
True
Suppose h - 3947 = -3*w, -3*h = -6*h + 4*w + 11919. Does 4 divide h?
False
Let m(i) = 3*i**2 + 6*i + 15. Let j be m(-8). Suppose -v - j = 165. Does 16 divide (v/15 + 2)/(1/(-5))?
False
Let k(c) = -3*c + 283. Let y be 148*(-2)/(-4)*(-3)/(-6). Does 18 divide k(y)?
False
Let k(l) = -9*l**3 + 8*l**2 + 30*l + 20. Is 35 a factor of k(-8)?
True
Let t(j) = 24*j + 25. Let p(o) = -o**3 - o**2. Let h be p(-1). Suppose h = 5*a + 5*f - 3*f - 38, 8 = 2*a - f. Is t(a) a multiple of 13?
True
Let d = -29 + 77. Let i = 100 + 8. Let c = i - d. Does 12 divide c?
True
Suppose 4*k - 2*l = 23568, 383*k + 2*l = 380*k + 17655. Is k a multiple of 151?
True
Let c(k) = -2*k**3 + k**2 + 16*k + 302. Is c(0) a multiple of 11?
False
Let b = 145920 + -63428. Is 14 a factor of b?
False
Let t = -747 - -1314. Is t a multiple of 21?
True
Let w(d) = 33*d**2 - 549*d - 8. Is w(17) a multiple of 115?
False
Suppose 0 = 17*q - 19*q + 412. Suppose q = 4*r - 3*r. Does 32 divide r?
False
Let b(j) = -2*j + 42. Let i be 62/(-2)*(-11 + 27 - 15). Does 14 divide b(i)?
False
Suppose -12211 = -3*z + z - 5*u, -4*z + 4*u + 24492 = 0. Is 23 a factor of z?
True
Let l(v) = 243*v**2 - 520*v + 70. Is 71 a factor of l(10)?
True
Let m(n) = 8714*n - 202. Is 76 a factor of m(1)?
True
Let f(x) = 1781*x**3 + x**2 + 21*x - 50. Is f(2) a multiple of 13?
False
Let i = 96 + -93. Let m be (-1)/2 - 5481/(-2). Is m/30 - (-1)/i*-1 a multiple of 13?
True
Let x(f) = -2*f + 23. Let n be x(9). Suppose 0 = q - 3*w + 8 - 29, q = n*w + 27. Is ((-5)/4)/((-3)/q) even?
False
Let z be 5*((-24)/(-10))/(-1). Let v(s) = 4 + 251*s**2 - 12*s - s - 80*s**2 - 87*s**2 - 85*s**2. Is v(z) a multiple of 4?
True
Let w(m) = m. Let f be w(4). Let k(p) = 2*p**2 - 5*p - 2. Does 3 divide k(f)?
False
Let w(a) = 30*a + 637. Let f be w(0). Let c = -469 + f. Does 24 divide c?
True
Let l be 11/4*-2 - 2/4. Let g be (-4 - -2)*l/(-4). Let v(a) = -3*a**3 + a**2 + 2*a. Does 42 divide v(g)?
True
Let l(r) = -r**2 + 16*r - 38. Let s be l(13). Let u be 6/(-2 - 4)*(s + -5). Is 11 a factor of (17 + -6)/(u/3 + -1)?
True
Let p = -126 - -125. Let t(n) = 719*n**2 + 4*n + 2. Is t(p) a multiple of 17?
False
Let f(a) = 4*a**3 + 3*a**2 - 4*a - 8. Let l be -2*3/(-15)*(12 + -2). Let p be f(l). Is 34 a factor of (-4)/(4 + p/(-68))?
True
Suppose -3*c + 25083 = 8*j - 5*j, -25075 = -3*c - 4*j. Is c a multiple of 35?
False
Let a(k) = k**3 + 4*k**2 - 7*k + 22. Let m be a(10). Suppose 2*r + 860 = 5*f - 1392, 3*f = r + m. Let b = -317 + f. Is 15 a factor of b?
True
Let d(y) = 15*y + 105. Let s be d(-6). Suppose -26*a = -s*a - 869. Is a a multiple of 19?
False
Let p(q) = 3*q + 13. Let k be p(-3). Suppose -2*y - 2*a = -81 - 71, -k*a - 8 = 0. Is (y/15)/(2/5) a multiple of 3?
False
Is (-3)/((-6)/(-265))*(-176)/10 a multiple of 11?
True
Let s = -14613 + 19923. Does 3 divide s?
True
Suppose 0*g - 16*g + 752 = 0. Suppose 49*w - g*w = 68. Is 34 a factor of w?
True
Suppose -217080 = -28*n + 11*n + 2*n. Does 152 divide n?
False
Is 8 a factor of (-3 + 26)/(15/2400)?
True
Let z(s) = -6*s**3 + 2*s**2. Let m be z(1). Let v be -1*(5/(-2))/((-2)/m). Suppose 106 = 3*b - 3*u - 44, -2*u - 253 = -v*b. Is 51 a factor of b?
True
Let k = 2323 + -1102. Suppose -k = -4*g + 3*r, 0*g = g - 4*r - 289. Suppose -g = -3*j - 3*o, -2*o + 3 = -o. Does 10 divide j?
True
Suppose -28*h = -2*p - 31*h + 10169, 15282 = 3*p - 5*h. Is 24 a factor of p?
False
Does 54 divide (90/12)/(-5) + (5 - 43084/(-8))?
False
Let c(k) = k**3 - 3*k**2 - 11*k + 30. Let w be c(4). Suppose -9*y = w*y - 22. Suppose 2*m + 5*p - 65 = 21, -m - y*p = -41. Is 33 a factor of m?
True
Let c = 10940 + -7840. Is c a multiple of 7?
False
Suppose 8*i = 4*i + 224. Suppose 2*b = 2, -3*a - 9*b - i = -5*b. Is -2 - (-90)/8 - 15/a a multiple of 2?
True
Suppose -4*l - 1897 = -16*l - 97. Does 10 divide l?
True
Let x(u) = -168*u**3 - 51*u**2 - 22*u + 4. Does 92 divide x(-4)?
True
Let m be 680/119 - (-2)/7. Does 4 divide 59/4 - (m/8)/1?
False
Let k be (-3)/((-42)/(-35)) - (-34)/4. Suppose -975 = -k*d + 255. Is d a multiple of 2?
False
Let l be (-40)/6*(-3 + -9). Is 12 a factor of ((-2145)/52)/((-5)/l)?
True
Let u = 93 + -65. Suppose 31*q - u*q - 78 = 0. Is 25 a factor of q?
False
Suppose 19 = 4*m + r, 2 = -5*r + 3*r. Suppose -m*t - 3000 = -35*t. Does 10 divide t?
True
Suppose -291 + 2201 = 5*m. Suppose 6*n = 5*n - 2*g + m, 3*n + 4*g = 1142. Is n a multiple of 63?
True
Let k(i) = -6*i - 45. Let a be k(-15). Suppose 249 = 2*v + a. Is 6 a factor of v?
True
Let l = 22504 - 11830. Is l a multiple of 23?
False
Suppose -2710*d = -2713*d + 48363. Does 12 divide d?
False
Suppose -8*o = 255 + 7441. Let s = -674 - o. Does 12 divide s?
True
Let u be 1 + 0 + -8 + 9 + -80. Let l = u - -82. Suppose w = 4, 7*w - 82 = -2*a + l*w. Does 7 divide a?
True
Does 96 divide 16320*(2/10)/((-2)/(-12))?
True
Suppose -5*i - h = -57 - 27, h = -i + 20. Suppose -i = -2*c + 6*c. Does 8 divide c*(-9)/((-18)/(-44))?
True
Suppose -369950 - 375184 = -41*l. Is l a multiple of 133?
False
Let a = 985 - 1417. Let q = -45 - a. Is q a multiple of 20?
False
Let i be ((-6)/8)/(-10 + (-10086)/(-1008)). Let u = 150 + i. Is 12 a factor of u?
True
Let k be ((-8)/20)/(-3 - (-31)/10). Let h be k/10 + 48/20. Suppose h*p = 0, -3*p = y - 2*y + 46. Does 23 divide y?
True
Let u be 280/(-68) - -4 - (-265)/85. Suppose -u*o - x + 0*x = -10, -3*o + 4 = -5*x. Does 3 divide o?
True
Let z = -3269 - -4021. Does 3 divide z?
False
Let y = -30 + 32. Suppose -y*n + p - 10 = 3*p, 5*p + 25 = -2*n. Suppose 8*m - 118 - 194 = n. Is m a multiple of 13?
True
Let m(g) = -g - 1. Let f(z) = 35*z + 106. Let h(l) = -f(l) + 6*m(l). Does 13 divide h(-4)?
True
Suppose 5*a - 862 = 1293. Is a a multiple of 5?
False
Let w = -8233 + 9454. Is w a multiple of 28?
False
Let a be 27/4 - 1/(-4). Let h = -1255 + 1255. Suppose -4*j - 50 = -a*j + 4*o, h = -2*j - 3*o + 22. Does 7 divide j?
True
Let k(a) = a**2 - 6*a + 4. Let j = -1 - -4. Let y be k(j). Let c = 19 + y. Is c a multiple of 14?
True
Suppose 0 = -2*l + 6*l - 636. Let p(r) = r**3 - 9*r**2 - 20*r + 49. Let k be p(11). Let n = l - k. Does 11 divide n?
True
Suppose 3*m = 29 + 103. Let w be (-66)/m - ((-162)/4)/3. Let f = w - 6. Is f a multiple of 3?
True
Let f = -293 + 498. Suppose -q + 3*d + f = 0, 0 = -2*q + d + 652 - 252. Does 13 divide q?
False
Suppose -4*l = z - 816, l + 0*z = 4*z + 187. Suppose -3 + l = 20*h. Is h a multiple of 9?
False
Suppose -r + 478 = 4*x, 5*r - x + 6*x - 2360 = 0. Suppose -r = -2*o - 26. Does 74 divide o?
True
Suppose -2859 = 11*g - 55087. Suppose g + 12 = 20*h. Does 14 divide h?
True
Let c = 179 + -164. Is (-2 - (-24)/c)*(-25935)/19 a multiple of 13?
True
Let h = -184 + 1. Let a = 227 + h. Is a a multiple of 4?
True
Suppose 7086*t = 7092*t - 18564. Is 8 a factor of t?
False
Let m(f) = -25*f**3 + 17*f**2 + 40*f + 4. Does 63 divide m(-5)?
False
Suppose 5*m = 6*m + 106. Let v(l) = 2*l**2 + 6*l + 6. Let k be v(7). Let n = k + m. Is n a multiple of 34?
False
Let d(p) = -658*p - 5090. Is 3 a factor of d(-8)?
True
Suppose -10 = -5*f, -3*j - 2*f + 16 = -0*f. Suppose -j*b = 4*s + 328, 2*s = -b + 3*s - 82. Let p = b + 182. Is 12 a factor of p?
False
Let o(d) = -d + 35. Let z = -13 - 5. Does 4 divide o(z)?
False
Suppose 0 = -96*z + 1109056 - 190336. Is z a multiple of 66?
True
Let r be ((-18)/8)/((-5)/(-8) - 1). Suppose -2*y + 3*t = -160, -r*t = 5*y - 5*t - 366. Is 15 a factor of y?
False
Does 13 divide (-3)/(-10)*224/168 + 18263/5?
True
Suppose 0 = 3*h - 4*n - 1002, -5*h - 51*n + 56*n + 1665 = 0. Does 44 divide h?
False
Suppose -29*x + 11100 = -24*x + 2*k, -5*k + 11100 = 5*x. Suppose -18*t = -28*t + x. Does 37 divide t?
True
Suppose -7*v = -3*v + 3*r - 3306, 0 = -v - 2*r + 834. Is 6 a factor of v?
True
Let z(a) = -5*a + 33. Let f be z(11). Is (-75 + 