 a factor of s?
True
Let m(f) be the second derivative of -f**5/20 - 5*f**4/12 + 5*f**2/2 - 5*f. Let t be m(-5). Suppose t*v = 5*x + 3*v - 55, -5*x + 70 = -5*v. Does 9 divide x?
True
Let b be 2 + (-2)/2 + -11. Let i be b - (-6)/(-1 + -2). Let x = 17 + i. Does 3 divide x?
False
Suppose 7*v = -4*v + 2068. Suppose 11*s = -v + 1607. Is s a multiple of 18?
False
Let p(a) = a**3 + 2*a**2 - 3*a + 3. Let i be p(-3). Suppose 3*v + 113 = 5*s, -i*s - s = 5*v - 120. Does 8 divide 1*3 + s + -12?
True
Let a be (-2 - -10)/(3/66). Suppose -6*i + 3*i + 5*h = -a, 3*h = 4*i - 242. Does 31 divide i?
True
Let y = -4 - -14. Let r(h) = h**3 - 10*h**2 + 7*h. Is r(y) a multiple of 10?
True
Let y = -139 + 91. Let q = y + 88. Is q a multiple of 20?
True
Let p(t) = -t**3 - 10*t**2 - 5*t + 35. Does 35 divide p(-12)?
False
Let s be (8/(-6))/((-8)/1164). Let q = s - 116. Is 13 a factor of q?
True
Let b(k) = 16*k + 4. Let n be b(-9). Let x be (-24)/(-10)*n/(-3). Suppose 4*r = -4*v + x, -r - 2 + 126 = 5*v. Does 6 divide v?
True
Let c = -209 + 317. Is c a multiple of 12?
True
Is 12 a factor of (-24)/(-2 + -2) + 804?
False
Let z be 0*4/(-32)*-4. Suppose z = -2*q + 4*q + 4*n - 12, -5*q + 6 = 2*n. Suppose q = -4*a + 8*a - 212. Is a a multiple of 13?
False
Let p(g) be the second derivative of -g**5/20 + g**4/3 + g**3 + 3*g**2/2 - 3*g. Let k be p(5). Does 10 divide k/(-12) + (-190)/(-6)?
False
Suppose -4*k = 37 - 85. Is 41 a factor of (1*(-4)/k)/((-3)/1107)?
True
Suppose x - 209 = -5*i + 141, i - 59 = 2*x. Suppose -2*f = -5*r - 305 + i, 0 = -5*r - 20. Is 26 a factor of f?
False
Let v be ((-4)/2 + -76)*(-5)/(-5). Let d = v + 194. Does 26 divide d?
False
Suppose h - 5 = -3. Suppose h*z + 440 = 6*z. Does 14 divide z/2 - (-3 + 5)?
False
Let x = 187 + 208. Does 37 divide x?
False
Let l be 26 + (-1)/(-2)*-2. Suppose 0 = 4*j - 5*h - 95, j - 2*h = -h + l. Is j a multiple of 10?
True
Suppose 0 = -t + 3*t - 8. Is t a multiple of 3?
False
Let b = -23 - -47. Let l be 66/b + 2/8. Suppose 2*j - u - 11 = 0, l*u = 3*j - 2*j - 3. Is 3 a factor of j?
True
Let c be -1*(-2)/5*5 + -8. Suppose 0 = 2*f + 3*f + 20. Is c/(((-42)/f)/(-7)) even?
True
Suppose -5*w = -3 - 7. Suppose 7 = -w*q - 13. Let a = q + 31. Does 9 divide a?
False
Let i(z) = 9*z - 35. Let j = 80 - 73. Is i(j) a multiple of 28?
True
Suppose -16*g = 2533 - 22021. Is g a multiple of 67?
False
Let g(t) = 5*t**2 - 17*t - 2. Suppose 18 = 8*u - 22. Is g(u) a multiple of 4?
False
Let s = 23 + -27. Does 22 divide s/(-6) - (-896)/42?
True
Let h(f) = 7*f + 24. Let d(b) = b + 4. Let k(t) = 39*d(t) - 6*h(t). Is k(-8) a multiple of 9?
True
Is (-243)/(-21) - (-18)/42 a multiple of 4?
True
Let i be ((-9)/(-12))/((-9)/(-36)). Is (3 + (-88)/(-6))*i a multiple of 9?
False
Suppose 4*g - 47 = 1. Does 8 divide -9*2*g/(-9)?
True
Let i(y) = 3*y + 26. Let t be i(-9). Does 3 divide 2/(-2*2/32)*t?
False
Let n be (4 - 0) + -11 + 10. Suppose -n*w - 138 = -5*w. Is 11 a factor of w?
False
Does 15 divide (-6)/(-20)*4192 - 8/(-20)?
False
Suppose -3*d = 5*l - 2, 4*d = -d - 3*l + 14. Let p(y) = -y**2 + 7*y + 13. Let h be p(6). Suppose -d*v + 5 = -h. Does 3 divide v?
True
Let f(i) = i**2 - 6*i - 15. Suppose q - 16 = -4. Does 11 divide f(q)?
False
Suppose 246 + 64 = 2*o. Is 31 a factor of o?
True
Let s be 132*((-28)/(-6) + -4). Does 33 divide (-9)/(-2*4/s)?
True
Let c be (-5)/(-20) - (-11)/4. Suppose 0 = -c*l + 219 - 9. Does 17 divide l?
False
Let l = 492 + -394. Is 2 a factor of l?
True
Suppose -v + 2 = 2*m, -3*v - m = -5 - 6. Suppose v*k = k + 36. Is k a multiple of 3?
True
Suppose -12*j + 216 = -9*j. Suppose -j - 1464 = -8*m. Does 23 divide m?
False
Let g = -26 + 48. Let b = 86 - g. Is b a multiple of 25?
False
Let k(q) = -q**2 - 91*q - 166. Is k(-29) a multiple of 16?
True
Let p(u) = 2*u**2 + 46*u + 20. Is 16 a factor of p(-34)?
True
Let f(u) be the third derivative of -u**6/3 - u**5/60 - 6*u**2. Is f(-1) a multiple of 23?
False
Is 80 a factor of (-2391 + -6)/(-3) - -1?
True
Suppose 0 = w - 4 - 2. Let l(u) = 2*u + 41. Let d be l(-22). Is 18/4 - d/w a multiple of 5?
True
Suppose -4*o - 2*c - 4 = 0, 3*o + 0*o - c = 2. Let i(l) = 2*l**2 - 6*l**2 + 25 + l + 0*l**2 + 5*l**2. Is i(o) a multiple of 25?
True
Suppose -39 = -4*c + 29. Let p = 65 - c. Is 24 a factor of p?
True
Suppose -4*d - 4*d - 288 = 0. Let r = d - -61. Does 12 divide r?
False
Let k(c) = 6*c**2 - 7*c + 6. Let a be (-7)/(-2) - 1/(-2). Let r be k(a). Is (r/8)/((-2)/(-16)) a multiple of 20?
False
Let o(z) = z + 17. Let x be o(9). Does 6 divide (1 - 5)*x/(-8)?
False
Let l(m) be the third derivative of -m**5/60 + m**4/12 + m**3 - 8*m**2. Let j be l(3). Suppose -2*h + p + 48 = -p, 0 = j*p - 6. Does 8 divide h?
False
Let w(g) = -3*g**3 - 26*g**2 - 17*g - 12. Let u(m) = -m**3 - 9*m**2 - 6*m - 4. Let o(v) = 8*u(v) - 3*w(v). Is 4 a factor of o(-5)?
False
Suppose -6*f - 2*n + 98 = -4*f, 0 = -4*f - n + 184. Let r be 36/20*f/3. Let a = r + -15. Does 12 divide a?
True
Let g(f) = -f**3 + 4*f**2 - 3*f + 3. Let n be g(3). Suppose 0 = -2*v + n*v - 29. Suppose -v - 6 = -x. Is x a multiple of 24?
False
Let b be 24/60 - 558/(-5). Suppose -4*k + 280 = -4*l + 9*l, 0 = -2*l - 4*k + b. Does 10 divide l?
False
Suppose x + 3 = -3*w + 19, 3*w + 24 = 3*x. Let z = -8 + x. Suppose -i = -4*i + z*v + 78, -12 = 4*v. Is 24 a factor of i?
True
Suppose 0 = -0*y + 5*y - 125. Let g = y - 25. Suppose -2*v + g*v = -4*k + 388, 0 = -5*k - 5*v + 500. Is k a multiple of 24?
False
Does 14 divide (-6 + -4)*((-436)/8 - 1)?
False
Let z(u) = -19*u + 20. Let p be z(5). Let c = -21 - p. Is 27 a factor of c?
True
Let o = 117 + -45. Let n = o - -9. Is 9 a factor of n?
True
Suppose 0 = -g + 5*f - 71, 2*f = 4*g + 5*f + 307. Let m = 135 + g. Is m a multiple of 15?
False
Let v = 730 - 534. Does 3 divide v?
False
Suppose -2*n - 17 = -3*z, -5*z + n = -4*n - 30. Suppose 166 = -3*i + z*i. Is i a multiple of 9?
False
Let o(u) = 5*u**3 + u - 1. Let t be o(1). Suppose 38 + 2 = -t*b. Let c = b + 45. Does 10 divide c?
False
Suppose 3*q - 224 = -q. Is q + -3 + 2 + 0 a multiple of 14?
False
Let c(m) = m**3 - 4*m**2 + 50*m + 100. Does 52 divide c(15)?
False
Suppose 4*n - 2055 = -7*l + 10*l, -3*n = -3*l - 1542. Is 27 a factor of n?
True
Let o(r) = 2*r**3 - 5*r**2 + 3*r - 4. Suppose -15*z - 20 = -19*z. Is 17 a factor of o(z)?
True
Let h(n) = n**2 + 6*n - 12. Let q be h(-12). Is 34 a factor of (q/25 - 2)/(2/170)?
True
Suppose 0 = 4*c - 3*s + 6, 5*c - 4*s + s + 6 = 0. Suppose j + 4*v + 19 - 5 = c, 2*j - 3*v = 5. Is (j/(-6))/(4/144) a multiple of 4?
True
Let g(v) = -v**2 + 10*v - 14. Let p be g(8). Suppose -3*n - p*m = -100, -n - 2*n + 4*m + 88 = 0. Is n a multiple of 10?
False
Suppose 3*y + 3 + 3 = -c, 0 = 3*c + 5*y + 2. Let s = 11 + c. Let o = s + 0. Does 17 divide o?
True
Let j = -44 - -69. Let k = 48 - 67. Let b = j - k. Is b a multiple of 22?
True
Let o(q) = 3*q**3 + 2*q**2 - 1. Let z be o(1). Suppose b = -4*j + 28, 2*j - 10 - z = -b. Does 11 divide 2/7 - (-306)/j?
True
Let o = 725 + 328. Is 16 a factor of o?
False
Let i be (0 + -2)/(6/27). Let p be i/(-15) + 16/(-10). Let z(a) = -22*a**3 - a**2 - a - 1. Does 15 divide z(p)?
False
Let k = 88 - -14. Suppose 0 = 3*f - 7*f + 3*c - k, -2*f + c - 50 = 0. Let g = 39 + f. Is g a multiple of 3?
True
Let p(c) = 1336*c - 16. Does 44 divide p(1)?
True
Let m = -15 - -20. Let h be m + -3 + (0 - -2). Suppose 3*q + l + l = 9, 4*q = h*l + 32. Is 5 a factor of q?
True
Suppose 5 = 3*j - 2*j, 4*z = 4*j + 4660. Does 69 divide z?
False
Let u(d) = 330*d**2 - 327*d**2 + 3 + 0*d + 3*d. Let p be u(-5). Suppose 4*f + p = 5*f. Does 21 divide f?
True
Let s be (2 - 1) + -10 + 14. Suppose -9*p + s*p + 532 = 0. Does 17 divide p?
False
Suppose 2*z = 4*w - 88, -22 = z - 5*w + 28. Let x = z + 21. Let h = x - -47. Is 9 a factor of h?
False
Let n be 118 + (0 - 8/4). Suppose 5*j = -20, -2*k + n = -4*j - 44. Is k a multiple of 18?
True
Let d(m) = 41*m**2 + 43*m - 156. Does 32 divide d(4)?
True
Suppose -3*n + 0*o + 1116 = -3*o, 0 = -3*o - 9. Is n a multiple of 41?
True
Suppose 7*a - 41 = -6. Suppose -10*f + 500 = -a*f. Is 20 a factor of f?
True
Suppose -420 = -3*d - 5*w, 3*w + 140 = -0*d + d. Is d a multiple of 17?
False
Suppose 0*f + 2*f + 88 = 2*w, 5*w - 2*f - 229 = 0. Does 47 divide w?
True
Let j(a) = a**2 - 12*a + 16. Let c be j(11). Suppose 5*y - 180 = -c*d, 