(((-40)/15)/(-8))/((-2)/g) a multiple of 19?
False
Let k(n) = 112*n**2 + 191*n + 2. Is 24 a factor of k(-4)?
False
Let q be 5/((12 - 10) + -1*3). Let s(x) = -x - 1. Let f be s(q). Is (-198)/f*(1 - 3) a multiple of 11?
True
Is (9198/21)/(21/560) a multiple of 47?
False
Let c(v) = v**3 - 6*v**2 + 2*v + 1404. Let h be 0*(-3 - 4*6/(-6)). Is c(h) a multiple of 13?
True
Let d = -39 - -15. Let o(h) = h**3 + 25*h**2 - 5. Is o(d) a multiple of 18?
False
Suppose 7*c - 320 = -89. Let t = -1 - -3. Suppose 93 - c = t*s. Is 10 a factor of s?
True
Suppose 5*f + 0*f - 18 = -2*k, 5*k = 20. Suppose 0 = c + 2*n - 68, -3*c = f*n + n - 204. Suppose 0 = j - 5*j + c. Is 4 a factor of j?
False
Let b(w) = w - 15. Let h be b(15). Suppose h = 11*g + 152 + 134. Does 6 divide (g/(-6) - 1)/(10/195)?
False
Suppose k - 3 - 46 = 0. Let l = -79 - -88. Suppose 3 = -p + 4*i + l, -5*p = -i - k. Is p a multiple of 5?
True
Let b(i) = i + 288. Is 12 a factor of b(-21)?
False
Let d be (214/8)/(4/48). Suppose t = 5*s - 9*s + 348, -5*s = -t + d. Is t a multiple of 27?
False
Let q(a) be the second derivative of -55*a**3/2 + 3*a**2 + 4*a - 3. Suppose 3*m + 69 = 66. Does 19 divide q(m)?
True
Let z(m) = 5622*m - 10901. Is 55 a factor of z(8)?
False
Suppose -b + 9 = 5*d + 2*b, 3*d = 5*b - 15. Suppose d = -9*n - 4*n + 52. Suppose 5*h = -n*x - x + 640, -4*h + 517 = 3*x. Is h a multiple of 20?
False
Let x be 2/6*-4*(-3)/(-2). Let z be x/(-1) + (1 - -1). Suppose -7*s - 2*q = -z*s - 422, 558 = 4*s - 2*q. Does 13 divide s?
False
Let d(o) = -123*o + 26. Suppose -3*p + 48 = -11*p. Let m(u) = -41*u + 9. Let s(i) = p*d(i) + 17*m(i). Is 19 a factor of s(1)?
True
Let i(l) = -6*l + 58*l + 27*l - 39 + 26. Is i(3) a multiple of 32?
True
Let l be -85*(-9)/45 - -4. Suppose 19*s - l*s = -1204. Is s a multiple of 86?
True
Let p(t) be the first derivative of t**4/2 - 5*t**3/3 - 3*t**2/2 - 6*t + 11. Let w = 119 - 113. Is p(w) a multiple of 14?
False
Let q(y) = y**3 + 10*y**2 + 8*y - 1. Let r = 11 - 13. Let a be (3 + r)/((-1)/9). Is q(a) a multiple of 4?
True
Suppose 2 = 4*a - 2*a, -3429 = -3*w - 3*a. Suppose 3446 - w = 6*m. Does 8 divide m?
True
Let b(x) = -x - 12. Let v be b(7). Let z(h) = h**3 + 21*h**2 + 38*h + 16. Let j be z(v). Is 12 a factor of 588/j - 6/8?
True
Let v(i) = -8*i - 813. Let w be v(0). Let g = 1146 + w. Does 37 divide g?
True
Is 1/((-7)/(-40637)) + (-996)/3486 a multiple of 3?
True
Let x(s) = -s**3 - 14*s**2 - 12*s + 16. Let k be 35/11 + 2/(-11) - 16. Let a be x(k). Suppose -3*d + 245 = -0*d - p, 2*d - 167 = -a*p. Does 7 divide d?
False
Let y = -154 + 132. Let c be 12/8 - 142/4. Let z = y - c. Is z a multiple of 12?
True
Does 14 divide -13*45/(-702) + (-15206)/(-12)?
False
Let w = 285 + -283. Suppose w*n + 234 = 2*o, -2*o - 2*n + 294 - 80 = 0. Is o a multiple of 16?
True
Let i(j) = 2*j**2 + 4*j - 3. Let q be i(-6). Let v = 32 + q. Let s = v + -62. Is 3 a factor of s?
True
Let m(q) = q**3 + 5*q**2 - 4*q + 9. Let o be m(-6). Does 11 divide ((-170)/5)/(404/(-132) - o)?
True
Suppose -2*t + 2*z - 6*z = -822, 0 = -t - 4*z + 417. Let f = t - 196. Is 19 a factor of f?
True
Let z = -412 + -41. Let h = z - -1489. Is h a multiple of 37?
True
Suppose -2*m = -5*g + 24, -5*m + 4*g - 4 - 22 = 0. Let t be (1 - 1)*(4 + m - 3). Suppose 5*r - 93 = -4*u + 11, 2*r - u - 52 = t. Is 12 a factor of r?
True
Suppose -h + 12 = 2*r, 0 = 3*h + r - 14 - 2. Suppose 177 = 3*k - 0*k - 2*p, -h*k = -p - 231. Suppose -k*a = -55*a - 6. Is a even?
False
Let h(f) = f**2 + 7 - 3*f - 7 - 11 - 16. Does 12 divide h(-9)?
False
Let x(l) = -11*l - 91. Let t be x(-15). Let b = t + 160. Does 13 divide b?
True
Let n = 10457 + -10352. Is 64 a factor of n?
False
Let s(f) = 6*f - 21. Let n be s(-9). Let c = n - -61. Let b(r) = r + 38. Does 24 divide b(c)?
True
Let a(u) = 580*u - 907. Does 166 divide a(64)?
False
Let y be ((15 - 19) + (-10)/(-6))*-3. Suppose -c - 2*i + 59 = 0, -y = 2*c - i - 150. Suppose -c - 31 = -2*h. Is h a multiple of 10?
True
Let m(l) = 1 + 2*l**2 + 2*l - 5*l**2 + 13*l. Let g be m(5). Does 11 divide (-10*g)/((-22)/121)?
True
Suppose 30*h = 4*h + 114660. Is h a multiple of 42?
True
Suppose 4*j + 8 = 3*m + 25, 23 = 4*j + 3*m. Suppose -j*l + 4097 = 12*l. Is 54 a factor of l?
False
Let s(g) = g + 10. Let f(h) = -h**3 - 5*h**2 - 2*h + 1. Let i be f(-4). Let d be s(i). Suppose 0 = -2*y - d*r - 0*r + 93, -2*r - 10 = 0. Is 22 a factor of y?
False
Suppose 2613 = q - z, -4*q + 3*z + 10416 = 5*z. Does 74 divide q?
False
Suppose 4*c - 145292 = 4*z - 47212, -6*c = -z - 147160. Is c a multiple of 56?
True
Suppose -15*o = -11 - 19. Is (119/o)/7*48 a multiple of 12?
True
Let n = -222 - -230. Suppose n*u - 309 - 1043 = 0. Is 3 a factor of u?
False
Let s = -28808 + 29053. Is s a multiple of 9?
False
Let c(f) = 7*f**3 + f**2 + 20*f + 54. Is 115 a factor of c(8)?
False
Let q = -27 - -25. Let t be 0 - 0/3*(-1)/q. Suppose r - 5*w = 88, -3*r + 230 = -t*r + 2*w. Is r a multiple of 13?
True
Let d(s) = 3*s**2 + 5*s + 9. Let a(c) = 4*c**2 + 143*c + 11 - 3 - 139*c. Let n(w) = 4*a(w) - 3*d(w). Is n(2) a multiple of 5?
True
Let k be ((-6)/8)/(456/64 + -7). Is 13 a factor of (2 - -1)/k*-226*1?
False
Suppose 13*q - 2736 = 10*q. Is 19 a factor of 10/4*q/40?
True
Suppose 2*x = 42 - 42. Suppose x = -5*h + g + 287, 0 = -3*h - 4*g + 101 + 62. Does 26 divide h?
False
Let c(n) be the third derivative of 17*n**7/840 + n**5/120 - n**4/24 + 17*n**3/6 + 8*n**2. Let g(k) be the first derivative of c(k). Is 2 a factor of g(1)?
False
Suppose -22 = -2*o - 10. Let i be 3 + (0 - 2) + o. Does 6 divide (-18)/i*(6 - 276/18)?
True
Let k(o) = -3*o + 3. Let b be k(5). Let t be 40/(-18) - (-34)/153. Does 17 divide t + 4/(b/(-201))?
False
Let z = -8509 - -13941. Is z a multiple of 14?
True
Let t(u) = -2*u**2 + 12*u - 28. Suppose -41*k - 65 = -46*k. Let p be t(k). Does 28 divide (-6)/(219/p - -1)?
True
Let s be (1806/15)/((16/(-10))/8). Let x = s - -850. Does 31 divide x?
True
Suppose 0 = -4*x - p + 12, 2*p = 5*x + 7*p - 15. Let c(f) = -8 - x*f - 5*f + 3 + 12*f. Does 6 divide c(9)?
False
Suppose 1111 = -4*q - 1717. Let c = 1421 + q. Is 42 a factor of c?
True
Let n = 1779 - 1266. Let l = n + -502. Does 6 divide l?
False
Is 8/(-12)*746865/(-21) a multiple of 10?
True
Let c(x) = -3*x + 42. Let j be c(18). Let z = 117 + j. Let y = 173 - z. Is 21 a factor of y?
False
Suppose 13*b = 10*b - 5*r + 21580, 0 = 3*b + 3*r - 21576. Is 15 a factor of b?
False
Let d(k) = 9*k - 5. Let j be d(1). Suppose -n + 11 + 50 = j*q, 0 = 2*q - 10. Suppose 4*t = -2*s + 5*t + n, -s + 5*t = -25. Is 4 a factor of s?
True
Suppose p = -o + 10, 32 = 5*o + 3*p - 12. Let l(a) be the second derivative of a**5/20 - 7*a**4/12 + 11*a**3/6 - 13*a**2/2 - 2*a. Does 14 divide l(o)?
False
Suppose -1107 = -16*u + 25*u. Let j = u - -129. Does 2 divide j?
True
Suppose h - 6 = -11. Let a(p) = 4*p**3 - 11*p**2 + 6*p. Let x(d) = 11*d**3 - 32*d**2 + 18*d. Let m(v) = -17*a(v) + 6*x(v). Is m(h) a multiple of 6?
False
Let r(s) = -s. Let i be r(-1). Let h be (-4)/i - (-8)/(-2). Is 4 a factor of (-162)/(-21) + h/(-28)?
True
Let w(z) = z**2 + 32*z - 1607. Is w(97) a multiple of 82?
True
Suppose 6*q = 2 + 16. Suppose -q*i = -n - 165, 5*i - 3*i = 5*n + 97. Let f = 82 - i. Is f a multiple of 26?
True
Let z = 2900 - -1164. Is 2 a factor of z?
True
Suppose -4*o - 123 = d + 240, 93 = -o - d. Let p be 5 - 2 - -165 - 1. Let r = p + o. Is r a multiple of 26?
False
Let c be (-8)/4 + 12/(4 - 1). Suppose -c*l = -0*l - 6*l. Suppose l = -20*i + 1960 - 220. Is 18 a factor of i?
False
Let d(v) = -v**3 + 6*v**2 + 3*v - 15. Let q be d(6). Suppose -2*t + q*j = 2*t - 51, 5*t + 3*j = 57. Is 4 a factor of t?
True
Let m = 11 + -3. Suppose -22 - m = 10*b. Let s(z) = 14*z**2 - 2*z - 11. Is s(b) a multiple of 21?
False
Let o(l) = 2*l**2 - 16*l - 47. Let t be o(-3). Suppose 9*f + t*f - 2688 = 0. Is 24 a factor of f?
True
Let c(q) be the first derivative of -q**3/3 + 37*q**2/2 - 66*q + 187. Does 11 divide c(20)?
False
Suppose 5*t + 60 = 75. Does 23 divide ((-24)/4)/(t/348*-2)?
False
Let a(c) = 214*c + 2492. Does 32 divide a(6)?
True
Suppose -b = -9*b - 5520. Is ((72/10)/9)/((-2)/b) a multiple of 23?
True
Suppose 3*a = -5*n + 16, -a + 4*n + 16 = 3*n. Let y(f) = 2*f**2 - 10*f - 81. Does 20 divide y(a)?
False
Let j(p) = -300*p**3 - 23*p**2 + 7*p + 6. Does 202 d