*a = -22. Let y = 26 + j. Does 20 divide y?
True
Does 21 divide (-4858)/44*-2 - 2/(-11)?
False
Suppose -2*v = -2*p + 18, 3*p - v = 3*v + 31. Let b(s) = -2*s + p*s**2 + 2*s**2 - 4 - s**2 - 5*s**2. Does 11 divide b(-3)?
True
Let o(i) = -5*i**3 - i**2 + i + 1. Is o(-2) a multiple of 7?
True
Suppose 2*m - 15 = 3*z + 135, -2*m + 2*z + 146 = 0. Is 23 a factor of m?
True
Let p = -78 - -187. Is 10 a factor of p?
False
Let w = 11 + -7. Let q(x) = 3*x**2 + 4*x + 2. Does 22 divide q(w)?
True
Let n be (-3)/9 - 13/(-3). Let a be (75/2)/(2/n). Suppose -2*j - q = -0*q - a, 2*j + 5*q = 71. Does 18 divide j?
False
Let g = 252 + -168. Is 21 a factor of g?
True
Suppose -u + 61 = -56. Is 4/(6/u*3) a multiple of 11?
False
Suppose 330 = 6*l - l. Does 11 divide l?
True
Suppose -4*r + 21 = 5*g, -r + 1 = -5*g + 2*g. Suppose i + 2*i - 2*y - 41 = 0, -r*i = -5*y - 64. Does 8 divide i?
False
Suppose 4*k - 164 = -44. Is -6 + 9 - (-1 - k) a multiple of 17?
True
Let a be 2 + (-4 - -2)*2. Suppose 5*i = 3*i - 14. Does 5 divide a/(-7) + (-68)/i?
True
Suppose 4*s + 5*l - 96 = 3*l, 3*s + l = 72. Does 8 divide s?
True
Does 4 divide (-2)/4*4 - -13?
False
Suppose -3*h + 10 = 2*o + 3*o, 0 = -h. Let v(k) = 2*k**2 + 10*k + 10 + 2*k + o*k - 4*k. Is v(-7) a multiple of 19?
True
Let h(w) = -2*w + 14. Let o(p) = p - 5. Let x(n) = 4*h(n) + 11*o(n). Let q(z) = -z**2 - 6*z - 4. Let k be q(-4). Does 8 divide x(k)?
False
Let u(j) = 59*j + 30. Is u(4) a multiple of 19?
True
Let p(o) = o**3 + 2*o**2 - 2*o - 1. Let s be p(-4). Let k = 47 + s. Is k a multiple of 14?
False
Let i be (-1)/5 + (-104)/(-20). Is 8 a factor of (-6)/2 + i*5?
False
Suppose 0 = -2*y + 3*y - 15. Does 15 divide y?
True
Let l = 26 - 20. Is l a multiple of 2?
True
Let l = -7 + 7. Suppose 3*k + 2*o - 46 - 6 = 0, -k - o + 19 = l. Does 11 divide k?
False
Suppose 2*g = 3*i - i - 402, -5*i = -g - 1009. Suppose 5*v + q = -0*q + i, -v - 5*q = -50. Is v a multiple of 20?
True
Let g = 202 + -117. Suppose -3*u + 106 = k, 2*u - g = -3*k - 5. Does 15 divide u?
False
Suppose z - 3*z + 132 = 0. Is z a multiple of 11?
True
Let h be (-42)/(-8) - (-2)/(-8). Suppose -18 = -h*b + 122. Is 14 a factor of b?
True
Let g(q) = 3*q - 2 + q**2 + q**3 - 4*q**2 + q**2 + 0. Is 8 a factor of g(3)?
True
Let b(m) = 4*m**2 + m. Suppose 3*q + 3 = 0, 4*z - 2*q + 6*q + 12 = 0. Let w = z + 5. Does 18 divide b(w)?
False
Suppose -2*y + 57 = -5*y. Let j = 46 - y. Suppose -n + 6*n - j = 0. Is n a multiple of 11?
False
Suppose 22 = -y - 3. Let b = y + 43. Is b a multiple of 9?
True
Suppose -4*g - 3*b = -336, 0*g - 4*g + 4*b = -308. Is g a multiple of 14?
False
Let l = -45 - -99. Is l a multiple of 16?
False
Let c(g) = g - 4. Suppose 3*z + 2*z = 30. Let i be c(z). Suppose d + i*d - 48 = 0. Is 16 a factor of d?
True
Let w(o) = 47*o**2 - 11*o + 15. Is 45 a factor of w(3)?
True
Let o(y) = y**3 - 6*y**2 - y + 8. Suppose -2*t + 12 = -2*c, 3*c = 4*t + 2*c - 27. Does 25 divide o(t)?
True
Suppose -t = -0*t + 4*u - 23, 8 = -4*t + 4*u. Suppose -t*x + 5*x = 5*k + 61, -3*x - 5*k = -79. Is x a multiple of 11?
False
Let v = -86 + 194. Is v a multiple of 23?
False
Let d(k) = k**3 - 16*k**2 + 15*k + 22. Is d(15) a multiple of 11?
True
Suppose -2*z + 4*l - 22 = 0, 7*z - 3*z = 2*l - 32. Let q(p) = -10*p + 2. Does 24 divide q(z)?
True
Let p = 5 - -1. Suppose x + 3*r = p, 5*r + 17 = -4*x + 48. Is x a multiple of 7?
False
Suppose 5*s - 1596 = -m, 660 = 2*s - 5*m - 0*m. Is 43 a factor of s?
False
Suppose 3*p + 1220 = 203. Let h be 9/(-12) - p/4. Is (h/49)/(2/28) a multiple of 12?
True
Let f(t) = t**3 - 3*t**2 - 2*t + 4. Suppose x - 2*x + 4 = 0. Suppose w = -0*w + x. Is 9 a factor of f(w)?
False
Let n be 6/(-27)*51*-18. Suppose -3*x - n = -5*v + 26, -v = -5*x - 68. Is 9 a factor of v?
False
Let v = 166 + -118. Does 24 divide v?
True
Let c = 46 - 22. Does 9 divide c?
False
Let f = -8 - -7. Let n(r) = 21*r**2 - r. Is 11 a factor of n(f)?
True
Let t(m) = 7*m - 12. Does 12 divide t(12)?
True
Suppose 4*i + v + 17 = 99, 115 = 5*i - 5*v. Is i a multiple of 7?
True
Suppose 5 = g - 1. Does 6 divide g?
True
Suppose 10*h - h - 108 = 0. Is h a multiple of 6?
True
Let b(w) be the first derivative of -w**4/4 + 5*w**3/3 + 2. Let g be b(5). Suppose 37 = -a + 6*a - 2*r, -3*a - 5*r + 47 = g. Is a a multiple of 7?
False
Suppose -3*x + 2*x = -4. Let w be ((-2)/x)/(3/(-12)). Is 2 + 8*(w + 1) a multiple of 12?
False
Suppose 0 = 4*n - 5*c + 15, 2*n + 2*c + 3 = 3*c. Let f be -3 + -10 + n + 0. Let a = 33 + f. Is a a multiple of 6?
False
Let d be (-4 - -4) + 5 + 0. Suppose 2*h - 15 + d = 0. Is h a multiple of 3?
False
Let f(d) = d**3 + 14*d**2 + 10*d - 19. Is 5 a factor of f(-13)?
True
Suppose 4*v + 5*n = n, 2*n = v. Suppose v = -4*r - 3*z + 73, 3*r - 59 = 2*z - 0*z. Is 8 a factor of r?
False
Is 12 a factor of (38/14 + (-2)/2)*7?
True
Let k(u) = 9*u**2 - 3*u + 2. Is 3 a factor of k(1)?
False
Does 2 divide -5*(-4 + 3)*6/5?
True
Let u(m) = -4*m - 5. Let h(r) = -r - 1. Suppose 0 = -4*x - 2*z - 22, -4*z = 5*x - 2*z + 27. Let a(c) = x*h(c) + u(c). Is a(5) even?
False
Let j(y) = 2*y**2 - y. Let v be j(-1). Is 11 a factor of 22*v/12*2?
True
Let t = -2 - 17. Let k = -7 - t. Suppose 0 = -2*s + 5*b + k, 4*b - 4 = 4. Does 11 divide s?
True
Let c be (9 - 11)*20/1. Is (208/c)/(1/(-5)) a multiple of 13?
True
Suppose 7 = 4*y - 13. Suppose -6*r - 15 = -y*b - r, b - 3*r = -3. Let a = b - 4. Is 2 a factor of a?
True
Does 8 divide ((-4)/10)/(6/(-240))?
True
Let z = -235 + 525. Is z a multiple of 23?
False
Let q(u) = 8*u - 15. Let g(c) = -c + 1. Let r(p) = -6*g(p) - q(p). Is 12 a factor of r(-13)?
False
Let n = 83 - 31. Does 13 divide n?
True
Let w = -25 + 73. Suppose -12*u = -15*u + w. Does 8 divide u?
True
Suppose -4*d - 5*l = 5, -7*d = -4*d + 4*l + 5. Suppose -5*w = s - 1 - 13, 0 = s - d*w - 54. Is 17 a factor of s?
True
Let y be (4 + -2)/((-2)/4). Let j = 0 - y. Suppose 0 = -0*t + 3*t - 2*s - 104, 8 = j*s. Is 12 a factor of t?
True
Let b(r) = r**3 - 3*r**2 - 2*r + 4. Let n be b(3). Is 38 + n/(2 + -4) a multiple of 13?
True
Suppose -80 = -4*l - o, 4*l - 96 = -9*o + 4*o. Let x = l + -14. Is x even?
False
Let h be -3 + -3*7/(-3). Suppose -2*o = -h*o - 4. Let x = 6 - o. Does 4 divide x?
True
Let i(n) = 3*n**2 - 16*n + 45. Does 19 divide i(12)?
True
Let o = 50 + -22. Is 20 a factor of o?
False
Let l be (3/(-2))/(15/(-40)). Suppose -4*m = 20, -u - 3*m + 9 = -l*m. Suppose d = -4*a + 24, 17 = -u*d + 3*a + 151. Is d a multiple of 16?
True
Let u(a) = -10*a**2 + 8*a + 3. Let l(k) = -k**3 - k**2 - k - 1. Let f be l(-2). Let b(h) = -h**2 + h + 1. Let g(y) = f*b(y) - u(y). Does 16 divide g(2)?
True
Let n = 3 - 4. Let l(y) = -y + 1. Let g be l(n). Suppose 5*r - g*j - 36 = r, 4*r - 22 = -5*j. Does 3 divide r?
False
Suppose -3*m + 1900 = m. Suppose -5*w + m = 4*p, 4*w + 4*p - 190 = 2*w. Is 19 a factor of w?
True
Does 11 divide (-2)/(-22)*1571 - 10/(-55)?
True
Suppose 2*c - 185 - 23 = 0. Suppose 4*q + 2*f = c, 4*q + 80 = 7*q + 2*f. Does 15 divide q?
False
Let b = -16 + 50. Is b a multiple of 11?
False
Suppose v - 19 - 6 = 0. Suppose -2*q + 57 = -61. Let k = q - v. Does 17 divide k?
True
Let c = -61 - -35. Let j = c + 46. Is j a multiple of 10?
True
Let q(i) = 3*i**3 - 2*i**2 + 2*i - 1. Let a be q(1). Suppose 3*l + a*l = -5. Is -5*1*1/l a multiple of 3?
False
Let g = 36 + -18. Suppose 5*j - g = 137. Is 15 a factor of j?
False
Let k = 25 + 70. Does 10 divide k?
False
Let a = -5 - -53. Let d = 5 + -3. Suppose -2*u + a = d*u. Does 4 divide u?
True
Let n be 78/(-9) + (-4)/(-6). Is (-100 - n)/(0 + -2) a multiple of 18?
False
Does 10 divide (-120)/(-6 + 3) - 3?
False
Let w(g) = g**3 + 6*g**2 + 3*g - 5. Let b be w(-5). Suppose -b*a + 58 + 17 = 5*z, -12 = -3*z. Suppose 33 = 2*x - a. Is x a multiple of 11?
True
Suppose -4*x + 25 = x. Let a = x - -19. Does 24 divide a?
True
Let x(p) = -4*p + 1. Let c be x(7). Is 9 a factor of c*(8/(-3) - -2)?
True
Let z = 20 + 6. Does 13 divide z?
True
Let k be 3 - (-1 + 0 + 0). Let i be (-7)/(-3) - (-4)/(-12). Is 3/i*k/3 a multiple of 2?
True
Let y be 2/(-3) - 1066/(-6). Suppose -5*i + y = -68. Does 22 divide i?
False
Suppose 2 = -4*h - h - 4*l, 9 = -3*l. Suppose -h*y - 7 = -41. Does 12 divide y?
False
Suppose 4 + 2 = x. Is (x/4)/((-2)/(-24)) a multiple of 10?
False
Let p(z) = -19*z + 5*z - 7*z - 1. Is p(-1) a multiple of 10