(-9)?
True
Suppose 0 = -5*c + f + 585, -2*c - 3*f - f = -256. Is c a multiple of 19?
False
Let a = 32 - -87. Is 20 a factor of a?
False
Let w be 14/35 + 27/(-5). Let v(k) = 5*k**2 + 10*k - 2. Let t(b) = -9*b**2 - 20*b + 4. Let d(f) = 4*t(f) + 7*v(f). Is 7 a factor of d(w)?
False
Let n(b) be the first derivative of 5/3*b**3 - 4*b - 3/2*b**2 - 1 + 1/4*b**4. Is 12 a factor of n(-4)?
True
Let j(w) = 63*w**2 - 2*w + 1. Does 14 divide j(1)?
False
Suppose 0 = -c - 4*c + 2*j + 356, -137 = -2*c - j. Suppose -4*w - 14 = -c. Is w a multiple of 14?
True
Suppose 5*v + 5*g - g = -79, 16 = -v - g. Suppose -r = -2*r + 6. Does 6 divide (r - 1)*(-48)/v?
False
Let r(o) be the second derivative of o**4/12 - o**3/3 - 6*o**2 + 4*o. Does 4 divide r(6)?
True
Let q(m) = -9*m + 2. Let k be 0*1/2 + -5. Let z(t) = -19*t + 3. Let g(c) = k*q(c) + 3*z(c). Is g(-3) a multiple of 14?
False
Let x = 4 + -6. Is 11 a factor of (22/(-6))/(x/6)?
True
Let v = -1 - -55. Is v a multiple of 18?
True
Let h(a) = -a**3 - 2*a**2 + 5*a + 2. Let x be h(-4). Let s = -30 - x. Is (-3)/1*s/6 a multiple of 16?
False
Suppose -318 = -4*s + s. Let l = s - 57. Is l a multiple of 20?
False
Let d be 1 + (-1 - (-1 + -1)). Suppose 0 = d*i + i - 21. Suppose 0 = -3*n + 15, 5*o - n = 42 - i. Does 3 divide o?
False
Suppose b - 2*b = -2*x + 216, 0 = -5*x - 4*b + 540. Does 27 divide x?
True
Let r be 4/22 - (-878)/11. Let h = r - 30. Is h a multiple of 16?
False
Let t(q) = -q**3 - 7*q**2 - 2*q - 7. Let k(h) = -6*h - 1. Let p be k(1). Is t(p) a multiple of 4?
False
Let l(v) = 17*v**2 + 7*v - 9. Is l(3) a multiple of 15?
True
Suppose 0 = -2*m - 38 - 76. Let i = m + 109. Does 13 divide i?
True
Let u be (-21)/(-35) + 14/10. Is 11 a factor of u/(1/(-34)*-4)?
False
Suppose 4*v - 2*s + 4*s - 254 = 0, s = -3. Is 13 a factor of v?
True
Let m(w) = w**3 - 9*w**2 + w - 9. Let k be m(9). Suppose 0 = 3*t - k*t - 828. Does 20 divide t/14 + 12/42?
True
Let u(j) = j**3 - 21*j**2 + 26*j - 27. Does 31 divide u(20)?
True
Let b = 14 - 10. Let n = b - 2. Suppose n*z - w - 52 = w, 2*z + 2*w - 52 = 0. Is z a multiple of 20?
False
Does 7 divide 1/(-5) - 324/(-45)?
True
Suppose -d = 5*q - 25, -4*d + 75 = -3*q - 2*q. Does 2 divide d?
True
Suppose -63 = -5*p + 22. Suppose -p = -4*g + 131. Does 10 divide g?
False
Suppose -3*c + 2 = 11. Let i be 58/2 - (c + 2). Does 16 divide 5/((-10)/(-4)) + i?
True
Let h = -7 - -12. Suppose 30 = -3*m + d, -2*m - h*d = -3 + 23. Does 5 divide (-1 + 0 - 0)*m?
True
Suppose 0 = 2*x - x - 3. Suppose 0 = -3*w + 2*n + 24 - 4, n - 26 = -x*w. Let g = w - 0. Is g a multiple of 8?
True
Let g = -45 - -22. Let y = 40 + g. Does 14 divide (y/(-2))/(6/(-12))?
False
Let f(m) = -3*m + 12. Let g be ((-3)/2)/(2/12). Is 13 a factor of f(g)?
True
Suppose 4*i - 12 = -0*i. Suppose 21 = u + i. Is u a multiple of 9?
True
Let k be (-2)/4*2*0. Suppose 0 = 5*y - n + 4*n - 369, -3*n + 9 = k. Does 32 divide y?
False
Suppose u - 5*u + 20 = 0. Let p = u + -1. Suppose 29 = 3*x + 2*h, p*x - 6 - 6 = 4*h. Is 3 a factor of x?
False
Let n(b) = 3*b**2 + b + 4. Let q be (-10 + 2)/(-4) + 1. Is 9 a factor of n(q)?
False
Suppose 5*c - 25 = 0, c + 126 = -4*d + 51. Let j = 41 + d. Is j a multiple of 21?
True
Suppose 7*c + 2*u = 4*c + 53, -5*u - 4 = c. Does 21 divide c?
True
Let u(h) = -2*h - 12. Let a be u(-8). Let x be 2/(-4) - (-66)/a. Suppose -x = -5*k + 34. Is 5 a factor of k?
True
Suppose -3*x = 3*n - 4*n - 6, 5*x + 5*n - 10 = 0. Suppose x*q = 4*z - 16, -4*q = -2*q - 3*z + 12. Suppose 0 = -w + 24 - q. Is w a multiple of 12?
True
Suppose 4*f = -0 + 8. Suppose d = 2*h - f*d - 5, 0 = -5*h + 2*d + 18. Suppose 4*w - h = 28. Is w a multiple of 5?
False
Let z(v) = v**2 - 2*v + 2. Let m be z(2). Suppose -f + 5*n - 14 - 1 = 0, -3*f + 23 = m*n. Let u = f + 6. Does 11 divide u?
True
Let v(r) = 5*r**2 + 7*r + 5. Let b(u) = 4*u**2 + 8*u + 6. Let g be (-2)/1*7/(-2). Let j(o) = g*v(o) - 6*b(o). Is 14 a factor of j(-2)?
False
Let l = -57 - -39. Is (-12)/(-54) - 230/l a multiple of 6?
False
Let o be 7/(((-3)/2)/3). Let h = o - -50. Let p = -19 + h. Does 17 divide p?
True
Let i(o) be the third derivative of o**5/60 - o**3/6 - 2*o**2. Let j be i(2). Suppose 25 = j*a + 2*a. Is a even?
False
Suppose 3*u + 9 - 501 = 0. Is 19 a factor of u?
False
Let m(w) = w**3 + 10*w**2 + 7*w + 10. Is m(-9) a multiple of 28?
True
Let g(z) = 14*z**2 + 5*z + 12. Does 35 divide g(-4)?
False
Suppose 27 = 2*j + l, -j = 3*j + 5*l - 63. Suppose 0 = -4*i - 0*y + 3*y + j, 4*y = 16. Does 4 divide i?
False
Let q(b) = b**3 - 10*b**2 + 10*b + 3. Let n be q(9). Suppose 0 = -4*g + 8 + n. Suppose -2*k + a = -22, 2*k = 2*a + 17 + g. Is 4 a factor of k?
False
Suppose -3*l + 11 = -7. Suppose l = -4*x + 106. Let m = 57 - x. Is 13 a factor of m?
False
Suppose 5*y + 110 = 7*y. Is y a multiple of 11?
True
Suppose -2*l - 130 = -4*r, -r + 25 = 4*l - 2*l. Does 9 divide r?
False
Let h(i) = -i + 30. Is h(9) a multiple of 21?
True
Suppose -2*f = -4*f + 4. Suppose -k - n = -16, f*k = -k - 2*n + 47. Is k a multiple of 15?
True
Let g(y) = 5*y - 7. Let v be g(5). Suppose v = 5*n - 3*n. Is 9 a factor of n?
True
Let r = 98 - 25. Is r a multiple of 37?
False
Let r = -9 - -13. Suppose 8 = -0*c + r*c. Suppose 2*w = -c*w + 40. Is w a multiple of 4?
False
Suppose -4 = 2*u - 5*g + 14, 2*g = 0. Let d be 3/u + (-62)/(-6). Is 6 a factor of (-76)/(-10) + 4/d?
False
Is (-9 - -11) + (0 - -13) a multiple of 4?
False
Let p = 8 - 8. Is (-4 - -3) + 35 - p a multiple of 9?
False
Let g(o) = o. Let r be 0 - (0/(-3) - -1). Let w be (r + 0)/(2/(-4)). Does 2 divide g(w)?
True
Let y(o) = -3*o**2 + 13*o**2 + 3 + o**3 - o**2. Is 25 a factor of y(-4)?
False
Suppose -v + 651 = 6*v. Does 14 divide v?
False
Suppose 0 = -n + 15 + 14. Is n a multiple of 4?
False
Let b(f) = f**3 + 6*f**2 - 2*f - 1. Is b(-5) a multiple of 17?
True
Let u be 0 + (-2)/(-4)*0. Let q = -90 + 155. Suppose 5*k = -c + q, 52 = -u*k + 4*k + 2*c. Is k a multiple of 13?
True
Let c(n) = n + 4. Let s be c(0). Does 12 divide (47/s)/(1/4)?
False
Is 3/2 - (-4)/((-32)/(-740)) a multiple of 23?
False
Let l(r) = -16*r + 4. Let v be l(-5). Suppose -v = 2*z + z. Is 10 a factor of (-1 + 5)*(-91)/z?
False
Let m(j) = 8*j - 1. Does 15 divide m(6)?
False
Suppose 5*n - 3*n = -k - 3, k + 4*n - 3 = 0. Let r(w) = -6*w. Is 18 a factor of r(k)?
True
Let l(k) be the third derivative of k**5/60 - k**4/8 - k**3/6 - k**2. Let m(y) = -y**3 - 6*y**2 - y - 2. Let b be m(-6). Is l(b) even?
False
Let j(o) = o**3 - 7*o**2 + 4. Let i be j(7). Suppose 192 = i*d - 0*d. Suppose 0 = 3*v + 6 - d. Does 7 divide v?
True
Suppose 0 = -z + 2*z - 8. Suppose 4 = 3*j - z. Suppose -56 = -j*y + 12. Is 17 a factor of y?
True
Let y be (18/8)/(13/260). Let x = -15 + y. Is x a multiple of 7?
False
Let r = 4 - -6. Is (-29)/(r/(-4) - -2) a multiple of 21?
False
Is (-83)/(-3) - 1/(-3) a multiple of 28?
True
Suppose 5*r - 8*r = -489. Is r a multiple of 13?
False
Suppose -16 = -4*x - 0. Suppose 6 = x*n - 34. Is n a multiple of 7?
False
Suppose 0 = 2*f + 6 - 2. Let p be ((-4)/8)/(f/12). Suppose u = -v + 4*u + 21, -v + 9 = p*u. Is v a multiple of 15?
True
Let j(u) = -5*u**3 - 2*u**2 - 4*u + 1. Is j(-2) a multiple of 4?
False
Let z = 0 + 12. Suppose -21 = -p + z. Is 13 a factor of p?
False
Is (1884/(-36))/(2/(-6) - 0) a multiple of 42?
False
Let l = 15 - 48. Does 19 divide (l/(-44))/((-1)/(-60))?
False
Let a be -1 - (0 - -1) - -4. Suppose a*z = 5*p - 237, 3*z + 229 = 5*p - z. Is (-9 - -7)/((-2)/p) a multiple of 17?
False
Is 19 a factor of (-4)/(-16)*266 + (-1)/(-2)?
False
Let y(l) = -8*l. Suppose 4*x + 6 = 4*m + 14, -18 = -3*m - 3*x. Suppose m*v = -3*j - 3*v - 34, 5*j - 5*v - 10 = 0. Does 10 divide y(j)?
False
Let x(t) = 3*t**2 - 22*t + 85. Does 6 divide x(6)?
False
Suppose -1760 = -2*y - 3*y + 5*n, 1403 = 4*y + n. Does 13 divide y?
True
Let b = 1 - -5. Does 6 divide b?
True
Let k(c) = c**2 - 5*c + 1. Let p be k(5). Let x be p/(2/(-22)) - -1. Does 8 divide (1 - 6)*36/x?
False
Let u(w) = w + 2. Let l be u(-2). Suppose -5*k - 45 = -2*a, 5*k - 4 - 1 = l. Is 13 a factor of (2/1 - 1) + a?
True
Let b(s) = 6*s**2 - s + 7. Let i(g) = g**2 + 2*g + 3. Let n be i(0). Does 8 divide b(n)?
False
Let h(r) = r**3 + 8*r**2 - 5*r - 3. Let m be h(-7). Let p = 147 - m. Is 19 a factor of p?
False
Suppose 0 = 2*g - 8, 4*b = b + 4*g - 7. Suppose 0 = -b*v