/10*2/(-4). Is 1755/o + (4 - 2)/4 a multiple of 10?
False
Suppose 35*q - 16902 = 17*q. Is q a multiple of 10?
False
Let a(r) = r**3 - 10*r**2 + 10*r - 7. Let b be a(9). Suppose b*l - 4 = -0*l. Is 18/(-10)*(-3 - l) a multiple of 6?
False
Suppose -3*n + 1790 + 547 = 0. Is n a multiple of 12?
False
Let c = 141 + 48. Suppose 266 = -0*f - 2*f. Let u = c + f. Is u a multiple of 18?
False
Let a(m) = -m**3 + 8*m**2 - 10*m + 7. Let u(k) = k**3 - 8*k**2 + 6*k + 12. Let r be u(7). Is a(r) a multiple of 24?
False
Let o = -139 - -241. Let n = o - 56. Is 8 a factor of n?
False
Let a(w) = -2*w + 11. Let c be a(4). Is 23 a factor of 207 + (c/(-1) - 0)?
False
Suppose 3*u = 2*i - 1091, 0 = 3*i - 3*u - 102 - 1542. Is 58 a factor of i?
False
Let n(c) = -4 - 3 - 6*c + 0 - c. Is 7 a factor of n(-7)?
True
Suppose 7*c - 601 = 15. Is c a multiple of 4?
True
Let y = -1260 - -1240. Let m = -11 + 97. Let a = y + m. Is a a multiple of 16?
False
Let r(v) be the third derivative of 1/12*v**4 + 1/60*v**5 - 1/120*v**6 + 0 + 7*v**2 + 0*v + 20/3*v**3. Is 20 a factor of r(0)?
True
Let i(o) = -6*o + 622. Is i(0) a multiple of 41?
False
Suppose 0*v - 2*v = 3*v. Suppose v*j = -2*j + 84. Is 14 a factor of j?
True
Let p(q) = 3*q - 9. Let v be p(3). Suppose -3*j + 5*r + 59 = 0, -5*j + v*r - r = -117. Does 3 divide j?
False
Let d = 68 + -63. Suppose 2*b + 40 = d*f - 3*b, b + 2 = 0. Is f a multiple of 2?
True
Suppose 3*h = -4*y + 23, -7*y = 3*h - 2*y - 25. Let l = -132 - -233. Suppose 2*c = 3*u - l, -h*c + 5 + 5 = 0. Is u a multiple of 7?
True
Suppose 774 = 2*b + 4*b. Suppose 4*w - 5*y = 272, 3*w - 76 - b = 4*y. Is 9 a factor of w?
True
Let l be (30/(-4))/((-1)/6). Let i = l + -40. Suppose -39 = -z + 3*b - 6*b, 0 = i*z + 3*b - 195. Is z a multiple of 6?
False
Let p(l) = 11*l**2 + 1. Let q be p(-1). Let w = 16 - q. Suppose -w*f + 53 = -7. Is 15 a factor of f?
True
Suppose 6 = -c + 5*q, -3*c + q + 52 = -0*q. Suppose c = -s + 3. Is (8/10)/(s/(-280)) a multiple of 5?
False
Let p(s) = s**3 + 6*s**2 + 4*s + 6. Let g be p(-5). Suppose 4*q = -5*d - 12, -4*d = -0*q - 2*q - 6. Let h = g + q. Is 8 a factor of h?
True
Suppose -p + 5*t + 0*t + 35 = 0, 2*p + t - 37 = 0. Is p a multiple of 10?
True
Let k = 3359 - 1959. Does 56 divide k?
True
Suppose 0 = -2*b + 8. Let m(l) = l**2 - b - 9 + 0*l**2 - 9*l. Is 5 a factor of m(11)?
False
Let y(s) = s**3 + 20*s**2 + 11*s - 15. Is y(-18) a multiple of 15?
True
Let n(s) be the second derivative of s**5/20 + 13*s**4/12 + s**3 - 4*s**2 - 5*s. Let j be n(-6). Suppose j = -23*v + 27*v. Is v a multiple of 13?
True
Let q = 24 - -120. Suppose 8*b - q = 2*b. Is b a multiple of 8?
True
Let p(q) be the first derivative of -2*q**3/3 - q**2/2 - q + 4. Let y be p(-1). Is -3*-20*(y + 3) a multiple of 20?
True
Let s(c) = -c + 22. Let f be s(10). Suppose 5*d + 2*y - f - 21 = 0, -3*d - 4*y = -31. Does 3 divide d?
False
Suppose 5*l - d = -5*d + 1356, 3*l + 4*d - 820 = 0. Suppose 5*b = 3*b - o + 131, 4*o + l = 4*b. Does 6 divide b?
True
Let z(g) = g**2 - 1. Let x be z(1). Suppose -5*h = -x*h - 375. Is h a multiple of 17?
False
Suppose -u - 300 = -7*u. Does 18 divide (-46)/23 + u + 1?
False
Let r = 10 - -76. Let v = -14 + -4. Let q = v + r. Is q a multiple of 13?
False
Suppose -478 = 15*u - 2158. Is 14 a factor of u?
True
Let b be (-2)/(-7) - 38/(-14). Suppose t - 372 = -b*d - 85, -20 = 5*t. Is 18 a factor of d?
False
Suppose -2*d = -0*d - 18. Let o be 3/d - 42/(-9). Let b = o - -75. Is b a multiple of 15?
False
Let v(d) = -39*d - 129. Does 7 divide v(-48)?
True
Let c(o) be the second derivative of -13*o**3/3 - 37*o**2 - 31*o. Is 37 a factor of c(-8)?
False
Suppose 3127 = 5*m - 12098. Is 145 a factor of m?
True
Let m = -1900 + 2241. Is 11 a factor of m?
True
Is ((-776)/20 + 2*-3)*-15 a multiple of 15?
False
Let x = 170 - -60. Does 23 divide x?
True
Suppose -2*y - 366 = 2*d, 4*d = 5*y - 235 - 479. Let h = d - -258. Is 22 a factor of h?
False
Suppose 2*r + u = 4985, -9991 = 11*r - 15*r + 5*u. Does 29 divide r?
True
Suppose 2*y + 364 = 6*y. Suppose -u + 5*n + 97 = 0, -5*n + 26 = u - y. Is 16 a factor of u?
False
Let n(d) = -d**3 - 2*d + 3. Let v be n(0). Suppose v = 3*u, -3*a - u = -2*u - 5. Let c = 13 - a. Does 11 divide c?
True
Suppose -3*h = -28 - 17. Let b = -2 - -26. Does 12 divide h/(-15)*b/(-1)?
True
Let c = 14 - 14. Suppose 11*o - 4*o - 210 = c. Is 10 a factor of o?
True
Let o = -38 - -20. Let q = 20 + o. Suppose -2*f + x - 6*x = 7, x + 11 = q*f. Is f a multiple of 4?
True
Let m(a) = 2*a + 7. Let s be m(4). Let w be s/((-1)/6*-9). Let l = -2 + w. Is l a multiple of 6?
False
Let d be (-2)/1*(-54 - 2 - -1). Let h = 9 + d. Is h a multiple of 7?
True
Let u = -11 + 13. Suppose 0 = u*f - 134 - 12. Suppose 0*x + f = x. Does 22 divide x?
False
Let o(t) = 2*t**3 + 23*t**2 - 12*t - 13. Is 8 a factor of o(-11)?
True
Let x(c) = -3*c**3 - 12*c**2 - 10*c + 24. Is x(-6) a multiple of 6?
True
Let f be 1*-6*(-5 - 56/(-16)). Let h be 2/2 - (-4)/(-2). Is f*(h + 0 - -2) a multiple of 9?
True
Let o(t) = -t**2 - 10*t - 9. Let h(f) = f**3 + 4*f**2 + f - 5. Let p be h(-4). Let x be o(p). Is 4 - (x - 2)*1 even?
True
Let y(o) = 5*o**3 + 2*o**2 - 4*o + 5. Let h be y(4). Let c = h + -209. Is 11 a factor of ((-7)/(-14))/(2/c)?
True
Let q(k) = -7*k**3 - 2*k**2 + 1. Let g be q(1). Let m(j) = -j**2 + 6. Let w be m(3). Let a = w - g. Does 5 divide a?
True
Let d(b) = 29*b + 3. Let t be d(1). Let k(m) = -m**3 - 4*m**2 + 3. Let u be k(-4). Suppose 0 = -2*r - 4*j + t, 3*j - 69 = -u*r - r. Does 18 divide r?
True
Let j be (-2 - (-9)/3)*-5. Let y be 11 + j - 1/1. Suppose 4*d + 18 = y*d. Is 9 a factor of d?
True
Suppose 0 = -3*u + 2*t - 16, 5*u + t - 30 = -74. Let o be (-1)/(u/(-10) - 1). Suppose 2*v - 51 = -o. Does 23 divide v?
True
Suppose -20 = -4*d, 0 = -7*v + 3*v + 2*d - 22. Let p(n) = 8*n + 4. Let g be p(v). Is -4 + 2/(-2)*g a multiple of 8?
True
Let h(v) = 21*v**2 + 16*v + 5. Is h(-12) a multiple of 63?
False
Let y(j) = 9*j - 18. Let v = -62 - -75. Is y(v) a multiple of 11?
True
Suppose 7*s - 2*s + 15 = 0. Let j be (-6 + (-1 - s))/(-1). Suppose -w - j = -28. Is 6 a factor of w?
True
Suppose s - 4 = -0*s. Is 27 a factor of (-1 - -3 - s) + 125?
False
Let c(b) be the third derivative of -b**6/120 + 3*b**5/20 + b**4/24 + 5*b**3/3 + 13*b**2. Is 3 a factor of c(9)?
False
Let w = 42 - 41. Let p(i) = 13*i + 3. Is 15 a factor of p(w)?
False
Let l(r) be the second derivative of 11*r**3/3 - 315*r. Suppose -10 - 10 = -5*h, 3*h = 4*t + 8. Is 10 a factor of l(t)?
False
Suppose -a + 1587 = f, -5*f + 13*a = 1868 - 9749. Is f a multiple of 99?
True
Let y = -90 + 41. Let l = y + 78. Suppose 2*r - 3*u - l = 0, 3*r + u - 19 = 19. Is 9 a factor of r?
False
Let m be 12*(0 + 4/16). Suppose 0 = m*n - 7*n + 28. Let u(s) = -s**3 + 6*s**2 + 8*s + 4. Does 2 divide u(n)?
False
Suppose 2*f + 5*o = 29, 4*f + 5*o = -16 + 49. Let i be 3 + (-1)/(-4) - (-6)/8. Suppose -52 = -4*k - i*x, -f*x = -4*k + 12 + 16. Is 3 a factor of k?
True
Let u(t) be the first derivative of t**4/4 + 13*t**3/3 + 29*t**2/2 - 12*t - 29. Is 6 a factor of u(-7)?
False
Suppose -210 = -0*z - 5*z. Suppose 4*b + w + 48 = -w, -48 = 4*b + w. Let m = z + b. Does 5 divide m?
True
Let p = -219 - -506. Is 8 a factor of p?
False
Let i = 5 - 0. Suppose -r - 3 = -0*r, 5*o = -i*r. Suppose o*d = 13 - 4. Does 3 divide d?
True
Let v be (-8)/(-20) + 36/10. Suppose 2*a + 0*a - 10 = 0, 0 = -v*z - 2*a + 394. Is z a multiple of 26?
False
Suppose 3*p + 0*p - 33 = -3*i, -2*p + 30 = 4*i. Let o(y) = -y**2 + 6*y + 7. Let v be o(p). Does 9 divide (-15)/(-45)*(v - -93)?
False
Let b = -232 - -316. Is b even?
True
Let m(a) = -6*a**2 - 4. Let x(f) = 17*f**2 - f + 13. Let j(k) = 11*m(k) + 4*x(k). Is 12 a factor of j(4)?
True
Let b(q) = -q**2 - 3*q + 2. Let z be b(-2). Suppose -2*x + z = -18. Suppose 0 = -i + 2*i - x. Is i a multiple of 4?
False
Suppose 2*o = -4 - 0. Let g(q) = q**3 + 3*q**2 + 3*q + 2. Let s be g(o). Suppose -r = -2*w + 41, 4*w - w - 4*r - 54 = s. Is w a multiple of 11?
True
Suppose 3*g = -5*w, w - 11 + 3 = g. Suppose 3*j = 3*x, 0 = -0*j - w*j + x + 4. Suppose j*s - 7 + 1 = 3*i, -4 = -i. Is 5 a factor of s?
False
Let h = -9 + 12. Suppose -x = -4*f - 17, 2*x = -x - f + 38. Suppose x = u + h. Is u a multiple of 5?
True
Let z = 2967 + -1527. Does 72 divide z?
True
Let k(n) = -19*n**3 