 - h*q. Is c a multiple of 6?
False
Let j be 505/6 - (-6)/(-36). Let m = j + -57. Let t = m - 11. Does 6 divide t?
False
Let c be (-8)/(-12)*54/4. Suppose 2*z + 2*j = -2, 5*j + 4 = -z - c. Suppose z*l - 5*x - 45 = 0, 2*l + x = 67 - 16. Is l a multiple of 17?
False
Suppose -629 = -8*d - 205. Does 5 divide d?
False
Let c(g) be the second derivative of -3*g**6/80 - g**5/120 + g**4/6 + 3*g. Let x(r) be the third derivative of c(r). Does 13 divide x(-1)?
True
Let a be ((-8)/16)/(2/(-68)). Let b = 44 - a. Is 9 a factor of b?
True
Let k(c) = 20*c**2 - 5*c + 4. Does 4 divide k(1)?
False
Let f = -24 + 50. Is 13 a factor of f?
True
Suppose 4*o - 63 = l, o - 11 = l + 4. Suppose -3*t - d = 3*d - 3, 5*t - o = -3*d. Is t even?
False
Let c = -5 - 5. Is (-869)/(-55) + (-2)/c a multiple of 8?
True
Let t = -8 + 21. Is 13 a factor of t?
True
Let b(f) = -5*f - 9. Let w be ((-10)/(-4))/(4/(-16)). Is b(w) a multiple of 17?
False
Suppose -64 = n - 3*n. Does 16 divide n?
True
Suppose -4*m + 2*g - 20 = 0, 3 - 10 = 5*m + 2*g. Let x(r) = -r**3 + 2*r**2 + 2*r - 4. Is x(m) a multiple of 19?
False
Let h(s) = -252*s + 5. Is 15 a factor of h(-1)?
False
Let z = -8 - -3. Let h(k) = -k**2 + k - 1. Let a(q) = q**2 + 5*q - 5. Let y(c) = a(c) - h(c). Is y(z) a multiple of 10?
False
Let y be -3 - (-15)/1 - 3. Let s = 9 + y. Is 10 a factor of s?
False
Suppose 0*d + 5*d - 205 = -y, d - 4*y = 41. Is d a multiple of 15?
False
Let d = 54 - 93. Let t = d - -78. Does 17 divide t?
False
Suppose 2*v = 3*b - 239, -3*b - 2*b + v = -403. Does 9 divide b?
True
Suppose -3*c = -q - 4*c + 7, -3*c + 33 = 4*q. Does 7 divide q?
False
Let t(x) = 2*x**3 - 4*x**2 - 2. Let n be t(3). Suppose 0 = -3*m - r + n, 2*r - r = 5*m - 16. Does 2 divide m?
True
Let y(w) = w + 4. Is y(7) a multiple of 2?
False
Let u = 23 - 14. Does 9 divide u?
True
Let k = 68 - 42. Suppose -3*m + m + k = 0. Is 7 a factor of m?
False
Suppose 0 = -6*f + 338 + 142. Does 8 divide f?
True
Let t(a) = 4*a + 17. Let d(r) = -r - 4. Let n(v) = -9*d(v) - 2*t(v). Let l be 30/(-20)*(-4)/3. Does 2 divide n(l)?
True
Suppose -3 + 13 = -5*p. Let f be (1 - (p + 1))/(-1). Is (1 + 19/(-2))*f a multiple of 8?
False
Suppose -15 = 4*s + 5. Let a(w) = -3*w - 5 - 8*w + 4*w. Is a(s) a multiple of 15?
True
Let w(i) = -9*i + 1. Let t be w(-9). Let k(x) = x**2 - 4*x - 2. Let p be k(6). Suppose -q + u - 6*u = -p, -3*q = 2*u - t. Is 15 a factor of q?
True
Suppose 2*q = 9 - 3. Is 5 a factor of q/(-1) + -1 + 19?
True
Let o = -36 - -76. Does 20 divide o?
True
Let w = -8 - -13. Suppose w*j + 1 = 11, -4*a + 2 = j. Is -1*6*-5 - a a multiple of 10?
True
Let x(i) = i**2 + 6*i. Let f(j) = j**2 - 6*j + 2. Let d be f(4). Let u be x(d). Suppose 0 = -u*s - s + 11. Is 6 a factor of s?
False
Suppose 3*t + 10 = 5*t + 2*q, 0 = -4*t + 4*q + 4. Does 3 divide t?
True
Let z(a) = 3*a**3 + a**2 + 2*a + 1. Let j be z(-1). Let t(x) be the first derivative of -3*x**2/2 + x + 1. Is 6 a factor of t(j)?
False
Let h(j) = -j**3 - 1. Let c(m) = -15*m**3 + 3*m**2 - 3*m - 12. Let a(s) = -c(s) + 12*h(s). Does 7 divide a(2)?
False
Suppose 0 = -2*p - 2 + 6. Suppose -p*g = 3*g - 40. Let a = g - 3. Is 4 a factor of a?
False
Suppose -5*z + 1177 = 392. Is z a multiple of 23?
False
Let j be 3/(-1)*(-4)/6. Let i(h) = -h**3 - 17*h**2 + h + 24. Let l be i(-17). Suppose 0 = -j*z + 27 - l. Is 9 a factor of z?
False
Let m = -9 + 13. Does 7 divide ((-2)/m)/(5/(-200))?
False
Let r(o) = o**3 - 4*o**2 + 3*o + 3. Let v(q) = 2*q**2 - 4*q + 3. Let b be v(2). Does 2 divide r(b)?
False
Suppose d - 5*d = 5*j - 25, 4*d - 28 = -4*j. Suppose -5*o = -d - 45. Is 4 a factor of o?
False
Let i(u) = 13*u**3 + 4*u**2 - 2*u - 1. Is 7 a factor of i(1)?
True
Is 9 a factor of (35 - 5)*-8*(-3)/15?
False
Suppose -2*f - 4*r = -262, 4*r = 5*f + 172 - 799. Is 12 a factor of f?
False
Let p(u) = -u**3 + 9*u**2 + 4*u - 5. Does 25 divide p(9)?
False
Is (27 - -3)/(1 - 3/12) a multiple of 16?
False
Let i(x) = x**2 + 8*x + 7. Let f be i(-7). Let j(b) = b + 4. Is j(f) a multiple of 4?
True
Suppose -3 = o + o - 5*v, -4*v + 24 = -4*o. Let i = o - -14. Is i a multiple of 2?
False
Suppose -6*x + 99 = -237. Is 7 a factor of x?
True
Let f(s) = s**2 - 8*s + 8. Let i be f(7). Let z be 8/6*(i + -7). Is 19 a factor of (z - -1)*90/(-21)?
False
Suppose z = -3*z + 12. Suppose -3*n + 67 = -4*v, n + z*v + v - 1 = 0. Does 9 divide n?
False
Let y(f) = -f**2 + 6*f - 3. Suppose -4*u + 2*u = -10. Let b be y(u). Suppose -b*p = p - 54. Is 6 a factor of p?
True
Suppose -4*d - 226 = -598. Is d a multiple of 32?
False
Suppose 4*f + 0*f = 1156. Let i be f/3 + 3/(-9). Suppose -i = -6*j + 3*j. Is 11 a factor of j?
False
Let t = 17 - 0. Is 4 a factor of t?
False
Let l(y) = -y**3 + 10*y**2 + 21*y - 5. Does 35 divide l(11)?
True
Suppose -29*s = -30*s + 240. Does 15 divide s?
True
Let o = -8 + 22. Is 5 a factor of o?
False
Suppose -1 = 5*h - 2*x - 2*x, 0 = -h - x - 2. Is 7 a factor of (-2)/(-1)*(-7)/h?
True
Let k(x) be the second derivative of x**4/12 + 79*x**2/2 + 9*x. Is 23 a factor of k(0)?
False
Let m(n) = n**2 + 14*n + 14. Is 8 a factor of m(-15)?
False
Let b(l) = -l**2 + 8*l - 2. Let u(h) = h**3 + 8*h**2 - 8. Let r be u(-7). Suppose -4*x - 17 = -r. Does 10 divide b(x)?
True
Does 28 divide (-12901)/(-105) - (-4)/30?
False
Let z be (0 - 0)/(1/(-1)). Suppose -2*x - 5*i + 46 = 0, 3*x + z*x + i - 56 = 0. Is 15 a factor of x?
False
Let j be (-7)/(-7) - (0 - 56). Suppose 0 = -5*d + j + 8. Suppose 5*y - 5*z = -3 + 8, -y - 2*z + d = 0. Is y a multiple of 2?
False
Let s = 302 + -211. Is s a multiple of 30?
False
Let g(t) = t + 1. Let f(h) = 7*h - 4. Let i(u) = -f(u) + 6*g(u). Let j be i(7). Suppose 3*o = 2*c - o - 102, 56 = c - j*o. Does 15 divide c?
False
Let u be (-4)/10 + (-28)/5. Let l = -4 - u. Suppose l*n = -0*n + 8. Is 4 a factor of n?
True
Let q(d) = -d**3 + 7*d**2 + 6*d + 8. Let h be q(6). Let g be (0 - -2)/(2/5). Suppose -h = -g*n + n. Does 20 divide n?
True
Let q = 8 - 6. Suppose -4*g + q*s = -g + 76, 4*s - 130 = 5*g. Let n = 39 + g. Is n a multiple of 8?
False
Let g(u) = 5*u**2 + u + 10. Does 8 divide g(3)?
False
Suppose 55 = -0*n + n - 4*z, 0 = 3*n + z - 204. Is n a multiple of 25?
False
Let i(q) = q**2 + 6*q + 22. Is 11 a factor of i(-11)?
True
Let n = 6 + 4. Suppose 0 = -2*t - 5*i - 25, t + 0*i = 2*i + n. Suppose 5*o - 11 - 9 = t. Is 2 a factor of o?
True
Let i(k) = 3*k**2 + 9*k - 5. Does 12 divide i(-7)?
False
Is 20 a factor of -3 - (0 - -1)*-32?
False
Let p(t) = -t**3 - 10*t**2 - 10*t - 7. Let l be p(-9). Suppose -3*u + 72 - 7 = -5*i, l*u = 4*i + 42. Does 12 divide u?
False
Is 4 a factor of (1 - 1)*-1 + (1 - -16)?
False
Let k = 84 - 75. Does 2 divide k?
False
Suppose -3*f = -n - 0*f + 49, -5*n + 2*f + 284 = 0. Does 11 divide n/1 + -1 + 0?
False
Is (1 - (29 - 4))*10/(-4) a multiple of 15?
True
Suppose -5*k + 145 = -95. Does 16 divide k?
True
Let b be 4/18 - (-38)/(-9). Let z = 6 + b. Suppose z*i - 49 = -17. Is i a multiple of 8?
True
Is 10 a factor of 1/5 - 6990/(-50)?
True
Let b(r) be the first derivative of 4*r**2 - 3. Is b(2) a multiple of 16?
True
Let g = 76 - 6. Let d(i) = -3*i**3 - 3*i**2 + i + 2. Let x be d(-2). Is 10 a factor of -3*(-2)/x*g?
False
Suppose 5*j - 51 = 24. Let s be (-2)/(-6) + (-545)/j. Let g = -24 - s. Is g a multiple of 12?
True
Is (-1)/(-5) + (-2233)/(-35) a multiple of 24?
False
Let t = 13 + -8. Suppose -5*v - 183 + 53 = 0. Let q = t - v. Does 22 divide q?
False
Let v(k) = -65*k**2 + k + 1. Let i be v(-1). Let o = i + 28. Let x = 55 + o. Does 9 divide x?
True
Suppose 5*m + l - 218 = 194, 154 = 2*m + 4*l. Suppose -5*p + 17 = -m. Let h = p + -4. Is 8 a factor of h?
True
Let p(i) be the first derivative of i**3/3 + 3*i**2 + 8*i - 3. Does 4 divide p(-6)?
True
Suppose t + 25 = -4*t, -t - 5 = -4*q. Suppose q*n + n = 66. Is 22 a factor of n?
True
Let l = 20 - -23. Is 39 a factor of l?
False
Is 106/(-21)*-6 + 2/(-7) even?
True
Let a be -2 - 0 - (-2 - 9). Let s(l) = l**2 - 10*l + 2. Let z be s(a). Let k = 8 - z. Is k a multiple of 10?
False
Let a(d) = d + 2. Let y be a(1). Suppose -2*h + 65 = 2*p + 13, -y*p + 68 = h. Is p a multiple of 5?
False
Let g(s) be the third derivative of 11*s**7/2520 - s**6/720 - s**5/60 + s**4/8 + 2*s**2. Let m(w) be the second derivative of g(w). Is m(2) a multiple of 14?
False
Suppose -n + 24 = -g + 6*g, -4*g = n - 