Does 9 divide (-24)/c*2 - -1?
False
Suppose 3 = x - 0. Suppose -5*j + 7 = -2*n, -3*n + 5*j + 3 = 1. Suppose x*t + 0*t - n = 0. Is 2 a factor of t?
False
Is 36 a factor of (-4)/(19 - -5) + 434/12?
True
Let y be (-1 + 1 - -6) + 1. Suppose 24 = -5*s - y*g + 4*g, -3*g + 12 = -s. Is 3 a factor of 4/s*-6 - -1?
False
Let y(p) = -4 - 5*p + 2*p - 1. Is 7 a factor of y(-6)?
False
Let y(w) = w**3 + 12*w**2 + 5*w - 4. Is y(-11) a multiple of 27?
False
Suppose -5*z + 39 = -311. Does 35 divide z?
True
Let p = -143 + 13. Does 15 divide (p/25)/(2/(-20))?
False
Let p(m) = -2*m + 3. Let u be p(-3). Let t = u - 5. Is t even?
True
Is (22/4)/(8/16) a multiple of 3?
False
Is 6 a factor of (-4)/(-10) + (-153)/(-5)?
False
Suppose -b + 5*a = b + 23, -5*a + 14 = -b. Let p be (-15)/b - (-1)/3. Suppose -5*k + 246 = 3*r, -2*k + p*r + 49 + 43 = 0. Does 19 divide k?
False
Suppose 0 = -5*h - 3*m + 50 + 10, -4*h + 3*m = -21. Is 2 a factor of 6/h - 26/(-6)?
False
Suppose -3*y - 1 = t + 1, -12 = -4*t - 2*y. Suppose h = -t*h + 10. Suppose -h*k = k - 105. Is k a multiple of 13?
False
Is 29 a factor of (-3)/(1/(232/(-6)))?
True
Let s(d) = -d. Let m(u) = u + 1. Let i(r) = -2*m(r) + s(r). Let q(l) = 9*l + 6. Let n(v) = 7*i(v) + 2*q(v). Is 7 a factor of n(-3)?
True
Is (-3 - -2 - -2) + 83 a multiple of 28?
True
Suppose 0 = -5*j - 5*x - 50, -6 = 2*x + 2. Let k(c) be the third derivative of c**4/24 + 13*c**3/6 + 3*c**2. Is 4 a factor of k(j)?
False
Let v(k) = 5*k**2 + 9*k + 13. Let g(f) = -2*f**2 - 3*f - 4. Let c(p) = -8*g(p) - 3*v(p). Is c(8) a multiple of 17?
False
Suppose -6*w = -490 - 26. Is w a multiple of 6?
False
Suppose 11 = r - 13. Is r a multiple of 8?
True
Suppose u - m + 3 = 0, -5 = 4*u - 5*m + 11. Let g(q) = 43*q - 2. Let r(w) = 21*w - 1. Let b(i) = -2*g(i) + 5*r(i). Is 10 a factor of b(u)?
False
Let g(k) = k**3 - 4*k**2 - 6*k + 1. Let y be g(5). Does 18 divide (-3 - y/4) + 36?
False
Suppose -4*c = 5*w + 6, 0*c - 8 = 2*c. Let u = 20 + w. Does 10 divide u?
False
Let c(v) = -3*v - 4. Does 16 divide c(-12)?
True
Let o be (-1148)/22 - (-4)/22. Let v = -14 - o. Is 16 a factor of v?
False
Suppose -3*r - 14 = r - 5*o, 2*r - 5*o + 2 = 0. Let i(k) = -k - 4. Let v be i(r). Suppose -2*w - 10 = -2*l, 3*l + l = -v*w + 14. Is 4 a factor of l?
True
Let b = 0 + 3. Let p(q) = q**3 - 7*q - 3*q**3 - 3 + b*q**3 - 7*q**2. Is p(8) a multiple of 2?
False
Let t be -1 - 0 - -41*9. Suppose -a = 3*a - t. Suppose 5*m - a = 8. Is 20 a factor of m?
True
Let g = -53 - -250. Is g a multiple of 17?
False
Let v(p) = 3*p**2 + 6*p. Is v(-4) a multiple of 24?
True
Suppose 0 = 7*a + 5*a - 612. Is a a multiple of 17?
True
Let k(a) = 3*a + 8. Let q be k(7). Suppose -3*y + q = 11. Is y a multiple of 6?
True
Let z = 13 - 21. Let t(a) be the second derivative of a**5/20 + 7*a**4/12 - 11*a**3/6 - 4*a**2 - a. Is 13 a factor of t(z)?
False
Let q(v) = -7*v**3 + 2*v**2 - 6*v + 7. Let a(z) = -11*z**3 + 3*z**2 - 9*z + 10. Let u(l) = 5*a(l) - 8*q(l). Does 22 divide u(4)?
False
Let g = 341 + -238. Is g a multiple of 11?
False
Let k be 0 + 38 + (-7)/7. Suppose -4*p = k - 141. Is p a multiple of 10?
False
Suppose 3*t - 305 = -i, 2*i + 3 = 13. Suppose -5*j - 4*c + t = 0, -j - 4*j + c + 100 = 0. Is 20 a factor of j?
True
Let g(d) = d + 10. Let n be g(7). Suppose h - 7 = n. Does 12 divide h?
True
Let g be 928/22 + (-2)/11. Let j = 67 - g. Is 16 a factor of j?
False
Suppose t + 2*i + 1 = -3, -4 = -5*t - 4*i. Suppose t*y = -6 + 34. Is y a multiple of 4?
False
Does 31 divide 61 - 0 - 1*-1?
True
Suppose 2*z - 7 = -3. Suppose 0 = 3*h + 5*f - 34, -36 = -5*h + 4*f - z*f. Does 4 divide h?
True
Suppose 3*n + 0*n = 3. Let l = 0 - 1. Is 0 - (-4 + n + l) a multiple of 3?
False
Let j(t) = 2*t**2 + 9*t + 7. Let d be (-2)/(-8) - 231/28. Is j(d) a multiple of 21?
True
Is (-75)/(-2 - 3)*5 a multiple of 15?
True
Let u(q) = q**2 + 2*q - 9. Let n be u(-8). Let i = n + -15. Does 8 divide i?
True
Suppose 319 = 5*m - 2*k, k + 128 = -2*m + 4*m. Is 7 a factor of m?
True
Let s(p) = -p + 76. Let m(f) = -f**3 + 4*f**2 - 3*f. Let r be m(3). Let d be s(r). Suppose 6 - d = -5*w. Does 5 divide w?
False
Let n(s) = -s**3 - 12*s**2 - s - 12. Does 10 divide n(-13)?
True
Let z = 0 - -44. Is 4 a factor of z?
True
Suppose 1 = i - 0*i. Suppose o - i + 3 = 0. Is 9 a factor of (-91)/(-5) + o/10?
True
Let j(s) = s**3 + 7*s**2 + 5*s - 4. Let t be j(-6). Let c be (-1)/(-4) + (-297)/36. Is ((-19)/4)/(t/c) a multiple of 19?
True
Suppose 2*g + 0*g - 94 = 0. Let q = g - -1. Is 12 a factor of q?
True
Suppose -4*c - 84 = -2*n, -3*n + 126 = -0*n + 2*c. Is 15 a factor of n?
False
Let m be 3 - 2 - (-21)/7. Suppose m*k + v = -3*v + 48, 24 = 2*k - 5*v. Is 3 a factor of k?
True
Suppose 3*y + 2 = -5*l, 2*l = -4*y + 4*l + 6. Suppose -z + y = -19. Does 20 divide z?
True
Let y(s) = -s**2 - 7*s + 5. Let t(f) = f**3 - 5*f**2 - 2*f + 4. Let k be t(5). Does 3 divide y(k)?
False
Let s(n) = -n**2 - 5*n - 4. Let w be s(-3). Suppose -w*q - 6 = -3*q. Let u = q + -2. Is 3 a factor of u?
False
Let h(p) = -p**3 + 4. Let w be h(0). Suppose 0*k + k = -3, -4*k = -w*f + 48. Does 9 divide f?
True
Suppose 0*d - 300 = -4*d. Does 15 divide d?
True
Let g(d) = d**2 - 2*d**2 + 2*d**3 - d**3 + d + 9 + 2. Is 9 a factor of g(0)?
False
Suppose 0*v = 2*v - 54. Suppose n + v = 2*n. Does 15 divide n?
False
Suppose 0 = 2*n + n + 15. Let f(g) be the third derivative of -g**6/120 - g**5/15 + g**4/12 + g**3/2 - g**2. Does 7 divide f(n)?
False
Suppose 981 = -o + 5*o - n, 0 = -2*o + 2*n + 492. Is 40 a factor of o?
False
Let o(r) = -11*r**2 + 3*r**3 + 2*r**2 - 4*r**3 - 8*r + 2. Is o(-8) even?
True
Let q(t) = 17*t - 1. Is q(3) a multiple of 10?
True
Let m(j) = 2*j**2 - 7*j - 21. Does 16 divide m(10)?
False
Let a = -2 - -2. Let b be 1*-1*(-1 - a). Is ((-4)/10)/(b/(-20)) a multiple of 8?
True
Let j be 99/2 - 6/(-4). Let p = j + -86. Let g = 71 + p. Does 13 divide g?
False
Let u(h) = h**3 - 12*h**2 - 11*h + 1. Let x(t) = t**3 - t**2 - t - 1. Let z(m) = u(m) - 2*x(m). Let g be z(-9). Suppose -g*i = 2*i - 75. Does 5 divide i?
True
Let a = -2 - -4. Suppose 4*k - 3*j = 240, 2*k - a*j = -0*j + 120. Suppose 2*p - k = -0*p. Is 17 a factor of p?
False
Let h be 150/(-4)*2/(-3). Suppose -85 + h = -r. Is r a multiple of 20?
True
Let k be (-3 - 2)/(-1 + 2). Let u = 6 + k. Is 2 - 15/(-4 + u) a multiple of 4?
False
Let l = 6 - 9. Let h be 3 - (l - -1)/(-2). Does 2 divide (-3 - 0) + h + 6?
False
Suppose -3*h + 4 - 1 = 0. Let x be h - (-58)/2 - 1. Suppose 2*a - 15 = x. Is a a multiple of 11?
True
Suppose 0 = 4*d + 14 - 230. Let q = d + 6. Does 15 divide q?
True
Is (-165)/5*4/(-4) a multiple of 16?
False
Suppose -3*n - 6 = -q, 20 = -2*q + 7*q - 5*n. Suppose -2*i - 3*d - 61 + 230 = 0, -q*d + 329 = 4*i. Does 20 divide i?
True
Suppose -i = -0*i. Let h be i + 1 + -2 + 5. Suppose 40 = 4*n - 4*o, 4*n - 3*n - h*o - 4 = 0. Is 5 a factor of n?
False
Let u(w) be the second derivative of -w**4/12 - 7*w**3/6 - 5*w**2/2 + 2*w. Let x be u(-5). Suppose 3*s = 2*j + 20, 0 = -0*j - j + x. Does 8 divide s?
False
Suppose -4*c = 8, -3 + 7 = 4*o + 4*c. Suppose l - 35 = -4*l + 5*m, -o*l + m + 17 = 0. Suppose -l*b = -15, -41 = 2*w - 6*w - 3*b. Is w a multiple of 3?
False
Suppose -9*p = -12*p + 132. Does 44 divide p?
True
Let t = 15 + -11. Let u = 20 + -18. Suppose t*n + i - 44 = -u*i, -5*n = -5*i - 20. Does 3 divide n?
False
Let c be -1 - (-7)/((-21)/30). Let z = c - -23. Is 3 a factor of z?
True
Let s = 109 - -111. Does 14 divide (s/25)/(4/10)?
False
Suppose -99 + 30 = -l. Does 23 divide l?
True
Suppose -l - 8 = -15. Is (0 + -4)*l/(-4) a multiple of 3?
False
Let l = 146 + -129. Does 6 divide l?
False
Let o = -11 + 51. Is o a multiple of 8?
True
Suppose -2*u = -4*g - 16, -2*u + 2*g = -g - 13. Is u even?
True
Suppose -2*b + 4 = -4*b. Let s = 3 + b. Is 15 a factor of -30*(s + -2 + 0)?
True
Let v = 193 + -124. Does 23 divide v?
True
Let f(n) = 4*n - 6. Let v be f(6). Let i = -51 + 87. Let b = i - v. Is b a multiple of 9?
True
Let q(k) be the third derivative of 151*k**4/24 - k**3/6 + k**2. Let m be q(1). Suppose 3*a = 9, 2*a - 1 = -5*g + m. Is g a multiple of 13?
False
Suppose -4 = -3*b + 2. Suppose 4 = 4*x - 8. Suppose -x*u + r + 101 = b*r, -r = u - 35. Does 16 divide u?
False
Suppose 5*q - 260 = 2*z - z, -4*q + 219 = -3*z. Let r = 72 + q. Is r/5 - (-4)/10 a multiple