10. Is m/(-2) - -1*2 a multiple of 10?
False
Let v(r) = 11*r**2 - 1. Suppose -3*u - 2*u - 2 = -d, 4*d + 5*u + 17 = 0. Let o be (d/6)/((-2)/4). Is 4 a factor of v(o)?
False
Let h = 35 - 30. Suppose 4*j - 2*b - 120 = 0, 0 = h*j - 2*b - 2*b - 150. Is 5 a factor of j?
True
Let z be (-2)/5*(-6 + 1). Suppose -3*d - 3*p - 2*p = -10, -z*p - 2 = 0. Is 2 a factor of d?
False
Let c(x) = 3 + 0 + 8*x**2 - 4. Is c(-1) a multiple of 7?
True
Is 111/3*(3 - 0) a multiple of 10?
False
Suppose 2*g - 3*a + 21 = -g, 0 = -5*a + 20. Let d(k) = 9*k**3 - 2*k**2 - 2*k - 1. Let n be d(-1). Let s = g - n. Is 3 a factor of s?
False
Let b(i) = 2*i + 39. Suppose -2*z = -5*z. Is 13 a factor of b(z)?
True
Let d = 41 + -6. Suppose -2*m = 2*f + f - d, -m - 65 = -4*f. Does 10 divide f?
False
Let o = 23 + -54. Let x be (6/(-12))/(1/(-106)). Let s = x + o. Is s a multiple of 10?
False
Let v = -135 + 291. Does 6 divide v?
True
Let k(o) = o**3 - 14*o**2 - 11*o + 12. Does 12 divide k(15)?
True
Let u(o) = -o**2 + 13*o - 18. Does 11 divide u(5)?
True
Suppose 2*p = 5 + 7. Let y = -3 + p. Suppose -y*c + 2*c + 34 = 0. Does 10 divide c?
False
Suppose 1225 = 14*k - 469. Is 11 a factor of k?
True
Suppose v = 3, -3*j + 5*v - 5 = 1. Is -3 + j + (-2 - -35) a multiple of 11?
True
Suppose -74 = -5*h + 1. Is 3 a factor of h?
True
Suppose -3*m - 5*j + 1106 = 0, 3*m + 2*j - 1094 = -0*j. Is m a multiple of 17?
False
Suppose 61 = 4*d + 25. Suppose -r + 10 = -d. Is 14 a factor of r?
False
Suppose -4*z + 9*z - 675 = 0. Suppose 4*c = 6*f - f - z, -3*c = 15. Is f a multiple of 4?
False
Suppose -r - 1 = -2*x, -5*x + 10 = 2*r - 3*r. Suppose 2*h = x*h - 17. Is h a multiple of 17?
True
Let z = 78 + -13. Let a be z/7 + (-8)/28. Suppose 2*t - 9 - a = 0. Is t a multiple of 9?
True
Let v = 15 + -13. Suppose 42 = -0*o + v*o. Is o a multiple of 7?
True
Does 21 divide 4 + -4 + 65 + -5?
False
Let g(n) be the first derivative of -29*n**2/2 + 19*n - 2. Let f(v) = 5*v - 3. Let x(a) = -34*f(a) - 6*g(a). Is 12 a factor of x(9)?
True
Is ((-136)/3)/4*-3 a multiple of 15?
False
Let z = 0 + 8. Let j(y) = 2*y**2 - 12*y + 2. Is 17 a factor of j(z)?
True
Suppose 4*g = -3*z + 25, -2*z = -0*z - 2*g + 2. Let j = 0 + z. Suppose -3*x - 4*t + 12 = -12, j*t + 33 = 2*x. Is 10 a factor of x?
False
Let n = 17 + -15. Suppose n*g - 216 = -g. Does 24 divide g?
True
Suppose 0*b - 4*b + 380 = 0. Suppose 4*w - b = -w. Does 19 divide w?
True
Suppose 3 = -s + 4. Does 22 divide -1*((-83 - 0) + s)?
False
Let q = 62 - -52. Does 28 divide q?
False
Let u(q) = q**3 - 2. Let r be u(2). Suppose -v + 41 = -4*s, -v - 285 = -r*v + 4*s. Is v a multiple of 27?
False
Let w(d) = d**2 - 1. Let u(s) = -2*s**2 + 9*s - 1. Let j(p) = u(p) + w(p). Let a be j(9). Does 16 divide 235/15 - a/6?
True
Let s = -22 - -133. Let b be s/(-6) - 2/(-4). Is 6 a factor of (-114)/b + 4/6?
False
Does 6 divide (-35 + -1)*(-6)/9?
True
Let k = -35 - -80. Let w = 25 + k. Does 22 divide w?
False
Let k(m) = -81*m - 3. Let z be k(-2). Does 24 divide 3 - 4/((-12)/z)?
False
Let i(w) = -11*w**3 - w**2 - w - 1. Suppose 2*l - 5 = 7*l. Is i(l) a multiple of 5?
True
Suppose -a - 4*d - 40 = -5*a, -5 = 2*a + 3*d. Suppose 2*z - 4 = -4*x - 0*z, a*x - 14 = 2*z. Suppose -x*q = -6 - 6. Is 6 a factor of q?
True
Suppose 0 = 216*s - 217*s + 448. Is s a multiple of 56?
True
Suppose a - 2 = 2*a. Let o be (a - -302)*4/6. Is (-12)/54 - o/(-9) a multiple of 7?
False
Suppose 3*i = 2*k + 43, 0*i + 3*i - 5*k - 58 = 0. Suppose -47 = -2*q + i. Does 11 divide q?
False
Let n be -11*(-3)/(-6)*2. Let s = n + 19. Does 3 divide s?
False
Let b(r) = r**3 - 5*r**2 + 6*r. Let l be (-1)/(-2) + 14/4. Let m be b(l). Is 3 a factor of (-13)/(-4) - 2/m?
True
Suppose -4*r - 3*v + 50 = 0, -5*r - 3*v + 2*v = -68. Is 10 a factor of r?
False
Suppose -4*v + 84 = 2*v. Is v a multiple of 14?
True
Suppose -o + 121 + 36 = 4*a, 5*o - 697 = 2*a. Is 6 a factor of o?
False
Let l(p) = 5*p**2 + p + 17. Is 29 a factor of l(6)?
True
Let v(u) = u**2 - 5*u - 10. Let f be v(7). Let c be 51 + -1 + -2 + 2. Suppose f*m = -m + c. Is 10 a factor of m?
True
Let w(y) = -y**2 - 27*y - 42. Is w(-13) a multiple of 40?
False
Suppose 3*p - 4*a - 32 - 7 = 0, 4*a = 5*p - 65. Does 8 divide p?
False
Let l = -16 - -413. Does 35 divide l?
False
Let c(l) = -3 + l + 5 + 0 - 4. Let k be c(0). Is 70/6 + k/(-6) a multiple of 11?
False
Let c = 20 + -17. Suppose 0 = c*x - 9*x + 450. Does 27 divide x?
False
Let w be -2 - -40 - (1 + -2). Is 1 + 4/2 + w a multiple of 16?
False
Let r(q) be the third derivative of -q**6/120 + q**5/10 + 5*q**4/24 + 5*q**3/6 - 8*q**2. Is r(5) a multiple of 11?
True
Let y(r) = 11*r**2 - 8*r - 3. Does 52 divide y(-5)?
True
Let d(f) = -9*f + 23. Is d(-7) a multiple of 28?
False
Let r be 2 - (1 - 0)*-1. Let i(d) = -d**2 - d - 4. Let f be i(r). Is 10 a factor of (f/6)/((-2)/15)?
True
Suppose -3*m - 10 = -1, -v - 1 = 2*m. Suppose 0 = -v*y - 4*o - 5, 5*y - 4*o = -7*o. Suppose -28 = -y*w + 62. Is w a multiple of 10?
True
Let y(i) = -i**3 + 6*i**2 + i - 1. Let p be y(6). Is (p - 8) + 1 + 37 a multiple of 16?
False
Let w(b) = 2*b**2 + 11*b + 6. Let z be w(-5). Is (21 - z) + 6 + -2 a multiple of 8?
True
Suppose -20 = -5*y + f, 0 = y + 2*y + f - 4. Suppose 0 = -4*r + y + 25. Is r a multiple of 4?
False
Let x(w) = -w**2 + 11*w + 4. Let j be x(11). Suppose 0 = -4*p + 2*h + 238, -3*p + 122 = -p - j*h. Is 13 a factor of p?
False
Suppose -4*i = -11*i + 1148. Is 13 a factor of i?
False
Let l(r) = 3*r - 2. Let b be l(5). Let k = b - -3. Suppose -3*g + k = g. Does 4 divide g?
True
Suppose -2*w = -2*i - 322, -305 = -5*w - 2*i + 507. Is w a multiple of 39?
False
Suppose 7*w - 125 = 190. Does 9 divide w?
True
Let q(u) = -13*u - 5. Let n(p) = 14*p + 6. Let g(k) = 4*n(k) + 5*q(k). Let m be (-3 - -2)/(-1 - -2). Does 5 divide g(m)?
False
Let u = 52 + -10. Is u a multiple of 7?
True
Let m(r) = 3*r**3 - 4*r**2 - 2. Let q be (-8)/(-3) - (-2)/6. Is m(q) a multiple of 13?
False
Let v = 46 + -22. Is v a multiple of 6?
True
Let n = -39 + 75. Does 9 divide n?
True
Let h = 1058 - -376. Does 23 divide h/48 + 2/16?
False
Let c(q) = q**3 + 3*q**2 - q. Let o be (-65)/20 - (-2)/8. Let x be c(o). Let r(p) = p**3 - 5*p + 4. Is 6 a factor of r(x)?
False
Suppose 3*s - 72 = -s. Is 6 a factor of s?
True
Let b(v) = v - 1. Let u be b(4). Suppose -u*r = 5*a + 16, -r + a + a = -13. Is 8 a factor of 21 - r/(5 + -2)?
False
Suppose -2*w - 3*l = -271 + 23, -5*w + l + 654 = 0. Suppose -3*u - w = -8*u. Does 8 divide u?
False
Let b = 20 + 40. Does 30 divide b?
True
Let b(p) = -4*p**2 - 2*p - 1. Let f(x) = -3*x**2 - 2*x - 1. Let w(y) = -4*b(y) + 5*f(y). Does 14 divide w(-3)?
True
Let k(z) = 4*z**2 + 6*z + 1. Let n be k(-5). Suppose n - 230 = -3*s. Does 9 divide s?
False
Suppose 0*o - 3*o + 9 = 0. Suppose -o*l = 539 - 1574. Does 12 divide (2/3)/(10/l)?
False
Let m(c) = -2*c**2 - 2*c + 4. Let l be m(-4). Suppose 4*h - 38 = -i, -5*i + 55 = 3*h + 2*h. Does 10 divide 9/h - (1 + l)?
True
Let u = 4 + -1. Is u a multiple of 3?
True
Let d(r) be the second derivative of -5/2*r**2 - 1/3*r**3 + 0 + 4*r. Is d(-4) a multiple of 3?
True
Let n(l) = -13*l - 14. Let r(g) = -20*g - 21. Let b(z) = 8*n(z) - 5*r(z). Is b(-8) a multiple of 21?
False
Let i(q) = q - 6. Suppose 3*t + 2*t = 0. Let k be i(t). Is 12/(-10)*140/k a multiple of 14?
True
Let a(y) = -y**2 - 5*y - 1. Let o be a(-4). Let d be 1/((-2)/(-5 + 1)). Suppose m = d*m - 1, -o*j + 2*m = -13. Is j a multiple of 3?
False
Suppose n - 3*n + 54 = 0. Is 27 a factor of n?
True
Let m be 3/(-9) - (-22)/3. Let r be (m/(-5) - -1)*-90. Let j = -13 + r. Is j a multiple of 12?
False
Let n be (12/8)/(3/(-20)). Is 18 a factor of (1 + n)/(8/(-16))?
True
Let q = -4 + 48. Does 22 divide q?
True
Let y(l) = 11*l + 6. Let s = -2 + 7. Let c be y(s). Suppose 0*n - 71 = -2*n + 3*g, g + c = 2*n. Does 14 divide n?
True
Let c be 2 + -2 - (24 + 1). Let m = c + 35. Is m*((-3)/2 - -2) a multiple of 5?
True
Let r = -9 + 6. Is (-3)/(-1)*(-16)/r a multiple of 16?
True
Is 13 a factor of 2849/44 - 1/(-4)?
True
Suppose -x + 4*x + 15 = 0, -2*w + 3*x + 33 = 0. Is w a multiple of 3?
True
Suppose 0 = -3*k + 364 - 13. Does 9 divide k?
True
Suppose -5*o + 120 = -2*y + 5*y, 0 = -2*y + 2*o + 80. Let l = -12 + -14. Let z = l + y. Does 7 divide z?
True
Let p = -6 + 32. Does 3 divide p?
False
Let g(b) = -b - 2. L