h*a + 3. Is r a multiple of 11?
False
Let l = -17 - -40. Is 8 a factor of l?
False
Let m(x) = x**3 + x**2 - 4*x. Is m(3) a multiple of 6?
True
Let g(a) = 9*a - 20. Does 7 divide g(9)?
False
Let v(k) = -26*k - 11. Is v(-5) a multiple of 13?
False
Suppose -31 = -3*x + 11. Is 14 a factor of (24/x)/((-4)/(-98))?
True
Let b = 46 - 70. Let g be (-2)/8 - (-418)/8. Let p = b + g. Is 14 a factor of p?
True
Let x = 54 + -9. Is 15 a factor of x?
True
Suppose 4 = i + 2. Let u be 1*(-4)/i*1. Let a(l) = 2*l**2 + 3*l + 1. Is 3 a factor of a(u)?
True
Suppose 6*w - 16 = 2*w. Let j = 16 - w. Is 6 a factor of j?
True
Let i(x) = x - 1. Let o be i(7). Let l = 10 - o. Suppose l*a = 5*c + 18 + 79, -3*a - 2*c = -67. Does 14 divide a?
False
Let h(w) = 24*w + 51. Is h(10) a multiple of 28?
False
Let y(b) = -b**2 - b + 1. Let z(k) = -k**3 - 6*k**2 - 5*k - 5. Let t be (-1)/5 + 18/(-10). Let a(u) = t*y(u) - z(u). Is a(-7) even?
False
Let p be (-4)/(-20) + 252/(-10). Let w = 52 + p. Let j = w - -14. Does 13 divide j?
False
Let d = 19 - 12. Let j(o) = -o**2 + 9*o - 4. Let i be j(d). Suppose -3*k + i = -128. Is k a multiple of 12?
False
Suppose -b + 4*b - 12 = 0. Let l(n) = -n**2 - 12*n - 10. Let r be l(-7). Let q = r + b. Does 8 divide q?
False
Let p(m) = -24*m + 3. Let r be p(2). Let j = -19 - r. Does 13 divide j?
True
Suppose d = 7 + 148. Is d a multiple of 31?
True
Suppose 5 + 3 = -2*f. Is f/6 - (-195)/9 a multiple of 21?
True
Let i(c) = 6*c**3 - 2*c**2 + 1. Does 5 divide i(1)?
True
Let v = 15 - 9. Does 10 divide (10 - v)*(1 + 9)?
True
Suppose 3*t - 5*q = -0*q + 160, 2*t + 2*q - 96 = 0. Does 18 divide t?
False
Let s = 69 - 21. Suppose -4*u + s = -0*u. Does 6 divide u?
True
Suppose -2*p + 5*h = -139, -3*p + 95 + 94 = -h. Is p a multiple of 31?
True
Let p = -33 - -71. Does 10 divide p?
False
Suppose -5*c + 22 = -78. Does 2 divide c?
True
Does 8 divide 9/((-81)/6)*-192?
True
Let y(z) = 2*z**2 + 7*z - 9. Let s = 7 - 14. Is 20 a factor of y(s)?
True
Let m(x) = 13*x**2 + x. Is 6 a factor of m(-1)?
True
Let u(s) be the second derivative of -17*s**3/6 - 7*s**2/2 - s. Let v be u(-5). Suppose 5*j - v = c, -2*c + 15 = j - 5. Is 13 a factor of j?
False
Let x = -13 + 15. Suppose v + 4*b = 21, 0 = -3*v + x*v - 5*b + 21. Is v a multiple of 7?
True
Suppose -78*w = -73*w - 640. Is 64 a factor of w?
True
Let j(y) = -y**3 + 3*y**2 - 8*y - 1. Let p be j(6). Let z = -73 - p. Suppose -u - u + z = 0. Is 16 a factor of u?
False
Let s(r) = -r**3 + 4*r**2 - 3. Let b be s(5). Let z = 2 - -37. Let f = z + b. Does 11 divide f?
True
Let h(c) = 126*c - 1. Let o(t) = 379*t - 4. Let w(z) = -7*h(z) + 2*o(z). Let l be w(1). Does 9 divide (l/20)/(2/(-8))?
False
Let b(i) be the first derivative of i**4/2 + 7*i**3/3 - i**2 - 5*i - 2. Let l be b(-5). Let s = 116 + l. Is 23 a factor of s?
True
Let u = -1 + -3. Let n = u + 8. Is n a multiple of 3?
False
Let o(a) = 2*a + 3. Is 5 a factor of o(16)?
True
Let l be 2/(-2)*-1 + -6. Let i(m) = -m**3 - 2*m**2 + 6*m. Is i(l) a multiple of 12?
False
Is -4*(3 - (-2 + 14)) a multiple of 17?
False
Does 12 divide 4/18 + 636/54?
True
Let g(j) = -j**3 - j - 35. Let b be g(0). Let p = b - -7. Let s = 47 + p. Is 7 a factor of s?
False
Suppose -f = -5*f - 8. Let v = 3 - f. Suppose 3*z - 4*o = 106, -11 = -v*o - 1. Is z a multiple of 14?
False
Let i(g) = -3*g + 15. Let q be i(-4). Suppose 5*j - 5 = -40. Let k = q + j. Is 7 a factor of k?
False
Suppose -o + 5 = 0, 2*a - a - o = 0. Suppose -k = -g + 11, 0 = 2*g + a*k - 11 - 11. Is g even?
False
Let s = -3 - -7. Suppose -m + 0*m = -s*n + 143, 117 = 3*n - 4*m. Is n a multiple of 16?
False
Let v(x) = -4*x - x**3 + 3*x**2 - 3 - 2*x**2 + 0*x**3. Suppose l = 5*i + 15, 4*i - 2*l + 13 = -l. Is 11 a factor of v(i)?
False
Suppose s = c + 2*c + 225, -5*s = -15. Let j = 134 + c. Does 25 divide j?
False
Suppose -4*r + 2*q = 6*q - 240, -r + 2*q = -66. Is r a multiple of 31?
True
Suppose -3*y + 152 = 5*v, 4*v = 5*y - 12 + 104. Does 5 divide 400/v - (-6)/(-21)?
False
Let w(p) = 4*p**2 + 2*p - 2. Let d be w(-2). Suppose -67 = -3*o - d. Does 5 divide o?
False
Suppose 2*m - 3*a - 44 - 53 = 0, -4*a + 20 = 0. Does 8 divide m?
True
Let j be 2 - (1 + 0)*-1. Suppose -j*y = -y. Is 12/30*(y - -35) a multiple of 7?
True
Let g = 41 - 13. Suppose 6*j + 15 = j, -4*j = 4*l - g. Is l a multiple of 6?
False
Let h = 3 + 101. Is 26 a factor of h?
True
Does 23 divide (-22)/121 + 1522/22?
True
Let o(b) = 8*b + 4 - 5*b - 1 - 2. Let s be (-5)/(-4) - (-1)/(-4). Is o(s) even?
True
Suppose 2*t + 22 = g, 73 = 4*g + 4*t - 7*t. Is 15 a factor of g?
False
Let d(n) = -1 - 84*n + 15*n + 0 + 0. Is 17 a factor of d(-1)?
True
Let o(b) = -4*b - 22. Does 2 divide o(-8)?
True
Does 33 divide 128 + 16/(8/2)?
True
Let i(x) = 3*x - x**3 - x - 2 + 1 + 7*x**2. Let r be 7/((-4)/(-4 - 0)). Is i(r) a multiple of 13?
True
Let f(w) = 9 - 3*w - 1 - 6 + 7. Is 9 a factor of f(-9)?
True
Let x be 9/6*(-4)/3. Is 11 a factor of ((-33)/x)/((-1)/(-2))?
True
Suppose -32 = 4*d + 32. Let a = 35 - 9. Let j = a + d. Is 5 a factor of j?
True
Let g(d) = d**3 - 5*d**2 + 7*d - 4. Is g(4) even?
True
Suppose 3*u - 9 = 0, -5*q - 4*u + 32 = -130. Does 30 divide q?
True
Let q = -19 + 57. Does 19 divide q?
True
Let b = 26 - 51. Let x = 50 + b. Let m = x - 11. Is 7 a factor of m?
True
Let o = 70 - 32. Is 11 a factor of o?
False
Let r = 11 + -7. Suppose r*p + 17 - 101 = 0. Is 8 a factor of p?
False
Let b(h) = 2*h + 1. Let w be b(1). Suppose -2*f = -o - 61, 0*f - w*o + 73 = 2*f. Does 11 divide f?
False
Let k(r) be the third derivative of r**4/3 - r**3/6 - 5*r**2. Does 5 divide k(1)?
False
Suppose -5 = -5*d, i + 5*d + 60 = 2*i. Does 14 divide i?
False
Let d be ((-2)/(-4))/((-7)/(-140)). Let h = d + -3. Does 5 divide h?
False
Suppose 0*y - 2*y + 6 = 0. Suppose -4*z = -h + 2*h - 38, z = -y*h + 15. Is 6 a factor of z?
False
Let z = 26 - -138. Does 47 divide z?
False
Suppose -2*a = a. Let v be (2 + -1 - a) + -99. Let g = 138 + v. Does 16 divide g?
False
Let x be 1/(-3)*(-1 - 14). Let i = 9 - x. Suppose i*d - 60 = d. Is d a multiple of 7?
False
Suppose -2*x = 2*v - 2, -4*v - 41 = 2*x - 7*x. Let f be 3 + 0/(-2) + 1. Suppose 18 = a - 4*s + x, f*a + 2*s - 16 = 0. Is 5 a factor of a?
True
Let j(y) = -6 - 23 - y + 4. Let r be j(0). Let o = r + 44. Is 19 a factor of o?
True
Let h be 3 + (-2 - 1 - -3). Suppose -r + 19 = 3*v, -5 = 4*r + h*v - 54. Is 3 a factor of r?
False
Suppose 4*j - 3*j = 5. Suppose -d + j*d = 124. Is 14 a factor of d?
False
Let i be (6/4)/(4/(-8)). Is (-72)/14*14/i a multiple of 8?
True
Let s = -3 + 5. Let k be (16/(-6))/(s/(-6)). Let a = 5 + k. Is 8 a factor of a?
False
Let u(f) be the third derivative of -f**6/120 - 7*f**5/60 - 5*f**3/6 + f**2. Let l be u(-7). Let z = l + 8. Does 3 divide z?
True
Let c = 109 + -66. Is 12 a factor of c?
False
Suppose 4*g = -2 + 10. Let u(h) = 2*h + 1. Let j be u(g). Suppose -5*a - d + 48 = -11, 61 = j*a - d. Does 6 divide a?
True
Suppose -4*t + 49 + 15 = 0. Is 16 a factor of t?
True
Let b = -86 - -139. Let s = b + -25. Does 11 divide s?
False
Let j(u) = 17*u - 1 + 3 - 1. Is 9 a factor of j(1)?
True
Suppose -246 = 2*n - 2*k - 88, 0 = -2*k + 10. Let j = n + 142. Suppose -q + j = q. Is q a multiple of 17?
True
Let x(k) = k**3 + 11*k**2 + 9*k + 18. Does 28 divide x(-10)?
True
Let b(w) = -5*w - 1. Let i be b(-4). Does 12 divide i/(2*(-2)/(-4))?
False
Suppose o + o - k - 146 = 0, 355 = 5*o - 5*k. Is o a multiple of 25?
True
Let p = 5 - 2. Suppose 0 = 5*y - 4*c - 185, 3*c = -p*y + 7*c + 103. Does 16 divide y?
False
Suppose -2*g - 60 = -6*g + 4*s, -4*s - 78 = -5*g. Does 18 divide g?
True
Let p be ((-12)/14)/(2/(-210)). Suppose 4*k = 3*n - p, 5*n = -5*k + k + 118. Is 11 a factor of n?
False
Let f(h) = h**3 + 7*h**2 + 3*h + 3. Let n be f(-5). Suppose -n = -3*o - 2. Does 5 divide o?
False
Let n(r) = -r**2 + 1. Let i(p) = 30*p**2 - 2. Let u(m) = i(m) + 2*n(m). Let g(s) = -s**2 - 4*s + 20. Let f be g(-7). Does 10 divide u(f)?
False
Let k be (10/6)/(2/36). Suppose -4*g = 3*q - 40, -g = 2*g + 5*q - k. Is 10 a factor of g?
True
Suppose 5*h = -4*c + 39, 5*c - 32 = -3*h - 6. Let x(a) = 6*a - 10. Let p be x(h). Suppose -5*r - 4*f + 50 = 0, -3*r + p = -r + 4*f. Is r a multiple of 2?
True
Let g(v) = 3*v - 2. Let j be g(3). Suppose -4*o + 25 = -j. Is o a multiple of 3?
False
Let i be (0/(-2))/(-3 - 