pose -5*j = 2*k - 13 - 1, -2*k - 4 = -4*j. Is (-255)/(-10) + k/(-4) a multiple of 13?
False
Let k(w) = 35*w**2 + 6*w + 31. Does 81 divide k(-4)?
True
Is ((-243)/(-36))/(2/96) a multiple of 12?
True
Is 21 a factor of 14/6 + (-152992)/(-96)?
True
Let c(p) = 21*p + 2. Let j(i) = 42*i + 4. Let y(d) = 5*c(d) - 3*j(d). Is 9 a factor of y(-2)?
False
Suppose 2*f + 5*n - 63 = 0, 3*f + 2*n = -n + 72. Suppose 15*i - f*i = -224. Is 14 a factor of i?
True
Let t = 584 + -269. Is t a multiple of 105?
True
Let z = 13 + -39. Let x = -16 - z. Is x a multiple of 10?
True
Let z(i) = -76*i**3 - 3*i**2 + 3*i - 1. Let h be z(1). Let u = -39 - h. Does 9 divide u?
False
Let k(z) = 6*z**2 - z**2 - 14*z - 2*z**2 - 36. Does 12 divide k(12)?
True
Suppose 28*n - 18863 - 5637 = 0. Is 5 a factor of n?
True
Suppose -8 = 4*v, -r = -v - 95 - 179. Suppose 5*u = 3*s - 256, r = 3*s + 2*u - 3*u. Does 23 divide s?
True
Let s(k) = -4 + 3 - 2*k - 1. Let x(v) = -2*v - 2. Let o(g) = 6*s(g) - 5*x(g). Is o(-8) a multiple of 3?
False
Let h = -979 - -1483. Is 6 a factor of h?
True
Suppose 3*a - 2*k - 42 = k, -5*k = 0. Suppose 8*o + a - 142 = 0. Does 16 divide o?
True
Is 3/(4/90*(-2)/(-4)) a multiple of 5?
True
Suppose -5*f - 14 = 11. Let m(t) = -t - 2. Let i be m(f). Let s(u) = 6*u - 4. Does 6 divide s(i)?
False
Suppose 4*d = -d + 25. Let b(v) = -v + 5. Let r be b(d). Suppose r = 4*h - 7*h + 48. Is 8 a factor of h?
True
Let a be 29*(-2)/(-6)*3. Let p(v) = -v**3 - 13*v**2 + 14*v - 13. Let n be p(-14). Let w = a - n. Does 6 divide w?
True
Let c(z) = 161*z + 247. Is c(19) a multiple of 59?
False
Let d(w) = -6*w - 21. Let o be d(-4). Suppose -2*m = -5*p - 7*m + 170, -o*p + 4*m = -95. Is 5 a factor of p?
False
Let w be (14 + -14)/(3 - 1). Suppose 0 = 4*a - a - 5*j - 161, -255 = -5*a - 5*j. Suppose -2*l - 5*i = -w*l - 104, -l - 4*i = -a. Does 13 divide l?
True
Let j = 5 - 2. Let f = j + 2. Let o = f - -8. Does 9 divide o?
False
Does 22 divide (4/(-16))/(((-2)/(-7208))/(-1))?
False
Suppose 0 = -4*t - 235 + 91. Is t/28 - (-6)/21 - -122 a multiple of 11?
True
Let f(v) be the first derivative of 11*v**5/40 + v**4/12 + 4*v**3/3 + 1. Let b(g) be the third derivative of f(g). Is b(1) a multiple of 13?
False
Let o(f) = 6*f**3 - 2*f**2 - f - 1. Let i be o(2). Let j = -33 + i. Is j a multiple of 2?
True
Suppose t = -b - 6, 5*t + 0 = 4*b - 3. Let m be (-1 - b) + 0/(-3). Is (-36)/(-8)*(4 - m) a multiple of 2?
False
Let n be (27/(-36))/((-2)/16). Let g be n/(-15) + (-27)/(-5). Let m(a) = 3*a + 4. Is 3 a factor of m(g)?
False
Suppose 5*b = -5*o - 5, -b + 0*b = -2*o + 10. Let i(g) = g**2 - 1. Let d be i(1). Suppose d = 4*y - h - 9 - 35, -y + 22 = -o*h. Does 10 divide y?
True
Let i = 3104 + -944. Is i a multiple of 27?
True
Let p(i) = 41*i**2 + 16*i + 33. Is p(-2) a multiple of 9?
False
Let u = 388 + -226. Suppose 62 = 8*p - u. Is p a multiple of 7?
True
Let y be 1/(-5) - (-28065)/75. Let l = y - 192. Does 15 divide l?
False
Suppose -4*w = l + 2016 - 6937, -2*w + 5*l + 2455 = 0. Suppose -10*m + w = 170. Does 25 divide m?
False
Suppose -6*o = 4*o - 750. Let c = 41 + o. Is 29 a factor of c?
True
Suppose s + 4*o = 3*o + 42, 167 = 4*s + 5*o. Suppose 5*h = 2*v - s, h + 47 = 2*v - 0*h. Is v a multiple of 3?
True
Let b(v) = -2*v**3 - 63*v**2 - 34*v - 51. Does 7 divide b(-31)?
True
Let y(p) be the third derivative of p**4/24 - 11*p**2. Is y(2) a multiple of 2?
True
Suppose 0 = -2*v - 5*h + h + 4, -v - 12 = -5*h. Is 21 a factor of ((4/8)/1)/(v/(-840))?
True
Let a be 0/3 - (-9 + 0). Suppose -a*x + 740 + 1726 = 0. Is 19 a factor of x?
False
Let f be 2/(-7) + 340/(-35). Let z(o) = -o**3 - 11*o**2 - 10*o - 6. Let y be z(f). Does 13 divide (0 - -3)/y*-50?
False
Suppose -5*r + 79 = 64. Let x(c) = -c**3 + 6*c**2 - 5*c + 2. Let v be x(5). Suppose -r*j + 0*d - 4*d + 16 = 0, 14 = 2*j + v*d. Is 4 a factor of j?
True
Is 6 a factor of (-9837)/(-135) + 2/15?
False
Suppose 0 = -5*j - 5 - 15. Let r = -5 - j. Is ((-7)/(-3))/(r/(-18)) a multiple of 14?
True
Let f be (-3 - -2) + 1230/3. Suppose 0 = 8*i - f + 49. Does 9 divide i?
True
Suppose 10650 + 7382 = 8*f. Is 23 a factor of f?
True
Is 15 a factor of ((-4110)/(-2))/((-18)/(-12))?
False
Suppose 0*c + 2 = c. Suppose -c*r - 148 = -4*r. Is 34 a factor of r?
False
Suppose 70 = 10*n - 9*n - 4*u, 0 = 3*n + 4*u - 178. Is n a multiple of 31?
True
Suppose -873 + 103 = -5*a. Let u = 221 - a. Let p = -34 + u. Is p a multiple of 11?
True
Suppose 2*p = -2*s + 4, 8 = -2*p + s + 3*s. Suppose p = -14*j + 1675 - 149. Does 10 divide j?
False
Let x = 7 + -30. Let c = x - -27. Is 26 a factor of c/((-12)/(-225)) + 3?
True
Let y be (-8)/(-12) + 10/3. Suppose 0 = -2*v + m, 3*v + y*m - 25 = -3. Suppose 4*n + 8 = 2*i, 3*i - 5 - 15 = v*n. Is i a multiple of 8?
True
Let p be (12/9 - 3 - -2)*9. Suppose -p*k + 0*k = -114. Is k a multiple of 19?
True
Suppose -7*i + 52 = -634. Suppose x + i = 2*x. Is 14 a factor of x?
True
Let d be 4 - 1/((-3)/9). Let l = 67 - d. Suppose -5*k = -l + 5. Is k a multiple of 11?
True
Suppose -5*t - 25 = 0, 2*y + 0*y - 4*t = 948. Does 4 divide y?
True
Suppose 17*v - 15*v - 2*s - 10016 = 0, 3*s = -v + 5008. Is v a multiple of 61?
False
Let r(f) = 4*f**3 + 19*f**2 + 2*f + 2. Let u(l) = -3*l**3 - 13*l**2 - l - 1. Let s(i) = 5*r(i) + 7*u(i). Does 7 divide s(4)?
False
Let a = 1182 - 804. Is 27 a factor of a?
True
Suppose 4*o = 233 + 179. Let k = o + -5. Is 26 a factor of k?
False
Let c(l) = -l**3 - 6 + 5*l**2 - 2*l**3 + 0*l**3 + 0*l**3 + 7*l. Let z(i) = -2*i**3 + 3*i**2 + 5*i - 4. Let f(y) = -5*c(y) + 8*z(y). Does 7 divide f(-4)?
False
Let c be (1 + (-2 - -1))/(-2). Let b = 164 - 161. Suppose -4*q + c*q = -b*m - 147, 0 = -m - 1. Is q a multiple of 18?
True
Suppose -15*l = -16*l + 89. Suppose 4*o - 449 = -l. Is 21 a factor of o?
False
Let h be 2/5 - (-2828)/(-70). Is -1 + h/(-3 + 2) a multiple of 14?
False
Let r = 1498 - 588. Does 18 divide r?
False
Suppose 0 = -m - 3*d + 218, 4*d - 3*d + 898 = 4*m. Is m a multiple of 7?
True
Suppose -4*x + s = -25, -2*x = -0*s + 2*s. Suppose x*u + 151 - 546 = 0. Does 32 divide u?
False
Does 5 divide (108*5/(-10))/(-1)?
False
Suppose 18*s + 61 = 7. Let k(g) = g + 6. Let y be k(-6). Is s - (-32 + y/(-2)) a multiple of 9?
False
Suppose -14*p + 13*p = 0. Suppose x - a - 60 = -3*a, p = -4*x - a + 205. Let k = x + 17. Is k a multiple of 14?
False
Let n(y) = 38*y + 238. Is n(14) a multiple of 19?
False
Let l(u) = -256*u**3 + u**2 + 4*u + 2. Does 14 divide l(-1)?
False
Let t(l) = 9*l + 7. Let o(i) = -18*i - 13. Let d(s) = 6*o(s) + 11*t(s). Is d(-5) a multiple of 22?
True
Suppose -348 = -13*w - 1427. Let r(y) = 50*y - 2. Let k be r(3). Let p = w + k. Is 13 a factor of p?
True
Is 11 a factor of ((-18)/5)/(16/(-360))?
False
Is (-29)/((-554)/92 + 24/4) a multiple of 29?
True
Let a(q) = q**2 - 5*q - 12. Let x be a(11). Suppose -o = -3*l + 20 + 142, -l = o - x. Is 10 a factor of l?
False
Suppose -11 = -5*s + 4. Suppose 61 = -s*y - 107. Let j = y - -105. Does 19 divide j?
False
Let a(t) = t**2 + 7*t - 60. Is 10 a factor of a(-17)?
True
Does 2 divide 24*(8/108 - 613/(-108))?
True
Let m be (24/4)/2 - (-29)/1. Let h = 16 + m. Is 4 a factor of h?
True
Let x(q) be the second derivative of q**4/12 + q**3/6 + 9*q**2 - q. Suppose -3*a - 12 = -4*a - 3*z, -4 = 3*a - z. Is 11 a factor of x(a)?
False
Let x(c) be the third derivative of -c**7/1680 - c**6/240 - c**5/60 + 5*c**2. Let d(v) be the third derivative of x(v). Is d(-12) a multiple of 10?
False
Suppose -4*o + 5667 = 1383. Does 21 divide o?
True
Let f(x) be the second derivative of 5*x**3/6 - x**2 + 16*x. Does 6 divide f(11)?
False
Suppose -o = -2*v - 11, -5*v = 2*o + 11 + 3. Suppose -34 - 50 = -o*g. Does 5 divide g?
False
Is 16 a factor of 40/320 - (-2318)/16?
False
Let u(n) be the third derivative of n**4/4 - 16*n**3/3 - 10*n**2. Is u(8) a multiple of 8?
True
Suppose -25*l = -19*l + 24. Is 13/l*(1 - (-54)/(-6)) a multiple of 4?
False
Let v be (5 + 0)*12/(-10). Let h(f) = f**3 + 6 + 15*f**2 + 8*f - f**2 - 6*f**2. Does 11 divide h(v)?
False
Let s(a) = a**3 - 1 - 17*a + 12*a**2 + 26*a + 7*a**2 - 7*a**2. Is s(-11) a multiple of 8?
False
Let y(x) = x**3 + 6*x**2 + 2*x - 1. Let b be y(-4). Let g(c) = -3*c**2 - 32*c - 27. Let l be g(-10). Let v = l + b. Is v a multiple of 5?
False
Suppose 9108 = 5*l + 4*g, -12*l + 16*l + 2*g = 728