9. Is 13 a factor of m?
True
Let h(m) = -7*m - 12*m - 2*m - 29. Let n be h(-10). Does 6 divide n/4 + (-6)/24?
False
Let w be -5 - ((-64)/6)/(1/3). Let b(y) = 3*y + 6. Is 29 a factor of b(w)?
True
Let u = -14432 + 21062. Does 51 divide u?
True
Let x be (-5)/(5/(-25)*1). Suppose x = 6*j + 31. Is 2 a factor of (5/(-1))/((j - 2) + 2)?
False
Let c(v) = -6*v**3 - 3*v**2 - 13*v + 2. Does 2 divide c(-5)?
True
Let z(a) = a**2 - 8*a + 5. Let i be z(8). Let k be (28/i)/(3/(2 - -73)). Suppose 8*v + k = 404. Is 11 a factor of v?
True
Let h be (-8)/((-56)/(-105))*-2. Suppose -h*a + 180 = -27*a. Does 20 divide a?
True
Suppose -2*a - 612 = -5*a. Suppose 23 + 18 = 6*g + 17. Suppose x = g*x - a. Does 16 divide x?
False
Let c(s) = -15*s - 2*s**2 + 4*s**2 - 2*s**2 + 6 - s**2. Is c(-12) a multiple of 6?
True
Let y(p) = -333*p - 3856. Does 6 divide y(-14)?
False
Let w(j) = j**2 - 16*j + 37. Let m be w(-25). Let t be (-7 - (-5 + 1))/(2/m). Does 27 divide (-6)/9*t/6?
False
Let o(v) be the third derivative of -v**6/120 + v**5/5 + 31*v**4/24 - 49*v**3/6 - 12*v**2 + 5. Is 22 a factor of o(11)?
False
Let s be (-4 - -2 - -2) + 300. Suppose -5*h + 3*h = -s. Suppose -4*f + h = 2*f. Does 25 divide f?
True
Let w be (8 - 3)*-1*(-4)/10. Suppose -4*v - 440 = w*k - 1444, 0 = v - 3. Is k a multiple of 37?
False
Let o(f) = f**3 + 19*f**2 - 392*f + 9. Is o(-17) a multiple of 92?
False
Suppose 24*i - 139588 = 327185 + 30507. Is 70 a factor of i?
True
Let f(c) = 6*c**3 - 32*c**2 - 20*c - 73. Does 17 divide f(10)?
False
Let q(w) = 32*w**2 + 42*w - 370. Does 52 divide q(13)?
False
Let p(a) = a**3 + 11*a**2 + 7*a + 11. Let q be p(-5). Suppose 0 = -k + m + m + q, 5*k - 614 = 2*m. Suppose k + 337 = 9*w. Is 15 a factor of w?
False
Let w be ((-24)/60)/((-2)/180). Suppose 14*c - 2*c = w. Suppose 3*q = 9, -i = c*i + q - 75. Is i even?
True
Let l = 11786 - 2396. Does 36 divide l?
False
Let j = 74 - 70. Is (-16)/j + 92 + 2 a multiple of 6?
True
Let v(g) = 22970*g + 625. Is 143 a factor of v(1)?
True
Let g = 7697 - -10270. Is g a multiple of 7?
False
Is (-1262025)/(-525) - 12/14 a multiple of 47?
False
Suppose 2*d = -2*j + 114365 - 4591, -219534 = -4*d - 2*j. Is d a multiple of 35?
True
Suppose -121388 = -7*h + 32172 - 21701. Is 208 a factor of h?
False
Let o(c) = c**2 - 4*c - 5. Let n be o(9). Let h = 40 - n. Suppose 4*y + 3*m - 489 = h, 0*y = -5*y + 4*m + 588. Does 20 divide y?
True
Let x be 8/(-36)*-24*6. Suppose -182*o - x = -186*o. Suppose -o*h + 15*h = 994. Does 18 divide h?
False
Suppose -18*d + 23*d = 10. Let x be (-1165)/(-10) - 3 - 3/d. Suppose -2*h + h + 11 = -3*z, 4*z = -5*h + x. Is h even?
True
Let x = -1 - -79. Suppose -9*t = -264 - x. Suppose 64 = d - t. Is d a multiple of 13?
False
Suppose m - 5*c = 541, 265 + 284 = m + 3*c. Does 4 divide m?
False
Suppose -2504 = 11*b - 13*b. Suppose -2*c + 7*j + b = 9*j, -2*c + 3*j + 1242 = 0. Does 48 divide c?
True
Let n(d) = 289*d + 5. Suppose 106*b - l = 110*b - 14, 5*b + 5*l = 25. Is n(b) a multiple of 16?
False
Let b = -3 + 2. Let u(o) = -5 + 17*o + 3 - 5*o - 48*o - 9*o. Does 9 divide u(b)?
False
Is (582/16)/(152/13376) a multiple of 33?
True
Let c be 12/4*906/9. Let s = c - 180. Let d = s + -106. Is 3 a factor of d?
False
Let p(d) = 4*d**2 - 9*d - 8. Let v = 159 + -163. Is 7 a factor of p(v)?
False
Suppose 91606 = -87*i + 393061. Is 165 a factor of i?
True
Let w = 22417 - -647. Is w a multiple of 16?
False
Let l(h) = 5*h - 70. Let t(q) = q. Let w = 136 - 133. Let u(d) = w*t(d) - l(d). Does 8 divide u(27)?
True
Let w(u) = -u**2 + 21*u + 28. Let q be (-3)/(-5) - (-67)/5 - 2. Is w(q) a multiple of 68?
True
Let s = -452 + 651. Suppose -6*l + 1793 + s = 0. Does 4 divide l?
True
Suppose 0 = c + 3*c - 28. Suppose 2*z = c*v - 12*v - 15, 2*v + 6 = -4*z. Let i = z - -146. Is i a multiple of 28?
False
Let v(k) = 681*k - 21. Is 10 a factor of v(1)?
True
Suppose -9*j - 5880 = -16*j. Suppose -5*l = -0*a - 5*a - 830, j = 5*l + 5*a. Is l a multiple of 18?
False
Suppose -5*m - 34 = -734. Let u = -334 + 278. Let j = u + m. Does 21 divide j?
True
Let p be (-3)/9 - (-17)/(-3). Let t = p - -11. Is 10/t - 6*-3 a multiple of 5?
True
Let i be (-22)/(-8) + 5*5/100. Suppose -v + 129 = i*o - 26, -4*v = -5*o - 603. Does 13 divide v?
False
Let j = -215 - -230. Suppose 5*u = j, -2*o + 119 - 14 = u. Does 29 divide o?
False
Let o(z) = -z**2 - 11*z + 29. Suppose -22 - 11 = m + 5*p, -2*p = -m - 5. Let q be o(m). Suppose q*t = 7*t + k - 484, -3*t = -4*k - 382. Is 22 a factor of t?
False
Let k = 99 - 19. Suppose -88*h + 2184 = -k*h. Is 34 a factor of h?
False
Suppose -4*g - 720 = x, 3*x + 2*g + 1412 = -798. Let f = 1609 + x. Is f a multiple of 39?
False
Suppose -59*t - 144705 = -571924. Does 65 divide t?
False
Let s(n) = n**3 + 33*n**2 + 216*n - 28. Does 31 divide s(-16)?
True
Let i(v) = -36*v + 32. Let j be i(37). Let s = j + 2210. Is 35 a factor of s?
True
Suppose 0 = 194*o - 190*o - 4532. Let j = o + -503. Is 42 a factor of j?
True
Let t(x) = -30 + 27 - 16 + 2*x**2 - 2*x. Is 5 a factor of t(-8)?
True
Let d(k) = -k + 21. Let v(g) = 2*g + 3. Let t(x) = d(x) + 2*v(x). Let q be (7/(-2) + 2)*-6. Is t(q) a multiple of 10?
False
Let r be ((-6268)/8)/(1/2). Let h = -783 - r. Is 28 a factor of h?
True
Let d(v) = -3*v - 11. Let p be d(-5). Suppose -2268 = p*z - 11*z. Suppose 0 = 2*g - 6*g + z. Is g a multiple of 13?
False
Is 4 a factor of (-119)/(-3 + -14) - -4165?
True
Let s be 324/594 + 38/11. Does 14 divide s/(-8)*(-15304)/4 + -4?
False
Let u(n) = 2*n**3 - 4*n**2 - n - 4. Let l be u(3). Suppose -47 + l = 3*g. Let v = 24 + g. Is v a multiple of 6?
True
Let t(f) = -27 - 24*f + 14 - 6 + 25 - 10*f**2 + f**3 + 29. Is t(16) a multiple of 15?
False
Let j(k) = 1294*k - 928. Does 8 divide j(10)?
False
Let v be 0/2*(7 - (-3 + 9)). Suppose v = -5*s + 2*n + 3*n + 295, 5*s = 4*n + 297. Let q = -7 + s. Is 9 a factor of q?
True
Let y(d) = -227*d + 231. Is y(-11) a multiple of 62?
True
Let a(l) = 1207*l**2 - 281*l + 1714. Does 58 divide a(6)?
False
Suppose 0 = 3*a - a. Let p be 2 + -4 - a/(7 + -4). Is -2 - 2176/(-11) - p/11 a multiple of 28?
True
Let i = 31047 - 5998. Is 5 a factor of i?
False
Suppose 0 = 3*n - 23 - 1. Let r = -407 - -395. Does 10 divide (2 - 62/1)/(r/n)?
True
Suppose 4*u + 2*o + 2*o = 628, -133 = -u + 5*o. Let m be (-1)/2 + u/34. Suppose -3*s - m*w = -949, 0 = -2*s + 5*s + 2*w - 959. Is s a multiple of 17?
True
Let p be (192/9)/(6/9). Let i = p - 43. Let h(v) = 2*v**2 + 11*v - 6. Is h(i) a multiple of 25?
False
Is (-426616)/(-28) + 28/(-490)*5 a multiple of 32?
False
Suppose 0 = 4*j + 48 + 44. Let p = 15 + j. Does 5 divide -44*((-2)/(-6))/(p/12)?
False
Suppose -l = 0, 2*v - 5*l - 9 = -1. Let x(g) = g**2 + 11*g - 10. Is 15 a factor of x(v)?
False
Let g(c) = 11*c**2 - 8*c + 13. Let u be g(-7). Suppose -n - n = -6, -u = 5*j - n. Let b = -72 - j. Is b a multiple of 11?
False
Let m = -259 + 1825. Suppose 6*o - 5364 = m. Does 33 divide o?
True
Suppose 2*c - 6 = 3*j + 15, -40 = -4*c + 4*j. Suppose c*v + 648 = 13*v. Does 21 divide v?
False
Does 11 divide 350678/40 - 69/(-1380)?
True
Let i(k) = k**2 - 7*k - 8. Let n be i(8). Suppose 110 = 2*p - 2*l, 3*p + 6*l - 3*l - 159 = n. Suppose -j = -4*u - p, -186 = -6*j + j - u. Is j a multiple of 19?
True
Let p(y) = 90*y - 24. Suppose -t = -3*d + 12 + 13, 0 = 2*d + 3*t - 13. Let c be p(d). Suppose -11*w = -3*w - c. Is 11 a factor of w?
False
Suppose -8 = -10*j + 112. Let i = j + -10. Suppose 159 = 4*f + 4*k - k, -5*f + i*k + 170 = 0. Is 36 a factor of f?
True
Does 16 divide 19 + (-129)/7 - 212684/(-7)?
True
Let t = 56499 - 37697. Is t a multiple of 119?
True
Let s = -42524 + 112606. Does 209 divide s?
False
Let k(j) = -8*j - 96. Let c be k(-8). Is 3940/18 - c/288 a multiple of 20?
False
Let d(f) = 9*f + 39. Let x be d(-9). Does 13 divide (-8)/(-2) - (x + 3)?
False
Let d(j) = -2*j**3 + 12*j**2 - 36*j - 325. Does 57 divide d(-15)?
False
Let l(f) = -f**2 - 24*f - 12. Let q(n) = n**2 + 12*n + 22. Let h be q(-5). Let z be l(h). Let y = z - 83. Is 11 a factor of y?
False
Let b(t) = 347*t + 4736. Does 128 divide b(0)?
True
Let y = -9 - -17. Suppose 0 = y*d - 3*d - 305. Suppose 3*p = d - 13. Is p a multiple of 3?
False
Suppose -5*h + u + 35 = 0, -4*h + 34 = 5*u - 23. Suppose h*p - 15*p + 35 = 0. Suppose p*d - 326 - 234 = 0. Is 16 a factor of d?
Tru