multiple of 13?
True
Suppose 0 = -19*l + 7*l + 20664. Suppose 2*n = -5*p + n + l, -5*p + 1710 = 5*n. Is p a multiple of 15?
True
Let x = 39 - 69. Let k be 55/x - (-1)/(-6). Is 14 a factor of 91 - (4/(-8)*0 - k)?
False
Suppose 5*y - 2040 = -m, 0 = -4*m + 46*y - 37*y + 8102. Is 24 a factor of m?
False
Is 5064/4 + 6 + -1 + 1 a multiple of 5?
False
Suppose 0 = 15*a - 6*a - 99. Let m = a - -41. Suppose 0 = h - m - 120. Is 20 a factor of h?
False
Let a = -3 + 5. Suppose -5*p + 28 = -2*t, p + a*t - 12 = 4*t. Does 4 divide p?
True
Let m(g) = -3*g**2 - 26*g - 14. Let h be m(-7). Suppose 700 = -14*b + h*b. Is 14 a factor of b?
False
Let c(a) be the first derivative of -a**4/2 - 2*a**3 + a**2 + 198. Does 17 divide c(-5)?
False
Let i = 51 - 47. Suppose z + 2*z - 1086 = i*d, 2*z + d = 724. Does 41 divide z?
False
Suppose 3*q - 6266 = -2*h, 0*q - 5*q = -3*h - 10456. Is 38 a factor of q?
True
Let x(n) = -n**3 + 30*n**2 + 118*n + 122. Does 89 divide x(30)?
False
Let b(q) = q**3 + 16*q**2 + 29*q - 16. Suppose 2*l = -15 - 11. Let g be b(l). Does 8 divide g/27 - 4 - 2872/(-36)?
True
Let q = -50 - -54. Suppose 5*j = u - 199, 0*u + q*u - 16 = 0. Let c = j + 53. Is 2 a factor of c?
True
Let u = -28 + 24. Let g be (-5)/(u/(176/(-4))). Let b = g + 130. Is b a multiple of 15?
True
Suppose 0 = -3*q + 1001 - 698. Is q a multiple of 101?
True
Let p(w) = -w**3 - 35*w**2 - 64*w + 160. Is p(-33) a multiple of 45?
False
Let b(u) = 60*u**2 - 19*u + 95. Does 4 divide b(6)?
False
Is 5064 + -5 + -2 - 12 a multiple of 5?
True
Let m(q) = 36*q - 116. Is m(57) a multiple of 12?
False
Is 16 a factor of (-3)/(-4) - (886735/(-140) - 3/7)?
False
Suppose 2*b - u - 32 = 0, 18*u - 23*u = 0. Suppose -b*y = 1086 - 6446. Does 14 divide y?
False
Let m = 20523 + -8841. Is 33 a factor of m?
True
Suppose -4*r + 2*n - 6 + 68 = 0, -2*n = -r + 11. Let u = r - 16. Is 11 a factor of (2 - u)*(-5 - -42)?
False
Suppose -13*v - 4*a + 5 = -12*v, -3*a + 5 = 2*v. Is (v + 2)*(4270/(-15))/(-7) a multiple of 33?
False
Let r = 7456 + -4148. Is 4 a factor of r?
True
Let h(t) = -6*t + 64. Let z(l) = -6*l + 58. Let g(y) = 5*h(y) - 6*z(y). Suppose -5*o - 2*c + 35 = 0, c = -5*o + 7*o - 14. Is g(o) a multiple of 2?
True
Let t(k) = 124*k**2 - 30*k + 236. Is 48 a factor of t(10)?
True
Let s be -1 - (4 - 6)/(-2)*-1. Suppose -n + 40 + 811 = s. Does 67 divide n?
False
Let a(o) be the first derivative of 8*o**3/3 - 23*o**2/2 - 114*o + 119. Is a(-4) a multiple of 20?
False
Let z(l) = -l**3 + 2*l**2 - l + 75. Let x be z(0). Let o = 146 - x. Does 13 divide o?
False
Let m = -641 + 1173. Let i(j) = -355*j**3. Let v be i(1). Let u = v + m. Is 32 a factor of u?
False
Let k = -366 - -781. Is 8 a factor of k/3*27/15?
False
Suppose -20*d + 41 + 19 = 0. Is 0/d + 14473/41 a multiple of 54?
False
Suppose 16*t - 3*t = 65. Suppose -t*f + 627 = o, -13*f = 4*o - 14*f - 2403. Does 43 divide o?
True
Suppose 49*c + 68*c - 85*c - 134080 = 0. Is c a multiple of 79?
False
Suppose 599*y = 591*y + 2867 + 30093. Is 103 a factor of y?
True
Suppose 0 = 4*b - 6*n - 14750, -4*b + 14762 = 19*n - 21*n. Does 52 divide b?
True
Suppose -l + 18 = -2*z, 0*z - 4*z - 36 = -3*l. Let p = 12 + z. Suppose -4*r + 4*w + 220 = 0, p*w + 11 - 116 = -2*r. Does 27 divide r?
True
Let n(z) = -2*z**2 + 3*z - 15. Let c be n(3). Let t = c + 100. Is t a multiple of 22?
False
Let x = 14 - 4. Suppose -4*a + 3*w + 6 = -8, 5*w + x = 4*a. Suppose 3*p = 4*g + 124, -a*p + 2*p + 140 = 4*g. Is p a multiple of 28?
False
Does 18 divide (918 + 12)*(18/5 + 3)?
True
Let h = -159 + 163. Suppose -n - h*n = -770. Does 11 divide n?
True
Suppose 1397*b - 1352*b = 506520. Is b a multiple of 12?
True
Does 141 divide (3 - 16)/(2/(-12) - 2814/(-16938))?
False
Suppose -p - 24 = -26. Let i(q) = 52*q + 6. Is 22 a factor of i(p)?
True
Is 70/(-4)*((-10318)/35 + -52) a multiple of 119?
True
Suppose 248*q + 126 = 254*q. Suppose q*k = 39 + 150. Does 3 divide k?
True
Let m(s) = -s**2 + 10*s + 4. Let b be m(11). Let t(y) = 6*y + 1. Let j(p) = -7*p - 16. Let f(a) = -2*j(a) - 4*t(a). Is f(b) a multiple of 14?
True
Let s be 1/(-1) - 0 - -4. Suppose -30*w - 1372 = -128*w. Is 4 a factor of (w/6)/((-1)/(-18)*s)?
False
Suppose 75*k = 78*k - 3228. Suppose -1804 - k = -10*b. Does 12 divide b?
True
Let i(m) be the first derivative of 61/2*m**2 + 8*m - 1. Is i(2) a multiple of 10?
True
Let i(q) = 167*q**2 + 5*q + 58. Is i(-6) a multiple of 40?
True
Suppose -2*w + 22972 = 4*v, 17877 = 4*w + v - 28060. Does 11 divide w?
True
Suppose 1860*n - 18590 = 1850*n. Is n a multiple of 21?
False
Suppose k = -5*u - 48, 0*k - 5*k - 3*u = 350. Let x = k - -77. Suppose 2*n + 2*j - 4*j - 230 = 0, 474 = x*n + 3*j. Does 13 divide n?
True
Let s = 13362 + -5252. Is 11 a factor of s?
False
Suppose 0*c + 2*c - 2727 = 5*h, -4*c + 4*h = -5448. Suppose 241 = -8*o + c. Is o a multiple of 35?
True
Suppose -8*h + 9*h - 8645 = l, 2*h = -14*l + 17322. Is h a multiple of 56?
False
Let c = 63 - 153. Let a = -82 - c. Is 19 a factor of (30/6 - a) + (-44)/(-2)?
True
Let m(s) = 145*s**2 + 89*s - 62. Is m(-7) a multiple of 17?
False
Let u be (-30)/(-40)*12 + -1 + -3. Suppose -3*n = -5*n + 3*m + 319, 0 = u*m - 15. Let d = n - 63. Does 30 divide d?
False
Let w = 216 + -209. Suppose 4*c - w*s + 4*s - 403 = 0, 5*c - 3*s - 503 = 0. Is c a multiple of 38?
False
Let v(z) = z**2 - 4*z - 14. Let y be v(10). Is y/4*(19 + -1) a multiple of 51?
False
Let c = -84 + 160. Let y(v) = -17*v - 1. Let o be y(3). Let d = c + o. Does 6 divide d?
True
Let d = 3 + -198. Let i = -191 - d. Is i a multiple of 2?
True
Suppose 3*k + 64 = 2*z - 440, 4*z - 5*k - 1008 = 0. Suppose 2 = f, -x - 3*f + z = -124. Does 6 divide x?
False
Let o be 4 - (-4 - -13)/(-3). Let p = 7 - o. Suppose p = 3*f - 88 - 380. Is f a multiple of 15?
False
Let w = -24 + 15. Let y(m) = 3*m - 2*m - 8 + 33. Does 7 divide y(w)?
False
Let z(l) = 85*l**2 + 20*l - 51. Is 9 a factor of z(4)?
False
Let a(o) be the second derivative of 5*o**4/4 - 19*o**3/6 - 41*o**2/2 + 43*o. Is a(-5) a multiple of 11?
True
Suppose -24*v = -26*v + 1186. Let g = v - 246. Is g a multiple of 85?
False
Suppose -13*u + 0 = -0. Suppose -3*d - d + 5*g - 617 = 0, u = 2*d - 2*g + 310. Is 12 a factor of 9/(9/(-2)) - d?
True
Let y(n) = 426*n**3 - n**2 + 2. Let b be y(-1). Let x = -299 - b. Suppose 2*k - 90 = 4*g - 258, 3*g + k - x = 0. Is g a multiple of 42?
True
Let o = 21868 - -12187. Does 9 divide o?
False
Let m be (3 + (-98)/21)*(1 + -4). Let x(k) = 4*k - 18. Let g be x(m). Suppose 0*n - g*n = q - 142, 4*n = -4*q + 280. Is n a multiple of 12?
True
Suppose -2 = 13*v - 15. Let l be ((-12)/18)/(v/3). Is (-1 + -9 - l)*135/(-20) a multiple of 9?
True
Let c(k) = -k + 49 + 2*k**3 - 3*k**3 - k + k. Let a(d) = -2*d**2 - 72*d - 136. Let z be a(-34). Is 6 a factor of c(z)?
False
Let r be 437/46 - 2*(-1)/(-4). Let w be (24/60)/(1 + r/(-10)). Suppose k - 5*d + d = 82, -w*k = d - 328. Is k a multiple of 18?
False
Let s be (-23463)/(-18) + ((-6)/(-4) - 1). Suppose -s = 51*b - 59*b. Is 50 a factor of b?
False
Suppose -30*y + 65 + 25 = 0. Suppose y*o = -632 + 1868. Is o a multiple of 13?
False
Let d be 2/(-8)*10*-2. Suppose 0*r = -3*r + 3*a - 603, 977 = -d*r - 2*a. Is 6/4 - r/2 a multiple of 20?
True
Suppose -512*a + 21516 = -501*a. Is 3 a factor of a?
True
Suppose -13 + 321 = 3*n + 5*j, 404 = 4*n + 5*j. Is (114/4)/(n/640) a multiple of 5?
True
Let b be (-2 + 1 - -4)/(14 - 13). Suppose -d - 9 = -3*k, 0 = -b*d - k + 6 + 7. Suppose 4*h + 4*j = 3*h + 99, 3*j - 288 = -d*h. Does 15 divide h?
False
Let g(n) = 22*n**2 - 656*n + 14587. Is 37 a factor of g(23)?
True
Suppose 6*c = 2*c - 2*l + 20144, 2 = -l. Is c a multiple of 25?
False
Suppose -3 = -i, 4*n + 2*i = 3*n + 41. Suppose -2*x + n = -413. Is 28 a factor of x?
True
Let l(y) = y**3 - 67*y**2 - 50*y + 68. Is 14 a factor of l(69)?
False
Let i = 53 - 52. Let o(b) = 352*b**2. Let l be o(i). Suppose 4*a - 160 - l = 2*p, -5*a = 5*p - 640. Is a a multiple of 32?
True
Let u be (-15)/(-9)*15/5. Let o be 784/80 + (-1)/(-5). Is 46 a factor of 1264/u - ((-22)/o + 2)?
False
Let y = 85 + 5648. Is 21 a factor of y?
True
Let b(a) be the third derivative of -a**5/30 - a**4/24 + 5*a**3 - a**2. Let x be b(-5). Is 9 a factor of -382*3/x + 3/5?
False
Suppose 56 = 18*i - 11*i. Suppose 5*w = i*w - 228. Is 53 a factor of w?
False
Let h