iple of 48?
True
Let q(o) = 39*o + 278. Let x(g) = 4*g. Let m(u) = q(u) - 6*x(u). Is m(-13) a multiple of 52?
False
Suppose 12*w = w + 15015. Is 13 a factor of w?
True
Let s = 31310 - 15310. Does 16 divide s?
True
Does 18 divide (16 - (-2670)/(-165)) + 2/33*91479?
True
Let w = 158 + -145. Suppose -5*o + 0*o + w = -4*m, -2*o - 4*m = -22. Suppose -924 + 84 = -o*t. Is 42 a factor of t?
True
Let j = 1432 - -328. Is j a multiple of 110?
True
Suppose -o + 50 = 2*u + u, -4*o - 16 = 0. Suppose -4*c + 5*b + 46 = 0, 4*c - 5*c + u = 2*b. Let s = 30 + c. Is s a multiple of 11?
True
Is 15 a factor of -2 + 14/6 - 133828/(-6)?
True
Suppose -t = 5*o - 151914, -4*o + 16*t = 15*t - 121524. Is 25 a factor of o?
False
Let b(d) = 9*d**2 + 33*d - 30. Let n(a) = 2*a**2 + a. Let k(i) = -b(i) + 4*n(i). Is k(-15) a multiple of 24?
True
Let y be (-40 - -41)/((-1)/11). Let w(m) = -m**3 - 1. Let d(n) = 2*n**3 + 12*n**2 + 12*n + 8. Let c(a) = -d(a) - w(a). Is c(y) a multiple of 2?
True
Let d = -195 + 174. Is 15 a factor of (-1107)/d - -2 - 4/(-14)?
False
Suppose -2*j - 8 = -26. Is 8 a factor of 1248/j*(-6 + 33/4)?
True
Let m(r) = 4*r**2 - 189*r + 38. Let v be m(47). Let i = 238 - v. Is 15 a factor of i?
False
Suppose -4291 = 68*g - 61*g. Let y = g - -858. Does 49 divide y?
True
Suppose 0 = -4*c + 2*c + 6. Let z be (-77)/3 - (-2)/c. Is z/(-3) + 10/15 even?
False
Suppose -4*q + 27 = 3*v, 39 = 5*v + q + 11. Suppose -g = -5*u + 70, -26 = -g - 31. Suppose -v*w + u = -27. Is 4 a factor of w?
True
Let p be 10/(-35) + -2203*(-2)/(-14). Let v = p - -930. Is 6 a factor of v?
False
Let n = 8509 + -3853. Does 12 divide n?
True
Let i = 40 + -76. Suppose 4*n + 5*j - 226 = 0, 64 = n + 2*j + 3*j. Let v = n + i. Is 9 a factor of v?
True
Let k(s) = -289*s + 441. Is k(-7) a multiple of 44?
True
Let l(x) = -x**2 + 18*x - 117. Let r be l(42). Is 46 a factor of -6 - (-8)/((-24)/r)?
False
Suppose 15*w - 75 = -0*w. Let p(j) = 2*j + 16. Let i be p(-8). Suppose -2*y = -4*q - 384, i = y - w*q - 159 - 18. Is y a multiple of 41?
False
Let x = 34828 - 16641. Is 31 a factor of x?
False
Suppose 516978 = -3179*m + 3193*m. Is m a multiple of 14?
False
Suppose -4*j - 5*b + 9272 = 0, -4*b + 3365 = 5*j - 8225. Is 19 a factor of j?
True
Let b = 958 + -659. Let w = 563 - b. Does 88 divide w?
True
Let o(v) = 4*v**2 + 17*v + 11. Let p be o(-7). Let d = 164 + p. Is d a multiple of 18?
True
Suppose 1775 = 3*x - 2873 - 80. Is x a multiple of 44?
False
Let g(h) = -h**3 + 48*h**2 + 529*h - 58. Does 11 divide g(51)?
True
Let k(i) be the third derivative of i**4/24 + 77*i**3/6 - 45*i**2. Does 23 divide k(-8)?
True
Suppose -4*y = -3*a + 26518 + 19982, 3*a = 2*y + 46494. Does 147 divide a?
False
Suppose 0 = -1975*d + 1954*d + 17283. Is d a multiple of 3?
False
Is (-238747)/(-21) + 27/1134*4 a multiple of 39?
False
Suppose 6*k - 324 = 96. Let p = 74 - k. Suppose -y + p*y + b = 154, -y + 63 = -2*b. Is 20 a factor of y?
False
Let s = 32083 - 22476. Does 108 divide s?
False
Suppose o - 19 + 23 = 0. Is 6 a factor of (-4)/(-6)*(1830/o)/(-5)?
False
Let x(k) = -k**2 + 12*k - 22. Let n be x(10). Let g be (-1 + 1)*n/(-4) - -9. Is (-174)/9*g/(-6) a multiple of 3?
False
Suppose -1394904 = -345*f + 59*f + 79712. Does 52 divide f?
False
Let q = -1792 + 4142. Is 47 a factor of q?
True
Let q(y) = -22*y + 602. Is 37 a factor of q(-13)?
True
Let z(k) = -k**3 - 3*k**2 + 9*k + 50. Let g(p) = 3*p + 30. Let o be g(-11). Let f be (0 + o/(-4))/((-7)/56). Does 16 divide z(f)?
False
Let x(t) = -100*t**2 + t + 16. Let h(d) = -1. Let m(n) = -2*h(n) - x(n). Is m(-3) a multiple of 28?
False
Let o be ((-6)/(-12))/(2/1624). Suppose 3*a = -3*k + 396, 3*k + 2*a - 4*a = o. Is 11 a factor of k?
False
Let j(i) = -i**3 - 14*i**2 - 2*i - 13. Let l be j(-13). Let k = l - -440. Does 25 divide k?
False
Suppose -23*o + 28*o - 59952 = -z, -z = -4*o + 47958. Does 22 divide o?
True
Let d(c) = c**3 - 20*c**2 - 250*c + 51. Is d(31) a multiple of 51?
False
Let r = -3519 + 4660. Does 7 divide r?
True
Suppose 13860 = 2*q + 4*c, 242*q - 246*q - 5*c + 27738 = 0. Is q a multiple of 38?
False
Let a be (-9)/(-5)*(-3 + -2). Let v = 6 - a. Does 37 divide (-3*v)/((-6)/6)?
False
Suppose 16*r = 54*r - 188632. Is 146 a factor of r?
True
Let x(s) = -s**2 + s + 37. Let i be x(0). Let t = -36 + i. Suppose -5*j + w = -0*w - 73, -5*w = j + t. Is j a multiple of 12?
False
Let q = -194 - 11. Let n = q + 405. Suppose -13*k + 21*k = n. Is 25 a factor of k?
True
Let z(d) = 65*d**2 - 85*d - 472. Is z(28) a multiple of 76?
True
Suppose 9*q + 4 = 4*q + 4*n, 4*q = -n + 1. Suppose q = 2*g - 5*p - 197 - 141, 3*g - 507 = -3*p. Is g a multiple of 28?
False
Suppose -a + 4*a = 228. Suppose -4*u - a + 16 = 0. Is 149/5 + 0 + (-3)/u a multiple of 15?
True
Suppose 4*f - 9 = 7*f. Let i = f + 10. Is 21 a factor of (1 - i)*(0 - (-14)/(-4))?
True
Let s be (8 - -3)*-6*(-3)/(-6). Let p = 4 - 43. Let a = s - p. Is 3 a factor of a?
True
Let h = 37262 + -28779. Is h a multiple of 3?
False
Suppose 136609 = -2*z + 7*z - l, 0 = -4*z + 6*l + 109334. Does 10 divide z?
True
Let z be (-1 - (-2)/6)*6492/8. Let v = z - -770. Let u = v - 85. Does 37 divide u?
False
Let q = -273 + 1484. Is q a multiple of 16?
False
Let k(a) = -36*a**3 - a**2 - 2*a - 2. Let r(h) = 2*h**3 + 10*h**2 + h + 3. Let u be r(-5). Is k(u) a multiple of 54?
False
Let g be 2 - (45/2)/(2/(-12)). Suppose 26*k + g = 27*k. Is 31 a factor of k?
False
Suppose 205*r - 1979480 = -119*r - 4*r. Is r a multiple of 12?
False
Let b = -32 - -73. Let f = b - 46. Let v(k) = 3*k**2 + 3*k + 8. Does 10 divide v(f)?
False
Let c = 91 + -22. Suppose -2*u = u + 192. Let r = c + u. Is 5 a factor of r?
True
Suppose 5*n = 5*d + 35, -3*d + 7*n - 17 = 5*n. Is (15/d - -63)*3 a multiple of 6?
True
Suppose -2*z + 28 - 30 = g, -3*z = 4*g + 8. Let q(m) = m**3 + m + 383. Is 5 a factor of q(z)?
False
Suppose 272*j = 275*j - 6. Suppose 0 = j*t - 333 + 73. Is 5 a factor of t?
True
Let f(c) = c**3 + c**2 - 9*c - 7. Let n be f(-3). Suppose -a + 0 - 2 = -b, 0 = -n*a + b. Is a - (-4)/(-3)*(-396)/8 a multiple of 34?
True
Suppose 6*a - 4*f = 3*a - 890, 0 = -f - 4. Let m(c) = -26*c + 5. Let h be m(4). Let y = h - a. Does 19 divide y?
False
Suppose 0 = -11*f - 29989 + 80017. Does 164 divide f?
False
Let u(r) = r + 15. Let p be u(-11). Suppose 3*y - 4*a - 6 = 0, y - p*a - 4 = -3*y. Is 13 a factor of 39/(y/6 + (-13)/(-12))?
True
Suppose -5*d = -5*o + 35530, 0 = 3*o + 5*d - 13292 - 8058. Suppose 10*t - o = -0*t. Does 39 divide t?
False
Suppose -3*y = 2*a + a - 6, 2*y - 7 = -3*a. Is 2*(-303)/6*y a multiple of 3?
False
Suppose 4*t - 2*z = -z + 26, -2*t - 5*z + 2 = 0. Suppose 0 = -9*a + t*a. Suppose 3*r - 77 - 1 = a. Is 4 a factor of r?
False
Let a be 86*(1 - 2)/(-2). Let b = a + -49. Let t = 20 + b. Is 6 a factor of t?
False
Let j(h) = h**2 + 4*h - 306. Let m be j(22). Suppose 2 = 3*l + 20. Is 19 a factor of l*(m/4)/(-7)?
True
Is 58 a factor of (-8004)/(-10)*((-72)/576 - 166/(-48))?
True
Suppose -2*g + 6*g - 446 = -3*y, -2*g + 218 = -y. Suppose -116*h + g*h = -1224. Is 34 a factor of h?
True
Suppose -66*k + 70*k = 23342 + 7942. Is 130 a factor of k?
False
Let u be (168/(-10))/((-6)/30). Suppose -u - 214 = -2*h. Let g = h - 129. Is g a multiple of 16?
False
Suppose 5*c + 11 - 86 = 0. Let r be 36/c*(-105)/(-6)*-1. Is r/(-2) + (11 - 12) a multiple of 3?
False
Let l(i) = 34 - 50*i**2 - 30*i + 26*i**2 + 26*i**2. Is l(16) a multiple of 12?
False
Suppose 4*f + 44 = 5*n, 3*f + 32*n = 36*n - 33. Let g(p) = 14 + 40 - 14*p + 14. Is g(f) a multiple of 37?
True
Suppose -a + 203 = 192. Let t(z) = -17*z - 8. Let o(j) = 18*j + 8. Let v(b) = -5*o(b) - 6*t(b). Is v(a) a multiple of 10?
True
Let k be 12/8*(-56)/6. Is (k + -11075)/(-13) + 8/(-2) a multiple of 43?
False
Suppose 3*i + 4*x = 431, 5*i = -2*x - 2*x + 721. Let w = -2293 - -2291. Does 14 divide (-11)/(-22) - i/w?
False
Let d = 1137 - -921. Does 7 divide d?
True
Let o be ((-114)/3 - -13)*382/(-5). Let y = o + -1249. Does 38 divide y?
False
Let g = 2865 - -13165. Is 151 a factor of g?
False
Suppose 8*t + 433310 + 178048 = 30*t. Is 92 a factor of t?
False
Suppose 4*c = 52*w - 50*w + 12118, 5*w - 9134 = -3*c. Is c a multiple of 3?
True
Let t(d) be the first derivative of -d**4/4 - 37*d**3/3 - 8*d**2 - 52*d - 84. Does 36 divide t(-37)?
True
Suppose -h = 2, 3*o = 