= -y + m*y - 44. Does 9 divide y?
False
Let x be (1 - -2)*-1 - -22. Suppose -5*r + 2*o + x = 0, 0 = -r - 3*o + 2*o + 8. Is r even?
False
Suppose -3*j = -5*v - 10, -3*j - 23 + 8 = 0. Let t = -5 - v. Suppose 2*n = -4*c + 34, 0*c + 2*c + 5*n - 21 = t. Is c a multiple of 7?
False
Let q(n) = -n**3 - 14*n**2 - n - 1. Does 4 divide q(-14)?
False
Suppose -o - 2*o = -117. Let l be (-106)/8 + 4/16. Let r = l + o. Is r a multiple of 13?
True
Is 8 a factor of (20 - 18) + (-28)/(-2)?
True
Let a = -161 + 293. Suppose 2*o + a = -2*o. Let w = 50 + o. Is 17 a factor of w?
True
Let a = -7 - -42. Is a a multiple of 17?
False
Suppose -31 = -4*t - 5*q, -t + 0*q = 2*q - 10. Let u = t - 5. Let g = u - -23. Is 12 a factor of g?
False
Suppose -3*j - 6*m + 92 = -2*m, -2*j + 2*m + 80 = 0. Does 36 divide j?
True
Let g be (1/(-4))/((-2)/8). Let l(v) = 37*v. Does 16 divide l(g)?
False
Let i be 6/(-15) - 4/(-10). Let x be i + -2 - (1 + -5). Suppose x*k - 25 = -5. Does 5 divide k?
True
Let t(y) = -y**3 - 7*y**2 + 6. Let u be t(-7). Let r = -2 + u. Is r a multiple of 4?
True
Let u = -25 - -57. Let z = u - 13. Is z a multiple of 5?
False
Let p = -5 - -2. Does 8 divide -3 + 7 + p + 7?
True
Suppose 0 = 6*a - a - 90. Is a a multiple of 9?
True
Suppose -2*w - 246 = -5*w. Let m be -58 + 1 - 2/2. Let j = m + w. Is j a multiple of 12?
True
Let r = -8 + 8. Let b = 5 - r. Is b even?
False
Let d(f) = -f**3 + 10*f**2 - 5*f - 2. Is 3 a factor of d(9)?
False
Let p = -7 - -17. Let w = p - -82. Is 24 a factor of w?
False
Is -9*10/75*145/(-2) a multiple of 9?
False
Suppose -3*u + 97 - 20 = 4*c, -4*c + 8 = 0. Let g = 43 - u. Does 10 divide g?
True
Let q be (-2)/9 - (-22)/18. Is 10 a factor of (29 + (q - 0))*1?
True
Let b(w) = -12*w - 4. Let g(s) = -s - 1. Let m(u) = -b(u) + 6*g(u). Is 14 a factor of m(7)?
False
Suppose 0 = d - 0*p + p - 14, 4*p - 41 = -3*d. Let c = -6 + d. Does 8 divide c?
False
Suppose -2*t + 10 = -0*t. Suppose -t*x = -3*h - 17, -5*h + 4 = 2*x - 9. Suppose h = -k + 4. Does 3 divide k?
True
Suppose 2*k - 131 = k - 5*o, o - 4 = 0. Is 30 a factor of k?
False
Suppose -2559 + 228 = -7*k. Is k a multiple of 44?
False
Let y = -17 - -31. Suppose t - y = 40. Is 18 a factor of t?
True
Let h(b) = 7*b + 22. Let f(x) = 10*x + 33. Let q(j) = 5*f(j) - 7*h(j). Is 4 a factor of q(0)?
False
Suppose -41 = -2*s - 9. Suppose -2*c + s = 2*c. Suppose c*o - 14 = -a - 5, 3*a - 11 = 4*o. Is a a multiple of 5?
True
Let t = 27 - 12. Does 13 divide (-914)/(-10) + (-6)/t?
True
Does 15 divide 12/(-18) + 244/6?
False
Let c = -37 - -86. Does 9 divide c?
False
Let n = -9 - -12. Suppose -n*o = 3*d - 36, 4*d + 8 = 3*o + o. Does 3 divide o?
False
Suppose 24 = g - 5*g - 2*v, -4*g = -3*v + 14. Let h(n) = -5*n - 6. Is 18 a factor of h(g)?
False
Suppose -5*u + 3*u = 22. Suppose p + 2*p - 141 = 0. Let m = p + u. Is 12 a factor of m?
True
Suppose -2*r = -99 - 99. Is r a multiple of 33?
True
Suppose -3*d - 30 = -3*a, -4*a + 72 = 6*d - 2*d. Suppose 0 = -5*w - 22 - 23. Let c = a + w. Does 5 divide c?
True
Suppose -4*k + 320 + 460 = 0. Is 13 a factor of k?
True
Suppose -3*y - 5*k - 4 = -34, 0 = -4*y - 4*k + 40. Does 8 divide y?
False
Let q(b) = -b + 1. Let m be q(-1). Suppose 0 = m*v + 3*r - 61, -2*v = -2*r + 7*r - 67. Suppose v = -u + 2*u. Is u a multiple of 13?
True
Let o(b) be the third derivative of -1/6*b**3 + b**2 + 0*b + 0 + 1/12*b**4. Does 2 divide o(2)?
False
Suppose -2*b - 13 - 1 = 0. Let z = b + 4. Is 7 a factor of (-44)/z - (-8)/(-12)?
True
Let c be (-1 + 3)*(-26)/4. Let n be 1/2 - 91/(-14). Let h = n - c. Is h a multiple of 7?
False
Let s = -2 + 38. Is s a multiple of 9?
True
Suppose t - 4*i - 14 = -2*t, 2*i + 16 = -3*t. Let h(n) = -3 + 8 - 3 - 9*n. Is h(t) a multiple of 13?
False
Let d = -32 + 40. Is 4 a factor of d?
True
Suppose -5*l - 5*c = -90, 2*c - 7*c = -5. Let i = 28 - l. Is i a multiple of 4?
False
Let q(l) be the first derivative of 2*l**2 - 15*l + 6. Is q(8) a multiple of 4?
False
Let w be 106/9 - (-10)/45. Suppose -25 = -5*d, -2*c + 3*d = -w - 17. Is c a multiple of 8?
False
Is (-319)/(-11) + (-1)/1 a multiple of 9?
False
Let f = -31 + 151. Does 30 divide f?
True
Is (2 + -3 - -169)*(-66)/(-99) a multiple of 14?
True
Let i = -9 + 42. Is i a multiple of 13?
False
Let i(n) = 7*n + 1. Let u be i(2). Suppose 0 = -4*o + 8, -2*l + u = 4*o - 3. Is 5 a factor of l?
True
Let u be (2/4)/(3/18). Let i(v) = -v**3 - 6*v**2 + v + 2. Let b be i(-7). Suppose -c - u*c = -b. Is 4 a factor of c?
False
Let h be ((-1)/3)/(3/(-36)). Suppose -2*n = -5*t - 23, -2*n + h*t = -n - 16. Suppose -n*u + a - 2*a + 90 = 0, -3*u + 4*a + 58 = 0. Is u a multiple of 10?
False
Let t = 0 - -2. Suppose -3 = t*k + 3. Is k/(-1) - (-4 + 2) a multiple of 5?
True
Suppose 2*i = -2*r - 2*i + 124, -166 = -3*r + 4*i. Is r a multiple of 14?
False
Suppose 3*t - 4*b = 121 + 130, 2*t = 5*b + 179. Is t a multiple of 5?
False
Suppose 0*y - 460 = -5*y. Does 23 divide y?
True
Let q be 2/(-4)*2*-5. Suppose k + 2*k = -2*y + 154, -274 = -q*k + y. Is k a multiple of 18?
True
Let x be 302/5 - (-15)/25. Let k be x/9 + (-10)/(-45). Suppose k*l = 2*l + 55. Is l a multiple of 11?
True
Let z(u) = -u**3 + 10*u**2 + 14*u + 5. Does 19 divide z(11)?
True
Let w be (-2 - 5) + (-4 - -4). Suppose -6 + 2 = 2*k. Let j = k - w. Is 4 a factor of j?
False
Let x be (-32)/12*(-3)/4. Suppose x*g + 20 = 6*g. Does 5 divide g?
True
Let g = 2 + 0. Suppose g*t - 47 = -3. Does 11 divide t?
True
Let x(m) be the third derivative of -5*m**4/24 - m**3/6 + m**2. Let k(t) = -11*t - 2. Let j(g) = -3*k(g) + 7*x(g). Does 17 divide j(-9)?
True
Let h be 2/4*(6 - -36). Let z = -13 + h. Is -7 + z - (-1 + -2) a multiple of 2?
True
Let v = -23 - 4. Let n = 47 + v. Is 7 a factor of n?
False
Let x be 1/6 + 33/18. Suppose 0*y + x*y - 8 = 0. Suppose 15 = y*p - 17. Is p a multiple of 8?
True
Does 32 divide 43 - -2*2/(-4)?
False
Suppose -5*o + 4*l + 114 = 0, 5*o - 108 = -0*l - 2*l. Is o a multiple of 5?
False
Let f = 6 + 10. Suppose -2*q = 2*q - f. Suppose -58 + 6 = -q*w. Is 13 a factor of w?
True
Let q = -1 + 3. Suppose 5*f - 16 = -2*o, q*o + 18 = 5*f + 3*o. Is f a multiple of 2?
True
Suppose -2*q = 5*x - 317, -2*q - 3*q + 131 = 2*x. Is x a multiple of 21?
True
Suppose -4*h = h. Suppose h*n = -5*n. Suppose 4*m = i - n*i + 53, 0 = -i + 3. Does 5 divide m?
False
Is 11 a factor of 5 + (-4 + 126 - -5)?
True
Let w(n) = n**3 + 13*n**2 + 5*n - 1. Let q be w(-12). Let v = -98 - -223. Let i = v - q. Is 19 a factor of i?
False
Suppose 3*t - 5*p + 33 = -0*p, t + p + 3 = 0. Let v(s) = 1. Let l(z) = -z + 8. Let y(h) = 2*l(h) - 10*v(h). Does 17 divide y(t)?
False
Is 7 a factor of (14/21)/(1932/963 - 2)?
False
Let m = -10 - -34. Does 6 divide m?
True
Let t(q) be the third derivative of q**6/360 + q**5/24 + q**4/3 + q**3/6 - 3*q**2. Let o(p) be the first derivative of t(p). Is 7 a factor of o(-6)?
True
Let d be (2/(-3))/((-2)/3). Let q be 65 + (-1 - -2 - d). Let z = -26 + q. Does 21 divide z?
False
Let o be (-16)/(-10)*-1*-10. Suppose -o = 2*t - 6*t. Suppose 2*w + j = 23, t*w - 2*j - 2*j = 52. Is 7 a factor of w?
False
Let i(f) be the second derivative of -19*f**3/3 - f**2/2 + f. Let b be i(1). Does 7 divide b*(2/(-3))/2?
False
Suppose r = -k + 128, r = 2*k + 5*r - 248. Is 11 a factor of k?
True
Is 10 a factor of 25/3 + 115/69?
True
Let j(z) = 7*z**2 + 2*z + 1. Let k be j(-2). Suppose -81 = -2*t - k. Is 10 a factor of t?
False
Suppose -2*l = -l. Suppose 4*j = -5*v + 236, -v = j + 2*v - 52. Suppose q - 5*q + j = l. Does 16 divide q?
True
Let b(s) = -2*s**3 - 5*s**2 - 10*s - 6. Is 33 a factor of b(-3)?
True
Let n(v) = v**2 + 8*v - 6. Let x be n(-8). Let o = x + 22. Suppose l = -3*l + o. Is 2 a factor of l?
True
Is 6 a factor of 5*(6 - 0/(-6))?
True
Suppose 5*q = -4*m + 34, -m + 11 = q + 4*m. Let x be (2 + (-21)/q)*-66. Suppose 5*j = 4*b - b + x, 45 = 2*j - 3*b. Is 16 a factor of j?
False
Let r be (-1 + -2)/((-6)/4). Let c(k) = 0*k**2 + 1 + r*k**2 + 10*k**2. Does 13 divide c(-1)?
True
Suppose 10*f = 8*f + 664. Is 13 a factor of f?
False
Let i(w) = 105*w**2 - 9*w + 7. Let a(n) = 52*n**2 - 5*n + 4. Let l(c) = -5*a(c) + 3*i(c). Let s be l(1). Does 12 divide s/2 - 18/6?
True
Suppose -2*v - 37 + 129 = 0. Is v a multiple of 23?
True
Let a(s) = 4*s. Let b be (-8)/(-6)*18/4. Let f be 2/b - (-187)/33. Is 9 a factor of a(f)?
Fal