 r(k) = 3*k**2 - 2*k + 12. Let u(p) = 5*r(p) - 4*t(p). Let x be u(6). Is 2/(-4) - 392/x a multiple of 12?
True
Let a(h) = 1 - 2 + 4*h + 6*h. Let m = 140 - 139. Is 6 a factor of a(m)?
False
Suppose -6*z + 9*z = -5*y + 3296, 2*z - 2*y = 2176. Is 61 a factor of z?
False
Suppose -3*t + 5*t + 5*r + 5 = 0, -2*t + 4*r + 4 = 0. Suppose 76*f - 71*f - 650 = t. Does 13 divide f?
True
Suppose 14*y - 1906 = 642. Is y a multiple of 14?
True
Is (-96)/(-240) - 273/(-5) a multiple of 3?
False
Let d(j) = -14*j - 43. Let b(y) = 5*y + 14. Let m(r) = -11*b(r) - 4*d(r). Does 6 divide m(-8)?
False
Is (3 - 83)*(2/(-2) - 0) a multiple of 2?
True
Is 14 a factor of 123 + 12 + 7 + -2?
True
Suppose -84 = -g + 66. Suppose 5*n = s - g, 4*s + n - 68 = 553. Is s a multiple of 16?
False
Suppose 5*i = 4*l + 3936, 2*i - 7*l - 1571 = -2*l. Does 11 divide i?
False
Suppose 0 = 5*i - 5*h - 2085, -2*i = 4*h + 122 - 968. Does 38 divide i?
False
Suppose x - 552 = -3*x - 2*s, 5*x - 708 = 2*s. Suppose x = -4*p - p. Let z = 42 + p. Is z a multiple of 8?
False
Does 4 divide (18/7)/((-55)/(-6160))?
True
Let m(p) = p**2 - 3*p + 4. Let z(i) be the first derivative of i**3/3 + 5*i**2 + 3*i - 1. Let f be z(-10). Is 2 a factor of m(f)?
True
Let k be 112/21 + 2/(-6). Suppose -5*p = -3*s + 7, -3*p - 10 = k*s + 1. Let j = 11 - s. Is 6 a factor of j?
True
Let p = 340 + -219. Suppose 793 = 4*i + p. Does 28 divide i?
True
Let j(d) = 2*d**2 - 14*d - 82. Let o be j(11). Let m be ((-3)/4)/(1/(-108)). Does 4 divide m/o - 5/10?
False
Let k = 557 - -15. Is 35 a factor of k?
False
Suppose -32 = -23*m + 267. Is m a multiple of 11?
False
Let l = 1072 + -672. Is l a multiple of 40?
True
Let s(z) = -84*z - 687. Is 39 a factor of s(-17)?
True
Suppose 1470 = 15*g - 8*g. Suppose 2*d - 38 = 3*b + 23, 4*b - g = -5*d. Is 18 a factor of d?
False
Let c(b) = b**3 + 7*b**2 - 6*b - 25. Does 47 divide c(-6)?
True
Let x = -10 + 7. Suppose -55*m + 51*m = 136. Does 16 divide x/(-2)*m/(-1)?
False
Suppose -84 = j - 0*j. Does 35 divide ((-10)/(-3))/((-4)/j)?
True
Let k(r) be the second derivative of -5*r**3/6 - r**2 + 22*r. Does 39 divide k(-16)?
True
Suppose -1074 = -4*l - v - 130, -1180 = -5*l - 2*v. Is 12 a factor of -4*-1*l/16?
False
Does 9 divide (-207)/(-92)*(-1172)/(-6)*6?
True
Let a(j) = -j**2 - 10*j + 7. Let w = -14 - -13. Let h(x) = 10*x + 2. Let d be h(w). Is a(d) a multiple of 23?
True
Let z(s) = 4*s - 22. Is 10 a factor of z(8)?
True
Suppose -288 = 991*j - 993*j. Does 8 divide j?
True
Suppose 25*t - 952 = 11*t. Is 21 a factor of t?
False
Let d(f) = 30*f - 2. Let l(w) = -31*w + 3. Let x(g) = -4*d(g) - 5*l(g). Does 26 divide x(2)?
False
Let l be 1 - ((-64)/4)/4. Let t(c) = l + 7 - 4*c - 1. Does 9 divide t(-8)?
False
Let t(z) = 3*z**2 + 20*z - 103. Is 23 a factor of t(7)?
True
Let b be (-6)/15 + (-4)/(-10). Let u(o) = o**3 + 2*o**2 + 45. Is 9 a factor of u(b)?
True
Let g(c) = -c**3 - 17*c**2 + 29*c - 12. Is 38 a factor of g(-20)?
True
Suppose 23 = -j + 5*r + 5, 0 = 5*j - r + 66. Let s(k) = -2*k**2 - 21*k + 11. Let c be s(-10). Let z = c + j. Does 3 divide z?
False
Let t(m) = -2*m**3 - 4*m**2 + 6*m + 12. Let h be t(-4). Suppose 2*u - h = -4. Is u a multiple of 6?
True
Suppose -3*j + 6*j - 300 = 0. Let o be (81/3)/(3/2). Suppose j = 2*f + o. Is 11 a factor of f?
False
Does 11 divide (22468/26 - 2) + 66/(-429)?
False
Let o = -26 + 29. Is o - (-642)/7 - 6/(-21) a multiple of 10?
False
Let z be -5*1/4*-4. Suppose -5 = 3*v - r, z*r = v + 37 - 12. Let m = 3 - v. Is 3 a factor of m?
True
Let m(q) = -6*q + 13. Let b(t) = 7*t - 13. Let s(y) = 7*b(y) + 6*m(y). Is 13 a factor of s(4)?
True
Let q = -66 + 110. Suppose -q = m - 5*m. Is 6 a factor of m?
False
Let f(k) = 9*k - 6*k**2 + 3*k**2 - 5*k**2 + k**3 + 9. Is f(7) a multiple of 14?
False
Suppose -3*s = s - p - 25, -s - 10 = 3*p. Suppose -j = -4, s*n + 4*j - 121 = -0*n. Is n a multiple of 7?
True
Let g(o) = 32*o**2 + 2*o - 36. Is g(-9) a multiple of 6?
True
Let j(v) = -v**2 - 44*v - 35. Does 44 divide j(-19)?
True
Let o = 3 + 13. Let r(g) = -o + 8 + 15*g + 7. Does 6 divide r(1)?
False
Let x(o) = o**2 - 5*o + 52. Let l be (-3 - 21/(-3))/((-6)/(-27)). Does 26 divide x(l)?
True
Let l(u) = -u**2 + 9*u + 4. Let h be l(10). Let k be (126/(-28))/(h/(-16)). Let p = k + 77. Is p a multiple of 24?
False
Let u = -54 - -44. Is 5 a factor of 5*u/(8/(-4))?
True
Let u = 288 + 738. Does 27 divide u?
True
Let u = 1293 - 583. Does 71 divide u?
True
Suppose -11*q + 9*q - 4 = 0. Does 8 divide q/14 + 228/28?
True
Let p be 2/3*30/4. Suppose 4*d = m + 596, 2*d + d - p*m = 447. Is 36 a factor of d?
False
Let d = -304 + 843. Does 18 divide d?
False
Let y = -200 + 141. Let x = 143 + y. Is ((-12)/(-7))/(8/x) a multiple of 6?
True
Let l(u) = 44*u + 1280. Is 4 a factor of l(-22)?
True
Let p = -633 + 888. Does 85 divide p?
True
Let c(y) = y**3 + 9*y**2 + y + 13. Let m be c(-9). Suppose 5*z = -5*l, -8 = -4*l - z + m. Is 20 a factor of (-1)/(-2) + 78/l?
True
Let u be (-2)/(-7) + (-94)/(-14). Suppose u*n = 3*n - 16. Is 10 a factor of 2 - n*19/2?
True
Suppose -7*q + 1476 = -3*q - 5*c, 0 = q + 4*c - 390. Let d be (-1)/2 + q/4. Let i = -51 + d. Is i a multiple of 21?
True
Suppose h - 2180 = m, -5*m + 2254 = 2*h - 2106. Is h a multiple of 17?
False
Suppose 2*q - 7 = 5*o, 3*q - q - 4*o - 8 = 0. Is 5 a factor of (6/(-4))/(q/(-104))?
False
Suppose -58 = -s - 13. Suppose -s = 42*l - 45*l. Does 15 divide l?
True
Let k(y) = 5 + 9*y + y**2 - 17*y - 22*y. Does 13 divide k(33)?
True
Let s = 6 - 3. Let v = s + 4. Suppose -15 + v = -i. Does 3 divide i?
False
Suppose 0 = 5*z - 6 - 9. Suppose -z*k = 14 - 5, k = 4*c - 3. Suppose c*s + 224 = 4*s. Is 28 a factor of s?
True
Let y = 276 - 153. Let r = -82 + y. Is r a multiple of 30?
False
Suppose -694 + 28134 = 28*g. Is g a multiple of 14?
True
Suppose 287*p - 6328 = 279*p. Is 9 a factor of p?
False
Let z(x) be the third derivative of x**7/840 + x**6/90 + x**5/40 + x**4/6 + 5*x**3/6 + 3*x**2. Let i(o) be the first derivative of z(o). Is 2 a factor of i(-3)?
True
Let p(v) be the third derivative of -v**7/840 + v**6/120 - v**5/20 + 5*v**2. Let c(b) be the third derivative of p(b). Does 8 divide c(-4)?
False
Let j(y) = 114*y**2 - 6*y + 6. Is 6 a factor of j(1)?
True
Is 9 a factor of -6*6/36 - -352?
True
Is 234/(-91)*5/(30/(-112)) a multiple of 48?
True
Let f(o) = 21*o + 252. Is 16 a factor of f(22)?
False
Let o(b) = -b + 5 - 2 - 2 - 31*b**2 + 1. Let s be o(1). Is 11 a factor of 0 + 3 - 0 - s?
True
Is 43 a factor of (205/15)/(5/405)?
False
Let a(b) = b**2 + 8*b - 19. Let g be a(-10). Does 11 divide 2*g - (-2 + 1125/(-5))?
False
Let q = -2 - -10. Suppose -2*r - q = -6*r. Suppose -r*m + 5*m - 30 = 0. Does 6 divide m?
False
Let k(q) = 9*q - 29. Let v be k(4). Is 4 a factor of (-1 + -5 + v)/((-1)/(-10))?
False
Let g(l) = -1. Let y(w) = -w**2 + 3*w + 4. Let i(t) = -6*g(t) - y(t). Let j be i(2). Let v(d) = -d**3 - d**2 - d + 5. Is v(j) a multiple of 3?
False
Let b be 5 + (-6)/((-2)/(-1)). Is (0 - -19) + 2/b a multiple of 6?
False
Suppose -u + 24 = -5*m, m + 1 = 4*u - 0*m. Let d be (u/(-3))/(10/(-120)). Is 18 + d + 1 + 3 a multiple of 9?
True
Is 31226/8 - 69/276 a multiple of 36?
False
Let w(p) = -p**3 + 18*p**2 + 20*p - 17. Let o be w(19). Suppose -5*t = -o*t - 33. Is t a multiple of 11?
True
Suppose 0*j - 2 = -2*j. Let l(p) = 4*p + j + p**2 + 1 - 5. Does 21 divide l(-9)?
True
Let x = -68 + 55. Let k = x + 56. Does 9 divide k?
False
Suppose 0*q - 520 = -2*q. Suppose 0 = -0*s - 5*s + q. Is s a multiple of 13?
True
Suppose -2*o = -o - 53. Let i be (-64)/(-64)*(1 - -6). Let c = o + i. Is 20 a factor of c?
True
Suppose -5*u - 10 - 5 = 0. Let o be (5/5)/(u/(-45)). Does 39 divide (o/(-10))/(4/(-208))?
True
Suppose -51 = 5*t + 49. Let r = -7 - t. Suppose -5*q = 4*s - 65, 5*s + q = 68 - r. Is 9 a factor of s?
False
Let y be (-1 + -1)*(-71)/(-2). Let l be 3 + y*2/(-2). Let t = -41 + l. Is t a multiple of 11?
True
Let p be (-8)/12*(-3)/(-1). Let m be 3 + p + -4 + 3. Suppose m*u + 11 = u. Is u a multiple of 3?
False
Suppose 0 = -3*a + 15 + 6. Suppose 0 = a*d - 11*d + 140. Let t = -25 + d. Does 5 divide t?
True
Suppose o = -2*o + 6. Let r be 10/1 - (2 + 0). Let u = r - o. Does 4 divide u?
False
Suppose 6*n - 1 = -1. Does 14 divide (1 + n)/(2/78)?
False
Let z = 13 - 11. Suppose -z*f + 17 = -f. Suppose 