2*b - 2*a - 74 = 7*b. Let l = b - f. Is l a multiple of 15?
False
Let h(x) = 49*x**2 - 4*x + 10. Is 17 a factor of h(2)?
False
Suppose -j - 26 = -4*p - 4*j, 21 = 5*p - 2*j. Is (-860)/(-6) + p/(-15) a multiple of 18?
False
Let a = 296 + 47. Is 14 a factor of a?
False
Suppose -5*n - 2*q + 2215 = 3*q, -2*n + 5*q = -851. Is n a multiple of 6?
True
Suppose -51 = -5*a + 2*r, -3*r + 0*r = -3*a + 36. Let g = 72 - a. Is g a multiple of 63?
True
Let n(j) = j**2 - 7*j + 10. Let q be n(6). Suppose -4*r = q*t - 192, 144 = 2*r + r - 4*t. Does 12 divide r?
True
Let u(h) = 9*h**2 + 10*h - 61. Is 35 a factor of u(-13)?
True
Let y be 1*(4 + -166) + 3. Let m = y + 393. Does 26 divide m?
True
Let h = -1490 - -2051. Does 11 divide h?
True
Let o(u) = u**3 + 7*u**2 + 5*u - 6. Let i be -7*(8/28)/(-1). Suppose 0 = 2*z - 3*b + 19, 4*z - 5*b - i + 37 = 0. Is 11 a factor of o(z)?
False
Let c(f) = 48*f**2 + 14*f - 34. Is 63 a factor of c(8)?
True
Let c(p) = -271*p**3 + p**2 + 2*p + 1. Let l be c(-1). Suppose 6*t - l - 161 = 0. Is 12 a factor of t?
True
Let a(f) = 2*f**3 - 23*f**2 - 7*f - 3. Let t be a(12). Suppose -4*r + 3*o = -303, r + 5*o = 36 + t. Is r a multiple of 16?
False
Let l = -33 + 76. Let y be (-1)/(-4) - (-11)/4. Is 4 + (-2 + l - y) a multiple of 15?
False
Does 32 divide 12/21 - 796/(-28) - -3?
True
Suppose -4*j = -h + 396 + 169, 4*h - 2184 = -3*j. Is h a multiple of 58?
False
Suppose -24*v - 23423 + 87839 = 0. Is 122 a factor of v?
True
Suppose b = -b. Suppose -2*x = 2*i + 2*x - 18, b = 4*i - x - 18. Suppose -5*w + i*c + 1 = -64, -5*w + 2*c + 65 = 0. Does 6 divide w?
False
Let h = 9 - 7. Let p = h + 10. Suppose 2*f - 2 = 5*i + p, -8 = -f + 2*i. Is f a multiple of 4?
True
Suppose -11*a + 1002 = -1275. Is 7 a factor of a?
False
Is ((-187726)/(-184))/(2/8) a multiple of 98?
False
Let t = -33 - -20. Let r = 29 + t. Let f = r + 6. Does 9 divide f?
False
Suppose 0 = 3*y + 3*k - 993, -k - 2*k + 1659 = 5*y. Suppose 3*n = -60 + y. Is n a multiple of 31?
False
Is (14 - -16)*3/(15/44) a multiple of 29?
False
Let g be (3*(-22)/5)/((-3)/10). Suppose -5*s + 126 = -g. Does 17 divide s?
True
Let l(y) be the first derivative of 7*y**3 + 11*y**2/2 + y - 24. Does 26 divide l(-3)?
False
Let d(j) = 19*j - 47. Let f be d(15). Let t = -109 + f. Does 12 divide t?
False
Let i = 518 + -266. Is 28 a factor of i?
True
Suppose -3 = 3*g + 9, 4*g + 18 = 2*h. Let w be h*((8 - 3) + -2). Suppose 0 = 3*z + 4*x - 32 + 10, 0 = -z - w*x + 14. Is z even?
True
Suppose -10*x = -6*x - 4. Suppose u = -2*p + 3, -3*u - x = p - 0*u. Suppose -p = -3*j + 2*o + 34, 6 = -2*o. Is j a multiple of 4?
False
Suppose -6*v + 4 = -5*v. Suppose -v*k - 9*k + 390 = 0. Does 3 divide k?
True
Suppose -u = -2*u + 4*u. Suppose u = 6*c - 8*c + 230. Is 36 a factor of c?
False
Let w = 148 + 32. Is 20 a factor of w?
True
Suppose 0 = -5*l - 10, 664 = 2*b - 2*l - 136. Does 42 divide b?
False
Let q(w) = -w**2 - 75*w + 891. Is 3 a factor of q(-84)?
True
Let k(j) = -j**3 + 3*j**2 + 5*j - 10. Let v be k(4). Let f = 11 - 8. Does 21 divide 11*f - (7 + v)?
False
Let w(p) = p**3 + 15*p**2 - 10*p - 15. Let f be w(-13). Let v = -324 + f. Does 26 divide v?
False
Let j(g) = -2*g**2 + 1 + 3*g - g**2 + 0*g**3 - g**3 + 0*g**3. Let x be j(-4). Suppose -4*d + 239 = x*h, -4*d + 7*h = 3*h - 212. Is 20 a factor of d?
False
Suppose 2*c - 2 = 4*c. Is 12 a factor of (136 - c)*(-2 - -3)?
False
Is ((9 - 10/2) + -5)*-247 a multiple of 35?
False
Let f(h) = h**3 + 11*h**2 + 12*h. Is 36 a factor of f(-6)?
True
Suppose 5*w = -99*w + 63232. Is w a multiple of 16?
True
Let x be ((-4)/6)/((-4)/618). Let b = x + -73. Is b a multiple of 15?
True
Let g(r) = r**2 - 3*r + 8. Suppose 11 = 2*z + 3. Is 6 a factor of g(z)?
True
Let s(f) be the second derivative of f**5/20 + 5*f**4/12 + 5*f**3/6 + f**2 - 3*f. Let a be s(-4). Does 27 divide a - (-3)/((-3)/(-56))?
True
Suppose 5*a = -3*h + 3037, 3*h + 4*a - 1075 - 1963 = 0. Is 26 a factor of h?
True
Let h be (-1)/5 - (-2)/10. Let u(z) = h + 12 - 8*z + z - 3. Is u(-5) a multiple of 11?
True
Suppose -623*h - 5720 = -634*h. Is h a multiple of 26?
True
Let l = 1075 + -976. Is 9 a factor of l?
True
Suppose 4*m = -3*f - 10, -3*f + m - 7 = 2*m. Does 2 divide 1/f*(-28 + 4)?
True
Suppose -688 = b - 5*b. Suppose -x + 5*x = b. Suppose 3*w - 4*w + 172 = 4*i, i = -w + x. Does 14 divide i?
False
Let r(u) = -2*u**3 - 3*u**2 + u + 1. Let a be r(-2). Suppose -2*s - 203 = -a*i, 4*i - 330 = -i + 5*s. Is i a multiple of 14?
False
Let q(v) = 3*v. Let s be q(-1). Suppose 23 = -2*h - 5*x, -12 = -3*h + h + 2*x. Is 8 a factor of 33 - s*h/(-3)?
True
Suppose 17*j + 4410 = 32*j. Is j a multiple of 3?
True
Let z(k) = -62*k - 40. Let i be z(-4). Let n = i - 106. Is 43 a factor of n?
False
Let p(q) = -19*q + 3 + 6 + 17*q. Let t be p(6). Is 8 a factor of (-12)/18 - 50/t?
True
Let k(m) = 58*m**2 - 17*m - 70. Is 20 a factor of k(-6)?
True
Let h(i) = i**2 + 9*i + 3. Let o = 1 + -10. Let j be h(o). Suppose 2*r + j = 61. Does 10 divide r?
False
Let l(n) = 14*n**2 - n. Let w be l(-1). Is 21 a factor of 3/w + 314/5?
True
Suppose j = -3*g - 0*g + 899, -4*g - 5*j + 1206 = 0. Does 24 divide g?
False
Let c = 630 + -412. Let y = c + -145. Does 25 divide y?
False
Let m(u) = -8*u**2 + 7*u + 20. Let f be m(-4). Does 3 divide (6867/51)/3 - 16/f?
True
Let t(w) = -w**3 + 3*w**2 + 5*w. Let a be t(4). Suppose 120 = a*c + 3*m, -2 = m + 2. Is c a multiple of 4?
False
Let x(h) = 4*h - 94. Is 3 a factor of x(33)?
False
Let i = 41 - -992. Does 15 divide i?
False
Suppose 4*b + h = -2*h + 21, -5*b - 4*h = -27. Suppose -3*q + 246 = -b*j, 0*q = 5*q + 5*j - 420. Does 9 divide q?
False
Let o(g) = 7*g - 10. Let d be o(8). Suppose -2*l - d = -3*l. Is l a multiple of 5?
False
Let w = -15 - -16. Let l be w/(-2) + 87/6. Let p = -1 + l. Is 6 a factor of p?
False
Suppose -3*i - m + 4 = 0, -7*m = 2*i - 3*m + 14. Suppose i*p - p + 4*r = 72, 4*r = -5*p + 156. Does 7 divide p?
True
Suppose -b - 5*o + 151 = -o, b = 4*o + 111. Let k = b - 66. Does 13 divide k?
True
Let p(g) = g**3 - 4*g**2 - 8*g - 3. Let x(s) = -s**2 + 10*s - 11. Let j be x(8). Let y(m) = m**3 - 3*m**2 - 9*m + 1. Let u be y(j). Does 17 divide p(u)?
False
Let g(y) = 13*y + 2. Let z be g(2). Let b = z + -24. Suppose 2*x + x - 52 = -4*s, b*s + 5*x = 60. Is s a multiple of 2?
True
Let x be (-15 + 23)*6/4. Suppose -4*w + 88 = -x. Suppose 0 = r - 5*f - w, -2*r + 2*f = f - 95. Is r a multiple of 25?
True
Let y(o) = -o**2 - 6*o + 9. Let x be y(-8). Is 26 a factor of (-3 + x)*(1 + -11)?
False
Let s(p) = -67*p + 8. Let y be s(8). Let o = 1062 + y. Does 18 divide o/7 - 6/21?
False
Let c(n) = 2*n**2 + 1 - 3*n**2 - 2*n + 0*n - 4*n**3. Let i be c(2). Does 14 divide i/(-3) - (-2 + 1)?
True
Suppose -662 = -14*f + 6674. Does 5 divide f?
False
Let w(m) = m**3 - 2*m**2 - 8*m + 2. Let t be w(4). Suppose -19 = -b + t*b. Let y = -13 - b. Is y a multiple of 2?
True
Let k be 0 - (-3 + (-2 - -6)). Let h(t) = 14*t**2 + 6*t**2 - 1 + t**2 - 2*t + t**2. Is h(k) a multiple of 5?
False
Suppose 56 = 8*z + 512. Let k = -23 - z. Is 17 a factor of k?
True
Let p = 1313 - -127. Is 8 a factor of p?
True
Suppose 0 = -5*x + 11 - 1. Suppose 20 = x*p - p. Is p a multiple of 10?
True
Let p(y) = -66*y**3 + y**2 + 2*y - 3. Let l be p(-2). Suppose -2*b = 5*g - 210, -5*b + 3*g = g - l. Is b a multiple of 15?
True
Let f be 6/(-4)*106/(-3). Suppose 2*s + f = -11. Let j = 66 + s. Is 9 a factor of j?
False
Let b be 0/2 + -3 + 2. Let p(f) be the third derivative of -7*f**4/12 - f**3/3 + 3*f**2. Is 6 a factor of p(b)?
True
Suppose -2*r + 21 + 1 = 0. Let s(j) = -j**3 + 11*j**2 + 4*j - 10. Is 17 a factor of s(r)?
True
Let p(b) = -b**2 - 7*b - 1. Let x be p(-6). Suppose 61 = 2*k + 5*w, -19 = -k + x*w + 4. Suppose -k = 8*f - 12*f. Does 3 divide f?
False
Let k = 0 + 2. Suppose 0 = -q + k + 1. Suppose 4*a + 0*a + 2*u - 52 = 0, 4*u - 44 = -q*a. Does 3 divide a?
True
Suppose 14*p = -p + 14040. Is p a multiple of 26?
True
Let d(i) = 2*i**2 + 1. Let k(p) = 2*p**2 - 3*p + 1. Let b be k(2). Let v be d(b). Suppose -4*n = -81 - v. Is n a multiple of 8?
False
Is (-768)/(-18)*(114/(-4))/(-1) a multiple of 64?
True
Suppose -20*l - 19 + 99 = 0. Let v(d) = d + 9. Let q be v(0). Let w = l + q. Does 3 divide w?
False
Let h = -8 + 13. Suppose -6*n + h*n + 97 = 0. Is 11 a factor of n?
False
Let g(q) 