 Is v a multiple of 10?
True
Let a be (-1)/(-9) + 182/63. Is 12 a factor of ((-144)/(-7))/(a/21)?
True
Let i be 0 + -4 + -2*3. Suppose 0 = -4*q + 4*j - 20, -2*q + 0*j = -5*j + 25. Is (q - 3/2)*i a multiple of 15?
True
Suppose 111*k = 22182 - 426. Is 128 a factor of k?
False
Let x(i) = -375*i - 45. Does 18 divide x(-2)?
False
Suppose 10*a + 205 = 15*a. Suppose -2*l = -l - 3. Let k = l + a. Is 22 a factor of k?
True
Suppose -2*o = 2*o - 12. Suppose o*t + 3*d = 270 + 363, -20 = 4*d. Suppose -4*y + 2*l = -t, 2*y - 3*l = 3*y - 54. Is y a multiple of 18?
True
Let l(s) = s**2 - 5 - 2*s**3 + 3*s - 5*s**2 - 1 + s**3. Let h be l(-5). Suppose 0 = -5*a - h + 214. Is a a multiple of 24?
False
Let h(m) = -2*m**2 - 5*m - 12. Let b be h(-6). Let x = b - -118. Does 16 divide x?
True
Let w = -59 + 112. Let r = 237 - w. Is r a multiple of 40?
False
Let g = -74 + 164. Suppose 4*r = 106 + g. Is r a multiple of 12?
False
Let a(o) = -o**3 + 10*o**2 - o - 6. Let v = -48 - -54. Does 16 divide a(v)?
False
Suppose -65 - 10 = -5*p. Is (-18)/p*(-36 + 1) a multiple of 12?
False
Let a(h) = h + 2. Let m be a(0). Suppose -2*z + 4*f = 170, z - 4*f + 255 = -m*z. Let c = -61 - z. Is 11 a factor of c?
False
Let h(t) be the third derivative of t**4/6 + 2*t**3 - 7*t**2. Let a be h(6). Let d = a - 14. Is d a multiple of 11?
True
Suppose -190 - 293 = 5*a - 4*s, 200 = -2*a + 5*s. Let x = -65 - a. Is x a multiple of 15?
True
Let x(g) = -g**3 - 17*g**2 - 13*g + 39. Let l be x(-16). Is 19 a factor of (-5219)/(-153) - (-1)/l?
False
Let c(z) = -z**2 + 33*z**3 + 48*z**3 - 56*z**3 - 1 + 2*z. Does 5 divide c(1)?
True
Let q = -5 + 9. Suppose -11 = -q*m - 0*m - 5*z, z = -5. Does 9 divide m?
True
Does 10 divide (-1233)/54*2*-3?
False
Suppose -5*m - 25 = 0, 0 = -4*l + 6*l + 4*m. Let j(t) = -t**3 + 11*t**2 - 8*t + 10. Does 10 divide j(l)?
True
Let m(y) = -y + 1. Let h(s) = -6*s + 7. Let i(a) = 2*h(a) - 18*m(a). Is 12 a factor of i(7)?
False
Let l be 13*-2 + (-4)/(-1). Let x be 84/22 + (-4)/l. Suppose -x*q - 304 = -5*p, 2*p = -2*p + q + 241. Does 12 divide p?
True
Let c(q) = -q**2 - 6*q + 8. Let p be c(-8). Suppose 45 = -m - 0*m - 4*s, 4*m - 5*s = -117. Let i = p - m. Is i a multiple of 12?
False
Let z(h) = h + 2 - 3*h**2 + 2 - 6*h + h + h**3. Let s be z(4). Is (-208)/(-20)*10/s a multiple of 7?
False
Suppose -8*l - 795 + 8747 = 0. Does 13 divide l?
False
Let j(c) = -c + 18. Let p be j(8). Let d(a) = -3*a**2 - 7*a + 10. Let m(w) = w**2. Let h(i) = d(i) + 4*m(i). Does 10 divide h(p)?
True
Suppose 5*o = 1659 + 1121. Let q = o - 388. Does 21 divide q?
True
Let z(p) = -15*p + 1. Let h be ((-18)/45*1*5)/2. Is z(h) a multiple of 6?
False
Let f(y) = y**3 + 43*y**2 - 62*y + 17. Is 49 a factor of f(-43)?
False
Let k be 3 - (4 - (-6)/(-2)). Suppose -50 = -k*p + 7*p. Does 17 divide 536/10 - (-6)/p?
False
Let p(l) be the first derivative of -l**5/30 + l**4/2 - l**3/3 - 8. Let f(j) be the third derivative of p(j). Is f(-3) a multiple of 5?
False
Let m = 42 + -50. Is 4*7/(-42)*(m - 1) a multiple of 6?
True
Suppose -201 = -7*u + 527. Let v = -8 + u. Is v a multiple of 24?
True
Let t(g) = 16 + 3*g - 11 - 9. Let x be t(4). Let j = x - 3. Does 3 divide j?
False
Let j be (-3)/15 - (-392)/10. Suppose 4*v - o = 23, -3*v + 5*v + 5*o - j = 0. Is 2 a factor of v?
False
Let s = 24 - 15. Let v(x) be the third derivative of -x**4/24 + 25*x**3/6 + 3*x**2 + 7. Does 16 divide v(s)?
True
Suppose 32 + 52 = j. Let w = 192 - j. Is w a multiple of 19?
False
Let n(p) = p**2 + 2*p - 3. Let b be n(7). Is 24 a factor of b/(-105) + 340/7?
True
Let i be (2 + (-4)/12)*3. Suppose -i*c + 18 = -2. Suppose -c*j + 264 = h, -5*h = -2*j - 0*j + 132. Is 28 a factor of j?
False
Suppose 0 = 2*p + 144 - 1180. Does 5 divide p?
False
Let w(r) = r**2 - 5*r + 6. Let o be w(4). Suppose -o*y + 5 = 1. Suppose -y*j + 7*j - 20 = 0. Does 3 divide j?
False
Let u = 15 + 25. Let y = 52 - u. Is 4 a factor of y?
True
Let s(x) = 2*x - 23. Let w be s(13). Suppose -11 = 2*m - 39. Suppose -w*q = -49 - m. Is 7 a factor of q?
True
Suppose 6*g - 4*g = -5*t + 1251, 0 = 5*g + t - 3116. Is g a multiple of 22?
False
Suppose -20*q = 8*q - 32368. Does 17 divide q?
True
Let x = 387 - 164. Is 15 a factor of x?
False
Let b be -2*(-356)/(-8)*-3. Suppose -3 = -6*l + b. Is 15 a factor of l?
True
Let o(k) be the first derivative of -k**3/3 - 5*k**2/2 + 11*k - 1. Let n be o(-6). Let s = 10 + n. Is s a multiple of 5?
True
Let w(v) = -9*v**2 + v + 10. Let g be w(-4). Suppose -4*r + 234 = -542. Let d = g + r. Is d a multiple of 28?
True
Suppose -2*a + 944 = -3*i - 216, 0 = -4*a - 5*i + 2276. Is a a multiple of 14?
True
Let b(q) = -37*q**2 + 13*q - 6. Let j be b(2). Let t = -62 - j. Does 33 divide t?
True
Let s be 700/8*432/21. Suppose 21*g - 3*g = s. Is 10 a factor of g?
True
Suppose -4*l + 578 = -i, 0*l + 5*l + 4*i = 712. Is l a multiple of 9?
True
Let z = 1022 + -330. Does 11 divide z?
False
Suppose -6*u = -690 - 174. Is 9 a factor of u?
True
Let b = -3 + 6. Let h(q) = q**3 - 7*q**2 - 18*q + 4. Let o be h(9). Suppose b*v = o*v - 20. Is 4 a factor of v?
True
Let v(b) = -b**3 + 28*b**2 - 27*b + 57. Is 9 a factor of v(27)?
False
Suppose z = 0, 0 = 4*r + 19*z - 14*z - 2300. Is r a multiple of 23?
True
Let q be (-2 + 0)*(-20)/8. Suppose 15 = 5*p + q. Suppose -p*z = -3*z + 4. Is z a multiple of 4?
True
Let f(a) = 30*a + 4. Is f(9) a multiple of 19?
False
Let c = 16 + -11. Suppose -w - c = -v, 0*w = -w. Suppose 0 = -f - 4*i + 48, 5*f + v*i = 57 + 198. Is f a multiple of 26?
True
Let t(v) = 44*v**2 - v + 27. Is t(-5) a multiple of 28?
False
Let f(h) = -5*h**2 - 1. Let m be f(-2). Let l = m + 25. Suppose -l*k + 99 = -n - 79, -3*n = -6. Is k a multiple of 15?
True
Let b = 109 - 111. Is 3306/18 + (b - 7/(-3)) a multiple of 37?
False
Is 9 a factor of (2 - 0)*(-3510)/(-12)?
True
Let f be 3*40/12 - 4. Is (-4)/f - 122/(-3) a multiple of 11?
False
Let l(x) = 4*x**3 - 5*x**2 + 7*x - 26. Is l(6) a multiple of 20?
True
Let x(c) = -38*c - 383. Does 15 divide x(-16)?
True
Let a(l) be the third derivative of 7*l**6/120 + l**5/30 - l**4/12 + 145*l**2. Suppose 5*n - 2*r + 7*r = 0, 3*n - 12 = 3*r. Is 20 a factor of a(n)?
True
Suppose -9611 = -48*t + 11605. Is 10 a factor of t?
False
Let a(j) = -6 + 6*j + 16*j + 0*j**2 - 9*j - 3*j**2. Let m be a(6). Is 4/(-18) - 1736/m a multiple of 26?
False
Let w = -1733 + 2580. Is 61 a factor of w?
False
Let w = -18 - -20. Suppose -5*h - 5*i + 75 = 0, w*h - 37 = -i - 2. Does 18 divide (-162)/(-15)*h/6?
True
Let y(w) = 411*w**2 + 14*w - 11. Is y(1) a multiple of 15?
False
Is 15211/49 + 2/(14/(-3)) a multiple of 5?
True
Suppose 616 = 3*j + 5*m + 212, 261 = 2*j - 5*m. Let g = 353 + j. Is 14 a factor of g/14 - 14/(-49)?
False
Let n = -52 - -58. Let m(w) = -w**3 + 9*w**2 - 14*w - 6. Does 15 divide m(n)?
False
Is 30 a factor of (4404/(-60) - 1)/((-2)/25)?
True
Suppose 54*s + 2732 = 6566. Does 3 divide s?
False
Let z = 2522 + -1442. Is 72 a factor of z?
True
Let o(p) = 17 - 48 + 13 + 13 - 10*p. Is o(-3) a multiple of 4?
False
Suppose -122 = -3*d - 4*h, 3*d = 7*h - 3*h + 106. Does 5 divide d?
False
Is (-2 - -1)*1 + (137 - -99) a multiple of 14?
False
Suppose -w - w = -2*k + 184, -k - 3*w = -108. Is 24 a factor of k?
True
Let j(q) = -q**3 - 7*q**2 + q - 6. Let x be j(-8). Suppose 5*r - x = 2*o + 95, -2*r = o - 49. Suppose 9*f - 4*f - r = i, 5*f = -i + 23. Is 3 a factor of f?
False
Suppose 3*q + 5*f - 164 = f, 4*q - 228 = -3*f. Does 6 divide q?
True
Suppose -2*o = 7*g - 3*g - 186, 0 = 4*g - 4*o - 216. Is 29 a factor of g?
False
Suppose -7*a - 170 = -12*a. Let o = a + -24. Does 4 divide o?
False
Suppose 3*p - 6 - 24 = 0. Is 43 a factor of (6/p)/((-3)/(-645))?
True
Let p(t) = 5*t**2 + 4. Let w(d) = -4*d**2 + d - 5. Let n(u) = -5*p(u) - 6*w(u). Let h be n(-7). Suppose -4*k + h*k + 27 = 0. Is k a multiple of 9?
True
Is (0/(-2) - -1512)/(-24 + 25) a multiple of 56?
True
Let p(s) = -2*s**3 - 13*s**2 + 18*s + 3. Does 51 divide p(-8)?
True
Let x(w) = w**3 + 22*w**2 + 13*w + 120. Is 6 a factor of x(-21)?
True
Let b(g) = g - 21 + 2*g - 2*g + 22. Let q(m) = 4*m - 5. Let f(p) = -2*b(p) - q(p). Does 9 divide f(-10)?
True
Let o = 29 - 46. Is 6 a factor of (-2)/o + 151/17?
False
Let h = -188 + 27. Let n = h + 265. Does 21 divide n?
False
Let l be (-14)/(-63) - (-43)/9. Let q(p) = 22*p + 6. Is q(