*m - 9. Let h be c(-6). Let y = -24 + h. Is y a multiple of 9?
False
Suppose -3*o + 82 = 7. Is o a multiple of 8?
False
Suppose 0 = -2*c - 0*a + 3*a + 225, -2*c + 4*a + 226 = 0. Is c a multiple of 7?
False
Suppose -12*k - 616 = -14*k. Does 22 divide k?
True
Let p(n) = -n**3 + 7*n**2 + 9*n + 6. Does 8 divide p(8)?
False
Let i(n) = -5*n - 47. Is 13 a factor of i(-16)?
False
Suppose 5*j = 5*i - 30, -36 = 5*i - 16. Is 21 a factor of 712/20 - 4/j?
False
Suppose 3*v - 20 - 32 = -2*l, -3*l - 5*v + 77 = 0. Let h be (-3)/6 - l/(-2). Suppose h = -2*o + 3*o. Is 14 a factor of o?
True
Is 17 a factor of (-159)/(-6) - (-6)/12?
False
Suppose 4*g - 15 = 3*a - 2, 0 = -g - 2*a + 17. Let r = g - -21. Is r a multiple of 7?
True
Suppose 2*z + 2*z = 0. Suppose z = c - 14 - 1. Is c a multiple of 8?
False
Let v be -27 + -2 + 1 - -2. Let c = 83 + v. Suppose -5*g - i + 37 = -c, -4*i - 23 = -g. Does 10 divide g?
False
Let n(y) = y**3 + 5*y**2 - 2*y. Let j be n(-5). Suppose j = -3*p - 5*u, -2*p = -3*u - 3 - 3. Is 6 a factor of (-1 + p)*(-6 + -6)?
True
Let b = 7 + -14. Let g = 10 - b. Does 11 divide g?
False
Suppose -4*h + 2*h = -34. Is 3 a factor of h?
False
Let i(q) = -q**2 + 8*q + 4. Is i(7) even?
False
Let g(k) be the third derivative of k**5/60 + 7*k**4/24 - 5*k**3/6 - k**2. Suppose -24 = 12*j - 9*j. Does 2 divide g(j)?
False
Let j be 4/((-8)/14) + 1. Let s = -4 - j. Is -1 - (s + -2) - -21 a multiple of 12?
False
Let t(p) = p + 1. Suppose 5*b - 18 = -3, 0 = -3*u - 3*b + 9. Let y be t(u). Is 16 a factor of (19 - 0) + -2 - y?
True
Let r(l) = -l**2 - 2*l - 4. Let t be r(-7). Let v = 0 - -3. Is (4/v)/((-2)/t) a multiple of 13?
True
Does 11 divide ((-132)/(-8))/((-3)/(-2))?
True
Suppose -2*d + 262 - 82 = 0. Does 30 divide d?
True
Let h be 1/(2*(-4)/8). Does 8 divide (9 + h)/((-3)/(-12))?
True
Let k(i) = i**2 - 15*i - 13. Is k(16) a multiple of 3?
True
Suppose -4*t = -i - 4, -i + 15 = 4*t - 5. Does 2 divide i?
True
Let u(y) = y**3 + y**2 + 1. Let c be u(0). Let j(b) = 21*b**2. Is 11 a factor of j(c)?
False
Is 20 + 54 - (0 - 1) a multiple of 11?
False
Let m(r) = -2*r**3 + r**2 - 3*r + 3. Is m(-3) a multiple of 25?
True
Suppose -3 = -2*r + 3. Is r a multiple of 3?
True
Does 7 divide 6/(-39) + (-186)/(-26)?
True
Let h(b) = 2*b - 5. Let f be h(4). Suppose -f*l = -y - 42, 4*l + 4*y + 17 - 73 = 0. Is 8 a factor of l?
False
Let g(v) = -6*v**3 - 2*v**2 - 2*v - 1. Let j be g(-1). Suppose -2*y - 182 = -4*x - 54, 0 = x + j*y - 10. Is 18 a factor of x?
False
Let m(r) = -2*r - 2. Let n be m(-1). Suppose n = 2*d - 3 - 5. Does 2 divide d?
True
Let k(z) = z**2 - 5*z - 1. Let s be 7/(21/18) - 2. Let y be k(s). Is 17 a factor of 8/20 - 103/y?
False
Suppose -4*r = -5*t + 21, -r + 6*r = -5*t + 30. Is 4 a factor of t?
False
Let t(j) = -13*j + 7. Let z be t(5). Suppose -63 = n - 5*i, -239 = 3*n + 2*i - 7*i. Let l = z - n. Is 19 a factor of l?
False
Let l(c) = -c**3 + 8*c**2 + c - 5. Let b be l(8). Suppose b + 1 = -o. Is 21/4 + 1/o even?
False
Let x(f) be the first derivative of f**4/4 + 4*f**3/3 + f**2/2 - 4*f - 2. Let j be x(-3). Let y = 9 - j. Is 7 a factor of y?
True
Let p(b) = -b + 2. Let i(a) = 3*a - 4. Let k(w) = -4*i(w) - 7*p(w). Is 16 a factor of k(-6)?
True
Let w(p) be the third derivative of p**6/120 + p**5/20 - p**4/12 - p**3/6 - p**2. Is 3 a factor of w(-2)?
False
Let r = 0 - -6. Let a(k) = k**2 - 5*k - 4. Let o be a(r). Suppose -5*u = o*z - 35, 16 = z + 4*u - 2*u. Is z a multiple of 4?
False
Let i(t) = -3*t + 26. Is 16 a factor of i(-14)?
False
Suppose g = 8*u - 4*u + 137, 157 = g + u. Does 16 divide g?
False
Suppose 4*l = 9*l - 10. Is 6 a factor of l - 1*-2*3?
False
Let h = 103 - 9. Does 12 divide h?
False
Let b = -327 - -804. Is 24 a factor of b?
False
Let y(x) be the second derivative of -2*x**3/3 + 2*x**2 + 2*x. Let h be y(-8). Let p = h - 4. Is 14 a factor of p?
False
Let q(l) = 15*l + 6. Let v(z) = 8*z + 3. Let d(y) = -6*q(y) + 11*v(y). Is d(-8) a multiple of 13?
True
Suppose 0 = 4*b - 20, 844 = 5*j - 2*j - b. Suppose 3*l = j - 13. Suppose -l = -2*z + t + t, -3*z + 135 = -4*t. Does 15 divide z?
True
Let c(f) = -f**3 - 2*f**2 + 2*f + 3. Let s be c(-2). Let k be (-4 + 2/2)*s. Suppose -1 = -m + k. Does 2 divide m?
True
Suppose 2*q - 50 = 4*m, -2*m - 2*m - 2*q = 70. Let c = m - -29. Let g = c - 6. Does 8 divide g?
True
Is 51 a factor of (1 - -1250)/3 + (-9)/3?
False
Let v(m) = 14*m + 17. Let k be v(7). Suppose -55 = -o + f, -2*o = -5*f + 2*f - k. Is o a multiple of 25?
True
Suppose -z = 4*d + 14, -3*z - 4 + 10 = -4*d. Is d + (-2 - -51) - 1 a multiple of 10?
False
Suppose 4*s + 2*s = 90. Does 7 divide s?
False
Let w(v) = 15*v**2 + v - 3. Let y be w(-3). Let a = -68 + y. Suppose 4*h - 2*h - 3*p = a, -127 = -4*h + p. Is h a multiple of 13?
False
Let u(d) = 14*d**2 - 4 + 6 + 3*d - 3 - 2*d. Is 12 a factor of u(-1)?
True
Let f(t) = -t**2 - 2*t + 4. Let n be f(-3). Is 12 a factor of 1 + -5 - -41 - n?
True
Suppose -5*n = -2*p - 5, -p + 0 + 2 = 2*n. Suppose p = -2*y + 3*y - 1. Let u(r) = 39*r**2 - r. Is 14 a factor of u(y)?
False
Let s(k) = 5*k**2 - 2*k + 1. Let m be s(-3). Suppose 2*b - g + 0*g - m = 0, -3*g - 75 = -3*b. Let t = b - 7. Is 13 a factor of t?
False
Let k(l) = -l**3 - l - 5. Let n be k(0). Let i(a) = a**2 - 3*a + 6. Is i(n) a multiple of 25?
False
Let o(g) = 8*g. Let p be o(1). Let v = p - 8. Does 12 divide (19 + (v - 2))/1?
False
Suppose 2*h - 2*u = 90, -u - 184 = -4*h + 2*u. Suppose 2*i = 3*i + 5*o - h, i = 3*o + 25. Is i a multiple of 17?
True
Suppose n = 2*b + 34, 0 = n + 3*b + b - 16. Does 7 divide n?
True
Is 9 a factor of 6/(-12)*-3*156?
True
Let p be 27/(-1) - (-5 + 4). Let r = p + 37. Is r a multiple of 11?
True
Let p be (-18)/(-5) - (-3)/(-5). Suppose -p*o + 26 = -34. Is o a multiple of 10?
True
Suppose s = -4*a + 3 + 16, 5*s = 5*a + 70. Does 2 divide s?
False
Let l be (9/(-6) + 1)*-16. Let a(d) = 3*d + 2. Is a(l) a multiple of 13?
True
Suppose 15 = 3*o + 2*o. Suppose -j + 5 = o*i - 2, 4*j - 20 = -4*i. Suppose -4*k + 106 = d, j*d - 81 = -5*k + 57. Is k a multiple of 13?
True
Suppose -2*s + 10 = -2*a, 11 + 2 = -5*a + 2*s. Does 17 divide 34/a*4/(-8)?
True
Suppose -7*l + 30 = 2. Suppose l*x = -13 + 61. Does 4 divide x?
True
Is 32 a factor of 4*2140/208 - (-4)/(-26)?
False
Suppose 3*d - 31 = -0*v + 2*v, -3*v = -5*d + 47. Does 16 divide (-3)/((2 + 0)/v)?
False
Suppose -11*d + 54 = -8*d. Does 18 divide d?
True
Let b(t) = t**3 + 16*t**2 + 13*t + 21. Does 17 divide b(-15)?
True
Let b = 11 + 9. Is b a multiple of 2?
True
Is 3 a factor of 44/16 - 2/(-8)?
True
Let v(o) = 2*o + 8. Let m be v(-4). Suppose -j + 2*j - 21 = m. Is j a multiple of 18?
False
Let m(c) = c**2 + c. Let b(n) = 2*n**2 + 4*n - 4. Let h(p) = -b(p) + 3*m(p). Is h(3) a multiple of 5?
True
Is 64 a factor of (-128)/10*(-4 - (9 - 8))?
True
Suppose -j + v + 4 = 0, 8 = 4*j - 5*j - 5*v. Does 27 divide 1 + -2 - -50 - j?
False
Let i(s) = s + 7. Let q be i(-5). Suppose g + q - 17 = 0. Does 6 divide g?
False
Let w = 22 + -14. Let k(d) = -2*d - 4. Let u be k(-3). Is u/w + 30/8 a multiple of 4?
True
Let y(h) = -h**3 - 12*h**2 + 12*h + 7. Is y(-13) a multiple of 20?
True
Suppose -3*k + 175 = 49. Is k a multiple of 7?
True
Suppose 0*j + 2*j - 4 = 0. Suppose -j*v + 16 = -16. Does 15 divide v?
False
Let v(y) = 17*y + 2. Let w be v(-2). Let g be (-4)/14 - w/14. Suppose -4*x - 5*i = -25, 0*x = -g*x - 5*i + 5. Does 10 divide x?
True
Let m(s) = -s**2 + 7*s + 15. Is 4 a factor of m(8)?
False
Suppose 3*c = l + 187, -c + l + 74 = 3*l. Let m = c - 106. Let u = -17 - m. Is 22 a factor of u?
False
Let l = -51 - -13. Let m = 68 + l. Does 15 divide m?
True
Let m be 16/6 - 1/(-3). Suppose 4*n + 2*o + 4 = 0, -n + m*n + 14 = 2*o. Is 4 a factor of (10/3)/((-2)/n)?
False
Suppose -2*a = -150 - 30. Is 14 a factor of a?
False
Suppose 6 = r - q, 5 = r + 5*q - 7. Let c(j) = 8 - r + j**2 - 2*j + 7*j. Does 7 divide c(-8)?
False
Suppose 56 + 44 = 4*l. Is l a multiple of 22?
False
Let o be (1/(-1))/(4/(-12)). Suppose o*m - 5*m = -10. Does 4 divide m/((-10)/4)*-3?
False
Let s = -62 + 114. Is 11 a factor of s?
False
Suppose 5*n + 2*g = 1 - 2, -n - 5*g - 14 = 0. Let y(x) = 5*x**3 - 2*x**2 + 2*x - 1. Let k be y(n). Suppose 0 - 80 = -k*r. Is r a multiple of 14?
False
Suppose -6 = -b - 1. Let m be (-3)/b + 304/40. Suppose 4*u - 173 = m. Is u a multiple